Глава 9. Глоссарий по логике
Закон логики – необходимые связи мыслей; определенность – представление предмета в одних и тех же признаках; последовательность – представление предмета вместе с его связями; обоснованность – необходимость выводить высказывания из других.
А = А краткая символическая запись закона тождества. Противоречие – утверждение и одновременное отрицание чего#x2011;либо; А не есть не#x2011;А – краткая запись закона противоречия.
Отношение противоречия (контрадикторности)– возникает между понятиями, один из которых содержит тот или иной признак, а у другого он отсутствует; отношение противоположности (контрарности)– максимальная несовместимость.
Основание – довод, аргумент, подкрепляющий какое#x2011;либо высказывание; детерминизм – учение о причинной обусловленности.
Понятие – универсальная форма мышления.
Объем понятия – предметы, которые им охватываются;
содержание понятия – признаки предметов, отображаемых в понятии.
Общее понятие – охватывает много (два и больше) предметов; единичное понятие – охватывает только один предмет; собирательное понятие – отображает преобладающую черту (свойство, признак) класса предметов; разделительное понятие – отображает обязательную черту всего класса предметов.
Совместимые понятия – имеют общие элементы в объеме; несовместимые понятия – не имеют общих элементов в объеме; перекрещивающиеся, равнозначные и подчиненные понятия – разновидности совместимых понятий; противоположные, противоречащие и соподчиненные понятия – разновидности несовместимых понятий.
Определение (дефиниция) – формулировка, задающая содержание и объем понятия; родовидовое определение – наиболее совершенный вид определения; генетическое определение – определение, близкое по совершенству к предыдущему виду.
Тавтология – ошибочное определение вроде: масло масляное; соразмерность – совпадение объемов определяющего и определяемого понятий; отрицательное определение – задание предмета через отсутствующий у него признак.
Деление понятий – операция разбиения объема понятий на виды и подвиды; основание деления – признак, по которому производится разбиение; соразмерность деления – совпадение объемов делимого понятия и суммы объемов, полученных в результате деления.
Истина – высказывание, содержание которого соответствует действительности; категорическое суждение – утверждение или отрицание каких#x2011;либо свойств у предметов.
Субъект суждения – предмет или явление, о котором идет речь; предикат – свойство, приписываемое субъекту или отрицаемое у него; связка – элемент суждения, задающий его качественную характеристику; квантор – элемент суждения, задающий его количественную характеристику (бывает двух видов).
Общеутвердительное суждение (S a P), общеотрицательное суждение (S e P), частноутвердительное суждение (S i P), частноотрицательное суждение (S o P)– названия и символические выражения всех видов суждений; единичное суждение – особый вид суждения, который имеет логические свойства общих суждений.
Распределенность – полнота знаний о используемых в суждении понятиях; распределенный термин – весь класс предметов, о которых говорит термин, обладает (или не обладает) свойством; нераспределенный термин – часть класса предметов, о которых говорит термин, обладает (или не обладает) свойством.
Логический квадрат – схема, облегчающая запоминание истинностных отношений между суждениями; противоположность (контрарность)– отношение между суждениями S a P и S e P; частичная совместимость (субконтрарность)– отношение между суждениями S i P и S o P; противоречие (контрадикторность)– отношение между суждениями 1) S a P и S o P, 2) S e P и S i P; подчинение (субординация)– отношение между суждениями 1) S a P и S i P 2) S e P и S o P.
Модальные суждения – суждения с дополнительными свойствами связки; суждения необходимости (аподиктические)– указывают на необходимые связи понятий (подобные математическим); суждения действительности (ассерторические)– указывают на фактические связи понятий; суждения возможности (проблематические)– указывают на возможные связи понятий; алетическая, аксиологическая, временная, деонтическая модальности – группы модальных суждений.
Умозаключение – рассуждение, приводящее к новым выводам; посылка – исходное суждение в умозаключениях; заключение – итоговое суждение в умозаключениях; непосредственное умозаключение – самая простая разновидность умозаключения (имеет только одну посылку); опосредствованное умозаключение – умозаключение, исходящее из нескольких посылок; индукция – движение мысли от общих посылок к частным; дедукция – движение мысли от частных посылок к общим.
Превращение – переформулирование мысли, в результате которого она меняет только логическую форму; обращение – образование новой мысли за счет перестановки местами субъекта и предиката; противопоставление предикату и противопоставление субъекту – умозаключения, образующиеся комбинацией превращения и обращения.
Силлогизм – вид очень распространенного умозаключения; меньший (маленький) термин (S)– понятие, образующее субъект заключения в силлогизме; больший (большой) термин (P)– понятие, образующее предикат заключения в силлогизме; средний термин (M)– понятие, создающее логическую связь между меньшим и большим терминами; модус – элементарная разновидность силлогизма; фигура – класс родственных силлогизмов.
Энтимема – силлогизм, в котором явно высказаны не все его составные части.
Полисиллогизм – цепочка силлогизмов (бывает двух разновидностей: прогрессивный и регрессивный); сорит – полисиллогизм, у которого не все составные части высказаны явно; эпихейрема – сложный силлогизм, составленный из двух энтимем.
Условное суждение – высказывание, в котором содержится оборот «если, . то. .» или его эквиваленты; условно#x2011;категорическое умозаключение (силлогизм)– умозаключение, в котором одна посылка условное суждение, другая категорическое; утверждающий модус (modus ponens)– название одной из самых элементарных и распространенных в рассуждениях разновидностей условно#x2011;категорического силлогизма; отрицающий модус (modus tollens)– название другого чрезвычайно распространенного вида условно#x2011;категорического силлогизма.
Разделительное суждение – высказывание, перечисляющие альтернативы (чаще всего через союз «или», но не только через него); разделительно#x2011;категорическое умозаключение (силлогизм)– умозаключение, в котором одна посылка – разделительное суждение и одна – категорическое; отрицающе#x2011;утверждающий модус (modus tollendo ponens)– название одной из двух разновидностей разделительно#x2011;категорического умозаключения; утверждающе#x2011;отрицающий модус (modus ponendo tollens)– название другой разновидности разделительно#x2011;категорического умозаключения; лемматические умозаключения (силлогизмы)– сложные умозаключения, в которых комбинируются условные и разделительные суждения (подразделяются на сложные и простые, конструктивные и деструктивные).
Индукция – умозаключение, построенное на наблюдении частных случаев; полная индукция – умозаключение, построенное на исчерпывающем переборе всех предметов данного рода (ее выводы всегда полностью достоверны); неполная индукция – умозаключение, построенное на наблюдении части всех предметов данного рода (достоверность ее выводов может лишь приближаться к абсолютной).
Научная индукция – индуктивное умозаключение о связи различных явлений между собой; метод сходства – вид научной индукции наиболее близкий к обычной индукции; метод различия – вид научной индукции, в которой выводы по методу сходства дополнены наблюдением различий; метод сопутствующих изменений – вид научной индукции, основанный на изучении согласующихся изменений; метод остатков – вид научной индукции, построенный на отделении неизвестного от изученного.
Аналогия – вид умозаключения, опирающегося на изучения не данного явления, а похожего на него; модель – метод познания, основанного на аналогии.
Доказательство – логическая процедура получения истинных высказываний.
Тезис – высказывание, подлежащее доказательству (или опровержению); аргументы (основания)– высказывания, с помощью которых доказывается или опровергается тезис; демонстрация (форма доказательства)– связь между тезисом и аргументами в виде умозаключения или рассуждения; опровержение – доказательство, направленное на отвод или уточнение утверждений, считавшихся ранее доказанными.
Прямое доказательство – наиболее обычное доказательство, в котором прямо фигурирует доказываемый тезис; косвенное доказательство – обходной путь в доказательных рассуждениях, когда вместо тезиса берется логически связанное с ним утверждение; доказательство от противного (апагогическое)– разновидность косвенного доказательства, в котором опровергается противоречащее тезису утверждение; разделительное доказательство – разновидность косвенного доказательства, в котором последовательно отбрасываются альтернативные тезису утверждения.
Основное заблуждение – ошибка, вызванная тем, что в рассуждении используется ложный аргумент; круг в доказательстве – ошибка, вызванная тем, что аргументы, подкрепляющие тезис, сами обосновываются через этот тезис; предвосхищение основания – ошибка, вызванная тем, что в аргументы заранее закладывается то, что надо доказать; чрезмерное доказательство – употребление в доказательстве излишних аргументов, от чего доказательство только запутывается.
Мнимое следование – общее название ошибок, возникающих из#x2011;за нарушений в форме доказательства (имеет очень много разновидностей); «после этого не значит вследствие этого» – выражение, которым обозначают встречающуюся иногда ошибку при установлении причинных связей; «от сказанного с условием к сказанному безусловно» – выражение, которым обозначают ошибку, возникающую из#x2011;за игнорирования конкретных условий для той или иной истины; «от сказанного в собирательном смысле к сказанному в разделительном смысле» – выражение, которым обозначают ошибку, возникающую из#x2011;за игнорирования разницы между собирательными и разделительными понятиями; замена доказательства другими средствами протащить нужное утверждение – недопустимый в доказательствах прием, имеющий очень много разновидностей.
Критика тезиса, критика аргументов, критика демонстрации – три вида, на которые подразделяются все способы опровержения; опровержение фактами, сведением к абсурду, доказательством антитезиса – три основные разновидности опровержения тезиса; «дамский аргумент» – выражение, которым обозначают непозволительный прием опровержения, когда мысль оппонента преувеличивается до карикатуры.
Пропозициональная переменная – символ (обычно латинская буква), заменяющий любое высказывание; логический союз – название широко распространенных в любом языке оборотов речи, с помощью которых связываются два и более повествовательных предложения (имеют символические обозначения); отрицание – простейший логический союз, выражаемый словами «неверно, что. .», который не связывает, а только преобразует высказывание; конъюнкция – логический союз, выражаемый грамматическим союзом «и» а также многими другими эквивалентными ему выражениями (обозначается символом – /\); дизъюнкция – логический союз, выражаемый грамматическим союзом «или» а также другими эквивалентными ему выражениями (обозначается символом – \/); импликация – логический союз, выражаемый словами «если. ., то. .» а также многими другими эквивалентными ему оборотами (обозначается символом – =gt;); эквивалентность – логический союз, выражающий отношения равнозначности, обоюдной зависимости (обозначается символом – lt;=gt;).
Еще по теме Глава 9. Глоссарий по логике:
- ДИАЛЕКТИЧЕСКАЯ ЛОГИКА МАРКСИЗМА — ЛОГИКА НОВОГО ТИПА
- II. ОРГАНИЧЕСКАЯ СВЯЗЬ МАТЕМАТИКИ И ЛОГИКИ Соотношения диалектики и формальной логики
- § 2. Математическая логика как выражение общности дискретной математики и традиционной логики
- ГЛОССАРИИ
- ГЛОССАРИИ
- Сближение .математики с логикой. Становление математической логики.
- 6. ЛОГИКА, РИТОРИКА И ПОЭТИКА 6.1. Логика, или "аналитика"
- § 4. Объектно-вещная активность в облачении категории деятельности: логика самоутверждения субъекта как логика самоутраты
- Глава II ОРГАНИЧЕСКАЯ СВЯЗЬ МАТЕМАТИКИ И ЛОГИКИ
- ГЛОССАРИЙ
- ГЛОССАРИЙ
- Глава 2. Аналитика и логика
- Глоссарий
- Глоссарий
- Глава 9* О ЛОГИКЕ ВООБЩЕ
- ГЛОССАРИЙ
- Глоссарий
- Глава XXII. ЛОГИКА АРИСТОТЕЛЯ