Или немонотонные доказательства не будут композиться? 🤔

Question

Symbolic logic for math and destroy

Alexander Chichigin

Или немонотонные доказательства не будут композиться? 🤔

0

17.05.2024

8 ответов

21 просмотр

Alexander Chichigin Автор вопроса

Brenoritvrezorkre
Немонотонность в логике понимается не одним образо...

Я ж сразу написал про монотонность доказательств-стрелок в указанной (предполагаемой) категории — при чём тут структурные правила? 🤷‍♀️

0

6 месяцев назад

Brenoritvrezorkre

Brenoritvrezorkre
Немонотонность в логике понимается не одним образо...

Альтернативно есть так называемые логики кондиционалов, где среди таких логик есть немонотонные кондиционалы. Скажем так. Мы в логике различаем импликацию и доказательство. В линейной логике немонотонность возникает убиранием особого структурного правила вывода, в логиках кондиционалов — работают не с выводами как таковыми, а с кондициональными (условными) формулами. Но пересекаться вполне может.

0

6 месяцев назад

Brenoritvrezorkre

Brenoritvrezorkre
Альтернативно есть так называемые логики кондицион...

А ещё есть немонотонные логики, где вообще меняется понимание вывода, и там пишут |~ (я именно такой значок видел).

0

6 месяцев назад

Brenoritvrezorkre

Alexander Chichigin
Я ж сразу написал про монотонность доказательств-с...

Я в теоркате не шарю, так что подумал, что ты про логику...

0

6 месяцев назад

Brenoritvrezorkre

Alexander Chichigin
Я ж сразу написал про монотонность доказательств-с...

Или я чего-то не понимаю, или имеется в виду некая монотонность в самом теоркате?

0

6 месяцев назад

Alexander Chichigin Автор вопроса

Brenoritvrezorkre
А ещё есть немонотонные логики, где вообще меняетс...

По-моему, вопрос именно про них/их категорную семантику. Если она есть — если стрелки можно композить.

0

6 месяцев назад

Brenoritvrezorkre

Alexander Chichigin
По-моему, вопрос именно про них/их категорную сема...

Нет, это вообще https://plato.stanford.edu/entries/logic-nonmonotonic/. Там сначала идут графические иллюстрации идеи, а потом формализмы. В логическом программировании из этого известна идея negation as failure и что с помощью этого можно сделать. Но в основном, если касается компьютерных наук, такие формализмы использовались в символьном (причём логическом) AI.

0

6 месяцев назад

Brenoritvrezorkre · Accepted Answer

Brenoritvrezorkre

Немонотонность в логике понимается не одним образом. В линейной логике это структурное правило монотонности (которое убрано).

0

6 месяцев назад

Похожие чаты

Или немонотонные доказательства не будут композиться? 🤔

8 ответов

Похожие вопросы