2014 dxdy logo

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

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


Правила форума


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему На страницу 1, 2, 3  След.
 
 Логическое следование
Сообщение15.05.2015, 21:13 
Аватара пользователя


04/06/14
623
Почему таблица истинности для исчисления высказываний в двузначной логике (математической) определяется именно так, как определяется? Подразумевается принципиальная возможность следования лжи из лжи, истины из лжи, или как "правильно" понимать? Под влиянием чего образовалась именно такая истинностная таблица?
Ведь не всегда из лжи следует истина, из лжи следует ложь, даже следование истины из истины можно подвергнуть сомнению (существуют контрпримеры).
Никакого философского смысла ведь не вкладывается в эту таблицу, она образована лишь запросами практики?

 Профиль  
                  
 
 Re: Логическое следование
Сообщение15.05.2015, 21:16 
Заслуженный участник
Аватара пользователя


06/10/08
6422
maximk в сообщении #1015692 писал(а):
Почему таблица истинности для исчисления высказываний в двузначной логике (математической) определяется именно так, как определяется? Подразумевается принципиальная возможность следования лжи из лжи, истины из лжи, или как "правильно" понимать? Под влиянием чего образовалась именно такая истинностная таблица?
Под влиянием чего она образовалась - это вопрос по истории философии, ну а суть (на мой взгляд) в том, что при таком определении выполняется теорема о дедукции.

 Профиль  
                  
 
 Re: Логическое следование
Сообщение15.05.2015, 21:20 
Аватара пользователя


04/06/14
623
А можете посоветовать какую-нибудь книгу, где можно об этом вычитать (по истории философии)? Желательно интересную, обширную и так далее :wink:

 Профиль  
                  
 
 Re: Логическое следование
Сообщение15.05.2015, 21:25 
Заслуженный участник
Аватара пользователя


24/02/12
1842
Москва
$x$ делится на $4$, следовательно, $x$ делится на $2$.
Подставьте различные $x$ по модулю $4$ в эту истинную импликацию и увидите, почему именно такая таблица истинности, в частности, как из лжи может следовать истина.

 Профиль  
                  
 
 Re: Логическое следование
Сообщение15.05.2015, 21:30 
Заслуженный участник


27/04/09
28128
maximk в сообщении #1015699 писал(а):
А можете посоветовать какую-нибудь книгу, где можно об этом вычитать (по истории философии)?
Книга по истории философии вряд ли содержит нужную информацию. Но к вашим услугам ещё парочка (объединённых из большего числа) тем о таблице истинности импликации на этом форуме (см. поиск).

 Профиль  
                  
 
 Re: Логическое следование
Сообщение15.05.2015, 21:57 
Заслуженный участник
Аватара пользователя


06/10/08
6422
maximk в сообщении #1015699 писал(а):
А можете посоветовать какую-нибудь книгу, где можно об этом вычитать (по истории философии)? Желательно интересную, обширную и так далее :wink:
Не, я это дело не люблю. Зато можно оригиналы читать. Вот, скажем, у Фреге в "Begriffschrifft" явно выписана таблица истинности для импликации (словами) и отмечено, что она не вполне отражает значение связки "если..то", потому что связка подразумевает некоторую причинно-следственную связь.
У Пирса что-то похожее встречается, например
C.S.Pierce, On Existential Graphs, Euler's Diagrams, and Logical Algebra писал(а):
What does it mean to assert de inesse that there is something, which if it be a salamander, lives in fire? It asserts, no doubt, that there is something. Now suppose that anything lives in fire. Then of that it will be true de inesse that if it be a salamander, it lives in fire; so that the proposition will then be true. Suppose that there is anything that is not a salamander. Then, of that it will be true de inesse that if it be a salamander, it lives in fire; and again the proposition will be true. It is only false in case whatever there may be is a salamander while nothing lives in fire.
Что там до этого в средневековье думали по этому поводу - не знаю.

 Профиль  
                  
 
 Re: Логическое следование
Сообщение15.05.2015, 22:22 
Заслуженный участник


27/04/09
28128
(Возможно, в Summa logicae что-нибудь и найдётся, раз там даже законы де Моргана были, но это штука неподъёмная. Мне хватило заискаться латинским переводом этих з., чтобы решить больше не открывать. Но, опять же, какой толк, когда написано обоснование?)

 Профиль  
                  
 
 Re: Логическое следование
Сообщение15.05.2015, 23:27 
Заслуженный участник
Аватара пользователя


06/10/08
6422
И действительно: http://www.jstor.org/discover/10.2307/4 ... 6837417033

 Профиль  
                  
 
 Re: Логическое следование
Сообщение16.05.2015, 12:22 
Аватара пользователя


