Новосибирский государственный университет

Факультет информационных технологий

ICT SBRAS
А.М.Федотов

Словарь-справочник по информатике (онтология информатики)

Аристотель
384 до н. э. — 322 до н. э

[Аристотель]

Основные достижения:

В книгах «Категории», «Первая аналитика», «Вторая аналитика» и др. подверг анализу человеческое мышление и его формы: понятия, суждения, умозаключения.

Сформулировал проблемы формализации работы разума и необходимость создания логических машин.

Аристотель впервые обосновал один из важнейших разделов логики - учение о суждениях и силлогизмах.

Краткая биография:

Аристотель — древнегреческий философ. Ученик Платона. С 343 до н. э. — воспитатель Александра Македонского. В 335/4 г. до н. э. Основал Ликей. Натуралист классического периода. Наиболее влиятельный из диалектиков древности; основоположник формальной логики. Создал понятийный аппарат, который до сих пор пронизывает философский лексикон и сам стиль научного мышления.

Аристотель был первым мыслителем, создавшим всестороннюю систему философии, охватившую все сферы человеческого развития: социологию, философию, политику, логику, физику. Его взгляды на онтологию имели серьёзное влияние на последующее развитие человеческой мысли. Метафизическое учение Аристотеля было принято Фомой Аквинским и развито схоластическим методом.

Публикации o жизни и деятельности персоны:

  1. Брусенцов Н.П. Блуждание в трех соснах // В сб.: "Программные системы и инструменты", Труды ф-та ВМиК МГУ, №1, Москва: МАКС Пресс, 2000, с.13-23

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


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

|Головная| |Преподавание| | Современные проблемы информатики| |Информатика| |Ключевые термины| |Персоны|

Федотов Анатолий Михайлович
[SBRAS]
НГУ
ФИТ НГУ
ИВТ СО РАН
© 1998-2024, Новосибирский государственный университет, Новосибирск
© 1998-2024, Институт вычислительных технологий СО РАН, Новосибирск
© 1998-2024, Федотов А.М.
    Дата последней модификации: 20.10.2013