Location of Repository

Handbook of the History of Logic. Volume 6

By Andrea Cantini, Dov M. Gabbay and John Woods (editors

Abstract

ABSTRACT: Here is a crude list, possibly summarizing the role of paradoxes within the framework of mathematical logic: 1. directly motivating important theories (e.g. type theory, axiomatic set theory, combinatory logic); 2. suggesting methods of proving fundamental metamathematical results (fixed point theorems, incompleteness, undecidability, undefinability); 3. applying inductive definability and generalized recursion; 4. introducing new semantical methods (e. g. revision theory, semi-inductive definitions, which require non-trivial set theoretic results); 5. (partly) enhancing new axioms in set theory: the case of anti-foundation AFA and the mathematics of circular phenomena; 6. suggesting the investigation of non-classical logical systems, from contraction-free and many-valued logics to systems with generalized quantifiers; 7. suggesting frameworks with flexible typing for the foundations of Mathematics and Computer Science; 8. applying forms of self-referential truth and in Artificial Intelligence, Theoretical Linguistics, etc. Below we attempt to shed some light on the genesis of the issues 1–8 through the history of the paradoxes in the twentieth century, with a special emphasis on semantical aspects

Year: 2011
OAI identifier: oai:CiteSeerX.psu:10.1.1.196.5918
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.unifi.it/unifi/phil... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.