Формальная логика

Formal logic

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

Алгоритмическая неразрешимость

Алгоритмическая неразрешимость - в математической логике - свойство математической задачи, заключающееся в отсутствии алгоритма ее решения.

Антиномия

Antinomy

От лат.Аntinomia - противоречие в законе

Антиномия - противоречие между положениями, каждое из которых признается логически доказуемым.

 >> Исчисление высказываний

Исчисление высказываний - область математической логики.

Исчисление предикатов

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

Логика

Logic

От греч.Logik - соответствующий рассуждениям

Логика - совокупность наук о законах и формах правильного мышления.

Логический закон

Logical law

Логический закон - закон непротиворечивого мышления.

Логическое программирование

Логическое программирование - программирование в терминах фактов и правил вывода, с использованием языка, основанного на формальных исчислениях.

Математическая логика

Математическая логика - раздел логики, который развивается методами математики. Математическая логика занимается обоснованием суждений, доказательств и логическим выводом.

Нечеткая логика

Fuzzy logic

Нечеткая логика - логика, в которой допускается промежуточные значения истинности высказываний, заключенные между традиционными "истина" и "ложь". Нечеткая логика предложена профессором Калифорнийского университета Лофти Заде в 1965г.

Панлогизм

Panlogism

От греч.Pan - всe + Logos - учение

Панлогизм - учение, согласно которому:
- бытие является воплощением разума;
- законы бытия определяются законами логики и выступают основной движущей силой развития всего существующего.

После этого, следовательно, по причине этого

Post hoc, ergo propter hoc fallacy

После этого, следовательно, по причине этого - логическая ошибка; некорректный ход рассуждения, согласно которому одно событие, предшествовавшее другому, объявляется его причиной.

Психологика

Psycho-logics

Психологика - по Абельсону и Розенбергу - мышление, ориентированное:
- не на то, чтобы избежать заблуждений и достичь правильных выводов в соответствии с законами формальной логики;
- а на сохранение существующей аффективно-когнитивной последовательности установок.

Символическая логика

Символическая логика - представление формальной логики на основе специального языка. Символическая логика оперирует с высказываниями, используя логические операции: отрицание, дизъюнкция, конъюнкция. На основе символической логики создаются логические языки.

Тавтология

Tautology

От греч.Tauto - то же самое + Logos - слово

Тавтология - логически истинная формула (высказывание); логический закон.

Традиционная логика

Traditional logic

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

Язык программирования Пролог

PROLOG language

От англ.PROgramming in LOGic

Язык программирования Пролог - язык логического программирования, программа на котором состоит:
- из логических утверждений, образующих базу данных; и
- из правила вывода новых утверждений из известных.