Главная | Новое | Популярное | Карта сайта

О философии

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

Разделы




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 

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

    3.6 Критика логико-позитивистского анализа
      Итак, мы обсудили учение, исповедумое всеми логическими позитивистами, а именно учение о верификационном критерии осмысленных эмпирических высказываний, а также концепцию, характерную толь ...

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

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