Словарь терминов по логике

Последнее обновление: 29 Ноябрь 2018.

Идеализация — процесс мысленного конструирования представлений и понятий об объектах, не существующих и не могущих существовать в действительности, но сохраняющих некоторые черты реальных объектов.

Идемпотентности Закон — (от лат. idempotens — сохраняющий ту же степень) — логический закон, позволяющий исключить повторение одного и того же высказывания.

Иллюстрация — (от лат. illustratio — прояснять) — факт или частный случай, призванный укрепить убежденность аудитории в правильности уже известного и принятого положения.

Импликация — (от лат. implicatio — сплетение, от implico — тесно связываю) — логическая связка, соответствующая грамматической конструкции «если ..., то ...», с помощью которой из двух простых высказываний образуется сложное высказывание.

Имя — выражение естественного или искусственного, формализованного языка, обозначающее отдельный предмет, совокупность сходных предметов, свойства, отношения и т. п.

Индивид — (от лат. individuum — неделимое) — единичное как противоположность совокупности, массе; отдельное живое существо, особь, отдельный человек, в отличие от стада, группы, коллектива.

Индуктивная Логика — раздел логики, изучающий индуктивные умозаключения, которые отличаются от дедуктивных умозаключений тем, что вывод в них вытекает из посылок не с необходимостью, а лишь с некоторой вероятностью.

Индуктивное Определение — определение, позволяющее из некоторых исходных объектов теории с помощью некоторых операций строить новые объекты теории.

Индукции Каноны — (от греч. canon — правило, предписание) методы установления причинных связей между явлениями.

Индукция — (от лат. inductio — наведение) — умозаключение, в котором связь посылок и заключения не опирается на логический закон, в силу чего заключение вытекает из принятых посылок не с логической необходимостью, а только с некоторой вероятностью.

Индукция Математическая, Полная Математическая Индукция — средство доказательства общих положений в математике и др. дедуктивных науках. Этот прием опирается на использование двух суждений.

Индукция Неполная — индуктивный вывод о том, что всем представителям изучаемого множества принадлежит свойство Р на том основании, что Р принадлежит некоторым представителям этого множества.

Индукция Полная — индукция, в которой делается заключение о том, что всем представителям изучаемого множества принадлежит свойство Р, на основании полученной при опытном исследовании информации о том, что каждому представителю изучаемого множества принадлежит свойство Р.

Индукция Популярная — наиболее распространенный вид индуктивного вывода, в котором не предпринимается никаких мер для повышения достоверности заключения.

Интерпретация — (от лат. interpretatio — разъяснение, истолкование) — в логике приписывание некоторого содержательного смысла, значения символам и формулам формальной системы; в результате формальная система превращается в язык, описывающий ту или иную предметную область.

Интерсубъективный — (от лат. inter — между) — межличностный, общий, общедоступный, в противоположность личному, индивидуальному, уникальному.

Интуитивная Логика — интуитивные представления о правильности рассуждений, сложившиеся стихийно в процессе повседневной практики мышления.

Интуиционизм — направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядносодержательная интуиция.

Интуиционистская Логика — одна из наиболее важных ветвей логики неклассической, имеющая своей философской предпосылкой программу интуиционизма.

Интуиция — (от лат. intuitio — пристальное, внимательное всматривание, созерцание) — способность к прямому усмотрению истины, постижению ее без всякого рассуждения и доказательства. Для И. обычно считаются типичными неожиданность, невероятность, непосредственная очевидность и неосознанность пути, ведущего к ее результату.

Иррациональное — (от лат. irrationalis — неразумный, бессознательный) — находящееся на пределами разума, противоречащее логике. Обычно противопоставляется рациональному как разумному, целесообразному, обоснованному.

Искусственный Интеллект — метафорическое обозначение области исследований, цель которых — создание технических систем, способных решать задачи невычислительного характера и выполнять действия, требующие переработки содержательной информации и считающиеся прерогативой человеческого мозга.

Истина — мысль или высказывание, соответствующие своему предмету. Мысль соответствует своему предмету, если представляет его таким, каков он есть на самом деле, в реальности.

Истинностное Значение — одна из возможных характеристик высказывания с точки зрения соответствия его описываемому фрагменту действительности. Если допускается, что каждое высказывание является либо истинным, либо ложным (т. е. что оно либо соответствует действительности, либо не соответствует ей), говорят, что высказывание имеет одно из двух значений истинности. Данное допущение, именуемое двузначности (бивалентности) принципом, лежит в основе логики классической.

Исчисление — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса — и алгоритм решения.