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/)
Article
Rochberg, Francesca;
(2009)
Conditionals, Inference, and Possibility in Ancient Mesopotamian Science
(/isis/citation/CBB000831768/)
Article
Correia, Manuel;
(2004)
Philoponus on the Nature of Logic
(/isis/citation/CBB000502259/)
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/)
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
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
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/)
Chapter
Tuominen, Miira;
(2007)
How Do We Know the Principles? Late Ancient Perspectives to Aristotle's Theory
(/isis/citation/CBB001020202/)
Article
López Farjeat, Luis Xavier;
(2010)
El conocimiento animal en Aristóteles y Avicena
(/isis/citation/CBB000933356/)
Article
Lennox, James G.;
(2011)
Aristotle on Norms of Inquiry
(/isis/citation/CBB001023577/)
Article
Wolfsdorf, David;
(2004)
The Socratic Fallacy and the Epistemological Priority of Definitional Knowledge
(/isis/citation/CBB000502254/)
Chapter
Vikko, Risto;
(2009)
The Logic Question During the First Half of the Nineteenth Century
(/isis/citation/CBB001210346/)
Article
C. Rajendran;
(2016)
Inference as a Means of Valid Knowledge in Indian Epistemological Tradition
(/isis/citation/CBB280815324/)
Book
Klima, Gyula;
Allhoff, Fritz;
Vaidya, Anand Jayprakash;
(2007)
Medieval Philosophy: Essential Readings with Commentary
(/isis/citation/CBB000831266/)
Be the first to comment!