Логика

ЛОГИКА (от греч. λόγος — слово, речь, разум, рассуждение) — наука о законах, формах и приемах интеллектуальной (мыслительной) познавательной деятельности. В настоящее время Л. представляет собой разветвленную и многоплановую науку, в составе которой можно выделить следующие основные разделы — теорию рассуждений, метаяогику и логическую методологию.

Читайте подробное определение понятия Логика.

Конструктивное направление

КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ в математике и логике, подход в основаниях этих наук, при котором их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в которых не присутствует идея актуальной бесконечности. Конструктивными называют объекты, являющиеся либо элементарными знаковыми образованиями (т. е. не построенными из др. знаков), относительно которых предполагается, что они однозначно опознаваемы — различаемы и отождествляемы, как, например, буквы некоторого алфавита (см.

Правдоподобные рассуждения

ПРАВДОПОДОБНЫЕ РАССУЖДЕНИЯ – рассуждения, применяемые правила вывода, в которых не гарантируют истинности заключения при условии истинности посылок. Примером правдоподобного вывода является вывод высказывания А из посылок «если А, то В» и «В».

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

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

Алгебра логики

АЛГЕБРА ЛОГИКИ – одна из основных частей математической логики, основанная на применении алгебраических методов к логике. Возникнув в середине 19 века в трудах Буля и развиваясь затем в работах Джевонса, Шредера, Пирса, Порецкого и других, алгебра логики имела своим предметом классы (как объемы понятий), соотношения между классиками по объему и связанные с этим операции над ними. Позднее, в связи с появлением в 70-х годах 19 века множеств теории, поглотившей часть этих задач, предмет алгебры логики значительно изменился.

Свободная логика (НФЭ, 2010)

СВОБОДНАЯ ЛОГИКА – раздел современной логики, в котором анализируются свойства высказываний с пустыми (необозначающими) терминами. Свободной называют также логику, свободную от экзистенциальных (от лат. экзистенция – существование) допущений.

Классические логики (стандартная логика предикатов, традиционная силлогистика) являются экзистенциальными логиками. Это обусловлено двумя моментами, проявляющимися при интерпретации указанных исчислений: 1) универсум рассуждения, на котором осуществляется интерпретация, не должен быть пустым; 2) все термы (аналоги имен) в обязательном порядке должны иметь значения, свои референты в универсуме рассуждения. Нарушение этих условий приводит к несоблюдению целого ряда дедуктивных принципов классической логики...

Дедукция

ДЕДУКЦИЯ (от лат. deductio – выведение) – переход от общего к частному; в более специальном смысле термин «дедукция» обозначает процесс логического вывода, т.е. перехода по тем или иным правилам логики от некоторых данных предложений-посылок к их следствиям (заключениям). Термин «дедукция» употребляется и для обозначения конкретных выводов следствий из посылок (т.е. как синоним термина «вывод» в одном из его значений), и как родовое наименование общей теории построений правильных выводов.

Метаязык

МЕТАЯЗЫК (от греч. τὰ μετὰ– «после», «за» и язык; букв. – «некоторый язык о данном языке») – одно из важнейших понятий современной логики, математики, философии и методологии науки, семиотики и теоретической лингвистики. В самом общем смысле метаязык – любой естественный или искусственный язык (язык «второго уровня»), на котором описывается другой язык (язык «первого уровня»), служащий для описания предметов, свойств и ситуации окружающего мира либо тех или иных его областей или сфер.

Прикладная логика

ПРИКЛАДНАЯ ЛОГИКА – логический аппарат систематически используемый для решения конкретных практических задач. При этом необходимо различать прикладную логику и отдельные приложения логики. Для прикладной логики характерна именно систематичность, алгоритмизированность использования.

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

Дизъюнкция (Ильичёв, 1983)

ДИЗЪЮНКЦИЯ (от лат. disjunctio — разобщение, обособление), в широком смысле — сложное высказывание, образованное из двух или более предложений с помощью союза «или», выражающего альтернативность, или выбор. В символической логике дизъюнкцией называют логическую связку (операцию, функцию), образующую из предложений А и В сложное высказывание, обозначаемое обычно как А V В, которое является истинным при истинности по крайней мере одного из двух дизъюнктивных членов: А или В.

Вероятностная логика

ВЕРОЯТНОСТНАЯ ЛОГИКА — раздел логики, изучающий логические системы, в которых множеством значений истинности высказываний служат вероятности (степени правдоподобия или подтверждения). Чаще всего вероятности добавляются к системе пропозициональной логики в качестве нового отношения, соединяющего множество высказываний и множество их значений из интервала 0<Р(А)<1, где Ρ (А) — вероятность истинности высказывания А. Таким образом, система аксиом вероятностной логики состоит из трех частей: пропозициональной, задающей операции между выска-зываниями; арифметической, задающей операции между значениями вероятности; вероятностной, задающей функцию приписывания высказываниям их значений...

Алгоритм

АЛГОРИТМ, алгорифм (от лат. algorithmi, algorismus, по имени арабского ученого 9 века ал-Хорезми) – точное предписание, задающее потенциально осуществимый (см. Абстракция потенциальной осуществимости) вычислительный процесс (процесс исполнения алгоритма), ведущий от исходных данных, которые могут варьировать, к конечному результату. Овладение общим методом решения точно поставленной задачи по сути дела означает знание алгоритма. Так, умение складывать два числа означает владение алгоритмом сложения чисел (например, сложением столбиком, которому учат в школе).

Страницы

Subscribe to RSS - Логика
Яндекс.Метрика