Dag Prawitz#
Published books and papers, by year (selected)
1960
1. "A mechanical proof procedure and its realization in an electronic computer" (together with H. Prawitz and N. Voghera), Journal of the Association for Computing Machinery 7, pp 102-128.
— reprinted (with a new commentary) in: Automation of Reasoning 1, Classical Papers on Computational Logic, pp 202-28, J. Siekmann and G. Wrightson (eds), Springer Verlag, 1983.
2. "An improved proof procedure", Theoria 26, pp 102-39.
— reprinted (with a new commentary) in: Automation of Reasoning 1, Classical Papers on Computational Logic, pp 162-201, J. Siekmann and G. Wrightson (eds), Springer Verlag, 1983.
1964
3. "Normal deductions" (Abstract of paper read at a meeting in the Association for Symbolic Logic, New York 1964), Journal of Symbolic Logic 29, p 152.
1965
4. Natural Deduction. A Proof-Theoretical Study, Almqvist & Wiksell, Stockholm.
— Russian translation, Moscow, 1997
— reprinted by Dover Publications, New York, 2006.
1967
5. "A note on existential instantiation", Journal of Symbolic Logic 32, pp 81-82.
6. "Completeness and Hauptsatz for second order logic", Theoria 33, pp 246-58.
1968
7. "A survey of some connections between classical, intuitionistic and minimal logic" (together with P-E Malmnäs), in: Contributions to Mathematical Logic, pp 215-29, H. A. Schmidt et al (eds), North-Holland.
8. "Propositions", Theoria 34, pp 134-46.
9."A discussion note on utilitarianism", Theoria 34, pp 76-84.
10. "Utilitarism och alternativen till handlingar", in: Sanning Dikt och Tro, pp 251-254, Bonniers.
1969
11. "Hauptsatz for higher order logic", Journal of Symbolic Logic 33, pp 452-57.
12. "Advances and problems in mechanical proof procedures", in: Machine Intelligence 4, pp 59-71, B. Meltzer et al (eds), Edinburgh.
1970
13. "Some results for intuitionistic logic with second order quantifiers", in: Intuitionism and Proof Theory, Proc. of the Summer Conference at Buffalo, pp 259-69, J. Myhill et al (eds), North-Holland.
14. "A proof procedure with matrix reduction", in: Symposium on Automatic Demonstration, pp 207-14, M. Landet et al (eds), Springer Verlag.
15. "Constructive semantics", in: Proceedings of the 1st Scandinavian Logic Symposium Åbo 1968, pp 96-114, Uppsala.
16. "On the proof theory of mathematical analysis", in: Logic and Value, pp 169-80, T. Pauli (ed), Uppsala.
17. The alternatives to an action", Theoria 36, pp 116-26.
1971
18. "Ideas and results in proof theory", in: Proceedings of the 2. Scandinavian Logic Symposium, pp 237-309, J. Fenstad (ed), North-Holland.
— Italian translation: "Idee e risultati nella teoria della dimostrazione" in: Teoria della dimostrazione, pp.127-204, D. Cagnoni (ed), Feltrinelli, 1981.
1972
19. "The philosophical position of proof theory", in: Contemporary Philosophy in Scandinavia, pp 123-34, R. E. Olson et al (eds), The John Hopkins Press. — Japanese translation in: Readings in the Philosophy of Mathematics: After Gödel, I. Takashi (ed), 1995, pp 161-180
1973
20. "Towards a foundation of general proof theory", in: Logic, Methodology and Philosophy of Science IV, pp 225-50, P. Suppes et al (eds), North Holland. 1974
21. "On the idea of a general proof theory", Synthese 27, pp 63-77.
— also published in; Bollettino della Unione Matematica Italiana, pp 108-121, Bologna 1974.
— reprinted in: A Philosophical Companion to First-Order Logic, pp 212-24, R.I.G. Hughes (ed), Hackett, 1993.
— Italian translation: "Sull'idea di una teoria generale della dimostrazione", in: Teoria della dimostrazione, pp 205-20, D. Cagnoni (ed), Feltrinelli, 1981.
1975
22. "Comments on Gentzen-type procedures and the classical notion of truth", in: Proof Theory Symposium Kiel 1974, pp 290-319, A. Dold et al (eds), Springer Verlag.
23. ABC i symbolisk logik, Filosofiska studier nr 23, Uppsala (mimeographed) — new printed edition, Thales, Stockholm 1991
— second revised edition, Thales, Stockholm 2001.
24. "Causality and action", in: Kausalitet, Nordisk seminar om kausalitet i Oslo 1975, pp. 133-146, Dagfinn Føllesdal et al (eds), Inst. for filosofi, Univ. i Oslo, Oslo. 1977
25. "Meaning and proofs: On the conflict between classical and intuitionistic logic", Theoria 43, pp 2-40
— Hungarian translation in: A matematika filozófiája a 21. század küszöbén, pp 123-63, C. Ferenc (ed.), Budapest 2003.
26. "Logisk intuitionism, sanning och mening", Norsk filosofisk tidsskrift, pp 139-72.
1978
27. "Om moraliska och logiska satsers sanning", in: En filosofibok, pp 144-55, L. Bergström et al (eds), Bonniers.
— Portuguese translation: "Sobre a verdade das proposiçoes morais edas proposiçoes da lógica", Analytica, Revista de Filosofia 11, pp 127-141, 2007.
1979
28. "Proofs and the meaning and completeness of the logical constants", in J. Hintikka et al (eds), Essays on Mathematical and Philosophical Logic, pp 25-40, D. Reidel, Dordrecht
— German translation: "Beweise und die Bedeutung und Vollständigkeit der logischen Konstanten", Conceptus, XVI, pp 3-44, 1982.
1980
29. "Intuitionistic logic: A philosophical challenge", in: Logic and Philosophy, pp 1-10, G. H. von Wright (ed), Martinus Nijhoff Publishers, The Hague.
30. "Rationalitet och kärnkraft", Filosofisk tidskrift 1, pp 1-23.
1981
31. "Philosophical aspects of proof theory" in: Contemporary Philosophy. A new survey, vol 1, pp 235-77, Martinus Nijhoff Publishers, The Haugue.
32. "Validity and normalizability of proofs in 1st and 2nd order classical and intuitionistic logic". in: Atti del congresso nazionale di logica, pp 11-36, Bibliopolis.
1985
33. "Remarks on some approaches to the concept of logical consequence", Synthese 62, pp 153-71.
34. "I fondamenti della matematica oggi, Intervento di Dag Prawitz" in Atti degli incontri di logica matematica IV-VII, C. Bernardi, P. Pagli (eds), pp. 297-307, Dipartimento di Matematica, Siena.
35. "Normalization of proofs in set theory", in: Atti degli incontri di logica mathematica, pp 357-71, Siena.
36. "Värdenihilism — en vanföreställning", Tvärsnitt 7, pp 11- 15.
37. "Några filosofiska synpunkter på rationell argumentation inom juridiken", in: Rationalitet och empiri i rättsvetenskapen, pp 24-29, Juridiska fakulteten i Stockholm; skriftserien.
1987
38. "Some remarks on verificationistic theories of meaning", Synthese 73, pp 471-77.
39. "Dummett on a theory of meaning and its impact on logic" in: B.M. Taylor (ed), Michael Dummett, Contributions to Philosophy, pp 117-65, Martinus Nijhoff Publishers, Dordrecht.
1989
40. "Von Wright on the concept of cause", in: The Philosophy of Georg Henrik von Wright, P. Schilp et al (eds), pp 417-44, Open Court.
41. "Kunskap och bevis:.Översikt över en aktuell diskussion" in: Kungl. Vitterhets Historie och Antikvitets Akademiens Årsbok 1988, pp. 102-108.
1990
42. "Att överleva eller att må väl: om olika mål för miljövård" in: Vad tål naturen?, L. Lundgren (ed), pp 45-52, Naturvårdsverket (Rapport 3738).
1991
43. Psykoanalytisk sanning - natur eller humanvetenskaplig?, in: Psykoanalys och kultur, H. Reiland and F. Ylander (eds), Natur och Kultur, Stockholm, pp. 127-138.
1992
44. "Turing och Witgenstein – två verklighetsuppfattningar", Dialoger 22.23, pp 47-51.
1993
45. "Remarks on Hilbert's program for the foundation of mathematics", in: Bridging the Gap: Philosophy, Mathematics, and Physics, pp 87-98, G. Corsi et al (eds), Kluwer Academic Publishers.
46. Michale Dummetts språkfilosofiska program", in: Huvudinnehåll, Nya Doxa, pp 147-156.
1994
47. "Meaning and experience", Synthese 98, pp 131-41.
48. "Meaning theory and anti-realism" in: B. McGuiness et al (eds), The Philosophy of Michael Dummett, pp 79-89, Kluwer Academic Publishers.
49."Medvetandets substans", in: Om själen, A. Ellegård (ed), pp 127-132, Natur och Kultur.
1995
50. "Quine and verificationism", Inquiry 37, pp 487-94.
1997
51. "Progress in philosophy", in: The Idea of Progress, A. Burgen et al (eds), pp 139-53, de Gruyter.
1998
52. "Truth and objectivity from a verificationist point of view", in: Truth in Mathematics, H.G. Dales et al (eds), pp 41-51, Clarendon Press, Oxford.
53. "Truth from a constructive perspective" in: Truth in Perspective: Recent Issues in Logic, Representation and Ontology, C. Martínez et al (eds), pp 23-35, Ashgate, Aldershot.
54. ”The significance of philosophical logic”, in: In Search of a New Humanism, R. Egidi (ed), pp 157-161, Kluwer Academic Publishers, Dordrecht.
55. ”Comments on the papers”, Theoria 64 (Special issue on the philosophy of Dag Prawitz), pp 283-337.
2001
56. ”A note on Kanger's work on efficient proof procedures in Collected Papers by Stig Kanger with Essays on his Life and Work, G. Holmström-Hintikka et al (eds), pp 43-52, Kluwer Academic, Dordrecht.
2002
57. ”Meaning and Objectivity”, in: Meaning and Interpretation, Konferenser 55, Kungl. Vitterhets Historie och Antikvitets Akademien, D. Prawitz (ed), Almqvist and Wiksell International, pp. 101-114.
58. ”Problems for a Generalization of a Verificationist Theory of Meaning", Topoi 21, pp 87-92.
2003
59. "Sanningens återkomst: Sanningen finns men frågan är hur", Axess 2003, pp 230-244.
60. "Sanningen i vitögat", Forskning & Framsteg, nr 1 jan-feb 2003, pp 32-37.
2005
61. ”Logical Consequence from a Constructivist Point of View”, in Handbook of Philosophy of Mathematics and Logic, S. Shapiro (ed), pp 671-695, Oxford University Press.
2006
62. ”Meaning Approached via Proofs”, Synthese 148, pp 507-524.
63. ”Skäl och goda grunder”, Filosofisk tidskrift 27, pp 3-14.
2007
64. "Pragmatism and Verificationism", in: The Philosophy of Michael Dummett, The Library of Living Philosophers, vol XXXI, R. E. Auxier and L. E. Hahn (eds), pp 455-481, Open Court, Chicago.
2008
65. "Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis", in: Deduction Computation Experiment. Exploring the Effectiveness of Proofs, R. Lupacchini and G. Corsi (eds), pp 81-94, Springer, Milano.
2009
66. "Logical Determinism and the Principle of Bivalence", in Philosophical Probings. Essays on von Wright's Later Work, F. Stoutland (ed), pp 111-135, Automatic Press, United Kingdom.
67. "Inference and Knowledge", in The Logica Yearbook 2008, M Pelis (ed), pp 175-192, College Publications, London.
Edited books and special issues of journals
En filosofibok, Bonniers, Stockholm 1978 (together with L. Bergström och H. Ofstad).
Logic, Methodology and Philosophy of Science IX, Elsevier 1994 (together with B. Skyrms and D. Westerståhl).
Logic and Philosophy of Science in Uppsala, Kluwer Academic Publishers 1994 (together with D. Westerståhl).
Annals of Pure and Applied Logic vol. 63, number 1, 1963 Special issue. A selection of papers presented at the 9th International Congress of Logic, Methodology and Philosophy of Science, 1993 (together with D. Westerståhl).
Meaning and Interpretation, Konferenser 55, Kungl. Vitterhets Historie och Antikvitets Akademien, Almqvist and Wiksell International, 2002.
