Access

You are not currently logged in.

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

login

Log in to your personal account or through your 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
Published by: Springer
Stable URL: http://www.jstor.org/stable/20012922
Page Count: 24
  • Download ($43.95)
  • Cite this Item
Nonmonotonicity in (The Metamathematics of) Arithmetic
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.

Page Thumbnails

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