МИБ: Логика

объясняем логическую реальность

Объем Логики

Постулаты логики как природа Абсоолюта

Силлогизм: 3х навья, 5 ньяя, 7 джайны

Что такое логическая система или теория?

Логика как костыль интуиции

Логика как научный подход

Позитивизм ньяи - как отточить логику, чтобы она точно описывала опыт - давала полную истину

Парадигма: догматическое/критическое недостаток

Логика - анализ материальных элементов

Ач-бх-абх - логика любви

Логика исследует процессы мышления - антахкарана - — исследовать саму ткань мышления, абстрактные структуры и правила, по которым истина передается от одного утверждения к другому.

1. Вопросы о природе истины и логического следования (5,3х чл. ньяя)

Это ядро логической теории. Логики ищут математически строгие ответы на вопросы, которые философы веками формулировали метафорически:

• Что такое логическое следование ($A \vDash B$)? Почему в одних случаях из суждения $A$ железно вытекает суждение $B$, а в других — нет? Каковы границы этой связи?
• Что делает рассуждение «правильным» (валидным)? Как доказать, что форма вывода безупречна, независимо от того, какие слова мы подставим вместо переменных?
• Что такое логический закон? Существуют ли универсальные формулы, которые остаются истинными всегда, в любом возможном мире и при любых обстоятельствах (например, закон тождества $A \equiv A$)?

Природа логики

Интуитивисты

Тансценденталисты

Эмпиристы

- Проблема врожденных идей / грамматика

Логика сознания, а не бинарная

- возможность личностных отношений с Богом и др.

- природа логика, любви и Бога

- невозможность открытости истине (логики как последовательности познания) с материальными желаниями

- две природы логики: ароха и авароха пантха (индуктивная (кама - гипноз объектов чувств) и дедуктивная логика (отсутствие упатх - тр.редукция))

добавить

про кипноз

про догматизм и Бог это Кришна

Связь природы логики с садхана-бхакти и рагануга-бхакти

"Преданный такого ранга никогда не нарушает принципы, установленные высшими авторитетами, и непоколебимо верит в писания, глубоко постигнув их смысл с помощью логики и доказательств. Говоря о логике и доказательствах, мы имеем в виду логику и доказательства, основанные на богооткровенных писаниях."

Описание уттама-адхикари, Нектар Преданности, глава 3

Аргументация как инструмент киртанам

«Шримад-Бхагаватам», 6.2.46. Магха-мела. 30 января 1971 г., Праяга. Не стоит думать, будто одно — это киртан, а другое — нет. Нет. Когда вы идете проповедовать, беседовать, приводить доводы и логические аргументы в споре с оппонентами, и порой вынуждены отступать или даже терпите поражение — а в спорах такое случается, — то это тоже... Вишванатха Чакраварти Тхакур отмечал, что когда преданный отправляется проповедовать и сталкивается с нападками противников, это тоже является практикой бхакти, преданного служения.

Связь логики таттвы и чистоты расы

ШБ 2.1.9

Невежественные люди не могут смириться с мыслью о том, что Абсолютная Истина является личностью, поэтому недалекие имперсоналисты отрицают, что Господь может действовать как личность. Однако логика и аргументы в сочетании с трансцендентным процессом познания Абсолютной Истины помогают ощутить привлекательность деяний Господа даже закоренелому имперсоналисту.

ШБ 10.87.20 (Ученики)

Комментарий: Обусловленная душа, пребывающая в материальном мире, кажется покрытой материей, как внутри, так и снаружи. Наружное покрытие — это ее тело и окружение, а изнутри ее сознание одолевают желание и отвращение. Однако осознавшие себя мудрецы, обладающие трансцендентным видением, понимают, что оба эти материальных покрытия лишь видимость. Отбросив с помощью ЛОГИКИ все материальные самоотождествления, которые основаны на грубых и тонких покрытиях души, а потому ложны, разумный человек может понять, что душа не имеет ничего общего с материей.

Защита

ЧЧ 1.2.1

Я выражаю почтение Господу Шри Чайтанье Махапрабху, по чьей милости даже неразумное дитя преодолеет океан философии, кишащий крокодилами разных теорий.

Отрывок комментария: Учение Будды, логические доводы гьяни, системы йоги Патанджали и Гаутамы, а также философские системы Канады, атеиста Капилы и Даттатреи — все это хищные обитатели океана невежества.

