Классическая логика: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
м робот добавил: mk:Класична логика |
Aztec45 (обсуждение | вклад) опечатка |
||
| Строка 1: | Строка 1: | ||
'''Классическая логика''' — [[термин]], используемый в [[математическая логика|математической логике]] по отношению к той или иной [[логическая система|логической системе]], для указания того, что для данной логики справедливы все законы (классического) [[исчисление высказываний| |
'''Классическая логика''' — [[термин]], используемый в [[математическая логика|математической логике]] по отношению к той или иной [[логическая система|логической системе]], для указания того, что для данной логики справедливы все законы (классического) [[исчисление высказываний|исчисления высказываний]], в том числе [[закон исключения третьего]]. |
||
[[Неклассическая логика]] соответственно есть логика, в которой один или несколько законов классической логики не выполняются. Самым известным примером неклассической логики есть [[интуиционистская логика]] (отказ от закона исключения третьего). Кроме того существуют [[некоммутативная логика]] (отказ от [[коммутативность|коммутативности]] [[конъюнкция|конъюнкции]] и [[дизъюнкция|дизъюнкции]]), [[линейная логика]] (отказ от [[идемпотентность|идемпотентности]] [[конъюнкция|конъюнкции]] и [[дизъюнкция|дизъюнкции]]), [[немонотонная логика]] (отказ от монотонности отношения выводимости), и огромное множество других. |
[[Неклассическая логика]] соответственно есть логика, в которой один или несколько законов классической логики не выполняются. Самым известным примером неклассической логики есть [[интуиционистская логика]] (отказ от закона исключения третьего). Кроме того существуют [[некоммутативная логика]] (отказ от [[коммутативность|коммутативности]] [[конъюнкция|конъюнкции]] и [[дизъюнкция|дизъюнкции]]), [[линейная логика]] (отказ от [[идемпотентность|идемпотентности]] [[конъюнкция|конъюнкции]] и [[дизъюнкция|дизъюнкции]]), [[немонотонная логика]] (отказ от монотонности отношения выводимости), и огромное множество других. |
||
Версия от 19:01, 13 апреля 2008
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.
Неклассическая логика соответственно есть логика, в которой один или несколько законов классической логики не выполняются. Самым известным примером неклассической логики есть интуиционистская логика (отказ от закона исключения третьего). Кроме того существуют некоммутативная логика (отказ от коммутативности конъюнкции и дизъюнкции), линейная логика (отказ от идемпотентности конъюнкции и дизъюнкции), немонотонная логика (отказ от монотонности отношения выводимости), и огромное множество других.
Нередко приставку классическая употребляют также по отношению к некоторым неклассическим логикам, которые допускают несколько вариантов — с законом исключения третьего (или подобных ему) и без. Тогда первую называют классической. Например классическая линейная логика.
 | Это заготовка статьи по логике. Помогите Википедии, дополнив её. |
 | В статье не хватает ссылок на источники (см. рекомендации по поиску). |