Imagen de Portada
Código QR

Reference and Truth.

I apply the notions of alethic reference introduced in previous work in the construction of several classical semantic truth theories. Furthermore, I provide proof-theoretic versions of those notions and use them to formulate axiomatic disquotational truth systems over classical logic. Some of these...

Descripción completa

Publicado en:Journal of Philosophical Logic Vol. 49; no. 3; pp. 439 - 475
Autor principal: Picollo, Lavinia
Formato: Artículo
Publicado: Springer Nature Jun2020
Materias:
Truth
Logic
Construction
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=143492781&site=ehost-live
header:
  @attributes:
    shortDbName: hlh
    uiTerm: 143492781
    longDbName: Humanities International Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    jinfo:
      jid:
        00223611
        JPH
      jtl: Journal of Philosophical Logic
      issn: 00223611
      maglogo: N
    pubinfo:
      dt: Jun2020
      vid: 49
      iid: 3
      pid: 237
      pub: Springer Nature
    artinfo:
      ui:
        143492781
        10.1007/s10992-019-09525-9
      ppf: 439
      ppct: 36
      formats:
        fmt:
          @attributes:
            type: P
            size: 610KB
      tig:
        atl: Reference and Truth.
      aug:
        au: Picollo, Lavinia
        affil: Department of Philosophy, University College London, 19 Gordon Square, WC1H 0AW, London, UK
      su:
        Truth
        Logic
        Construction
      sug:
        subj:
          Truth
          Logic
          Construction
      keyword:
        Disquotation
        Formal truth theories
        Reference
        Self-reference
        Semantic paradoxes
        Well-foundedness
      ab: I apply the notions of alethic reference introduced in previous work in the construction of several classical semantic truth theories. Furthermore, I provide proof-theoretic versions of those notions and use them to formulate axiomatic disquotational truth systems over classical logic. Some of these systems are shown to be sound, proof-theoretically strong, and compare well to the most renowned systems in the literature.
      pubtype: Academic Journal
      doctype: Article
      src: R
    language: English
    refInfo:
    copyright:
      @attributes:
        flag: Y
      custom: Journal of Philosophical Logic is a copyright of Springer, 2020. All Rights Reserved.
      item: Journal of Philosophical Logic
      holder: Springer Nature
      dt:
        @attributes:
          year: 2020
    holdings:
      @attributes:
        islocal: N