Bulletin of the Section of Logic 48 (2):99-116 (2019)

Authors
Dorota Leszczyńska-Jasion
Adam Mickiewicz University
Abstract
The goal of this paper is to propose correspondence analysis as a technique for generating the so-called erotetic calculi which constitute the method of Socratic proofs by Andrzej Wiśniewski. As we explain in the paper, in order to successfully design an erotetic calculus one needs invertible sequent-calculus-style rules. For this reason, the proposed correspondence analysis resulting in invertible rules can constitute a new foundation for the method of Socratic proofs. Correspondence analysis is Kooi and Tamminga's technique for designing proof systems. In this paper it is used to consider sequent calculi with non-branching, invertible rules for the negation fragment of classical propositional logic and its extensions by binary Boolean functions.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.18778/0138-0680.48.2.02
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,797
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

The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
On Notation for Ordinal Numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
A Calculus of Antinomies.F. G. Asenjo - 1966 - Notre Dame Journal of Formal Logic 7:103.

View all 10 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Socratic Proofs.Andrzej Wiśniewski - 2004 - Journal of Philosophical Logic 33 (3):299-326.
Intuitionistic Socratic Procedures.Tomasz F. Skura - 2005 - Journal of Applied Non-Classical Logics 15 (4):453-464.
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
Canonical Proof Nets for Classical Logic.Richard McKinley - 2013 - Annals of Pure and Applied Logic 164 (6):702-732.

Analytics

Added to PP index
2019-09-21

Total views
9 ( #901,891 of 2,425,665 )

Recent downloads (6 months)
1 ( #546,862 of 2,425,665 )

How can I increase my downloads?

Downloads

My notes