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

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

Ключевые слова: аргументация, логика, истина, обоснование, априорное, апостериорное, достоверность, наука.