A logical analysis of the truth-reaction paradox

Kamila Bendová; Petr Hájek

Commentationes Mathematicae Universitatis Carolinae (1982)

  • Volume: 023, Issue: 4, page 699-713
  • ISSN: 0010-2628

How to cite

top

Bendová, Kamila, and Hájek, Petr. "A logical analysis of the truth-reaction paradox." Commentationes Mathematicae Universitatis Carolinae 023.4 (1982): 699-713. <http://eudml.org/doc/17215>.

@article{Bendová1982,
author = {Bendová, Kamila, Hájek, Petr},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {paradox; self-reference; Peano arithmetic; artificial intelligence},
language = {eng},
number = {4},
pages = {699-713},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {A logical analysis of the truth-reaction paradox},
url = {http://eudml.org/doc/17215},
volume = {023},
year = {1982},
}

TY - JOUR
AU - Bendová, Kamila
AU - Hájek, Petr
TI - A logical analysis of the truth-reaction paradox
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1982
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 023
IS - 4
SP - 699
EP - 713
LA - eng
KW - paradox; self-reference; Peano arithmetic; artificial intelligence
UR - http://eudml.org/doc/17215
ER -

References

top
  1. V. S. CHERNIAVSKY, On limitations of artificial intelligence, Inf. Systems 5 (1980), 121. (1980) Zbl0447.68105
  2. H. B. ENDERTON, Elements of recursion theory, Handbook of Mathematical Logic (North-Holland P.C. 1977), 527-566. (1977) MR0485262
  3. S. FEFERMAN, Transfinite recursive progressions of axiomatic theories, Journ. Symb. Log. 27 (1962), 259-316. (1962) MR0172792
  4. I. M. HAVEL, The truth-reaction paradox: a probe of limitations of artificial intelligence, Proc. ECAI 82, Orsay 1982. (1982) 
  5. C. SMORYŃSKI, The incompleteness theorems, Handbook of Math. Logic (North-Holland P.C. 1977), 821-862. (1977) 
  6. R. SOLOVAY, Provability interpretations of modal logic, Israel Journ. Math. 25 (1976), 287-304. (1976) Zbl0352.02019MR0457153

NotesEmbed ?

top

You must be logged in to post comments.