Synthese 183 (2):187-210 (2011)
AbstractTaking Per Martin-Löf’s constructive type theory as a starting-point a theory of assertion is developed, which is able to account for the epistemic aspects of the speech act of assertion, and in which it is shown that assertion is not a wide genus. From a constructivist point of view, one is entitled to assert, for example, that a proposition A is true, only if one has constructed a proof object a for A in an act of demonstration. One thereby has grounded the assertion by an act of demonstration, and a grounding account of assertion therefore suits constructive type theory. Because the act of demonstration in which such a proof object is constructed results in knowledge that A is true, the constructivist account of assertion has to ward off some of the criticism directed against knowledge accounts of assertion. It is especially the internal relation between a judgement being grounded and its being known that makes it possible to do so. The grounding account of assertion can be considered as a justification account of assertion, but it also differs from justification accounts recently proposed, namely in the treatment of selfless assertions, that is, assertions which are grounded, but are not accompanied by belief
Similar books and articles
Assertion and grounding: a theory of assertion for constructive type theory.Maria Schaar - 2011 - Synthese 183 (2):187-210.
The assertion-candidate and the meaning of mood.Maria van der Schaar - 2007 - Synthese 159 (1):61-82.
The status of the knowledge account of assertion.Frank Hindriks - 2007 - Linguistics and Philosophy 30 (3):393-406.
Against Assertion.Herman Cappelen - 2011 - In Jessica Brown & Herman Cappelen (eds.), Assertion: New Philosophical Essays. Oxford University Press.
Davidson on assertion, convention and belief.Eva Picardi - 1989 - In Grazer Philosophische Studien. Netherlands: Rodopi. pp. 97-107.
Assertion and The Provision of Knowledge.Charlie Pelling - 2013 - Philosophical Quarterly 63 (251):293-312.
Epistemological contextualism and the knowledge account of assertion.Joseph Shieber - 2009 - Philosophia 37 (1):169-181.
Added to PP
Historical graph of downloads
Citations of this work
Philosophy of Mathematics for the Masses : Extending the scope of the philosophy of mathematics.Stefan Buijsman - 2016 - Dissertation, Stockholm University
References found in this work
Truth and Truthfulness: An Essay in Genealogy.Bernard Williams - 2002 - Princeton: Princeton University Press.
Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.
Deciding to believe.Bernard Williams - 1973 - In Problems of the Self. Cambridge University Press. pp. 136--51.