## Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

# Nonmonotonicity in (The Metamathematics of) Arithmetic

Karl-Georg Niebergall
Erkenntnis (1975-)
Vol. 50, No. 2/3, Coherence and Dynamics of Belief (1999), pp. 309-332
Stable URL: http://www.jstor.org/stable/20012922
Page Count: 24
Preview not available

## Abstract

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, $\scr{U}_{\delta}$ 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 $\scr{U}_{\delta}$-closed theories and $\scr{U}_{\delta}$-fixed points. The last section contains results on V-closed theories which are specific for V.

• [309]
• 310
• 311
• 312
• 313
• 314
• 315
• 316
• 317
• 318
• 319
• 320
• 321
• 322
• 323
• 324
• 325
• 326
• 327
• 328
• 329
• 330
• 331
• 332