PhilosophyDay
Современная философия
4.4.4 Дискуссия по вопросам истины и познания в
связи с реизмом КотарбинскогоДругая философия / Аналитическая философия / 4. Львовско-Варшавская
логическая школа и ее влияние на АФ / 4.4 Обоснование и критика реизма
Т.Котарбинским / 4.4.4 Дискуссия по вопросам истины и познания в
связи с реизмом КотарбинскогоСтраница 2
В 1910 г. появилась книжка Лукасевича «О принципе противоречия у Аристотеля»[253]. В ней автор стремился показать, что принцип противоречия вовсе не является очевидным законом логики и требует доказательства.
В 1913 г. дискуссия над проблемой истинности возобновилась. Ее открыла работа Котарбинского[255], посвященная не столько логике, сколько вопросам возможной деятельности. Рассуждения Котарбинского сводились к следующему: жесткий детерминизм и прежде всего предетерминизм, т.е. взгляд, согласно которому существующее состояние мира предвечно, исключает творческую деятельность, поскольку ничего нового не может быть создано. Однако Котарбинский не сомневался, что творческая деятельность имеет место, а поэтому считал, что предетерминизм не является универсально значимым. Для аргументации своей позиции Котарбинский обращается к проблеме предвечности истины. Он дает следующую дефиницию истины, наследуя в определениях Брентано и Твардовского:
(1) Суждение p, в котором утверждается предмет S, истинно тогда и только тогда, когда предмет S существует.
Каждая истина вечна, но является ли она предвечной, т.е. для каждого p, если p истинно в момент t, то истинно ли p в произвольный момент времени t1, более ранний, чем t? Котарбинский считает, что в одних случаях истины являются предвечными, в других – нет. Предположим, что нечто, например, S может быть создано в результате человеческой деятельности. Следовательно, S не существует до тех пор, пока не будет создано, а поэтому, согласно (1), не является истинным и соответствующее суждение p о предмете S. Но с другой стороны, суждение p не ложно, ибо если бы оно было ложно, то отрицание этого суждения должно было бы быть предвечно истинным, а S, вопреки предположению, не было бы возможно создать. Таким образом, суждение p не предвечно истинно, поскольку существует такой момент t, в котором это суждение не является ни истинным, ни ложным. Поэтому в предположении возможной творческой деятельности имеются суждения, которые не являются ни истинными, ни ложными.
Котарбинский сразу замечает, что существование таких суждений ставит вопрос о значимости закона исключенного среднего. Он ищет решение в разнообразных формах этого закона, предлагая различать следующие:
(2) для произвольного p, либо p, либо не-p истинно;
(3) для произвольного p, p либо истинно, либо ложно;
(4) для произвольного p, если p истинно, то не-p — ложно
Котарбинский замечает, что (2) и (3) предполагают совершенно полное разделение всех суждений (дихотомию) на истинные и ложные, т.е. предполагают наличие равенства «истинный = неложный». Форма (4) независима от этого равенства. Поэтому предполагаемое решение состоит в одновременном принятии (4) и отбрасывании полноты разделения суждений на ложные и истинные. Котарбинский предлагает различать определенные (истинные или ложные) суждения и неопределенные (третьи). Выражения (2) и (3) ограничены в своем применении определенными суждениями, а (4) продолжает оставаться универсальным правилом. Поэтому добавляется следующее утверждение:
(5) для произвольного p, p либо определенно, либо неопределенно.
Таким образом, принятие существующими неких третьих суждений не противоречит принципу исключенного среднего, понимаемому как (4) или (5). Помимо этого вывода Котарбинский устанавливает связи между истинностью суждений и их необходимостью, возможностью и невозможностью, формулируя их следующим образом: если p истинно, то p необходимо; если p ложно, то p невозможно; если p неопределенно, то равным образом возможно как p, так и не- p.
Рассуждения Котарбинского встретились с критикой Лесьневского в "Логических рассуждениях", который стремился показать, что всякая истина предвечна. Он начинает с того, что считает суждение p предвечно истинным тогда и только тогда, когда суждение p, высказанное в произвольный момент времени было истинным в предположении его настоящей истинности. Теперь предположим, что некоторое суждение p не является предвечно истинным. Это значит, что p истинно сейчас, но был такой момент t, в котором p не было истинно. Однако, если p не было истинно в t, то в этот момент было истинно суждение не-p. Суждения p и не-p взаимно противоречивы, из чего следует, что не-p сейчас ложно, поскольку, согласно предположению, p сейчас истинно. Но тогда, учитывая вечность лжи, мы получим, что это невозможно, поскольку, если уж не-p было истинно в t, то не может оно быть ложью в настоящий момент. Мы приходим к противоречию, которого – по мнению Лесьневского – достаточно чтобы показать предвечность истины. Аргументация Лесьневского убедила Котарбинского, который позже уже не защищал существования «третьих» суждений, отличных от суждений истинных или ложных.
Смотрите также
6.2 Дескриптивная метафизика
П.Ф.Стросона
П.Ф.Стросон
создал "дескриптивную метафизику" — учение, которое радикально
пересмотрело все исходные предпосылки философии анализа. При эттом он был уверен,
что продолжает и одн ...
4.6 Теория истинности А.Тарского
Тарский
поставил цель определить предикат "истинный", используя в
определениях только ясно приемлемые термины и избегая других недоопределенных
семантических терминов.
Рассмо ...
8.4 Теоретико-игровая семантика
Я.Хинтикки
В
основе теоретико-игровой семантики лежат, с одной стороны, математическая
теория игр, а с другой—теоретико-модельная семантика. Как и эту последнюю,
теоретико-игровую семантику интересу ...