В данном разделе представлены словари и энциклопедии по философии и
смежным отраслям знания, отражающие лучшие традиции энциклопедического дела в России и за рубежом. Вы также можете включиться в это дело,
став одним из авторов Открытой философской энциклопедии.
[Помощь]
ЛОГИКА (греч. logike, от логос), наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области знания. К общезначимым формам мысли относятся понятия, суждения, умозаключения, а к общезначимым средствам мысли — определения, правила (принципы) образования понятий, суждений и умозаключений, правила перехода от одних суждений (умозаключений) к другим, способы формализации систем умозаключений. В отличие от психологии, логика изучает не реальные процессы мышления, но формы правильного мышления, будучи формальной нормативной дисциплиной (формальная логика). Основателем логики считается др.-греч. философ Аристотель (4 в. до н. э.), в то же время логические системы были разработаны в Китае и Индии. Различают индуктивную и дедуктивную логику, а в последней — классическую, интуиционистскую, конструктивную, модальную и др. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др.