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 

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

    8.3 Трансляционная и теоретико-модельная семантика
      Идея трансляционной семантики, понимаемой в духе Катца[408], заключается в том, чтобы построить отображение исследуемого языка посредством некоторого подходящего языка с четкой структурой ...

    5.5 Интенционалистские теории языка (П.Грайс, Дж.Серль)
      Интенционализм — одно из крупных направлений в современной аналитической философии языка. Основная претензия интенционализма — доказать, что концептуально первичным и ключевым для философ ...

    13.5 Функциональный анализ ментального
      Функционализм – весьма влиятельная система идей, «завоевывавшая» во второй половине двадцатого века все более прочные позиции в разных сферах современной мысли и философии, в том числе и в ...