Re: Работает не полная индукция ↑
eugzol в посте Metapractice (оригинал в ЖЖ)
Ты же уверен в своем выводе, так?
Но это не логический вывод :)
Тогда у нас может быть в работе такие посылки (реконструкция не имеет отношение к реальности, это просто иллюстрация некоего процесса)
- Все логические выводы есть убедительны
- Все выводы сделанные по правилам логики суть логические выводы
- Все твои логические выводы есть сделанные по правилам логики.
-
- Все твои логические выводы суть убедительные выводы
Но мой ход мысли так не идёт, во время того, когда я участвую в метамоделирующем диалоге. Убедительность моих выводов я могу/должен калибровать непосредственно по твоей реакции.
"Все логические выводы есть убедительны" — я сразу держу в голове вопрос, ПРИ КАКИХ УСЛОВИЯХ они особенно убедительны, либо, наоборот, не очень убедительны. Ну т.е. я набросил этот тезис об абсолютной убедительности логических выводов, ожидая, что проясним как раз эти обстоятельства, при которых эта их убедительность проявляется или не проявляется. Но занесло в другую степь :)
Логически верные выводы из данных посылок, так?
А теперь представь, что сюда в эти рассуждения обывателя закралась одна посылка с частным суждением или отрицательна.
Но итоговый вывод дан общий...
А я не спорю с пользой тренировки логического мышления. Но в этой тренировке не заложена процедура постановки под сомнения исходных посылок. А это самый важный момент. Как построить такое "исчисление" поверх реального мира, чтобы можно было корректно применять правила формальной логики. Но опять же, в этой тренировке такой процедуры проверки исходных посылок и не должно быть заложено.
Разрушение, разрушению рознь.
И тут опять можно идти, как описал ты проверять на истинность сами посылки. Это полезно сделать. А второй способ не обращаться к проверке на истинность головных посылок, а проверить правильность вывода на правильность.
Вот ты спросил в чём феномен. Я тебе и говорю — феномен (на мой взгляд) именно в том, что если тебе удастся доказать логическую правильность своего хода мыслей, то (при определённых обстоятельствах) этот ход мыслей будет очень убедителен. И напротив, если тебе удастся доказать наличие логической ошибки в некоем рассуждении, то его убедительность тут же значительно уменьшится. Это феномен о том, как работает, условно говоря, голова человека. Как работают убеждения.
1 комментарий
![[userpic]](http://localhost:4000/images/none.gif)
Но это не логический вывод :)
Это твой вывод.
Но мой ход мысли так не идёт, во время того, когда я участвую в метамоделирующем диалоге.
И для твоего вывода, я предложил посылки...
Убедительность моих выводов я могу/должен калибровать непосредственно по твоей реакции.
Это незапланированное расширение контекста. Но да ладно.
Это опять некий вывод из эээ опыта/посылок. Т.е у тебя есть основания для того, чтобы это заявить.
Основания для твоего заявления это есть посылки.
Они свернуты. Может, какая -то часть метамоделирование это извлечение этих посылок/оснований?
"Все логические выводы есть убедительны" — я сразу держу в голове вопрос, ПРИ КАКИХ УСЛОВИЯХ они особенно убедительны, либо, наоборот, не очень убедительны.
Когда появляются условия - это уже "некоторые выводы убедительны".
А зачем держать это в голове, построй фразу сразу с этим, - "Все логические выводы более убедительны".
Чем Л.Кэрролл интересен - он ввел такую штуковину для квантора "все", а именно то, что посылка с "все" состоит:
- из правила - нет логического вывода не убедительного
- некоторые л.в суть убедительные
Ну т.е. я набросил этот тезис об абсолютной убедительности логических выводов, ожидая, что проясним как раз эти обстоятельства, при которых эта их убедительность проявляется или не проявляется. Но занесло в другую степь :)
Просто "некоторые л.в убедительны" и возможно попали бы в ту степь:)
Но в этой тренировке не заложена процедура постановки под сомнения исходных посылок. А это самый важный момент.
Абсолютно согласен.
Как построить такое "исчисление" поверх реального мира, чтобы можно было корректно применять правила формальной логики
Вот теперь я попрошу тебя привести пример, для большего понимания твоего хода мыслей.
Я тебе и говорю — феномен (на мой взгляд) именно в том, что если тебе удастся доказать логическую правильность своего хода мыслей, то (при определённых обстоятельствах) этот ход мыслей будет очень убедителен.
И да, и нет. Можно быть абсолютно убедительным, но совершенно логически неправильным. Некоторые логически неправильные выводы вызываеют реакцию - что-то не так, но некоторые проскакивают просто на ура - и такой эээ защитной реакции не возникает.
Убедительность это ведь не только логическая правильность, это еще много других факторов.
Это твой вывод.
Но мой ход мысли так не идёт, во время того, когда я участвую в метамоделирующем диалоге.
И для твоего вывода, я предложил посылки...
Убедительность моих выводов я могу/должен калибровать непосредственно по твоей реакции.
Это незапланированное расширение контекста. Но да ладно.
Это опять некий вывод из эээ опыта/посылок. Т.е у тебя есть основания для того, чтобы это заявить.
Основания для твоего заявления это есть посылки.
Они свернуты. Может, какая -то часть метамоделирование это извлечение этих посылок/оснований?
"Все логические выводы есть убедительны" — я сразу держу в голове вопрос, ПРИ КАКИХ УСЛОВИЯХ они особенно убедительны, либо, наоборот, не очень убедительны.
Когда появляются условия - это уже "некоторые выводы убедительны".
А зачем держать это в голове, построй фразу сразу с этим, - "Все логические выводы более убедительны".
Чем Л.Кэрролл интересен - он ввел такую штуковину для квантора "все", а именно то, что посылка с "все" состоит:
- из правила - нет логического вывода не убедительного
- некоторые л.в суть убедительные
Ну т.е. я набросил этот тезис об абсолютной убедительности логических выводов, ожидая, что проясним как раз эти обстоятельства, при которых эта их убедительность проявляется или не проявляется. Но занесло в другую степь :)
Просто "некоторые л.в убедительны" и возможно попали бы в ту степь:)
Но в этой тренировке не заложена процедура постановки под сомнения исходных посылок. А это самый важный момент.
Абсолютно согласен.
Как построить такое "исчисление" поверх реального мира, чтобы можно было корректно применять правила формальной логики
Вот теперь я попрошу тебя привести пример, для большего понимания твоего хода мыслей.
Я тебе и говорю — феномен (на мой взгляд) именно в том, что если тебе удастся доказать логическую правильность своего хода мыслей, то (при определённых обстоятельствах) этот ход мыслей будет очень убедителен.
И да, и нет. Можно быть абсолютно убедительным, но совершенно логически неправильным. Некоторые логически неправильные выводы вызываеют реакцию - что-то не так, но некоторые проскакивают просто на ура - и такой эээ защитной реакции не возникает.
Убедительность это ведь не только логическая правильность, это еще много других факторов.