Значение словосочетания «классическая логика»
-
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.
Неклассическая логика, соответственно, — это логика, в которой один или несколько законов классической логики не выполняются. Самым известным примером неклассической логики есть интуиционистская логика (отказ от закона исключения третьего). Кроме того существуют некоммутативная логика (отказ от коммутативности конъюнкции и дизъюнкции), линейная логика (отказ от идемпотентности конъюнкции и дизъюнкции), немонотонная логика (отказ от монотонности отношения выводимости), квантовая логика (отказ от дистрибутивности ), и огромное множество других.
Нередко приставку классическая употребляют также по отношению к некоторым неклассическим логикам, которые допускают несколько вариантов — с законом исключения третьего (или подобных ему) и без. Тогда первую называют классической. Например классическая линейная логика.
Источник: Википедия
Делаем Карту слов лучше вместе
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: питуитрин — это что-то нейтральное, положительное или отрицательное?
Ассоциации к слову «классический»
Ассоциации к слову «логика»
Синонимы к словосочетанию «классическая логика»
Предложения со словосочетанием «классическая логика»
- Таким образом, все проанализированные выше элементы аргументации в полной мере относятся и к доказательству, рассматриваемому классической логикой.
- Непосредственным результатом революции, произошедшей в логике в конце XIX – начале XX вв., было возникновение логической теории, получившей со временем название классической логики.
- Классическая логика ориентировалась главным образом на анализ математических рассуждений.
- (все предложения)
Сочетаемость слова «классический»
Сочетаемость слова «логика»
Понятия со словосочетанием «классическая логика»
-
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.
- (все понятия)
Афоризмы русских писателей со словом «классический»
- Наш русский язык, более всех новых, может быть, способен приблизиться к языкам классическим по своему богатству, силе, свободе расположения, обилию форм.
- Толстой — хранитель русского классического языка.
По манере он — наследник наших классиков. - Странное заблуждение считать безграничную свободу необходимым условием для развития умов. Взгляните на Восток! Разве это не классическая страна деспотизма? И что ж? Как раз оттуда пришел миру всяческий свет.
- (все афоризмы русских писателей)
Отправить комментарий
Предложения со словосочетанием «классическая логика»
Таким образом, все проанализированные выше элементы аргументации в полной мере относятся и к доказательству, рассматриваемому классической логикой.
Непосредственным результатом революции, произошедшей в логике в конце XIX – начале XX вв., было возникновение логической теории, получившей со временем название классической логики.
Классическая логика ориентировалась главным образом на анализ математических рассуждений.
- (все предложения)
Синонимы к словосочетанию «классическая логика»
- формальная логика
- модальная логика
- индуктивная логика
- символическая логика
- математическая логика
- (ещё синонимы...)