Proofs as Acts and Proofs as Objects: Some questions for Dag Prawitz

Theoria 64 (2-3):187-216 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
The role of diagrams in mathematical arguments.David Sherry - 2008 - Foundations of Science 14 (1-2):59-74.
How Fundamental is the Fundamental Assumption?Nils Kurbis - 2012 - Teorema: International Journal of Philosophy 2 (2):5-19.
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.
Truth as an Epistemic Notion.Dag Prawitz - 2012 - Topoi 31 (1):9-16.
Identity of proofs based on normalization and generality.Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (4):477-503.
On mathematical proofs of the vacuity of compositionality.dag westerståhl - 1998 - Linguistics and Philosophy 21 (6):635-643.
The Depth of Resolution Proofs.Alasdair Urquhart - 2011 - Studia Logica 99 (1-3):349-364.

Analytics

Added to PP
2010-09-13

Downloads
68 (#217,390)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Göran Sundholm
Leiden University

References found in this work

Truth-Makers.Kevin Mulligan, Peter Simons & Barry Smith - 1984 - Philosophy and Phenomenological Research 44 (3):287-321.
General Propositions and Causality.Frank Plumpton Ramsey - 1929 - In The Foundations of Mathematics and other Logical Essays. Kegan Paul, Trench, Trübner. pp. 237-255.
The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.
Wissenschaftslehre.Bernard Bolzano & Alois Höfler - 1837 - Revue de Métaphysique et de Morale 22 (4):15-16.

View all 18 references / Add more references