Как в логике определить исключающее или.

в чем проблема? есть цвет и у него есть несколько значений. Очевидно, что это то же самое, то сказать переменная a равна 1 или 2.

а во втором случае человек может содержать несколько свойтсв. Считай, что это:

в множество a входят числа 1 или 2.

http://lurkmore.to/Синдром_поиска_глубинного_смысла

«или» трактуется как неисключающее. Иначе используй «один из».

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

Есть человек(в общем смысле, как вид), и у него есть несколько ипостасей. Это не ответ на вопрос. Вы просто подходите к каждому из выражений с той точки зрения, с которой Вам удобней его трактовать.

Есть человек(в общем смысле, как вид), и у него есть несколько ипостасей. Это не ответ на вопрос. Вы просто подходите к каждому из выражений с той точки зрения, с которой Вам удобней его трактовать.

ерунда. описанные мной свойства объекта уже заложены в понятии языка. и трактую я эти свойства соответственно.

То есть, по-вашему получается, что никакой логики нет, язык сам заставляет формировать субъекта контексто-зависимую логику?

Как в логике определить исключающее или

таблицей истинности. вычислять с помощью отображения 2x2 на 2

Логика определяет смысл

логика - это формализм, позволяющий проверять внутреннюю непротиворечивость рассуждений. смыслом рассуждений занимаются более другие науки

1. Полином или второй, или третьей степени.
2. Число делится или на 2, или на 3.

«красный или зеленый»

Принято трактовать как (0110). На обыденном уровне это как раз то, что написано: _исключающее_ или. То есть либо то, либо другое, но не всё вместе. Конкретная логическая модель задаётся языком, на котором производится расчёт логики. Эта модель может опираться на заложенные от рождения представления о причинно-следственной связи, либо на искусственно заданные свойства. В любом случае формальная логика, являясь продуктом разума, представляет из себя лишь упрощённую модель используемых мозгом алгоритмов data mining'а.

Естественные языки недостаточно формальны, чтобы во всех случаях описывать логические операции достоверно, поэтому в отдельных случаях употребление контекстно-зависимое.

язык сам заставляет формировать субъекта контексто-зависимую логику?

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

это формализм

Так вот я и спрашиваю, как определено в этом формализме определять необходимость применения исключающего или к выражению, поскольку есть случаи, когда оно и так следует из контекста. Иными словами, еще раз, контекст определяет исключающее или или исключающее или применяется вне зависимости от контекста?

либо ... либо ... = XOR
... или ... = OR

Думаешь тонко, да?

У меня один только вопрос, чем вы там так упарываетесь?

как определено в этом формализме определять необходимость применения исключающего или

никак. определение необходимости применения той или иной логической связки - вопрос разбора семантики исходного выражения. этим занимается лингвистика, философия, и чёрт знает что ещё. но не логика

вне зависимости от контекста?

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

проверять внутреннюю непротиворечивость рассуждений

И, BTW, внутренняя непротиворечивость рассуждений определяется, как-раз таки смыслом.

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

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

нет

теории предикатов уже интересна внутренняя структура

классическая логика любого порядка игнорирует контекст

так это И, а не ИЛИ

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

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

По традиции, «либо» означает исключающее, а «или» - простое или.

Согласен.

Нужно ли бытиё?