40 found
Sort by:
  1. Dag Prawitz (forthcoming). In Memoriam: Michael Dummett 1925-2011. Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    Dag Prawitz The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 119-122, March 2013.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Dag Prawitz (2012). Truth as an Epistemic Notion. Topoi 31 (1):9-16.
    What is the appropriate notion of truth for sentences whose meanings are understood in epistemic terms such as proof or ground for an assertion? It seems that the truth of such sentences has to be identified with the existence of proofs or grounds, and the main issue is whether this existence is to be understood in a temporal sense as meaning that we have actually found a proof or a ground, or if it could be taken in an abstract, tenseless (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Dag Prawitz (2012). The Epistemic Significance of Valid Inference. Synthese 187 (3):887-898.
    The traditional picture of logic takes it for granted that "valid arguments have a fundamental epistemic significance", but neither model theory nor traditional proof theory dealing with formal system has been able to give an account of this significance. Since valid arguments as usually understood do not in general have any epistemic significance, the problem is to explain how and why we can nevertheless use them sometimes to acquire knowledge. It is suggested that we should distinguish between arguments and acts (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Dag Prawitz (2006). Meaning Approached Via Proofs. Synthese 148 (3):507 - 524.
    According to a main idea of Gentzen the meanings of the logical constants are reflected by the introduction rules in his system of natural deduction. This idea is here understood as saying roughly that a closed argument ending with an introduction is valid provided that its immediate subarguments are valid and that other closed arguments are justified to the extent that they can be brought to introduction form. One main part of the paper is devoted to the exact development of (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Dag Prawitz (2006). Skäl och goda grunder. Norsk Filosofisk Tidsskrift 1.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  6. Dag Prawitz (2004). Förord. Norsk Filosofisk Tidsskrift 4.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  7. Dag Prawitz (ed.) (2002). Meaning and Interpretation: Conference Held in Stockholm, September 24-26, 1998. Kungl. Vitterhets, Historie Och Antikvitets Akademien.
  8. Dag Prawitz (2002). Problems for a Generalization of a Verificationist Theory of Meaning. Topoi 21 (1-2):87-92.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Dag Prawitz (2002). Presentation of the Program Meaning and Interpretation. In Meaning and Interpretation: Conference Held in Stockholm, September 24-26, 1998. Kungl. Vitterhets, Historie Och Antikvitets Akademien. 55--7.
    No categories
     
    My bibliography  
     
    Export citation  
  10. Dag Prawitz (1998). Comments on Michael Dummett's Paper. Theoria 64.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  11. Dag Prawitz (1998). Comments on Peter Pagin's Paper. Theoria 64:304--318.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  12. Dag Prawitz (1998). Comments on the Papers. Theoria 64 (2-3):283-337.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  13. Jaakko Hintikka & Dag Prawitz (1996). Preface. Synthese 106 (1):1-1.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Dag Prawitz (1994). Book Reviews. [REVIEW] Mind 103 (411):373-376.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. Dag Prawitz (1994). Meaning and Experience. Synthese 98 (1):131 - 141.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. Dag Prawitz (1994). Meaning Theory and Anti-Realism. In Brian McGuiness & Gianluigi Oliveri (eds.), The Philosophy of Michael Dummett. Kluwer. 79--89.
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Dag Prawitz (1994). Quine and Verificationism. Inquiry 37 (4):487 – 494.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. Dag Prawitz, Brian Skyrms & Dag Westerståhl (eds.) (1994). Logic, Methodology, and Philosophy of Science Ix: Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991. [REVIEW] Elsevier.
    This volume is the product of the Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science and contains the text of most of ...
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Dag Prawitz & Westerståhl (1994). Logic and Philosophy of Science in Uppsala Papers From the 9th International Congress of Logic, Methodology and Philosophy of Science.
     
    My bibliography  
     
    Export citation  
  20. Dag Prawitz & Dag Westerståhl (eds.) (1994). Logic and Philosophy of Science in Uppsala. Kluwer.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  21. Dag Prawitz & Dag Westerstdhl (1993). As Organizers of the Uppsala Congress We Are Grateful to the Annals of Pure and Applied Logic for Making Available in This Way Some Papers Contributed to the Logic Sections. The Invitations to Submit Papers for Publication Were Made by Us. The Annuls has Then Applied its Usual Refereeing Procedure to the Papers That Were Submitted. [REVIEW] Annals of Pure and Applied Logic 63:1.
     
    My bibliography  
     
    Export citation  
  22. Dag Prawitz (1991). [Omnibus Review]. Journal of Symbolic Logic 56 (3):1094-1096.
    Reviewed Works:Gaisi Takeuti, Proof Theory.Georg Kreisel, Proof Theory: Some Personal Recollections.Wolfram Pohlers, Contributions of the Schutte School in Munich to Proof Theory.Stephen G. Simpson, Subsystems of $\mathbf{Z}_2$ and Reverse Mathematics.Solomon Feferman, Proof Theory: A Personal Report.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Dag Prawitz (1987). Some Remarks on Verificationistic Theories of Meaning. Synthese 73 (3):471 - 477.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  24. Dag Prawitz (1985). Remarks on Some Approaches to the Concept of Logical Consequence. Synthese 62 (2):153 - 171.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  25. Dag Prawitz (1982). Beweise und die Bedeutung und Vollständigkeit der logischen Konstanten. Conceptus: Zeitschrift Fur Philosophie 16 (38):31-44.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  26. Dag Prawitz (1980). Rationalitet och kärnkraft. Norsk Filosofisk Tidsskrift 1 (1):1.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  27. Dag Prawitz (1977). Meaning and Proofs: On the Conflict Between Classical and Intuitionistic Logic. Theoria 43 (1):2--40.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. Dag Prawitz & J. E. Fenstad (1975). Ideas and Results in Proof Theory. Journal of Symbolic Logic 40 (2):232-234.
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Dag Prawitz (1974). On the Idea of a General Proof Theory. Synthese 27 (1-2):63 - 77.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  30. Dag Prawitz (1970). Review: Paul Strauss, Some Systems of Natural Deduction. [REVIEW] Journal of Symbolic Logic 35 (3):466-466.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. Dag Prawitz (1970). The Alternatives to an Action. Theoria 36 (2):116-126.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  32. Dag Prawitz (1969). Review: J. Dopp, Logiques Construites Par Une Methode de Deduction Naturelle. [REVIEW] Journal of Symbolic Logic 34 (3):502-502.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. Dag Prawitz (1968). A Discussion Note on Utilitarianism. Theoria 34 (1):76-84.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  34. Dag Prawitz (1968). Hauptsatz for Higher Order Logic. Journal of Symbolic Logic 33 (3):452-457.
  35. Dag Prawitz (1968). Propositions. Theoria 34 (2):134-146.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  36. Dag Prawitz (1967). A Note on Existential Instantiation. Journal of Symbolic Logic 32 (1):81-82.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  37. Dag Prawitz (1967). Completeness and Hauptsatz for Second Order Logic. Theoria 33 (3):246-258.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  38. Dag Prawitz & Neri Voghera (1966). A Mechanical Proof Procedure and its Realization in an Electronic Computer. Journal of Symbolic Logic 31 (1):126-126.
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. Dag Prawitz (1965/2006). Natural Deduction: A Proof-Theoretical Study. Dover Publications.
    This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. Dag Prawitz (1960). An Improved Proof Procedure. Theoria 26 (2):102-139.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation