Читать «Учебник логики» онлайн - страница 2

Философия же требует от нас значительной смелости ума. Грубо говоря, продвигаясь вперёд в философии, мы постоянно должны говорить себе: «Да, здесь налит именно кофе, а не жидкий азот». Даже в тех случаях, когда мы не знаем, что за вещество находится в чашке. И, одновременно, мы должны отличать очевидное от неочевидного, чтобы не начать рассуждать про число ангелов, которые могут поместиться на острие иглы.

Для этого требуется определённая зрелость и смелость ума, которыми обычно не обладают ни школьники, ни, увы, стандартные учителя философии.

Ладно. Тем ценнее логика для философов. И, пожалуй, самое место для очередной цитаты из учебника:

Логика ставит своей целью не поиск истины. Логика ставит своей целью доказательство уже открытых истин.

Как же так, скажете вы, но ведь несколькими абзацами раньше было сказано, что как раз для поиска истин и нужна логика?

Никакого противоречия тут нет. Логика — это важнейший инструмент роющегося в куче новых идей учёного, при помощи которого он отличает действительно стоящие находки от не заслуживающего внимания мусора.

Как я давно хотел написать, сильный мозг стоит на двух ногах. Одна нога — интуиция — ищет новое. Часто новое приходит даже во сне, как пришла к Менделееву его таблица. Вторая нога — логика — отделяет гениальные идеи от бреда. Логика не выводит сложные идеи из простых, а, наоборот, членит сложные идеи на элементарные кирпичики.

Помните дедуктивный метод Шерлока Холмса? Однажды мой учитель математики, ехидно улыбаясь, указал на «ошибку» Конан Дойля. Дескать, метод «от частного (сигаретного пепла) к общему (картине убийства)» должен называться не дедуктивным, а индуктивным. Но сейчас я вижу, что прав был всё же Конан Дойль.

Шерлок Холмс сначала представлял себе картину убийства, и только потом проверял её, посредством мелких улик (типа собачьей шерсти в постели), и логических умозаключений. Поэтому его метод является именно дедуктивным, а не индуктивным.

Вернёмся к логике. Родителем логики, утверждает Челпанов, следует считать Аристотеля. После Аристотеля Декарт, Бэкон, Милль и прочие талантливые логики всячески развивали и растили эту науку. В итоге, в логике появилось два направления — формальное и индуктивное. Обсудим их отличия на примере формально истинного и материально истинного высказывания.

Все негры курят анашу.
Большой Джон — негр. =
Большой Джон курит анашу

«Большой Джон курит анашу» — формально истинное высказывание, так как оно логически следует из двух предыдущих. Но вот материально высказывание вполне может быть и ложным. Например, Большой Джон может быть шестилетним ребёнком, у которого пока нет денег на наркотики.

Все птицы имеют перья.
Некоторые летучие твари — не птицы. =
Некоторые летучие твари не имеют перьев.

Высказывание «Некоторые летучие твари не имеют перьев» — формально ложно, так как не вытекает из данных положений. Однако материально оно истинно. Например, мы отлично знаем, что мухи не имеют перьев. Кстати, Вы заметили, где спряталась логическая ошибка? Приведу пример аналогичного рассуждения: