Switch to: References

Add citations

You must login to add citations.
  1. Necessarily Maybe. Quantifiers, Modality and Vagueness.Alessandro Torza - 2015 - In Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics, and Language. (Synthese Library vol. 373). Springer. pp. 367-387.
    Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Treatise on intuitionistic type theory.Johan Georg Granström - 2011 - New York: Springer.
    Prolegomena It is fitting to begin this book on intuitionistic type theory by putting the subject matter into perspective. The purpose of this chapter is to ...
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Russell's Early Theory of Denoting.David Bostock - 2009 - History and Philosophy of Logic 30 (1):49-67.
    The article concerns the treatment of the so-called denoting phrases, of the forms ?every A?, ?any A?, ?an A? and ?some A?, in Russell's Principles of Mathematics. An initially attractive interpretation of what Russell's theory was has been proposed by P.T. Geach, in his Reference and Generality (1962). A different interpretation has been proposed by P. Dau (Notre Dame Journal, 1986). The article argues that neither of these is correct, because both credit Russell with a more thought-out theory than he (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Lesniewski and Russell's paradox: Some problems.Rafal Urbaniak - 2008 - History and Philosophy of Logic 29 (2):115-146.
    Sobocinski in his paper on Leśniewski's solution to Russell's paradox (1949b) argued that Leśniewski has succeeded in explaining it away. The general strategy of this alleged explanation is presented. The key element of this attempt is the distinction between the collective (mereological) and the distributive (set-theoretic) understanding of the set. The mereological part of the solution, although correct, is likely to fall short of providing foundations of mathematics. I argue that the remaining part of the solution which suggests a specific (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Disjunction.Ray Jennings - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark  
  • Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.
    Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • The Latest Frege.Nikolay Milkov - 1999 - Prima Philosophia 12:41-48.
    Many authors believe that the manuscripts Frege wrote in 1924–1925 are not theoretically of interest. They are rather a product of his emotional despair and theoretical dead-end which he reached in the last years of his life. Such is also the judgement of Michael Dummett delivered in his seminal book Frege: Philosophy of Language. According to Dummett, “the few fragmentary writings of Frege’s final period—1919–1925—are not of high quality: they are interesting chiefly as showing that Frege did, at least at (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • "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 to 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Hegel and the Consequentia Mirabilis.Elena Ficara - 2018 - History and Philosophy of Logic 39 (4):357-364.
    In this paper I argue that Hegel’s treatment of dialectical inferences, in particular of Plato’s dialectics in the Lectures on the History of Philosophy, belongs to the history of the logical rule that, from Gerolamo Cardano to Bertrand Russell, is known as consequentia mirabilis. In 1906 Russell formalises it as follows: and its correspondent positive form as My paper has two parts. First, I show that dialectical inferences, for Hegel, involve sentences of the form and. Hegel, following Plato, stresses that (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Frege and the Logic of Sense and Reference.Kevin C. Klement - 2001 - New York: Routledge.
    This book aims to develop certain aspects of Gottlob Frege’s theory of meaning, especially those relevant to intensional logic. It offers a new interpretation of the nature of senses, and attempts to devise a logical calculus for the theory of sense and reference that captures as closely as possible the views of the historical Frege. (The approach is contrasted with the less historically-minded Logic of Sense and Denotation of Alonzo Church.) Comparisons of Frege’s theory with those of Russell and others (...)
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  • Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeley
    In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.
    Gentzen’s and Jaśkowski’s formulations of natural deduction are logically equivalent in the normal sense of those words. However, Gentzen’s formulation more straightforwardly lends itself both to a normalization theorem and to a theory of “meaning” for connectives . The present paper investigates cases where Jaskowski’s formulation seems better suited. These cases range from the phenomenology and epistemology of proof construction to the ways to incorporate novel logical connectives into the language. We close with a demonstration of this latter aspect by (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication.Francine F. Abeles - 2014 - History and Philosophy of Logic 35 (1):1-14.
    Hypotheticals, conditionals, and their connecting relation, implication, dramatically changed their meanings during the nineteenth and early part of the twentieth century. Modern logicians ordinarily do not distinguish between the terms hypothetical and conditional. Yet in the late nineteenth century their meanings were quite different, their ties to the implication relation either were unclear, or the implication relation was used exclusively as a logical operator. I will trace the development of implication as an inference operator from these earlier notions into the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Logic in Russell's Principles of Mathematics.Gregory Landini - 1996 - Notre Dame Journal of Formal Logic 37 (4):554-584.
    Unaware of Frege's 1879 Begriffsschrift, Russell's 1903 The Principles of Mathematics set out a calculus for logic whose foundation was the doctrine that any such calculus must adopt only one style of variables–entity (individual) variables. The idea was that logic is a universal and all-encompassing science, applying alike to whatever there is–propositions, universals, classes, concrete particulars. Unfortunately, Russell's early calculus has appeared archaic if not completely obscure. This paper is an attempt to recover the formal system, showing its philosophical background (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.
    Bertrand Russell’s 1906 article ‘The Theory of Implication’ contains an algebraic weak completeness proof for classical propositional logic. Russell did not present it as such. We give an exposition of the proof and investigate Russell’s view of what he was about, whether he could have appreciated the proof for what it is, and why there is no parallel of the proof in Principia Mathematica.
    Download  
     
    Export citation  
     
    Bookmark  
  • Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.
    This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'.Nils Kürbis - 2021 - Journal of Applied Logics 7 (8):2259-2261.
    This brief note corrects an error in one of the reduction steps in my paper 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks' published in the Journal of Applied Logics 8/2 (2021): 531-556.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Russell on Negative Judgement.Anssi Korhonen - 2020 - Topoi 39 (3):727-742.
    This paper concerns Bertrand Russell’s changing views on negative judgement. ‘Negative judgement’ is considered in the context of three theories of judgement that Russell put forth at different times: a dual relation theory ; a multiple relation theory ; a psychological theory of judgement. Four issues are singled out for a more detailed discussion: quality dualism versus quality monism, that is, the question whether judgement comes in two kinds, acceptance and rejection, or whether there is only one judgement-quality ; the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Merkitys, totuus ja kielto.Panu Raatikainen - 2004 - In Heta Gylling, S. Albert Kivinen & Risto Vilkko (eds.), Kielto. Helsinki University Press.
    Filosofisessa merkitysteoriassa asetetaan usein vastatusten toisaalta totuusehtoihin nojautuvat teoriat ja toisaalta teoriat, jotka samastavat ilmaisun merkityksen sen käytön kanssa. Yksi suhteellisen täsmällinen paikallinen muunnelma hieman epä- määräisestä merkityksen käyttöteoriasta on suosittu ajatus, että loogisten vakioiden merkityksen määräävät niihin liittyvät päättelysäännöt. Tämä ajatus toimii usein myös esimerkkinä yleisemmille merkityksen käyttöteorioille.
    Download  
     
    Export citation  
     
    Bookmark  
  • Russell, Frege, and the nature of implication.Judy Pelham - 1999 - Topoi 18 (2):175-184.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Jan Łukasiewicz's ‘The Principle of Contradiction and Symbolic Logic’.Adam Trybus & Bernard Linsky - 2020 - History and Philosophy of Logic 41 (2):183-190.
    This is a companion article to the translation of ‘Zasada sprzeczności a logika symboliczna’, the appendix on symbolic logic of Jan Łukasiewicz's 1910 book O zasadzie sprzeczności u Arytotelesa (On the Principle of Contradiction in Aristotle). While the appendix closely follows Couturat's 1905 book L'algebra de la logique (The Algebra of Logic), footnotes show that Łukasiewicz was aware of the work of Peirce, Huntington and Russell (before Principia Mathematica). This appendix was influential in the development of the Polish school of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Comments on Stevens' Review of The Cambridge Companion and Anellis on Truth-Tables.I. Grattan-Guinness - 2004 - Russell: The Journal of Bertrand Russell Studies 24 (2).
    Download  
     
    Export citation  
     
    Bookmark  
  • Modes and Levels of Perplexity [review of John Ongley and Rosalind Carey, Russell: a Guide for the Perplexed ].I. Grattan-Guinness - 2013 - Russell: The Journal of Bertrand Russell Studies 33 (2):173-177.
    In lieu of an abstract, here is a brief excerpt of the content:russell: the Journal of Bertrand Russell Studies n.s. 33 (winter 2013–14): 173–90 The Bertrand Russell Research Centre, McMaster U. issn 0036–01631; online 1913–8032 c:\users\kenneth\documents\type3302\rj 33,2 114 red.docx 2014-01-31 8:29 PM oeviews MODES AND LEVELS OF PERPLEXITY I. Grattan-Guinness Middlesex U. Business School Hendon, London nw4 4bt, uk [email protected] John Ongley and Rosalind Carey. Russell: a Guide for the Perplexed. London: Bloomsbury, 2013. Pp. ix, 212. isbn: 978-0-8264-9753-6. £45 (hb), (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Leśniewski's Systems of Logic and Foundations of Mathematics.Rafal Urbaniak - 2013 - Cham, Switzerland: Springer.
    With material on his early philosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy’s great ...
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • The Evolution of Principia Mathematica; Bertrand Russell's Manuscripts and Notes for the Second Edition.Gregory Landini - 2013 - History and Philosophy of Logic 34 (1):79-97.
    Bernard Linsky, The Evolution of Principia Mathematica; Bertrand Russell's Manuscripts and Notes for the Second Edition. Cambridge: Cambridge University Press. 2011. 407 pp. + two plates. $150.00/£...
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
    The present paper deals with natural intuitionistic semantics for intuitionistic logic within an intuitionistic metamathematics. We show how strong completeness of full first order logic fails. We then consider a negationless semantics à la Henkin for second order intuitionistic logic. By using the theory of lawless sequences we prove that, for such semantics, strong completeness is restorable. We argue that lawless negationless semantics is a suitable framework for a constructive structuralist interpretation of any second order formalizable theory (classical or intuitionistic, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On Structural Features of the Implication Fragment of Frege’s Grundgesetze.Andrew Tedder - 2017 - Journal of Philosophical Logic 46 (4):443-456.
    We set out the implication fragment of Frege’s Grundgesetze, clarifying the implication rules and showing that this system extends Absolute Implication, or the implication fragment of Intuitionist logic. We set out a sequent calculus which naturally captures Frege’s implication proofs, and draw particular attention to the Cut-like features of his Hypothetical Syllogism rule.
    Download  
     
    Export citation  
     
    Bookmark