A Truth Predicate is a formal syntactic construct in mathematical logic that belongs to the class of logical predicates and is distinguished by its role in expressing the semantic property of truth for sentences within a formal language, typically through a predicate symbol that applies to Gödel numbers of sentences to assert their truth in a given model.
100
Publications
5.2K
Citations
106
Authors
80
Institutions
Publications per year
2017–2026
13
Parents
Publications
100
David Ripley · Australasian Journal of Philosophy · 2012 · 309 citations · Full text
Humanities, Philosophy, Logic +16
Joseph Heath · Philosophy & Social Criticism · 1998 · 223 citations
Pablo Cobreros, David Ripley, Robert van Rooij · Mind · 2013 · 204 citations
CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
David Ripley · The Review of Symbolic Logic · 2012 · 196 citations · Full text
1–5 of 100
Authors
106
- VH
5
h-index
- TS
4
h-index
- CT
3
h-index
- DR
3
h-index
- LP
3
h-index
1–5 of 106
Institutions
80
University of Connecticut
Storrs, United States
5 h-index
5 publications
353 citations
University of Warsaw
Warsaw, Poland
4 h-index
5 publications
137 citations
University of Oxford
Oxford, United Kingdom
3 h-index
4 publications
107 citations
Université de Montréal
Montreal, Canada
3 h-index
3 publications
201 citations
University of Bristol
Bristol, United Kingdom
3 h-index
4 publications
167 citations
Centre National de la Recherche Scientifique
Paris, France
3 h-index
3 publications
73 citations
University of Amsterdam
Amsterdam, The Netherlands
3 h-index
3 publications
281 citations
New College
Swindon, United Kingdom
2 h-index
3 publications
71 citations
1–8 of 80
Venues
- Mind
8 publications · 434 citations
8
h-index
- Analysis
7 publications · 210 citations
7
h-index
- The Philosophical Quarterly
7 publications · 340 citations
7
h-index
- Journal of Philosophical Logic
7 publications · 248 citations
7
h-index
- The Review of Symbolic Logic
6 publications · 375 citations
6
h-index
1–5