Модальные логики

Не выводимы из (A1)-(A4) (либо же из (A5)-(A8)) следующие законы, известные уже Аристотелю: (a) CCpqCMpMq, (b) CCpqCLpLq, (c) CLCpqCMpMq, (d) CLCpqCLpLq. Можно показать, что из (a) следует (c), а из (b) - (d). Поэтому следовало расширить "основную модальную логику", присоединяя к ее аксиомам формулы (a)-(d). Формулы (a) и (c) можно считать частными случаями закона экстенсиональности CEpqCfpfq ("f" означает переменный функтор). Присоединяя (a) к (A1)-(A3) можно доказать (A4); аналогично присоединяя (c) к (A5)-(A7) можно доказать (A8). Однако обе конструкции Лукасевич считает недостаточно общими.

Окончательная формулировка модальной системы основывается на упоминавшемся выше результате ученика Лукасевича - Мередита, утверждавшего, что L2 и закон экстенсиональности следуют из формулы CfpCfNpfq.

Окончательно аксиоматика модальной логики у Лукасевича принимает следующий вид: ½¾CfpCfNpfq, ½¾CpMq, ¾½CMpp, ¾½Mp. L-система содержит исчисление высказываний L2, но не является двузначной. Лукасевич показал, что адекватной матрицей для L-системы является следующая четырехзначная матрица (1 является выделенным значением):

Из того факта, что существуют две опосредующие истину и ложь оценки (2 и 3) не следует делать вывод, что в системе модальной логики Лукасевича существуют два понятия возможности. Тем не менее, в L-системе имеют место т.н. возможности-близнецы M и M1. Они неразличимы, когда выступают отдельно, но разнятся, когда входят в одну формулу, например, формулы MMp и M1M1p эквивалентны, а формулы M1Mp и MM1p неэквивалентны.

Этот факт в системе модальной логики Лукасевича не имеет интуитивной интерпретации. Четырехзначная матрица вообще изменила взгляд Лукасевича на значение многозначных логик: если раньше он считал, что выбор следует делать между трехзначной логикой или бесконечнозначной, то теперь он признал четырехзначную систему адекватной для выражения понятия возможности.

Некоторые неясные вопросы Лукасевич пытается выяснить путем сравнения с другими модальными системами, в частности, с системой фон Вригта, а не более известными системами Льюиса, поскольку они основываются на т.н. "строгой импликации", которая более сильна, нежели "материальная импликация", используемая Лукасевичем. Он подвергает сомнению т.н. правило необходимости: если x является формулой системы, то Lx - также формула. Лукасевич считает, что предложение является непосредственно ложным или истинным и не видит причины, по которой тавтология должна быть "более истинной", чем "обычное" истинное предложение, а контрадикторное предложение "более ложно", чем "обычная" ложь. В этой позиции чувствуется влияние Твардовского, подкрепленное взглядами Лесьневского.

Другое по теме:

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

Методы коррекции психологических расстройств при межкультурном взаимодействии
Все новшества, которые этнос может почерпнуть в результате межкультурных контактов, проходят как бы через сито «цензуры». Это не означает, что они отвергаются, культурная традиция – вещь очень гибкая и подвижная. Но она задает определенну ...

Семейный цикл
Семьи имеют предсказуемый жизненный цикл, характеризуемый рядом важных событий, или ступеней. Первым событием в этом цикле становится становление родительской семьи. Отделение от семьи родителей может происходить в момент вступления в бра ...