- Код статьи
- S2074-14720000616-8-1
- DOI
- Тип публикации
- Статья
- Статус публикации
- Опубликовано
- Авторы
- Том/ Выпуск
- Том 26 / Номер 1
- Страницы
- 124-143
- Аннотация
- В статье рассматривается класс ERA-логик с эмпирическими модальностями □◻ (необходимость) и ◊◊ (возможность), которые характеризуют, соответственно, высказывания, представляющие эмпирические законы и эмпирические тенденции, т.е. эмпирические закономерности. Эмпирические закономерности являются результатом ДСМ-рассуждений, которые образованы взаимодействием правил индуктивного вывода и правил вывода по аналогии, а также процедурами абдуктивного принятия гипотез.Рассматриваемые ERA-логики являются пропозициональной имитацией ДСМ-рассуждений, применимых к последовательностям расширяемых баз фактов интеллектуальных систем. Характерной особенностью ERA-логик является применение двух концепций истины – когерентной и корреспондентной. Применение когерентной концепции истины обусловлено порождением гипотез посредством правил индуктивного вывода и вывода по аналогии. Применение же корреспондентной концепции истины обусловлено применением абдуктивного вывода, принятие результатов которого использует верификацию гипотез о предсказаниях. С этой целью ERA-логики применяют оператор Т: «истинно, что…». В заключении статьи обсуждаются нефинитные расширения ERA-логик, а также их отличия как логик эмпирических модальностей от логики М логических модальностей Г.Х. фон Вригта.
- Ключевые слова
- ДСМ-рассуждения, правила индуктивного вывода, правила вывода по аналогии, абдукция, эмпирические закономерности, эмпирический закон, эмпирическая тенденция, эмпирические модальности, логические модальности, оператор «истинно, что…», номологические высказывания
- Дата публикации
- 01.06.2020
- Всего подписок
- 22
- Всего просмотров
- 674
ООНГосударство и право
- ISSN (Print) 1026-9452
- ISSN (Online)2713-0398
О логиках эмпирических модальностей
Индексирование
Scopus
Crossref
Высшая аттестационная комиссия
При Министерстве образования и науки Российской Федерации
Научная электронная библиотека