Условия применимости классической логики к философским рассуждениям

Исследованы условия применимости классической логики высказываний к философским рассуждениям. Это исследование проведено в рамках различных семантик для многозначных логик. В качестве последних рассматривались: семантика многозначных логик, метатеория значений истинности Зиновьева, элементарная теория операторов истинности и ложности. В метатеории логической семантики, в которой строятся семантики для многозначных логик, принимают классическую логику. В этой метатеории используется теория J -операторов (введенных Россером и Тьюркеттом). Теория J -операторов является частью метатеории логической семантики. Семантическое утверждение вида « P принимает значение vk» содержательно соответствует формуле J k(P). Показано, что для формул языка-объекта P, для котоых выполняется условие ( P принимает выделенное значение или P принимает анти-выделенное значение), имеет место классическая логика.

Синтезирующий подход в исследованиях и построениях А. Зиновьева привел к тому, что он объединил логику, онтологию и методологию в единую науку, в которой первые являются ее аспектами. Только в процессе изложения он выделяет в ней три части: 1) базисную логику, 2) логическую онтологию, и 3) логическую методологию. В этом состоит радикальное отличие от подходов Д. Гильберта и А. Тарского, отделявших язык-объект от метаязыка, семантику от синтаксиса. Также рассматривалась элементарная теория операторов истинности и ложности, обоснованная в обобщенной на неклассический случай объединенной Буль-Фреге семантике. Показано, что для формулы языка-объекта P, для которых выполняется условие (содержательно выраженное) формула P либо истинна, либо ложна, то для нее имеет место классическая двузначная логика. Отмечается, что рассмотренные условия близки к определениям высказываниям в естественном языке.

Источник: vk.com

Комментарии: