|
 |
E-mail:
dag.prawitz@
philosophy.su.se
Dag Prawitz was born in 1936 and took his PhD at Stockholm university in 1965 with the dissertation Natural Deduction. A Proof-Theoretic Study. His supervisor was Anders Wedberg. After some years as associate professor at Lund university and then as professor at Oslo university he succeeded Wedberg as professor of theoretical philosophy at Stockholm university 1976. He has acted as consultant to inter alia the Swedish Institute of Computer Science and he is editor-in-chief of the publishing house Thales. He is a member of inter alia the Royal Academy of Letters and Antiquiity and the Royal Academy of Science.
Prawitz main areas are logic, the philosophy of logic and mathematics, and philosophy of language. Within logic he has worked mostly in proof theory, where he has published extensively. In later years he has published primarly within the philosophy of logic and mathematics and in philosophy of language, where his views are close to those of Michael Dummett's. He has also written about utilitarianism and moral reasoning.
Since 1996 Prawitz leads the big interdiscipinary research project Meaning and Interpretation, funded by the Tercentanary foundation of the Swedish National Bank. The project involves 22 researchers from several swedish universities, in the subjects of philosophy, history of literature, linguistics, scandinavian languages, theatre studies and history of art.
Natural Deduction. A Proof-Theoretic Study, 1965.
ABC i Symbolisk
Logik, 1975, 2:a uppl 1991
"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 commentary) in: Automation of Reasoning 1, Classical Papers on Computational Logic, pp 202-28, J. Siekmann and G. Wrightson (eds), Springer Verlag, 1983.
"An improved proof procedure", Theoria 26, 1960, pp 102-39.
reprinted (with a commentary) in: Automation of Reasoning 1, Classical Papers on Computational Logic, pp 162-201, J. Siekmann and G. Wrightson (eds), Springer Verlag, 1983.
"A note on existential instantiation", Journal of Symbolic Logic 32, 1964, pp 81-82.
"Completeness and Hauptsatz for second order logic", Theoria 33, 1964, pp 246-58.
"Propositions", Theoria 34, 1968, pp 134-46.
"A discussion note on utilitarianism", Theoria 34, 1968, pp 76-84.
"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, 1968.
"Hauptsatz for higher order logic", Journal of Symbolic Logic 33, 1969, pp 452-57.
"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, 1970.
"A proof procedure with matrix reduction", in: Symposium on Automatic Demonstration, pp 207-14, M. Landet et al (eds), Springer Verlag, 1970.
"Constructive semantics", in: Proceedings of the 1st Scandinavian Logic Symposium, pp 96-114, Uppsala, 1970.
"On the proof theory of mathematical analysis", in: Logic and Value, pp 169-80, T. Pauli (ed), Uppsala, 1970.
The alternatives to an action", Theoria 36, 1970, pp 116-26.
"Ideas and results in proof theory", in: Proceedings of the 2. Scandinavian Logic Symposium, pp 237-309, J. Fenstad (ed), North-Holland, 1971.
"Idee e risultati nella teoria della dimostrazione" (Italian translation), in: Teoria della dimostrazione, pp.127-204, D. Cagnoni (ed), Feltrinelli, 1981.
"The philosophical position of proof theory", in: Contemporary Philosophy in Scandinavia, pp 123-34, R. E. Olson et al (eds), The John Hopkins Press, 1972.
"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, 1973.
"On the idea of a general proof theory", Synthese 27, 1974, pp 63-77.
reprinted in: A Philosophical Companion to First-Order Logic, pp 212-24, R.I.G. Hughes (ed), Hackett, 1993."Sull'idea di una teoria generale della dimostrazione" (Italian translation), in: Teoria della dimostrazione, pp 205-20, D. Cagnoni (ed), Feltrinelli, 1981.
"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, 1975.
"Meaning and proofs: On the conflict between classical and intuitionistic logic", Theoria 43, 1977, pp 2-40.
"Utilitarism och alternativen till handlingar", in: Sanning Dikt och Tro, 1968, pp 251-254, Bonniers.
"Logisk intuitionism, sanning och mening", Norsk filosofisk tidsskrift, 1977, pp 139-72.
"Om moraliska och logiska satsers sanning", in: En filosofibok, pp 144-55, L. Bergström et al (eds), Bonniers, 1978.
"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, 1979.
"Beweise und die Bedeutung und Vollständigkeit der logischen Konstanten" (German translation), Conceptus, XVI, pp 3-44, 1982.
"Intuitionistic logic: A philosophical challenge", in: Logic and Philosophy, pp 1-10, G. H. von Wright (ed.), Martinus Nijhoff Publishers, The Hague, 1980.
"Rationalitet och kärnkraft", Filosofisk tidskrift 1, 1980, pp 1-23.
"Philosophical aspects of proof theory" in: Contemporary Philosophy. A new survey, vol 1, pp 235-77, Martinus Nijhoff Publishers, The Haugue, 1981.
"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, 1981.
"Remarks on some approaches to the concept of logical consequence", Synthese 62, 1985, pp 153-71.
"Normalization of proofs in set theory", in: Atti degli incontri di logica mathematica, pp 357-71, Siena, 1985.
"Värdenihilism - en vanföreställning", Tvärsnitt 7, 1985, pp 11- 15.
"Några filosofiska synpunkter på rationell argumentation inom juridiken", in: Rationalitet och empiri i rättsvetenskapen, pp 24-29, Juridiska fakulteten i Stockholm; skriftserien, 1985.
"Some remarks on verificationistic theories of meaning", Synthese 73, 1987, pp 471-77.
"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, 1987.
"Von Wright on the concept of cause", in: The Philosophy of Georg Henrik von Wright, pp 417-44, P. Schilpp et alt. (eds), Open Court, 1989.
"Att överleva eller att må väl: om olika mål för miljövård" in: Vad tål naturen?, pp 45-52, L. Lundgren (ed), Naturvårdsverket (Rapport 3738), 1990.
"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, 1993.
"Meaning and experience", Synthese 98, 1994, pp 131-41.
"Meaning theory and anti-realism" in: B. McGuiness et al (eds), The Philosophy of Michael Dummett, pp 79-89, Kluwer Academic Publishers, 1994.
Logic, Methodology and Philosophy of Science IX, Elsevier, 1994: editor (together with B. Skyrms and D. Westerståhl)
Logic and Philosophy of Science in Uppsala, Kluwer Academic Publishers, 1994: editor (together with D. Westerståhl)
"Quine and verificationism", Inquiry 37, 1995, pp 487-94.
"Progress in philosophy", in: The Idea of Progress, pp 139-53, A. Burgen et al (eds), de Gruyter, 1997.
"Truth and objectivity from a verificationist point of view", in: Truth in Mathematics, pp 41-51, H.G. Dales et al (eds), Clarendon Press, Oxford, 1998.
"Truth from a constructive perspective" in: Truth in Perspective: Recent Issues in Logic,Representation and Ontology, pp 23-35, C, 1998.