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