Истина и обоснование для дедуктивных систем: базовые постулаты и аналитичность
Аннотация
Обсуждается проблема интеграционного подхода к искусственному интеллекту. АналиПонятие аналитичности играет важную роль в обосновании истин. В традиционной логике терминов и современной логике предикатов применяются сходные подходы для реконструкции идеи достоверного обоснования. Кант использовал категории синтетического априори, Фреге опирался на особенности термов (индивидных констант и функций), чтобы сформулировать условия для применения определений. В результате первичные, базовые утверждения как исходные положения для обоснования предполагают утверждения существования и единственности определяемого предмета (определенные дескрипции), сходные с локализацией предметов в пространстве и времени синтетическими понятиями априори у Канта.
Для цитирования:
Карпович В.Н.
Истина и обоснование для дедуктивных систем: базовые постулаты и аналитичность. Сибирский философский журнал. 2019;17(4):26-40.
For citation:
Karpovich V.N.
Truth and justification for deductive systems: on the primary postulates and analyticity of justifications. Siberian Journal of Philosophy. 2019;17(4):26-40.
(In Russ.)
Просмотров:
151