Народы и культуры. Оксфордская энцкилопедия

ЛОГИКА ФОРМАЛЬНАЯ

logic, formal), наука, изучающая формы мысли (понятия, суждения, умозаключения, доказательства). Предметом Л.ф. является не содержание умозаключения, а его логическая структура. Напр., умозаключения все люди смертны; Сократ — человек; след., Сократ смертен и всякая ложь предосудительна; это — ложь; след., это предосудительно при разл. содержании имеют одну и ту же структуру, к-рая может быть представлена в виде схемы: все А суть В; С есть А; след., С есть В. Л.ф. описывает и объясняет истинность умозаключений при помощи описания и объяснения правильности схемы умозаключения: отд. умозаключение логически корректно лишь при условии, что оно является частным случаем логически правильной схемы умозаключения. Не существует универсальной Л.ф., способной описать все типы верных умозаключений, поскольку число этих типов очень велико. Вместо этого разл. логические системы развивались и классифицировались на основе содержащихся в них логических констант, т.е. соединительных слов, от значения крых зависит правильность сложных высказываний. Напр., пропозициональная Л.ф. оперирует высказываниями, логическая корректность к-рых зависит от слов (логических констант) если, и, или, не и если — и — только — если, а константами предикативной Л.ф., предшественницей к-рой была силлогистика (силлогизм) Аристотеля, являются те же слова плюс слова (кванторы) все и некоторые. Существуют разл. виды Л.ф., описывающие высказывания разных видов, напр., включающие фактор времени (временная Л.ф.), морали (деонтическая Л.ф.), веры (эпистемическая Л.ф.) и возможности модальная логика). Вопрос о том, какие именно слова могут играть роль логических констант, весьма важен в философской логике. Изучение Л.ф. является необходимым условием работы с компьютером, в частности с искусственным интеллектом (дедукция, индукция).

логика формальная—изучает формы мысли и их сочетаний безотносительно к их содержанию....Большая энциклопедия по психиатрии
логика формальная—наука изучающая мышление с т. зр. его способности быть оформленным в языке. Наиболее распространенным для пропедевтического варианта Л. ф. остается определение ее как нау...Новая философская энциклопедия
логика формальная—Логика основанная на формальных утверждениях в противоположность логике основанной на значениях....Оксфордский толковый словарь по психологии
логика формальная—Логика основанная на формальных утверждениях в противоположность логике основанной на значениях....Оксфордский толковый словарь по психологии
логика формальная—формал логика...Орысша-қазақша «Математика» терминологиялық сөздік
логика формальная—формальды логика...Русско-казахский терминологический словарь «Философия и политология»
логика формальная—Логика формальная наука о законах и операциях правильного мышления.[Словарь понятий по информатике от Т до Я. Электронный ресурс. Режим доступа httptopuch.ruslovareponya...Терминологический словарь автоматизации строительства и производственных процессов
логика формальная—ЛОГИКА ФОРМАЛЬНАЯ см. Логикаgti. dd Новая философская энциклопедия В тт. М. Мысль.Под редакцией В. С. Стпина...Философская энциклопедия
логика формальная—англ. logic formal нем. Logik formale. Наука об общих структурах и законах правильного мышления образования и сочетания понятий и высказываний о правилах умозаключений не...Энциклопедия социологии