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

О философии

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

Разделы




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 

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

    11.1 Эпистемологический и онтологический плюрализм Н.Гудмена
      Нельзя провести никакое ясное и устойчивое общее различие между содержанием и способом дискурса — таково послание, встречающее читателя на первых же страницах "Способов создания миро ...

    3.1 Критерий верификации
      Возможность верификации предложения как критерий значения этого предложения обычно связывают с началом деятельности Венского кружка. В действительности идея верифицируемости не является о ...

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