Aristotelian diagrams for semantic and syntactic consequence

Synthese 198 (1):187-207 (2018)
  Copy   BIBTEX

Abstract

Several authors have recently studied Aristotelian diagrams for various metatheoretical notions from logic, such as tautology, satisfiability, and the Aristotelian relations themselves. However, all these metalogical Aristotelian diagrams focus on the semantic (model-theoretical) perspective on logical consequence, thus ignoring the complementary, and equally important, syntactic (proof-theoretical) perspective. In this paper, I propose an explanation for this discrepancy, by arguing that the metalogical square of opposition for semantic consequence exhibits a natural analogy to the well-known square of opposition for the categorical statements from syllogistics, but that this analogy breaks down once we move from semantic to syntactic consequence. I then show that despite this difficulty, one can indeed construct metalogical Aristotelian diagrams from a syntactic perspective, which have their own, equally elegant characterization in terms of the categorical statements. Finally, I construct several metalogical Aristotelian diagrams that incorporate both semantic and syntactic consequence (and their interaction), and study how they are influenced by the underlying logical system’s soundness and/or completeness. All of this provides further support for the methodological/heuristic perspective on Aristotelian diagrams, which holds that the main use of these diagrams lies in facilitating analogies and comparisons between prima facie unrelated domains of investigation.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Metalogical Decorations of Logical Diagrams.Lorenz Demey & Hans Smessaert - 2016 - Logica Universalis 10 (2-3):233-292.
Logical Geometries and Information in the Square of Oppositions.Hans5 Smessaert & Lorenz6 Demey - 2014 - Journal of Logic, Language and Information 23 (4):527-565.
How Diagrams Can Support Syllogistic Reasoning: An Experimental Study.Yuri Sato & Koji Mineshima - 2015 - Journal of Logic, Language and Information 24 (4):409-455.
Set Venn Diagrams Applied to Inclusions and Non-inclusions.Renata de Freitas & Petrucio Viana - 2015 - Journal of Logic, Language and Information 24 (4):457-485.
Peirce and the logical status of diagrams.Sun-joo Shin - 1994 - History and Philosophy of Logic 15 (1):45-68.
Visualizations of the square of opposition.Peter Bernhard - 2008 - Logica Universalis 2 (1):31-41.
On Learning to See Venn Diagrams.Patrick Rardin - 1995 - Teaching Philosophy 18 (3):229-244.
Diagrams, Logic and Representation.Eric Morgan Hammer - 1995 - Dissertation, Indiana University
Diagrams in Geometry.Isabel Palomino Luengo - 1995 - Dissertation, Indiana University
The Semantic View, If Plausible, Is Syntactic.Hans Halvorson - 2013 - Philosophy of Science 80 (3):475-478.

Analytics

Added to PP
2018-10-27

Downloads
25 (#542,984)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Between Square and Hexagon in Oresme’s Livre du Ciel et du Monde.Lorenz Demey - 2019 - History and Philosophy of Logic 41 (1):36-47.

Add more citations

References found in this work

Action, Emotion And Will.Anthony Kenny - 1963 - Ny: Humanities Press.
Action, Emotion and Will.Anthony Kenny - 1963 - Philosophy 39 (149):277-278.
Action, Emotion and Will.Keith S. Donnellan - 1965 - Philosophical Review 74 (4):526.

View all 28 references / Add more references