egovoru: (Default)
[personal profile] egovoru

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


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

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


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

Date: 2016-06-17 03:47 am (UTC)
From: [identity profile] vlkamov.livejournal.com
> а откуда взялись эти самые законы логики?

1) из устройства нейронов, например, "третьего не дано"
2) из языка
3) из опыта - какие-то позволяют хорошо описывать нашим языком существующее.
4) из математики - что эта логика необходима и достаточна; иследоваие логических операций.

Date: 2016-06-17 08:06 am (UTC)
From: [identity profile] steblya-kam.livejournal.com
Из устройства нейронов - понимаю, импульс либо есть, либо нет. А вот из языка как выводится? Языки очень и очень разные бывают. Покойный Леви-Брюль считал, что в мифологии принцип исключённого третьего не работает (хоть и аргументировал это смехотворными примерами).

Date: 2016-06-17 08:14 am (UTC)
From: [identity profile] vlkamov.livejournal.com
Вот из леви-брюлей, я вас умоляю ...
Насрать на что он там считает.

Язык - множество комбинаций букв, утверждений
Носитель языка может классифицировать утверждения на логичные, нелогичные, бессмысленные и т.д.

Примерно таким образом.

Date: 2016-06-17 08:22 am (UTC)
From: [identity profile] steblya-kam.livejournal.com
Да я отношусь к Леви-Брюлю так же, как и Вы :-)
Просто мне интересно, какой именно язык Вы имеете в виду и можете ли Вы с железной уверенностью сказать за все языки, что из них выводится закон исключённого третьего. Потому что Ваше определение языка как "множества комбинаций букв, утверждений" наводит на мысль, что у Вас нет лингвистической подготовки.
На таком вопросе, как соответствие языка универсальным законам логики, погорел такой титан, как Ноам Хомский, ваще-то. Так и не смог его решить.

Date: 2016-06-17 11:52 am (UTC)
From: [identity profile] egovoru.livejournal.com
"На таком вопросе, как соответствие языка универсальным законам логики, погорел такой титан, как Ноам Хомский, ваще-то. Так и не смог его решить"

А расскажите, пожалуйста, об этом немного подробнее?

Date: 2016-06-18 08:18 am (UTC)
From: [identity profile] steblya-kam.livejournal.com
Ох... Это долгая история. Википедия лучше расскажет:
https://en.wikipedia.org/wiki/Noam_Chomsky#Linguistic_theory

Date: 2016-06-18 11:35 am (UTC)
From: [identity profile] egovoru.livejournal.com
Насколько я поняла, критика его "универсальной грамматики" заключается в том, что общий базис отодвигается на доязыковой уровень: "universals in the grammatical structure of different languages have come from more general processes and constraints of human cognition, communication, and vocal-auditory processing".

Иными словами, предполагается, что мышление предшествовало языку. А что, это действительно господствующая точка зрения?

Date: 2016-06-19 07:36 am (UTC)
From: [identity profile] steblya-kam.livejournal.com
Смотря среди кого. Лингвисты о соотношении языка и мышления так договориться и не могут. Этологи стопудово уверены, что мышление языку предшествует (см. книжку "О чём рассказали говорящие обезьяны").

Date: 2016-06-19 12:11 pm (UTC)
From: [identity profile] egovoru.livejournal.com
Может быть, проблема в том, что мышление (а может, и язык?) в эволюции возникает не скачкообразно, как deus ex machina, а постепенно?

И еще: что же, действительно у нас обнаруживаются более общие constraints of human cognition (у людей разных культур), если не обнаруживаются общие основы грамматики?

Date: 2016-06-19 01:55 pm (UTC)
eldhenn: (Default)
From: [personal profile] eldhenn
Как бы они нн возникали путем вытягивания себя за волосв, то есть коэволюции.

Date: 2016-06-21 08:21 am (UTC)
From: [identity profile] steblya-kam.livejournal.com
По крайней мере одно общее constraint есть. Я долго пытала лингвистов, есть ли языки без первого лица - т.е. есть ли в реале племена, которые, как в приключенческих романах, говорят о себе в духе "Бубу хочет кушать". Оказывается, нет. Все лингвисты уверенно говорят мне, что различение "я" и "не-я" есть во всех языках (хотя обязательно ли оно для языка, мне сказать никто не смог).
Отсюда я вывожу принципиальное constraint: человек не может помыслить отсутствие себя как субъекта (я-то могу, но я не совсем нормальный человек). Отсюда смерть воспринимается как логическое противоречие. Поэтому возникают мифы о загробной жизни.

Date: 2016-06-21 12:13 pm (UTC)
From: [identity profile] egovoru.livejournal.com
"Все лингвисты уверенно говорят мне, что различение "я" и "не-я" есть во всех языках"

Чрезвычайно интересно, но, мне кажется - совершенно закономерно. Мне представляется, что человеческое сознание начинается именно с выделения себя из мира, иными словами, как раз разделения на "я" и "не-я". А?

