!!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.