Studia Logica
В журнале "Studia Logica" вышла статья к.ф.н., ст. преп. кафедры логики Александра Александровича Беликова и к.ф.н., доц. кафедры истории зарубежной философии Евгения Владимировича Логинова "Dummett’s Theory of Truth as a Source of Connexivity".
Аннотация:
In his seminal paper ‘Truth’, M. Dummett considered negated conditional statements as one of the main motivations for introducing a three-valued logical framework. He left a sketch of an implication connective that, as we observe, shares some intuitions with Wansing-style account for connexivity. In this article, we discuss Dummett’s ‘unfinished’ implication and suggest two possible reconstructions of it. One of them collapses into implication from W. Cooper’s ‘Logic of Ordinary Discourse’ OL and J. Cantwell’s ‘Logic of Conditional Negation’ CN, whereas the other turns out to be previously unknown implication connective and can be used to obtain a novel logical system, entitled here as cRM3. As to the technical results, we introduce a sound and complete axiomatic proof-system for cRM3 and present a theorem for the semantic embedding of CN into cRM3.