Вы извините мне смех этот дерзкий

[egovoru]

Процесс создания моделей реальности (который мы называем «научным познанием») состоит в приложении так называемых «законов мышления» (они же – «законы логики») к эмпирически наблюдаемым явлениям. Интересный вопрос: а откуда взялись эти самые законы логики?

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

Эмпирические основания логики обсуждаются и серьезными философами, например, Хилэри Патнэмом. Он полагает, что разрешение противоречий квантовой механики лежит в модификации законов логики в соответствии с реалиями квантового мира. Я, к сожалению, и близко не могу разобраться в его статье из-за недостатка образования, но в целом эта мысль кажется мне весьма заслуживающей внимания.

Логика без «закона исключенного третьего». На доске написаны варианты оценки истинности утверждения «Квадратный корень из 9 равен 3»: (А) Верно; (В) Неверно; (С) Какая разница? (картинка отсюда)

Comments

[chyyr.livejournal.com]

>4) из математики - что эта логика необходима и достаточна; исследование логических операций.

Математики вполне исследуют и логики без исключенного третьего.

Такие логики естественным образом возникают, например, в теории доказательств, где вместо альтернативы истина/ложь рассматривается противопоставление "доказано, что А"/"доказано, что не А", для которого закон исключенного третьего не верен. (Известны утверждения, которые нельзя ни доказать, ни опровергнуть)

[egovoru.livejournal.com]

"вместо альтернативы истина/ложь рассматривается противопоставление"

Иллюстрацию к посту я выбрала как раз с намеком на это ;)

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

Иными словами, именно закон исключенного третьего выступает в качестве аналога пятого постулата Эвклида в логике.

[eldhenn]

Все еще интереснее. Логика, которой мы оперируем, боььше похожа на эту, как её... чёрт, забыл, в общем, с кванторами. Только вот засада - большинство людей без тренировки не умеют в кванторы. А то и путают их. А уж про отрицание кванторов и говорить нечего.

[vlkamov.livejournal.com]

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