Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/prawitz

Dag Prawitz (prawitz)

Contributions à Philosophie.ch

No contributions yet

Bibliography

    Prawitz, Dag. 1965. Natural Deduction: A Proof Theoretical Study. Stockholm Studies in Philosophy n. 3. Stockholm: Almqvist & Wiksell.
    Prawitz, Dag. 1967. A Note on Existential Instantiation.” The Journal of Symbolic Logic 32: 81–82.
    Prawitz, Dag. 1968. A Discussion Note on Utilitarianism.” Theoria 34: 76–84.
    Prawitz, Dag. 1970a. The Alternatives to an Action.” Theoria 36: 116–126.
    Prawitz, Dag. 1970b. On the Proof Theory of Mathematical Analysis.” in Logic and Value: Essays Dedicates to Thorild Dahlquist on his Fiftieth Birthday, edited by Tom Pauli. Filosofiska studier utgivna av Filosofiska foreningen och Filosofiska institutionen vid Uppsala universitet n. 9. Uppsala: Uppsala Universitet.
    Prawitz, Dag. 1970c. Some Results for Intuitionistic Logic with Second Order Quantification Rules.” in Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968, edited by Akiko Kino, John Myhill, and Richard E. Vesley, pp. 259–269. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
    Prawitz, Dag. 1971. Ideas and Results in Proof Theory.” in Proceedings of the 2nd Scandinavian Logic Symposion, edited by Jens Erik Fenstad, pp. 235–307. Studies in Logic and the Foundations of Mathematics n. 63. Amsterdam: North-Holland Publishing Co.
    Prawitz, Dag. 1972. The Philosophical Position of Proof Theory.” in Contemporary Philosophy in Scandinavia, edited by Raymond E. Olson and Anthony M. Paul. Baltimore, Maryland: John Hopkins University Press.
    Prawitz, Dag. 1973. Toward a foundation for general proof theory.” in Logic, Methodology and Philosophy of Science IV: Proceedings of the Fourth International Congress in Bucharest 1971, edited by Patrick Suppes, Leon Henkin, Athanase Joja, and Gr.C. Moisil, pp. 225–250. Studies in Logic and the Foundations of Mathematics n. 74. Amsterdam: North-Holland Publishing Co.
    Prawitz, Dag. 1974. On the Idea of a General Proof Theory.” Synthese 27(1-2): 63–77, doi:10.1007/bf00660889.
    Prawitz, Dag. 1975a. ABC i symbolisk logik. Logikens språk och grundbegrepp. Filosofiska studier utgivna av Filosofiska foreningen och Filosofiska institutionen vid Uppsala universitet n. 23. Uppsala: Uppsala Universitet.
    Prawitz, Dag. 1975b. Comments on Gentzen-type procedures and the classical notion of truth.” in Proof Theory Symposium: Kiel 1974, edited by Justus Diller and D. H. Mueller, pp. 290–319. Berlin: Springer.
    Prawitz, Dag. 1977. Meaning and Proofs: On the Conflict between Classical and Intuitionistic Logic.” Theoria 43: 2–40.
    Prawitz, Dag. 1979. Proofs and the Meaning and Completeness of the Logical Constants.” in, pp. 25–40.
    Prawitz, Dag. 1980. Intuitionistic Logic: A Philosophical Challenge.” in Logic and Philosophy, edited by Georg Henrik von Wright, pp. 1–10. Den Haag: Martinus Nijhoff Publishers.
    Prawitz, Dag. 1981. Philosophical Aspects of Proof Theory.” in Contemporary Philosophy: A new survey. Volume 1: Philosophy of Language / Philosophical Logic, edited by Guttorm Fløistad, pp. 235–277. Den Haag: Martinus Nijhoff Publishers.
    Prawitz, Dag. 1982. Beweise und die Bedeutung und Vollständigkeit der logischen Konstanten.” Conceptus: Zeitschrift für Philosophie 16: 31–44.
    Prawitz, Dag. 1985. Remarks on Some Approaches to the Concept of Logical Consequence.” Synthese 62(2): 153–172.
    Prawitz, Dag. 1987a. Some Remarks on Verificationist Theories of Meaning.” Synthese 73: 471–477.
    Prawitz, Dag. 1987b. Comments on Michael Dummett’s Paper ’Truth from a Constructive Standpoint’ [Dummett (1998)].” Theoria 53: 283–292.
    Prawitz, Dag. 1987c. Dummett on a Theory of Meaning and its Impact on Logic.” in Michael Dummett: Contributions to Philosophy, edited by Barry Taylor, pp. 117–165. Nijhoff International Philosophy Series n. 25. Den Haag: Martinus Nijhoff Publishers.
    Prawitz, Dag. 1989. Von Wright on the Concept of Cause.” in The Philosophy of Georg Henrik von Wright, edited by Lewis Edwin Hahn and Paul Arthur Schilpp, pp. 417–444. The Library of Living Philosophers n. 19. LaSalle, Illinois: Open Court Publishing Co.
    Prawitz, Dag. 1991. Dummett, Michael.” in Handbook of Metaphysics and Ontology, edited by Hans Burkhardt and Barry Smith. Analytica: Investigations in Logic, Ontology, and the Philosophy of Language n. 2. München: Philosophia Verlag.
    Prawitz, Dag. 1992. Remarks on Hilbert’s Program for the Foundation of Mathematics.” in Bridging the Gap: Philosophy, Mathematics and Physics. Lectures on the Foundations of Science, edited by Giovanna Corsi, Maria Luisa Dalla Chiara, and Giancarlo C. Ghirardi, pp. 87–98. Boston Studies in the Philosophy of Science n. 140. Dordrecht: Kluwer Academic Publishers.
    Prawitz, Dag. 1994a. Meaning and Experience.” Synthese 98: 131–141.
    Prawitz, Dag. 1994b. Meaning Theory and Anti-Realism.” in The Philosophy of Michael Dummett, edited by Brian McGuinness and Gianluigi Oliveri, pp. 79–91. Synthese Library n. 239. Dordrecht: Kluwer Academic Publishers. Papers presented at the First International Philosophy Conference of Mussomeli, Sicily, Sept. 1991.
    Prawitz, Dag. 1994c. Quine and Verificationism.” Inquiry 37(4): 487–494.
    Prawitz, Dag. 1998. Truth and Objectivity from a Verificationist Point of View.” in Truth in Mathematics, edited by H. Garth Dales and Gianluigi Oliveri, pp. 41–52. Oxford: Oxford University Press.
    Prawitz, Dag. 1999. The Significance of Philosophical Logic.” in In Search of a New Humanism. The Philosophy of Georg Henrik von Wright, edited by Rosaria Egidi, pp. 157–162. Synthese Library n. 282. Dordrecht: Kluwer Academic Publishers.
    Prawitz, Dag. 2001. A Note on Kanger’s Work on Efficient Proof Procedures.” in Collected Papers of Stig Kanger with Essays on His Life and Work, edited by Ghita Holmström-HIntikka, Sten Lindström, and Rysiek Sliwinski, pp. 43–52. Synthese Library n. 304. Dordrecht: Kluwer Academic Publishers.
    Prawitz, Dag. 2004. An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited.” in Advances in Natural Deduction. A Celebration of Dag Prawitz’s Work, edited by Luiz Carlos Pereira, Edward Hermann Hausler, and Valeria de Paiva, pp. 269–279. Trends in Logic n. 39–54. Dordrecht: Springer.
    Prawitz, Dag. 2005. Logical Consequence From a Constructivist Point of View.” in The Oxford Handbook of Philosophy of Mathematics and Logic, edited by Stewart Shapiro, pp. 671–695. Oxford Handbooks. Oxford: Oxford University Press, doi:10.1093/oxfordhb/9780195325928.003.0022.
    Prawitz, Dag. 2006. Meaning Approached Via Proofs.” Synthese 148(2): 507–524.
    Prawitz, Dag. 2007. Pragmatist and Verificationist Theories of Meaning.” in The Philosophy of Michael Dummett, edited by Randall E. Auxier and Lewis Edwin Hahn, pp. 455–481. The Library of Living Philosophers n. 31. LaSalle, Illinois: Open Court Publishing Co.
    Prawitz, Dag. 2009. Inference and Knowledge.” in The Logica Yearbook 2008, edited by Michal Peliš, pp. 175–192. London: College Publications.
    Prawitz, Dag. 2012a. The Epistemic Significance of Valid Inference.” Synthese 187(3): 887–898.
    Prawitz, Dag. 2012b. Truth and Proof in Intuitionism.” in Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, edited by Peter Dybjer, Sten Lindström, Erik Palmgren, and Göran Sundholm, pp. 45–68. Logic, Epistemology, and the Unity of Science n. 27. Dordrecht: Springer.
    Prawitz, Dag. 2013. Validity of Inferences.” in Reference, Rationality, and Phenomenology. Themes from Føllesdal, edited by Michael Frauchiger, pp. 179–204. Lauener Library of Analytical Philosophy n. 2. Heusenstamm b. Frankfurt: Ontos Verlag.
    Prawitz, Dag, Skyrms, Brian and Westerståhl, Dag, eds. 1994. Logic, Methodology and Philosophy of Science IX: Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Swede, August 7-14, 1991. Studies in Logic and the Foundations of Mathematics n. 134. Amsterdam: Elsevier Science Publishers B.V.
    Prawitz, Dag and Westerståhl, Dag, eds. 1994. Logic, and Philosophy of Science in Uppsala. Synthese Library n. 236. Dordrecht: Kluwer Academic Publishers.

Further References

    Dummett, Michael A. E. 1998. Truth from the Constructive Standpoint.” Theoria 64.