Article ID: CBB001550607

The Medieval Octagon of Opposition for Sentences with Quantified Predicates (2014)

unapi

Benítez, Juan Manuel Campos (Author)


History and Philosophy of Logic
Volume: 35, no. 4
Issue: 4
Pages: 354-368
Publication date: 2014
Language: English


Publication Date: 2014
Edition Details: Part of a Series: “The Square of Opposition”

The traditional Square of Opposition consists of four sentence types. Two are universal and two particular; two are affirmative and two negative. Examples, where `S' and `P' designate the subject and the predicate, are: `every S is P', `no S is P', `some S is P' and `some S is not P'. Taking the usual sentences of the square of opposition, quantifying over their predicates exhibits non-standard sentence forms. These sentences may be combined into non-standard Squares of Opposition (an Octagon in this case), and they reveal a new relationship not found in the usual Square. Medieval logicians termed `disparatae' pairs of sentences like `every S is some P' and `some S is every P', which are neither subaltern nor contrary, neither contradictory nor subcontrary. Walter Redmond has designed a special language L to express the logical form of these sentences in a precise way. I will use this language to show how Squares of Opposition, standard and non-standard, form a complex network of relations which bring to light the subtleties contained in this traditional doctrine.

...More
Included in

Article Beziau, Jean-Yves; Read, Stephen (2014) Square of Opposition: A Diagram and a Theory in Historical Perspective. History and Philosophy of Logic (pp. 315-316). unapi

Citation URI
stagingisis.isiscb.org/p/isis/citation/CBB001550607

This citation is part of the Isis database.

Similar Citations

Article Moretti, Alessio; (2014)
Was Lewis Carroll an Amazing Oppositional Geometer? unapi

Article Chatt, Saloua; (2014)
Avicenna on Possibility and Necessity unapi

Chapter Verboon, Annemieke R.; (2008)
Einen alten Baum verpflanzt man nicht. Die Metapher des Porphyrianischen Baums im Mittelalter unapi

Book Turing, Alan Mathison; Appel, Andrew W.; Feferman, Solomon; (2012)
Alan Turing's Systems of Logic: The Princeton Thesis unapi

Article Claudia Cristalli; Ahti-Veikko Pietarinen; (2021)
Abstraction and Generalization in the Logic of Science: Cases from Nineteenth-Century Scientific Practice unapi

Chapter Hon, Giora; (2009)
Living Extremely Flat: The Life of an Automaton; John von Neumann's Conception of Error of (in)Animate Systems unapi

Book Magnani, Lorenzo; Nersessian, Nancy J.; (2002)
Model Based Reasoning: Science, Technology, Values unapi

Article Mutanen, Arto; (2015)
Hintikka's Interrogative Model and a Logic of Discovery and Justification unapi

Chapter Morgan, Mary S.; (2007)
The Curious Case of the Prisoner's Dilemma: Model Situation? Exemplary Narrative? unapi

Article Dupré, Sven; (2012)
Kepler's Optics without Hypotheses unapi

Article Basak, Subhash C.; (2013)
Philosophy of Mathematical Chemistry: A Personal Perspective unapi

Article Shell-Gellasch, Amy; (2003)
The Olivier String Models at West Point unapi

Article Cerroni, Cinzia; (2004)
Non-Desarguian Geometries and the Foundations of Geometry from David Hilbert to Ruth Moufang unapi

Article Glas, Eduard; (2000)
Model-based reasoning and mathematical discovery: The Case of Felix Klein unapi

Article June Barrow-Green; (2021)
“Knowledge gained by experience”: Olaus Henrici—engineer, geometer and maker of mathematical models unapi

Article Yavetz, Ido; (2001)
A New Role for the Hippopede of Eudoxus unapi

Article Pantalony, David; (2001)
H. S. M. Coxeter's Unusual Collection of Geometric Models unapi

Chapter Rich, Mike; (2006)
Representing Euclid in the Eighteenth Century unapi

Article Christián C. Carman; (2023)
A Ptolemaic lunar model of the 17th century: François Viète and his first lunar model unapi

Article Johns, Chris; (2014)
Leibniz and the Square: A Deontic Logic for the Vir Bonus unapi

Authors & Contributors
Appel, Andrew W.
Barrow-Green, June
Basak, Subhash C.
Carman, Christián Carlos
Cerroni, Cinzia
Dupré, Sven
Journals
History and Philosophy of Logic
Historia Mathematica
Rittenhouse: Journal of the American Scientific Instrument Enterprise
Acta Baltica historiae et philosophiae scientiarum
Archive for History of Exact Sciences
HOPOS
Publishers
Princeton University
Kluwer Academic
Concepts
Models and modeling in science
Geometry
Logic
Mathematics
Visual representation; visual communication
Explanation; hypotheses; theories
People
Avicenna
Carroll, Lewis
Coxeter, Harold Scott MacDonald
Desargues, Gérard
Euclid
Eudoxus of Cnidos
Time Periods
19th century
17th century
20th century
20th century, late
Ancient
16th century
Places
Greece
Great Britain
India
Denmark
Germany
United States
Institutions
Princeton University
University of Toronto
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment