psilogic: (Default)
psilogic ([personal profile] psilogic) wrote2006-12-15 03:13 pm

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

После долгих размышлений получилось краткое определение для логической "истины" :)

Понятие истины

Все эти разговоры о сигнальных системах велись для того, чтобы дать определение понятию истины.

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

Математическая логика оперирует понятиями “истина” и “ложь”. В ряде разделов рассматриваются также промежуточные градации между ними. Говорят, что математическая логика “абстрактна”. Этот термин означает, что логик не интересуется тем, откуда взялась “истина” или “ложь”. Просто считается, что стало известно, что некое утверждение истинно. А как, почему – неважно. Дальше с этим фактом можно что-то сделать, применить разные формулы, получить результат.

Психология рассматривает психические процессы, включая и те, что напрямую связаны с логикой: речь, мышление и т.п. Но психология не очень то интересуется одним конкретным, частным случаем речи и мышления. А именно: как мыслит человек, когда говорит о ложности или истинности.

В результате между областью логики и психологии обнаруживается определенная “дыра”. Ее необходимо заполнить неким принципом, с помощью которого в реальной жизни определенные фразы считаются истиной, а другие – ложью.

На этот счет я не вижу точки зрения, которая стала бы признанным в широких кругах “стандартом”. Для подобных ситуаций существует традиция, так сказать, “излагать широкий круг мнений”. Честно скажу, мне эта традиция не по нраву. Она как бы уравнивает между собой множество подходов. Дескать, один господин считал так... а другой считал эдак... а третий думал вот так... В результате читатель оказывается перед россыпью мнений. Он может выбрать из этой россыпи то, что ему понравится, но не сможет потом доказать другим, что его выбор самый правильный.

В случае с истиной и ложью это означает то, что каждый может считать истиной то, что ему нравится. По сути можно было ограничиться тремя словами: “считай как знаешь”. Тогда зачем было городить весь огород? Ну разве что для расширения кругозора. Но после того, как кругозор расширен, встает естественный вопрос: а как лучше, как правильно? Так? А докажи-ка, что лучше именно так!

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

Итак, поехали...

При работе первой сигнальной системы происходит узнавание, распознавание образов. Распознанные объекты или их отношения причисляются к разным категориям (или понятиям, классам – называйте как хотите). При этом из сигнала, идущего через канал, выделяется какая-то часть. Например, я смотрю на небо, вижу ворону, но в поле зрения, кроме вороны, есть еще облака, крыши домов, и т.п. Вороне соответствует какая-то часть сигнала, которая проходит через мои глаза в нервную систему. Дальше я буду иногда говорить коротко: “сигнал”, имея в виду “часть сигнала, которая распознается как...”.

Как правило, существует множество разнообразных сигналов, которые могут быть причислены к одной категории. Возьмем, например, категорию “зеленый”. Что нужно, чтобы первая сигнальная система отнесла объект к категории зеленых? В глаз должен попасть свет с определенной длиной волны, возбудить определенные рецепторы на сетчатке и т.п. Вариантов тут получается тьма. Дерево слева – зеленое, кресло внизу – зеленое, лист дерева сверху – зеленый, и т. п. То есть, существует множество различных “картинок”, в которых первая сигнальная распознает что-нибудь “зеленое”. То же самое и со звуком, и со всеми остальными каналами.
Каждой категории сигналов могут соответствовать обозначения. В данном конкретном случае и лично для меня есть два наиболее подходящих обозначения: “зеленый” и “green”. Для какого-нибудь полиглота таких обозначений может быть и больше. А есть еще всякие синонимы. Например, выражение “зеленого цвета” означает то же самое, что и слово “зеленый”.

Для некоторых категорий сигналов может не быть ни одного обозначения и, тем не менее, все равно этот сигнал будет выделяться, запоминаться и узнаваться. Например, я могу узнать какого-то человека, которого часто встречаю на улице, но не знать ни его имени, ни кто он такой. “Я знаю его только в лицо”, – говорим мы в таких случаях. В памяти имеется информация о нем в виде мысленных картинок. Эта информация годна только для первой сигнальной системы. Но в памяти нет никакой информации, которая нужна для второй сигнальной – каких-нибудь слов или выражений.

Рассмотрим случаи, когда для данной категории сигналов имеется и вербальная, и невербальная информация. Тогда невербальная будет “значением”, а вербальная – “обозначением”. Вспомните, что любой язык – это бинарное отношение между обозначениями и значениями. Теперь можно сказать об этом иначе. Значения – сигналы, предназначенные для первой сигнальной системы, а обозначения – для второй. Язык – это бинарное отношение между сигналами, предназначенными для первой и второй сигнальной систем. Язык – это бинарное отношение между вербальной и невербальной информацией.

