Логическое следование

[epros]

arseniiv в сообщении #1017274 писал(а):

epros
Так ведь речь не о любом частичном порядке, а о ч. порядке на значениях истинности (который абы каким быть не может).

Не понял, что Вы хотите сказать. Что значит "не абы какие"? Имликация -- это просто бинарное отношение. whitefox правильно заметил, что для любого бинарного отношения можно определить транзитивное и рефлексивное замыкание, что автоматически определяет предпорядок. До частичного порядка не хватает только антисимметричности. Однако если логическую эквиваленцию трактовать как равенство, то можно считать, что антисимметричность у нас тоже есть.

Не понимаю, что такого особенного в импликации в этом смысле?

[arseniiv]

epros в сообщении #1017417 писал(а):

Что значит "не абы какие"? Имликация -- это просто бинарное отношение.

Я имел в виду «распространённые» логики. (Ну, или мне так сейчас кажется. )

[maximk]

epros в сообщении #1016594 писал(а):

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

То есть вы считаете, что если бы в языке не появился символ импликации (и связанное с ним правило вывода modus ponens), то и не было бы причинно-следственных связей?

[epros]

maximk в сообщении #1017890 писал(а):

То есть вы считаете, что если бы в языке не появился символ импликации (и связанное с ним правило вывода modus ponens), то и не было бы причинно-следственных связей?

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