ЛОГИКА ТРАДИЦИОННАЯЛогистическая кривая

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

Найдено 2 определения термина ЛОГИКА ФОРМАЛЬНАЯ

Показать: [все] [краткое] [полное] [предметную область]

Автор: [отечественный] [зарубежный] Время: [современное]

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

англ. logic, formal; нем. Logik, formale. Наука об общих структурах и законах правильного мышления, образования и сочетания понятий и высказываний, о правилах умозаключений независимо от их конкретного содержания.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Большой словарь по социологии, проект www.rusword.com.ua

Логика формальная

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

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

Найдено схем по теме ЛОГИКА ФОРМАЛЬНАЯ — 0

Найдено научныех статей по теме ЛОГИКА ФОРМАЛЬНАЯ — 0

Найдено книг по теме ЛОГИКА ФОРМАЛЬНАЯ — 0

Найдено презентаций по теме ЛОГИКА ФОРМАЛЬНАЯ — 0

Найдено рефератов по теме ЛОГИКА ФОРМАЛЬНАЯ — 0