A New Model for the Liar
DOI:
https://doi.org/10.13130/2037-4445/7958Abstract
A new model for the language of arithmetic enhanced by the unary truth predicate T is presented, which extends Kripke’s minimal fixed point. The latter, it will be argued, does not adequately model the truth predicate, since no difference between Liars and Truth-tellers can be made. The new model, which contains an extension of Kripke’s in- terpretation of T along with a new 4-valued logic, overcomes this inadequacy. The gist of my proposal is that 'paradoxical' ought to be treated as a truth value: Liar sentences, unlike Truth-teller sentences, do not simply lack a truth value. They do posses one: they are paradoxical.
Downloads
I dati di download non sono ancora disponibili.
Dowloads
Pubblicato
2016-12-24
Come citare
Castaldo, L. (2016). A New Model for the Liar. Rivista Italiana Di Filosofia Analitica Junior, 7(2), 17–44. https://doi.org/10.13130/2037-4445/7958
Fascicolo
Sezione
Articoli