来るべき哲学の変革のために

研究

プラヴィッツの文献表を以下にまとめました。私も手伝いますので適宜コピーしましょう＞Ｙ氏

Dag Prawitz Bibliography known to me (only english one)

1960

  • together with H. Prawitz and N. Voghera, "A mechanical proof procedure and its realization in an electronic computer", Journal of the Association for Computing Machinery 7, pp. 102-128. (reprinted in 1983)
  • "An improved proof procedure", Theoria 26, 1960, pp. 102-39. (reprinted in 1983)

1965

  • Natural Deduction. A Proof-Theoretical Study, Almquist and Wiksell.

1967

  • "A note on existential instantiation", Journal of Symbolic Logic 32, 1967, pp 81-82.
  • "Completeness and Hauptsatz for second order logic", Theoria 33, 1967, pp 246-58.

1968

  • "A discussion note on utilitarianism", Theoria 34, 1968, pp 76-84.
  • "Propositions", Theoria 34, 1968, pp 134-46.
  • "Hauptsatz for higher order logic", Journal of Symbolic Logic 33, 1968, pp 452-57.
  • together with P-E Malmnäs, "A survey of some connections between classical, intuitionistic and minimal logic", in Contributions to Mathematical Logic, pp 215-29, H. A. Schmidt et al (eds), North-Holland, 1968.

1969

  • "Advances and problems in mechanical proof procedures", in Machine Intelligence vol. 4, B.Meltzer and D.Michie (eds), Edinburgh University Press, 1969, pp 59-71.

1970

  • "Some results for intuitionistic logic with second order quantifiers", in Intuitionism and Proof Theory, Proceedings 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.

1971

  • "Ideas and results in proof theory", in Proceedings of the 2. Scandinavian Logic Symposium, pp 237-309, J. Fenstad (ed), North-Holland, 1971.

1972

  • "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.

1973

  • "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.

1974

  • "On the idea of a general proof theory", Synthese 27, 1974, pp 63-77. (reprinted in 1993)

1975

  • "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.

1977

  • "Meaning and proofs: On the conflict between classical and intuitionistic logic", Theoria 43, 1977, pp 2-40.

1979

  • "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.

1980

  • "Intuitionistic logic: A philosophical challenge", in Logic and Philosophy, pp 1-10, G. H. von Wright (ed.), Martinus Nijhoff Publishers, The Hague, 1980.

1981

  • "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.

1983

  • together with H. Prawitz and N. Voghera, "A mechanical proof procedure and its realization in an electronic computer", in Automation of Reasoning 1, Classical Papers on Computational Logic, J. Siekmann and G. Wrightson (eds), Springer Verlag, pp. 202-28. (reprint of 1960 with commentary)
  • "An improved proof procedure", in Automation of Reasoning 1, Classical Papers on Computational Logic, J. Siekmann and G. Wrightson (eds), Springer Verlag, pp. 162-201. (reprint of 1960 with commentary)

1985

  • "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.

1987

  • "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.

1989

  • "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.

1990

  • "Tacit knowledge - an impediment for AI?", in Artificial intelligence, culture and language: on education and work, Bo Göranzon and Magnus Florin eds., Springer, 1990, pp 57-59.

1993

  • "On the idea of a general proof theory", in A Philosophical Companion to First-Order Logic, pp 212-24, R.I.G. Hughes (ed), Hackett, 1993. (reprinted of 1974)
  • "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.
  • together with Dag Westerståhl, "Preface: A Selection of Papers Presented at the 9th International Conference of Logic, Methodology and Philosophy of Science", Annal of Pure and Applied Logic 63(1), p. 1, 1993.

1994

  • "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.
  • editor together with B. Skyrms and D. Westerståhl, Logic, Methodology and Philosophy of Science IX, Elsevier, 1994.
  • editor together with D. Westerståhl, Logic and Philosophy of Science in Uppsala, Kluwer Academic Publishers, 1994.

1995

  • "Quine and verificationism", Inquiry 37, 1995, pp 487-94.

1997

  • "Progress in philosophy", in The Idea of Progress, pp 139-53, A. Burgen et al (eds), de Gruyter, 1997.

1998

  • "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. Martinez, U. Rivas, L. Villegas-Forero (ed.), Ashgate, 1998.

2002

  • "Problems for a generalization of a verificationist theory of meaning", Topoi 21, pp 87-93, 2002.