Курс лекций дисциплины «логика»
Скачать 1.04 Mb.
|
Соподчинение (координация) - это отношение между объемами двух или нескольких понятий, исключающих друг друга, но принадлежащих некоторому, более общему родовому понятию. Они изображаются отдельными неперекрещивающимися кругами внутри более обширного круга. Это виды одного и того же рода. В отношении противоположности (контрарности) находятся объемы таких двух понятий, которые являются видами одного и того же рода, и при том одно из них содержит какие-то признаки, а другое эти признаки не только отрицает, но и заменяет их другими, исключающими. Слова, выражающие противоположные понятия, являются антонимами. В отношении противоречия (контрадикторности) находятся такие два понятия, которые являются видами одного и того же рода, и при этом одно понятие указывает на некоторые признаки, а другое эти признаки отрицает, исключает, не заменяя их никакими другими признаками. Круг Эйлера, выражающий объем таких понятий, делится на две части (А и не-А), и между ними не существует третьего понятия Слова, выражающие понятия А и не-А также являются антонимами. Определение понятий. Определение (или дефиниция) понятия есть логическая операция, которая раскрывает содержание понятия либо устанавливает значение терминов. Реальные и номинальные определения. Если определяется понятие, то определение будет реальным. Если определяется термин, обозначающий понятие, то определение будет номинальным. С помощью номинальных определений вводятся также новые термины, краткие имена взамен более сложных описаний предметов. Для номинальных определений характерно присутствие в их составе слова «называют(ся)». Определения делятся на явные и неявные. Явные определения – это такие, в которых даны Dfd(определяющее) и Dfn (определяемое) и между ними устанавливается некоторое отношение равенства, эквивалентности. Самое распространенное явное определение – определение через ближайший род и видовое отличие. Признак, указывающий на тот круг предметов, из числа которых нужно выделить определяемое множество предметов, называется родовым признаком, или родом. Признаки, при помощи которых выделяются определяемое множество предметов из числа предметов, соответствующих родовому понятию, называются видовым отличием. При определении понятия видовых признаков (отличий) может быть один или несколько. К явным определениям понятий относятся и генетические определения. Генетическим называется определение предмета путем указания на способ, которым образуется только данный предмет и никакой другой (это его видовое отличие). Правила явного определения. Ошибки, возможные в определении. 1. Определение должным быть соразмерным, т.е. объем определяющего понятия должен быть равен объему определяемого понятия. Это правило часто нарушается, в результате чего возникают логические ошибки в определении. Типы этих логических ошибок: А) широкое определение; Б) узкое определение; В) определение в одном отношении широкое, а в другом узкое. 2. Определение не должно содержать круга. Круг возникает тогда, когда Dfd(определяющее)определяется через Dfn (определяемое), а Dfn был определен через Dfd. Круг возникает и тогда, когда определяемое понятие характеризуется через него же, лишь выраженное иными словами. Таки определения носят название тавтологий. 3. Определение должно быть четким, ясным. Это правило означает, что смысл и объем понятий, входящих в Dfn (определяемое, должен быть ясным и определенным. Определение понятий должны быть свободными от двусмысленности; не допускается подмена их метафорами, сравнениями и т.д. Неявные определения. В отличии от явных определений, имеющих структуру Dfd(определяющее) =Dfn (определяемое), в неявных определениях просто на место Dfn подставляется контекст, или набор аксиом, или описание способа построения определяемого объекта. Приемы, сходные с определением понятий. Всем понятием определение дать невозможно (к тому же в этом нет необходимости), поэтому в науке и в процессе обучения используются другие способы введения понятий – приемы, сходные с определением: описание, характеристика, разъяснение посредством примера и др. Описание состоит в перечислении внешних черт предмета с целью нестрогого отличения его от сходных с ним предметов. Описание включает как существенные, так и несущественные признаки. Характеристика дает перечисление лишь некоторых внутренних, существенных свойств человека, явления, предмета, а не его внешнего вида, как это делается с помощью описания. Разъяснение посредством примера используется тогда, когда легче привести пример или примеры, иллюстрирующие данное понятие, чем дать его строгое определение через род и видовое отличие. Другим приемом, заменяющим определение понятий, является сравнение. К сравнению прибегают как на уровне научного познания, так и на уровне художественного отображения действительности. В науке сравнение позволяет выяснить сходства и различия сопоставляемых предметов. Сравнение на уровне художественного отображения действительности позволяет подметить общее, сходное в двух предметах, и в яркой форме, образно выразить это сходство. Деление понятий. Классификация. Деление – логическая операция, посредством которой объем делимого понятия (множество) распределяется на ряд подмножеств с помощью избранного основания деления. Если с помощью определения понятия раскрывается его содержание, то с помощью деления понятия раскрывается его объем. Признак, по которому производится деление объема понятия, называется основанием деления. Подмножества, на которые разделен объем понятия, называются членами деления. Делимое понятие – это родовое, а его члены деления – это виды данного рода, соподчиненные между собой, т.е. не пересекающиеся по своему объему. Правила деления понятий. Чтобы деление было правильным, необходимо соблюдать следующие правила. 1. Соразмерность деления: объем делимого понятия должен быть равен сумме объемов членов деления. Нарушение этого правила ведет к ошибкам двух видов: А) неполное деление, когда перечисляются не все виды данного родового понятия. В) деление с лишними членами. 2. Деление должно проводиться только по одному основанию. Если будет нарушено это правило, тото произойдет перекрещивание объемов понятий, которые появились в результате деления. 3. Члены деления должны исключать друг друга, т.е. не иметь общих элементов, быть соподчиненными понятиями, объемы которых не пересекаются. 4. Деление должно быть непрерывным, т.е. нельзя делать скачки в делении. Виды деления: по видообразующему признаку и дихотомическое деление. При делении понятия по видообразующему признаку основанием деления является тот признак, по которому образуются видовые понятия; этот признак является видообразующим. При дихотомическом (двучленном) делении объем делимого понятия делится на два противоречащих понятия: А и не-А. Операция деления понятия применяется тогда, когда надо установить, из каких видов состоит родовое понятие. От деления следует отличать мысленное расчленение целого на части. Классификация. Классификация является разновидностью деления понятия, представляет собой вид последовательного деления и образует развернутую систему, в которой каждый ее член (вид) делится на подвиды и т.д. От обычного деления классификация отличается относительно устойчивым характером. Очень важен выбор основания классификации. Разные основания дают различные классификации одного и того же понятия, например понятия «норма». Ограничение и обобщение понятий. Ограничение – это логическая операция перехода от родового понятия к видовому путем добавления к содержанию данного родового понятия видообразующих признаков. Пределом ограничения является единичное понятие. Обратная ограничению операция обобщения понятия состоит в переходе от видового понятия к его родовому понятию, т.е. от понятия с меньшим объемом к понятию с большим объемом. Эта операция совершается путем отбрасывания видообразующего признака (признаков). Пределом обобщения являются категории. СУЖДЕНИЕ. Общая характеристика суждений. Суждение – форма мышления, в которой что-либо утверждается или отрицается о существовании предметов, связях между предметом и его свойствами или об отношениях между предметами. Если в суждении утверждается (или отрицается) наличие у предмета какого-то признака, и это соответствует действительности, то суждение истинно. В противном случае суждение ложно. В простом атрибутивном суждении имеются субъект, предикат, связка и кванторное слово. Субъект атрибутивного суждения – это понятие о предмете суждения. Предикатом атрибутивного суждения называется понятие о признаке предмета, рассматриваемом в суждении. Субъект обозначается буквой S ( от лат. Subjectum), а предикат – буквой Р (от лат. Praedicatum). Связка может быть выражена одним словом (есть, суть, является) или группой слов, или тире, или простым согласованием слов («Собака лает», «Идет дождь»). Перед субъектом суждения иногда стоит кванторное слово: «все», или «ни один», или «некоторые» и др. Квнторное слово указывает, относится ли суждение ко всему объему понятия, выражающего субъект, или к его части. Суждение и предложение. Понятия в языке выражаются одним словом или группой слов. Суждения выражаются повествовательными предложениями, которые содержат какое-то сообщение, информацию. Вопросительные предложения не содержат в своем составе суждения, так как в них ничего не утверждается и не отрицается и они не истинны и не ложны. Простое суждение. Суждения бывают простые и сложные: последние состоят из нескольких простых. Виды простых суждений.
Категорические суждения и их виды (деление по количеству и качеству) В традиционной логике все три указанных вида представляют простые категорические суждения. По качеству связки («есть» или «не есть») категорические суждения делятся на утвердительные и отрицательные. В зависимости от того, обо всем классе предметов, о части этого класса или об одном предмете идет речь в субъекте, суждения делятся на общие, частные и единичные. Структура общего суждения: «Все S есть (не есть) P». Среди общих суждений встречаются выделяющие суждения, в состав которых входит кванторное слово «только». Среди общих суждений имеются исключающие суждения, например: «Все студенты нашей группы, за исключением больных, пришли на семинар». Частные суждения имеют структуру: «Некоторые S есть (не есть) P». Они делятся на неопределенные и определенные. Например, «Некоторые грибы – съедобны» - неопределенное частное суждение. Мы не установили, обладают ли признаком съедобности все грибы, но не установили и того, что признаком съедобности не обладают некоторые грибы. Если мы установили, что «Только некоторые S обладают признаком Р», то это будет определенное частное суждение. Единичные суждения имеют структуру: «Это S есть (не есть) P». Объединенная классификация простых категорических суждений по количеству и качеству. В каждом суждении имеется количественная и качественная характеристика. Поэтому в логике применяется объединенная классификация суждений по количеству и качеству, на основе которой выделяются следующие 4 типа суждений. А - общеутвердительное суждение. Структура его: «Все S есть P». I – частноутвердительное суждение. Структура его: «Некоторые S есть P». Условные обозначения для утвердительных суждений взяты от слова affirmo – утверждаю (при этом берутся две первые гласные буквы: А – для обозначения общеутвердительного и I – для обозначения частноутвердительного суждения). Е – общеотрицательное суждение. Структура его: «Ни одно S не есть P». О - частноотрицательное суждение. Структура его: «Некоторые S не есть P». Условные обозначения для отрицательных суждение взыты от слова nego - отрицаю. Распределенность терминов категорических суждениях. Термин считается распределенным, если его объем полностью включается в объем другого термина или полностью исключается из него. Термин будет нераспределенным, если его объем частично включается в объем другого термина или частично исключается из него. Проанализируем четыре вида суждений: А, I, Е, О. Суждение А общеутвердительное. Структура его: «Все S есть P». Если объем Р больше (шире) объема S, то Р не распределен. Если S равен по объему Р, то Р распределен. Это бывает в определениях и в выделяющих общих суждениях. Суждение I частноутвердительное. Структура его: «Некоторые S есть P». Если понятия S и P перекрещиваются, то Р не распределен. Р распределен, если объем Р меньше объема S, что бывает в частных выделяющих суждениях. Суждение Е общеотрицательное. Структура его: «Ни одно S не есть P». Здесь объем субъекта полностью исключается из объема предиката, и наоборот. Поэтому и S, и Р распределены. Суждение О частноотрицательное. Структура его: «Некоторые S не есть P». Субъект не распределен, а предикат распределен. Итак, S распределен в общих суждениях и не распределен в частных; Р всегда распределен в отрицательных суждениях, в утвердительных же он распределен тогда, когда по объему Р ≤ S. ЛОГИЧЕСКИЕ ОПЕРАЦИИ С ПРОСТЫМИ СУЖДЕНИЯМИ Обращение как преобразование простого суждения Логическая операция преобразования простого суждения предполагает изменение его формы, или структуры, но не содержания В результате преобразования простого суждения его содержание должно оставаться неизменным. Распределенность терминов в исходном суждении и в новом суждении должна оставаться одной и той же. Существует три способа преобразования простых суждений: обращение, превращение и противопоставление предикату. Обращение (также часто называемое конверсией) – это преобразование простого суждения, при котором его субъект и предикат меняются местами. Например, суждение: Все акулы являются рыбами преобразуются путем обращения в суждение: Некоторые рыбы являются акулами. Здесь может возникнуть вопрос, почему исходное суждение начинается с квантора все, а новое – с квантора некоторые? Этот вопрос на первый взгляд кажется странным, ведь нельзя сказать: Все рыбы являются акулами, следовательно, единственное, что остается, это: Некоторые рыбы являются акулами. Однако в данном случае мы обратились к содержанию суждения и по смыслу поменяли квантор все на квантор некоторые; а логика, как уже говорилось, отвлекается от содержания мышления и занимается только его формой, будучи формальной логикой. Поэтому обращение суждения: Все акулы являются рыбами можно выполнить формально, не обращаясь к его содержанию (смыслу). Для этого установим распределенность терминов в данном суждении с помощью круговой схемы. Термины суждения, т.е. субъект (акулы) и предикат (рыбы) находятся в отношении подчинения. На схеме видно, что субъект распределен (полный круг), а предикат нераспределен (неполный круг). Вспомнив, что термин распределен, когда речь идет обо всех предметах, входящих в него, и нераспределен, когда – не обо всех предметах, мы автоматически мысленно ставим перед термином акулы квантор все, а перед термином рыбы квантор некоторые. Делая обращение указанного суждения, т.е. меняя местами его субъект и предикат и начиная новое суждение с термина рыбы, мы опять же автоматически снабжаем его квантором некоторые, не задумываясь о содержании исходного и нового суждений, и получаем безошибочный вариант: Некоторые рыбы являются акулами.  Обратим внимание на то, что в рассмотренном выше примере исходное суждение было вида А, а новое – вида I, т.е. операция обращения привела к смене вида простого суждения. При этом, конечно же, поменялась его форма, но не поменялось содержание, ведь в суждениях: Все акулы являются рыбами и Некоторые рыбы являются акулами речь идет об одном и том же. Рассмотрим все случаи обращения в зависимости от вида простого суждения и характера отношений между его субъектом и предикатом. 1. Суждение вида А, в котором субъект и предикат находятся в отношении равнозначности: обращается в суждение вида А: Все квадраты (S) это равносторонние прямоугольники (P) Все равносторонние прямоугольники это квадраты. 2. Суждение вида А, в котором субъект и предикат находятся в отношении подчинения, обращается в суждение вида I: Все сосны (S) являются деревьями (Р) Некоторые деревья являются соснами. 3. Суждение вида I, в котором субъект и предикат находятся в отношении пересечения, обращается в суждение вида I: Некоторые школьники (S) это спортсмены (Р) Некоторые спортсмены – это школьники. 4. Суждение вида I, в котором субъект и предикат находятся в отношении подчинения, обращается в суждение вида А: Некоторые книги (S) являются учебниками (Р) Все учебники являются книгами.  5. Суждение вида Е, в котором субъект и предикат находятся только в отношении несовместимости, всегда обращается в суждение вида Е: Все планеты (S) не являются звездами (Р) Все звезды не являются планетами. 6. Если попытаться подвергнуть обращению суждение вида О, то вместе с изменением его формы изменится и его содержание, которое, как мы помним, меняться не должно; т.е. суждения вида О не поддаются обращению: Некоторые школьники (S) не являются спортсменами (Р) Все спортсмены не являются школьниками. В данном случае новое суждение имеет квантор «все», потому что предикат исходного суждения представляет собой распределенный термин. Приведем еще один пример, иллюстрирующий невозможность преобразования суждений вида О путем обращения: Некоторые книги (S) не являются учебниками (Р) Все учебники не являются книгами. |
Похожие:
 | Учебно-методический комплекс дисциплины логика федеральное агентство... Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась в рамках теории познания, и в настоящее... |  | Рабочая программа учебной дисциплины логика и теория аргументации... Рабочая программа составлена в соответствии с государственными образовательными стандартами, направления "Логика " специальности... |
