логика. Терминологический минимум
 Скачать 74.5 Kb.
|
|
ЛОГИКА: ТЕРМИНОЛОГИЧЕСКИЙ МИНИМУМ Формальная логика – не исследует законов чувственного созерцания, это компетенция психологии и конкретных наук Логическая форма (форма мысли) – способ связи между элементами мысли Правильная мысль – строится по законам и правилам формальной логики Истинная мысль – отражает реальность адекватно, то есть такой, какая она на самом деле. Закон тождества - Во всяком рассуждении каждая мысль должна быть тождественна самой себе на протяжении всего рассуждения Формула: АА А↔А А тождественно (равнозначно) А А→А АА Если А, то А Закон противоречия/непротиворечия - Во всяком рассуждении две взаимоисключающие мысли не могут быть одновременно истинными в одном и том же отношении. Формула: (АА) Неверно, что А и не-А Закон исключенного третьего - Во всяком рассуждении две противоречащие мысли не могут быть одновременно ложными; одна из них истинна, другая ложна, а третьей не дан Формула: (А v А) А либо не-А Закон достаточного основания - Во всяком рассуждении каждая мысль должна иметь достаточные основания для утверждения своей истинности или ложности. А достаточно для В, если и только если А(и) → В(и); В необходимо для А, если и только если В(л) → А(л); Подмена тезиса - Нельзя нетождественные мысли принимать за тождественные «Говорят, что язык до Киева доведет. Я купил вчера копченый язык. Теперь смело могу идти в Киев». Подмена понятия - Нельзя нетождественные мысли принимать за тождественные «Толерантность – это плохо, потому что в иммунологии толерантность означает, что организм не борется с инфекцией». Противоположные мысли- Противоположные мысли не могут быть одновременно истинными, но могут быть одновременно ложными. «Все студенты сдали экзамен» - «Ни один студент не сдал экзамен» «Некоторые студенты сдали/не сдали экзамен» Противоречащие мысли – отрицают друг друга; парные, их всегда только две, третьей мысли не может быть Понятие - это форма мысли, в которой отражаются общие и существенные признаки предмета или множества предметов. Объем понятия – предмет или группа предметов, обладающих признаками данного содержания Содержание понятия – совокупность общих и существенных признаков предметов, отраженных в данном понятии Существенный признак – это признаки, каждый из которых, взятый отдельно, необходим, а все вместе достаточны, чтобы с их помощью отличать данный предмет от всех остальных и сделать обобщение, объединив однородные предметы в множество. Закон обратного соответствия объема и содержания понятия - Абстрагирование – это мысленное отвлечение свойств и отношений от предметов, то есть носителей этих свойств и отношений (набор существенных и несущественных признаков предмета) Анализ – это процесс отделения существенных признаков предмета от несущественных; первые сохраняются, а вторые отбрасываются (новый набор признаков, входящих в содержание понятия) Синтез – это процесс системного объединения общих и существенных признаков предмета в одну мысль (содержание понятия) Обобщение понятия – логическая операция в процессе которой понятие с наименьшим обьемом преобразуется в понятие с наибольшим обьемом Ограничение понятия – это логическая операция, посредством которой совершается переход от понятия с большим объемом (род) к понятию с меньшим объемом (вид). Общее понятие - Общим называют понятие, в объем которого включено более одного объекта, т.е. группа или класс однородных предметов или явлений (человек, город, дружба и т.д.). Регистрирующее понятие – Регистрирующими называют понятия, объем которых составляет конечное множество элементов, в принципе поддающихся учету (депутаты Государственной думы, европейские государства, субъект РФ и т.д.). Нерегистрирующее понятие – Нерегистрирующими называют понятия, объем которых составляет бесконечное множество элементов и не поддается принципиальному учету (студент, юрист, планета и т.п.). Единичное понятие - Единичным называют понятие, в котором отображаются признаки, относящиеся к одному единственному предмету (Иван Грозный, Москва, Солнце и т.д.). Нулевое (пустое) понятие - Нулевым (пустым) называют понятие, объем которого представляет собой класс реально не существующих предметов (Баба Яга, самое большое число, пустое множество и т.д.) Абстрактное понятие - Абстрактными называют понятия, которые служат для обозначения качеств или свойств, состояний или действий вещей. Они обозначают качества, которые мыслятся сами по себе, отвлеченно от самих вещей (равенство, упрямство, твёрдость и т.п.) Конкретное понятие - Конкретными называют понятия, в которых мыслятся реально существующие объекты, обладающие определенными признаками (студент, государство, мебель и т.п.). Положительное понятие - Положительными называют понятия, указывающие на наличие того или другого качества, свойства (студент, право, твёрдость и т.п.). Отрицательное понятие - Отрицательные понятия указывают на отсутствие каких-либо признаков (беззаконие, аморальный, ненависть и т.п.). Безотносительное понятие - Безотносительными называют понятия, в которых объект мыслится сам по себе, вне отношения с другими предметами (право, человек, звезда и т.п.). Соотносительное понятие - Относительные понятия в своем содержании подразумевают наличие некоторого отношения мыслимого предмета к другому предмету (другим предметам) (ученик, родители, близнецы и т.п.). Определение понятия — это логическая операция, в процессе которой раскрывается содержание понятия. Правила определения понятия (соразмерности, круга, ясности) – 1. Должно быть соразмерным (понятие = определению), не широким (превышать объёмом определяемое понятие), не узким (быть по объёму меньше определяемого понятия) Пример верного: Астрономия – это наука о небесных телах. Пример широкого определения: Солнце – небесное тело. Пример узкого: Геометрия – наука о треугольниках. 2. Не должно быть круга Ошибка: Математик – это человек, изучающий математику 3. Должно быть ясным: Не быть двусмысленным (Лев – царь зверей). Не должно быть только отрицательным (Квадрат – не треугольник) Деление понятия Правила деления понятия (соразмерности, единства основания, взаимоисключения объемов, скачка) Сложение (объединение) понятий - Объединением (сложением) понятий называется логическая операция, в результате которой образуется новый класс, который включает в свой объём все элементы объединяемых классов. Умножение (пересечение) понятий - Пересечением (умножением) понятий называется логическая операция, в результате которой образуется новый класс, состоящий из тех и только тех элементов, которые являются общими для умножаемых классов. Вычитание понятий - Вычитанием понятий (из понятия А понятия В) называется логическая операция, в результате которой образуется класс, состоящий из тех и только тех элементов, которые принадлежат классу А и не принадлежат классу В. Дополнение понятий - Дополнением к классу (отрицанием) называется логическая операция, в результате которой образуется класс, состоящий из тех и только тех элементов, которые не принадлежат к исходному классу. Суждение – отношение между объёмами понятий, предметом и его признаком, мредметами Атрибутивное суждение - Атрибутивные – выражают связь между предметом и его признаком. Р(а) а – предметная переменная Р(а) / (а) Р – предикатная переменная (свойство) , – знак отрицания «Сосна (а) – хвойное дерево (Р)» «Вода (а) не горюча (Р)» Экзистенциальное суждение Экзистенциальные – выражают факт существования/ /несуществования предмета в действительности. (а) / (а) а – предметная переменная – квантор существования «Чудеса случаются» «Нет правил без исключений» Релятивное суждение Релятивные – выражают отношение между предметами. (аRв) / R(a,в) а, в – предметные переменные (реляты), связанные отношением R - отношение «Сократ(а) – учитель Платона (в)» «Железо (а) тяжелей алюминия (в)» Субъект суждения (S) – понятие о предмете суждения. Предикат суждения (Р) – понятие о признаке предмета суждения. Распределенность терминов – это количественная характеристика субъекта и предиката в суждении. Логическая сязка – указывает на наличие/отсутствие признака у предмета мысли. Квантор (кванторное слово) – показывает в каком объёме берётся субъект суждения. - квантор общности – «все», «всякий», «каждый», «ни один». - квантор существования – «некоторые» в значении «а может быть, и все». Все () студенты (S) сдали зачёт (Р). Некоторые () студенты (S) не сдали зачёт (Р). Качество суждения (утвердительные/отрицательные суждению) По качеству выделяют утвердительные и отрицательные суждения. Утвердительное выражает принадлежность предмету какого-либо свойства, отрицательное – отсутствие какого-либо свойства, они различаются качеством связки. По количеству суждения подразделяются на: единичные, общие, частные; выделяющие; исключающие.Единичным называется суждение, в котором что-либо утверждается или отрицается об одном предмете. Общим называется суждение, в котором что-либо утверждается или отрицается обо всех предметах некоторого класса. Частным называется суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса. Выделяющие суждения указывают, что признак, выраженный предикатом, принадлежит (или не принадлежит) только данному, и никакому другому, предмету (субъекту). Исключающим называется суждение, в котором выражается принадлежность (или не принадлежность) признака всем предметам, за исключением некоторой их части. Правило дедукции – истинность общего суждения является достаточным основанием для истинности частного, подчиненного Отрицание суждения - Отрицание простого суждения сводится к нахождению суждения, противоречащего данному. Два суждения взаимно отрицают друг друга, если различаются следующими характеристиками: Модальность суждения - – это дополнительная характеристика связей между предметами и их свойствами, выраженная в явном или неявном виде с помощью уточнений, оценок, установок, убеждений и т.д. Алетическая модальность- Алетическая (др.-греч. ἀλήθεια - истина) модальность выражает отношение содержания суждения к его объективной истинности/ложности. Ассерторическое суждение - ассерторические суждения (суждения действительности), или суждения о реальном факте. «Он действительно сдал всю сессию на "отлично"» Проблематическое суждение - проблематические суждения, или суждения о возможности чего-либо. «Возможно, в этом году я поеду к морю» «Невозможно, чтобы он ошибался» Аподиктическое суждение - аподиктические суждения, или суждения о необходимости чего-либо. «Живые организмы не могут существовать без воды» «Всякое чётное число (необходимо) делится на два» Деонтическая модальность - Деонтическая (др.-греч. δέον — долг) модальность выражает отношение содержания суждения к определённого рода предписанию, норме. Аксиологическая модальность (абсолютная/сравнительная) - Аксиологическая (др.-греч. ἀξία — ценность) модальность выражает отношение содержания суждения к определённой ценности. Модальные операторы: абсолютные: «хорошо», «плохо», «неплохо», «безразлично» «Хорошо, что я не опоздал на поезд» «Это плохо, что я не навестил своего друга» «Безразличное отношение к национальной культуре приводит к её утрате» относительные: «лучше», «хуже», «равноценно» «Лучше поздно, чем никогда» «Охота пуще неволи» «Менять шило на мыло» 62. Эпистемологическая модальность Эпистемическая (др.-греч. ἐπιστήμη — достоверное знание) модальность выражает отношение содержания суждения к степени его достоверности (обоснованности). Различают суждения с эпистемической модальностью, основанные на убеждении (вере) и основанные на знании. 63. Суждения, основанные на убеждении Модальные операторы: "доказуемо" ("верифицируемо"), "неразрешимо", "опровержимо" ("фальсифицируемо"), "достоверно", "недостоверно", "вероятно", "правдоподобно", "маловероятно", "равновероятно", "неопределённо" ("не доказано и не опровергнуто"). 64. Суждения, основанные на знании (достоверные, проблематичные) Модальные операторы: "доказуемо" ("верифицируемо"), "неразрешимо", "опровержимо" ("фальсифицируемо"), "достоверно", "недостоверно", "вероятно", "правдоподобно", "маловероятно", "равновероятно", "неопределённо" ("не доказано и не опровергнуто"). Достоверными называют суждения, истинность/ложность которых обоснована достаточными основаниями. Проблематичными называют суждения, истинность/ложность которых недостаточно обоснована. |