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

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

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

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

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

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

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

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

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

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

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

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

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

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

[identity profile] psilogic.livejournal.com 2006-11-16 07:25 pm (UTC)(link)
Исходное допущение верно только в переносном смысле, а рассуждение идет как для буквального значения. Пример нарушения закона тождества.

[identity profile] ex-neo-is-fl156.livejournal.com 2006-11-16 07:38 pm (UTC)(link)
С одной стороны, пожалуй, соглашусь. Но с другой - если мы будем под "все люди братья" подразумевать "все люди между собой братья", то, почему бы и слово "братья" не взять в переносном смысле? (напр., в духовном смысле - брат - т.е. верующий, прошедший необходимые обряды посвящения - можно применять как к мужчинам, так и к женщинам?) В этом случае пример корректен, и необоснован вот этот текст:

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

[identity profile] psilogic.livejournal.com 2006-11-17 06:48 am (UTC)(link)
верно, нарушение закона тождества можно исправить и с другой стороны