Пусть в данную категорию сигналов входят невербальные сигналы-значения S1, S2,… Sm. Пусть для них предназначены вербальные сигналы-обозначения V1, V2,…, Vn. Обозначение сигнала S сигналом V будет истинным тогда и только тогда, когда существует такая категория, в которой S обнаружится среди S1, S2,… Sm, а V – среди V1, V2,… Vn. Теперь дам более “литературное” определение:

Истина – это называние вещей своими именами.

Да, вот так просто. Под “вещью” имеется в виду необязательно твердый предмет, а любое значение, под “именем” – любое обозначение. Между ними бинарное отношение – язык. Если мы называем вещь своим именем, то мы говорим правду. Иначе мы лжем.

Рассмотрим теперь примеры. Я начну с самых “детских”. Не потому, что считаю читателей идиотами. Просто в детском поведении содержатся самые базовые формы истины и лжи, на которых основаны все остальные.

“Я говорю правду, я это вижу своими глазами”, – утверждает ребенок. Ему в глаза приходит сигнал, и он о нем говорит. Он указывает на четкое соответствие между своими словами и зрительным сигналом. Отсюда следует, что он говорит правду.

“Я говорю правду, я слышу это своими ушами”, – утверждает ребенок. То же самое, только сигнал пришел через звуковой канал.

“Я говорю правду, я это точно помню”. Тут указывается на соответствие между словами и сигналом, пришедшим из памяти. Помните, что нервная система может обмениваться сигналами сама с собой по собственному каналу. В данном случае одна часть нервной системы, которая отвечает за память, прислала сигнал в ту часть нервной системы, которая отвечает за осознание и речь.

“Я говорю правду, что обещал, то и сделал”. Тут указывается на соответствие между словами его обещания и теми сигналами, которые он получил, когда исполнял обещанное. Тут также задействована память: о том, что он делал, и о том, что обещал.

Более сложные, так сказать, “взрослые” примеры основаны на подобных же принципах. Они бывают сложнее потому, что в них нагромождается больше шагов по передаче сигнала, но дотошно перечислять все эти шаги – слишком долго.

Например, верующий говорит: это правда, поскольку это написано в Библии. При этом он имеет в виду, что он говорит правду потому, что помнит, что своими глазами читал книгу, которую писал монах, который своими глазами читал предыдущий экземпляр, который... далее идет длинная цепочка переписчиков вплоть до экземпляра книги, в которой апостол написал о том, что помнит, как видел своими глазами, слышал своими ушами. Если в этом длинном ряду людей никто не солгал намеренно или нечаянно, то верующий говорит правду.

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

[identity profile] without-user.livejournal.com 2006-12-15 12:31 pm (UTC)(link)
теперь, я полагаю, вам осталось показать на конкретном примере как работает ваша конструкция. Хотя бы на тех же верующих, вы часто их цитируете, примените к их верованию данныйц метод, интересно глянуть.

[identity profile] psilogic.livejournal.com 2006-12-15 03:52 pm (UTC)(link)
Ну например верующие иногда говорят о "духовном опыте". Дескать, что-то там почувствовал сердцем. Человек помнит, что испытал некую эмоцию. То есть, сигнал прошел два этапа: сначала эмоция была осознана, как-то мысленно названа ("богообщение"?), сохранена в памяти. Потом позднее этот сигнал достали из памяти, высказали вслух кому-то. По ходу возможны две проблемы: ошибка передачи сигнала и ложь. Ошибка передачи сигнала - это просто забыл. Ложь - если он назвал "богообщением" не то, что полагается. А что полагается - это вопрос к верующим, что они там называют таким образом. То есть, утверждать он, что нечто такое испытал, вполне может. А вот следующее утверждение - о том, что это богообщение связано с богом... это будет доказать уже труднее, т.к. никакой связи между своей эмоцией и богом он своими глазами не видел.

[identity profile] ahmash.livejournal.com 2006-12-15 01:01 pm (UTC)(link)
Вспоминается - "Папа, а с кем ты сейчас говорил?" (-:

[identity profile] ex-xj-dimon367.livejournal.com 2006-12-15 03:32 pm (UTC)(link)
Товарищ, а на вашем сайте эти параграфы когда появятся?

[identity profile] psilogic.livejournal.com 2006-12-15 03:43 pm (UTC)(link)
как только допишу
пока все параграфы в ЖЖ, в меморизах, раздел "логика для чайников"

[identity profile] declonter.livejournal.com 2006-12-15 04:28 pm (UTC)(link)
Увидев S1,S2,...,Sm и V1,V2,...,Vn испугался, потому как больно уж похоже на нудный и невнятный учебник, но, к своей радости, ошибся. Неформально, зато легко понимаемо.

[identity profile] benni72.livejournal.com 2006-12-16 09:20 pm (UTC)(link)
По-моему, приведенное определение истины не вполне операционально, как, впрочем, и многие другие. Как перечислить все возможные сигналы-значения (включая те, которые только появятся в будущем), для которых "предназначено" (кстати, кем?) то или иное обозначение? Тем более, что их множество может быть нечетким (так, зоологи спорили, относить утконоса к млекопитающим или нет).

[identity profile] psilogic.livejournal.com 2006-12-17 11:41 am (UTC)(link)
Как перечислить...

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

[identity profile] leo-sosnine.livejournal.com 2006-12-19 05:30 am (UTC)(link)
Есть мнение, что существует разница между значениями слов "истина" и "правда". А у тебя это получаются синонимы.

[identity profile] psilogic.livejournal.com 2006-12-19 12:14 pm (UTC)(link)
Я так думаю, что разница заключается в том, что истина - строгий термин, а правда - обиходный синоним для него. В словах правда и вранье есть еще некоторая эмоциональная окраска. То есть правда = истина + одобрение, враьне = ложь + осуждение

[identity profile] leo-sosnine.livejournal.com 2006-12-20 04:12 am (UTC)(link)
Есть такая поговорка "Лучше горькая правда, чем сладкая ложь".

По твоему предположение выходит "Лучше горькая+одобряемая истина, чем сладкая ложь", но получается какая-то бессмысленная связка эпитетов горькая+одобряемая. Я так думаю, что горькая она именно потому, что неодобряемая, т.е. принимать её не хочется.

[identity profile] psilogic.livejournal.com 2007-04-13 01:35 pm (UTC)(link)
горькая потому, что ее неприятно признавать
одобряемая потому, что врать нехорошо :)

[identity profile] leo-sosnine.livejournal.com 2006-12-19 05:31 am (UTC)(link)
А в остальном грамотно написано, лично у меня иных претензий нет.

[identity profile] http://users.livejournal.com/_bigbrother_/ 2007-04-13 01:19 pm (UTC)(link)
Истина – это называние вещей своими именами.

Очень плохое определение.
Каким именно образом предлагается устанавливать, данное "имя" для данной "вещи" является "своим" или нет?Иными словами, что является критерием истины?

Согласие со зрительным сигналом? Куда девать обманы зрения? Куда девать зрительные галлюцинации? То и дело существуют ситуации, в которых данные различных сигналов противоречивы. КАК предлагается выяснять, какой сигнал правильный, какой нет?

Вот есть известная оптическая иллюзия со стрелками: <--->---<. Пока мы линейку не приложили, очевидно, что правая стрелка длиннее. Когда приложили - очевидно, что равны. Миша линейку не приложил и говорит, что правая длиннее. Это в полном соответствии с сигналом, который он получил. Паша приложил и говорит, что они равны. Это - в полном соответствии с его сигналом.

И что? Оба они говорят правду? Или кто-то лжёт? А как решить, кто именно?

Bottom line: понятие "истины" нельзя удовлетворительно определить без понятия "реальность". Потому что истина - это соответствие высказывания той самой реальности. Истинно не то, что находится в соответствии с нашими впечатлениями/ощущениями/переживаниями, а то, что находится в согласии с реальным миром.

[identity profile] psilogic.livejournal.com 2007-04-13 01:23 pm (UTC)(link)
[ Каким именно образом предлагается устанавливать, данное "имя" для данной "вещи" является "своим" или нет?Иными словами, что является критерием истины? ]

Про это в следующей серии написано :))))

[ И что? Оба они говорят правду? Или кто-то лжёт? ]

Правдивым будет сказать, что Миша видит их равными, а Паша измеряет равными.

[identity profile] psilogic.livejournal.com 2007-04-13 01:33 pm (UTC)(link)
то есть Миша видит раЗными конечно

[identity profile] http://users.livejournal.com/_bigbrother_/ 2007-04-15 11:42 am (UTC)(link)
То есть пока Паша их не измерил, "своё имя" для них - "разные отрезки".
А как только измерил - "своё имя" стало "равными отрезками".

