Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism

DOI10.1007/S11229-015-0932-9MaRDI QIDQ516400zbMATH OpenOpenAlexFDO

Authors Yoshihiro Maruyama

Publication date 14 March 2017

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-015-0932-9

zbMATH Keywords

inferentialismcategorical logical positivismidentity of logicpluralistic unified sciencetheory of meaningunity of realism and antirealism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Connectives stranger than tonk
• What's wrong with tonk(?)
• Knot and tonk: nasty connectives on many-valued truth-tables for classical sentential logic
• How a semantics for tonk should be
• Logical pluralism and nonclassical category theory

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• Adjointness in Foundations
• Categorical Harmony and Paradoxes in Proof-Theoretic Semantics
• Introduction to categories and categorical logic
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• Remodelling structural realism: quantum physics and the metaphysics of structure
• The correspondence between cut-elimination and normalization
• What's wrong with tonk(?)

Cited in

(3)

• Categorical Harmony and Paradoxes in Proof-Theoretic Semantics
• Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky
• How a semantics for tonk should be

This page was built for publication: Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism

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