View topic on PhilPapers for more information
Related categories

63 found
Order:
More results on PhilPapers
1 — 50 / 63
  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   Download  
     
    Export citation  
     
    Bookmark  
  2. A Dialogue with I ! حوار مع أنا.Salah Osman - manuscript
    هل يمكن إذن أن أكون أنا لست أنا بانطباعات الزمان على جسدي وفكري؟ أليس لي جوهرٌ ثابتٌ تتبدل عليه الأعراض من حين إلى آخر، ومن ثم لا أفقد هويتي الحقيقية؟ لقد وُلدت منذ سنوات خلت، وتعلمت وعلمت أنني هو أنا، ويعلم المحيطون بي أنني هو أنا، بل يستطيع العلم المعاصر أن يُثبت أن لي تركيبًا جينيًا وراثيًا يميزني عن غيري، وأن لي بصمات أصابع وبصمة صوت لا تتطابق مع بصمات غيري، وسيحاسبني ربي يوم العرض عليه بوصفي شخصًا واحدًا هو أنا؛ (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. 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  
  4. 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   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. 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   4 citations  
  6. 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   Download  
     
    Export citation  
     
    Bookmark  
  7. 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   1 citation  
  8. 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   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. 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  
  10. 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 text than other such reconstructions brought forward up to now. To accomplish this, we will not use classical logic, but a novel system developed by Ben-Yami [2014. ‘The quantified argument calculus’, The Review of Symbolic Logic, 7, 120–46] called ‘QUARC’. This system is apt for a more adequate reconstruction (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. 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. 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  
  13. New Dimensions of the Square of Opposition.Jean-Yves Béziau & 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. Is There A Logic of the Ineffable? Or, How Is It Possible to Talk About the Unsayable?Stephen R. Palmquist - 2017 - In Nahum Brown & J. Aaron Simmons (eds.), Contemporary Debates in Negative Theology and Philosophy. Springer. pp. 71-80.
    This chapter defends a single, fixed, definite answer to the question: Is there a logic that governs the unsayable? The proposed answer is: “Yes, and no. Or yes-but-not-yes. And/or yes-no.” Each component of this answer is examined and used to generate three laws of what I call “synthetic logic”, which correspond directly to the laws of classical (Aristotelian) logic: the law of contradiction (“A=-A”), the law of non-identity (“A≠A”), and the law of the included middle (“-(Av-A)”). We can talk about (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. 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  
  16. Aristotle's Logic.Paul The Persian - 2016 - Tehran: Parsi Anjoman.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. 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   3 citations  
  18. 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  
  19. 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  
  20. 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  
  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   1 citation  
  22. The Cube, the Square and the Problem of Existential Import.Saloua Chatti & Fabien Schang - 2013 - History and Philosophy of Logic 34 (2):101-132.
    We re-examine the problem of existential import by using classical predicate logic. Our problem is: How to distribute the existential import among the quantified propositions in order for all the relations of the logical square to be valid? After defining existential import and scrutinizing the available solutions, we distinguish between three possible cases: explicit import, implicit non-import, explicit negative import and formalize the propositions accordingly. Then, we examine the 16 combinations between the 8 propositions having the first two kinds of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   9 citations  
  23. 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  
  24. 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  
  25. Erklärungen. Aristoteles & Gottfried Scherer - 2012 - Bautz.
    Aristoteles Περὶ ἑρμηvείας Erklärungen Griechisch-deutsch ins Deutsche übersetzt von Gottfried Scherer -/- In seiner Schrift Erklärungen handelt Aristoteles von Namen, die alles, vieles oder Einzelnes bezeichnen, von Prädikatswörtern, die bestimmende oder zufällige Eigenschaften angeben, und von Worten und deren Kombinationsmöglichkeiten. Dabei untersucht er konkret die Struktur von Aussagesätzen, die er von anderen Redensarten abgrenzt, und stellt fest, dass sie etwas als existent und zutreffend, als wahr oder falsch bezeichnen. Er gibt an, wann mehrwertige Aussagen entstehen und beschreibt, was für Gattungsnamen (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. 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  
  27. 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   1 citation  
  28. The Development of Dialectic and Argumentation Theory in Post-Classical Islamic Intellectual History.Mehmet Karabela - 2011 - Dissertation, McGill University
    This dissertation is an analysis of the development of dialectic and argumentation theory in post-classical Islamic intellectual history. The central concerns of the thesis are; treatises on the theoretical understanding of the concept of dialectic and argumentation theory, and how, in practice, the concept of dialectic, as expressed in the Greek classical tradition, was received and used by five communities in the Islamic intellectual camp. It shows how dialectic as an argumentative discourse diffused into five communities (theologicians, poets, grammarians, philosophers (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  29. 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  
  30. 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  
  31. 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  
  32. 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  
  33. 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   12 citations  
  34. 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  
  35. 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  
  36. 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  
  37. Opuscula Logica. 2. The Tripropositional Bivalent Level (3L2) and its Relationship with the Aristotelic Syllogistic.Gabriel Garduño-Soto - 2008 - Mexico, DF, MEXICO: Author's edition.
    In this fragment of Opuscula Logica it is displayed an arithmetical treatment of the aristotelic syllogisms upon the previous interpretations of Christine Ladd-Franklin and Jean Piaget. For the first time, the whole deductive corpus for each syllogism is presented in the two innovative modalities first proposed by Hugo Padilla Chacón. A. The Projection method (all the possible expressions that can be deduced through the conditional from a logical expression) and B. The Retrojection method (all the possible valid antecedents or premises (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  38. Aristotle's De Interpretatione 8 is About Ambiguity.Susanne Bobzien - 2007 - In D. Scott (ed.), Maieusis: Essays in Ancient Philosophy. Oxford University Press. pp. 301.
    ABSTRACT: In this paper I show that, contrary to the prevalent view, in his De Interpretatione chapter 8, Aristotle is concerned with a kind of ambiguity, i.e. with homonymy; more precisely, with homonymy of linguistic expressions as it may occur in dialectical argument. The paper has two parts. In the first part, I argue that in the Sophistici Elenchi 175b39-176a5 Aristotle indubitably deals with homonymy in dialectical argument; that De Interpretatione 8 is a parallel to Sophistici Elenchi 175b39-176a5; that De (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  39. The Stoics on Fallacies of Equivocation.Susanne Bobzien - 2006 - In D. Frede & B. Inwood (eds.), Language and Learning, Proceedings of the 9th Symposium Hellenisticum. Cambridge University Press.
    ABSTRACT: This paper discusses the Stoic treatment of fallacies that are based on lexical ambiguities. It provides a detailed analysis of the relevant passages, lays bare textual and interpretative difficulties, explores what the Stoic view on the matter implies for their theory of language, and compares their view with Aristotle’s. In the paper I aim to show that, for the Stoics, fallacies of ambiguity are complexes of propositions and sentences and thus straddle the realms of meaning (which is the domain (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  40. 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   1 citation  
  41. 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  
  42. 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  
  43. 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  
  44. 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   18 citations  
  45. 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   8 citations  
  46. 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  
  47. 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  
  48. 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   7 citations  
  49. 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  
  50. Stoic Syllogistic.Susanne Bobzien - 1996 - Oxford Studies in Ancient Philosophy 14:133-92.
    ABSTRACT: For the Stoics, a syllogism is a formally valid argument; the primary function of their syllogistic is to establish such formal validity. Stoic syllogistic is a system of formal logic that relies on two types of argumental rules: (i) 5 rules (the accounts of the indemonstrables) which determine whether any given argument is an indemonstrable argument, i.e. an elementary syllogism the validity of which is not in need of further demonstration; (ii) one unary and three binary argumental rules which (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   20 citations  
1 — 50 / 63