Телеология и целенаправленное поведение: логический анализ
Main Article Content
Аннотация
Целенаправленное поведение – телеологическое понятие, наиболее адекватное для описания многих изменений в живой природе, не вписывающихся в доктрину детерминизма. Такого рода поведение обладает уникальными характеристиками. Оно законоподобно, так как характеризуется устойчивостью и повторяемостью при сходных начальных условиях. Оно способно контролировать энтропию, так как в зависимости от цели его результаты имеют меньшую или большую энтропию, чем начальные условия. Также оно обладает свойствами своеобразной обратной причинности, когда будущее целевое состояние через посредство агента поведения вызывает изменения в настоящем.
Элементарные блоки целенаправленного поведения могут быть представлены правилами двух видов -- “Если имеет место C, сделай d, чтобы достичь G” и процессуальных “Если имеет место C, сделай d, чтобы запустить процесс P, который приведет к искомой цели G”. Сложное целенаправленное поведение может быть описано, как выполнение набора правил, определяющих, какие и в каком порядке следует производить действия для достижения искомой конечной цели. Успешные схемы целенаправленного поведения в последующем могут служить образцом для разработки различных технологий.
Анализ целенаправленной деятельности людей при вычислении функций привел А. Тьюринга к построению математической модели, получившей название машины Тьюринга. По ряду причин невозможно создать теорию целенаправленного поведения, сравнимую с теорией эффективной вычислимости, но вполне возможно построить общую модель и логическую теорию такого рода поведения, что и является целью настоящей работы. Для этого был взят язык, содержащий динамические операторы <d> и временные операторы U (Until) и S (Since). В работе определена семантика данного языка и осуществлена его аксиоматизация. В результате была построена минимальная комбинированная логика USD, допускающая дальнейшие расширения. Показано, каким образом в этой логике можно определить правила целенаправленного поведения и их разновидности.
Скачивания
Article Details
Copyright (c) 2022 Владимир Иванович Шалак
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.
Литература
Евлампиев и др. 2019 – Евлампиев И.И., Куприянов В.А. Телеология в классической и неклассической философии. СПб.: РХГА, 2019. – 308 с.
Украинцев 1972 – Украинцев Б.С. Самоуправляемые системы и причинность. М.: “Мысль”, 1972. – 256 с.
Фролов 2019 – Фролов И.Т. Детерминизм и телеология. М.: “Либроком”, 2019. – 272 с.
Faye 2021 – Faye J. Backward Causation, The Stanford Encyclopedia of Philosophy (Spring 2021 Edition), Edward N. Zalta (ed.), URL = https://plato.stanford.edu/archives/spr2021/entries/causation-backwards/.
Kamp 1968 – Kamp J. A. W. Tense Logic and the Theory of Linear Order, doctoral dissertation, University of California at Los Angelis, 1968.
Ming 1988 – Ming Xu On some U,S-tense Logics// Journal of Philosophical Logic 17 (2), 1988. pp. 181–202.
Ruse 2003 – Ruse M. Darwin and design: does evolution have a purpose? Cambridge, Massachusetts and London, England, 2003.
Turing 1936 – Turing A.M. On Computable Numbers, with an Application to the Entscheidungsproblem // Proceedings of the London Mathematical Society. 1936–1937. Vol. 42. P. 230–265.