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

Authors
Andrzej Wiśniewski
Adam Mickiewicz University
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
Keywords Philosophy
Categories (categorize this paper)
DOI 10.1007/s10992-005-9000-0
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,348
External links

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

First-Order Logic.Raymond M. Smullyan - 1968 - New York [Etc.]Springer-Verlag.
Multiple-Conclusion Logic.D. J. Shoesmith - 1978 - Cambridge University Press.
First-Order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.
Socratic Proofs.Andrzej Wiśniewski - 2004 - Journal of Philosophical Logic 33 (3):299-326.

View all 12 references / Add more references

Citations of this work BETA

View all 11 citations / Add more citations

Similar books and articles

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.
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.
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.
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 index
2009-01-28

Total views
35 ( #296,151 of 2,420,317 )

Recent downloads (6 months)
1 ( #542,912 of 2,420,317 )

How can I increase my downloads?

Downloads

My notes