"человек не может помыслить отсутствие себя как субъекта"

Тем не менее, людям весьма свойственно заботиться о своей посмертной репутации. А что это такое, как не отражение способности представить себе мир после своей смерти?

(no subject)

From: [identity profile] steblya-kam.livejournal.com - Date: 2016-06-22 07:55 am (UTC) - Expand

(no subject)

From: [identity profile] egovoru.livejournal.com - Date: 2016-06-22 10:50 am (UTC) - Expand

(no subject)

From: [identity profile] steblya-kam.livejournal.com - Date: 2016-06-23 09:14 am (UTC) - Expand

(no subject)

From: [identity profile] egovoru.livejournal.com - Date: 2016-06-23 11:48 pm (UTC) - Expand

(no subject)

From: [identity profile] steblya-kam.livejournal.com - Date: 2016-06-24 08:52 am (UTC) - Expand

(no subject)

From: [identity profile] egovoru.livejournal.com - Date: 2016-06-24 12:08 pm (UTC) - Expand

(no subject)

From: [identity profile] steblya-kam.livejournal.com - Date: 2016-06-26 10:43 am (UTC) - Expand

(no subject)

From: [identity profile] egovoru.livejournal.com - Date: 2016-06-26 11:57 am (UTC) - Expand

(no subject)

From: [identity profile] steblya-kam.livejournal.com - Date: 2016-06-28 08:18 am (UTC) - Expand

Date: 2016-06-19 03:20 pm (UTC)
From: [identity profile] egovoru.livejournal.com
Мне кажутся очень интересными результаты Александра Лурии (http://egovoru.livejournal.com/69911.html), обнаружившего связь между способностью к абстрактному мышлению и грамотностью. А ведь создание абстрактных понятий - наверное, необходимая предпосылка для появления логики, то есть, свода формальных правил для операций с такими понятиями? Получается, логика - дитя не просто языка, и именно языка письменного?
Edited Date: 2016-06-19 03:21 pm (UTC)

Date: 2016-06-21 08:00 am (UTC)
From: [identity profile] steblya-kam.livejournal.com
Я в курсе опытов Лурия. Как и в курсе того, что дети из хороших школ лучше решают тесты на IQ, чем дети из церковно-приходской школы. Но это не объясняет, как вообще неграмотные люди сумели пройти путь от ручного рубила до плуга и ткацкого станка (всё это было изобретено ещё до письменности, а некоторые народы так с ней и не познакомились). Для этого же нужны способность к абстрагированию и пониманию причинно-следственных связей.

Date: 2016-06-21 12:07 pm (UTC)
From: [identity profile] egovoru.livejournal.com
"Для этого же нужны способность к абстрагированию и пониманию причинно-следственных связей"

А разве исследования Лурии выявили непонимание причинно-следственных связей? Что же касается операций с абстрактными категориями, так они, может, и не нужны для решения тех практических задач, с которыми сталкивались люди на заре своей истории? Наконец, речь ведь идет о количественных тенденциях, а не об эффекте "все или нечего"?

Мысль о том, что изобретение письменности сильно повлиялo на характер нашего мышления, кажется мне весьма правдоподобной. Равно как и то, что повлияло и изобретение интернета. (http://egovoru.livejournal.com/69328.html)

(no subject)

From: [identity profile] steblya-kam.livejournal.com - Date: 2016-06-22 08:04 am (UTC) - Expand

(no subject)

From: [identity profile] egovoru.livejournal.com - Date: 2016-06-22 10:53 am (UTC) - Expand

(no subject)

From: [identity profile] steblya-kam.livejournal.com - Date: 2016-06-23 09:16 am (UTC) - Expand

(no subject)

From: [identity profile] egovoru.livejournal.com - Date: 2016-06-23 11:50 pm (UTC) - Expand

(no subject)

From: [identity profile] steblya-kam.livejournal.com - Date: 2016-06-24 08:56 am (UTC) - Expand

(no subject)

From: [identity profile] egovoru.livejournal.com - Date: 2016-06-25 12:06 am (UTC) - Expand

(no subject)

From: [identity profile] steblya-kam.livejournal.com - Date: 2016-06-26 10:17 am (UTC) - Expand

(no subject)

From: [identity profile] egovoru.livejournal.com - Date: 2016-06-26 12:12 pm (UTC) - Expand

(no subject)

From: [identity profile] rock-25.livejournal.com - Date: 2016-06-22 10:05 pm (UTC) - Expand

(no subject)

From: [identity profile] egovoru.livejournal.com - Date: 2016-06-24 12:29 pm (UTC) - Expand

(no subject)

From: [identity profile] rock-25.livejournal.com - Date: 2016-06-26 10:24 pm (UTC) - Expand

(no subject)

From: [identity profile] egovoru.livejournal.com - Date: 2016-06-27 11:52 am (UTC) - Expand

(no subject)

From: [identity profile] rock-25.livejournal.com - Date: 2016-07-04 10:51 pm (UTC) - Expand

(no subject)

From: [identity profile] egovoru.livejournal.com - Date: 2016-07-05 12:41 pm (UTC) - Expand

(no subject)

From: [identity profile] rock-25.livejournal.com - Date: 2016-07-05 08:26 pm (UTC) - Expand

Date: 2016-06-17 11:49 am (UTC)
From: [identity profile] egovoru.livejournal.com
"Из устройства нейронов - понимаю, импульс либо есть, либо нет"

Такое представление о нейронах навеяно распространенному уподоблению их транзисторам в компьютере. На самом деле индивидуальный нервный импульс, как правило, не несет никакой информации. Самый распространенный способ нейронного кода - это частотная модуляция последовательности импульсов. Используются и другие, сугубо аналоговые способы - например, вариация лаг-периода перед первым импульсом.

Не говоря уже о том, что выводить логику из свойств индивидуального нейрона - задача не очень благодарная. У единичного нейрона нет ни разума, но сознания ;)

Идея же выводить логику из языка мне тоже кажется сомнительной: а откуда тогда взялся язык?

Date: 2016-06-18 08:24 am (UTC)
From: [identity profile] steblya-kam.livejournal.com
Плюсую. Тем более что есть ещё такая штука, как нейромедиаторы, которые ещё больше усложняют вопрос. Но речь шла не о том, как "на самом деле" работает мозг, а о модели, из которой можно "вывести" принцип исключённого третьего. Если в отношении нейрона такая модель (с натяжкой) ещё возможна, то в отношении языка я её не вижу.

Date: 2016-06-18 11:15 am (UTC)
From: [identity profile] egovoru.livejournal.com
"Если в отношении нейрона такая модель (с натяжкой) ещё возможна"

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

Date: 2016-06-19 07:33 am (UTC)
From: [identity profile] steblya-kam.livejournal.com
Да нет у него логики, конечно. Я просто попыталась смоделировать, может ли наша логика (а конкретно, принцип исключённого третьего, согласно почтеннейшему комментатору) быть детерминирована физиологическими принципами (является ли выбор между А и Б принудительным).

Date: 2016-06-17 11:32 am (UTC)
From: [identity profile] egovoru.livejournal.com
Как мне представляется, наш опыт есть результат взаимодействия нас с миром, а значит, неизбежно зависит как от устройства мира, так и нашего устройства, так что с Вашими пунктами 1) и 3) я согласна.

