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

DOI10.1007/S11229-010-9758-7zbMATH Open1235.03023OpenAlexW1976861212MaRDI QIDQ408330FDOQ408330

Authors: Maria van der Schaar 

Publication date: 5 April 2012

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-010-9758-7

Recommendations

• Constructive belief reports
• Constructive knowledge and the justified true belief paradigm
• Towards a Logic for Pragmatics. Assertions and Conjectures
• Assertions and their justification: demonstration and self-evidence
• Assertion, inference, and consequence

zbMATH Keywords

assertionjudgementconstructive type theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The assertion-candidate and the meaning of mood
• Verificationism then and now
• Estimating Multivariate Variance and Covariance Components Using Quadratic and Bilinear Forms
• Vorlesungen ü bergriffsschrift
• Title not available (Why is that?)

Cited In (6)

• Title not available (Why is that?)
• Assertions and their justification: demonstration and self-evidence
• The assertion-candidate and the meaning of mood
• Assertion: a function first account
• The C account of assertion: a negative result
• Judgement, belief and acceptance

This page was built for publication: Assertion and grounding: a theory of assertion for constructive type theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q408330)