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

У

УМОЗАКЛЮЧЕНИЕ - форма мышления, в которой из одного или нескольких суждений на основании определенных правил получают новое суждение.

УМОЗАКЛЮЧЕНИЕ ПО АНАЛОГИИ (АНАЛОГИЯ) - умозаключение, при котором на основе сходства двух объектов по каким-либо параметрам делается вывод об их сходстве по другим параметрам.

УСЛОВНОЕ СУЖДЕНИЕ (ИМПЛИКАЦИЯ) - сложное суждение, в котором простые суждения связаны логической связкой «если..., то...». При этом суждение, стоящее после слова «если», называют основанием импликации, а второе суждение называют следствием импликации. Формула условного суждения: р—>q.

УСЛОВНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ - умозаключение, одна из посылок которого условное, а вторая - категорическое суждение.

УСЛОВНО-РАЗДЕЛИТЕЛЬНОЕ (ЛЕММАТИЧЕСКОЕ) УМОЗАКЛЮЧЕНИЕ - умозаключение, в котором одна из посылок разделительное суждение, а вторая является совокупностью условных суждений.

УТВЕРДИТЕЛЬНОЕ СУЖДЕНИЕ - суждение, имеющее утвердительную связку («есть», «суть» и т.п.) между субъектом и предикатом.

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

Условный силлогизм – силлогизм, в котором по крайней мере одна из посылок является условным суждением.

Ф

ФИГУРА СИЛЛОГИЗМА - разновидность силлогизма в зависимости от местоположения среднего термина в посылках.

ФИЗИЧЕСКАЯ или ФАКТИЧЕСКАЯ (ОНТОЛОГИЧЕСКАЯ) МОДАЛЬНОСТЬ - выражается с помощью понятий «физически необходимо», «физически случайно», «физически возможно», «физически невозможно».

Физическую и логическую модальности нередко объединяют в АЛЕТИЧЕСКУЮ МОДАЛЬНОСТЬ.

Фигура силлогизма – форма силлогизма, определяемая положением среднего термина.

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

Формализованный язык - искусственный язык формально-логических исчислений, язык знаков, формул, символов.

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

Х

ХАРАКТЕРИСТИКА - прием, при котором перечисляются лишь некоторые внутренние, существенные черты человека, явления, предмета.

ЦЕЛЕНАПРАВЛЕННАЯ ПОСЛЕДОВАТЕЛЬНОСТЬ - метод организации речи, основанный на анализе мыслительного процесса. Целенаправленная последовательность состоит из пяти шагов: привлечение внимания, указание на потребность, способ удовлетворения потребности, наглядность результатов, просьба об одобрении или действии.

ЦЕНТРАЛЬНАЯ ИДЕЯ - основная тема речи.

Ч

ЧАСТНОЕ СУЖДЕНИЕ - суждение, в котором речь идет о части предметов, мыслимых в субъекте. Его структура: «Некоторые S есть (не есть) Р».

ЧИСТО УСЛОВНОЕ УМОЗАКЛЮЧЕНИЕ - умозаключение, посылки и заключение которого являются условными суждениями.

Э

ЭНТИМЕМА сокращенный категорический силлогизм, в котором пропущена одна из посылок или отсутствует заключение.

ЭПИСТЕМИЧЕСКАЯ МОДАЛЬНОСТЬ или ТЕОРЕТИКО-ПОЗНАВАТЕЛЬНАЯ МОДАЛЬНОСТЬ - может относиться к знанию, и тогда выражается с помощью понятий «доказуемо», «неразрешимо», «опровержимо», а может относиться к убеждению, и тогда выражается понятиями «убежден», «сомневается», «отвергает», «допускает».

ЭПИХЕЙРЕМА - сокращенный и одновременно сложный силлогизм, посылки которого представляют собой энтимемы.

ЭРИСТИКА - раздел логики, изучающий искусство ведения спора.

Я

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

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

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

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

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