Presuppositional completeness

Studia Logica 48 (1):23 - 34 (1989)
  Copy   BIBTEX

Abstract

Some notions of the logic of questions (presupposition of a question, validation, entailment) are used for defining certain kinds of completeness of elementary theories. Presuppositional completeness, closely related to -completeness ([3], [6]), is shown to be fulfilled by strong elementary theories like Peano arithmetic.

Categories

Keywords

Reprint years

DOI

10.1007/bf00370631

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Undecidability and intuitionistic incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
Some kinds of modal completeness.J. F. A. K. Benthem - 1980 - Studia Logica 39 (2-3):125 - 141.
On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation.Mojżesz Presburger & Dale Jabcquette - 1991 - History and Philosophy of Logic 12 (2):225-233.
Comments on some completeness theorems of Urquhart and méndez & Salto.Kenneth Harris & Branden Fitelson - 2001 - Journal of Philosophical Logic 30 (1):51-55.
A note on generalized functional completeness in the realm of elementrary logic.Henri Galinon - 2009 - Bulletin of the Section of Logic 38 (1/2):1-9.
A propositional logic with explicit fixed points.Albert Visser - 1981 - Studia Logica 40 (2):155 - 175.
Arithmetical completeness versus relative completeness.Michal Grabowski - 1988 - Studia Logica 47 (3):213 - 220.

Analytics

Added to PP
2009-01-28

Downloads
29 (#555,479)

6 months
8 (#373,162)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Erotetic implications.Andrzej Wiśniewski - 1994 - Journal of Philosophical Logic 23 (2):173 - 195.
On the reducibility of questions.Andrzej Wiśniewski - 1994 - Erkenntnis 40 (2):265-284.

Add more citations

References found in this work

The logic of questions and answers.Nuel D. Belnap & Thomas B. Steel (eds.) - 1976 - New Haven/London: Yale University Press.
The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.

Add more references