Switch to: Citations

Add references

You must login to add references.
  1. The Semantic Conception of Truth and the Foundations of Semantics.Alfred Tarski - 1943 - Philosophy and Phenomenological Research 4 (3):341-376.
    Download  
     
    Export citation  
     
    Bookmark   303 citations  
  • Introduction to Mathematical Logic.ALONZO CHURCH - 1956 - Journal of Symbolic Logic 23 (3):362-362.
    Download  
     
    Export citation  
     
    Bookmark   78 citations  
  • Introduction to Symbolic Logic and Its Applications.Rudolf Carnap - 1959 - Journal of Symbolic Logic 31 (2):287-287.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Logic, Semantics, Metamathematics: Papers From 1923 to 1938.Alfred Tarski, J. H. Woodger & John Corcoran - 1956 - Journal of Symbolic Logic 54 (1):281-282.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • On the Logic of Quantification.W. V. Quine - 1945 - Journal of Symbolic Logic 10 (1):1-12.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Collected Papers of Charles Sanders Peirce.Charles S. Peirce - 1931 - Cambridge: Harvard University Press.
    PRINCIPLES OF PHILOSOPHY" CHAPTER 1 LESSONS FROM THE HISTORY OF PHILOSOPHY §1. NOMINALISM* 15. Very early in my studies of logic, before I had really been ...
    Download  
     
    Export citation  
     
    Bookmark   432 citations  
  • String Theory.John Corcoran, William Frank & Michael Maloney - 1974 - Journal of Symbolic Logic 39 (4):625-637.
    For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Axiomatizability by a Schema.Robert L. Vaught - 1967 - Journal of Symbolic Logic 32 (4):473-479.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Prolegomena to an Apology for Pragmaticism.Charles S. Peirce - 1906 - The Monist 16 (4):492-546.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Conceptual Structure of Classical Logic.John Corcoran - 1972 - Philosophy and Phenomenological Research 33 (1):25-47.
    One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • A Semantic Conception of Truth?Vann McGee - 1993 - Philosophical Topics 21 (2):83-111.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Mathematical Logic.Morton G. White & Willard Van Orman Quine - 1942 - Philosophical Review 51 (1):74.
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  • Computability & Unsolvability.Martin Davis - 1958 - Journal of Symbolic Logic 23 (4):432-433.
    Download  
     
    Export citation  
     
    Bookmark   105 citations  
  • Introduction to Metamathematics.Stephen Cole Kleene - 1954 - Journal of Symbolic Logic 19 (3):215-216.
    Download  
     
    Export citation  
     
    Bookmark   219 citations  
  • Introduction to Logic and to the Methodology of Deductive Sciences.Alfred Tarski & Olaf Helmer - 1941 - Journal of Symbolic Logic 6 (1):30-32.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Axiomatic Set Theory.Paul Bernays - 1959 - Journal of Symbolic Logic 24 (3):224-225.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Sematics and the Philosophy of Language.Leonard Linsky - 1956 - Journal of Symbolic Logic 21 (1):76-76.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.
    Download  
     
    Export citation  
     
    Bookmark   87 citations  
  • The Cambridge Dictionary of Philosophy.Robert Audi - 1997 - Ethics 107 (2):381-383.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Introduction to Logic and to the Methodology of Deductive Sciences.Alfred Tarski & Olaf Helmer - 1944 - Philosophy 19 (72):90-91.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • The Mathematical Analysis of Logic.George Boole - 1950 - Philosophy 25 (95):350-353.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • [Omnibus Review].Robert Feys - 1956 - Journal of Symbolic Logic 21 (4):374-377.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Introduction to Mathematical Philosophy.Bertrand Russell - 1920 - Revue Philosophique de la France Et de l'Etranger 89:465-466.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   230 citations  
  • Introduction to Logic and to the Methodology of Deductive Sciences.E. N., Alfred Tarski & Olaf Helmer - 1941 - Journal of Philosophy 38 (6):164.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • The Elements of Mathematical Logic.Paul Rosenbloom - 1950 - Synthese 8 (8):430-431.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Philosophy of Logic.Michael Jubien & W. V. Quine - 1988 - Journal of Symbolic Logic 53 (1):303.
    Download  
     
    Export citation  
     
    Bookmark   104 citations  
  • Introduction to Logic and to the Methodology of Deductive Sciences. [REVIEW]N. E. - 1941 - Journal of Philosophy 38 (6):164-165.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Deductive Logic.Warren Goldfarb - 2004 - Bulletin of Symbolic Logic 10 (4):570-573.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Philosophical and Mathematical Correspondence.Gottlob Frege, Gottfried Gabriel, Brian Mcguinness & Hans Kaal - 1982 - Revue Philosophique de la France Et de l'Etranger 172 (1):64-64.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   155 citations