Switch to: Citations

Add references

You must login to add references.
  1. Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.
    Download  
     
    Export citation  
     
    Bookmark   115 citations  
  • (3 other versions)Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
    Download  
     
    Export citation  
     
    Bookmark   1919 citations  
  • (1 other version)The Development of Logic.William Calvert Kneale & Martha Kneale - 1962 - Oxford, England: Clarendon Press. Edited by Martha Kneale.
    This book traces the development of formal logic from its origins inancient Greece to the present day. The authors first discuss the work oflogicians from Aristotle to Frege, showing how they were influenced by thephilosophical or mathematical ideas of their time. They then examinedevelopments in the present century.
    Download  
     
    Export citation  
     
    Bookmark   296 citations  
  • On the meanings of the logical constants and the justifications of the logical laws.Per Martin-Löf - 1996 - Nordic Journal of Philosophical Logic 1 (1):11-60.
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • (4 other versions)Two Dogmas of Empiricism.Willard V. O. Quine - 1951 - Philosophical Review 60 (1):20–43.
    Modern empiricism has been conditioned in large part by two dogmas. One is a belief in some fundamental cleavage between truths which are analytic, or grounded in meanings independently of matters of fact, and truth which are synthetic, or grounded in fact. The other dogma is reductionism: the belief that each meaningful statement is equivalent to some logical construct upon terms which refer to immediate experience. Both dogmas, I shall argue, are ill founded. One effect of abandoning them is, as (...)
    Download  
     
    Export citation  
     
    Bookmark   1406 citations  
  • Inference, Consequence, Implication: A Constructivist's Perspective.B. G. Sundholm - 1998 - Philosophia Mathematica 6 (2):178-194.
    An implication is a proposition, a consequence is a relation between propositions, and an inference is act of passage from certain premise-judgements to another conclusion-judgement: a proposition is true, a consequence holds, whereas an inference is valid. The paper examines interrelations, differences, refinements and linguistic renderings of these notions, as well as their history. The truth of propositions, respectively the holding of consequences, are treated constructively in terms of verification-objects. The validity of an inference is elucidated in terms of the (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • The logical syntax of language.Rudolf Carnap - 1937 - London,: K. Paul, Trench, Trubner & co.. Edited by Amethe Smeaton.
    Available for the first time in 20 years, here is the Rudolf Carnap's famous principle of tolerance by which everyone is free to mix and match the rules of ...
    Download  
     
    Export citation  
     
    Bookmark   345 citations  
  • Mathematical logic.Joseph Robert Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
    8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index.
    Download  
     
    Export citation  
     
    Bookmark   222 citations  
  • Frege: Philosophy of Language.Michael Dummett - 1973 - London: Duckworth.
    This highly acclaimed book is a major contribution to the philosophy of language as well as a systematic interpretation of Frege, indisputably the father of ...
    Download  
     
    Export citation  
     
    Bookmark   850 citations  
  • (4 other versions)What is a theory of meaning?Michael A. E. Dummett - 1975 - In Samuel D. Guttenplan (ed.), Mind and language. Oxford [Eng.]: Clarendon Press.
    Download  
     
    Export citation  
     
    Bookmark   219 citations  
  • Realism, Meaning and Truth.Crispin Wright - 1986 - Cambridge, Mass., USA: Blackwell.
    Download  
     
    Export citation  
     
    Bookmark   108 citations  
  • (1 other version)Mathematical Logic.W. V. Quine - 1940 - Philosophy of Science 8 (1):136-136.
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • Type-theoretical Grammar.Aarne Ranta - 1994 - Oxford, England: Oxford University Press on Demand.
    It is the aim of INDICES to document recent explorations in the various fields of philosophical logic and formal linguistics and their applications in other disciplines. The main emphasis of this series is on self-contained monographs covering particular areas of recent research and surveys of methods, problems, and results in all fields of inquiry where recourse to logical analysis and logical methods has been fruitful. INDICES will contain monographs dealing with the central areas of philosophical logic (extensional and intensional systems, (...)
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
  • (1 other version)Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
    INTRODUCTION MATHEMATICAL logic differs from the traditional formal logic so markedly in method, and so far surpasses it in power and subtlety, ...
    Download  
     
    Export citation  
     
    Bookmark   163 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   96 citations  
  • Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.
    Download  
     
    Export citation  
     
    Bookmark   146 citations  
  • Truth of a proposition, evidence of a judgement, validity of a proof.Per Martin-Löf - 1987 - Synthese 73 (3):407 - 420.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • (2 other versions)Michael Dummett, Frege: Philosophy of Language. [REVIEW]Hidé Ishiguro - 1974 - Philosophy 49 (190):438-442.
    Download  
     
    Export citation  
     
    Bookmark   507 citations  
  • Epistemic Logic in the Later Middle Ages.Ivan Boh - 1993 - London and New York: Routledge.
    _Epistemic Logic_ studies statements containing verbs such as 'know' and 'wish'. It is one of the most exciting areas in medieval philosophy. Neglected almost entirely after the end of the Middle Ages, it has been rediscovered by philosophers of the present century. This is the first comprehensive study of the subject. Ivan Boh explores the rules for entailment between epistemic statements, the search for the conditions of knowing contingent propositions, the problems of substitutivity in intentional contexts, the relationship between epistemic (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Über den Begriff der Logischen Folgerung.Alfred Tarski - 1937 - Journal of Symbolic Logic 2 (2):83-84.
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • Frege.Michael Dummett - 1975 - Teorema: International Journal of Philosophy 5 (2):149-188.
    Download  
     
    Export citation  
     
    Bookmark   374 citations  
  • Proofs as Acts and Proofs as Objects: Some questions for Dag Prawitz.Goran Sundholm - 1998 - Theoria 64 (2-3):187-216.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • (4 other versions)Two Dogmas of Empiricism.W. V. O. Quine - 2011 - In Robert B. Talisse & Scott F. Aikin (eds.), The Pragmatism Reader: From Peirce Through the Present. Princeton University Press. pp. 202-220.
    Download  
     
    Export citation  
     
    Bookmark   922 citations  
  • Wissenschaftslehre.Bernard Bolzano & Alois Höfler - 1837 - Revue de Métaphysique et de Morale 22 (4):15-16.
    Download  
     
    Export citation  
     
    Bookmark   146 citations  
  • (1 other version)Realism, Meaning and Truth.Crispin Wright - 1992 - Revue Philosophique de la France Et de l'Etranger 182 (3):333-333.
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • Inference, consequence, implication: a constructivist's perspective.Göran Sundholm - 1998 - Philosophia Mathematica 6 (2):178-194.
    An implication is a proposition, a consequence is a relation between propositions, and an inference is act of passage from certain premise-judgements to another conclusion-judgement: a proposition is true, a consequence holds, whereas an inference is valid. The paper examines interrelations, differences, refinements and linguistic renderings of these notions, as well as their history. The truth of propositions, respectively the holding of consequences, are treated constructively in terms of verification-objects. The validity of an inference is elucidated in terms of the (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • (1 other version)The Development of Logic.William Kneale & Martha Kneale - 1962 - Studia Logica 15:308-310.
    Download  
     
    Export citation  
     
    Bookmark   323 citations  
  • William's Machine.Christopher J. Martin - 1986 - Journal of Philosophy 83 (10):564.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Implicit epistemic aspects of constructive logic.Göran Sundholm - 1997 - Journal of Logic, Language and Information 6 (2):191-212.
    In the present paper I wish to regard constructivelogic as a self-contained system for the treatment ofepistemological issues; the explanations of theconstructivist logical notions are cast in anepistemological mold already from the outset. Thediscussion offered here intends to make explicit thisimplicit epistemic character of constructivism.Particular attention will be given to the intendedinterpretation laid down by Heyting. This interpretation, especially as refined in the type-theoretical work of Per Martin-Löf, puts thesystem on par with the early efforts of Frege andWhitehead-Russell. This quite (...)
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • A History of Formal Logic.I. M. Bocheński & Ivo Thomas - 1961 - Science and Society 27 (4):492-494.
    Download  
     
    Export citation  
     
    Bookmark   97 citations  
  • Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.
    Download  
     
    Export citation  
     
    Bookmark   98 citations  
  • Natural Logic.H. A. Lewis - 1981 - Philosophical Quarterly 31 (125):376.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • Semantic Values for Natural Deduction Derivations.Göran Sundholm - 2006 - Synthese 148 (3):623-638.
    Drawing upon Martin-Löf’s semantic framework for his constructive type theory, semantic values are assigned also to natural-deduction derivations, while observing the crucial distinction between consequence among propositions and inference among judgements. Derivations in Gentzen’s format with derivable formulae dependent upon open assumptions, stand, it is suggested, for proof-objects, whereas derivations in Gentzen’s sequential format are proof-acts.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Mathematical Logic.Morton G. White & Willard Van Orman Quine - 1942 - Philosophical Review 51 (1):74.
    Download  
     
    Export citation  
     
    Bookmark   101 citations  
  • (1 other version)Realism, Meaning and Truth.Crispin Wright - 1987 - Mind 96 (383):415-418.
    Download  
     
    Export citation  
     
    Bookmark   63 citations