Related categories

3 found
Order:
Material to categorize
  1. A Phenomenology of Race in Frege's Logic.Joshua M. Hall - forthcoming - Humanities Bulletin.
    This article derives from a project attempting to show that Western formal logic, from Aristotle onward, has both been partially constituted by, and partially constitutive of, what has become known as racism. In the present article, I will first discuss, in light of Frege’s honorary role as founder of the philosophy of mathematics, Reuben Hersh’s What is Mathematics, Really? Second, I will explore how the infamous section of Frege’s 1924 diary (specifically the entries from March 10 to April 9) supports (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Gottlob Frege: Ist Wahrheit definierbar?David Löwenstein - forthcoming - Zeitschrift Für Didaktik der Philosophie Und Ethik.
    This paper presents a passage on truth from "Der Gedanke" and comments on its content and use in the classroom.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. Deontic Concepts and Their Clash in Mīmāṃsā: Towards an Interpretation.Elisa Freschi & Matteo Pascucci - forthcoming - Theoria:1-45.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. Tennant’s Conjecture for Self-Referential Paradoxes and its Classical Counterexample.Seungrak Choi - 2021 - Korean Journal of Logic 1 (24):1-30.
    In his paper, “On paradox without self-reference”, Neil Tennant proposed the conjecture for self-referential paradoxes that any derivation formalizing self-referential paradoxes only generates a looping reduction sequence. According to him, the derivation of the Liar paradox in natural deduction initiates a looping reduction sequence and the derivation of the Yablo's paradox generates a spiral reduction. The present paper proposes the counterexample to Tennant's conjecture for self-referential paradoxes. We shall show that there is a derivation of the Liar paradox which generates (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. Frege Plagiarized the Stoics.Susanne Bobzien - 2021 - In Fiona Leigh (ed.), Themes in Plato, Aristotle, and Hellenistic Philosophy, Keeling Lectures 2011-2018. University of Chicago Press. pp. 149-206.
    In this essay, I argue that Frege plagiarized the Stoics --and I mean exactly that-- on a large scale in his work on the philosophy of logic and language as written mainly between 1890 and his death in 1925 (much of which published posthumously) and possibly earlier. I use ‘plagiarize' (or 'plagiarise’) merely as a descriptive term. The essay is not concerned with finger pointing or casting moral judgement. The point is rather to demonstrate carefully by means of detailed evidence (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. SOME REMARKS ON PETER OF SPAIN'S THEORY OF SUPPOSITIO.Vlad Ile - 2017 - Transylvanian Journal of Multidisciplinary Research in Humanities 22 (1):73-89.
    The present paper aims to reconsider our approaches to the suppositio theory (in the particular case of Peter of Spain`s Summaries of logic) in light of a new hypothesis of the double nature1 of medieval logic. Starting from the existing points of view, i.e. the theory of suppositio as a theory of reference and suppositio as a theory of an untranslatable, this paper will examine their underlying commitments to the nature of medieval logic. Such an analysis will entail for the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication.Damian E. Szmuc - forthcoming - Studia Logica:1-38.
    We provide a logical matrix semantics and a Gentzen-style sequent calculus for the first-degree entailments valid in W. T. Parry's logic of Analytic Implication. We achieve the former by introducing a logical matrix closely related to that inducing paracomplete weak Kleene logic, and the latter by presenting a calculus where the initial sequents and the left and right rules for negation are subject to linguistic constraints.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. How Can Buddhists Prove That Non-Existent Things Do Not Exist?Koji Tanaka - forthcoming - In Sara Bernstein & Tyron Goldschmidt (eds.), Non-Being: New Essay on the Metaphysics of Non-Existence. Oxford, UK:
    How can Buddhists prove that non-existent things do not exist? With great difficulty. For the Buddhist, this is not a laughing matter as they are largely global error theorists and, thus, many things are non-existent. The difficulty gets compounded as the Buddhist and their opponent, the non-Buddhist of various kinds, both agree that one cannot prove a thesis whose subject is non-existent. In this paper, I will first present a difficulty that Buddhist philosophers have faced in proving that what they (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. Calculus CL - From Baroque Logic to Artificial Intelligence.Jens Lemanski - 2020 - Logique Et Analyse 249:111-129.
    In the year 1714, Johann Christian Lange published a baroque textbook about a logic machine, supposed to simulate human cognitive abilities such as perception, judgement, and reasoning. From today’s perspective, it can be argued that this blueprint is based on an inference engine applied to a strict ontology which serves as a knowledge base. In this paper, I will first introduce Lange’s approach in the period of baroque logic and then present a diagrammatic modernization of Lange’s principles, entitled Calculus CL. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  10. Farewell to Suppression-Freedom.Tore Fjetland Øgaard - 2020 - Logica Universalis 14 (3):297-330.
    Val Plumwood and Richard Sylvan argued from their joint paper The Semantics of First Degree Entailment and onward that the variable sharing property is but a mere consequence of a good entailment relation, indeed they viewed it as a mere negative test of adequacy of such a relation, the property itself being a rather philosophically barren concept. Such a relation is rather to be analyzed as a sufficiency relation free of any form of premise suppression. Suppression of premises, therefore, gained (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Philosophical Investigation Series: Selected Texts on Logic / Série Investigação Filosófica: Textos Selecionados de Lógica.Danilo Fraga Dantas & Rodrigo Cid - 2020 - Pelotas - Princesa, Pelotas - RS, Brasil: UFPEL's Publisher / Editora da UFPEL.
    Este livro marca o início da Série Investigação Filosófica. Uma série de livros de traduções de textos de plataformas internacionalmente reconhecidas, que possa servir tanto como material didático para os professores das diferentes subáreas e níveis da Filosofia quanto como material de estudo para o desenvolvimento pesquisas relevantes na área. Nós, professores, sabemos o quão difícil é encontrar bons materiais em português para indicarmos. E há uma certa deficiência na graduação brasileira de filosofia, principalmente em localizações menos favorecidas, com relação (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Language, Logic, and Mathematics in Schopenhauer.Jens Lemanski (ed.) - 2020 - Basel, Schweiz: Birkhäuser.
    The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer’s logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics. Thus, this work addresses the lack of research on these subjects in the context of Schopenhauer’s oeuvre by exposing their links to modern research areas, such as the “proof without words” movement, analytic philosophy and diagrammatic reasoning, demonstrating its continued relevance to current discourse on logic. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. Lorenzen's Proof of Consistency for Elementary Number Theory.Thierry Coquand & Stefan Neuwirth - 2020 - History and Philosophy of Logic 41 (3):281-290.
    We present a manuscript of Paul Lorenzen that provides a proof of consistency for elementary number theory as an application of the construction of the free countably complete pseudocomplemented semilattice over a preordered set. This manuscript rests in the Oskar-Becker-Nachlass at the Philosophisches Archiv of Universität Konstanz, file OB 5-3b-5. It has probably been written between March and May 1944. We also compare this proof to Gentzen's and Novikov's, and provide a translation of the manuscript.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Horst Wessel: Contributions to the Theory of Logical Consequence, Non-Traditional Theory of Predication and Logical Theory of Terms.Klaus Wuttich - 2020 - History and Philosophy of Logic 41 (3):291-300.
    The present work takes the decease of Horst Wessel as an opportunity to present and honour his work (and that of his group), which has not received the attention it deserves. The focus will be on works which might not be sufficiently well-known. Wessel was, as we aim to show, familiar with the international debate concerning logical and philosophical issues and strived to solve them by considering theories of logical consequence, a non-traditional theory of predication and the theory of logical (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Do Logic and Religion Mix?James Collin - 2017 - In Duncan Pritchard & Mark Harris (eds.), Philosophy, Science and Religion for Everyone. London, UK:
    Logic is the study of the validity of arguments, which is to say the study of when a conclusion follows or does not follow from a set of premises. Logic is an ancient discipline pioneered by Aristotle and developed by some of the greatest thinkers in the Middle Ages. However, in the nineteenth century logic underwent a remarkable transformation into a precise branch of mathematics that changed the nature of logic, and the study of religion, forever. Both religious adherents and (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  16. Hobson’s Conception of Definable Numbers.Zhao Fan - 2020 - History and Philosophy of Logic 41 (2):128-139.
    In this paper, I explore an intriguing view of definable numbers proposed by a Cambridge mathematician Ernest Hobson, and his solution to the paradoxes of definability. Reflecting on König’s paradox and Richard’s paradox, Hobson argues that an unacceptable consequence of the paradoxes of definability is that there are numbers that are inherently incapable of finite definition. Contrast to other interpreters, Hobson analyses the problem of the paradoxes of definability lies in a dichotomy between finitely definable numbers and not finitely definable (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17. 'If-Then' as a Version of 'Implies'.Matheus Silva - manuscript
    Russell’s role in the controversy about the paradoxes of material implication is usually presented as a tale of how even the greatest minds can fall prey of basic conceptual confusions. Quine accused him of making a silly mistake in Principia Mathematica. He interpreted ‘if-then’ as a version of ‘implies’ and called it material implication. Quine’s accusation is that this decision involved a use-mention fallacy because the antecedent and consequent of ‘if-then’ are used instead of being mentioned as the premise and (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  18. On Russell's Logical Atomism.Landon D. C. Elkind - 2018 - In Landon D. C. Elkind & Gregory Landini (eds.), The Philosophy of Logical Atomism: A Centenary Reappraisal. Basingstoke, UK: pp. 3-37.
    I characterize and argue against the standard interpretation of logical atomism. The argument against this reading is historical: the standard interpretation of logical atomism (1) fails to explain how the view is inspired by nineteenth-century developments in mathematics, (2) fails to explain how logic is central to logical atomism, and (3) fails to explain how logical atomism is a revolutionary and new "scientific philosophy." In short, the standard interpretation is a bad history of logical atomism. A novel interpretation of the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  19. Logical Foundations and Kant's Principles of Formal Logic.Srećko Kovač - 2019 - History and Philosophy of Logic 41 (1):48-70.
    The abstract status of Kant's account of his ‘general logic’ is explained in comparison with Gödel's general definition of a formal logical system and reflections on ‘abstract’ concepts. Thereafter, an informal reconstruction of Kant's general logic is given from the aspect of the principles of contradiction, of sufficient reason, and of excluded middle. It is shown that Kant's composition of logic consists in a gradual strengthening of logical principles, starting from a weak principle of contradiction that tolerates a sort of (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20. The Truth of Future Contingents: An Analysis of Truth-Maker Indeterminacy.Tero Tulenheimo - 2020 - Filosofiska Notiser 7 (1):53-77.
    I argue that the semantics of sentences expressing future contingent propositions is best viewed as being based on a clear distinction between a time at which a proposition is true and a time at which a state of affairs that makes it true gets actualized. That a prediction is true here and now means that its truth-maker gets actualized later. This is not to say that if a contingent proposition p concerning the future is true at t, it acquires the (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  21. Logikdiagramme Und Logikmaschinen Aus der Zittauer Schule Um Christian Weise.Jens Lemanski - 2019 - Neues Lausitzische Magazin 141 (1):39-57.
    A particularly promising trail on the search for forgotten logic diagrams leads to Upper Lusatia in the 17th century, more precisely to Christian Weise and his students. Samuel Grosser, who later became rector in Görlitz, and Johann Christian Lange, who later became professor of logic at the University of Gießen, are the most prominent to have published remarkable logic diagrams. Even more remarkable, however, is the fact that Lange's interest in these diagrams ultimately gave rise to the idea of building (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. Mereology with Super-Supplemention Axioms. A Reconstruction of the Unpublished Manuscript of Jan F. Drewnowski.Kordula Świętorzecka & Marcin Łyczak - forthcoming - Logic and Logical Philosophy:1.
    We present a study of unpublished fragments of Jan F. Drewnowski’s manuscript from the years 1922–1928, which contains his own axiomatics for mereology. The sources are transcribed and two versions of mereology are reconstructed from them. The first one is given by Drewnowski. The second comes from Leśniewski and was known to Drewnowski from Leśniewski’s lectures. Drewnowski’s version is expressed in the language of ontology enriched with the primitive concept of a (proper) part, and its key axiom expresses the so-called (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Per Se Modality and Natural Implication – an Account of Connexive Logic in Robert Kilwardby.Spencer Johnston - 2019 - Logic and Logical Philosophy 28 (3):449.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24. The Development of Gödel’s Ontological Proof.Annika Kanckos & Tim Lethen - forthcoming - Review of Symbolic Logic:1-19.
    Gödel’s ontological proof is by now well known based on the 1970 version, written in Gödel’s own hand, and Scott’s version of the proof. In this article new manuscript sources found in Gödel’s Nachlass are presented. Three versions of Gödel’s ontological proof have been transcribed, and completed from context as true to Gödel’s notes as possible. The discussion in this article is based on these new sources and reveals Gödel’s early intentions of a liberal comprehension principle for the higher order (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. On the Czech Logic in the 20th Century.Jiri Raclavsky - 2012 - In Andrew Schumann (ed.), Logic in Central and Eastern Europe. Lanham, MD 20706, Spojené státy americké: Rowman & Littlefield. pp. 229-243.
    On the first part, a historical overview of the development of the Czech logic from 1900 until nowadays is sketched. In the second part, theyare listed Czech logicians, mentioning their key topics and books.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  26. Intuitionist Reasoning in the Tri-Unitarian Theology of Nicholas of Cues (1401-1464).Antonino Drago - 2019 - Journal of Applied Logic 6 (6):1143-1186.
    The main subject of Cusanus’ investigations was the name of God. He claimed to have achieved the best possible one, Not-Other. Since Cusanus stressed that these two words do not mean the corresponding affirmative word, i.e. the same, they represent the failure of the double negation law and there￾fore belong to non-classical, and above all, intuitionist logic. Some of his books implicitly applied intuitionist reasoning and the corresponding organization of a theory which is governed by intuitionist logic. A comparison of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Perspectives on the Logical Study of Language.Jaakko Hintikka - 2019 - Logica Universalis 13 (2):151-163.
    Published originally as “Loogisen kielentutkimuksen näköaloja”, Ajatus 19,, pp. 81–96, the following piece by Jaakko Hintikka is the first essay he published in his mother tongue of Finnish. It is seen to provide both a state-of-the-art review of current topics emerging in the philosophy of language in the mid-1950, as well as outlines of Hintikka’s own evaluation of major theses of that era, in particular those of Quine’s and Wittgenstein’s concerning language use. Hintikka evaluates contributions that the logical study of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28. To Peirce Hintikka’s Thoughts.Ahti-Veikko Pietarinen - 2019 - Logica Universalis 13 (2):241-262.
    This paper compares Peirce’s and Hintikka’s logical philosophies and identifies a cross-section of similarities in their thoughts in the areas of action-first epistemology, pragmaticist meaning, philosophy of science, and philosophy of logic and mathematics.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Between Square and Hexagon in Oresme's Livre du Ciel Et du Monde.Lorenz Demey - 2019 - History and Philosophy of Logic 41 (1):36-47.
    In logic, Aristotelian diagrams are almost always assumed to be closed under negation, and are thus highly symmetric in nature. In linguistics, by contrast, these diagrams are used to study lexicalization, which is notoriously not closed under negation, thus yielding more asymmetric diagrams. This paper studies the interplay between logical symmetry and linguistic asymmetry in Aristotelian diagrams. I discuss two major symmetric Aristotelian diagrams, viz. the square and the hexagon of opposition, and show how linguistic considerations yield various asymmetric versions (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  30. Two Syllogisms in the Mozi: Chinese Logic and Language.Byeong-uk Yi - 2019 - Review of Symbolic Logic 12 (3):589-606.
    This article examines two syllogistic arguments contrasted in an ancient Chinese book, the Mozi, which expounds doctrines of the Mohist school of philosophers. While the arguments seem to have the same form, one of them is valid but the other is not. To explain this difference, the article uses English plural constructions to formulate the arguments. Then it shows that the one-horse argument is valid because it has a valid argument form, the plural cousin of a standard form of valid (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. A Critical Examination of the Historical Origins of Connexive Logic.Wolfgang Lenzen - 2019 - History and Philosophy of Logic 41 (1):16-35.
    It is often assumed that Aristotle, Boethius, Chrysippus, and other ancient logicians advocated a connexive conception of implication according to which no proposition entails, or is entailed by, its own negation. Thus Aristotle claimed that the proposition ‘if B is not great, B itself is great […] is impossible’. Similarly, Boethius maintained that two implications of the type ‘If p then r’ and ‘If p then not-r’ are incompatible. Furthermore, Chrysippus proclaimed a conditional to be ‘sound when the contradictory of (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  32. Sylvan's Jungle Volume 1: Exploring Meinong's Jungle and Beyond.Maureen Eckert - 2018 - International: Synthese Library.
    In this first volume of The Sylvan Jungle, the editors present a scholarly edition of the first chapter, "Exploring Meinong's Jungle," of Richard Routley's 1000-plus page book, Exploring Meinong's Jungle and Beyond. Going against the Quinean orthodoxy, Routley’s aim was to support Meinong’s idea that we can truthfully refer to non-existent and even impossible objects, like Superman, unicorns and the (infamous) round-square cupola on Berkeley College. The tools of non-classical logic at Routley’s disposal enabled him to update Meinong’s project for (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  33. Formalizing Kant’s Rules.Richard Evans, Andrew Stephenson & Marek Sergot - 2019 - Journal of Philosophical Logic 48:1-68.
    This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. Aristotle in Prussian Gymnasiums: Why the Texts of the Ancient Philosopher Became Popular for Teaching Logic.Maxim Demin - 2019 - History and Philosophy of Logic 40 (4):374-388.
    During the nineteenth century, German philosophy developed from a type of general knowledge to an academic discipline at the university. Changes across disciplines to the philosophy of science and psychological surveys created new challenges for the place and purpose of philosophy in the educational system. The content of logic courses for secondary schools (Gymnasiums) was centred on the dissociation of nature and the scale of logic. In this paper, I will examine a number of projects for teaching philosophy at the (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  35. New Directions for Neo-Logicism.Aaron Thomas-Bolduc - 2019 - Bulletin of Symbolic Logic 25 (2):219-220.
  36. The Eu Approach to Formalizing Euclid: A Response to “On the Inconsistency of Mumma’s Eu”.John Mumma - 2019 - Notre Dame Journal of Formal Logic 60 (3):457-480.
    In line with Ken Manders’s seminal account of Euclid’s diagrammatic method in the “The Euclidean Diagram,” two proof systems with a diagrammatic syntax have been advanced as formalizations of the method FG and Eu. In a paper examining Eu, Nathaniel Miller, the creator of FG, has identified a variety of technical problems with the formal details of Eu. This response shows how the problems are remedied.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37. Duty and Sacrifice: A Logical Analysis of the Mīmāṃsā Theory of Vedic Injunctions.Elisa Freschi, Andrew Ollett & Matteo Pascucci - 2019 - History and Philosophy of Logic 40 (4):323-354.
    The Mīmāṃsā school of Indian philosophy has for its main purpose the interpretation of injunctions that are found in a set of sacred texts, the Vedas. In their works, Mīmāṃsā authors provide some of the most detailed and systematic examinations available anywhere of statements with a deontic force; however, their considerations have generally not been registered outside of Indological scholarship. In the present article we analyze the Mīmāṃsā theory of Vedic injunctions from a logical and philosophical point of view. The (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38. Logic and Sets.Marta Vlasáková - forthcoming - Logic and Logical Philosophy:1.
    The notion of the extension of a concept has been used in logic for a long time. It is usually considered to be closely connected to the intuitive notion of a set and thus seems as though it should be embedded into set theory. However, there are significant differences between this “logical” concept of set and the notion of set (class) as defined via standard axiomatic systems of set theory; it may, therefore, be quite misleading to consider the two concepts (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. The Later Wittgenstein’s Guide to Contradictions.Alessio Persichetti - 2019 - Synthese 198 (4):3783-3799.
    This paper portrays the later Wittgenstein’s conception of contradictions and his therapeutic approach to them. I will focus on and give relevance to the Lectures on the Foundations of Mathematics, plus the Remarks on the Foundations of Mathematics. First, I will explain why Wittgenstein’s attitude towards contradictions is rooted in: a rejection of the debate about realism and anti-realism in mathematics; and Wittgenstein’s endorsement of logical pluralism. Then, I will explain Wittgenstein’s therapeutic approach towards contradictions, and why it means that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Euler-type Diagrams and the Quantification of the Predicate.Jens Lemanski - 2020 - Journal of Philosophical Logic 49 (2):401-416.
    Logicians have often suggested that the use of Euler-type diagrams has influenced the idea of the quantification of the predicate. This is mainly due to the fact that Euler-type diagrams display more information than is required in traditional syllogistics. The paper supports this argument and extends it by a further step: Euler-type diagrams not only illustrate the quantification of the predicate, but also solve problems of traditional proof theory, which prevented an overall quantification of the predicate. Thus, Euler-type diagrams can (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  41. On the Mathematical and Foundational Significance of the Uncountable.Dag Normann & Sam Sanders - 2019 - Journal of Mathematical Logic 19 (1):1950001.
    We study the logical and computational properties of basic theorems of uncountable mathematics, including the Cousin and Lindelöf lemma published in 1895 and 1903. Historically, these lemmas were among the first formulations of open-cover compactness and the Lindelöf property, respectively. These notions are of great conceptual importance: the former is commonly viewed as a way of treating uncountable sets like e.g. [Formula: see text] as “almost finite”, while the latter allows one to treat uncountable sets like e.g. [Formula: see text] (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  42. Jesuit Probabilistic Logic Between Scholastic and Academic Philosophy.Miroslav Hanke - 2019 - History and Philosophy of Logic 40 (4):355-373.
    There is a well-documented paradigm-shift in eighteenth century Jesuit philosophy and science, at the very least in Central Europe: traditional scholastic version of Aristotelianism were replaced by early modern rationalism and early modern science and mathematics. In the field of probability, this meant that the traditional Jesuit engagement with probability, uncertainty, and truthlikeness could translate into mathematical language, and can be analysed against the background of the accounts of probability, pre-mathematical Jesuit logic, Wolff's conceptual analysis, and Bernoullian mathematisation. The works (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Karel Lambert. Existential Import Revisited. Notre Dame Journal of Formal Logic, Vol. 4 No. 4 , Pp. 288–292.Alonzo Church - 1965 - Journal of Symbolic Logic 30 (1):103-104.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44. Ludwig Wittgenstein. Tractatus Logico-Philosophicus. Swedish Translation of 2812 by Anders Wedberg . Orion/Bonniers, Stockholm1962, 147 Pp. - Anders Wedberg. Inledning . Therein, Pp. 7–34. [REVIEW]Ann-Mari Henschen-Dahlquist - 1964 - Journal of Symbolic Logic 29 (3):134-135.
  45. Michael P. Slattery and Tadeusz Gierymski. A Propositions. The Modern Schoolman, Vol. 36 No. 2 , Pp. 91–107.Charles A. Baylis - 1964 - Journal of Symbolic Logic 29 (2):112.
  46. T. Gierymski and M. P. Slattery. Existential Import and “Latin Averroism.”Franciscan Studies, Vol. 18 , Pp. 127–132.Charles A. Baylis - 1964 - Journal of Symbolic Logic 29 (2):112.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. Joan B. Ogden and Henry B. Veatch. Putting the Square Back Into Opposition. The New Scholasticism, Vol. 30 , Pp. 409–440. [REVIEW]Charles A. Baylis - 1964 - Journal of Symbolic Logic 29 (2):111.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. Tadeusz Gierymski and Michael P. Slattery. Is the Square Back in Opposition?Philosophical Studies , Vol. 7 , Pp. 123–130. [REVIEW]Charles A. Baylis - 1964 - Journal of Symbolic Logic 29 (2):111-112.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. Benson Mates. Stoic Logic. University of California Press, Berkeley and Los Angeles1961, Vii + 148 Pp. [REVIEW]Alonzo Church - 1963 - Journal of Symbolic Logic 28 (4):295.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50. Nicholas Rescher. Studies in the History of Arabic Logic. University of Pittsburgh Press, Pittsburgh1963, 108 Pp. [REVIEW]Timothy C. Potts - 1968 - Journal of Symbolic Logic 32 (4):546-547.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark