[userpic]

Re: Работает не полная индукция ↑

bavi в посте Metapractice (оригинал в ЖЖ)

Но это не логический вывод :)
Это твой вывод.
Но мой ход мысли так не идёт, во время того, когда я участвую в метамоделирующем диалоге.
И для твоего вывода, я предложил посылки...
Убедительность моих выводов я могу/должен калибровать непосредственно по твоей реакции.
Это незапланированное расширение контекста. Но да ладно.
Это опять некий вывод из эээ опыта/посылок. Т.е у тебя есть основания для того, чтобы это заявить.
Основания для твоего заявления это есть посылки.
Они свернуты. Может, какая -то часть метамоделирование это извлечение этих посылок/оснований?
"Все логические выводы есть убедительны" — я сразу держу в голове вопрос, ПРИ КАКИХ УСЛОВИЯХ они особенно убедительны, либо, наоборот, не очень убедительны.
Когда появляются условия - это уже "некоторые выводы убедительны".
А зачем держать это в голове, построй фразу сразу с этим, - "Все логические выводы более убедительны".
Чем Л.Кэрролл интересен - он ввел такую штуковину для квантора "все", а именно то, что посылка с "все" состоит:
- из правила - нет логического вывода не убедительного
- некоторые л.в суть убедительные
Ну т.е. я набросил этот тезис об абсолютной убедительности логических выводов, ожидая, что проясним как раз эти обстоятельства, при которых эта их убедительность проявляется или не проявляется. Но занесло в другую степь :)
Просто "некоторые л.в убедительны" и возможно попали бы в ту степь:)
Но в этой тренировке не заложена процедура постановки под сомнения исходных посылок. А это самый важный момент.
Абсолютно согласен.
Как построить такое "исчисление" поверх реального мира, чтобы можно было корректно применять правила формальной логики
Вот теперь я попрошу тебя привести пример, для большего понимания твоего хода мыслей.
Я тебе и говорю — феномен (на мой взгляд) именно в том, что если тебе удастся доказать логическую правильность своего хода мыслей, то (при определённых обстоятельствах) этот ход мыслей будет очень убедителен.
И да, и нет. Можно быть абсолютно убедительным, но совершенно логически неправильным. Некоторые логически неправильные выводы вызываеют реакцию - что-то не так, но некоторые проскакивают просто на ура - и такой эээ защитной реакции не возникает.
Убедительность это ведь не только логическая правильность, это еще много других факторов.