Socratic Proofs for Quantifiers★

&
Journal of Philosophical Logic 35 (2):147-178 (2006)
  Copy   BIBTEX

Abstract

First-order logic is formalized by means of tools taken from the logic of questions. A calculus of questions which is a counterpart of the Pure Calculus of Quantifiers is presented. A direct proof of completeness of the calculus is given

Categories

Keywords

Reprint years

DOI

10.1007/s10992-005-9000-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Socratic Trees.Dorota Leszczyńska-Jasion, Mariusz Urbański & Andrzej Wiśniewski - 2013 - Studia Logica 101 (5):959-986.
Socratic proofs.Andrzej Wiśniewski - 2004 - Journal of Philosophical Logic 33 (3):299-326.
Provability logics with quantifiers on proofs.Rostislav E. Yavorsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):373-387.
Socratic Proofs and Paraconsistency: A Case Study.Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska - 2005 - Studia Logica 80 (2):431-466.
Conservative generalized quantifiers and presupposition.Tim Fernando - manuscript
On the expressive power of monotone natural language quantifiers over finite models.Jouko Väänänen & Dag Westerståhl - 2002 - Journal of Philosophical Logic 31 (4):327-358.
Light monotone Dialectica methods for proof mining.Mircea-Dan Hernest - 2009 - Mathematical Logic Quarterly 55 (5):551-561.
Uniform heyting arithmetic.Ulrich Berger - 2005 - Annals of Pure and Applied Logic 133 (1):125-148.
Socratic Method and Writing Instruction.Robert D. Whipple - 1996 - Upa.
Complexly fractionated syllogistic quantifiers.Philip L. Peterson - 1991 - Journal of Philosophical Logic 20 (3):287 - 313.
Self-commuting quantifiers.Dag Westerståhl - 1996 - Journal of Symbolic Logic 61 (1):212-224.
A note on the monotonicity of reducible quantifiers.R. Zuber - 2010 - Journal of Logic, Language and Information 19 (1):123-128.
Beyond the Frege boundary.Edward L. Keenan - 1992 - Linguistics and Philosophy 15 (2):199-221.
Definability of Second Order Generalized Quantifiers.Juha Kontinen - 2004 - Dissertation,
Socratic proofs for some normal modal propositional logics.D. Leszczyńska - 2004 - Logique Et Analyse 47 (No. 185–188):259-285.

Analytics

Added to PP
2009-01-28

Downloads
52 (#299,806)

6 months
15 (#157,754)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrzej Wiśniewski
Adam Mickiewicz University

Citations of this work

View all 14 citations / Add more citations

References found in this work

First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Multiple Conclusion Logic.D. J. Shoesmith & Timothy Smiley - 1978 - Cambridge, England / New York London Melbourne: Cambridge University Press. Edited by T. J. Smiley.
The Posing of Questions: Logical Foundations of Erotetic Inferences.Andrzej Wiśniewski - 1995 - Dordrecht and Boston: Kluwer Academic Publishers.
First-order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.
The method of hypersequents in the proof theory of propositional non-classical logics.Arnon Avron - 1996 - In Wilfrid Hodges (ed.), Logic: Foundations to Applications. Oxford: pp. 1-32.

View all 13 references / Add more references