Тема I. Логика как наука. Основные законы логики
 Скачать 1.01 Mb.
|
|
Тема I. Логика как наука. Основные законы логики Объект науки логики (логической теории) – естественная логика, т.е. врожденная и развиваемая способность правильно мыслить и говорить. Предмет логики – способы организации и построения мыслей, правильные и ошибочные (нерезультативные) формы рассуждений. Выявляя правила мыслительных операций и описывая типичные логические ошибки, логика формулирует требования и запреты, соблюдение которых обеспечивает правильность или, что то же самое, логичность рассуждений. Логика – философская наука о формах и законах правильного мышления. 1.1. Основные формы мышления Мышление рассматривается в логике со стороны формы и со стороны содержания. Содержание (о чём мысль) логически оценивается как истина (соответствие действительности) либо ложь (несоответствие действительности). Содержание мышления неконтролируемо, разнообразно и изменчиво. Форма (способ организации) мышления логически оценивается как правильная либо неправильная. Основныеформы мысли имеют универсальный общечеловеческий характер и не зависят ни от содержания, ни от языка рассуждения. Понятие: форма мысли, в которой фиксируется предмет (вещь, явление, действие), на который направлена мысль; обозначается в языке словом или словосочетанием. Суждение или высказывание: утвердительная или отрицательная связь двух или нескольких понятий, выражаемая предложением. Умозаключение: форма мысли, позволяющая из одного, двух и более суждений-посылокполучать новое суждение-вывод. Вопрос: мысль, содержащая запрос на недостающую информацию о предмете. 1.2. Основные законы логики Логический закон – это требование к отношению между мыслями, ведущему к истине. Как было сказано выше, истинность и правильность мыслей являются автономными характеристиками, но при истинности исходных суждений и соблюдении логических законов на всём протяжении рассуждения заключение непременно будет истинным. Основными в формальной логике называют наиболее общие, важнейшие принципы правильного мышления: определённость, непротиворечивость, последовательность и обоснованность. 1.2.1. Закон тождества В процессе рассуждения всякая мысль должна оставаться тождественной себе, т.е. иметь определённое, устойчивое содержание. Закон требует не отождествлять различные понятия и мысли, не выдавать тождественное за различное, т.е. запрещает двусмысленности и подмены. Кратко закон тождества формулируется так: всякая мысль тождественна самой себе. 1.2.2. Закон противоречия В процессе рассуждения нельзя одновременно утверждать и отрицать что-либо в одном и том же отношении, иначе оба суждения не могут быть истинными. Или другими словами: два противоречащих друг другу суждения не могут быть одновременно истинными, хотя бы одно из них обязательно ложно. Закон противоречия запрещает совмещать в мысли несовместимые в реальности свойства и отношения. 1.2.3. Закон исключённого третьего Два противоречащих друг другу суждения не могут быть одновременно ложны, одно из них необходимо истинно. Иначе говоря, из двух противоречащих друг другу суждений одно истинно, другое – ложно, а третьего не дано. Закон требует не уклоняться от признания одной из взаимоисключающих альтернатив. 1.2.4. Закон достаточного основания Всякая истинная мысль должна быть достаточно обоснована. Или: всякая мысль должна быть обоснована другими, истинность которых уже доказана. В процессе рассуждения достоверными следует считать лишь те суждения, относительно истинности которых можно привести достаточные основания. Вопросы для повторения 1. Каковы предмет и задачи логики? 2. Что такое форма мысли, каковы основные формы мышления? 3. Что называется истинностью и правильностью мышления? 4. Раскройте понятие логического закона. Чем законы логики отличаются от законов природы и от юридических законов? 5. Раскройте содержание и смысл закона тождества. 6. Дайте формулировки и поясните суть требований закона противоречия и закона исключённого третьего. 7. Какое требование к мышлению выражается в законе достаточного основания? Резюме по теме Формальная логика является теорией абстрактно-понятийного мышления. В логике описываются и анализируются строение и правила связи мыслей в познавательной деятельности. Знание принципов и правил логики, а также типичных ошибок, обычно допускаемых в рассуждениях, позволяет контролировать строгость собственного мышления, адекватно оценивать чужие речи и тексты. В традиционной формальной логике основными формами мысли считаются понятие, суждение и умозаключение. В современной логике вопрос также причисляется большинством логиков к списку форм мысли. Основные законы или общие принципы правильного мышления применимы ко всем формам мысли и любым мыслительным операциям. Тема 2. Понятие как форма мышления. Логические операции с понятиями Понятие – это форма мысли, в которой выражается знание о предметах в их общих и существенных признаках. Предмет – любой объект (вещь, явление, отношение и пр.), на который направлена мысль. Признаки – это свойства и отношения, всё, чем предметы сходны или отличны. При этом свойствами принято считать качества предмета самого по себе, а отношениями – качества, проявляющиеся в связях с другими предметами. Существенные признаки – это наиболее важные/необходимые в данном контексте свойства и отношения, без которых нельзя мыслить данный предмет. 2.1. Логическая структура понятия. Закон обратного отношения между объёмом и содержанием понятия Логическую структуру понятия составляют его объём и содержание. Содержание понятия – это совокупность существенных признаков предметов, обозначаемых данным понятием. Объём понятия – совокупность предметов, на которые распространяется данное понятие. Неопределенные понятия – понятия, содержательные признаки или объем которых на данный момент однозначно не установлены. Неопределенность может проявляться как неясность и как неточность. Неясные понятия – понятия с проблематичным набором содержательных признаков. Неточные понятия – понятия с невыясненными границами объёма. Степень неточности и неясности уменьшается путем конвенций, т.е., договорённости о содержании и объёме в контексте данного разговора, ad hoc. Объём и содержание понятия связаны законом обратного отношения: чем шире объём понятия, тем уже, беднее его содержание, и наоборот. 2.2. Обобщение и ограничение понятий Обобщение понятия – логическая операция перехода от понятия с меньшим объёмом к понятию с большим объёмом, включающему полностью объём исходного понятия. Пределом обобщения являются общенаучные и философские категории. Ограничение понятия - логическая операция перехода от понятия с большим объёмом к понятию с меньшим объёмом путём добавления новых признаков содержания. Пределом ограничения является единичное понятие – понятие о предмете уникальном, единственном в мире. 2.3. Виды понятий. Логическая характеристика понятия Логическая характеристика понятия – это установление отнесенности данного понятия к определенным видам. По объёмным характеристикам понятия делятся на виды: а) единичные и общие понятия. Единичные понятия – их объём составляет единственный предмет. Общие понятия – число элементов их объёма больше единицы. б) пустые и непустые понятия. Пустые понятия или понятия с нулевым объёмом – понятия, обозначающие предметы, не существующие в действительном мире. Непустые понятия – понятия о реально существующих предметах, явлениях, событиях, процессах. в) регистрирующие и нерегистрирующие понятия. Регистрирующие понятия – понятия, число элементов объёма которых можно сосчитать (выразить натуральным числом). Нерегистрирующие понятия – понятия, объём которых в принципе не может быть сосчитан. По содержательным особенностям понятия делятся на виды: а) конкретные и абстрактные понятия. Конкретные понятия – предметные понятия, в которых мыслятся обладающие определенными свойствами предметы, явления или их классы. Абстрактные понятия – понятия об отвлечённых от предметов свойствах и отношениях. б) абсолютные и относительные понятия. Абсолютные (безотносительные) – понятия, в которых предметы мыслятся вне зависимости от других. (Со)относительные понятия – понятия, в которых предметы мыслятся в связи или в соотнесенности с другими предметами, не входящими в объём данного понятия. в) положительные и отрицательные понятия. Положительные понятия – понятия, в содержании которых мыслится наличие определённых признаков. Отрицательные понятия – понятия, в содержании которых мыслится отсутствие определенных признаков. В разных контекстах предметные понятия могут употребляться в собирательном либо в разделительном смыслах, в зависимости от того, может ли контекст понятия быть отнесен к каждому элементу его объёма или только ко всему объёму в целом. Само же понятие называется собирательным, когда в нем мыслитсясовокупность однородных предметов как целое (ср.: «собирательные существительные» в лексико-грамматической теории). 2.4. Отношения между понятиями Каждое понятие в отношении другого понятия является сравнимым либо несравнимым. Несравнимые понятия – понятия, в содержании которых нет ближайших общих признаков. Cравнимые понятия имеют общие признаки в содержании. Отношения сравнимых понятий по объёму делятся на два класса: совместимость понятий – отношение понятий, чьи объёмы полностью или частично совпадают, и несовместимость понятий – отношение понятий, чьи объёмы не имеют общих элементов. Каждый из этих классов делится еще на три вида отношений, иллюстрируемых круговыми схемами. 2.4.1. Совместимые понятия Равнозначные (тождественные) понятия – их объем состоит из одних и тех же элементов. Перекрещивающиеся (пересекающиеся) понятия имеют как общие, так и различные элементы объёма, т. е. находятся в отношении частичного совпадения. А = В В А Подчинённые понятия (отношение рода и вида) – объём одного понятия полностью входит в объем другого, не исчерпывая его. Чтобыправильно определить вид совместимости, надо ответить на вопросы: 1) все ли (А) являются (В)? 2) все ли (В) являются (А)? Если ответы "да, да" - это тождество, "да, нет" - подчинение, если "нет, нет" - перекрещивание. 2.4.2. Несовместимые понятия Соподчинённые понятия – не имеют между собой общих элементов объема, но являются видовыми по отношению к общему родовому понятию. Противоположные понятия – выражающие крайние виды общего родового понятия, не исчерпывая его. Противоречащие понятия – взаимоисключающие, исчерпывающие виды одного рода. A A A В В А В В C D Для различения противоположности и противоречия надо попытаться отыскать среднее понятие между данными; если есть среднее понятие – это противоположность, если среднего нет – противоречие. 2.5. Определение понятий Определение – логическая операция, раскрывающая содержание понятия путём перечисления его существенных признаков. Явное определение в языке имеет форму предложения и состоит из двух частей: определяемой и определяющей. Неявное определение задается через контекст; это т. наз. контекстуальное определение – для его усвоения необходимо осмыслить более широкий фрагмент или целый текст, иногда несколько текстов. Явные определения делятся на номинальные и реальные. Номинальное определение объясняет/переводит значение термина, слова. Реальное определение раскрывает существенные признаки определяемого предмета. 2.5.1. Способы определения Основное (родовидовое, классическое) определение – определение через указание на ближайший род и видовые отличия. Дополнительные способы определения. а) Генетическое определение – определение, в котором указывается на ближайший род и способ возникновения определяемого. б) Операциональное определение – определение, в котором задаётся алгоритм распознавания определяемого предмета. в)Аксиоматические и конвенциональные определения – определения на основе утверждений или соглашений в рамках компетентного сообщества. г) Остенсивное определение – прямое указание на определяемый предмет. Приёмы, близкие к определению (используются тогда, когда строгое определение дать трудно, или невозможно, или непонятно для адресата): описание – перечисление внешних признаков; характеристика – перечисление некоторых существенных внутренних признаков; приведение примеров – перечисление некоторых элементов объёма; сравнение – указание на некоторое сходство с более понятными предметами. 2.5.2. Правила и ошибки определения Правило 1. Соразмерность: объёмы определяемого и определяющего понятий должны совпадать. Ошибки: а) Слишком широкое определение. б) Слишком узкое определение. Правило 2. Отсутствие круга или тавтологии. Ошибки: а) "Круг в определении": определение понятия А через понятие В, а понятия В через понятие А. б) Тавтология: в определяющей и определяемой частях встречаются одно и то же понятие, однокоренные слова. Правило 3. Определение положительного понятия не должно быть отрицательным. Правило 4. Ясность, точность, краткость определения, отсутствие метафор (правило минимальности). Основные ошибки: а) Метафоричность: неясное определение. б) Определение неизвестного через другое неизвестное. 2.6. Деление понятий Деление – логическая операция распределения объёма данного понятия на видовые подклассы. Делимое понятие – понятие, которое подлежит делению. Основание деления – признак, в соответствии с которым выделяются члены деления. Члены деления – видовые по отношению к делимому понятия, результат деления. Логическое деление понятий на виды нельзя путать с мереологическим делением – делением целого на части. 2.6.1. Виды деления 1. Дихотомия или двучленное деление. Основанием дихотомического деления является признак, который наличествует у одного члена деления и отсутствует у второго. Члены деления противоречат друг другу и вместе исчерпывают объём делимого понятия. 2. Деление по видоизменению признака. Признак, выбранный в качестве основания деления, присущ выделяемым видам (членам деления) в разной степени. 3. Соразделение или сложное деление – последовательное деление понятия по различным основаниям. В результате получается классификация. 2.6.2. Правила и ошибки деления Правило 1. Соразмерность. Сумма объёмов видов должна быть равна объёму делимого родового понятия. Ошибки: а) Неполное деление: упущены члены деления. б) Лишние члены деления или обширное деление. Правило 2. Одно основание. Делить каждый раз необходимо по одному признаку. Ошибка: не одно основание. Правило 3. Члены деления должны исключать друг друга, т.е. каждый элемент делимого понятия должен входить только в один член деления. Ошибка: пересечение, подчинение членов деления. Правило 4. Непрерывность деления. При многоступенчатом последовательном делении нужно переходить к ближайшим видам, между которыми нельзя найти объём другого понятия. Ошибка: скачок в делении. Вопросы для повторения 1. Что такое понятие? 2. Что называют в логике предметом, признаками, существенными признаками предметов? 3. Что такое содержание и объём понятия? 4. Сформулируйте закон, лежащий в основе ограничения и обобщения понятий. В чём суть этих операций? 5. Назовите виды понятий по объёму и по содержанию, приведите примеры. 6. Перечислите типы совместимости и несовместимости понятий, приведите примеры. 7. В чём суть определения, каковы его виды, правила и типичные ошибки? 8. В чём смысл деления понятия, каковы его виды, правила и ошибки? Резюме по теме Понятие является элементарной, базовой формой мышления, поэтому от логического качества понятий во многом зависит и качество всех более сложных мыслительных образований – суждений, вопросов, рассуждений. Логические операции с понятиями – их обобщение, определение, классификация, выяснение соотношений их объемов – базовые познавательные процедуры учебного и исследовательского процесса, требующие самого строгого логического (само)контроля. Тема 3. Суждение как форма мышления. Виды суждений Суждение – это идеальная, смысловая сторона предложения; одно и то же суждение можно выразить в различных предложениях. Суждение выражается только в повествовательном предложении, содержащем сообщение о чём-либо. Вопросительные и побудительные предложения, выражая волеизъявления и побуждения к получению информации, сами ничего не сообщают, не могут характеризоваться как истинные или ложные, а значит, не выражают суждений. Высказывания о будущих вероятных событиях также невозможно оценить как истинные или ложные. Истинность суждения означает, что описанная в суждении ситуация («положение дел») имеет место в действительности. Ложность суждения означает, что в действительности имеет место ситуация, противоречащая описанной. Высказывания, состоящие из неясных и неточных понятий, описывающие неверифицируемые положения дел, получают логическую оценку неопределенно-истинных. Как и предложения, суждения бывают простые и сложные, причём сложные образуются из простых при помощи логических союзов. Суждение – это форма мысли, в которой утверждается или отрицается существование предметов, связь между предметами и их признаками и отношение между предметами. 3.1. Простые суждения. Структура простых суждений Любое простое суждение состоит из субъекта, предиката и связки: S – P Субъект суждения (S) – это предмет суждения или то, о чём мыслится в суждении. Предикат суждения (P) – это то, что мыслится (утверждается или отрицается) о субъекте суждения. Связка (–) выражает отношение между субъектом и предикатом, бывает утвердительная либо отрицательная. В современном русском языке специальный глагол-связка отсутствует, поэтому логическая связка подразумевается или выражается косвенно, грамматическим строем предложения. Когда связка эксплицируется, она выражается словами "есть", "суть", "является" (утвердительная связка); либо "не есть", "не суть", "не является" (отрицательная связка). Любое суждение можно привести к явной (чистой) логической форме. 3.1.1. Виды простых суждений Атрибутивные суждения или суждения свойства. В суждениях этого вида с предметом связывается наличие или отсутствие какого-либо свойства. Экзистенциальные суждения или суждения существования. Существование – это особый признак, свойство предмета быть, находиться в реальности. Релятивные суждения или суждения с отношениями. В них предикатом являются отношения, устанавливаемые между предметами. Особенность релятивных суждений в том, что они состоят из двух субъектов и отношения между ними. Поэтому для приведения к традиционной стандартной форме необходимо выбрать одно понятие-субъект, а второй субъект и отношение к нему сделать содержанием предиката. 3.1.2. Категорические суждения и их виды Основными логическими характеристиками простых суждений являются количество и качество. Качество суждения зависит от связки между субъектом и предикатом и может быть либо утвердительным, либо отрицательным. Количество суждения – характеристика, показывающая, в каком объёме входит в суждение его субъект. По количеству суждения делятся на единичные, частные и общие. Слова "этот", "некоторые", "все" – кванторы или кванторные слова, определяющие количественную сторону суждений. Единичные суждения в логическом анализе приравниваются к общим, т.к. и те и другие связывают предикат со всем объёмом субъекта. Суждения, в которых точно выяснены их количество и качество, не содержащие никаких дополнительных (модальных) характеристик, называются простыми категорическими суждениями. В логике используется объединённая классификация из четырёх видов категорических суждений: Общеутвердительные (А): Все S есть Р Общеотрицательные (Е): Ни одно S не есть Р Частноутвердительные (I): Некоторые S есть Р Частноотрицательные (О): Некоторые S не есть Р 3.1.3. Распределённость терминов в категорических суждениях Терминами категорического суждения называются субъект и предикат этого суждения. Термин распределён, если он рассматривается в данном суждении во всём объёме, т.е., если он полностью включается в объём другого понятия или полностью исключается из него. В противном случае термин не распределён. В суждениях (А) субъект распределён, а предикат, как правило, не распределён. В случае, когда термины суждения являются тождественными понятиями, они оба распределены. В суждении (I) квантор "некоторые" показывает, что субъект данного вида суждения всегда не распределён, т.к. только часть его объёма относится к предикату. Предикат, как правило, также не распределён, кроме случаев, когда объём предиката полностью входит в объём субъекта и, таким образом, предикат оказывается распределён. Этот вид суждений, где объём предиката меньше объёма субъекта, называют частными выделяющими суждениями (в отличие от общих выделяющих, где Р > S ). Суждение (Е) состоит из терминов, которые благодаря квантору "ни одно" и отрицательной связке, не имеют общих элементов объёмов. Другими словами, объём субъекта полностью исключается из объёма предиката, и наоборот – это означает, что оба термина распределены. Суждение (О) имеет кванторное слово "некоторые", т.е. объём субъекта мыслится только частично. Предикат в этом суждении, напротив, распределён, поскольку все элементы его объёма исключены из мыслимой части объёма субъекта. Из всех рассмотренных случаев можно вывести следующее обобщающее правило: субъект всегда распределён в общих суждениях и не распределён в частных; предикат всегда распределён в отрицательных суждениях, а в утвердительных он распределён тогда, когда объём предиката меньше или совпадает с объёмом субъекта (Р S). Для того чтобы установить или проверить распределённость субъекта и предиката, можно изобразить их отношение кругами Эйлера и выделить (заштриховать) те части объёмов терминов, которые соединяются утвердительными или исключаются отрицательными высказываниями. 3.2. Отношения между простыми категорическими суждениями по истинности. Логический квадрат Отношения суждений по истинности позволяют определять противоположные суждения, суждения, несовместимые с ранее высказанными и, наоборот, необходимо следующие из уже доказанных. Если в одном суждении встречается хотя бы один термин, не входящий в другое суждение, то такие два суждения несравнимы. Суждения сравнимы, если их термины совпадают. Сравнимые суждения совместимы, если они могут быть одновременно истинны, и несовместимы, если не могут быть вместе истинными. В свою очередь, отношения совместимости делятся на отношения подчинения (субординации) и субконтрарности, а отношения несовместимости – на отношения противоположности (контрарности) и противоречия (контрадикторности). Наглядно и системно эти отношения представлены в логическом квадрате. Подчинение (субординация). Частные суждения подчиняются общим. Это значит: а) Истинность подчиняющего общего суждения влечёт истинность подчинённого частного, но не наоборот. б) Ложность подчинённого суждения влечёт ложность подчиняющего, но не наоборот. Субконтрарность. Отношение двух частных суждений (I) и (О) состоит в том, что они могут быть оба истинны, но не могут быть оба ложны. Субконтрарность означает: а) Если одно из субконтрарных суждений ложно, то другое необходимо истинно. б) Из истинности одного из субконтрарных суждений следует неопределённость истинности другого. А Е I O Контрарность Субконтрарность П о д ч и н е н и е Противоречие Конт ра дикторность Контради кторн ос ть Противоречие П о д ч и н е н и е Противоположность (контрарность). Отношение общих суждений (А) и (Е) состоит в том, что они не могут быть одновременно истинными, но бывают оба ложны. а) Из истинности одного суждения следует ложность другого. б) Из ложности одного суждения следует неопределённость относительно истинности другого. Противоречие (контрадикторность). Отношение пар суждений (А) – (О) и (Е) – (I) подчиняется закону исключённого третьего, т.е. истинность одного из них влечёт необходимо ложность другого, и наоборот, ложность одного – истинность другого. 3.3. Сложные суждения Сложные суждения – это суждения, состоящие из двух и более простых суждений, соединённых логическими постоянными (союзами). Логические константы (союзы) определяют виды сложных суждений и обозначаются специальными символами: - конъюнкция "и" ( ) образует соединительное суждение (а b); - дизъюнкция "или" (v) образует разделительное суждение (а v b); - строгая дизъюнкция "либо" ( ) образует исключающе- разделительное суждение (а b); - импликация "если..., то" ( ) образует условное суждение (а b); - эквиваленция "тогда и только тогда, когда" ( ) образует равнозначное суждение (а b); - отрицание "неверно, что" образует отрицательное сложное суждение ( ā ) или ( ¬a). Логические союзы могут соединять любое количество суждений; истинность сложного суждения при этом будет зависеть только от вида констант и истинности простых составляющих его суждений и не будет зависеть от содержания (смысла), количества и качества этих суждений. Истинность и ложность сложных суждений устанавливается при помощи так называемых "таблиц истинности", в которых последовательно фиксируется истинность сложного итогового высказывания по мере присоединения элементарных составляющих. В современных условиях вычисление истинности сложных высказываний производится машинным способом. Соединительное суждение а b (конъюнкция) а b a b и и и л и л и л л л л л Правило: конъюнкция истинна тогда и только тогда, когда истинны все входящие в неё простые суждения (конъюнкты). Разделительное (не исключающее) суждение а v b (дизъюнкция) a b a b и и и и л и л и и л л л Правило нестрогой дизъюнкции: суждения этого вида бывают ложными только в случае ложности всех составляющих простых суждений (дизъюнктов). Исключающе-разделительное суждение а v b (строгая дизъюнкция). Смысл союза "либо" – утверждение несовместимости, противоречия составляющих суждений. Правило: строгая дизъюнкция ложна, когда совпадают значения истинности входящих в неё простых суждений, и истинна, когда они различны. а b a b и и л и л и л и и л л л Условное суждение а b (импликация). Суждение а называется в импликации основанием (антецедентом), суждение b – следствием (консеквентом). а b a b и и и и л л л и и л л и Правило: импликативное суждение бывает ложным тогда и только тогда, когда из истинного основания вытекает ложное следствие. Эквивалентное суждение а b (эквиваленция) a b a b и и и и л л л и л л л и Правило: эквивалентные суждения истинны тогда и только тогда, когда значения истинности простых суждений совпадают. Отрицательные суждения состоят из суждения и союза, его отрицающего. Поэтому таблица очень проста: а ¬а и л л и Истинность суждений отрицания устанавливается на основании закона исключённого третьего. 3.4. Модальные суждения Модальность (от лат. "modus" – мера, наклонение) – это характеристика особой связи между понятиями простого суждения или суждениями сложного высказывания. Эта связь может быть: сильной положительной, слабой или сильной отрицательной. Слова, выражающие модальность, называются в логике модальными понятиями, или модальными операторами, или модальными функторами. В современной логике общей теории модальных систем пока нет. В рамках символической (математической) логики разработано множество аксиоматических систем, использующих методы исчисления высказываний, связанных с многозначной и вероятностной логиками. По сферам применения все модальные понятия распадаются на группы, число которых, в принципе, не ограничено, но логика занимается лишь важнейшими из них. ТИП МОДАЛЬНОСТИ О П Е Р А Т О Р Ы Алетическая 1.Логическая логически необходимо логически возможно логически невозможно 2.Физическая физически необходимо физически возможно физически невозможно Деонтическая обязательно разрешено запрещено Эпистемическая доказано проблематично опровергнуто Аксиологическая 1.Абсолютная хорошо безразлично плохо 2.Относительная лучше безразлично хуже Вопросы для повторения 1. Что называется суждением, как оно выражается в речи? 2. Что такое простое суждение, какова его структура? 3. Какие виды простых суждений существуют? 4. Что называется количеством и качеством категорических суждений? 5. Как классифицируются простые категорические суждения? 6. Что называется распределённостью терминов в суждении? Каковы правила распределённости терминов? 7. Какие отношения по истинности существуют между простыми суждениями? 8. Что такое сложное суждение? 9. Каковы правила истинности сложных суждений? Что такое таблицы истинности? 10. Что называется модальностью суждений? Каковы её основные виды? 11. Перечислите модальные операторы, раскройте их содержание. Резюме по теме Суждение – это основная форма мысли с точки зрения цели и результата мышления – нахождения и выражения истины. Именно суждение выявляет смысл понятия (правильное определение имеет вид суждения), из суждений строится вывод, суждение составляет предпосылку вопроса и является формой ответа на вопрос. Поэтому знание и умение правильно использовать все многообразие суждений – необходимая и важнейшая часть логической культуры мышления. Понимание содержания высказывания предполагает не только узнавание лексических значений всех слов и понятий как элементов, из которых оно состоит, но и адекватное различение структуры (простой или сложной), модальности целого выражения и отдельных его составляющих. Этому учит логика суждений. |