Description

Аннотация

В статье дается анализ развития проблем логики в информатике. Обсуждается проблема открытой логики. Обсуждается применение информационных единиц как основы логических построений в информатике. Обсуждается проблема подсистем вывода и получения вывода в информатики. Выявлены основные направления применения логических построений в информатике. Показана необходимость философского анализа проблем информатики и логики и совместных логико-информационных проблем. Статья показывает необходимость введения и разделения понятий «информационная система». В работе выделены и проанализированы три группы философских проблем, связанных с информатикой: собственно проблемы информатики, философские проблемы информатики, информационно-философские проблемы информатики. Философские проблемы логики и информатики приводят к необходимости введения и разделения понятий «информационная система», а также к необходимости различать процессуальные системы, дескриптивные системы, базы данных, классификаторы, атрибутивные системы и системы вывода.