ИСТИНА

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