[userpic]

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

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

То, что Сократ — человек, можно более-менее достоверно установить. А "люди — смертны" это что такое? Отсутствующий перформатив. Это какое-то убеждение. А доказательством для него является вывод по неполной индукции — раз люди А, Б, В умерли, значит все люди смертны. Вывод по неполной индукции является нарушением правил логики.
Да, верно. согласен. Но видишь ли, это несколько не о том.
Формальная логика она не занимается эээ подтверждением истинности посылок, она занимается выводом из того, что есть - теория правильных выводов: из 2-х посылок, - "Все Х суть М", "Все M суть Y" делается логически правильный вывод. Формальная логика занимается выводами из уже данного. Не думаю, что ты не знал этого.
Мой пример именно об этом. А не о том, истинно ли у убеждение, что люди смертны или нет. Это обсуждение интересное, но о другом.
Все ли люди смертны? Что это за феномен такой — смерть? И т.д. Формальная логика подразумевает, что мы на веру приняли некое убеждение, которое при должной проверке можно (и дОлжно) быть поставлено под смонение.
Вот опять идет подмена понятий. Некие вопросы философии или бытия.
Еще раз, формальная логика занимается описание выводов из того, что есть, т.е правил.
По другому, если бы посылки были бы истинными, то мы сделали бы логически правильный вывод. Т.е как при истинных посылках не делать неправильные выводы/или делать намеренно запутывая.
А проверкой посылок на истинность - ну, она не занимается этим.
Ну как там, есть же математическая теория, которая утверждает, что любая система высказываний, где есть базовые правила логики и арифметики, либо не полна, либо противоречива. Не уверен, что она строго применима в случае одной только логики.
Теорема Геделя