Journal of Philosophical Logic 35 (2):147-178 (2006)
| Authors |
|
| 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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
The Logic of Questions as a Theory of Erotetic Arguments.Andrzej Wiśniewski - 1996 - Synthese 109 (1):1 - 25.
View all 12 references / Add more references
Citations of this work BETA
Socratic Trees.Dorota Leszczyńska-Jasion, Mariusz Urbański & Andrzej Wiśniewski - 2013 - Studia Logica 101 (5):959-986.
The Method of Socratic Proofs Meets Correspondence Analysis.Dorota Leszczyńska-Jasion, Yaroslav Petrukhin & Vasilyi Shangin - 2019 - Bulletin of the Section of Logic 48 (2):99-116.
The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.Dorota Leszczyńska-Jasion - 2008 - Studia Logica 89 (3):365-399.
Automatic Proof Generation in an Axiomatic System for $\Mathsf{CPL}$ by Means of the Method of Socratic Proofs.Aleksandra Grzelak & Dorota Leszczyńska-Jasion - 2018 - Logic Journal of the IGPL 26 (1):109-148.
Socratic Proofs and Paraconsistency: A Case Study.Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska - 2005 - Studia Logica 80 (2-3):431-466.
View all 11 citations / Add more citations
Similar books and articles
Socratic Trees.Dorota Leszczyńska-Jasion, Mariusz Urbański & Andrzej Wiśniewski - 2013 - Studia Logica 101 (5):959-986.
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-3):431-466.
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.
Complexly Fractionated Syllogistic Quantifiers.Philip L. Peterson - 1991 - Journal of Philosophical Logic 20 (3):287 - 313.
A Note on the Monotonicity of Reducible Quantifiers.R. Zuber - 2010 - Journal of Logic, Language and Information 19 (1):123-128.
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 )
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
