2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу Пред.  1, 2, 3
 
 Re: Логическое следование
Сообщение19.05.2015, 19:33 
Аватара пользователя
arseniiv в сообщении #1017274 писал(а):
epros
Так ведь речь не о любом частичном порядке, а о ч. порядке на значениях истинности (который абы каким быть не может).
Не понял, что Вы хотите сказать. Что значит "не абы какие"? Имликация -- это просто бинарное отношение. whitefox правильно заметил, что для любого бинарного отношения можно определить транзитивное и рефлексивное замыкание, что автоматически определяет предпорядок. До частичного порядка не хватает только антисимметричности. Однако если логическую эквиваленцию трактовать как равенство, то можно считать, что антисимметричность у нас тоже есть.

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

 
 
 
 Re: Логическое следование
Сообщение19.05.2015, 19:38 
epros в сообщении #1017417 писал(а):
Что значит "не абы какие"? Имликация -- это просто бинарное отношение.
Я имел в виду «распространённые» логики. (Ну, или мне так сейчас кажется. :? )

 
 
 
 Re: Логическое следование
Сообщение20.05.2015, 17:47 
Аватара пользователя
epros в сообщении #1016594 писал(а):
По-моему, причинно-следственные связи появляются только после того, как в языке появляется символ импликации (и связанное с ним правило вывода modus ponens).

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

 
 
 
 Re: Логическое следование
Сообщение20.05.2015, 21:24 
Аватара пользователя
maximk в сообщении #1017890 писал(а):
То есть вы считаете, что если бы в языке не появился символ импликации (и связанное с ним правило вывода modus ponens), то и не было бы причинно-следственных связей?
Не было бы средств, чтобы рассуждать о том, что такое причино-следственные связи и о том, существуют они или нет.

 
 
 [ Сообщений: 34 ]  На страницу Пред.  1, 2, 3


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group