A computational interpretation of conceptivism

DOI10.1080/11663081.2014.980116zbMATH Open1398.03142OpenAlexW2008496380MaRDI QIDQ4583359FDOQ4583359

Authors: 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

Recommendations

• scientific article; zbMATH DE number 3887681
• scientific article; zbMATH DE number 753772
• Logic—The Big Picture
• Publication:4942674
• Semantics for analytic containment

zbMATH Keywords

computationanalytic implicationcontainment logicconceptivism

Mathematics Subject Classification ID

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

Cites Work

• The logic of paradox
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• Title not available (Why is that?)
• Linear logic
• Lectures on the Curry-Howard isomorphism
• Logics of formal inconsistency
• Title not available (Why is that?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• A story semantics for implication
• Analytic implication
• The completeness of S
• Title not available (Why is that?)
• Formal inconsistency and evolutionary databases
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
• Title not available (Why is that?)
• Paraconsistency and analyticity
• A semantical theory of analytic implication
• Paraconsistent analytic implication
• A modification of Parry's analytic implication
• Proof systems for reasoning about computation errors
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A question concerning a logical calculus related to Lewis' System of strict implication, which is of special interest for the study of entailment

Cited In (27)

• The Płonka product of topological spaces
• Dualities for Płonka sums
• An epistemic interpretation of paraconsistent weak Kleene logic
• Title not available (Why is that?)
• Algebraic analysis of demodalised analytic implication
• A generalization of Beall's off-topic interpretation
• Correia semantics revisited
• Toward a calculus of concepts
• The fundamental problem of logical omniscience
• Steps toward a computational metaphysics
• More aboutness in imagination
• A cartography of LFIs and truth
• Logics of left variable inclusion and Płonka sums of matrices
• Simple hyperintensional belief revision
• Finite Hilbert systems for weak Kleene logics
• Containment logics: algebraic completeness and axiomatization
• Rivals to Belnap-Dunn logic on interlaced trilattices
• Monstrous content and the bounds of discourse
• Title not available (Why is that?)
• A simple logical matrix and sequent calculus for Parry's logic of analytic implication
• The Case for Conceptualism
• Defining LFIs and LFUs in extensions of infectious logics
• Computational empiricism
• Logics of synonymy
• Semantical analysis of weak Kleene logics
• A duality for involutive bisemilattices
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis

This page was built for publication: A computational interpretation of conceptivism

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