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

Synthese 183 (2):187-210 (2011)
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
Keywords Assertion  Judgement  Constructive type theory
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 9,360
External links
  • Through your library Configure
    References found in this work BETA
    Tyler Burge (1986). Frege on Truth. In L. Haaparanta & J. Hintikka (eds.), Frege Synthesized. D. Reidel Publishing Co.. 97--154.

    View all 19 references

    Citations of this work BETA

    No citations found.

    Similar books and articles
    Herman Cappelen (2011). Against Assertion. In Jessica Brown & Herman Cappelen (eds.), Assertion: New Philosophical Essays. Oxford University Press.
    John Turri (2011). The Express Knowledge Account of Assertion. Australasian Journal of Philosophy 89 (1):37-45.
    David Sosa (2009). Dubious Assertions. Philosophical Studies 146 (2):269 - 272.
    Martijn Blaauw & Jeroen de Ridder (2012). Unsafe Assertions. Australasian Journal of Philosophy 90 (4):1-5.
    Analytics

    Monthly downloads

    Added to index

    2011-10-11

    Total downloads

    17 ( #82,051 of 1,089,047 )

    Recent downloads (6 months)

    1 ( #69,722 of 1,089,047 )

    How can I increase my downloads?

    My notes
    Sign in to use this feature


    Discussion
    Start a new thread
    Order:
    There  are no threads in this forum
    Nothing in this forum yet.