Erratum to “The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories” Logic Journal of the IGPL, 16: 585–590

Igor Oliveira; Walter Carnielli

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)

Authors	Walter Carnielli University of Campinas
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)
Keywords	RIce's theorem
Categories	Areas of Mathematics in Philosophy of Mathematics Science, Logic, and Mathematics (categorize this paper)
DOI	10.1093/jigpal/jzp030
Options	Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Revision history

Download options

Our Archive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

Through your library

Sign in / register and customize your OpenURL resolver..
Configure custom resolver

References found in this work BETA

On the Relation Provable Equivalence and on Partitions in Effectively Inseparable Sets.Claudio Bernardi - 1981 - Studia Logica 40 (1):29 - 37.

Add more references

Citations of this work BETA

Gödel’s Incompleteness Phenomenon—Computationally.Saeed Salehi - 2014 - Philosophia Scientae 18:23-37.

Add more citations

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.

Theorem Proving for Untyped Constructive Λ-Calculus: Implementation and Application.A. Ramsay - 2001 - Logic Journal of the IGPL 9 (1):83-100.

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.

An Interpolation Theorem for First Order Logic with Infinitary Predicates.Tarek Sayed-Ahmed - 2007 - Logic Journal of the IGPL 15 (1):21-32.

An Analogue of the Baire Category Theorem.Philipp Hieronymi - 2013 - Journal of Symbolic Logic 78 (1):207-213.

On the Search for a Finitizable Algebraization of First Order Logic.I. Sain - 2000 - Logic Journal of the IGPL 8 (4):497-591.

Abductive Equivalence in First-Order Logic.Katsumi Inoue & Chiaki Sakama - 2006 - Logic Journal of the IGPL 14 (2):333-346.

On Minimal Models.Francicleber Ferreira & Ana Teresa Martins - 2007 - Logic Journal of the IGPL 15 (5-6):503-526.

The Road to Two Theorems of Logic.William Craig - 2008 - Synthese 164 (3):333 - 339.

On Skolemization in Constructive Theories.Matthias Baaz & Rosalie Iemhoff - 2008 - Journal of Symbolic Logic 73 (3):969-998.

A Bizarre Property Equivalent To The -Fan Theorem.Josef Berger & Douglas Bridges - 2006 - Logic Journal of the IGPL 14 (6):867-871.

A Note on a Theorem of Ax.Piotr Kowalski - 2008 - Annals of Pure and Applied Logic 156 (1):96-109.

Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.

Uncountable Theories That Are Categorical in a Higher Power.Michael Chris Laskowski - 1988 - Journal of Symbolic Logic 53 (2):512-530.

Analytics

Added to PP index
2015-02-04

Total views
140 ( #58,894 of 2,286,035 )

Recent downloads (6 months)
54 ( #16,325 of 2,286,035 )

How can I increase my downloads?

Downloads

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...