A computational interpretation of conceptivism

DOI10.1080/11663081.2014.980116zbMath1398.03142OpenAlexW2008496380MaRDI QIDQ4583359

Thomas Macaulay Ferguson

Publication date: 28 August 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2014.980116

zbMATH Keywords

computationanalytic implicationcontainment logicconceptivism

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Related Items

Dualities for Płonka sums, Correia semantics revisited, Defining LFIs and LFUs in extensions of infectious logics, Rivals to Belnap-Dunn logic on interlaced trilattices, A duality for involutive bisemilattices, The fundamental problem of logical omniscience, Logics of synonymy, Monstrous content and the bounds of discourse, Logics of left variable inclusion and Płonka sums of matrices, A simple logical matrix and sequent calculus for Parry's logic of analytic implication, On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis, Semantical analysis of weak Kleene logics, More aboutness in imagination, Algebraic analysis of demodalised analytic implication, An Epistemic Interpretation of Paraconsistent Weak Kleene Logic, Simple hyperintensional belief revision, Containment logics: algebraic completeness and axiomatization, The Płonka product of topological spaces

Cites Work

• Linear logic
• Paraconsistent analytic implication
• Lectures on the Curry-Howard isomorphism
• Proof systems for reasoning about computation errors
• A story semantics for implication
• Analytic implication
• The logic of paradox
• The completeness of S
• Intuitive semantics for first-degree entailments and `coupled trees'
• A modification of Parry's analytic implication
• A semantical theory of analytic implication
• Paraconsistency and analyticity
• Formal inconsistency and evolutionary databases
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• Logics of Formal Inconsistency
• A question concerning a logical calculus related to Lewis' System of strict implication, which is of special interest for the study of entailment
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item