psilogic: (Default)
psilogic ([personal profile] psilogic) wrote2006-11-16 12:49 pm

Проект "логика для чайников" - параграф 1

Что такое логика?

Прежде, чем чесать языком, хорошо бы понять, каков предмет разговора. Что такое логика?

Если смотреть по словарю, это слово имеет много разных значений.

Самый забавный пример – женская логика. Если мужчина несет чушь, ему вполне можно сказать: ты несешь чушь, глупости, пургу, дурость. Если женщина говорит глупости, надо высказать ей это как-нибудь помягче, чтобы губки не надувала. :) Например, сказать: “ох уж эта твоя женская логика”. А смысл примерно тот же: “ты несешь чушь”. Ради смеха иногда собирают целые коллекции глупостей под заголовком “женская логика”. Мужчины не реже женщин допускают логические ошибки, просто никому не придет в голову называть мужские ошибки “мужской логикой”.

В электронных схемах встречаются логические элементы. Логический элемент – это какой-то фрагмент электронного устройства, работу которого удобно описывать в терминах математической логики. Скажем, есть элемент И-НЕ, и есть соответствующая функция в математике: ~ (x&y).

Иногда слово “логика” означает то же самое, что слово “закономерность”. Например, логика поведения, внутренняя логика, логика происходящего.

И, наконец, то значение, которое применяется в этой книге.

Логика – наука о рассуждениях.

Примеры:
математическая логика – наука о рассуждениях в математике;
философская логика – наука о рассуждениях в философии;
формальная логика – наука о формальных рассуждениях.

Насколько логика научна, об этом еще будет подробный разговор. А “рассуждение” – это последовательность суждений, которая что-нибудь доказывает. Например:

Все люди – братья. Ирина Морковкина и Елена Морковкина – люди. Значит, Ирина и Елена – братья.

Что-то тут не так, не находите? Судя по фамилиям, Ирина и Елена могут быть сестрами, но никак не братьями. Логика нужна в том числе и для того, чтобы в результате рассуждений не получалась подобная фигня вместо разумных и полезных выводов.

[identity profile] psilogic.livejournal.com 2006-11-17 09:25 pm (UTC)(link)
Да мне не принципиально, это так, рацпредложение.

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

Каждой расстановке фигур на доске соответствует описывающее её высказывание.

Замечу, что как только мы начинаем рассматривать ходы как высказывания о ходах (а не действия или образные воспоминания) , то сразу появляется некая логическая система. По ней рассуждает шахматист мысленно. Если я схожу так, он сходит так... ну, в принципе, что-то типа логики, хотя так и не называют.