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 

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

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

    5.4 Теория речевых актов Дж.Остина
      Переход от интенциональных состояний к лингвистическим актам активно обсуждался еще в лингвистической философии в связи с употреблением выражения "Я знаю". Как известно, предста ...

    11.2 Гипотеза лингвистической относительности Сепира — Уорфа
      Итак, каково же соотношение детерминированности, конвенциональности каузальности значений — или каков характер их детерминированности или каузальности? Где пределы их альтернативности? Че ...