Validity, the Squeezing Argument and Alternative Semantic Systems: the Case of Aristotelian Syllogistic [Book Review]
Journal of Philosophical Logic 41 (2):387-418 (2012)
|Abstract||We investigate the philosophical significance of the existence of different semantic systems with respect to which a given deductive system is sound and complete. Our case study will be Corcoran’s deductive system D for Aristotelian syllogistic and some of the different semantic systems for syllogistic that have been proposed in the literature. We shall prove that they are not equivalent, in spite of D being sound and complete with respect to each of them. Beyond the specific case of syllogistic, the goal is to offer a general discussion of the relations between informal notions—in this case, an informal notion of deductive validity—and logical apparatuses such as deductive systems and (model-theoretic or other) semantic systems that aim at offering technical, formal accounts of informal notions. Specifically, we will be interested in Kreisel’s famous ‘squeezing argument’; we shall ask ourselves what a plurality of semantic systems (understood as classes of mathematical structures) may entail for the cogency of specific applications of the squeezing argument. More generally, the analysis brings to the fore the need for criteria of adequacy for semantic systems based on mathematical structures. Without such criteria, the idea that the gap between informal and technical accounts of validity can be bridged is put under pressure|
|Keywords||Syllogistic Semantic systems for syllogistic Proofs of completeness Validity Squeezing argument|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Fred Johnson (1994). Syllogisms with Fractional Quantifiers. Journal of Philosophical Logic 23 (4):401 - 422.
Edgar Jose Andrade & Edward Samuel Becerra (2008). Establishing Connections Between Aristotle's Natural Deduction and First-Order Logic. History and Philosophy of Logic 29 (4):309-325.
W. J. Blok & J. Rebagliato (2003). Algebraic Semantics for Deductive Systems. Studia Logica 74 (1-2):153 - 180.
Orlin Vakarelov (2010). Pre-Cognitive Semantic Information. Knowledge, Technology & Policy 23 (2):193-226.
Marko Malink (2006). A Reconstruction of Aristotle's Modal Syllogistic. History and Philosophy of Logic 27 (2):95-141.
Luciano Floridi (2011). Semantic Information and the Correctness Theory of Truth. Erkenntnis 74 (2):147-175.
John N. Martin (2001). Proclus and the Neoplatonic Syllogistic. Journal of Philosophical Logic 30 (3):187-240.
Susanne Bobzien (1996). Stoic Syllogistic. Oxford Studies in Ancient Philosophy 14:133-92.
Josep Maria Font & Ramon Jansana (2011). Leibniz-Linked Pairs of Deductive Systems. Studia Logica 99 (1-3):171-202.
James A. Woodbridge & Bradley Armour-Garb (2008). The Pathology of Validity. Synthese 160 (1):63 - 74.
Ben Blumson (2011). Depictive Structure? Philosophical Papers 40 (1):1-25.
Peter M. Simons (1989). Tree Proofs for Syllogistic. Studia Logica 48 (4):539 - 554.
Added to index2011-01-15
Total downloads65 ( #16,911 of 722,698 )
Recent downloads (6 months)1 ( #60,006 of 722,698 )
How can I increase my downloads?