Неклассическая логика. Купарашвили М.Д. - 24 стр.

UptoLike

Составители: 

Рубрика: 

47
значения переменных допускаются не только числа, но и слова, и
словесные сочетания. «Такие переменные составляют основу не-
четкой логики и приближенных способов рассуждений, которые
могут оказаться более созвучными сложности и неточности гума-
нистических систем» [11, 6].
Таким образом, на основании нечеткой логики было обра-
зовано понятие «расплывчатые множества», или «расплывчатые
образы», под которыми
Л.А. Заде понимает определенное множе-
ство элементов, объединяемое некоторым свойством, степень про-
явления которого среди конкретных элементов подобного множе-
ства может быть разной и переход от «принадлежности к множе-
ству» и «непринадлежности к множеству» является «непрерыв-
ным». Сложные определения процессов и явлений, такие, как:
«вполне», «несомненно», «гораздо», «совместимо», «ложно
», «ис-
тинно», «вероятно», «очень», «более» и т. д., чаще всего имеют
высокую степень субъективности; такие определения даются на
основании неосознанных нюансов. Четкая формулировка причин,
обусловливающих такого рода определения (например, очень кра-
сивый и просто красивый), практически невозможна на однознач-
но вербализованном символическом уровне. Они представляют
собой проявление мыслительной деятельности конкретного
чело-
века, и потому все условия и оттенки зависят лично от него. А
если все естественные языки изобилуют подобными «расплывча-
тыми образами», то их конкретизация приобретает особо важную
роль для компьютера.
48
Тема 9. ЛОГИКА КВАНТОВОЙ МЕХАНИКИ
Оформление квантовой механики взамен ньютоновской по-
требовало специальную логику упорядочения физического мыш-
ления. Данный раздел логики представляет собой попытки опи-
сать логические связи суждений о предметах, которые изучает
квантовая механика. Возникает идея особой «логики микромира»,
так как логика макромира не может быть применена к ней. Клас-
сическая физика использовала обычную формальную
логику, ко-
торая описывала факты, а квантовая физика не имеет дело с фак-
тами. Она исследует вероятные связи между фактами. Для адек-
ватного описания этих связей необходимо было обратиться к со-
вершенно иным схемам мышления. Выявление и описание этих
схем было признано задачей особой логики, логики микромира.
Вопрос о том,
действительно ли квантовая механика должна ис-
пользовать другую логику, вызвал большую полемику среди фи-
зиков. «Против» возможности и необходимости такой логики вы-
ступали Н. Бор, В. Паули и др., «за» – М. Борн, В. Гейзенберг,
К. Вайцзеккер и др.
Первая попытка построить логику квантовой механики
предпринимается уже в 30-х гг. американскими математиками
Д. фон Нейманом и Д. Биркгофом. Однако сама теория появляет-
ся чуть позже. Немецкий философ и логик Г. Рейхенбах (1891
1953) предложил трехзначную логику с целью устранения «при-
чинной аномалии», которая возникала при попытке применения
классического причинного объяснения к квантовым явлениям.
Существуют и другие, более поздние варианты специаль-
ной «квантовой логики», которые
основательно различаются как
количеством принимаемых в них законов, так и способами своего
обоснования. Чаще всего в них отказываются от классических
законов ассоциативности и дистрибутивности, которые формали-
зуют сложные суждения, построенные с помощью союзов «и»,
«или».
На сегодняшний день единственным ощутимым результа-
том многочисленных попыток оформления логики квантовой ме-
ханики является
общий язык диалога, который был выработан в
ходе полемики.
значения переменных допускаются не только числа, но и слова, и         Тема 9. ЛОГИКА КВАНТОВОЙ МЕХАНИКИ
словесные сочетания. «Такие переменные составляют основу не-
четкой логики и приближенных способов рассуждений, которые             Оформление квантовой механики взамен ньютоновской по-
могут оказаться более созвучными сложности и неточности гума-    требовало специальную логику упорядочения физического мыш-
нистических систем» [11, 6].                                     ления. Данный раздел логики представляет собой попытки опи-
      Таким образом, на основании нечеткой логики было обра-     сать логические связи суждений о предметах, которые изучает
зовано понятие «расплывчатые множества», или «расплывчатые       квантовая механика. Возникает идея особой «логики микромира»,
образы», под которыми Л.А. Заде понимает определенное множе-     так как логика макромира не может быть применена к ней. Клас-
ство элементов, объединяемое некоторым свойством, степень про-   сическая физика использовала обычную формальную логику, ко-
явления которого среди конкретных элементов подобного множе-     торая описывала факты, а квантовая физика не имеет дело с фак-
ства может быть разной и переход от «принадлежности к множе-     тами. Она исследует вероятные связи между фактами. Для адек-
ству» и «непринадлежности к множеству» является «непрерыв-       ватного описания этих связей необходимо было обратиться к со-
ным». Сложные определения процессов и явлений, такие, как:       вершенно иным схемам мышления. Выявление и описание этих
«вполне», «несомненно», «гораздо», «совместимо», «ложно», «ис-   схем было признано задачей особой логики, логики микромира.
тинно», «вероятно», «очень», «более» и т. д., чаще всего имеют   Вопрос о том, действительно ли квантовая механика должна ис-
высокую степень субъективности; такие определения даются на      пользовать другую логику, вызвал большую полемику среди фи-
основании неосознанных нюансов. Четкая формулировка причин,      зиков. «Против» возможности и необходимости такой логики вы-
обусловливающих такого рода определения (например, очень кра-    ступали Н. Бор, В. Паули и др., «за» – М. Борн, В. Гейзенберг,
сивый и просто красивый), практически невозможна на однознач-    К. Вайцзеккер и др.
но вербализованном символическом уровне. Они представляют              Первая попытка построить логику квантовой механики
собой проявление мыслительной деятельности конкретного чело-     предпринимается уже в 30-х гг. американскими математиками
века, и потому все условия и оттенки зависят лично от него. А    Д. фон Нейманом и Д. Биркгофом. Однако сама теория появляет-
если все естественные языки изобилуют подобными «расплывча-      ся чуть позже. Немецкий философ и логик Г. Рейхенбах (1891–
тыми образами», то их конкретизация приобретает особо важную     1953) предложил трехзначную логику с целью устранения «при-
роль для компьютера.                                             чинной аномалии», которая возникала при попытке применения
                                                                 классического причинного объяснения к квантовым явлениям.
                                                                       Существуют и другие, более поздние варианты специаль-
                                                                 ной «квантовой логики», которые основательно различаются как
                                                                 количеством принимаемых в них законов, так и способами своего
                                                                 обоснования. Чаще всего в них отказываются от классических
                                                                 законов ассоциативности и дистрибутивности, которые формали-
                                                                 зуют сложные суждения, построенные с помощью союзов «и»,
                                                                 «или».
                                                                       На сегодняшний день единственным ощутимым результа-
                                                                 том многочисленных попыток оформления логики квантовой ме-
                                                                 ханики является общий язык диалога, который был выработан в
                                                                 ходе полемики.

                             47                                                                48