04/06/14
623
ex-math, да, спасибо, я просто уточнял, какой смысл отражает таблица истинности.
А как вы считаете, всегда ли из истины следует истина (из истины не может следовать лжи)?
Еще раз, уточняю, таблица истинности подразумевает только возможность выполнения/невыполнения следования? Если нет, то тогда что она подразумевает?

 Профиль  
                  
 
 Re: Логическое следование
Сообщение16.05.2015, 12:45 
Заслуженный участник
Аватара пользователя


24/02/12
1842
Москва
maximk
Не очень понятен вопрос. Просто в само понятие следования уже заложено, что при истинной посылке заключение не может быть ложным. Это объясняет и практическую важность импликации. Основная неинтуитивность таблицы заключена как раз в строчке с ложной посылкой и истинным заключением, но это легко поясняется примером, который я привел.

 Профиль  
                  
 
 Re: Логическое следование
Сообщение16.05.2015, 14:02 
Заслуженный участник
Аватара пользователя


28/09/06
10413
maximk в сообщении #1015905 писал(а):
(из истины не может следовать лжи)?
Таблица истинности импликации утверждает, что не может.

maximk в сообщении #1015905 писал(а):
таблица истинности подразумевает только возможность выполнения/невыполнения следования? Если нет, то тогда что она подразумевает?
В классической мат. логике нет такой модальности как "возможность". И таблица истинности импликации (как Вы выражаетесь -- "следования") ничего не подразумевает. Просто есть такое правило вывода -- modus ponens, которое утверждает, что с применением импликации можно делать выводы. Вот и всё.

 Профиль  
                  
 
 Re: Логическое следование
Сообщение17.05.2015, 12:11 
Аватара пользователя


04/06/14
623
Спрошу по-другому: как перевести на русский язык "$\lambda(0 \rightarrow 1)=1 $"? "Из лжи может следовать истина"? Или может "Из лжи всегда следует истина"? Или "Допустимо, что ложь влечет истину (допустимо, из лжи следует истина)"? То есть что подразумевается, "принципиальная возможнось"?
$\lambda$ здесь интерпретация.

 Профиль  
                  
 
 Re: Логическое следование
Сообщение17.05.2015, 12:48 
Заслуженный участник
Аватара пользователя


28/09/06
10413
maximk в сообщении #1016346 писал(а):
Спрошу по-другому: как перевести на русский язык "$\lambda(0 \rightarrow 1)=1 $"?
Судя по всему, так: "Значением импликации из ложного в истинное является истинное". :wink: Вроде, так всё будет по-русски.

maximk в сообщении #1016346 писал(а):
"Из лжи может следовать истина"? Или может "Из лжи всегда следует истина"? Или "Допустимо, что ложь влечет истину (допустимо, из лжи следует истина)"? То есть что подразумевается, "принципиальная возможнось"?
Логика ничего не говорит о "подразумевании". А вот следует из этого одна важная вещь: Что истинное утверждение можно вывести и из ложной предпосылки. (Из ложной предпосылки, вообще-то, можно вывести что угодно).

 Профиль  
                  
 
 Re: Логическое следование
Сообщение17.05.2015, 13:34 
Заслуженный участник
Аватара пользователя


19/12/10
1546
Почитайте Е.К.Войшвилло Символическая логика.
Там во второй части (Релевантная логика) подробно обсуждаются "парадоксы" материальной импликации и соответствующего ей отношения логического следования.

В классической же логике парадоксальность материальной импликации кажущаяся, так как материальная импликация не является релевантной экспликацией условной связи "если $A$, то $B$ ", а лишь сокращением для $(\neg A\vee B).$

Исчисление высказываний можно вполне себе построить и без использования материальной импликации, просто она удобнее при использовании правила вывода modus ponens.

 Профиль  
                  
 
 Re: Логическое следование
Сообщение17.05.2015, 14:47 
Заслуженный участник
Аватара пользователя


11/03/08
9490
Москва
Правило "Из лжи следует истина" не означает, что, взяв ложные предпосылки, мы непременно получим истину, а лишь то, что рассуждение, основанное на ложных предпосылках, может привести к истинному результату, и выявление ложности предпосылок ещё не значит, что полученный из них результат заведомо ложен.

(Оффтоп)

Адвокат, защищающий Чикатило спрашивает присяжных: "Вор должен сидеть в тюрьме?". Те соглашаются. "Мой подзащитный не вор, и его следует освободить!". Присяжные в недоумении чешут в затылках. Но прокурор, сдавший в университете логику на 5, отвечает: $F\rightarrow T$, и адвокат сдувается.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 34 ]  На страницу 1, 2, 3  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group