Вам самому-то не смешно?

[identity profile] psilogic.livejournal.com 2007-04-15 04:11 pm (UTC)(link)
мне не смешно, хз, от чего вам смешно - может нервное ;)

свое имя в данном случае для ситуации в целом

"Миша их видит разными" - это правда, эта фраза вполне соответствует тому, что призошло.

[identity profile] http://users.livejournal.com/_bigbrother_/ 2007-04-16 12:18 pm (UTC)(link)
Давайте ещё раз. По буквам.

Миша смотрит на картинку. Видит там отрезки. Видит он их разными.

1. С его точки зрения "разные отрезки" является или не является своим именем для получаемого им сигнала? О том, что Паша эти отрезки сейчас измерит, Миша не знает.

Паша смотрит на ту же картинку, но него есть линейка. Он её приложил и увидел, что отрезки-то равны.

2. С его точки зрения "равные отрезки" является или не является своим именем для получаемого им сигнала?

Насколько я понимаю, утверждение "отрезки на картинке равные" является истинным с точки зрения Миши и ложным с точки зрения Паши.

3.Можем ли мы сказать, что один из них прав, а другой нет? На самом деле отрезки равны или нет?

4. И самое весёлое. А если Миша теперь приложит линейку - неужели истина скачкообразно поменяется? Не мишино мнение, а именно истина?

(no subject)

[identity profile] psilogic.livejournal.com - 2007-04-16 12:43 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2007-04-17 11:19 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2007-04-23 08:47 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2007-04-23 15:18 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2007-04-24 07:28 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2007-04-24 08:46 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2007-04-24 09:11 (UTC) - Expand

[identity profile] psilogic.livejournal.com 2007-04-13 01:25 pm (UTC)(link)
Нет, "реальность" это бессмысленный пережиток философии :)

[identity profile] http://users.livejournal.com/_bigbrother_/ 2007-04-15 11:43 am (UTC)(link)
Заявить, что "реальность" есть бессмысленный пережиток, может только непоследовательный философ. Потому что такая точка зрения, будучи проведена последовательно, упрётся в солипсизм.

Громадное количество школ и школок существуют, впрочем, именно тем, что не доводят до конца свои рассуждения.

[identity profile] psilogic.livejournal.com 2007-04-15 04:09 pm (UTC)(link)
[ Заявить, что "реальность" есть бессмысленный пережиток, может только непоследовательный философ. ]

а я вообще не философ :)

[ Потому что такая точка зрения, будучи проведена последовательно, упрётся в солипсизм. ]

солипсизм оставляет по крайней мере одну реальность - личную субъективную. а я говорю, что это понятие вообще не нужно

[identity profile] http://users.livejournal.com/_bigbrother_/ 2007-04-17 12:02 pm (UTC)(link)
а я говорю, что это понятие вообще не нужно

А правильно говорить, что Вы этим понятием пользоваться не умеете.

Нужда в понятии может быть практической или теоретической. Практический смысл понятия "существование", я думаю, Вам объяснять не надо. Сами прекрасно знаете разницу между миллионом долларов в мечтах и 100 рублями в кармане.

Что же касается теоретической нужды - понятие существования получается как результат обобщения. Это, собственно, единственное свойство, которым обладает всё в мире. Что общего у Сириуса, радиоволны, Луны, лягушки, очков, телефона Nokia 9300, каменного топора и команды НХЛ New York Rangers? Всё это существует. Больше-то, пожалуй, ничего общего у них и нет.

Таким образом, на свалку Вы спокойно отправили понятие, в котором есть и теоретическая, и практическая нужда.

(no subject)

[identity profile] psilogic.livejournal.com - 2007-04-17 12:07 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2007-04-19 10:08 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2007-04-19 10:51 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2007-04-23 08:40 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2007-04-23 15:40 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2007-04-24 08:26 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2007-04-24 12:37 (UTC) - Expand

(no subject)

[identity profile] psilogic.livejournal.com - 2007-04-24 08:37 (UTC) - Expand

[identity profile] http://users.livejournal.com/_bigbrother_/ 2007-04-17 11:43 am (UTC)(link)
Вот именно потому, что реальность - пережиток философии для Вас, Вы и не можете внятно сказать, что делать с истинностью в случае наличия противоречивых сигналов.

[identity profile] psilogic.livejournal.com 2007-04-17 12:07 pm (UTC)(link)
это вы не можете внятно понять :)