|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Dummett’s Theory of Truth as a Source of Connexivityстатья
- Авторы: Belikov Alex, Loginov Evgeny
- Журнал: Studia Logica
- Год издания: 2024
- Издательство: Springer Nature
- Местоположение издательства: Switzerland
- DOI: 10.1007/s11225-024-10146-w
- Аннотация: 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.
- Добавил в систему: Беликов Александр Александрович