А вот как понимать "логика взялась из языка"? А откуда тогда взялся язык? То же самое и с тезисом "логика из математики": откуда взялась математика? Кроме того, как я понимаю, некоторые математики считают (http://rationallyspeaking.blogspot.com/2012/12/the-complicated-relationship-between.html), что, наоборот, математика - это раздел логики ;)
Edited Date: 2016-06-17 12:03 pm (UTC)

Date: 2016-06-17 12:33 pm (UTC)
From: [identity profile] egovoru.livejournal.com
"например, "третьего не дано"

Кстати сказать, существуют и успешно применяются логические системы, не содержащие это самое "правило исключенного третьего" - они называются "интуиционистская логика". Вот целая книжка о ней (http://lpcs.math.msu.su/~plisko/intlog.pdf), а вот - краткая статья в Вики (https://en.wikipedia.org/wiki/Intuitionistic_logic). Они рассматривают третье состояние: неизвестно, т.е., высказыванию вообще нельзя приписать какое-то состояние истинности.

Так что эту иллюстрацию к посту я выбрала не случайно ;)

Date: 2016-06-17 07:37 pm (UTC)
From: [identity profile] chyyr.livejournal.com
>4) из математики - что эта логика необходима и достаточна; исследование логических операций.

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

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

Date: 2016-06-19 01:20 am (UTC)
From: [identity profile] egovoru.livejournal.com
"вместо альтернативы истина/ложь рассматривается противопоставление"

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

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

Иными словами, именно закон исключенного третьего выступает в качестве аналога пятого постулата Эвклида в логике.
Edited Date: 2016-06-19 01:03 pm (UTC)

Date: 2016-06-19 02:00 pm (UTC)
eldhenn: (Default)
From: [personal profile] eldhenn
Все еще интереснее. Логика, которой мы оперируем, боььше похожа на эту, как её... чёрт, забыл, в общем, с кванторами. Только вот засада - большинство людей без тренировки не умеют в кванторы. А то и путают их. А уж про отрицание кванторов и говорить нечего.

Date: 2016-06-20 04:06 am (UTC)
From: [identity profile] vlkamov.livejournal.com
И что смешно, разговор как бы о происхождении логики.

Profile

egovoru: (Default)
egovoru

January 2026

S M T W T F S
    123
456 78910
111213 14151617
18192021222324
25262728293031

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 15th, 2026 02:40 am
Powered by Dreamwidth Studios