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

[psilogic]

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

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

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

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

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

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

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

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

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

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

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

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

Comments

[dreimora.livejournal.com]

ух ты.
Теперь я догнала, почему "женская логика" намного обиднее, чем "ты несёшь чушь" )))

А еще, что такое "математическая логика", не раскрывается - просто берётся и употребляется выражение... То есть, может быть, это и не надо раскрывать, но :)

[goh-dan.livejournal.com]

Вот про ложность "все люди - братья" можно спорить. Слишком много предпосылок у этого выражения, которые здесь не учитываются.

[ex-neo-is-fl156.livejournal.com]

Кстати, а все люди - чьи-то братья, или все люди - между собой попарно братья?. Если первое - то вывод про Ирину и Елену не всегда верный (даже если сделать скидку на пол). Контрпример: {Ирина, Света, Петя} - братья, {Елена, Вася, Жора} - братья, {Ирина, Елена} - не братья.

[xuxu4nok.livejournal.com]

Пример с ириной и еленой - это ж modus ponens!
или я уже все забыл...

[eugenebo.livejournal.com]

Может, проще? Логика == способ рассуждать.

Ведь "наука" подразумевает некоторую внятность объекта и строгость мысли. Между тем, у людей есть масса логик, по способам рассуждения даже близко не лежащих к науке, и настолько нечётких, что их и описать формально-то невозможно :)

Интересно, что вышепредложенное определение фактически основано на математеческом понимании: логика == {набор объектов, из которых составляются высказывания; набор правил корректности высказываний; набор правил преобразования высказываний; набор исходных высказываний (аксиом)}.

В это определение чётко укладываются, и допускают исследование методами формальной математики, вещи на первый взгляд логиками не являющиеся. Например:

1. Шахматы == {фигурки; правила насчёт где кто может стоять; правила передвижения фигур; исходная расстановка (то есть, аксиома в шахматах одна)}

2. Философская логика = {слова русского языка; правила русского языка; "интуитивно очевидно, что" и "выражение истинно, если его нельзя явно опровергнуть и оно звучит ново и впечатляюще"; впечатляющие высказывания предыдущих философов}. Just kidding, тут больше бы исследовать надо :)

3. Свободное падение тела = {вертикальная координата; пределы физической применимости; уравнения движения; начальное условие}

4. Музыка = {ноты; ; благозвучность ноты после всех предыдущих; ;}

И т.д. :)

все тут так )

[without-user.livejournal.com]

если так говорить то фраза "все люди братья" уже не верна. Здесь "братья" используетьса что бы передать родственность всего человечества и принадлежащее этой родственности чувство единства, дружбы и т.п. Если понимать фразу "ирина и елена - братья" в этом контесте, приданом фразу "все люди - братья" то она вполне логична. К тому же ирина морковина и елена морковина могут быть просто однофамильцами и вообще не сестрами )

[(Anonymous)]

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

Соответсвенно, это вороде как конкурирующие логики. Возможно практичному человеку и теоретику нужны разные пособия.