Аристотель о развитии мысли через противоречие суждений

[mp_gratchev]

Аристотель: "Однако почву для ведения доказательства создает не тот, кто доказывает, а тот, кто поддерживает рассуждение: возражая против рассуждений, он поддерживает рассуждение" (Аристотель. Метафизика// Аристотель. Сочин. в четырёх томах. Т.1. - М.: "Мысль", 1976 - С.127).

Comments

[mp_gratchev]

И хотя рассуждающие противоречат друг другу, тем не менее оба мыслят одно: Аi & (не-А)j, где Аi=Аj=А,
i и j - утверждающие "за" и "против" (возражающий).
Таков парадокс развития мысли в рассуждении ("если же слова ничего [определенного] не обозначают, то конец всякому рассуждению за и против", (c) Аристотель, там же).

Из противоречия следует что угодно

[mp_gratchev]

Аристотель: "Далее, если относительно одного и того же вместе было бы истинно все противоречащее одно другому, то ясно, что все было бы одним [и тем же]. Действительно, одно и то же было бы и триерой, и стеной, и человеком, раз относительно всякого предмета можно нечто одно и утверждать и отрицать" (С. 130).

Закон противоречия:
"А если так, то доказано, что противоречащее одно другому не может сказываться вместе", (c) Аристотель

истина и заблуждение с позиций солиптиста

[mp_gratchev]

- Аристотель: «В самом деле, если все то, что мнится и представляется, истинно, все должно быть в одно и то же время и истинным и ложным. Ведь многие имеют противоположные друг другу взгляды и считают при этом, что те, кто держится не одних с ними мнений, заблуждаются» (С. 134).

В этой ситуации формальная логика предлагает выбраковку заблуждений одним из солиптистов. Диалектическая логика предлагает сойти с солиптических позиций (заведомого означивания суждений как истинных либо ложных), признать равноценность мнений и разрешить противоречие в аргументативном диалоге (возможен синтез высказываний).

вторая формулировка закона противоречия

[mp_gratchev]

Аристотель:
противолежащие друг другу высказывания не могут быть вместе истинными (С.141)

двузначность традиционной логики

[mp_gratchev]

Аристотель:
1. "Равным образом не может быть ничего промежуточного между двумя членами противоречия, а относительно чего-то одного необходимо что бы то ни было одно либо утверждать, либо отрицать"(С.141)

2. "Если же ложное есть не что иное, как отрицание истины, то все не может быть ложным, ибо один из двух членов противоречия должен быть истинным". (С.143)