62 found
Order:
  1. Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: 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.
  2.  64
    Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.
  3. Meaning Approached Via Proofs.Dag Prawitz - 2006 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   68 citations  
  4. Meaning and proofs: On the conflict between classical and intuitionistic logic.Dag Prawitz - 1977 - Theoria 43 (1):2--40.
  5. On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.
  6.  21
    [Omnibus Review].Dag Prawitz - 1991 - 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)  
     
    Export citation  
     
    Bookmark   90 citations  
  7. Towards a Foundation of General Proof Theory.Dag Prawitz - 1973 - In ¸ Itetsuppes1973. North Holland, Amsterdam.
     
    Export citation  
     
    Bookmark   55 citations  
  8. The epistemic significance of valid inference.Dag Prawitz - 2012 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  9. Meaning and Proofs: On the Conflict between Classical and Intuitionistic Logic.Dag Prawitz - 1977 - Theroia 43:1--40..
     
    Export citation  
     
    Bookmark   46 citations  
  10. Remarks on some approaches to the concept of logical consequence.Dag Prawitz - 1985 - Synthese 62 (2):153 - 171.
  11.  43
    The Fundamental Problem of General Proof Theory.Dag Prawitz - 2019 - Studia Logica 107 (1):11-29.
    I see the question what it is that makes an inference valid and thereby gives a proof its epistemic power as the most fundamental problem of general proof theory. It has been surprisingly neglected in logic and philosophy of mathematics with two exceptions: Gentzen’s remarks about what justifies the rules of his system of natural deduction and proposals in the intuitionistic tradition about what a proof is. They are reviewed in the paper and I discuss to what extent they succeed (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12. Hauptsatz for higher order logic.Dag Prawitz - 1968 - Journal of Symbolic Logic 33 (3):452-457.
  13. On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning.Dag Prawitz - 2016 - In Peter Schroeder-Heister & Thomas Piecha (eds.), Advances in Proof-Theoretic Semantics. Springer Verlag.
     
    Export citation  
     
    Bookmark   7 citations  
  14. The Concepts of Proof and Ground.Dag Prawitz - 2019 - In Peter Schuster, Deniz Sarikaya, Sara Negri & Stefania Centrone (eds.), Mathesis Universalis, Computability and Proof. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  15.  30
    The Seeming Interdependence Between the Concepts of Valid Inference and Proof.Dag Prawitz - 2019 - Topoi 38 (3):493-503.
    We may try to explain proofs as chains of valid inference, but the concept of validity needed in such an explanation cannot be the traditional one. For an inference to be legitimate in a proof it must have sufficient epistemic power, so that the proof really justifies its final conclusion. However, the epistemic concepts used to account for this power are in their turn usually explained in terms of the concept of proof. To get out of this circle we may (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  2
    Validity of Inferences.Dag Prawitz - 2013 - In Michael Frauchiger (ed.), Reference, Rationality, and Phenomenology: Themes from Føllesdal. De Gruyter. pp. 179-204.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  17.  78
    Comments on the papers.Dag Prawitz - 1998 - Theoria 64 (2-3):283-337.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  18. Truth as an Epistemic Notion.Dag Prawitz - 2012 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  19.  73
    An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  20. Problems for a generalization of a verificationist theory of meaning.Dag Prawitz - 2002 - Topoi 21 (1-2):87-92.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  21.  18
    Meaning theory and anti-realism.Dag Prawitz - 1994 - In Brian McGuiness & Gianluigi Oliveri (eds.), The Philosophy of Michael Dummett. Kluwer Academic Publishers. pp. 79--89.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  22.  59
    Completeness and Hauptsatz for second order logic.Dag Prawitz - 1967 - Theoria 33 (3):246-258.
  23.  43
    Book reviews. [REVIEW]Dag Prawitz - 1994 - Mind 103 (411):373-376.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  24. The Philosophical Position of Proof Theory.Dag Prawitz - 1972 - In R. E. Olson & A. M. Paul (eds.), Contemporary Philosophy in Scandinavia. John Hopkins Press. pp. 123–134.
    No categories
     
    Export citation  
     
    Bookmark   6 citations  
  25.  29
    Hauptsatz for Higher Order Logic.Dag Prawitz - 1974 - Journal of Symbolic Logic 39 (3):607-607.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  26.  15
    To Explain Deduction.Dag Prawitz - 2017 - In Michael Frauchiger (ed.), Truth, Meaning, Justification, and Reality: Themes From Dummett. De Gruyter. pp. 103-122.
    The Justification of Deduction is the title of one of Michael Dummett’s essays. It names also an important theme in his writings to which he returned in the book The Logical Basis of Metaphysics. In the essay he distinguishes different levels of justification of increasing philosophical depth. At the third and deepest level, the focus is on explaining deduction rather than on justifying it. The task is to explain how deduction can be both legitimate and useful in giving us knowledge. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Comments on Michael Dummett's paper.Dag Prawitz - 1998 - Theoria 64.
     
    Export citation  
     
    Bookmark   5 citations  
  28.  42
    The alternatives to an action.Dag Prawitz - 1970 - Theoria 36 (2):116-126.
  29.  49
    A discussion note on utilitarianism.Dag Prawitz - 1968 - Theoria 34 (1):76-84.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  30.  52
    A note on existential instantiation.Dag Prawitz - 1967 - Journal of Symbolic Logic 32 (1):81-82.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  20
    A Mechanical Proof Procedure and its Realization in an Electronic Computer.Dag Prawitz & Neri Voghera - 1966 - Journal of Symbolic Logic 31 (1):126-126.
  32.  86
    Quine and verificationism.Dag Prawitz - 1994 - Inquiry: An Interdisciplinary Journal of Philosophy 37 (4):487 – 494.
  33.  62
    Some remarks on verificationistic theories of meaning.Dag Prawitz - 1987 - Synthese 73 (3):471 - 477.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  15
    The Adequacy Problem for Classical Logic.J. I. Zucker, R. S. Tragesser, Dag Prawitz, Jaakko Hintikka & Ilkka Niiniluoto - 1982 - Journal of Symbolic Logic 47 (3):689-694.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  11
    An Improved Proof Procedure.Dag Prawitz - 1966 - Journal of Symbolic Logic 31 (1):126-127.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  14
    Paul Weingartner and Hans-Peter Leeb, eds, Kreisel’s Interests: On the Foundations of Logic and Mathematics.Dag Prawitz - 2022 - Philosophia Mathematica 30 (1):121-126.
  37.  46
    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.Dag Prawitz, Brian Skyrms & Dag Westerståhl (eds.) - 1994 - New York: 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)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  75
    Meaning and experience.Dag Prawitz - 1994 - Synthese 98 (1):131 - 141.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  29
    Gaisi Takeuti. Proof theory. Studies in logic and the foundations of mathematics, vol. 81. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, vii + 372 pp. - Gaisi Takeuti. Proof theory. Second edition of the preceding. Studies in logic and the foundations of mathematics, vol. 81. North-Holland, Amsterdam etc. 1987, x + 490 pp. - Georg Kreisel. Proof theory: some personal recollections. Therein, pp. 395–405. - Wolfram Pohlers. Contributions of the Schütte school in Munich to proof theory. Therein, pp. 406–431. - Stephen G. Simpson. Subsystems of Z2 and reverse mathematics. Therein, pp. 432–446. - Soloman Feferman. Proof theory: a personal report. Therein, pp. 447–485. [REVIEW]Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40. ABC i symbolisk logik.Dag Prawitz - 1968 - Uppsala: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.
    No categories
     
    Export citation  
     
    Bookmark  
  41. 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]Dag Prawitz & Dag Westerstdhl - 1993 - Annals of Pure and Applied Logic 63:1.
     
    Export citation  
     
    Bookmark  
  42. Förord.Dag Prawitz - 2004 - Norsk Filosofisk Tidsskrift 4.
    No categories
     
    Export citation  
     
    Bookmark  
  43. ¸ Iteprawitz1994.Dag Prawitz, Brian Skyrms & Dag Westerståhl (eds.) - 1991 - Elsevier.
    No categories
     
    Export citation  
     
    Bookmark  
  44. ¸ Itetsuppes1973.Dag Prawitz - 1973 - North Holland, Amsterdam.
    No categories
     
    Export citation  
     
    Bookmark  
  45. In Memoriam: Michael Dummett 1925–2011.Dag Prawitz - 2013 - Bulletin of Symbolic Logic 19 (1):119-122.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  7
    Logic and Philosophy of Science in Uppsala: Papers From the 9th International Congress of Logic, Methodology and Philosophy of Science.Dag Prawitz & Dag Westerståhl (eds.) - 1994 - Dordrecht, Netherland: Kluwer Academic Publishers.
    This collection of 38 papers gives a cross-section of ongoing research in philosophy of science and philosophical logic. The papers, written by active researchers in the field and published here for the first time, are drawn from around 650 papers that were contributed to the 9th International Congress of Logic, Methodology and Philosophy of Science in Uppsala, Sweden, 1991. Some of the speakers whose contributions attracted special interest were invited to contribute their papers to this volume. A few papers appear (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  2
    Meaning and interpretation: conference held in Stockholm, September 24-26, 1998.Dag Prawitz (ed.) - 2002 - [Stockholm]: Kungl. Vitterhets, historie och antikvitets akademien.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Skäl och goda grunder.Dag Prawitz - 2006 - Norsk Filosofisk Tidsskrift 1.
    No categories
     
    Export citation  
     
    Bookmark  
  49. Presentation of the program Meaning and Interpretation.Dag Prawitz - 2002 - In Meaning and Interpretation: Conference Held in Stockholm, September 24-26, 1998. Kungl. Vitterhets, Historie Och Antikvitets Akademien. pp. 55--7.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  17
    Paul Strauss. Some systems of natural deduction. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 286–290.Dag Prawitz - 1970 - Journal of Symbolic Logic 35 (3):466.
1 — 50 / 62