It has long been recognized that negation in Aristotle’s term logic differs syntactically from negation in classical logic: modern external negation attaches to propositions fully formed, whereas Aristotelian internal negation forms propositions from sentential constituents. Still, modern external negation is used to render Aristotelian internal negation, as may be seen in formalizations of Aristotle’s semantic principles of non-contradiction and of excluded middle. These principles govern the distribution of truth values among pairs of contradictory propositions, and Aristotelian contradictories always consist of an affirmation and a denial. So how should we formalize a false denial? In the literature, we find that a false denial is formalized by means of two negation signs attached to a one-place predicate. However, it can be shown that this rendering leads to an incorrect picture of Aristotle’s principles. In this paper, I propose a solution to this technical problem by devising a formal notation especially for Aristotelian propositions in which internal negation is differentiated from external negation. I will also analyze both principles, each of which has two logically equivalent forms, a positive and a negative one. The fact that Aristotle’s principles are distinct and complementary is reflected in my new formalizations.
...More
Thesis
Hussain, Hammad A.;
(2010)
Aristotle's “Genetic Account” and the Problem of Induction
(/isis/citation/CBB001562741/)
Chapter
Detel, Wolfgang;
(2007)
Logic and Experience in Aristotle
(/isis/citation/CBB001020201/)
Book
William Boos;
Florence S. Boos;
(2018)
Metamathematics and the Philosophical Tradition
(/isis/citation/CBB060593902/)
Book
Harari, Orna;
(2004)
Knowledge and Demonstration: Aristotle's Posterior Analytics
(/isis/citation/CBB000500290/)
Book
Bruun, Otto;
Corti, Lorenzo;
(2005)
Les catégories et leur histoire
(/isis/citation/CBB001020179/)
Article
Rochberg, Francesca;
(2009)
Conditionals, Inference, and Possibility in Ancient Mesopotamian Science
(/isis/citation/CBB000831768/)
Book
Honnefelder, Ludger;
Wood, Rega;
Dreyer, Mechthild;
Aris, Marc-Aeilko;
(2005)
Albertus Magnus und die Anfänge der Aristoteles-Rezeption im lateinischen Mittelalter: von Richardus Rufus bis zu Franciscus de Mayronis = Albertus Magnus and the Beginnings of the Medieval Reception of Aristotle in the Latin West: From Richardus Rufus to Franciscus de Mayronis
(/isis/citation/CBB000701155/)
Article
Halonen, Ilpo;
Hintikka, Jaakko;
(2000)
Aristotelian explanations
(/isis/citation/CBB000111284/)
Article
Piero Tarantino;
(2011)
L'origine della nozione aristotelica di "scienza dimostrativa"
(/isis/citation/CBB689955339/)
Article
Raymonda, Dwayne;
(2010)
Polarity and Inseparability: The Foundation of the Apodictic Portion of Aristotle's Modal Logic
(/isis/citation/CBB001210975/)
Book
Rijk, Lambertus Marie de;
(2002)
Aristotle: Semantics and Ontology
(/isis/citation/CBB000301545/)
Book
Pasquale, Gianluigi;
(2005)
Aristotle and the Principle of Non-Contradiction
(/isis/citation/CBB000741068/)
Article
Correia, Manuel;
(2004)
Philoponus on the Nature of Logic
(/isis/citation/CBB000502259/)
Article
Lennox, James G.;
(2011)
Aristotle on Norms of Inquiry
(/isis/citation/CBB001023577/)
Article
López Farjeat, Luis Xavier;
(2010)
El conocimiento animal en Aristóteles y Avicena
(/isis/citation/CBB000933356/)
Chapter
Tuominen, Miira;
(2007)
How Do We Know the Principles? Late Ancient Perspectives to Aristotle's Theory
(/isis/citation/CBB001020202/)
Article
Horowitz, Amir;
(2013)
Doubt Accumulation and the Epistemic Validity of Logic
(/isis/citation/CBB001253030/)
Book
Matilal, Bimal Krishna;
Ganeri, Jonardon;
(2002)
Ethics and Epics: The Collected Essays of Bimal Krishna Matilal
(/isis/citation/CBB000201639/)
Article
Galavotti, Maria Carla;
(2003)
Harold Jeffreys' Probabilistic Epistemology: Between Logicism and Subjectivism
(/isis/citation/CBB000410716/)
Article
David Loner;
(2020)
Alice Ambrose and the American Reception of Wittgenstein's Philosophy of Mathematics, 1935–75
(/isis/citation/CBB296871977/)
Be the first to comment!