Filters








1 Hit in 11.0 sec

Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories" * Logic Journal of the IGPL, 16(6): 585-590(2008)

I. C. Oliveira, W. Carnielli
2009 Logic Journal of the IGPL  
Hirofumi Yoshikawa (Tokyo Institute of Technology) provided the counter-example and brought [1] to our attention. We would also like to thank him for useful discussions on the subject.  ...  Acknowledgements The flaw in our proof was pointed out to us by professor Stewart Shapiro (Department of Philosophy, Ohio State University).  ...  Theorem 1 is a consequence of the diagonal lemma, and the reader is referred to [1] for a general treatment of this elegant result and its consequences.  ... 
doi:10.1093/jigpal/jzp030 fatcat:wdy24xfbqzg4lke7ztk45vhdry