4.5.2 Модальные логики
Другая философия / Аналитическая философия / 4.  Львовско-Варшавская логическая школа и ее влияние на АФ / 4.5 Многозначные логики Я. Лукасевича / 4.5.2 Модальные логики
Страница 3

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

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

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

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

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

    Смотрите также

    6.4 Физикалистская метафизика Д.М.Армстронга
      "Текст австралийского философа Дэвида Армстронга, — писал А.Ф.Грязнов, — ... в нем изложена точка зрения «научного материализма» на проблему сознания и психических процессов. Это теч ...

    "Отторгнутый от материнской груди и отцовских объятий…"
      Трудно было попадать в старину из Италии в Швейцарию: эти две соседние страны разделяются высокими Альпийскими горами. По горным перевалам проложены были узкие, опасные тропинки. Богачи ...

    1.2 Логико-семантические идеи Г.Фреге
      Аналитическая философия возникла на волне интереса к формальной логике, которая, обогатившись новыми методами, с середины XIX века начинает бурно развиваться[17]. К этому необходимо добави ...