О логиках эмпирических модальностей
Article Sidebar
Опубликован:
08.08.2020
Ключевые слова:
ДСМ-рассуждения, правила индуктивного вывода, правила вывода по аналогии,, абдукция, эмпирические закономерности, эмпирический закон, эмпирическая тенденция, эмпирические модальности, логические модальности, оператор «истинно, что…», номологические высказывания
Main Article Content
Аннотация
В статье рассматривается класс ERA-логик с эмпирическими модальностями $\square$ (необходимость) и $\lozenge$ (возможность), которые характеризуют, соответственно, высказывания, представляющие эмпирические законы и эмпирические тенденции, т.е. эмпирические закономерности. Эмпирические закономерности являются результатом ДСМ-рассуждений, которые образованы взаимодействием правил индуктивного вывода и правил вывода по аналогии, а также процедурами абдуктивного принятия гипотез.
Рассматриваемые ERA-логики являются пропозициональной имитацией ДСМ-рассуждений, применимых к последовательностям расширяемых баз фактов интеллектуальных систем. Характерной особенностью ERA-логик является применение двух концепций истины – когерентной и корреспондентной. Применение когерентной концепции истины обусловлено порождением гипотез посредством правил индуктивного вывода и вывода по аналогии. Применение же корреспондентной концепции истины обусловлено применением абдуктивного вывода, принятие результатов которого использует верификацию гипотез о предсказаниях. С этой целью ERA-логики применяют оператор Т: «истинно, что…». В заключении статьи обсуждаются нефинитные расширения ERA-логик, а также их отличия как логик эмпирических модальностей от логики М логических модальностей Г.Х. фон Вригта.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Финн В. К. О логиках эмпирических модальностей // Логические исследования / Logical Investigations. 2020. Т. 26. № 1. C. 124-143.
Раздел
Прикладная логика
Copyright (c) 2020 Виктор Константинович Финн
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.
Литература
Аншаков, 2009 – ДСМ-метод автоматического порождения гипотез. Логические и эпистемологические основания / Под общ. ред. О.М. Аншакова. М.: Книж- ный дом «Либроком», 2009.
Бочвар, 1938 – Бочвар Д.А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчис- ления // Математический сборник. 1938. Т. 4. Вып. 46. No 2. C. 287–308.
Вейнгартен, 2000 – Вейнгартен П. Фундаментальные проблемы истины. М.: Рос- спэн, 2005. (Weingartner P. Basic question on truth. Dordrecht / Boston / London: Kluwer Academic Publishers, 2000.)
фон Вригт, 1971 – Вригт фон Г.Х. Логико-философские исследования. М.: Про- гресс, 1986. (Von Wright G.H. Explanation and Understanding. London, 1971.)
Фейс, 1965 – Фейс Р. Модальная логика. М.: Наука, 1974; (Feys R. Modal Logics. Louvain / Paris: E. Nauwelaerts / Gauthier – Villars Publishers, 1965.)
Финн, 2006 – Финн В.К. Стандартные и нестандартные логики аргументации // Логические исследования. Вып. 13. М.: Наука, 2006. С. 158–189.
Финн, 2014 – Финн В.К. Дистрибутивные решетки индуктивных ДСМ- процедур // Научно-техническая информация. 2014. Сер. 2. No 11. C. 1–30. (Finn V.K. Distributive Lattices of Inductive JSM Procedures. Automatic Documentation and Mathematical Linguistics, Vol. 48, pp. 265–295.)
Финн, 2016 – Финн В.К. О классе ДСМ-рассуждений, использующих изомор- физм правил индуктивного вывода // Искусственный интеллект и принятие решений. 2016. No 3. C. 95–108.
Финн, 2018 – Финн В.К. Искусственный интеллект: методология, применения, философия. М.: КРАСАНД, 2018.
Финн, Шестерникова, 2018 – Финн В.К., Шестерникова О.П. Эвристика обна- ружения эмпирических закономерностей посредством ДСМ-рассуждений // Научно-техническая информация. 2018. Серия 2. No 9. C. 7–42.
Финн, 2019 – Финн В.К. Об эвристиках ДСМ-исследований (дополнения к ста- тьям) // Научно-техническая информация. 2019. Серия 2. No 19. C. 1–34. Финн, 2020a – Финн В.К. Точная эпистемология и искусственный интеллект // Научно-техническая информация. 2020. Серия 2. (В печати)
Финн, 2020b – Автоматическое порождение гипотез в интеллектуальных системах / Под общ. ред. В.К. Финна. М.: Книжный дом «Либроком», 2020. Chellas, 1980 – Chellas B.F. Modal Logic. An Introduction. Cambridge: Cambridge University Press, 1980.
Hughes, Cresswell, 1972 – Hughes G.E., Cresswell M.J. An Introduction to Modal Logic. London EC4: Methuen and Co. LTD. 11 New Fetter Lanc, 1972.
Бочвар, 1938 – Бочвар Д.А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчис- ления // Математический сборник. 1938. Т. 4. Вып. 46. No 2. C. 287–308.
Вейнгартен, 2000 – Вейнгартен П. Фундаментальные проблемы истины. М.: Рос- спэн, 2005. (Weingartner P. Basic question on truth. Dordrecht / Boston / London: Kluwer Academic Publishers, 2000.)
фон Вригт, 1971 – Вригт фон Г.Х. Логико-философские исследования. М.: Про- гресс, 1986. (Von Wright G.H. Explanation and Understanding. London, 1971.)
Фейс, 1965 – Фейс Р. Модальная логика. М.: Наука, 1974; (Feys R. Modal Logics. Louvain / Paris: E. Nauwelaerts / Gauthier – Villars Publishers, 1965.)
Финн, 2006 – Финн В.К. Стандартные и нестандартные логики аргументации // Логические исследования. Вып. 13. М.: Наука, 2006. С. 158–189.
Финн, 2014 – Финн В.К. Дистрибутивные решетки индуктивных ДСМ- процедур // Научно-техническая информация. 2014. Сер. 2. No 11. C. 1–30. (Finn V.K. Distributive Lattices of Inductive JSM Procedures. Automatic Documentation and Mathematical Linguistics, Vol. 48, pp. 265–295.)
Финн, 2016 – Финн В.К. О классе ДСМ-рассуждений, использующих изомор- физм правил индуктивного вывода // Искусственный интеллект и принятие решений. 2016. No 3. C. 95–108.
Финн, 2018 – Финн В.К. Искусственный интеллект: методология, применения, философия. М.: КРАСАНД, 2018.
Финн, Шестерникова, 2018 – Финн В.К., Шестерникова О.П. Эвристика обна- ружения эмпирических закономерностей посредством ДСМ-рассуждений // Научно-техническая информация. 2018. Серия 2. No 9. C. 7–42.
Финн, 2019 – Финн В.К. Об эвристиках ДСМ-исследований (дополнения к ста- тьям) // Научно-техническая информация. 2019. Серия 2. No 19. C. 1–34. Финн, 2020a – Финн В.К. Точная эпистемология и искусственный интеллект // Научно-техническая информация. 2020. Серия 2. (В печати)
Финн, 2020b – Автоматическое порождение гипотез в интеллектуальных системах / Под общ. ред. В.К. Финна. М.: Книжный дом «Либроком», 2020. Chellas, 1980 – Chellas B.F. Modal Logic. An Introduction. Cambridge: Cambridge University Press, 1980.
Hughes, Cresswell, 1972 – Hughes G.E., Cresswell M.J. An Introduction to Modal Logic. London EC4: Methuen and Co. LTD. 11 New Fetter Lanc, 1972.