ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 13.12.2020
Просмотров: 1036
Скачиваний: 2
как видим, приводит к выражению (p => (-(q /\ r)), которое явно отличается от (1) и звучит так: "Ес-ли переходишь улицу, то неверно, будто надо оглянуться направо и налево". Именно это предложе-ние является эквивалентным выражению (2). Не надо удивляться его несуразности: оно получено из ложного высказывания. Если бы мы стали преобразовывать выражение (1), то тогда получили бы другую формулу (-p \/ (q /\ r)), которая по-настоящему эквивалентна ему, будучи дизъюнктивной, и читается так: "Или не переходи улицу, или надо оглянуться направо и налево".
Глоссарий
Закон логики - необходимые связи мыслей; определенность - представление предмета в одних и тех же признаках; последовательность - представление предмета вместе с его связями; обоснованность - необходимость выводить высказывания из других.
А = А краткая символическая запись закона тождества.
Противоречие - утверждение и одновременное отрицание чего-либо; А не есть не-А - краткая запись закона противоречия.
Отношение противоречия (контрадикторности) - возникает между понятиями, один из которых со-держит тот или иной признак, а у другого он отсутствует; отношение противоположности (контрар-ности) - максимальная несовместимость.
Основание - довод, аргумент, подкрепляющий какое-либо высказывание; детерминизм - учение о причинной обусловленности.
Понятие - универсальная форма мышления.
Объем понятия - предметы, которые им охватываются; содержание понятия - признаки предметов, отображаемых в понятии.
Общее понятие - охватывает много (два и больше) предметов; единичное понятие - охватывает толь-ко один предмет; собирательное понятие - отображает преобладающую черту (свойство, признак) класса предметов; разделительное понятие - отображает обязательную черту всего класса предметов.
Совместимые понятия - имеют общие элементы в объеме; несовместимые понятия - не имеют общих элементов в объеме; перекрещивающиеся, равнозначные и подчиненные понятия - разновидности совместимых понятий; противоположные, противоречащие и соподчиненные понятия - разновидно-сти несовместимых понятий.
Определение (дефиниция) - формулировка, задающая содержание и объем понятия; родовидовое оп-ределение - наиболее совершенный вид определения; генетическое определение - определение, близ-кое по совершенству к предыдущему виду.
Тавтология - ошибочное определение вроде: масло масляное; соразмерность - совпадение объемов определяющего и определяемого понятий; отрицательное определение - задание предмета через от-сутствующий у него признак.
Деление понятий - операция разбиения объема понятий на виды и подвиды; основание деления - признак, по которому производится разбиение; соразмерность деления - совпадение объемов дели-мого понятия и суммы объемов, полученных в результате деления.
Истина - высказывание, содержание которого соответствует действительности; категорическое суж-дение - утверждение или отрицание каких-либо свойств у предметов.
Субъект суждения - предмет или явление, о котором идет речь; предикат - свойство, приписываемое субъекту или отрицаемое у него; связка - элемент суждения, задающий его качественную характери-стику; квантор - элемент суждения, задающий его количественную характеристику (бывает двух ви-дов).
Общеутвердительное суждение (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) - понятие, создающее логическую связь между меньшим и большим терминами; модус - элементарная разновидность силлогизма; фи-гура - класс родственных силлогизмов.
Энтимема - силлогизм, в котором явно высказаны не все его составные части.
Полисиллогизм - цепочка силлогизмов (бывает двух разновидностей: прогрессивный и регрессив-ный); сорит - полисиллогизм, у которого не все составные части высказаны явно; эпихейрема - слож-ный силлогизм, составленный из двух энтимем.
Условное суждение - высказывание, в котором содержится оборот "если,... то..." или его эквивален-ты; условно-категорическое умозаключение (силлогизм) - умозаключение, в котором одна посылка условное суждение, другая категорическое; утверждающий модус (modus ponens) - название одной из самых элементарных и распространенных в рассуждениях разновидностей условно-категорического силлогизма; отрицающий модус (modus tollens) - название другого чрезвычайно распространенного вида условно-категорического силлогизма.
Разделительное суждение - высказывание, перечисляющие альтернативы (чаще всего через союз "или", но не только через него); разделительно-категорическое умозаключение (силлогизм) - умозак-лючение, в котором одна посылка - разделительное суждение и одна - категорическое; отрицающе-утверждающий модус (modus tollendo ponens) - название одной из двух разновидностей разделитель-но-категорического умозаключения; утверждающе-отрицающий модус (modus ponendo tollens) - на-звание другой разновидности разделительно-категорического умозаключения; лемматические умо-заключения (силлогизмы) - сложные умозаключения, в которых комбинируются условные и раздели-тельные суждения (подразделяются на сложные и простые, конструктивные и деструктивные).
Индукция - умозаключение, построенное на наблюдении частных случаев (см. начало главы); полная индукция - умозаключение, построенное на исчерпывающем переборе всех предметов данного рода (ее выводы всегда полностью достоверны); неполная индукция - умозаключение, построенное на на-блюдении части всех предметов данного рода (достоверность ее выводов может лишь приближаться к абсолютной).
Научная индукция - индуктивное умозаключение о связи различных явлений между собой; метод сходства - вид научной индукции наиболее близкий к обычной индукции; метод различия - вид на-учной индукции, в которой выводы по методу сходства дополнены наблюдением различий; метод сопутствующих изменений - вид научной индукции, основанный на изучении согласующихся изме-нений; метод остатков - вид научной индукции, построенный на отделении неизвестного от изучен-ного.
Аналогия - вид умозаключения, опирающегося на изучения не данного явления, а похожего на него; модель - метод познания, основанного на аналогии.
Доказательство - логическая процедура получения истинных высказываний.
Тезис - высказывание, подлежащее доказательству (или опровержению); аргументы (основания) - высказывания, с помощью которых доказывается или опровергается тезис; демонстрация (форма до-казательства) - связь между тезисом и аргументами в виде умозаключения или рассуждения; опро-вержение - доказательство, направленное на отвод или уточнение утверждений, считавшихся ранее доказанными.
Прямое доказательство - наиболее обычное доказательство, в котором прямо фигурирует доказывае-мый тезис; косвенное доказательство - обходной путь в доказательных рассуждениях, когда вместо тезиса берется логически связанное с ним утверждение; доказательство от противного (апагогиче-ское) - разновидность косвенного доказательства, в котором опровергается противоречащее тезису утверждение; разделительное доказательство - разновидность косвенного доказательства, в котором последовательно отбрасываются альтернативные тезису утверждения.
Основное заблуждение - ошибка, вызванная тем, что в рассуждении используется ложный аргумент; круг в доказательстве - ошибка, вызванная тем, что аргументы, подкрепляющие тезис, сами обосно-вываются через этот тезис; предвосхищение основания - ошибка, вызванная тем, что в аргументы заранее закладывается то, что надо доказать; чрезмерное доказательство - употребление в доказа-тельстве излишних аргументов, от чего доказательство только запутывается.
Мнимое следование - общее название ошибок, возникающих из-за нарушений в форме доказательст-ва (имеет очень много разновидностей); "после этого не значит вследствие этого" - выражение, кото-рым обозначают встречающуюся иногда ошибку при установлении причинных связей; "от сказанно-го с условием к сказанному безусловно" - выражение, которым обозначают ошибку, возникающую из-за игнорирования конкретных условий для той или иной истины; "от сказанного в собирательном смысле к сказанному в разделительном смысле" - выражение, которым обозначают ошибку, возни-кающую из-за игнорирования разницы между собирательными и разделительными понятиями; заме-на доказательства другими средствами протащить нужное утверждение - недопустимый в доказа-тельствах прием, имеющий очень много разновидностей.
Критика тезиса, критика аргументов, критика демонстрации - три вида, на которые подразделяются все способы опровержения; опровержение фактами, сведением к абсурду, доказательством антитези-са - три основные разновидности опровержения тезиса; "дамский аргумент" - выражение, которым обозначают непозволительный прием опровержения, когда мысль оппонента преувеличивается до карикатуры.
Пропозициональная переменная - символ (обычно латинская буква), заменяющий любое высказыва-ние; логический союз - название широко распространенных в любом языке оборотов речи, с помо-щью которых связываются два и более повествовательных предложения (имеют символические обо-значения); отрицание - простейший логический союз, выражаемый словами "неверно, что...", кото-рый не связывает, а только преобразует высказывание; конъюнкция - логический союз, выражаемый грамматическим союзом "и" а также многими другими эквивалентными ему выражениями (обозна-чается символом - /\); дизъюнкция - логический союз, выражаемый грамматическим союзом "или" а также другими эквивалентными ему выражениями (обозначается символом - \/); импликация - логи-ческий союз, выражаемый словами "если..., то..." а также многими другими эквивалентными ему оборотами (обозначается символом - =>); эквивалентность - логический союз, выражающий отноше-ния равнозначности, обоюдной зависимости (обозначается символом - у).
КОНЕЦ