| Логика Целью освоения дисциплины является достижение следующих результатов образования: Знания: Курс «Логика» призван дать студентам системные... | | Логика Целью освоения дисциплины является достижение следующих результатов образования: Знания: Курс «Логика» призван дать студентам системные... |
| Рабочая программа дисциплины логика степень выпускника бакалавр Форма... ... | | Курс лекций по дисциплине «Уголовно-исполнительное право» для специальности 030503 Правоведение Данный курс лекций рассчитан на 50 часов для базового уровня профессионального образования и един для всех форм обучения |
| Дисциплина "Логистика" входит в состав цикла специальных дисциплин.... Курс лекций ориентирован на современные экономические условия и складывающиеся рыночные отношения в Российской Федерации | | Урок 1 Тема урока : Логика как наука. Основные понятия математической логики Учебный курс (рабочая программа) «Логика научного исследования» для аспирантов очной и заочной форм обучения специальностей 09. 00.... |
| Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов Курс математическая логика и теория алгоритмов обеспечивает приобретение знаний в соответствии с государственным образовательным... | | Курс лекций по «экологии» нгпи. 40 часов лекций + зачет и экзамен Агаджанян Н. А., Никитюк Б. А., Полунин Н. Н. Экология человека и интегративная антропология. — М. — Астрахань, 1996. — 224 с |
| Курс лекций по истории и философии науки утверждено Редакционно-издательским... Глотова В. В. Краткий курс лекций по истории и философии науки: учеб пособие / В. В. Глотова. Воронеж: фгбоу впо «Воронежский государственный... | | Логика и теория аргументации Рабочая программа определяет содержание и структуру учебной дисциплины "Логика" и предназначена для обучения студентов образовательных... |
| 1. Мировоззрение, его структура. Исторические типы м- мифология, религия, философия Рабочая программа составлена в соответствии с государственными образовательными стандартами, направления "Логика " специальности... | | Умк дисциплины Логика для специальности 080102. 65 “Мировая экономика Требования к обязательному минимуму содержания и уровню подготовки выпускника вуза, предъявляемые Государственным образовательным... |
| Программа и курс лекций по дисциплине «История мировой литературы и искусства» Программа и курс лекций по дисциплине «История мировой литературы и искусства» для студентов факультета связи с общественностью заочного... | | Титова Н. Е. История экономических учений: Курс лекций. М.: Гуманит изд Целью курса лекций является освоение студентами исторического наследия и идейного богатства учёных различных эпох в области экономической... |
