Once again about the ternary description language as a non-classical logic
Вантажиться...
Дата
2024
Науковий керівник
Укладач
Редактор
Назва журналу
ISSN
E-ISSN
Назва тому
Видавець
Одеський національний університет імені І. І. Мечникова
Анотація
When it comes to the criteria for distinguishing classical logic from non-classical logic, the following criteria are usually mentioned (see: [2, p. 30]) 1) weakening or rejection of the laws (principles) of traditional and classical logic (for example, the rejection of the law of the excluded third led to the foundation of intuitionistic logic); 2) extension of the scope of classical logic (for example, John P. Burgess argues that the fact that mathematical logic goes beyond its scope gives rise to various philosophical logics); 3) the struggle with inference (implication, consequence, etc.) (for example, the rejection of some structural rules within the Gentzen calculus led to the creation of substructuralist logics).
Опис
Ключові слова
ternary description language, non-classical logic, logic
Бібліографічний опис
Raikhert K. Once again about the ternary description language as a non-classical logic / K. Raikhert // XІІ Уйомовські читання (2024) [Електронний ресурс] : матеріали Наук. читань пам’яті Авеніра Уйомова / упоряд. і ред. К. В. Райхерт. – Електрон. текст. дані (1 файл : 0,9 МБ). – Одеса : Одес. нац. ун-т ім. І. І. Мечникова, 2024. – С. 50–51.