Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Grundzüge der theoretischen logik.David Hilbert - 1928 - Berlin,: G. Springer. Edited by Wilhelm Ackermann.
    Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der fonnalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet fUr die Logik eine ahnliche Fonnel­ sprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebrauchlich ist. In der Mathematik wurde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewohnlichen Sprache bedienen. Die groBen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum (...)
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • Russell, idealism, and the emergence of analytic philosophy.Peter Hylton - 1990 - New York: Oxford University Press.
    Analytic philosophy has become the dominant philosophical tradition in the English-speaking world. This book illuminates that tradition through a historical examination of a crucial period in its formation: the rejection of Idealism by Bertrand Russell and G.E. Moore at the beginning of the twentieth century, and the subsequent development of Russell's thought in the period before the First World War.
    Download  
     
    Export citation  
     
    Bookmark   151 citations  
  • The Foundations of Frege’s Logic.Pavel Tichý - 1988 - New York: de Gruyter.
    Chapter One: Constructions. Entities, constructions, and functions When one travels from Los Angeles to New York, going, say, by way of St. Louis, Chicago, ...
    Download  
     
    Export citation  
     
    Bookmark   165 citations  
  • On the development of the model-theoretic viewpoint in logical theory.Jaakko Hintikka - 1988 - Synthese 77 (1):1 - 36.
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • Extensions of some theorems of gödel and church.Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):87-91.
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
    A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.
    Download  
     
    Export citation  
     
    Bookmark   882 citations  
  • Logic in the twenties: The nature of the quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.
    Download  
     
    Export citation  
     
    Bookmark   102 citations  
  • Logic as Calculus and Logic as Language.Jean Van Heijenoort - 1967 - Synthese 17 (1):324-330.
    Download  
     
    Export citation  
     
    Bookmark   142 citations  
  • Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.
    Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens / von Dr. Gottlob Frege,...Date de l'edition originale : 1879Ce livre est la reproduction fidele d'une oeuvre publiee avant 1920 et fait partie d'une collection de livres reimprimes a la demande editee par Hachette Livre, dans le cadre d'un partenariat avec la Bibliotheque nationale de France, offrant l'opportunite d'acceder a des ouvrages anciens et souvent rares issus des fonds patrimoniaux de la BnF.Les oeuvres faisant partie de cette collection ont ete numerisees (...)
    Download  
     
    Export citation  
     
    Bookmark   325 citations  
  • Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  • Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre.Thoralf Skolem - 1955 - In ¸ Iteskolem:Swl. pp. 137--52.
    Download  
     
    Export citation  
     
    Bookmark   64 citations  
  • Russell's substitutional theory.Peter Hylton - 1980 - Synthese 45 (1):1 - 31.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Frege on sense identity.J. Van Heijenoort - 1977 - Journal of Philosophical Logic 6 (1):103-108.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Écrits logiques.Jacques Herbrand - 1968 - Presses Universitaires de France.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (1 other version)Subject and predicate in western logic.Jean van Heijenoort - 1974 - Philosophy East and West 24 (3):253-268.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Frege and Vagueness.Jan van Heijenoort - 1986 - In Leila Haaparanta & Jaakko Hintikka (eds.), Frege Synthesized: Essays on the Philosophical and Foundational Work of Gottlob Frege. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 31-45.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Sense in Frege.J. Van Heijenoort - 1977 - Journal of Philosophical Logic 6 (1):93-102.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Bewiesbarkeit mathematischer Sätze nebst einem Theorem über dichte Mengen.Thoralf Skolem - 1970 - In Th Skolem & Jens Erik Fenstad (eds.), Selected works in logic. Oslo,: Universitetsforlaget.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • (1 other version)Subject and Predicate in Western logic.Jean van Heijenoort - 1973 - In ¸ Itevanheijenoort1985. Bib. pp. 17-34.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Alfred Tarski, Life and Logic.Anita Burdman Feferman & Solomon Feferman - 2005 - Bulletin of Symbolic Logic 11 (4):535-540.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • With Trotsky in Exile: From Prinkipo to Coyoacán.Jean van Heijenoort - 1979 - Studies in Soviet Thought 20 (4):391-396.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Conceptual Notation and Related Articles. [REVIEW]John Corcoran & David Levin - 1972 - Philosophy of Science 36 (1):454-455.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • The Foundations of Frege's Logic.Gregor K. Frey - 1993 - Noûs 27 (4):532-535.
    Download  
     
    Export citation  
     
    Bookmark   101 citations