This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

243 found
Order:
1 — 50 / 243
  1. JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN's PUBLICATIONS ON ARISTOTLE 1972–2015.John Corcoran - manuscript
    JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN’S PUBLICATIONS ON ARISTOTLE 1972–2015 By John Corcoran -/- This presentation includes a complete bibliography of John Corcoran’s publications relevant to his research on Aristotle’s logic. Sections I, II, III, and IV list 21 articles, 44 abstracts, 3 books, and 11 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article from Corcoran’s Philadelphia period that antedates his Aristotle studies and the Journal of Symbolic Logic article from his (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Aristotle on Logical Consequence.Phil Corkum -
    Compare two conceptions of validity: under an example of a modal conception, an argument is valid just in case it is impossible for the premises to be true and the conclusion false; under an example of a topic-neutral conception, an argument is valid just in case there are no arguments of the same logical form with true premises and a false conclusion. This taxonomy of positions suggests a project in the philosophy of logic: the reductive analysis of the modal conception (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  3. A Dialogue with I ! حوار مع أنا.Salah Osman - manuscript
    هل يمكن إذن أن أكون أنا لست أنا بانطباعات الزمان على جسدي وفكري؟ أليس لي جوهرٌ ثابتٌ تتبدل عليه الأعراض من حين إلى آخر، ومن ثم لا أفقد هويتي الحقيقية؟ لقد وُلدت منذ سنوات خلت، وتعلمت وعلمت أنني هو أنا، ويعلم المحيطون بي أنني هو أنا، بل يستطيع العلم المعاصر أن يُثبت أن لي تركيبًا جينيًا وراثيًا يميزني عن غيري، وأن لي بصمات أصابع وبصمة صوت لا تتطابق مع بصمات غيري، وسيحاسبني ربي يوم العرض عليه بوصفي شخصًا واحدًا هو أنا؛ (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. Probability Semantics for Aristotelian Syllogisms.Niki Pfeifer & Giuseppe Sanfilippo - manuscript
    We present a coherence-based probability semantics for (categorical) Aristotelian syllogisms. For framing the Aristotelian syllogisms as probabilistic inferences, we interpret basic syllogistic sentence types A, E, I, O by suitable precise and imprecise conditional probability assessments. Then, we define validity of probabilistic inferences and probabilistic notions of the existential import which is required, for the validity of the syllogisms. Based on a generalization of de Finetti's fundamental theorem to conditional probability, we investigate the coherent probability propagation rules of argument forms (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. How We Naturally Reason.Fred Sommers - manuscript
    In the 17th century, Hobbes stated that we reason by addition and subtraction. Historians of logic note that Hobbes thought of reasoning as “a ‘species of computation’” but point out that “his writing contains in fact no attempt to work out such a project.” Though Leibniz mentions the plus/minus character of the positive and negative copulas, neither he nor Hobbes say anything about a plus/minus character of other common logical words that drive our deductive judgments, words like ‘some’, ‘all’, ‘if’, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. Are Information, Cognition and the Principle of Existence Intrinsically Structured in the Quantum Model of Reality?Elio Conte - forthcoming - Open Systems and Information Dynamics.
    The thesis of this paper is that Information, Cognition and a Principle of Existence are intrinsically structured in the quantum model of reality. We reach such evidence by using the Clifford algebra. We analyze quantization in some traditional cases of quantum mechanics and, in particular in quantum harmonic oscillator, orbital angular momentum and hydrogen atom.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. Is Aristotle's Syllogistic a Logic?Phil Corkum - forthcoming - History and Philosophy of Logic.
    Much of the last fifty years of scholarship on Aristotle’s syllogistic suggests a conceptual framework under which the syllogistic is a logic, a system of inferential reasoning, only if it is not a theory or formal ontology, a system concerned with general features of the world. In this paper, I will argue that this a misleading interpretative framework. The syllogistic is something sui generis: by our lights, it is neither clearly a logic, nor clearly a theory, but rather exhibits certain (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Kilwardby's 55th Lesson.Wolfgang Lenzen - forthcoming - Logic and Logical Philosophy:1.
    In “Lectio 55” of his Notule libri Priorum, Robert Kilwardby discussed various objections that had been raised against Aristotle’s Theses. The first thesis, AT1, says that no proposition q is implied both by a proposition p and by its negation, ∼p. AT2 says that no proposition p is implied by its own negation. In Prior Analytics, Aristotle had shown that AT2 entails AT1, and he argued that the assumption of a proposition p such that (∼p → p) would be “absurd”. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Gersonides and Spinoza on God’s Knowledge of Universals and Particulars.Yitzhak Melamed - forthcoming - In Gad Freudenthal, David Wirmer & Ofer Elior (eds.), Gersonides Through the Ages.
  10. John Dumbleton on Insolubles: An Edition of an Epitome of His Solution to Insolubles.Barbara Bartocci & Stephen Read - 2022 - Noctua 9 (3):48-88.
    This paper provides a philosophical analysis and a new edition of an anonymous Epitome of John Dumbleton’s solution to the semantic paradoxes. The first part of this paper briefly presents Dumbleton’s cassationist solution to the semantic paradoxes, which the English philosopher proposes in his Summa Logicae, written in the 1330s–40s. The second part investigates the solution to various types of insolubles proposed by the anonymous author of the Epitome. The third part provides a new critical edition of the Latin text (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11. The Exoteric Square of Opposition.Jean-Yves Beziau & Ioannis Vandoulakis (eds.) - 2022 - Birkhauser.
    The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century. This volume collects papers presented at the Sixth World Congress on the Square of Opposition, held in Crete in 2018, developing an interdisciplinary exploration of the theory. Chapter authors explore subjects such as Aristotle’s ontological square, logical oppositions in Avicenna’s hypothetical logic, and the power of the square of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. Medieval Theories on the Conceivability of the Impossible: A Survey of Impossible Positio in Ars Obligatoria during the 13th–14th Centuries.Irene Binini - 2022 - Noctua 9 (3):1-47.
    During the 13th century, several logicians in the Latin medieval tradition showed a special interest in the nature of impossibility, and in the different kinds or ‘degrees’ of impossibility that could be distinguished. This discussion resulted in an analysis of the modal concept with a fineness of grain unprecedented in earlier modal accounts. Of the several divisions of the term ‘impossible’ that were offered, one became particularly relevant in connection with the debate on ars obligatoria and positio impossibilis: the distinction (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. Book Review of Islamic Thought Through Protestant Eyes. [REVIEW]Jeremy Fradkin - 2022 - Global Intellectual History 7 (November 2022).
  14. Epistemic Sophisms, Calculatores and John Mair’s Circle.Miroslav Hanke - 2022 - Noctua 9 (3):89-131.
    This paper focuses on the early sixteenth-century epistemic logic developed by John Mair’s circle and discusses iterated epistemic modalities, epistemic closure and Bradwardinian semantics related to the logic of epistemic statements. These topics are addressed as part of setting up and solving epistemic sophisms based on traditional scenarios which can be traced back to fourteenth-century British epistemic logic. While the ultimate source for the debate appears to be the second chapter of William Heytesbury’s Regule solvendi sophismata, the immediate source is (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15. A Logic for Aristotle's Modal Syllogistic.Clarence Lewis Protin - 2022 - History and Philosophy of Logic.
    We propose a new modal logic endowed with a simple deductive system to interpret Aristotle's theory of the modal syllogism. While being inspired by standard propositional modal logic, it is also a logic of terms that admits a (sound) extensional semantics involving possible states-of-affairs in a given world. Applied to the analysis of Aristotle's modal syllogistic as found in the Prior Analytics A8-22, it sheds light on various fine-grained distinctions which when made allow us to clarify some ambiguities and obtain (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic.Yale Weiss - 2022 - Notre Dame Journal of Formal Logic 63 (4):551-579.
    Since McCall (1966), the heterodox principle of propositional logic that it is impossible for a proposition to be entailed by its own negation—in symbols, ¬(¬φ→φ)—has gone by the name of Aristotle’s thesis, since Aristotle apparently endorses it in Prior Analytics 2.4, 57b3–14. Scholars have contested whether Aristotle did endorse his eponymous thesis, whether he could do so consistently, and for what purpose he endorsed it if he did. In this article, I reconstruct Aristotle’s argument from this passage and show that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Non-classical Comparative Logic I: Standard Categorical Logic–from SLe to IFLe.Amer Amikhteh & Seyed Ahmad Mirsanei - 2021 - Logical Studies 12 (1):1-24.
    n this paper, a non-classical axiomatic system was introduced to classify all moods of Aristotelian syllogisms, in addition to the axiom "Every a is an a" and the bilateral rules of obversion of E and O propositions. This system consists of only 2 definitions, 2 axioms, 1 rule of a premise, and moods of Barbara and Datisi. By adding first-degree propositional negation to this system, we prove that the square of opposition holds without using many of the other rules of (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  18. Dialectic after Plato and Aristotle: Thomas Bénatouïl and Katerina Ierodiakonou, editors. Foreword by T. Bénatouïl. Cambridge: Cambridge University Press, 2019. 385 pp. ISBN 9781108471909.O. Yu Goncharko - 2021 - History and Philosophy of Logic 43 (1):96-101.
    The general content of the book is dedicated to the dialectical practices and their logical tools and techniques developed after Plato and Aristotle within the philosophical schools of the Hellenis...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19. Connexive Principles After a ‘Classical’ Turn in Medieval Logic.Spencer C. Johnston - 2021 - History and Philosophy of Logic 43 (3):251-263.
    The aim of this paper is to look at the arguments advanced by three Parisian arts masters about how to understand Prior Analytics II 4 and the more general discussion that medieval authors situate...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. History of Arabic Logic.Mehmet Karabela - 2021 - In Islamic Thought Through Protestant Eyes. New York: Routledge. pp. 224-235.
    Johannes Steuchius’ disputatio uses Arabic logic to present an historical account of the development of philosophical thought in Arabia before and after the emergence of Islam. Steuchius first proposes that philosophy drew its origins from the East. His evidence for this claim is that many of the Greek philosophers, considered the forefathers of European philosophy, began cultivating their philosophical thinking as a result of exposure to ancient Eastern philosophy. After the introduction of Greek philosophy, it is agreed that dialectic was (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21. History of Rational Philosophy among the Arabs and Turks.Mehmet Karabela - 2021 - In Islamic Thought Through Protestant Eyes. New York: Routledge. pp. 181-194.
    In his disputatio, Johann Peter von Ludewig provides a history of rational philosophy among the Arabs and sets out to contextualize the Turks’ attitude to it. Like many Lutheran scholars of the time, Ludewig believed that Islam, as a religion, impeded the development of rational philosophy in the Arab world. However, unlike those philosophers, he examines external influences that may have fed the interest of Arab Muslims in rational philosophy, especially dialectic. Unlike Orthodox Lutherans, such as Pfeiffer and Kromayer, in (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. Exploring the landscape of relational syllogistic logics.Alex Kruckman & Lawrence S. Moss - 2021 - Review of Symbolic Logic 14 (3):728-765.
    This paper explores relational syllogistic logics, a family of logical systems related to reasoning about relations in extensions of the classical syllogistic. These are all decidable logical systems. We prove completeness theorems and complexity results for a natural subfamily of relational syllogistic logics, parametrized by constructors for terms and for sentences.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Extended Syllogistics in Calculus CL.Jens Lemanski - 2021 - Journal of Applied Logics 8 (2):557-577.
    Extensions of traditional syllogistics have been increasingly researched in philosophy, linguistics, and areas such as artificial intelligence and computer science in recent decades. This is mainly due to the fact that syllogistics is seen as a logic that comes very close to natural language abilities. Various forms of extended syllogistics have become established. This paper deals with the question to what extent a syllogistic representation in CL diagrams can be seen as a form of extended syllogistics. It will be shown (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Analysis in Prior Analytics I.45.Igor Martinjak - 2021 - History and Philosophy of Logic 43 (3):207-231.
    I reconstruct Aristotle’s analytical procedure in Prior Analytics I.45 and its metalogical implications. Aristotle’s analysis unfolds three groups of syllogisms: symmetrically analysable, asymmetri...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25. The Aftermath of Syllogism. Aristotelian Logical Argument from Avicenna to Hegel: M. SGARBI and M. COSCI, editors. London and New York: Bloomsbury Academic, 2018. 220 pp. Paperback $39.95, ISBN 978-1-3501-2315-1, Hardback $120.00, ISBN 978-1-3500-4352-7, ePDF $35.95, ISBN 978-1-3500-4354-1. [REVIEW]J. Mendelsohn - 2021 - History and Philosophy of Logic 42 (2):189-191.
    This volume brings together nine previously unpublished, historically focused papers covering syllogistic logic and the notion of the syllogism. The book’s purpose, according to the editors, is ‘to...
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. The Cretan Square.Jean-Yves Beziau & Jens Lemanski - 2020 - Logica Universalis 14 (1):1-5.
    This special issue is related to the 6th World Congress on the Square of Opposition which took place at the Orthodox Academy of Crete in November 2018. In this introductory paper we explain the context of the event and the topics discussed.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27. The Power of Logic, 6th edition.Daniel Howard-Snyder, Frances Howard-Snyder & Ryan Wasserman - 2020 - New York: McGraw-Hill.
    This is a basic logic text for first-time logic students. Custom-made texts from the chapters is an option as well. And there is a website to go with text too.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28. Internal Negation and the Principles of Non-Contradiction and of Excluded Middle in Aristotle.Christopher Izgin - 2020 - History and Philosophy of Logic 41 (1):1-15.
    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 (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29. Proof by Assumption of the Possible in Prior Analytics, 1.15; How Not to Blend Modal Frameworks.Doukas Kapantais & George Karamanolis - 2020 - History and Philosophy of Logic 41 (3):203-216.
    The present paper aims to show that the reconstruction of the formal framework of the proofs in Pr. An. 1.15, as proposed by Malink and Rosen 2013 (‘Proof by Assumption of the Possible in Prior Analytics 1.15’, Mind, 122, 953-85) is due to affront a double impasse. Malink and Rosen argue convincingly that Aristotle operates with two different modal frameworks, one as found in the system of modal logic presented in Prior Analytics 1.3 and 8-22, and one occurring in many (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. Arthur Schopenhauer on Naturalness in Logic.Jens Lemanski & Hubert Martin Schüler - 2020 - In Language, Logic, and Mathematics in Schopenhauer. Cham, Schweiz: Birkhäuser. pp. 145-165.
    The question of naturalness in logic is widely discussed in today’s research literature. On the one hand, naturalness in the systems of natural deduction is intensively discussed on the basis of Aristotelian syllogistics. On the other hand, research on “natural logic” is concerned with the implicitly existing logical laws of natural language, and is therefore also interested in the naturalness of syllogistics. In both research areas, the question arises what naturalness exactly means, in logic as well as in language. We (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. The Peripatetic Program in Categorical Logic: Leibniz on Propositional Terms.Marko Malink & Anubav Vasudevan - 2020 - Review of Symbolic Logic 13 (1):141-205.
    Greek antiquity saw the development of two distinct systems of logic: Aristotle’s theory of the categorical syllogism and the Stoic theory of the hypothetical syllogism. Some ancient logicians argued that hypothetical syllogistic is more fundamental than categorical syllogistic on the grounds that the latter relies on modes of propositional reasoning such asreductio ad absurdum. Peripatetic logicians, by contrast, sought to establish the priority of categorical over hypothetical syllogistic by reducing various modes of propositional reasoning to categorical form. In the 17th (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Syllogistic logic with cardinality comparisons, on infinite sets.Lawrence S. Moss & Selçuk Topal - 2020 - Review of Symbolic Logic 13 (1):1-22.
    This article enlarges classical syllogistic logic with assertions having to do with comparisons between the sizes of sets. So it concerns a logical system whose sentences are of the following forms: All x are y and Some x are y, There are at least as many x as y, and There are more x than y. Here x and y range over subsets of a given infinite set. Moreover, x and y may appear complemented, with the natural meaning. We formulate (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33. A Cube of Opposition for Predicate Logic.Jørgen Fischer Nilsson - 2020 - Logica Universalis 14 (1):103-114.
    The traditional square of opposition is generalized and extended to a cube of opposition covering and conveniently visualizing inter-sentential oppositions in relational syllogistic logic with the usual syllogistic logic sentences obtained as special cases. The cube comes about by considering Frege–Russell’s quantifier predicate logic with one relation comprising categorical syllogistic sentence forms. The relationships to Buridan’s octagon, to Aristotelian modal logic, and to Klein’s 4-group are discussed.GraphicThe photo shows a prototype sculpture for the cube.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Swyneshed, Aristotle and the Rule of Contradictory Pairs.Stephen Read - 2020 - Logica Universalis 14 (1):27-50.
    Roger Swyneshed, in his treatise on insolubles, dating from the early 1330s, drew three notorious corollaries from his solution. The third states that there is a contradictory pair of propositions both of which are false. This appears to contradict what Whitaker, in his iconoclastic reading of Aristotle’s De Interpretatione, dubbed “The Rule of Contradictory Pairs”, which requires that in every such pair, one must be true and the other false. Whitaker argued that, immediately after defining the notion of a contradictory (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  35. Aristotelés, Łukasiewicz a prázdné termíny.Zuzana Rybaříková - 2020 - Filosoficky Casopis 68 (4):605-622.
    In recent times there has been a shift in the interpretation of Aristotle’s logic. Many researchers have pointed out that the concept of existential import appears in Aristotle’s logic and philosophy, and that Aristotle worked with the concept of empty terms although his concept differs from that which is used in modern logic. Additionally, his search for the “culprits” of old and incorrect interpretation has been tied to the development of modern interpretation. Apart from the traditional concept of the logical (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. A Class-Room Introduction to Logic.Desh Raj Sirswal - 2020 - Pehowa(Kurukshetra): CPPIS.
    This book is an outcome of my wordpress page “A Class-Room Introduction to Logic” This was prepared for the students of the paper entitled “Principles of Logic” in the Diploma-in-Reasoning Course of Department of Philosophy, Kurukshetra University, Kurukshetra, where I taught in the Diploma about four years and presently have an experience of teaching logic about 15 years. This book is beneficial for graduate students who have elementary logic course in their syllabus as well as for the general reader of (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  37. Existential Import, Aristotelian Logic, and its Generalizations.Corina Strößner - 2020 - Logica Universalis 14 (1):69-102.
    The paper uses the theory of generalized quantifiers to discuss existential import and its implications for Aristotelian logic, namely the square of opposition, conversions and the assertoric syllogistic, as well as for more recent generalizations to intermediate quantifiers like “most”. While this is a systematic discussion of the semantic background one should assume in order to obtain the inferences and oppositions Aristotle proposed, it also sheds some light on the interpretation of his writings. Moreover by applying tools from modern formal (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38. On the Historical Transformations of the Square of Opposition as Semiotic Object.Ioannis M. Vandoulakis & Tatiana Yu Denisova - 2020 - Logica Universalis 14 (1):7-26.
    In this paper, we would show how the logical object “square of opposition”, viewed as semiotic object, has been historically transformed since its appearance in Aristotle’s texts until the works of Vasiliev. These transformations were accompanied each time with a new understanding and interpretation of Aristotle’s original text and, in the last case, with a transformation of its geometric configuration. The initial textual codification of the theory of opposition in Aristotle’s works is transformed into a diagrammatic one, based on a (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39. What is the O-Corner Interpretation and Does it Save the Traditional Square of Opposition?Yavuz Recep Başoğlu - 2019 - Felsefe Arkivi 1 (51):37-59.
    To salvage traditional logic and traditional square of opposition from the problem of existential import, logicians have been offering solutions for centuries. In this paper, firstly it will be argued that as far as we know, the historically first solution proposed by Abelard in 11th century and by Seuren in 2002 is actually a version of the O-Corner Interpretation of traditional logic, which is generally attributed to the 14th-century logician Ockham. Secondly, it will be advocated that two systems of Abelard (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  40. Aristotle’s Argument from Truth in Metaphysics Γ 4.Graham Clay - 2019 - Analysis 79 (1):17-24.
    Some of Aristotle’s statements about the indemonstrability of the Principle of Non-Contradiction (PNC) in Metaphysics Γ 4 merit more attention. The consensus seems to be that Aristotle provides two arguments against the demonstrability of the PNC, with one located in Γ 3 and the other found in the first paragraph of Γ 4. In this article, I argue that Aristotle also relies upon a third argument for the same conclusion: the argument from truth. Although Aristotle does not explicitly state this (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Dialectic, the Dictum de Omni and Ecthesis.Michel Crubellier, Mathieu Marion, Zoe McConaughey & Shahid Rahman - 2019 - History and Philosophy of Logic 40 (3):207-233.
    In this paper, we provide a detailed critical review of current approaches to ecthesis in Aristotle’s Prior Analytics, with a view to motivate a new approach, which builds upon previous work by Marion & Rückert (2016) on the dictum de omni. This approach sets Aristotle’s work within the context of dialectic and uses Lorenzen’s dialogical logic, hereby reframed with use of Martin-Löf's constructive type theory as ‘immanent reasoning’. We then provide rules of syllogistic for the latter, and provide proofs of (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42. Indirect Proof and Inversions of Syllogisms.Roy Dyckhoff - 2019 - Bulletin of Symbolic Logic 25 (2):196-207.
    By considering the new notion of theinversesof syllogisms such asBarbaraandCelarent, we show how the rule ofIndirect Proof, in the form (no multiple or vacuous discharges) used by Aristotle, may be dispensed with, in a system comprising four basic rules of subalternation or conversion and six basic syllogisms.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Em direção a uma tradicão inferencialmente expressivista da silogística.Aislan Pereira - 2019 - Dissertation, Ufpb, Brazil
    The work of this dissertation, in a broad sense, seeks to rescue what may be in the original project or nucleus of philosophy, from its Socratic arising: the idea of elucidative rationality. This rationality is aimed at expressing our practices in a way that can be confronted with objections and alternatives. The notion of expression is central to this rationality. This centrality is elucidated by the contemporary philosopher Brandom (1994, 2000, 2008a, 2013), from his view of the semantic inferentialism. With (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  44. Probability propagation in selected Aristotelian syllogisms.Niki Pfeifer - 2019 - In G. Kern-Isberner & Zoran Ognjanović (eds.), ECSQARU 2019: Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Cham: Springer. pp. 419-431.
    This paper continues our work on a coherence-based probability semantics for Aristotelian syllogisms (Gilio, Pfeifer, and Sanfilippo, 2016; Pfeifer and Sanfilippo, 2018) by studying Figure III under coherence. We interpret the syllogistic sentence types by suitable conditional probability assessments. Since the probabilistic inference of P|S from the premise set {.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  45. Trespassers and Existential Import.Kai-Yee Wong & Chi-Ho Hung - 2019 - Thought: A Journal of Philosophy 8 (1):57-62.
    It is a received view of the post-Fregean predicate logic that a universal statement has no existential import and thus does not entail its particular (existential) counterpart. This paper takes issue with the view by discussing the trespasser case, which has widely been employed for supporting the view. The trespasser case in fact involves a shift of context. Properly understood, the case provides no support for the received view but rather suggests that we rethink the ‘quantity view’ of the existential (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46. Why Does Aristotle Defend the Principle of Non‐Contradiction Against its Contrary?Daniel Coren - 2018 - Philosophical Forum 49 (1):39-59.
    In his Metaphysics Γ.4, Aristotle defends the principle of non-contradiction (PNC). The PNC says that all contradictions are false. So if some contradictions are true, then PNC is false. Even if PNC’s contrary is false, PNC’s contradictory might still be true. But it’s been noted in the literature for over a century that Aristotle seems to be exclusively interested in attacking PNC’s contrary (‘All contradictions are true’) rather than PNC’s contradictory (‘Some contradictions are true’). So his defense of PNC seems (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Combinatorial Bitstring Semantics for Arbitrary Logical Fragments.Lorenz6 Demey & Hans5 Smessaert - 2018 - Journal of Philosophical Logic 47 (2):325-363.
    Logical geometry systematically studies Aristotelian diagrams, such as the classical square of oppositions and its extensions. These investigations rely heavily on the use of bitstrings, which are compact combinatorial representations of formulas that allow us to quickly determine their Aristotelian relations. However, because of their general nature, bitstrings can be applied to a wide variety of topics in philosophical logic beyond those of logical geometry. Hence, the main aim of this paper is to present a systematic technique for assigning bitstrings (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  48. Probabilistic semantics for categorical syllogisms of Figure II.Niki Pfeifer & Giuseppe Sanfilippo - 2018 - In D. Ciucci, G. Pasi & B. Vantaggi (eds.), Scalable Uncertainty Management. Cham, Switzerland: pp. 196-211.
    A coherence-based probability semantics for categorical syllogisms of Figure I, which have transitive structures, has been proposed recently (Gilio, Pfeifer, & Sanfilippo [15]). We extend this work by studying Figure II under coherence. Camestres is an example of a Figure II syllogism: from Every P is M and No S is M infer No S is P. We interpret these sentences by suitable conditional probability assessments. Since the probabilistic inference of ~????|???? from the premise set {????|????, ~????|????} is not informative, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  49. Aristotle, Logic, and QUARC.Jonas Raab - 2018 - History and Philosophy of Logic 39 (4):305-340.
    The goal of this paper is to present a new reconstruction of Aristotle's assertoric logic as he develops it in Prior Analytics, A1-7. This reconstruction will be much closer to Aristotle's original...
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  50. Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Basel, Switzerland: pp. 575-597.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 243