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

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

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

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

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

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

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

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

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

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

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

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

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

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

[identity profile] psilogic.livejournal.com 2006-11-16 04:01 pm (UTC)(link)
я имел в виду вывод о том, что эти две сестры - братья звучит как фигня. :) Само рассуждение тоже намеренно неправильное.

[identity profile] humanitarius.livejournal.com 2006-11-17 07:47 am (UTC)(link)
Само рассуждение - логичное, вывод соответствует первоначальным данным. Для того, чьлбы сделать вывод о неправильности рассуждания, надо изменить исходные данные и сообщить о многозначности понятия "братья". Это уже не математика (тут все примитивно), а лингвистика