Аристотель считал самым неоспоримым принципом «закон противоречия» и дал несколько его формулировок в «Метафизике»:
«Невозможно, чтобы одно и то же в одно и то же время и в одном и том же отношении и было и не было присуще одному и тому же»
Или в виде краткой формулировке: «Невозможно, чтобы одно и то же в одно и то же время было и не было».
Здесь же Аристотель упоминает воззрение Гераклита, что «одна и та же вещь и существует, и не существует», и утверждает, что это учение никто не может серьёзно признавать...
Кроме упомянутых выше, Аристотель даёт и такие формулировки:
«Сущее существует, не сущее не существует, невозможно одной и той же вещи существовать и не существовать»;
«Невозможно, чтобы противоречащие утверждения были истинными по отношению к одному и тому же»;
«Невозможно вместе истинно и утверждать и отрицать».
Возможно, Аристотель исходил «…примерно из следующих соображений. Источником противоречий и других ошибок является не действительность, которую создали Боги, а именно сами размышления, рассуждения или доказательства. Чтобы противоречий и ошибок не было, мыслительную деятельность необходимо подчинить законам (правилам). В свою очередь чтобы определить эти законы, нужно знать, как устроена действительность, поскольку размышления (рассуждения, доказательства) отражают или не отражают в своей структуре строение действительности. В первом случае размышление будет правильным и полученные в нем знания - истинными, во втором - неправильным, а знания ложными. Но как, спрашивается, узнать строение действительности? Как ни парадоксально, Платон и Аристотель думали, что именно правильное мышление выводит мудрого к знанию действительности. Получается замкнутый круг: чтобы узнать правила мышления, нужно знать устройство действительности, для этого в свою очередь необходимо правильно мыслить».
Розин В.М., Методология: становление и современное состояние, М., «Московский психолого-социальный институт», 2005 г., с.116.
Логические ошибки в доказательствах по Аристотелю
Наши правила обсуждения умных видео на YouTube