![[userpic]](https://metapractice.ru/images/none-4ee1bcd692ded7d0186297bdd7e6cfd1.gif?vsn=d)
Но это не логический вывод :)
Это твой вывод.
Но мой ход мысли так не идёт, во время того, когда я участвую в метамоделирующем диалоге.
И для твоего вывода, я предложил посылки...
Убедительность моих выводов я могу/должен калибровать непосредственно по твоей реакции.
Это незапланированное расширение контекста. Но да ладно.
Это опять некий вывод из эээ опыта/посылок. Т.е у тебя есть основания для того, чтобы это заявить.
Основания для твоего заявления это есть посылки.
Они свернуты. Может, какая -то часть метамоделирование это извлечение этих посылок/оснований?
"Все логические выводы есть убедительны" — я сразу держу в голове вопрос, ПРИ КАКИХ УСЛОВИЯХ они особенно убедительны, либо, наоборот, не очень убедительны.
Когда появляются условия - это уже "некоторые выводы убедительны".
А зачем держать это в голове, построй фразу сразу с этим, - "Все логические выводы более убедительны".
Чем Л.Кэрролл интересен - он ввел такую штуковину для квантора "все", а именно то, что посылка с "все" состоит:
- из правила - нет логического вывода не убедительного
- некоторые л.в суть убедительные
Ну т.е. я набросил этот тезис об абсолютной убедительности логических выводов, ожидая, что проясним как раз эти обстоятельства, при которых эта их убедительность проявляется или не проявляется. Но занесло в другую степь :)
Просто "некоторые л.в убедительны" и возможно попали бы в ту степь:)
Но в этой тренировке не заложена процедура постановки под сомнения исходных посылок. А это самый важный момент.
Абсолютно согласен.
Как построить такое "исчисление" поверх реального мира, чтобы можно было корректно применять правила формальной логики
Вот теперь я попрошу тебя привести пример, для большего понимания твоего хода мыслей.
Я тебе и говорю — феномен (на мой взгляд) именно в том, что если тебе удастся доказать логическую правильность своего хода мыслей, то (при определённых обстоятельствах) этот ход мыслей будет очень убедителен.
И да, и нет. Можно быть абсолютно убедительным, но совершенно логически неправильным. Некоторые логически неправильные выводы вызываеют реакцию - что-то не так, но некоторые проскакивают просто на ура - и такой эээ защитной реакции не возникает.
Убедительность это ведь не только логическая правильность, это еще много других факторов.
Это твой вывод.
Но мой ход мысли так не идёт, во время того, когда я участвую в метамоделирующем диалоге.
И для твоего вывода, я предложил посылки...
Убедительность моих выводов я могу/должен калибровать непосредственно по твоей реакции.
Это незапланированное расширение контекста. Но да ладно.
Это опять некий вывод из эээ опыта/посылок. Т.е у тебя есть основания для того, чтобы это заявить.
Основания для твоего заявления это есть посылки.
Они свернуты. Может, какая -то часть метамоделирование это извлечение этих посылок/оснований?
"Все логические выводы есть убедительны" — я сразу держу в голове вопрос, ПРИ КАКИХ УСЛОВИЯХ они особенно убедительны, либо, наоборот, не очень убедительны.
Когда появляются условия - это уже "некоторые выводы убедительны".
А зачем держать это в голове, построй фразу сразу с этим, - "Все логические выводы более убедительны".
Чем Л.Кэрролл интересен - он ввел такую штуковину для квантора "все", а именно то, что посылка с "все" состоит:
- из правила - нет логического вывода не убедительного
- некоторые л.в суть убедительные
Ну т.е. я набросил этот тезис об абсолютной убедительности логических выводов, ожидая, что проясним как раз эти обстоятельства, при которых эта их убедительность проявляется или не проявляется. Но занесло в другую степь :)
Просто "некоторые л.в убедительны" и возможно попали бы в ту степь:)
Но в этой тренировке не заложена процедура постановки под сомнения исходных посылок. А это самый важный момент.
Абсолютно согласен.
Как построить такое "исчисление" поверх реального мира, чтобы можно было корректно применять правила формальной логики
Вот теперь я попрошу тебя привести пример, для большего понимания твоего хода мыслей.
Я тебе и говорю — феномен (на мой взгляд) именно в том, что если тебе удастся доказать логическую правильность своего хода мыслей, то (при определённых обстоятельствах) этот ход мыслей будет очень убедителен.
И да, и нет. Можно быть абсолютно убедительным, но совершенно логически неправильным. Некоторые логически неправильные выводы вызываеют реакцию - что-то не так, но некоторые проскакивают просто на ура - и такой эээ защитной реакции не возникает.
Убедительность это ведь не только логическая правильность, это еще много других факторов.