Проблема гиперконнексивности в чистых теориях коннексивной импликации
Предлагается метод решения проблемы гиперконнексивности для так называемых чистых теорий коннексивной импликации. На примере одной из таких теорий, которая также является фрагментом, пожалуй, наиболее известной в современной литературе коннексивной логики C, разработанной Х. Вансингом, мы покажем, ч...
| Published in: | Вестник Томского государственного университета. Философия. Социология. Политология № 80. С. 23-33 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001147509 |
| Summary: | Предлагается метод решения проблемы гиперконнексивности для так называемых чистых теорий коннексивной импликации. На примере одной из таких теорий, которая также является фрагментом, пожалуй, наиболее известной в современной литературе коннексивной логики C, разработанной Х. Вансингом, мы покажем, что незначительная модификация условия ложности для импликативных формул, учитывающая не только информацию о ложности консеквента, но и о его неистинности, позволяет избежать гиперконнексивности даже для теорий, сформулированных в таком «бедном» пропозициональном языке, содержащем только имплика-цию и негацию. |
|---|---|
| Bibliography: | Библиогр.: 11 назв. |
| ISSN: | 1998-863x |