К ПРОБЛЕМЕ РАСШИРЕНИЯ МАТРИЧНОЙ СЕМАНТИКИ, АДЕКВАТНОЙ КЛАССИЧЕСКОЙ ИМПЛИКАТИВНОЙ ЛОГИКЕ, ДО МАТРИЧНОЙ СЕМАНТИКИ, АДЕКВАТНОЙ КЛАССИЧЕСКОЙ ИМПЛИКАТИВНО-НЕГАТИВНОЙ ЛОГИКЕ (ЧАСТЬ 2)

В. Попов

Аннотация


Эта работа продолжает представленные в (Попов 2019а) исследования проблемы расширения семантики, адекватной собственному фрагменту логики, до семантики, адекватной этой логике. В предлагаемой статье мы используем результаты, полученные в работах (Попов 2019а) и (Попов 2019b), и опираемся на определения, соглашения и замечания из этих работ. Основное содержание статьи размещено в двух разделах (первый раздел и второй раздел). В первом разделе изучается вопрос о возможности построения логической матрицы вида ⟨M(1/2, 1, 0, 1/2), f⟩ (где f есть унарная операция на множестве {1, 1/2, 0}), адекватной классической импликативно-негативной логике Cl⊃¬. Заметим, что M(1/2, 1, 0, 1/2) принадлежит пересчету всех адекватных классической импликативной логике Cl⊃ трехзначных логических матриц, носителем каждой из которых является множество {1, 1/2, 0}, а выделенным множеством каждой из которых является множество {1} (см. Попов 2019b). Здесь мы даем отрицательный ответ на указанный вопрос. Центральный вопрос второго раздела — вопрос о возможности построения логической матрицы вида ⟨M(1/2, 0, 0, 1/2), f⟩ (где f есть унарная операция на множестве {1, 1/2, 0}), адекватной классической импликативно-негативной логике Cl⊃¬. Заметим, что M(1/2, 0, 0, 1/2) принадлежит пересчету всех адекватных классической импликативной логике Cl⊃ трехзначных логических матриц, носителем каждой из которых является множество {1, 1/2, 0}, а выделенным множеством каждой из которых является множество {1} (см. Попов 2019b). Мы даем отрицательный ответ на центральный вопрос второго раздела и вносим исправление в анонс, сделанный в (Попов 2019а).

Полный текст:

PDF

Литература


Попов 2019a — Попов В. М. К проблеме расширения матричной семантики, адекватной классической импликативной логике, до матричной семантики, адекватной классической импликативно-негативной логике // Логико-философские штудии. 2019. Т. 17,

№ 1. С. 1–31.

Попов 2019b — Попов В. М. Трехзначные логические матрицы с одним выделенным значением, адекватные классической импликативной логике // Логико-философские штудии. 2019. Т. 17, № 2. С. 142–193.


Ссылки

  • На текущий момент ссылки отсутствуют.




(c) 2020 В. Попов

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.