Новосибирский государственный университет Факультет информационных технологий Современные проблемы информатики и вычислительной техники

Публикации и документы в коллекции "Современные проблемы информатики"

Цель памфлета - обратить внимание на не диалектичность и не сподручность здравому рассуждению преобладающей в современной информатике формальной логики, унаследованные ею будто бы от Аристотеля. Указана возможность и актуальная необходимость воссоздать в информатике подлинный дух аристотелева Органона. Доложено на Ломоносовских чтениях 24 апреля 2000 г. на факультете ВМиК МГУ.

Двадцатый век ознаменован прогрессирующим нарастанием протеста против двухзначности: отвержение интуиционистской математикой закона исключенного третьего, попытки Льюиса, а затем Аккермана преодолеть "парадоксы" материальной импликации, изобретение Лукасевичем трехзначной логики, предположение Рейхенбаха о трехзначности логики микромира (квантовой механики), общее усиление активности в области многозначных логик, наконец, нечеткие множества Заде, справедливо квалифицируемые “как вызов, брошенный европейской культуре с ее дихотомическим видением мира в жестко разграничиваемой системе понятий”.

Издательство: Москва, SvR - Аргус, 2000. – 16 с.

Ссылка на адрес в репозитарии: Блуждание в трех соснах (Приключения диалектики в информатике)
Ссылка на репозиторий DSpace: Блуждание в трех соснах (Приключения диалектики в информатике)

Ключевые слова:  информатика;   информация;   трехзначная логика;

Контекстный поиск: Задайте образец для поиска:
    

Федотова Ольга Анатольевна

НГУ ФИТ НГУ ИВТ СО РАН