История изменений
Исправление praseodim, (текущая версия) :
Логика не занимается проверкой исходных утверждений на соответствие реальности. Дело логики - лишь связь между утверждениями.
Тогда мы просто не поняли друг друга. В моем понимании в логическое рассуждение как раз входит и непротиворечивость исходных данных. Или понимание, что это аксиоматически заданные положения.
В этом случае, таки да, в мире где у людей бывают и три семь ушей, водятся такие сиреневые коты, от глажки которых вырастают уши, вывод что вы погладили кота - логичен. Выше говорилось про шизофреников и их логичные рассуждения. Если они их базируют на неверных утверждениях и не понимают этого, ну так да, болезнь.
Но кстати логика может и обратную задачу выполнить: позволить проверить ложность или истинность исходных данных.
Исходная версия praseodim, :
Логика не занимается проверкой исходных утверждений на соответствие реальности. Дело логики - лишь связь между утверждениями.
Тогда мы просто не поняли друг друга. В моем понимании в логическое рассуждение как раз входит и непротиворечивость исходных данных. Или понимание, что это аксиоматически заданные положения.
В этом случае, таки да, в мире где у людей бывают и три семь ушей, водятся такие сиреневые коты, от глажки которых вырастают уши, вывод что вы погладили кота - логичен. Выше говорилось про шизофреников и их логичные рассуждения. Если они их базируют на неверных утверждениях и не понимают этого, ну так да, болезнь.