Assertion and grounding: a theory of assertion for constructive type theory

Synthese 183 (2):187-210 (2011)
  Copy   BIBTEX

Abstract

Taking 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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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

Assertion.Timothy Williamson - 2000 - In Knowledge and its limits. New York: Oxford University Press.
Assertion and Its Many Norms.John N. Williams - 2017 - Manuscrito 40 (4):39-76.
The norm of assertion: Empirical data.Markus Kneer - 2018 - Cognition 177 (C):165-171.
The status of the knowledge account of assertion.Frank Hindriks - 2007 - Linguistics and Philosophy 30 (3):393-406.
Sharing Knowledge: A Functionalist Account of Assertion.Christoph Kelp & Mona Simion - 2021 - New York: Cambridge University Press. Edited by Mona Simion.
Endorsement and assertion.Will Fleisher - 2021 - Noûs 55 (2):363-384.
Davidson on assertion, convention and belief.Eva Picardi - 1986 - In Abraham Zvie Bar-On (ed.), Grazer Philosophische Studien. Distributed in the U.S.A. By Humanities Press. pp. 97-107.

Analytics

Added to PP
2013-12-25

Downloads
6 (#1,485,580)

6 months
82 (#64,618)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Maria Van Der Schaar
Leiden University

References found in this work

How to do things with words.John Langshaw Austin - 1962 - Oxford [Eng.]: Clarendon Press. Edited by Marina Sbisá & J. O. Urmson.
Truth and Truthfulness: An Essay in Genealogy.Bernard Williams - 2002 - Princeton: Princeton University Press.
Norms of assertion.Jennifer Lackey - 2007 - Noûs 41 (4):594–626.

View all 26 references / Add more references