1596

или отрицание какого-либо положения относительно предметов, явлений или их свойств.

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

Тавтология – в обычном языке: повторение того, что уже было сказано.

Тезис – один из элементов доказательства; положение, истинность которого обосновывается в доказательстве.

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

Термин (от лат. terminus – граница, предел, конец ч.-л.) – 1) в самом широком смысле – слово или словосочетание естественного языка, обозначающее предмет (реальный или абстрактный); 2) в науке

– слово или словосочетание, используемое для обозначения предметов в пределах той или иной науки, научной теории.

Тождества закон – логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя.

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

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

Учетверение терминов (лат. quaternio terminorum) – логическая ошибка в простом категорическом силлогизме, обусловленная нарушением правила, гласящего, что в силлогизме должно быть только три термина.

Факт (от лат. factum – сделанное, совершившееся) – 1) синоним понятий «истина», «событие», «результат»; нечто реальное, в противоположность вымышленному; конкретное, единичное, в отличие от абстрактного и общего; 2) в логике и методологии научного познания – особого рода предложения, фиксирующие эмпирическое знание. Как форма эмпирического знания Ф. противопоставляется теории или гипотезе.

Фальсификация (от лат. falsus – ложный, facio – делаю) –

82

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

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

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

Частное суждение – суждение, имеющее логическую структуру «Некоторые S суть Р» (частноутвердительное суждение) или «Некоторые S не есть Р» (частноотрицательное суждение).

Эвристика (от греч. heurisko – отыскиваю, открываю) – совокупность приемов и методов, облегчающих и упрощающих решение познавательных, конструктивных, практических задач.

Эйлера круги – геометрическая наглядная иллюстрация объемов понятий и отношений между ними с помощью кругов. При решении целого ряда задач математик Леонард Эйлер использовал идею изображения множеств с помощью кругов. Однако этим методом ещё до Л. Эйлера пользовался выдающийся немецкий философ и математик Готфрид Вильгельм Лейбниц. Г. В. Лейбниц использовал их для геометрической интерпретации логических связей между понятиями, но при этом всё же предпочитал использовать линейные схемы.

Эквивалентность – общее название отношений, являющихся рефлексивными, симметричными и транзитивными.

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

Энтимема (от греч. in thymos – в уме) – 1) рассуждение, доказательство, в котором некоторые посылки либо заключение не формулируются в явной форме, но подразумеваются; 2) силлогизм, в котором не выражена в явной форме к.-л. его часть: большая или меньшая посылка либо заключение.

Эпихейрема (от греч. epiheirema – умозаключение) – сокращенный силлогизм, в котором обе посылки представляют собой энтимемы.

Эристика (от греч. eristika – искусство спора) – искусство ведения спора. Эристику следует отличать от софистики, в отличие от

82

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

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

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

82

Учебное издание

Павел Валерьевич Ополев

ЛОГИКА И ТЕОРИЯ АРГУМЕНТАЦИИ

Учебное пособие

** *

Редактор И.Г.Кузнецова

** *

Подписано к печати 14.02. 2013 Формат 60 90 1/16. Бумага писчая Оперативный способ печати Гарнитура Times New Roman Усл. п. л. 6,5, уч.-изд. л. 5,2 Тираж 110 экз. Заказ №____

Цена договорная

* * *

Издательство СибАДИ 644099, г. Омск, ул. П. Некрасова, 10

Отпечатано в подразделении ОП издательства СибАДИ

82