Логический закон противоречия

Логический закон противоречия. Выражениям, прямо ничего не говорящим о высказываниях, сопутствуют выражения, отметающие противоречивые высказывания, например положение, гласящее о том, что «невозможно, чтобы противоречащие утверждения были вместе истинными по отношению к одному и тому же », или что «противоречащие утверждения… не могут быть вместе истинными», или еще короче: «невозможно одновременно утверждать и отрицать». Это звучит, очевидно благодаря краткости, даже более общо, чем в тех случаях, когда высказывался онтологический принцип, и создается впечатление, будто бы автор имел здесь в виду эквивалент принципу противоречия из исчисления высказываний: ИР ‘,. поскольку он сопоставляет взаимно противоречащие высказывания, не касаясь их внутренней структуры. Однако это недостаточно ясно выражено.

Таким образом, у Аристотеля можно было бы выделить также и принцип противоречия, говорящий о мыслях то же, что и о высказываниях, а именно что противоречащие друг другу мысли не могут быть вместе истинными. Правда, таких положений мы у него не находим, но можно предполагать, что он придерживался подобного взгляда. Поскольку же, однако, этот тезис явно не выражен в текстах, затруднительно выделять его в качестве специального пункта.