Imagen de Portada
Código QR

Pure type systems and generalized grounding.

In this paper, I present several philosophical applications of pure type systems. As I explain, many pure type systems are more expressively powerful than the higher-order languages—like the simply typed lambda calculus—on which philosophers have focused. Consequently, pure type systems support the...

Descripción completa

Publicado en:Philosophical Studies Vol. 183; no. 9; pp. 2603 - 2632
Autor principal: Wilhelm, Isaac
Formato: Artículo
Publicado: Springer Nature Sep2026
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=196666772&site=ehost-live
header:
  @attributes:
    shortDbName: hlh
    uiTerm: 196666772
    longDbName: Humanities International Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    jinfo:
      jid:
        00318116
        4L8
      jtl: Philosophical Studies
      issn: 00318116
      maglogo: N
    pubinfo:
      dt: Sep2026
      vid: 183
      iid: 9
      pid: 237
      pub: Springer Nature
    artinfo:
      ui:
        196666772
        10.1007/s11098-024-02262-z
      ppf: 2603
      ppct: 29
      formats:
        fmt:
          – @attributes:
              type: T
          – @attributes:
              type: P
              size: 453KB
      tig:
        atl: Pure type systems and generalized grounding.
      aug:
        au: Wilhelm, Isaac
        affil: https://ror.org/01tgyzw49 Philosophy Department, NUS, 3 Arts Link, Block AS3, #05-22, 117570, Singapore, Singapore
      sug:
      keyword:
        Grounding
        Higher-order languages
        Metaphysics
        Philosophy and Religious Studies Philosophy
        Pure type systems
        Types
      ab: In this paper, I present several philosophical applications of pure type systems. As I explain, many pure type systems are more expressively powerful than the higher-order languages—like the simply typed lambda calculus—on which philosophers have focused. Consequently, pure type systems support the formulation of more general, and more unified, metaphysical theories. To illustrate this, I use pure type systems to formulate some extremely general principles of grounding: these principles describe ground-theoretic connections among items drawn from across the hierarchy of types. I also present both informal theories, and formally rigorous theories, of what pure type systems say about the world.
      pubtype: Academic Journal
      doctype: Article
      src: R
    language: English
    refInfo:
    copyright:
      @attributes:
        flag: Y
      custom: Philosophical Studies is a copyright of Springer, 2026. All Rights Reserved.
      item: Philosophical Studies
      holder: Springer Nature
      dt:
        @attributes:
          year: 2026
    holdings:
      @attributes:
        islocal: N