Везде
О логиках эмпирических модальностей
Оглавление
Аннотация Оценить Содержание публикации
Библиография Комментарии
Поделиться
QR
Метрика
О логиках эмпирических модальностей
Аннотация
Код статьи
S2074-14720000616-8-1
Тип публикации
Статья
Статус публикации
Опубликовано
Авторы
Финн Виктор Константинович 
Выпуск
Том 26 Номер 1
Страницы
124-143
Аннотация
В статье рассматривается класс ERA-логик с эмпирическими модальностями □◻ (необходимость) и ◊◊ (возможность), которые характеризуют, соответственно, высказывания, представляющие эмпирические законы и эмпирические тенденции, т.е. эмпирические закономерности. Эмпирические закономерности являются результатом ДСМ-рассуждений, которые образованы взаимодействием правил индуктивного вывода и правил вывода по аналогии, а также процедурами абдуктивного принятия гипотез.Рассматриваемые ERA-логики являются пропозициональной имитацией ДСМ-рассуждений, применимых к последовательностям расширяемых баз фактов интеллектуальных систем. Характерной особенностью ERA-логик является применение двух концепций истины – когерентной и корреспондентной. Применение когерентной концепции истины обусловлено порождением гипотез посредством правил индуктивного вывода и вывода по аналогии. Применение же корреспондентной концепции истины обусловлено применением абдуктивного вывода, принятие результатов которого использует верификацию гипотез о предсказаниях. С этой целью ERA-логики применяют оператор Т: «истинно, что…». В заключении статьи обсуждаются нефинитные расширения ERA-логик, а также их отличия как логик эмпирических модальностей от логики М логических модальностей Г.Х. фон Вригта.
Ключевые слова
ДСМ-рассуждения, правила индуктивного вывода, правила вывода по аналогии, абдукция, эмпирические закономерности, эмпирический закон, эмпирическая тенденция, эмпирические модальности, логические модальности, оператор «истинно, что…», номологические высказывания
Классификатор
Дата публикации
01.06.2020
Всего подписок
22
Всего просмотров
609
Оценка читателей
0.0 (0 голосов)
Цитировать Скачать pdf

Библиография



Дополнительные библиографические источники и материалы

    

  1. Аншаков, 2009 – ДСМ-метод автоматического порождения гипотез. Логические и эпистемологические основания / Под общ. ред. О.М. Аншакова. М.: Книж- ный дом «Либроком», 2009.
    2. 

  2.  Бочвар, 1938 – Бочвар Д.А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчис- ления // Математический сборник. 1938. Т. 4. Вып. 46. No 2. C. 287–308.
    3. 

  3.  Вейнгартен, 2000 – Вейнгартен П. Фундаментальные проблемы истины. М.: Рос- спэн, 2005. (Weingartner P. Basic question on truth. Dordrecht / Boston / London: Kluwer Academic Publishers, 2000.)
    4. 

  4.  фон Вригт, 1971 – Вригт фон Г.Х. Логико-философские исследования. М.: Про- гресс, 1986. (Von Wright G.H. Explanation and Understanding. London, 1971.)
    5. 

  5.  Фейс, 1965 – Фейс Р. Модальная логика. М.: Наука, 1974; (Feys R. Modal Logics. Louvain / Paris: E. Nauwelaerts / Gauthier – Villars Publishers, 1965.)
    6. 

  6.  Финн, 2006 – Финн В.К. Стандартные и нестандартные логики аргументации // Логические исследования. Вып. 13. М.: Наука, 2006. С. 158–189.
    7. 

  7.  Финн, 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.)
    8. 

  8.  Финн, 2016 – Финн В.К. О классе ДСМ-рассуждений, использующих изомор- физм правил индуктивного вывода // Искусственный интеллект и принятие решений. 2016. No 3. C. 95–108.
    9. 

  9.  Финн, 2018 – Финн В.К. Искусственный интеллект: методология, применения, философия. М.: КРАСАНД, 2018.
    10. 

  10.  Финн, Шестерникова, 2018 – Финн В.К., Шестерникова О.П. Эвристика обна- ружения эмпирических закономерностей посредством ДСМ-рассуждений // Научно-техническая информация. 2018. Серия 2. No 9. C. 7–42.
    11. 

  11.  Финн, 2019 – Финн В.К. Об эвристиках ДСМ-исследований (дополнения к ста- тьям) // Научно-техническая информация. 2019. Серия 2. No 19. C. 1–34. Финн, 2020a – Финн В.К. Точная эпистемология и искусственный интеллект // Научно-техническая информация. 2020. Серия 2. (В печати)
    12. 

  12.  Финн, 2020b – Автоматическое порождение гипотез в интеллектуальных системах / Под общ. ред. В.К. Финна. М.: Книжный дом «Либроком», 2020. Chellas, 1980 – Chellas B.F. Modal Logic. An Introduction. Cambridge: Cambridge University Press, 1980.
    13. 

  13.  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.
    14. 

  14. 

    

    

     
    

    

    

    

     Lukasiewicz, 1920 –Lukasiewicz J. O logice tr ́ojwarto ́sciowej // Ruch Filozoficzny. 1920. Vol. V. P. 169–171. 
    

    15.  Reichenbach, 1947 – Reichenbach H. Elements of Symbolic Logic. The Macmillan Company, New York, 1947.
    

    16. Reichenbach, 1954 – Reichenbach H. Nomological Statements and Admissible Operations. Amsterdam: North-Holland Publishing Co., 1954.
    

    17. Rescher, 1973 – Rescher N. The coherence theory of truth. Oxford: The Clarendon Press, 1973.
    

    18. Tarski, 1956 – Tarski A. The concept of truth in formalized languages // A Tarski Logic, Semantics, Metamathematics. Oxford: At the Clarendon Press, 1956. P. 152–278.

    

    

     
    

    

    

    

     
    

     
    

    



     
    

    

    15.

Комментарии

Сообщения не найдены

Написать отзыв
Перевести