View topic on PhilPapers for more information
Related categories

60 found
Order:
More results on PhilPapers
1 — 50 / 60
  1. added 2019-09-07
    Lecture du Commentaire de Thomas d'Aquin Sur le Traité de la Démonstration D'Aristote: Savoir, C'est Connaître la Cause.Guy-François Delaporte - 2005 - L'harmattan.
    C’est un véritable Discours de la Méthode qu’Aristote nous livre avec son traité de la démonstration intitulé Seconds Analytiques. Avec lui, l’auteur parvient au sommet de l’art logique dont il est le véritable inventeur.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. added 2019-06-18
    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   Download  
     
    Export citation  
     
    Bookmark  
  3. added 2019-06-06
    The Contemporary Relevance of Ancient Logical Theory.John Corcoran - 1982 - Philosophical Quarterly 32 (126):76.
    This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and his understanding (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  4. added 2019-05-03
    Em direção a uma tradicão inferencial mente expressivista da silogística.Aislan Pereira - 2019 - Dissertation, UFPB, Brazil
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. added 2019-04-02
    Rejection in Łukasiewicz's and Słupecki' Sense.Urszula Wybraniec-Skardowska - 2018 - Lvov-Warsaw School. Past and Present.
    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   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. added 2019-03-09
    An Arithmetization of Logical Oppositions.Fabien Schang - 2016 - In Jean-Yves Beziau & Gianfranco Basti (eds.), The Square of Opposition: A Cornerstone of Thought. Bâle, Suisse: pp. 215-237.
    An arithmetic theory of oppositions is devised by comparing expressions, Boolean bitstrings, and integers. This leads to a set of correspondences between three domains of investigation, namely: logic, geometry, and arithmetic. The structural properties of each area are investigated in turn, before justifying the procedure as a whole. Io finish, I show how this helps to improve the logical calculus of oppositions, through the consideration of corresponding operations between integers.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. added 2019-01-23
    Aristotle's Logic.Paul The Persian - 2016 - Tehran: Parsi Anjoman.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. added 2019-01-23
    Review of Shukri B. Abed, Aristotelian Logic and Arabic Language in Alfārābī.Hossein Ziai - 1991 - International Journal of Middle Eastern Studies 24 (4):708-711..
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. added 2019-01-06
    A Critical Examination of Ibn-Sina’s Theory of the Conditional Syllogism.Zia Movahed - 2009 - Sophia Perennis 1:5-22.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. added 2018-10-06
    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   Download  
     
    Export citation  
     
    Bookmark  
  11. added 2018-08-06
    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   Download  
     
    Export citation  
     
    Bookmark  
  12. added 2018-04-18
    Aristoteles’te abese irca yöntemiyle ispatlama.Murat Kelikli - 2013 - Kutadgubilig Felsefe-Bilim Araştırmaları Dergisi 23:91-105.
    Redictio ad absurdum is an important part of Aristotle’s syllogistic. It is connected with direct proof and they are complementary methods. All moods of Aristotle are provable by direct methods and redictio ad absurdum. In this paper, I have studied on the bases and principles of redictio ad absurdum, I showed how to prove by redictio ad absurdum, and how to prove Aristotle by redictio ad absurdum. By redictio ad absurdum, all forms of Aristotle’s method proved in the first figure (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. added 2018-02-21
    New Dimensions of the Square of Opposition.Jean-Yves Beziau & Stamatios Gerogiorgakis (eds.) - 2017 - Munich: Philosophia.
    The square of opposition is a diagram related to a theory of oppositions that goes back to Aristotle. Both the diagram and the theory have been discussed throughout the history of logic. Initially, the diagram was employed to present the Aristotelian theory of quantification, but extensions and criticisms of this theory have resulted in various other diagrams. The strength of the theory is that it is at the same time fairly simple and quite rich. The theory of oppositions has recently (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. added 2018-02-05
    A Dialogue with I ! حوار مع أنا.Salah Osman - manuscript
    هل يمكن إذن أن أكون أنا لست أنا بانطباعات الزمان على جسدي وفكري؟ أليس لي جوهرٌ ثابتٌ تتبدل عليه الأعراض من حين إلى آخر، ومن ثم لا أفقد هويتي الحقيقية؟ لقد وُلدت منذ سنوات خلت، وتعلمت وعلمت أنني هو أنا، ويعلم المحيطون بي أنني هو أنا، بل يستطيع العلم المعاصر أن يُثبت أن لي تركيبًا جينيًا وراثيًا يميزني عن غيري، وأن لي بصمات أصابع وبصمة صوت لا تتطابق مع بصمات غيري، وسيحاسبني ربي يوم العرض عليه بوصفي شخصًا واحدًا هو أنا؛ (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. added 2018-02-01
    Many-Valued Logic between the Degrees of Truth and the Limits of Knowledge.Salah Osman - 2002 - Alexandria, Egypt: Al Maaref Establishment Press.
    هو أول كتاب باللغة العربية يعرض لمراحل وآليات تطور المنطق الرمزي المعاصر متعدد القيم بأنساقه المختلفة، مركزًا على مشكلة الغموض المعرفي للإنسان بأبعادها اللغوية والإبستمولوجية والأنطولوجية، والتي تتجلى – على سبيل المثال – فيما تحفل به الدراسات الفلسفية والمنطقية والعلمية من مفارقات تمثل تحديًا قويًا لثنائية الصدق والكذب الكلاسيكية، وكذلك في اكتشاف «هيزنبرج» لمبدأ اللايقين، وتأكيده وعلماء الكمّ على ضرورة التفسيرات الإحصائية في المجال دون الذري، الأمر الذي يؤكد عدم فعالية قانون الثالث المرفوع في التعامل مع معطيات الواقع الفعلي، واستحالة (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. added 2017-11-21
    The Threefold Object of the Scientific Knowledge. Pseudo-Scotus and the Literature on the Meteorologica in Fourteenth-Century Paris.Lucian Petrescu - 2014 - Franciscan Studies 72:465-502.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. added 2017-02-13
    Présuppositions linguistiques et enjeux philosophiques des paralogismes liés à la forme de l’expression dans les Réfutations sophistiques d’Aristote.Leone Gazziero - 2016 - In Béatrice Godart-Wendling & Layla Raïd (eds.), B. Godart-Wendling et L. Raïd (éd.), A la recherche de la présupposition, London, Iste Editions, 2016. London: Iste. pp. 33-52.
    Pour des raisons essentiellement liées à la vocation des textes où la notion de présupposition a fait son apparition, c’est la présupposition d’existence qui s’est imposée la première à l’attention des philosophes du langage. Elle a également déterminé l’orientation des débats en les focalisant sur quelques problèmes traditionnels, au premier chef desquels le problème de l’absence de référence de certaines expressions et celui des imperfections du langage naturel. Contrairement aux noms propres et aux descriptions définies, les termes qui signifient des (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. added 2016-09-23
    Influencing the Others’ Minds: An Experimental Evaluation of the Use and Efficacy of Fallacious-Reducible Arguments in Web and Mobile Technologies.Antonio Lieto & Fabiana Vernero - 2014 - PsychNology Journa 12 (3):87-105.
    The research in Human Computer Interaction (HCI) has nowadays extended its attention to the study of persuasive technologies. Following this line of research, in this paper we focus on websites and mobile applications in the e-commerce domain. In particular, we take them as an evident example of persuasive technologies. Starting from the hypothesis that there is a strong connection between logical fallacies, i.e., forms of reasoning which are logically invalid but psychologically persuasive, and some common persuasion strategies adopted within these (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  19. added 2015-12-03
    Ancient Logic and its Modern Interpretations Proceedings of the Buffalo Symposium on Modernist Interpretations of Ancient Logic, 21 and 22 April, 1972. [REVIEW]John Corcoran (ed.) - 1974 - Reidel.
    Articles by Ian Mueller, Ronald Zirin, Norman Kretzmann, John Corcoran, John Mulhern, Mary Mulhern,Josiah Gould, and others. Topics: Aristotle's Syllogistic, Stoic Logic, Modern Research in Ancient Logic.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  20. added 2015-07-24
    Squares of Oppositions, Commutative Diagrams, and Galois Connections for Topological Spaces and Similarity Structures.Thomas Mormann - manuscript
    The aim of this paper is to elucidate the relationship between Aristotelian conceptual oppositions, commutative diagrams of relational structures, and Galois connections.This is done by investigating in detail some examples of Aristotelian conceptual oppositions arising from topological spaces and similarity structures. The main technical device for this endeavor is the notion of Galois connections of order structures.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  21. added 2015-05-29
    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   Download  
     
    Export citation  
     
    Bookmark  
  22. added 2015-05-26
    Commentary On: Jesse Bohl's "What Are We to Do About Traditional Logic?".Gilbert Plumer - 2000 - In Christopher W. Tindale, Hans V. Hansen & Elmar Sveda (eds.), Argumentation at the Century's Turn [CD-ROM]. Ontario Society for the Study of Argumentation. pp. 1-4.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. added 2015-05-23
    George Boole.John Corcoran - 2006 - In Encyclopedia of Philosophy. 2nd edition. macmillan.
    2006. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA. -/- George Boole (1815-1864), whose name lives among modern computer-related sciences in Boolean Algebra, Boolean Logic, Boolean Operations, and the like, is one of the most celebrated logicians of all time. Ironically, his actual writings often go unread and his actual contributions to logic are virtually unknown—despite the fact that he was one of the clearest writers in the field. Working with various students including Susan Wood and Sriram (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  24. added 2015-05-23
    Three Rules of Distribution: One Counterexample.John Corcoran - 1987 - Journal of Symbolic Logic 52:886-887.
    This self-contained one page paper produces one valid two-premise premise-conclusion argument that is a counterexample to the entire three traditional rules of distribution. These three rules were previously thought to be generally applicable criteria for invalidity of premise-conclusion arguments. No longer can a three-term argument be dismissed as invalid simply on the ground that its middle is undistributed, for example. The following question seems never to have been raised: how does having an undistributed middle show that an argument's conclusion does (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  25. added 2015-03-31
    Meanings of Hypothesis.John Corcoran - 2014 - Bulletin of Symbolic Logic 20 (2):348-9.
    The primary sense of the word ‘hypothesis’ in modern colloquial English includes “proposition not yet settled” or “open question”. Its opposite is ‘fact’ in the sense of “proposition widely known to be true”. People are amazed that Plato [1, p. 1684] and Aristotle [Post. An. I.2 72a14–24, quoted below] used the Greek form of the word for indemonstrable first principles [sc. axioms] in general or for certain kinds of axioms. These two facts create the paradoxical situation that in many cases (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  26. added 2015-03-24
    Counterarguments and Counterexamples.John Corcoran - 2010 - In Luis Vega (ed.), Luis Vega, Ed. Compendio de Lógica, Argumentación, y Retórica. Madrid: Trotta. pp. 137-142.
    English translation of an entry on pages 137–42 of the Spanish-language dictionary of logic: Luis Vega, Ed. Compendio de Lógica, Argumentación, y Retórica. Madrid: Trotta. -/- DEDICATION: To my friend and collaborator Kevin Tracy. -/- This short essay—containing careful definitions of ‘counterargument’ and ‘counterexample’—is not an easy read but it is one you’ll be glad you struggled through. It contains some carefully chosen examples suitable for classroom discussion. -/- Using the word ‘counterexample’ instead of ‘counterargument’ in connection with Aristotle’s invalidity (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  27. added 2015-02-08
    ARISTOTELIAN LOGIC AND EUCLIDEAN GEOMETRY.John Corcoran - 2014 - Bulletin of Symbolic Logic 20 (1):131-2.
    John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the premises: (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. added 2015-01-22
    The Development of Modus Ponens in Antiquity: From Aristotle to the 2nd Century AD.Susanne Bobzien - 2002 - Phronesis 47 (4):359-394.
    ABSTRACT: This paper traces the earliest development of the most basic principle of deduction, i.e. modus ponens (or Law of Detachment). ‘Aristotelian logic’, as it was taught from late antiquity until the 20th century, commonly included a short presentation of the argument forms modus (ponendo) ponens, modus (tollendo) tollens, modus ponendo tollens, and modus tollendo ponens. In late antiquity, arguments of these forms were generally classified as ‘hypothetical syllogisms’. However, Aristotle did not discuss such arguments, nor did he call any (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   7 citations  
  29. added 2015-01-12
    Aristotle's Many-Sorted Logic.J. Corcoran - 2008 - Bulletin of Symbolic Logic 14 (1):155-156.
    As noted in 1962 by Timothy Smiley, if Aristotle’s logic is faithfully translated into modern symbolic logic, the fit is exact. If categorical sentences are translated into many-sorted logic MSL according to Smiley’s method or the two other methods presented here, an argument with arbitrarily many premises is valid according to Aristotle’s system if and only if its translation is valid according to modern standard many-sorted logic. As William Parry observed in 1973, this result can be proved using my 1972 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. added 2014-12-31
    Ancient Logic and its Modern Interpretations.John Corcoran (ed.) - 1974 - Boston: Reidel.
    This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   16 citations  
  31. added 2014-12-14
    Boole's Criteria for Validity and Invalidity.John Corcoran & Susan Wood - 1980 - Notre Dame Journal of Formal Logic 21 (4):609-638.
    It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   10 citations  
  32. added 2014-12-06
    Review of Striker Translation of Aristotle's PRIOR ANALYTICS. [REVIEW]John Corcoran - 2010 - Notre Dame Philosophical Reviews:1-13.
    This review places this translation and commentary on Book A of Prior Analytics in historical, logical, and philosophical perspective. In particular, it details the author’s positions on current controversies. The author of this translation and commentary is a prolific and respected scholar, a leading figure in a large and still rapidly growing area of scholarship: Prior Analytics studies PAS. PAS treats many aspects of Aristotle’s Prior Analytics: historical context, previous writings that influenced it, preservation and transmission of its manuscripts, editions (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  33. added 2014-12-03
    Completeness of an Ancient Logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.
    In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   45 citations  
  34. added 2014-11-16
    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.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  35. added 2014-11-07
    Aristotle's Logic at the University of Buffalo's Department of Philosophy.John Corcoran - 2009 - Ideas Y Valores 58 (140):99-117.
    We begin with an introductory overview of contributions made by more than twenty scholars associated with the Philosophy Department at the University of Buffalo during the last half-century to our understanding and evaluation of Aristotle's logic. More well-known developments are merely mentioned in..
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  36. added 2014-08-09
    Algumas Observações sobre Indução, Exposição, e Princípio de Não Contradição em Aristóteles, Metafísica IV 3-4.Vivianne de Castilho Moreira - 2012 - Dissertatio 36:317-342.
    This article is intended to examine specific passages from the section of Metaphysics IV 3-4 to be found between 1005a19-1006b34 in the light of the discussions made by Aristotle in the Prior Analytics. The aim is to understand better the argumentative strategies directed at proving the Principle of Non-Contradiction adopted in the above- mentioned section, based on the logic structured by Aristotle.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. added 2014-08-05
    Aristotle on Non-Contradiction.Spyridon George Couvalis - 2011 - In Michael Tsianikas (ed.), Greek Research in Australia. Department of Modern Greek. pp. 36-43.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. added 2014-07-17
    Natural Language and Everyday Reasoning.Fred Sommers - manuscript
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39. added 2014-06-19
    From Poetics to Logic: Exploring Some Neglected Aspects of Aristotle's Organon.Olavo de Carvalho - 2005 - Handbook of the First World Congress and School on Universal Logic (1):57-65.
    I try to read Aristotle's Poetics and Rhetoric as if they were an integral part of the Organon instead of separate works as they were sorted by Andronicus of Rhodes. The results are quite surprising. First, poetics and rhetoric, considered as sciences of speech, were much more intimately related to Aristotle's analytical logic than it is generally acknowledged by prominent interpreters. I maintain that Dialectics (the Topics) operated as a bridge leading from these two sciences to analytical logic; that the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  40. added 2014-04-03
    The Founding of Logic.John Corcoran - 1994 - Ancient Philosophy 14 (Special Issue):9-24.
    Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   13 citations  
  41. added 2014-04-02
    Apodeictic Syllogisms: Deductions and Decision Procedures.Fred Johnson - 1995 - History and Philosophy of Logic 16 (1):1-18.
    One semantic and two syntactic decision procedures are given for determining the validity of Aristotelian assertoric and apodeictic syllogisms. Results are obtained by using the Aristotelian deductions that necessarily have an even number of premises.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. added 2014-03-27
    Wholly Hypothetical Syllogisms.Susanne Bobzien - 2000 - Phronesis 45 (2):87-137.
    ABSTRACT: In antiquity we encounter a distinction of two types of hypothetical syllogisms. One type are the ‘mixed hypothetical syllogisms’. The other type is the one to which the present paper is devoted. These arguments went by the name of ‘wholly hypothetical syllogisms’. They were thought to make up a self-contained system of valid arguments. Their paradigm case consists of two conditionals as premisses, and a third as conclusion. Their presentation, either schematically or by example, varies in different authors. For (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  43. added 2014-03-23
    Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.
    Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   15 citations  
  44. added 2014-03-18
    Modern Paradoxes of Aristotle’s Logic.Jason Aleksander - 2004 - Epoché: A Journal for the History of Philosophy 9 (1):79-99.
    This paper intends to explain key differences between Aristotle’s understanding of the relationships between nous, epistêmê, and the art of syllogistic reasoning(both analytic and dialectical) and the corresponding modern conceptions of intuition, knowledge, and reason. By uncovering paradoxa that Aristotle’s understanding of syllogistic reasoning presents in relation to modern philosophical conceptions of logic and science, I highlight problems of a shift in modern philosophy—a shift that occurs most dramatically in the seventeenth century—toward a project of construction, a pervasive desire for (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  45. added 2014-03-09
    Aristotle's Demonstrative Logic.John Corcoran - 2009 - History and Philosophy of Logic 30 (1):1-20.
    Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   10 citations  
  46. added 2014-02-22
    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   Download  
     
    Export citation  
     
    Bookmark  
  47. added 2013-11-11
    Systemy sylogistyki dowodowej.Piotr Kulicki - 2010 - Roczniki Filozoficzne 58 (1):139-154.
    Aristotle in Analytica Posteriora presented a notion of proof as a special case of syllogism. In the present paper the remarks of Aristotle on the subject are used as an inspiration for developing formal systems of demonstrative syllogistic, which are supposed to formalize syllogisms that are proofs. We build our systems in the style of J. Łukasiewicz as theories based on classical propositional logic. The difference between our systems and systems of syllogistic known from the literature lays in the interpretation (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. added 2013-10-29
    Remarks on Axiomatic Rejection in Aristotle’s Syllogistic.Piotr Kulicki - 2002 - Studies in Logic and Theory of Knowledge 5:231-236.
    In the paper we examine the method of axiomatic rejection used to describe the set of nonvalid formulae of Aristotle's syllogistic. First we show that the condition which the system of syllogistic has to fulfil to be ompletely axiomatised, is identical to the condition for any first order theory to be used as a logic program. Than we study the connection between models used or refutation in a first order theory and rejected axioms for that theory. We show that any (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  49. added 2013-10-27
    Hallden Incomplete Calculus of Names.Piotr Kulicki - 2010 - Buletin of the Section of Logic 39 (1/2):53-55.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  50. added 2013-10-22
    On Minimal Models for Pure Calculi of Names.Piotr Kulicki - 2013 - Logic and Logical Philosophy 22 (4):429–443.
    By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an empty name (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 60