Chihara, 1972 - Google Patents
On alleged refutations of mechanism using Godel's incompleteness resultsChihara, 1972
- Document ID
- 9003983546930965326
- Author
- Chihara C
- Publication year
- Publication venue
- The Journal of Philosophy
External Links
Snippet
i_ i) F-ECHANISM is the doctrine that the mind of man is~/* a machine." I shall not attempt to say what precisely?!.. L_ this means, but I trust that the following discussion can be understood without further clarification of the doctrine. I shall be mainly concerned in this …
- 238000005352 clarification 0 abstract description 4
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Mitchell et al. | Memory-based model editing at scale | |
| Linnebo et al. | Actual and potential infinity | |
| Ernest | Social constructivism as a philosophy of mathematics | |
| Lenat et al. | Cyc: toward programs with common sense | |
| Rogers | Mathematical logic and formalized theories: a survey of basic concepts and results | |
| Chihara | On alleged refutations of mechanism using Godel's incompleteness results | |
| Griffiths et al. | One true logic: A monist manifesto | |
| Hazen | Predicative logics | |
| Fletcher | Truth, Proof and Infinity: A Theory of Constructive Reasoning | |
| Zhang et al. | Understanding the relationship between prompts and response uncertainty in large language models | |
| Mancosu | Fixed‐versus Variable‐domain Interpretations of Tarski’s Account of Logical Consequence | |
| Zhang et al. | An argumentation framework for description logic ontology reasoning and management | |
| Johnson-Laird et al. | Mental models and the algorithms of deduction | |
| Drake | Introduction to logic | |
| Hamfelt | Formalizing multiple interpretation of legal knowledge | |
| Hinckfuss | Suppositions, Presuppositions, Ontology | |
| Glymour | The hierarchies of knowledge and the mathematics of discovery | |
| Clarke | Number nativism 1 | |
| White | The limits and capabilities of machines-a review | |
| Jacquette | Diagonalization in logic and mathematics | |
| Forster | A Tutorial on (mainly countable) Ordinals | |
| Martin | Some thoughts on the formal approach to the philosophy of language | |
| Ameen et al. | SemRPer-A Rule based Personalization System for Semantic Web. | |
| Dragulinescu | medical mechanisms and the resilience of probabilities | |
| Anke et al. | Deep learning for noise-tolerant RDFS reasoning 1. |