Истина и обоснование для дедуктивных систем: базовые постулаты и аналитичность

Аннотация

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