ЧЧ 2.25.56

Комментарий: Конечная цель изучения Вед состоит в том, чтобы признать Кришну Верховной Личностью Бога. Движение сознания Кришны проповедует философские выводы Шрилы Вьясадевы и идет по стопам великих ачарьев, таких как Рамануджачарья, Мадхвачарья, Вишну Свами, Нимбарка и Сам Шри Чайтанья Махапрабху.

Догматизм

Наличие материальных желаний затуманивает логику

Бхагавад-гита, 2.11. 1 октября 1975 г., Маврикий

Вы — ученый. Как вы можете отрицать Бога? Какой же вы тогда ученый? Если Библия ошибочна — отбросьте ее. Я не возражаю. Но вы — ученый. Как вы можете отрицать Бога? В этом и заключается наш довод. Придите к пониманию этой логики: «Как мы можем отрицать Бога?». Вы утверждаете, что жизнь возникает в результате химических соединений. Сделайте это в лаборатории. Вы не можете этого сделать. Зачем вы распространяете ложные сведения? Какой же вы ученый? Значит, вас тоже нужно гнать в шею. Если Библию нужно отбросить, то и вас нужно отбросить. Почему вы настаиваете на своем статусе? Сначала докажите. Соедините химические вещества и создайте жизнь. А поскольку вы ведете ложную пропаганду, вас следует гнать прочь. Они говорят: «Мы сделаем это в будущем». А что такое будущее? Зачем же вы сейчас распространяете ложь? Подождите будущего. Чек с отсрочкой платежа: «В будущем я заплачу» — кто примет такой чек? Разве что какой-нибудь глупец.

Интервью и беседа. 8 июля 1976 г., Вашингтон (округ Колумбия)

Прабхупада: Это догматизм. Это не наука, это догматизм.

Рупануга: Он не смог обосновать свои утверждения.

Прабхупада: Это догматизм — можно нести любую чушь, но философия и наука — это разные вещи. Если он рассуждает с позиций догматизма, то какова ему цена? Что он имеет в виду, говоря «душа есть» или «души нет»? Как он это доказывает?

Догматизм - высокомерие - вызов Богу

Беседа в комнате. 6 июля 1976 г., Вашингтон (округ Колумбия).

Сварупа Дамодара: Думаю, они заходят слишком далеко. Что касается науки как таковой, то лично я считаю, что она не так уж плоха...

Прабхупада: Нет-нет. Их плохо учили. Не всех.

Сварупа Дамодара: Они сделали много хорошего.

Прабхупада: Мы это уже признали. То, что я вижу на десять футов вперед — пусть это будет моей заслугой, я могу это себе приписать. К чему эти слова: «Я вижу всю Вселенную»? Что за вздор? Говорите правду: «Мы создали механизм, и, согласно моим расчетам...» Всё это — пустая болтовня. Я утверждаю: вы не способны видеть дальше чем на десять футов. Почему же вы заявляете, что видите всё небо? Именно против этого мы и возражаем. Вы видите на десять футов — вот и приписывайте себе эту заслугу, только и всего. Если кто-то изготовил электрическую лампу — прекрасно, пусть гордится этим. Но если он заявляет: «Я могу создать Солнце», — такого человека нужно бить башмаками. Это же бред. Признавайте свою заслугу в том, что сделали хорошую электрическую лампочку, — это нормально. Но зачем утверждать: «Я могу создать Солнце»? Именно такие заявления они и делают, бросая вызов Богу. Мы выступаем с протестом, поскольку проповедуем сознание Бога. В противном случае — пусть занимаются чем угодно, какое нам до этого дело? Но мы не можем мириться с тем, что они бросают вызов Богу. Мы обязаны разоблачать их.

Отличие дедуктивной логики (аксиоматической логики - источник аксиом подвержен аргументации) от догматизма

«О вещах, которые непостижимы для вас, вы не можете спорить. В противном случае вас ждет неудача. Вы должны принять эту истину как аксиому. Это не догматизм. Это не догматизм в том смысле, что наши предшественники-ачарьи приняли это. Кто вы такие, чтобы вступать в споры? В этом и заключается доказательство: махаджано йена гатах са пантхах [«Чайтанья-чаритамрита», Мадхья 17.186]». («Шри Ишопанишад», Мантра 5. 7 мая 1970 г., Лос-Анджелес) [15].

