Truth-value Semantics for the Theory of Types
In Karel Lambert (ed.), Philosophical Problems in Logic. Dordrecht: Reidel. pp. 77--101 (1970)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
The expressive role of truth in truth-conditional semantics.Claire Horisk - 2007 - Philosophical Quarterly 57 (229):535–557.
A partial functions version of church's simple theory of types.William M. Farmer - 1990 - Journal of Symbolic Logic 55 (3):1269-1291.
How to be an expressivist about truth.Mark Schroeder - 2010 - In Cory D. Wright & Nikolaj J. L. L. Pedersen (eds.), New Waves in Truth. Palgrave-Macmillan. pp. 282--298.
Formal semantics in modern type theories with coercive subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
Mainstream semantics + deflationary truth.Alexis Burgess - 2011 - Linguistics and Philosophy 34 (5):397-410.
A Probabilistic Semantics for Counterfactuals. Part B.Hannes Leitgeb - 2012 - Review of Symbolic Logic 5 (1):85-121.
Tarskian truth and the correspondence theory.Luis Fern & Ndez Moreno - 2001 - Synthese 126 (1-2):123-147.
'Truth Predicates' in Natural Language.Friederike Moltmann - 2015 - In Dora Achourioti, Henri Galinon & José Martinez (eds.), Unifying Theories of Truth. Springer. pp. 57-83.
Analytics
Added to PP
2014-01-30
Downloads
4 (#1,238,996)
6 months
1 (#448,894)
2014-01-30
Downloads
4 (#1,238,996)
6 months
1 (#448,894)
Historical graph of downloads
Citations of this work
Choice and descriptions in enriched intensional languages — I.R. Routley, R. K. Meyer & L. Goddard - 1974 - Journal of Philosophical Logic 3 (3):291 - 316.
That principia mathematica, first edition, has a predicative interpretation after all.Hugues Leblanc - 1975 - Journal of Philosophical Logic 4 (1):67 - 70.
