This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Subcategories:
502 found
Search inside:
(import / add options)   Sort by:
1 — 50 / 502
Material to categorize
  1. J. L. Bell (1993). Hilbert's Ɛ-Operator and Classical Logic. Journal of Philosophical Logic 22 (1):1 - 18.
  2. Jaroslav Peregrin, Is Propositional Calculus Categorical?
    According to the standard definition, a first-order theory is categorical if all its models are isomorphic. The idea behind this definition obviously is that of capturing semantic notions in axiomatic terms: to be categorical is to be, in this respect, successful. Thus, for example, we may want to axiomatically delimit the concept of natural number, as it is given by the pre-theoretic semantic intuitions and reconstructed by the standard model. The well-known results state that this cannot be done within first-order (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  3. Henry Bradford Smith (1938). A First Book in Logic. New York, F.S. Crofts & Co..
    Remove from this list |
     
    My bibliography  
     
    Export citation  
Aristotelian Logic
  1. Jason Aleksander (2004). Modern Paradoxes of Aristotle's Logic. 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 | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Edgar Jose Andrade & Edward Samuel Becerra (2008). Establishing Connections Between Aristotle's Natural Deduction and First-Order Logic. History and Philosophy of Logic 29 (4):309-325.
    This article studies the mathematical properties of two systems that model Aristotle's original syllogistic and the relationship obtaining between them. These systems are Corcoran's natural deduction syllogistic and ?ukasiewicz's axiomatization of the syllogistic. We show that by translating the former into a first-order theory, which we call T RD, we can establish a precise relationship between the two systems. We prove within the framework of first-order logic a number of logical properties about T RD that bear upon the same properties (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Edgar Andrade-Lotero & Catarina Dutilh Novaes (2012). Validity, the Squeezing Argument and Alternative Semantic Systems: The Case of Aristotelian Syllogistic. [REVIEW] Journal of Philosophical Logic 41 (2):387-418.
    We investigate the philosophical significance of the existence of different semantic systems with respect to which a given deductive system is sound and complete. Our case study will be Corcoran’s deductive system D for Aristotelian syllogistic and some of the different semantic systems for syllogistic that have been proposed in the literature. We shall prove that they are not equivalent, in spite of D being sound and complete with respect to each of them. Beyond the specific case of syllogistic, the (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Ignacio Angelelli (1978). Analytica Priora I, 38 and Reduplication. [REVIEW] Notre Dame Journal of Formal Logic 19 (2):295-296.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. R. B. Angell (1986). Truth-Functional Conditionals and Modern Vs. Traditional Syllogistic. Mind 95 (378):210-223.
  6. E. J. Ashworth (1970). Some Notes on Syllogistic in the Sixteenth and Seventeenth Centuries. Notre Dame Journal of Formal Logic 11 (1):17-33.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Allan Bäck (1995). Aristotelian Necessities. History and Philosophy of Logic 16 (1):89-106.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Allan Bäck (1982). Syllogisms with Reduplication in Aristotle. Notre Dame Journal of Formal Logic 23 (4):453-458.
  9. John Bacon (1967). Syllogistic Without Existence. Notre Dame Journal of Formal Logic 8 (3):195-219.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. A. J. Baker (1972). Syllogistic with Complex Terms. Notre Dame Journal of Formal Logic 13 (1):69-87.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. A. J. Baker (1966). Non-Empty Complex Terms. Notre Dame Journal of Formal Logic 7 (1):48-56.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. P. Banks (2010). O Filosofické Interpretaci Logiky Aristotelský Dialog. Studia Neoaristotelica 7 (2):197-210.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. Evelyn M. Barker (1984). Unneeded Surgery on Aristotle's Prior Analytics. Notre Dame Journal of Formal Logic 25 (4):323-331.
  14. Jonathan Barnes & Susanne Bobzien (1991). Alexander of Aphrodisias' on Aristotle's Prior Analytics 1.1-7. Duckworth.
    ABSTRACT: English translation of the 2nd/3rd century Peripatetic Philosopher's Alexander of Aphrodisias commentary on Aristotle's non-modal syllogistic, i.e. on one of the most influential logical texts of all times. -/- Volume includes introduction on Alexander of Aphrodisias and the early commentators, translation with notes and comments, appendices with a new translation of Aristotle's text, a summary of Aristotle's non-modal syllogistic and textual notes.
    Remove from this list |
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Susanne Bobzien (2011). The Combinatorics of Stoic Conjunction. Oxford Studies in Ancient Philosophy 40 (1):157-188.
    ABSTRACT: The 3rd BCE Stoic logician "Chrysippus says that the number of conjunctions constructible from ten propositions exceeds one million. Hipparchus refuted this, demonstrating that the affirmative encompasses 103,049 conjunctions and the negative 310,952." After laying dormant for over 2000 years, the numbers in this Plutarch passage were recently identified as the 10th (and a derivative of the 11th) Schröder number, and F. Acerbi showed how the 2nd BCE astronomer Hipparchus could have calculated them. What remained unexplained is why Hipparchus’ (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  16. Susanne Bobzien (2007). Aristotle's De Interpretatione 8 is About Ambiguity. In D. Scott (ed.), Maieusis: Essays in Ancient Philosophy. Oxford University Press. 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 | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Susanne Bobzien (2006). Ancient Logic. In Stanford Encyclopedia of Philosophy.
    ABSTRACT: A comprehensive introduction to ancient (western) logic from earliest times to the 6th century CE, with an emphasis on topics which may be of interest to contemporary logicians. Content: 1. Pre-Aristotelian Logic 1.1 Syntax and Semantics 1.2 Argument Patterns and Valid Inference 2. Aristotle 2.1 Dialectics 2.2 Sub-sentential Classifications 2.3 Syntax and Semantics of Sentences 2.4 Non-modal Syllogistic 2.5 Modal Logic 3. The early Peripatetics: Theophrastus and Eudemus 3.1 Improvements and Modifications of Aristotle's Logic 3.2 Prosleptic Syllogisms 3.3 Forerunners (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  18. Susanne Bobzien (2006). Logic, History Of: Ancient Logic. In Donald M. Borchert (ed.), Encyclopedia of Philosophy. Thomson Gale.
    ABSTRACT: A comprehensive introduction to ancient (western) logic from earliest times to the 6th century CE, with a focus on issues that may be of interest to contemporary logicians and covering important topics in Post-Aristotelian logic that are frequently neglected (such as Peripatetic hypothetical syllogistic, the Stoic axiomatic system of propositional logic and various later ancient developments).
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  19. Susanne Bobzien (2006). Ancient Logic. Stanford Encyclopedia of Philosophy.
    ABSTRACT: A comprehensive introduction to ancient (western) logic from earliest times to the 6th century CE, with an emphasis on topics which may be of interest to contemporary logicians.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  20. Susanne Bobzien (2006). The Stoics on Fallacies of Equivocation. 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 |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  21. Susanne Bobzien (2002). The Development of Modus Ponens in Antiquity: From Aristotle to the 2nd Century AD. Phronesis 47 (4):359 - 394.
    '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 arguments 'hypothetical syllogisms'. The Stoic indemonstrables resemble the modus ponens/tollens arguments. But the Stoics never called them 'hypothetical syllogisms'; nor did (...)
    Remove from this list | Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  22. Susanne Bobzien (2000). Wholly Hypothetical Syllogisms. 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 | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  23. Susanne Bobzien (1996). Logic. In Simon Hornblower & A. Spawforth (eds.), The Oxford Classical Dictionary, 3rd edition. Oxford University Press.
    ABSTRACT: A very brief summary presentation of western ancient logic for the non-specialized reader, from the beginnings to Boethius. For a much more detailed presentation see my "Ancient Logic" in the Stanford Encyclopedia of Philosopy (also on PhilPapers).
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  24. Susanne Bobzien (1996). Stoic Syllogistic. 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 |
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. George Boger (1998). Completion, Reduction and Analysis: Three Proof-Theoretic Processes in Aristotle'sprior Analytics. History and Philosophy of Logic 19 (4):187-226.
    Three distinctly different interpretations of Aristotle?s notion of a sullogismos in Prior Analytics can be traced: (1) a valid or invalid premise-conclusion argument (2) a single, logically true conditional proposition and (3) a cogent argumentation or deduction. Remarkably the three interpretations hold similar notions about the logical relationships among the sullogismoi. This is most apparent in their conflating three processes that Aristotle especially distinguishes: completion (A4-6)reduction(A7) and analysis (A45). Interpretive problems result from not sufficiently recognizing Aristotle?s remarkable degree of metalogical (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  26. Ivan Boh (1985). Die Aristotelische Modaltheorie. Journal of the History of Philosophy 23 (2):250-253.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  27. Eric M. Brown, Logic II: The Theory of Propositions.
    This is part two of a complete exposition of Logic, in which there is a radically new synthesis of Aristotelian-Scholastic Logic with modern Logic. Part II is the presentation of the theory of propositions. Simple, composite, atomic, compound, modal, and tensed propositions are all examined. Valid consequences and propositional logical identities are rigorously proven. Modal logic is rigorously defined and proven. This is the first work of Logic known to unite Aristotelian logic and modern logic using scholastic logic as the (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. Hector-Neri Casta Neda (1976). Leibniz's Syllogistico-Propositional Calculus. Notre Dame Journal of Formal Logic 17 (4):481-500.
  29. Saloua Chatti & Fabien Schang (2013). The Cube, the Square and the Problem of Existential Import. History and Philosophy of Logic 34 (2):101 - 132.
    (2013). The Cube, the Square and the Problem of Existential Import. History and Philosophy of Logic: Vol. 34, No. 2, pp. 101-132. doi: 10.1080/01445340.2013.764962.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  30. Michael Clark (1983). Review of Paul Thom, The Syllogism. [REVIEW] History and Philosophy of Logic.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  31. John Corcoran (2010). Review of Striker Translation of Aristotle's PRIOR ANALYTICS. [REVIEW] 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 | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. John Corcoran (2009). Aristotle's Demonstrative Logic. 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 | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  33. John Corcoran (2009). Aristotle's Logic at the University of Buffalo's Department of Philosophy. Ideas Y Valores 140 (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 | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  34. John Corcoran (2003). Aristotle's Prior Analytics and Boole's Laws of Thought. 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 | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  35. John Corcoran (1994). The Founding of Logic. Ancient Philosophy 14 (1):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 | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  36. John Corcoran (1972). Completeness of an Ancient Logic. 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 | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  37. John Corcoran & Hassan Masoud (forthcoming). Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions. History and Philosophy of Logic:1-23.
    Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  38. John Corcoran & Susan Wood (1980). Boole's Criteria for Validity and Invalidity. 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 | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  39. Phil Corkum, Aristotle on Logical Consequence.
    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 |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  40. Phil Corkum (forthcoming). Is Aristotle's Syllogistic a Logic? 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 |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  41. Spyridon George Couvalis (2011). Aristotle on Non-Contradiction. In Michael Tsianikas (ed.), Greek Research in Australia. Department of Modern Greek. 36-43.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  42. Mauro Nasti De Vincentis (2004). From Aristotle's Syllogistic to Stoic Conditionals: Holzwege or Detectable Paths? Topoi 23 (1):113-137.
    This paper is chiefly aimed at individuating some deep, but as yet almost unnoticed, similarities between Aristotle's syllogistic and the Stoic doctrine of conditionals, notably between Aristotle's metasyllogistic equimodality condition (as stated at APr. I 24, 41b27–31) and truth-conditions for third type (Chrysippean) conditionals (as they can be inferred from, say, S.E. P. II 111 and 189). In fact, as is shown in §1, Aristotle's condition amounts to introducing in his (propositional) metasyllogistic a non-truthfunctional implicational arrow '', the truth-conditions of (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  43. Mustafa Dehqan (2010). Kurdish Glosses on Aristotelian Logical Texts. Philosophical Quarterly 60 (241):692-697.
    Some of the outstanding masters of Kurdish historical schools (Medresê) are usually and rightly seen as belonging to the Aristotelian tradition. In this introductory study I briefly present some manuscripts of Kurdish glosses on Aristotelian logical texts, and show that the Aristotelian logical tradition, as inherited from early Islamic philosophers, also formed an important strand in Kurdish schools. Kurdish students' peculiar approach to Aristotelian logic affected the way in which Categories, De Interpretatione and Isagoge were studied in Kurdish schools from (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  44. Luc Deitz (2007). Francesco Patrizi da Cherso's Criticism of Aristotle's Logic. Vivarium 45 (1):113-124.
    Francesco Patrizi da Cherso's Discussiones peripateticae (1581) are one of the most comprehensive analyses of the whole of Aristotelian philosophy to be published before Werner Jaeger's Aristoteles. The main thrust of the argument in the Discussiones is that whatever Aristotle had said that was true was not new, and that whatever he had said that was new was not true. The article shows how Patrizi proves this with respect to the Organon, and deals with the implications for the history af (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  45. Please Delete, Please Delete. This is a Duplicate.
  46. M. V. Dougherty (2004). Aristotle's Four Truth Values. British Journal for the History of Philosophy 12 (4):585-609.
  47. Jamie Dow (2010). Aristotle on the Centrality of Proof to Rhetoric. Logique Et Analyse 53 (210):101--130.
1 — 50 / 502