Related categories

696 found
Order:
1 — 50 / 696
Material to categorize
  1. A forgotten logical expressivist: Strawson’s philosophy of logic and its challenges.Sybren Heyndels - 2022 - Synthese 200 (3):1-23.
    P.F. Strawson contributed to many philosophical domains, including the philosophy of language, the history of philosophy, metaphysics, moral philosophy and philosophical methodology. Most of his contributions in these areas have influenced contemporary debates, either because his views are still defended or because they are still considered worthy of detailed responses. His views on the philosophy of logic have been only rarely discussed, however. My aim in this paper is threefold. First, I provide a systematic account of Strawson’s philosophy of logic. (...)
    Remove from this list   Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. Frege, Peano and the Construction of a Logical Calculus.Joan Bertran San Millán - 2021 - Logique Et Analyse 253:3-22.
    In contemporary historical studies Peano is usually linked to the logical tradition pioneered by Frege. In this paper I question this association. Specifically, I claim that Frege and Peano developed significantly different conceptions of a logical calculus. First, I clam that while Frege put the systematisation of the notion of inference at the forefront of his construction of an axiomatic logical system, Peano modelled his early logical systems as mathematical calculi and did not really attempt to justify reasoning. Second, I (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. Against Fregean Quantification.Bryan Pickel & Brian Rabern - forthcoming - Ergo.
    There are two dominant approaches to quantification: the Fregean and the Tarskian. While the Tarskian approach is standard and familiar, deep conceptual objections have been pressed against its employment of variables as genuine syntactic and semantic units. Because they do not explicitly rely on variables, Fregean approaches are held to avoid these worries. The apparent result is that the Fregean can deliver something that the Tarskian is unable to, namely a compositional semantic treatment of quantification centered on truth and reference. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. What the Tortoise Said to Achilles: Lewis Carroll’s Paradox in Terms of Hilbert Arithmetic.Vasil Penchev - 2021 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 13 (22):1-32.
    Lewis Carroll, both logician and writer, suggested a logical paradox containing furthermore two connotations (connotations or metaphors are inherent in literature rather than in mathematics or logics). The paradox itself refers to implication demonstrating that an intermediate implication can be always inserted in an implication therefore postponing its ultimate conclusion for the next step and those insertions can be iteratively and indefinitely added ad lib, as if ad infinitum. Both connotations clear up links due to the shared formal structure with (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. Pure Variable Inclusion Logics.Francesco Paoli, Michele Pra Baldi & Damian Szmuc - forthcoming - Logic and Logical Philosophy:1-22.
    The aim of this article is to discuss pure variable inclusion logics, that is, logical systems where valid entailments require that the propositional variables occurring in the conclusion are included among those appearing in the premises, or vice versa. We study the subsystems of Classical Logic satisfying these requirements and assess the extent to which it is possible to characterise them by means of a single logical matrix. In addition, we semantically describe both of these companions to Classical Logic in (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Bishop's Mathematics: A Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.
    Errett Bishop's work in constructive mathematics is overwhelmingly regarded as a turning point for mathematics based on intuitionistic logic. It brought new life to this form of mathematics and prompted the development of new areas of research that witness today's depth and breadth of constructive mathematics. Surprisingly, notwithstanding the extensive mathematical progress since the publication in 1967 of Errett Bishop's Foundations of Constructive Analysis, there has been no corresponding advances in the philosophy of constructive mathematics Bishop style. The aim of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History.Saul A. Kripke - forthcoming - History and Philosophy of Logic:1-8.
    In the Handbook of Mathematical Logic, the Paris-Harrington variant of Ramsey's theorem is celebrated as the first result of a long ‘search’ for a purely mathematical incompleteness result in first-order Peano arithmetic. This paper questions the existence of any such search and the status of the Paris-Harrington result as the first mathematical incompleteness result. In fact, I argue that Gentzen gave the first such result, and that it was restated by Goodstein in a number-theoretic form.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication.Damian E. Szmuc - 2021 - Studia Logica 109 (4):791-828.
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  9. John Corcoran.José M. Sagüillo, Michael Scanlan & Stewart Shapiro - 2021 - History and Philosophy of Logic 42 (3):201-223.
    We present a memorial summary of the professional life and contributions to logic of John Corcoran. We also provide a full list of his many publications.Courtesy of Lynn Corcoran.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. Deontic Concepts and Their Clash in Mīmāṃsā: Towards an Interpretation.Elisa Freschi & Matteo Pascucci - 2021 - Theoria 87 (3):659-703.
    The article offers an overview of the deontic theory developed by the philosophical school of Mīmāṃsā, which is, and has been since the last centuries BCE, the main source of normative concepts in Sanskrit thought. Thus, the Mīmāṃsā deontics is interesting for any historian of philosophy and constitutes a thought-provoking occasion to rethink deontic concepts, taking advantage of centuries of systematic reflections on these topics. Some comparison with notions currently used in Euro-American normative theories and metaethical principles is offered in (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  11. An Inquiry on Fakhr Al-Dīn Rāzī’s Authorship of Al-Manṭiq Al-Kabīr.Asadollah Fallahi - 2021 - History and Philosophy of Logic 42 (3):224-246.
    It is quite common among historians of Arabic logic to attribute MS Aḥmad iii, no. 3401, entitled Al-manṭiq al-kabīr, to Fakhr al-Dīn Rāzī. This view is expressed explicitly...
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Intuition et idéalités. Phénoménologie des objets mathématiques.F. Patras - 2021 - History and Philosophy of Logic 42 (2):197-199.
    Reviewed by F. PATRAS, Laboratoire J.-A. Dieudonné, Université Côte d'Azur and CNRS, Nice, France. [email protected] those who are interested in Husserl’s philosophy of mathematics and its links w...
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. 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   1 citation  
  14. Peano on Symbolization, Design Principles for Notations, and the Dot Notation.Dirk Schlimm - 2021 - Philosophia Scientae 25:95-126.
    Peano was one of the driving forces behind the development of the current mathematical formalism. In this paper, we study his particular approach to notational design and present some original features of his notations. To explain the motivations underlying Peano's approach, we first present his view of logic as a method of analysis and his desire for a rigorous and concise symbolism to represent mathematical ideas. On the basis of both his practice and his explicit reflections on notations, we discuss (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Gottlob Frege: Ist Wahrheit definierbar?David Löwenstein - 2021 - Zeitschrift Für Didaktik der Philosophie Und Ethik 4:73-79.
    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  
  16. 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  
  17. Łukasiewicz, Determinism, and the Four-Valued System of Logic.Zuzana Rybaříková - 2021 - Semiotica 2021 (240):129-143.
    Jan Łukasiewicz is known primarily as the founder of the three-valued system of logic. It is also generally renowned that his reason for introducing many-valued systems of logic was an attempt to refute determinism. When he developed the three-valued and n-valued logic, he employed these systems in his arguments against determinism. On the contrary, Łukasiewicz preferred the four-valued system of logic that is not suitable for a refutation of determinism in his latest period. It seems, however, that determinism still interested (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  18. 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   3 citations  
  19. 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  
     
    Export citation  
     
    Bookmark  
  20. Leśniewského pojetí jmen jako třídových jmen.Zuzana Rybaříková - 2019 - Pro-Fil 20 (2):2-14.
    Stanisław Leśniewski developed a system of logic and foundations of mathematics that considerably differs from Russell and Whitehead’s system. The difference between these two approaches to logic is significant primarily in the case of Leśniewski’s calculus of names, Ontology, and the concept of names that it contains. Russell’s theory of descriptions played a much more important role than Leśniewski’s concept of names in the history of philosophy. In response to that, several researchers aimed to approximate Leśniewski’s concept of names to (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. How Can Buddhists Prove That Non-Existent Things Do Not Exist?Koji Tanaka - 2021 - In Sara Bernstein & Tyron Goldschmidt (eds.), Non-Being: New Essay on the Metaphysics of Non-Existence. Oxford, UK: Oxford University Press. pp. 82-96.
    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  
  22. 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   1 citation  
  23. 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   1 citation  
  24. 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  
  25. 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 (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26. 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  
  27. 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  
  28. 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   1 citation  
  29. 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  
  30. "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 (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  31. 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: Palgrave Macmillan. 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 (2 more)  
     
    Export citation  
     
    Bookmark  
  32. 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  
  33. 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  
  34. 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   1 citation  
  35. 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  
  36. 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   3 citations  
  37. 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  
  38. 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  
  39. 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  
  40. 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  
  41. 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  
  42. 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   1 citation  
  43. 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   1 citation  
  44. 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   5 citations  
  45. 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  
  46. 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  
  47. 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  
  48. New Directions for Neo-Logicism.Aaron Thomas-Bolduc - 2019 - Bulletin of Symbolic Logic 25 (2):219-220.
  49. 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  
  50. 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  
1 — 50 / 696