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

К

КАТЕГОРИЧЕСКОЕ СУЖДЕНИЕ - суждение, в котором утверждение или отрицание выражается без формулирования каких-либо условий и без каких-либо вариантов.

КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО - доказательство, при котором истинность тезиса устанавливается путем доказательства ложности положения, противоречащего тезису (антитезиса).

КОСВЕННОЕ ОПРОВЕРЖЕНИЕ - опровержение, при котором обосновывают собственный тезис, который формулируется как противоречащий доказываемому тезису.

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

Категорическое суждение – суждение, высказывающее принадлежность или непринадлежность какого-либо признака предмету.

Классическая логика – одно из направлений современной математической логики, в котором каждому высказывнию припысывается значение истинности или лжи. В отличие от традиционной логики, основывающейся на этом же принципе, классическая логика связана с методом формализации.

Классическое определение истины – дано Аристотелем. Согласно его определению истина - это совпадение мысли о предмете (принцип соответствия) с самим предметом.

Конкретное понятие - понятие, в котором отображен определенный предмет или класс предметов.

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

Л

ЛО́ГИКА, и, мн. нет, ж. [нем. Logik < греч. logikē < logos довод, доказательство; разумное основание]. 1. Наука о законах мышления и его формах. Изучать логику. Математическая логика (включающая математические методы исследования способов рассуждений и умозаключений). Формальная логика (наука, изучающая формы мыслей и формы сочетаний их в отвлечении от конкретного содержания суждений, умозаключений). 2. Ход рассуждений, умозаключений. В его словах есть своя л. Женская л. 3. Разумность, внутренняя закономерность чего-н. Л. событий.

Дата добавления: 2015-06-30; просмотров: 147; Нарушение авторских прав

Мы поможем в написании ваших работ!