Проблема гиперконнексивности в чистых теориях коннексивной импликации

Беликов, Александр Александрович

Проблема гиперконнексивности в чистых теориях коннексивной импликации

Дата публикации: 2024

Дата публикации в реестре: 2025-02-11T14:43:03Z

Аннотация:

Предлагается метод решения проблемы гиперконнексивности для так называемых чистых теорий коннексивной импликации. На примере одной из таких теорий, которая также является фрагментом, пожалуй, наиболее известной в современной литературе коннексивной логики C, разработанной Х. Вансингом, мы покажем, что незначительная модификация условия ложности для импликативных формул, учитывающая не только информацию о ложности консеквента, но и о его неистинности, позволяет избежать гиперконнексивности даже для теорий, сформулированных в таком «бедном» пропозициональном языке, содержащем только имплика-цию и негацию.

Ключевые слова:
условные высказывания, коннексивная логика, конструктивная логика, логическая семантика, импликация

Тип: статьи в журналах

Источник: Вестник Томского государственного университета. Философия. Социология. Политология. 2024. № 80. С. 23-33