- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Erratum to “The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories” Logic Journal of the IGPL, 16: 585–590 [Book Review]
Logic Journal of the IGPL 17 (6):803-804 (2009)
Abstract
This note clarifies an error in the proof of the main theorem of “The Ricean Objection: An Analogue of Rice’s Theorem for First-Order Theories”, Logic Journal of the IGPL, 16(6): 585–590(2008)Author Profiles
Other Versions
No versions found
My notes
Similar books and articles
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories.Igor Oliveira & Walter Carnielli - 2008 - Logic Journal of the IGPL 16 (6):585-590.
Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory.F. Stephan & B. Borchert - 2000 - Mathematical Logic Quarterly 46 (4):489-504.
An Interpolation Theorem for First Order Logic with Infinitary Predicates.Tarek Sayed-Ahmed - 2007 - Logic Journal of the IGPL 15 (1):21-32.
A correspondence theorem for interpretability logic with respect to Verbrugge semantics.Sebastijan Horvat & Tin Perkov - forthcoming - Logic Journal of the IGPL.
Gödel’s Incompleteness Phenomenon—Computationally.Saeed Salehi - 2014 - Philosophia Scientiae 18:23-37.
Gödel’s second incompleteness theorem for Σn-definable theories.Conden Chao & Payam Seraji - 2018 - Logic Journal of the IGPL 26 (2):255-257.
Theorem proving for untyped constructive λ-calculus: implementation and application.A. Ramsay - 2001 - Logic Journal of the IGPL 9 (1):83-100.
A New, Simpler Proof of the Modularisation Theorem for Logical Specifications.Paulo A. S. Veloso - 1993 - Logic Journal of the IGPL 1 (1):3-12.
A note on Hjorth's oscillation theorem.Julien Melleray - 2010 - Journal of Symbolic Logic 75 (4):1359-1365.
How to avoid the formal verification of a theorem prover.A. Avellone, M. Benini & U. Moscato - 2001 - Logic Journal of the IGPL 9 (1):1-25.
Analytics
Added to PP
2015-02-04
Downloads
587 (#46,810)
6 months
98 (#61,945)
2015-02-04
Downloads
587 (#46,810)
6 months
98 (#61,945)
Historical graph of downloads
Author Profiles
Citations of this work
Gödel’s Incompleteness Phenomenon—Computationally.Saeed Salehi - 2014 - Philosophia Scientiae 18:23-37.
References found in this work
On the relation provable equivalence and on partitions in effectively inseparable sets.Claudio Bernardi - 1981 - Studia Logica 40 (1):29 - 37.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-mnmvz uwo