David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Erkenntnis 50 (2-3):309-332 (1999)
This paper is an attempt to bring together two separated areas of research: classical mathematics and metamathematics on the one side, non-monotonic reasoning on the other. This is done by simulating nonmonotonic logic through antitonic theory extensions. In the first half, the specific extension procedure proposed here is motivated informally, partly in comparison with some well-known non-monotonic formalisms. Operators V and, more generally, U are obtained which have some plausibility when viewed as giving nonmonotonic theory extensions. In the second half, these operators are treated from a mathematical and metamathematical point of view. Here an important role is played by U -closed theories and U -fixed points. The last section contains results on V-closed theories which are specific for V.
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
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|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Charles B. Cross (2003). Nonmonotonic Inconsistency. Artificial Intelligence 149 (2):161-178.
John Pais (1992). Faithful Representation of Nonmonotonic Patterns of Inference. Minds and Machines 2 (1):27-49.
Sergei Artëmov & Franco Montagna (1994). On First-Order Theories with Provability Operator. Journal of Symbolic Logic 59 (4):1139-1153.
Matthias Schirn & Karl-Georg Niebergall (2001). Extensions of the Finitist Point of View. History and Philosophy of Logic 22 (3):135-161.
Jeremy Avigad, “Clarifying the Nature of the Infinite”: The Development of Metamathematics and Proof Theory.
Charles G. Morgan (2000). The Nature of Nonmonotonic Reasoning. Minds and Machines 10 (3):321-360.
Raymond M. Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press.
Raymond M. Smullyan (1991). Some Unifying Fixed Point Principles. Studia Logica 50 (1):129 - 141.
Yvon Gauthier (1994). Hilbert and the Internal Logic of Mathematics. Synthese 101 (1):1 - 14.
Judson Webb (1968). Metamathematics and the Philosophy of Mind. Philosophy of Science 35 (June):156-78.
Added to index2009-01-28
Total downloads20 ( #88,873 of 1,099,957 )
Recent downloads (6 months)2 ( #190,037 of 1,099,957 )
How can I increase my downloads?