Общепринятая формулировка противоречия суждений:
А & не-А,
Например, А: "Эйфелева башня в Лондоне" и
не-А: Неверно, что "Эйфелева башня в Лондоне".
Противоречие суждений нежелательно путать с противоречием предикатов логического субъекта высказывания:
s есть p и не-p,
Эта формула не содержит противоречия вида (А и не-А), то есть не содержит противоречия суждений. Например, "Эйфелева башня суть в Лондоне и не в Лондоне". В предложении Эйфелевой башне приписывается свойство находиться одновременно в двух местах. Противоречием суждений будет: А: (s есть p и не-p)
не-А: Неверно, что (s есть p и не-p) Эйфелева башня не может обладать таким свойством, чтобы одновременно находиться в двух местах - в Лондоне и не в Лондоне (в Париже), поэтому суждение не-А истинное, а суждение А - ложное. Вместе с тем, Сущее может иметь противоречивые свойства (свет волна/ не-волна, а частица; мышление естественное/не-естественное, а искусственное) главное чтобы в рассуждении соблюдалось требование непротиворечия и не было одновременных высказываний, приписывающих противоречивые свойства сущему, вместе с высказываниями отрицающих эту противоречивость свойств сущего.
Комментариев нет:
Отправить комментарий