SUPERVALUATION FIXED-POINT LOGICS OF TRUTH.
Michael Kremer defines fixed-point logics of truth based on Saul Kripke’s fixed point semantics for languages expressing their own truth concepts. Kremer axiomatizes the strong Kleene fixed-point logic of truth and the weak Kleene fixed-point logic of truth, but leaves the axiomatizability question...
| Publicado en: | Journal of Philosophical Logic Vol. 37; no. 5; pp. 407 - 441 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Oct2008
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=34204620&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 34204620 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00223611 JPH jtl: Journal of Philosophical Logic issn: 00223611 maglogo: N pubinfo: dt: Oct2008 vid: 37 iid: 5 pid: 237 pub: Springer Nature artinfo: ui: 34204620 10.1007/s10992-007-9071-1 ppf: 407 ppct: 34 formats: fmt: @attributes: type: P size: 373KB tig: atl: SUPERVALUATION FIXED-POINT LOGICS OF TRUTH. aug: au: Kremer, Philip Urquhart, Alasdair affil: Department of Philosophy , University of Toronto , 170 St. George St. Toronto Canada M5R 2M8 su: Kremer, Michael Kripke, Saul A., 1940-2022 Semantics Philosophy of language Truth Logic sug: subj: Kremer, Michael Kripke, Saul A., 1940-2022 Semantics Philosophy of language Truth Logic keyword: fixed point logics languages truth ab: Michael Kremer defines fixed-point logics of truth based on Saul Kripke’s fixed point semantics for languages expressing their own truth concepts. Kremer axiomatizes the strong Kleene fixed-point logic of truth and the weak Kleene fixed-point logic of truth, but leaves the axiomatizability question open for the supervaluation fixed-point logic of truth and its variants. We show that the principal supervaluation fixed point logic of truth, when thought of as consequence relation, is highly complex: it is not even analytic. We also consider variants, engendered by a stronger notion of ‘fixed point’, and by variant supervaluation schemes. A ‘logic’ is often thought of, not as a consequence relation, but as a set of sentences – the sentences true on each interpretation. We axiomatize the supervaluation fixed-point logics so conceived. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Journal of Philosophical Logic is a copyright of Springer, 2008. All Rights Reserved. item: Journal of Philosophical Logic holder: Springer Nature dt: @attributes: year: 2008 holdings: @attributes: islocal: N |
|---|