«Все ваши доводы также основаны на мифе. Кто вам поверит? Если вы не верите нам, мы не будем верить вам. На этом все... Если вы не верите мне, то я не верю вам. Это окончательное мнение. У вас свои источники знаний, у меня свои. Сколько вам лет? Всей вашей науке не более двухсот лет. А нашей «Бхагавата-пуране» пять тысяч лет. Так почему мы будем принимать вашу точку зрения как единственно правильную? Вы продвигаете свою науку на протяжении двухсот лет. Сколько лет вашей цивилизации? Не более трех тысяч. Наша «Бхагавата» написана пять тысяч лет назад. Именно тогда Шукадева Госвами сказал: «Я слышал это задолго до сегодняшнего момента. Миллионы и миллиарды лет назад».» («Трансцендентный дневник», том 3, Гл.2. 6 июля 1976 года) [16].

2. Вопросы об устройстве формальных языков (Семантика и Синтаксис) - Спхота-вада

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

• Как формализовать естественный язык? Как перевести живую речь на язык строгих символов, кванторов ($\forall, \exists$) и операторов, не потеряв при этом смысл?
• Где граница между синтаксисом и семантикой?
  • Синтаксический вопрос: По каким правилам строятся и выводятся формулы как чистые знаки?
  • Семантический вопрос: Как эти знаки соотносятся с объектами реального (или воображаемого) мира? Что именно мы называем «значением» и «смыслом»?
• Как устроена логическая онтология? Какие типы объектов «существуют» внутри логической системы (индивиды, свойства, множества, отношения)?

3. Вопросы о границах и свойствах логических систем (Металогика) ШБ - 11.22 (парадигма)

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

• Противоречива ли система? Можно ли внутри нее, двигаясь по правилам, одновременно доказать утверждение и его отрицание? (Если да, система мертва).
• Полна ли система? Достаточно ли у нее аксиом, чтобы доказать абсолютно любое истинное утверждение, формулируемое на ее языке?
• Где предел доказуемости? (Здесь логика смыкается с теоремами Курта Гёделя о неполноте, которые доказали, что достаточно богатые логико-математические системы принципиально не могут быть одновременно полными и непротиворечивыми).
• Разрешима ли логика? Существует ли универсальный алгоритм (компьютерная программа), который для любой поданной на вход формулы за конечное число шагов скажет, истинна она или ложна?

4. Вопросы о «неклассических» мирах (Расширение границ логики) АЧ-БХ_АБ

Классическая логика идеальна, но она работает только в статичном, двузначном («истина/ложь») мире с неизменными условиями. Теоретическая логика исследует, что происходит, если изменить базовые правила игры:

• Как логически описать время и изменения? (Временная логика: как меняется истинность суждения «Сейчас идет дождь» в зависимости от операторов «всегда было так, что...» или «будет так, что...»).
• Как работать с неопределенностью и незнанием? (Эпистемическая логика: как строго разграничить «Я знаю, что $A$», «Я верю, что $A$» и «Мне кажется, что $A$»).
• Что делать, если истинностных значений больше двух? Как устроена логика, где кроме «да» и «нет» есть «возможно», «бессмысленно» или «неизвестно»?
• Как рассуждать в условиях противоречия? Можно ли построить логику, которая не ломается и не превращается в хаос, если в нее попали два противоположных факта (параконсистентные системы)?

разделяем теорию и практику

Индуктивная логика и логика научного познания:

• зучает вероятностные выводы, переход от частных наблюдений к общим законам, методы установления причинных связей (методы Бэкона-Милля), верификацию и фальсификацию гипотез.
• Анумана - из известного знания логически узнаем неизвестное

Неформальная логика (Informal Logic) и теория аргументации

• инструменты логики - способы эффективного убеждения
• защита логикой, убираем разрывы мышления, противоречия
  • Анализ аргументации: Исследование структуры реального спора. Как связаны тезисы и аргументы, силен ли довод, насколько обоснован вывод.
  • Теория когнитивных искажений и логических ошибок (Fallacies): Систематизация уловок, софизмов и подмен (например, Ad Hominem — переход на личности, «соломенное чучело», порочный круг).
  • Эристика: Искусство ведения спора, нацеленное на победу (не обязательно ради поиска объективной истины).

Идеи

Эксперты: Вадим Мурский, Бхактиведанта Садху Свами (Кришна-каранамрита д.)

Поттер - по ньяя, навья, вайшешека, шесть даршан.