Проект "логика для чайников" - параграф 1
Nov. 16th, 2006 12:49 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
psilogicЧто такое логика?
Прежде, чем чесать языком, хорошо бы понять, каков предмет разговора. Что такое логика?
Если смотреть по словарю, это слово имеет много разных значений.
Самый забавный пример – женская логика. Если мужчина несет чушь, ему вполне можно сказать: ты несешь чушь, глупости, пургу, дурость. Если женщина говорит глупости, надо высказать ей это как-нибудь помягче, чтобы губки не надувала. :) Например, сказать: “ох уж эта твоя женская логика”. А смысл примерно тот же: “ты несешь чушь”. Ради смеха иногда собирают целые коллекции глупостей под заголовком “женская логика”. Мужчины не реже женщин допускают логические ошибки, просто никому не придет в голову называть мужские ошибки “мужской логикой”.
В электронных схемах встречаются логические элементы. Логический элемент – это какой-то фрагмент электронного устройства, работу которого удобно описывать в терминах математической логики. Скажем, есть элемент И-НЕ, и есть соответствующая функция в математике: ~ (x&y).
Иногда слово “логика” означает то же самое, что слово “закономерность”. Например, логика поведения, внутренняя логика, логика происходящего.
И, наконец, то значение, которое применяется в этой книге.
Логика – наука о рассуждениях.
Примеры:
математическая логика – наука о рассуждениях в математике;
философская логика – наука о рассуждениях в философии;
формальная логика – наука о формальных рассуждениях.
Насколько логика научна, об этом еще будет подробный разговор. А “рассуждение” – это последовательность суждений, которая что-нибудь доказывает. Например:
Все люди – братья. Ирина Морковкина и Елена Морковкина – люди. Значит, Ирина и Елена – братья.
Что-то тут не так, не находите? Судя по фамилиям, Ирина и Елена могут быть сестрами, но никак не братьями. Логика нужна в том числе и для того, чтобы в результате рассуждений не получалась подобная фигня вместо разумных и полезных выводов.
Прежде, чем чесать языком, хорошо бы понять, каков предмет разговора. Что такое логика?
Если смотреть по словарю, это слово имеет много разных значений.
Самый забавный пример – женская логика. Если мужчина несет чушь, ему вполне можно сказать: ты несешь чушь, глупости, пургу, дурость. Если женщина говорит глупости, надо высказать ей это как-нибудь помягче, чтобы губки не надувала. :) Например, сказать: “ох уж эта твоя женская логика”. А смысл примерно тот же: “ты несешь чушь”. Ради смеха иногда собирают целые коллекции глупостей под заголовком “женская логика”. Мужчины не реже женщин допускают логические ошибки, просто никому не придет в голову называть мужские ошибки “мужской логикой”.
В электронных схемах встречаются логические элементы. Логический элемент – это какой-то фрагмент электронного устройства, работу которого удобно описывать в терминах математической логики. Скажем, есть элемент И-НЕ, и есть соответствующая функция в математике: ~ (x&y).
Иногда слово “логика” означает то же самое, что слово “закономерность”. Например, логика поведения, внутренняя логика, логика происходящего.
И, наконец, то значение, которое применяется в этой книге.
Логика – наука о рассуждениях.
Примеры:
математическая логика – наука о рассуждениях в математике;
философская логика – наука о рассуждениях в философии;
формальная логика – наука о формальных рассуждениях.
Насколько логика научна, об этом еще будет подробный разговор. А “рассуждение” – это последовательность суждений, которая что-нибудь доказывает. Например:
Все люди – братья. Ирина Морковкина и Елена Морковкина – люди. Значит, Ирина и Елена – братья.
Что-то тут не так, не находите? Судя по фамилиям, Ирина и Елена могут быть сестрами, но никак не братьями. Логика нужна в том числе и для того, чтобы в результате рассуждений не получалась подобная фигня вместо разумных и полезных выводов.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2006-11-16 12:58 pm (UTC)Теперь я догнала, почему "женская логика" намного обиднее, чем "ты несёшь чушь" )))
А еще, что такое "математическая логика", не раскрывается - просто берётся и употребляется выражение... То есть, может быть, это и не надо раскрывать, но :)
no subject
Date: 2006-11-16 01:45 pm (UTC)no subject
Date: 2006-11-16 02:31 pm (UTC)no subject
Date: 2006-11-16 03:04 pm (UTC)no subject
Date: 2006-11-16 03:19 pm (UTC)no subject
Date: 2006-11-16 04:01 pm (UTC)no subject
Date: 2006-11-17 07:47 am (UTC)no subject
Date: 2006-11-16 05:46 pm (UTC)no subject
Date: 2006-11-16 07:25 pm (UTC)no subject
Date: 2006-11-16 07:38 pm (UTC)"Что-то тут не так, не находите? Судя по фамилиям, Ирина и Елена могут быть сестрами, но никак не братьями. Логика нужна в том числе и для того, чтобы в результате рассуждений не получалась подобная фигня вместо разумных и полезных выводов."
no subject
Date: 2006-11-17 06:48 am (UTC)no subject
Date: 2006-11-17 03:17 am (UTC)или я уже все забыл...
no subject
Date: 2006-11-17 06:51 am (UTC)no subject
Date: 2006-11-17 03:30 am (UTC)Ведь "наука" подразумевает некоторую внятность объекта и строгость мысли. Между тем, у людей есть масса логик, по способам рассуждения даже близко не лежащих к науке, и настолько нечётких, что их и описать формально-то невозможно :)
Интересно, что вышепредложенное определение фактически основано на математеческом понимании: логика == {набор объектов, из которых составляются высказывания; набор правил корректности высказываний; набор правил преобразования высказываний; набор исходных высказываний (аксиом)}.
В это определение чётко укладываются, и допускают исследование методами формальной математики, вещи на первый взгляд логиками не являющиеся. Например:
1. Шахматы == {фигурки; правила насчёт где кто может стоять; правила передвижения фигур; исходная расстановка (то есть, аксиома в шахматах одна)}
2. Философская логика = {слова русского языка; правила русского языка; "интуитивно очевидно, что" и "выражение истинно, если его нельзя явно опровергнуть и оно звучит ново и впечатляюще"; впечатляющие высказывания предыдущих философов}. Just kidding, тут больше бы исследовать надо :)
3. Свободное падение тела = {вертикальная координата; пределы физической применимости; уравнения движения; начальное условие}
4. Музыка = {ноты; ; благозвучность ноты после всех предыдущих; ;}
И т.д. :)
no subject
Date: 2006-11-17 07:04 am (UTC)В принципе, между "наукой", "способом", "методом" дистанция не очень далекая. Можно представлять себе науку как совокупность научных методов/способов, можно всю совокупность методов/способов обозначить как единый метод/способ. Метод/способ обычно подразумевает какие-нибудь предварительные сведения, введение терминологии, и т.п.
Не приходит ли тебе в голову какой-нибудь разграничительный критерий, позволяющий различить науку и способ?
Насчет шахмате не понял... ну философская логика еще куда ни шло, а в шахматах ведь не высказывания, а ходы (действия), в музыке - ноты (опять действия)?
no subject
Date: 2006-11-17 06:59 pm (UTC)Каждой расстановке фигур на доске соответствует описывающее её высказывание. Его можно записать либо стандартными шахматными значками, которыми расписываются партии, либо фактическим расставлением фигурок.
Музыка (по крайней мере хорошая музыка) -- это высказывания эмоций. Опять же, возможна и более узкая интерпретация её как высказываний на языке нотной записи.
no subject
Date: 2006-11-17 09:25 pm (UTC)В таком случае, я его добавлю в текст как альтернативную формулировку, потому, что мне оно чуть больше нравится и вполне подходит :) Если мы считаем, что логика не дотягивает до уровня науки (а некоторые методы рассуждений в самом деле не дотягивают), то это определение получается точнее. Ну пусть менее официально, зато чуть точнее.
Каждой расстановке фигур на доске соответствует описывающее её высказывание.
Замечу, что как только мы начинаем рассматривать ходы как высказывания о ходах (а не действия или образные воспоминания) , то сразу появляется некая логическая система. По ней рассуждает шахматист мысленно. Если я схожу так, он сходит так... ну, в принципе, что-то типа логики, хотя так и не называют.
все тут так )
Date: 2006-11-17 07:17 pm (UTC)Re: все тут так )
Date: 2006-11-17 09:14 pm (UTC)no subject
Date: 2009-12-30 09:56 am (UTC)Соответсвенно, это вороде как конкурирующие логики. Возможно практичному человеку и теоретику нужны разные пособия.