Switch to: Citations

Add references

You must login to add references.
  1. Gesammelte Abhandlungen mathematischen und philosophischen Inhaltes.Georg Cantor & E. Zermelo - 1939 - Journal of Unified Science (Erkenntnis) 8 (1):182-183.
    No categories
     
    Export citation  
     
    Bookmark   65 citations  
  • What is Mathematics About?Michael Dummett - 1993 - In The seas of language. New York: Oxford University Press. pp. 429--445.
  • Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   116 citations  
  • Reasoning with Arbitrary Objects.John Macnamara - 1988 - Journal of Symbolic Logic 53 (1):305.
  • 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.
  • Anti-realist semantics.Wolfram Hinzen - 2000 - Erkenntnis 52 (3):281-311.
    I argue that the implementation of theDummettian program of an ``anti-realist'' semanticsrequires quite different conceptions of the technicalmeaning-theoretic terms used than those presupposed byDummett. Starting from obvious incoherences in anattempt to conceive truth conditions as assertibilityconditions, I argue that for anti-realist purposesnon-epistemic semantic notions are more usefully kept apart from epistemic ones rather than beingreduced to them. Embedding an anti-realist theory ofmeaning in Martin-Löf's Intuitionistic Type Theory(ITT) takes care, however, of many notorious problemsthat have arisen in trying to specify suitableintuitionistic (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Cantorian set Theory and Limitation of Size.John Mayberry - 1986 - Philosophical Quarterly 36 (144):429-434.
    This is a book review of Cantorian set theory and limitations of size by Michael Hallett.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  • Reasoning with arbitrary objects.Kit Fine - 1985 - New York, NY, USA: Blackwell.
    Contents: Preface VII; Introduction 1; 1. The General Framework 5; 2. Some Standard Systems 61; 3. Systems in General 147; 4. Non-Standard Systems 177; Bibliography 210; General Index 215; Index of Symbols 219-220.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   86 citations  
  • The seas of language.Michael Dummett - 1993 - New York: Oxford University Press.
    Michael Dummett is a leading contemporary philosopher whose work on the logic and metaphysics of language has had a lasting influence on how these subjects are conceived and discussed. This volume contains some of the most provocative and widely discussed essays published in the last fifteen years, together with a number of unpublished or inaccessible writings. Essays included are: "What is a Theory of Meaning?," "What do I Know When I Know a Language?," "What Does the Appeal to Use Do (...)
  • Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. [REVIEW]Paul Weiss - 1934 - Philosophical Review 43 (2):214-215.
  • Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.
    Provability, Computability and Reflection.
    Direct download  
     
    Export citation  
     
    Bookmark   154 citations  
  • Gesammelte Abhandlungen: Mathematischen und Philosophischen Inhalts.Georg Cantor, Richard Dedekind & Abraham Adolf Fraenkel - 1932 - Springer.
    Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   67 citations  
  • Cantorian Abstraction.Kit Fine - 1998 - Journal of Philosophy 95 (12):599-634.
  • Reasoning with Arbitrary Objects.Kit Fine - 1985 - Revue Philosophique de la France Et de l'Etranger 176 (3):402-403.
     
    Export citation  
     
    Bookmark   80 citations  
  • Critique of Pure Reason.I. Kant - 1787/1998 - Philosophy 59 (230):555-557.
  • Cantorian Set Theory and Limitation of Size.Michael Hallett - 1986 - Mind 95 (380):523-528.
    No categories
     
    Export citation  
     
    Bookmark   78 citations  
  • Cantorian Set Theory and Limitation of Size.Michael Hallett - 1990 - Studia Logica 49 (2):283-284.
     
    Export citation  
     
    Bookmark   92 citations