Switch to: Citations

Add references

You must login to add references.
  1. Is Modern Logic Non-Aristotelian?Jean-Yves Beziau - 2017 - In Dmitry Zaitsev & Vladimir Markin (eds.), The Logical Legacy of Nikolai Vasiliev and Modern Logic. Cham: Springer Verlag.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A Non-Extensional Notion of Conversion in the Organon.Marko Malink - 2009 - Oxford Studies in Ancient Philosophy 37:105-141.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Aristotle's Modal Logic. Essence and Entailment in the ‘Organon’.Richard Patterson - 1995 - Tijdschrift Voor Filosofie 58 (3):567-569.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Aristotle and Logical Theory.Jonathan Lear - 1980 - Philosophy 57 (222):557-559.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Acknowledgements.[author unknown] - 2008 - Logic Journal of the IGPL 16 (6):605-605.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Acknowledgements.[author unknown] - 2006 - Logic Journal of the IGPL 14 (3):533-533.
    The Editor-in-Chief would like to thank the following colleagues who have helped maintain the standards ….
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Aristotle and Logical Theory.Jonathan Lear - 1982 - Philosophical Quarterly 32 (126):76-86.
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Aristotle as Proof Theorist.Robin Smith - 1984 - Philosophia Naturalis 21 (2/4):590-598.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Aristotle and His Philosophy.Abraham Edel - 1984 - Mind 93 (372):606-608.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Aristotle’s Completeness Proof.Timothy Smiley - 1994 - Ancient Philosophy 14 (S1):25-38.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Una guía de historia de la lógica.Luis Vega - 1996
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • All Brutes are Subhuman: Aristotle and Ockham on Private Negation.John N. Martin - 2003 - Synthese 134 (3):429-461.
    The mediaeval logic of Aristotelian privation, represented by Ockham's expositionof All A is non-P as All S is of a type T that is naturally P and no S is P, iscritically evaluated as an account of privative negation. It is argued that there aretwo senses of privative negation: (1) an intensifier (as in subhuman), the dualof Neoplatonic hypernegation (superhuman), which is studied in linguistics asan operator on scalar adjectives, and (2) a (often lexicalized) Boolean complementrelative to the extension of (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Comment écrire l'histoire de la philosophie ?Yves-Charles Zarka (ed.) - 2001 - Paris: PUF Collection Quadrige.
    CONSTITUÉ d'analyses et de réflexions sur les méthodes pratiquées aujourd'hui dans l'écriture de l'histoire de la philosophie, cet ouvrage vise à rendre compte de la différence des pratiques existant selon les traditions et à interroger l'existence d'une démarche historique spécifique au domaine de la philosophie. L'enjeu fondamental est donc de savoir s'il existe une historiographie propre à la philosophie. Les interrogations portent en particulier sur les questions des critères d'exactitude, de vérification, de crédibilité qui permettraient de distinguer et de décider (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Historical Dictionary of Ancient Greek Philosophy.Anthony Preus - 2007 - Lanham, Md.: Rowman & Littlefield Publishers.
    This second edition covers the history of Greek philosophy through a chronology, an introductory essay, a glossary, and an extensive bibliography. The dictionary section has over 1500 cross-referenced entries on important philosophers, concepts, issues, and events.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Grundprobleme der Logik: Elemente Einer Kritik der Formalen Vernunft.Pirmin Stekeler-Weithofer - 1986 - New York: W. de Gruyter.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Concise Encyclopedia of Philosophy of Language.P. Lamarque & R. E. Asher - 1997 - Pergamon Press.
    Philosophers have had an interest in language from the earliest times but the twentieth century, with its so-called 'linguistic turn' in philosophy, has seen a huge expansion of work focused specifically on language and its foundations. No branch of philosophy has been unaffected by this shift of emphasis. It is timely at the end of the century to review and assess the vast range of issues that have been developed and debated in this central area. The distinguished international contributors present (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Augustus De Morgan and the Logic of Relations.Daniel D. Merrill - 1990 - Dordrecht, Netherland: Springer.
    The middle years of the nineteenth century saw two crucial develop ments in the history of modern logic: George Boole's algebraic treat ment of logic and Augustus De Morgan's formulation of the logic of relations. The former episode has been studied extensively; the latter, hardly at all. This is a pity, for the most central feature of modern logic may well be its ability to handle relational inferences. De Morgan was the first person to work out an extensive logic of (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Aspects of Aristotle’s Logic of Modalities.J. Van Rijen - 1988 - Dordrecht, Netherland: Springer Verlag.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Sinn-Kriterien: die logischen Grundlagen kritischer Philosophie von Platon bis Wittgenstein.Pirmin Stekeler-Weithofer - 1995
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • K implikaci v Aristotelově logice.Milan Mráz - 1988 - Academia Nakl. Ceskoslovenské Akademie Ved.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Logic, Dialectic and Science in Aristotle.Robert Bolton & Robin Smith - 1994 - New Image Press Mathesis Publications.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Aristotle's Logic for the Modern Reader.James Gasser - 1991 - History and Philosophy of Logic 12 (235):40.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Functoriality and Grammatical Role in Syllogisms.Marie La Palme Reyes, John Macnamara & Gonzalo E. Reyes - 1994 - Notre Dame Journal of Formal Logic 35 (1):41-66.
    We specify two problems in syllogistic: the lack of functoriality of predicates and the change of grammatical role of the middle term, from subject to predicate, in some syllogisms. The standard semantics, the class interpretation, by-passes these difficulties but, we argue, in a manner that is at odds with logical intuition. We propose a semantics that is category theoretic to handle these difficulties. With this semantics we specify when syllogisms are valid and we set limits to the class interpretation. To (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Perfection and Reduction in Aristotle's Prior Analytics.Gisela Striker - 1996 - In Michael Frede & Gisela Striker (eds.), Rationality in Greek thought. New York: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • If A, Then B: How the World Discovered Logic.Michael Shenefelt & Heidi White - 2013 - New York: Columbia University Press. Edited by Heidi White.
    While logical principles seem timeless, placeless, and eternal, their discovery is a story of personal accidents, political tragedies, and broad social change. If A, Then B begins with logic's emergence twenty-three centuries ago and tracks its expansion as a discipline ever since. -/- The book treats logic as more than a tale of individual abstraction; it sees logic as also being a result of politics, economics, technology, and geography, because all these factors helped to generate an audience for the discipline (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Themes in Neoplatonic and Aristotelian Logic.John N. Martin - 2005 - Ars Disputandi 5.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Aristotelian Logic.William Thomas Parry & Edward A. Hacker - 1991 - Albany, NY, USA: State University of New York Press.
    Proceedings of an international research and development conference, Tuscon, Arizona, October 1985. One hundred and twenty-eight papers are presented in this hefty volume.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • The Myth of Aristotle's Development and the Betrayal of Metaphysics.Walter Wehrle - 2000 - Rowman & Littlefield Publishers.
    In this radical reinterpretation of Aristotle's Metaphysics, Walter E. Wehrle demonstrates that developmental theories of Aristotle are based on a faulty assumption: that the fifth chapter of Categories is an early theory of metaphysics that Aristotle later abandoned.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Polynomizing: Logic inference in polynomial format and the legacy of Boole.Walter Carnielli - 2007 - In L. Magnani & P. Li (eds.), Model-Based Reasoning in Science, Technology, and Medicine. Springer. pp. 349--364.
    Polynomizing is a term that intends to describe the uses of polynomial-like representations as a reasoning strategy and as a tool for scientific heuristics. I show how proof-theory and semantics for classical and several non-classical logics can be approached from this perspective, and discuss the assessment of this prospect, in particular to recover certain ideas of George Boole in unifying logic, algebra and the differential calculus.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Aristotle and the Uses of Logic.Gisela Striker - 1998 - In Jyl Gentzler (ed.), Method in ancient philosophy. New York: Oxford University Press. pp. 209--226.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Aristotle's underlying logic.George Boger - 2004 - In Dov M. Gabbay, John Woods & Akihiro Kanamori (eds.), Handbook of the history of logic. Boston: Elsevier. pp. 1--101.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Aristotle's early logic.John Woods & Andrew Irvine - 2004 - In Dov M. Gabbay, John Woods & Akihiro Kanamori (eds.), Handbook of the history of logic. Boston: Elsevier. pp. 1--27.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Corcoran on Aristotle's logical theory.Mary Mulhern - 1974 - In John Corcoran (ed.), Ancient logic and its modern interpretations. Boston,: Reidel. pp. 133--148.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Modern Notations and Ancient Logic.John Mulhern - 1974 - In John Corcoran (ed.), Ancient logic and its modern interpretations. Boston,: Reidel. pp. 71--82.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Expository proofs in Aristotle's Syllogistic.Mario Mignucci - 1991 - Oxford Studies in Ancient Philosophy:9-28.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Making sense of Aristotelian demonstration.Henry Mendell - 1998 - Oxford Studies in Ancient Philosophy 16:161-225.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Aristotle on Deduction and Inferential Necessity.Jean-Louis Hudry - 2013 - Review of Metaphysics 67 (1):29-54.
    Aristotle’s Prior Analytics identifies deductions simpliciter with inferential necessity, so that a deduced conclusion is necessarily inferred from some premises. Modern logical reconstructions claim that inferential necessity in Aristotle corresponds to logical validity. However, this logical reconstruction fails on two accounts. First, logical validity does not highlight Aristotle’s distinction between inferential necessity and predicative necessity, meaning that the inferential necessity of a deduction is not of the same kind as the predicative necessity of a non‑deductive argument. Second, logical validity does (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Du sullogismos au syllogisme.Michel Crubellier - 2011 - Revue Philosophique de la France Et de l'Etranger 136 (1):17 - 36.
    La définition du sullogismos est strictement identique dans les Topiques et dans les Premiers Analytiques, alors qu'on admet généralement que, dans ce dernier traité, le terme désigne spécifiquement la structure formelle appelée aujourd'hui encore « syllogisme » . Le mot peut avoir le même sens d'un bout à l'autre de l'Organon et du corpus aristotélicien : il désigne le moment de la joute dialectique où l'interrogateur récapitule une section de la discussion et se montre en mesure d'imposer une conclusion à (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Philosophiegeschichte.Pirmin Stekeler-Weithofer - 2006 - Berlin: De Gruyter.
    Addresses various crucial approaches to the history of philosophy - narrative, philological, hermeneutic, and systematic. This book elaborates the principles of each approach and puts focus on their capacity to properly comprehend problems.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • La sillogistica di Alessandro di Afrodisia: sillogistica categorica e sillogistica modale nel commento agli Analitici Primi di Aristotele.Luca Gili - 2011 - New York: Georg Olms Verlag.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Aristotle’s Completeness Proof.Timothy Smiley - 1994 - Ancient Philosophy 14 (S1):25-38.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • The Syllogistic Theory of Boethius.Manuel Correia - 2009 - Ancient Philosophy 29 (2):391-405.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Preface.Andrew Schumann - 2011 - History and Philosophy of Logic 32 (1):1-8.
    In this article, the author attempts to explicate the notion of the best known Talmudic inference rule called qal wa-omer. He claims that this rule assumes a massive-parallel deduction, and for formalizing it, he builds up a case of massive-parallel proof theory, the proof-theoretic cellular automata, where he draws conclusions without using axioms.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • On propositional form.George Englebretsen - 1980 - Notre Dame Journal of Formal Logic 21 (1):101-110.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Some recent work on the assertoric syllogistic.Joseph A. Novak - 1980 - Notre Dame Journal of Formal Logic 21 (2):229-242.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Establishing Connections between Aristotle's Natural Deduction and First-Order Logic.Edgar José Andrade & Edward Samuel Becerra - 2008 - 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
    Natural deduction is the type of logic most familiar to current philosophers, and indeed is all that many modern philosophers know about logic. Yet natural deduction is a fairly recent innovation in logic, dating from Gentzen and Jaśkowski in 1934. This article traces the development of natural deduction from the view that these founders embraced to the widespread acceptance of the method in the 1960s. I focus especially on the different choices made by writers of elementary textbooks—the standard conduits of (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Some studies of logical transformations in the prior analytics.Robin Smith - 1981 - History and Philosophy of Logic 2 (1-2):1-9.
    I argue that Prior analyticsII.5?7, 8?10, and 1.45 actually contain studies of processes for transforming arguments into other arguments which Aristotle carried out before having completed the theory of perfecting syllogisms by reduction to first-figure moods as presented in Prior analytics1.4?7. This position rejects Ross's opinion that these passages are ?mental gymnastics?, and Patzig's view that some of these texts contain studies of alternative axiomatizations or other logical studies posterior to the completion of the basic theory of syllogisms.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Logics for the relational syllogistic.Ian Pratt-Hartmann & Lawrence S. Moss - 2009 - Review of Symbolic Logic 2 (4):647-683.
    The Aristotelian syllogistic cannot account for the validity of certain inferences involving relational facts. In this paper, we investigate the prospects for providing a relational syllogistic. We identify several fragments based on (a) whether negation is permitted on all nouns, including those in the subject of a sentence; and (b) whether the subject noun phrase may contain a relative clause. The logics we present are extensions of the classical syllogistic, and we pay special attention to the question of whether reductio (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • On Finding Compactness in Aristotle.Michael Scanlan - 1983 - History and Philosophy of Logic 4 (1&2):1-8.
    Jonathan Lear has suggested that Aristotle attempts to demonstrate a proof-theoretic analogue of a compactness theorem in Posterior analyticsI, chs. 19?22. Aristotle argues in these chapters that there cannot be in finite series of predications of terms. Lear's analysis of Aristotle's arguments are shown to be based on confusions about the nature of infinite orderings. Three distinct confusions are identified. In final remarks, it is suggested that a compactness claim is irrelevant to the issues which motivate Aristotle's arguments.
    Download  
     
    Export citation  
     
    Bookmark   12 citations