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

Страница 4

Лукасевич спрашивает: "Почему мы должны вводить необходимость и невозможность в логику, если не существуют истинные аподиктические предложения? На этот упрек я отвечаю, что прежде всего мы интересуемся проблематическими предложениями вида Mx и MNx, которые могут быть истинны и используемы, хотя их аргументы и отбрасываются, а вводя проблематические предложения мы не можем обойти их отрицания, т.е. аподиктических предложений ибо предложения, обоих видов неразрывно между собой связаны".(S.295) Важной для понимания Лукасевичем понятия возможности является формула CKMpMqMKpq, не имеющая места в системе Льюиса. Лукасевич рассматривает следующий пример:

Пусть n будет целым положительным числом. Я утверждаю, что следующая импликация истинна для всех значений n: Если возможно, что n четно, и возможно, что n нечетно, то возможно, что n четно и n нечетно". Если n=4, то истинно, что n может быть четно, но не может быть истинной, что n может не быть четным; если n есть 5, то истинно, что n может быть нечетным, но не является истинной то, что n может быть четным. Обе посылки никогда не являются одновременно истинными и пример не может быть опровергнут.

Эти рассуждения показывают, что Лукасевич понимал возможность экстенсионально, тогда как в системах Льюиса функторы L и M интенсиональны.

Так решение Аристотелевой проблемы в контексте борьбы с фатализмом привело Я. Лукасевича к созданию нового, оригинального направления в логике, которое впоследствии получило бурное развитие.

Страницы: 1 2 3 4 

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

Принципы отбора и расстановки персонала в зарубежных странах
Исходный этап в процессе управления персоналом – процесс набора и отбора кадров. Рис.2 Из рисунка 2 видно как производится набор и отбор кадров. От того, как проведен набор, и какие люди отобраны для вашей работы в вашей организации, ...

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

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