О логической непротиворечивости вероятностных предсказаний

?

О логической непротиворечивости вероятностных предсказаний

Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика. 2011. Т. 11. № 1. С. 99–115.

Сперанский С. О.

Обсуждается проблема статистической двусмысленности (SAP), поставленная Карлом Гемпелем в отношении объяснений, базирующихся на индуктивно-статистической аргументации. С целью устранения SAP вводится формализованное (в терминах логики и вероятности) требование максимальной специфичности (RMS), а также соответствующая ему схема осуществления предсказания. Отметим, определенная в итоге совокупность закономерностей, удовлетворяющих RMS, тесно связана с конструкцией семантического вероятностного предсказания, представленной в работах Евгения Витяева и автора статьи. Установлено, что использование rms-правил в конъюнкции со значимыми относительно рассматриваемой вероятностной меры наборами информационных данных не приводит к возникновению логических противоречий. Иными словами, вероятностные теории, полученные индуктивным образом на основании RMS, выступают в качестве непротиворечивых дедуктивных систем.

Язык: русский

Текст на другом сайте

О вычислительных аспектах максимальной специфичности в вероятностном объяснении

Сперанский С. О., Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика 2011 Т. 11 № 4 С. 78–93

В настоящей статье изучаются вычислительные аспекты формального требования максимальной специфичности, накладываемого на правила в языке пропозициональной классической логики, когда над этим языком задана вычислимая рационально-значная вероятностная мера. Доказана неразрешимость ряда общих проблем по обнаружению максимально специфичных правил и вероятностных мер, для которых совокупность всех специфичных правил вычислима; установлена разрешимость множества максимально специфичных правил при неких ...

Добавлено: 27 декабря 2025 г.

Некоторые замечания о требованиях к научной теории в контексте многомировых моделей

Карпенко И. А., Вопросы философии 2024 № 5 С. 140–146

В статье обсуждается проблема корректного описания действительности в философии и науке с учетом принятия многомировой гипотезы. Под многомировыми понимаются современные физические гипотезы, допускающие существование других вселенных (многомировая интерпретация, хаотическая инфляция, струнный ландшафт и т.д.). Показывается, что, вероятно, эти модели бросают вызов традиционной интеллектуальной интуиции, на которой строится классическая наука, - они требуют новых методологических подходов ...

Добавлено: 24 сентября 2024 г.

Consistency and Some Other Requirements of a Formal Theory in the Context of Multiverse Models

Карпенко И. А., Studia Humana 2024 Vol. 13 No. 4 P. 23–34

Добавлено: 24 сентября 2024 г.

Некоторые предварительные условия для создания «многомировой теории всего» и развития интеллектуальной интуиции

Карпенко И. А., Логические исследования 2023 Т. 29 № 1 С. 9–29

В статье подвергаются сомнению некоторые классические принципы логики, основанные на традиционной интеллектуальной интуиции. В частности, оспаривается интуитивная приемлемость требования непротиворечивости, принципа «из противоречия следует все, что угодно», закона исключенного третьего и некоторых других. В литературе, особенно логической, этой проблематике посвящено множество исследований в течение XX–XXI вв. В настоящей работе формулируется новый подход, основанный на гипотезе ...

Добавлено: 19 сентября 2023 г.

Логика многомировых моделей и интеллектуальная интуиция

Карпенко И. А., Философия науки 2023 № 1(96) С. 70–94

Статья посвящена проблеме описания действительности в языке математики и логики в связи с соответствующей определенному этапу развития знания интеллектуальной интуицией. Ставится вопрос о том, как изменятся базовые требования к математической теории и логике, если взять за основу некоторые из многомировых моделей современной физики. Математика рассматривается в контексте различных исторических подходов, анализируется взаимная критика интуиционизма, логицизма ...

Добавлено: 19 сентября 2023 г.

О преподавании индуктивной и вероятностной логики на философских факультетах

Макеева Л. Б., В кн.: Проблемы викладання логiки та дисциплiн логичного циклу. V Мiжнародна науково-практична конференцiя. Материалы доповiдей и виступiв.: К.: Киевский национальный университет им. Тараса Шевченко, 2012. С. 107–109.

Дается описание курса по индуктивной и вероятностной логике, который читается студентам философского факультета НИУ ВШЭ. ...

Добавлено: 12 марта 2015 г.

An Introduction to Inductive Logic

Макеева Л. Б., M.: ., 2014.

The present manual is written on the basis of the course on inductive logic which is delivered in English to philosophy students of National Research University Higher School of Economics. The manual describes the main approaches to constructing inductive logic; it clarifies its key notions and rules, and it formulates its major problems. This introductory ...

Добавлено: 9 марта 2015 г.

Матричные уравнения локального логико-вероятностного вывода оценок истинности элементов в алгебраических байесовских сетях

Тулупьев А. Л., Сироткин А. В., Вестник Санкт-Петербургского университета. Серия 1. Математика. Механика. Астрономия 2012 № 3 С. 63–72

Обработка фрагментов знаний с вероятностной неопределенностью в интеллектуальных системах поддержки принятия решений основывается на трех видах локального логи- ко-вероятностного вывода: проверка и поддержание непротиворечивости, априорный и апостериорный вывод. В настоящей статье вычислительные формулы, на которые опираются перечисленные виды логико-вероятностного вывода, представлены на матрично-векторном языке, что сокращает, упрощает и делает более строгой последующую спецификацию алгоритмов вывода. ...

Добавлено: 25 марта 2014 г.