Abstract
The concept of “necessity of thought” plays a central role in Dag Prawitz’s essay “Logical Consequence from a Constructivist Point of View”. The theme is later developed in various articles devoted to the notion of valid inference. In Sect. 4.1 I explain how the notion of necessity of thought emerges from Prawitz’s analysis of logical consequence. I try to expound Prawitz’s views concerning the necessity of thought in Sects. 4.2, 4.3 and 4.4. In Sects. 4.5 and 4.6 I discuss some problems arising with regard to Prawitz’s views.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Beall, J. C. (2010). Logic. London: Routledge.
Burgess, J. (2009). Philosophical logic. Princeton: Princeton University Press.
DeRose, K. (2009). The case for contextualism. Oxford: Clarendon Press.
Descartes, R. (1985). Rules for the direction of the mind. In: trans by D. Murdoch (Ed.) The philosophical writings of Descartes (pp. 7–78). Cambridge: Cambridge University Press.
Etchemendy, J. (1990). The concept of logical consequence. Harvard: Harvard University Press.
Prawitz, D. (1973). Towards a foundation of general proof theory. In P. Suppes (Ed.), Logic, methodology and philosophy of science IV (pp. 225–250). Amsterdam: North-Holland Publishing Company.
Prawitz, D. (2005). Logical consequence from a constructivist point of view. In S. Shapiro (Ed.), The Oxford handbook of philosophy of mathematics and logic (pp. 671–695). Oxford: Oxford University Press.
Prawitz, D. (2009). Inference and knowledge. In M. Pelis (Ed.), The Logica yearbook 2008 (pp. 175–192). London: College Publications.
Prawitz D (2010) Validity of inferences. In: Proceedings from the 2nd Launer Symposium on Analytical Philosophy on the Occasion of the Presentation of the Launer Prize at Bern 2006.
Prawitz, D. (2011). Proofs and perfect syllogisms. In C. Cellucci, E. R. Grosholz, & E. Ippoliti (Eds.), Logic and knowledge (pp. 385–402). Cambridge: Cambridge Scholars Publishing.
Prawitz, D. (2012a). The epistemic significance of valid inference. Synthese, 187(3), 887–898.
Prawitz, D. (2012b). Truth and proof in intuitionism. In P. Dybier, S. Lindström, E. Palmgren, & G. Sundholm (Eds.), Epistemology versus ontology (pp. 45–67). Heidelberg: Springer.
Prawitz, D. (2012c). Truth as an epistemic notion. Topoi, 31(1), 9–16.
Salisbury, J. (2009). Metalogicon. Philadelphia: Paul Dry Books.
Shapiro, S. (2005). Logical consequence, proof theory and model theory. In S. Shapiro (Ed.), The Oxford handbook of philosophy of mathematics and logic (pp. 651–670). Oxford: Oxford University Press.
Spinoza, B. (1995). The letters. Indianapolis: Hackett Publishing Company.
Sundholm, G. (1994). Ontologic versus epistemologic: Some strands in the development of logic. In D. Prawitz & D. Westerståhl (Eds.), Logic and philosophy of science in Uppsala (pp. 373–384). Dordrecht: Kluwer Academic.
Sundholm, G. (1998). Inference versus consequence. In T. Childers (Ed.), The Logica yearbook 1997 (pp. 26–35). Prague: Filosofia.
Wittgenstein, L. (1956). Remarks on the foundations of mathematics. Oxford: Blackwell. (3rd edition 1998).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Cozzo, C. (2015). Necessity of Thought. In: Wansing, H. (eds) Dag Prawitz on Proofs and Meaning. Outstanding Contributions to Logic, vol 7. Springer, Cham. https://doi.org/10.1007/978-3-319-11041-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-11041-7_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11040-0
Online ISBN: 978-3-319-11041-7
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)