Artiklar / Institutionen för filosofi, lingvistik och vetenskapsteori

Permanent URI for this collectionhttps://gupea-staging.ub.gu.se/handle/2077/23014

Browse

Browsing Artiklar / Institutionen för filosofi, lingvistik och vetenskapsteori by Author "Leigh, Graham E."

Filter results by typing the first few letters
Now showing 1 - 3 of 3
  • No Thumbnail Available
    Item
    A Friedman–Sheard-style Theory for Classical Realisability
    (2025) Hayashi, Daichi; Leigh, Graham E.
    In Hayashi and Leigh (2024), the authors formulate classical number realisability for first-order arithmetic and a corresponding axiomatic system based on Krivine’s classical realisability interpretation. This paper presents a self-referential generalisation of previous results in the spirit of Friedman and Sheard (1987).
  • No Thumbnail Available
    Item
    A metapredicative study of μ-arithmetics
    (2025-01-27) Afshari, Bahareh; Leigh, Graham E.
    We present a semi-formal analysis of intuitionistic higher-order μ-arithmetic through the medium of illfounded proofs and continuous cut elimination.
  • No Thumbnail Available
    Item
    On proofs in the Friedman–Sheard theory
    (2025-03-26) Pertun Broberg, Anton; Leigh, Graham E.
    We explore the proof theory of subsystems of the Friedman–Sheard axiomatic theory of truth FS given by restricting the use of the necessitation and co-necessitation rules. It is known that removing either rule completely (while keeping the other) does not diminish the arithmetic theorems. We present variations of this result for the non-arithmetic theorems of FS. In particular, it is proved that FS has the same consequences as the extension of its subtheory with only necessitation by either a single application of co-necessitation or the schema of transfinite induction up to the ordinal ϕ20.