Есть ли разница между непоследовательным и противоположным?

Есть ли разница между «непоследовательным» и «противоречным»? Насколько я понимаю, два утверждения несовместимы, когда они оба не могут быть истинными. Имеет ли «противоположное» такое же определение?

Насколько я понимаю, ни один термин не является полностью синонимом другого или «противоречивого» (где две переменные не могут иметь одинаковое истинностное значение, будь то истинное или ложное).

Итак, «непоследовательный», «противоречащий» и «противоречивый» имеют свое собственное значение, или два из этих терминов взаимно синонимичны?

Ответы (2)

Два утверждения называются противоречивыми , если для обоих утверждений истинность одного влечет за собой ложность другого.

Два утверждения называются противоположными , если они оба могут быть ложными, но не могут быть оба истинными.

(Я знаю, что вы использовали слово «непоследовательный» вместо «противоречивый», но последнее кажется более распространенным выбором. Однако здесь они синонимы, так что выбирайте сами.)

Вы, кажется, упустили из виду противоречивые пары, что они не могут быть оба ложными .

Привет, Дэвид. Я должен был более четко сформулировать свой вопрос. Я хотел спросить, есть ли отдельное значение для каждого из терминов «противоречивый», «противоречащий» и «непоследовательный». Я считаю, что лексическая избыточность расточительна, поэтому я надеялся, что у каждого есть свое собственное значение.
Да, все они имеют разные значения, в некоторых случаях по несколько разных значений каждый! (Я знаю, что говорю в своем посте, что непоследовательность и противоречие являются синонимами, но, по-видимому, я почти прав в этом отношении.) Я полагаю, вы могли бы захотеть, чтобы я немного уточнил здесь... Но сначала я заметил, что вы отметили Аристотель в вашем вопросе. Прежде чем я продолжу объяснение логики 1-го порядка, я полагаю, мне следует спросить вас, задаете ли вы этот вопрос с точки зрения логики Аристотеля, потому что тогда мне придется дать другой ответ.
Я думаю, что лучше придерживаться того, что в моде. Поэтому я думаю, что современные определения были бы более полезными. Спасибо.

Несогласованность в формальной логике - это свойство множеств предложений. Например, множество {A, ¬A} является несовместным множеством.

С другой стороны, противоположное — это отношение между двумя предложениями, то есть предложение А находится в «противоположном» отношении к предложению ¬А.

Набор предложений несовместим только в том случае, если какие-то два предложения в наборе противоречат друг другу.