Categorical Harmony and Paradoxes in Proof-Theoretic Semantics

DOI10.1007/978-3-319-22686-6_6OpenAlexW2249617106MaRDI QIDQ5864199

Yoshihiro Maruyama

Publication date: 3 June 2022

Published in: Advances in Proof-Theoretic Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-22686-6_6

zbMATH Keywords

categorical harmonycategorical proof-theoretic semanticsdegrees of paradoxicality of logical constantsiterative conception of logicPrior's tonk

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55)

Related Items (9)

STRONG HOMOMORPHISMS, CATEGORY THEORY, AND SEMANTIC PARADOX ⋮ A novel approach to equality ⋮ The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs ⋮ Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism ⋮ Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky ⋮ The logicality of equality ⋮ Harmony in Proof-Theoretic Semantics: A Reductive Analysis ⋮ Title not available (Why is that?) ⋮ CATEGORICAL HARMONY AND PATH INDUCTION

This page was built for publication: Categorical Harmony and Paradoxes in Proof-Theoretic Semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5864199)