- •I. Методические указания к организации самоятоятельной работы
- •Тема 1. Предмет и значение логики
- •План семинарского занятия
- •Контрольные вопросы
- •Упражнения для самостоятельной работы
- •Тестовые задания
- •План семинарского занятия
- •Контрольные вопросы
- •Упражнения для самостоятельной работы
- •Тестовые задания
- •Контрольные вопросы
- •Упражнения для самостоятельной работы
- •Тестовые задания
- •План семинарского занятия
- •Контрольные вопросы
- •Упражнения для самостоятельной работы
- •Тестовые задания
- •План семинарского занятия
- •I фигура II фигура III фигура IV фигура
- •Правила терминов
- •Контрольные вопросы
- •Упражнения для самостоятельной работы
- •Тестовые задания
- •План семинарского занятия
- •Контрольные вопросы
- •Упражнения для самостоятельной работы
- •Тестовые задания
- •Контрольные вопросы
- •Упражнения для самостоятельной работы
- •Символы
- •План семинарского занятия
- •А1 а2
- •Контрольные вопросы
- •Упражнения для самостоятельной работы
- •Тестовые задания
Тестовые задания
1. Дополните:
Деление понятия, при котором его объем полностью делится на два подмножества, являющихся объемами противоречащих понятий, называется...........
2. Дополните:
А) множество предметов, обобщаемых и выделяемых понятием, называется его........
Б) множество существенных признаков, по которым предметы обобщаются и выделяются в понятии, называется его ........
3. Укажите правильное утверждение.
Образование понятий путем перехода от признаков отдельных предметов к признакам, принадлежащим группам этих предметов называется операцией:
А) абстрагирования;
Б) обобщения;
В) анализа;
Г) синтеза;
Д) сравнения.
Символы
Dfd – определяемое понятие (дефиниендум)
Dfn – определяющее понятие (дефиниенс)
Основная литература
Гетманова А.Д. Учебник логики. Со сборником задач. – М., 2011.
Ивин А.А. Логика. Учебное пособие для бакалавров. – М., 2011.
Ивлев Ю.В. Логика: Учебник. – М., 2008.
Мареев С.Н. Логика. – Р/нД., 2008.
Светлов В.А. Логика. Учебное пособие – М., 2011.
Дополнительная литература
Арно А., Николь П. Логика или искусство мыслить. – М., 1991.
Булатов М.А. Логические категории и понятия. – Киев, 1981.
Войшвилло Е.К. Понятие как форма мышления: логика – гносеологический анализ. – М., 1994.
Логический словарь ДЕФОРТ. – М., 1994.
Маковельский А.О. История логики. – М., 1967.
Никифоров А.Л. Общедоступная и увлекательная книга по логике. – М., 1995.
Яшин Б.Л. Задачи и упражнения по логике. – М., 1996.
Тема 4. СУЖДЕНИЕ
Содержание темы: Суждение и предложение. Простые и сложные суждения. Состав простого суждения. Виды простых суждений: атрибутивные, релятивные, экзистенциальные; категорические суждения. Распределенность терминов категорических суждений. Круговые схемы категорических суждений.
Образование сложных суждений из простых с помощью логических связок (союзов): конъюнкции, дизъюнкции, импликации, эквивалентности и операции отрицания. Условия истинности сложных суждений (табличное определение). Отношения между суждениями по истинности. Совместимость и несовместимость суждений, их виды. «Логический квадрат». Понятие модальности суждений. Виды модальности: алетическая, эпистемическая, деонтическая, аксиологическая.
План семинарского занятия
Цель занятия: а) довести до практических навыков знания о типологии и логических характеристиках суждений; б) научиться выявлять виды и составные части суждений, их составные части, логические характеристики.
Суждение как форма мышления. Суждение и предложение. Логическое строение простых суждений и их виды.
Количественная и качественная характеристика простых суждений.
Распределение терминов (S и Р) в атрибутивных суждениях.
Сложные суждения, их образования, виды, логическое строение и условия истинности (анализ таблицы истинности сложных суждений).
Модальность суждений. Деонтическая (правовая) модальность.
Основные категории: логическая связка, классификация суждений, конъюнкция, дизъюнкция, импликация. Эквиваленция, строгая дизъюнкция, нестрогая дизъюнкция.
В первом вопросе раскрывается суждение как форма мысли, в которой человек устанавливает, выявляет наличие или отсутствие связи между разными объектами мысли. Необходимо при изучении данной темы обратить особое внимание на проблему истинности и правильности суждений, поскольку эти характеристики не совпадают, но взаимосвязаны. Правильно построенное суждение может быть и истинным, и ложным. Но неправильно построенное суждение ни при каких обстоятельствах истинным не будет. Надо уметь различать логическую и грамматическую формы. Суждение выражено повествовательным предложением, но не равнозначно ему. В отличие от предложений суждение всегда имеет всего три элемента своей структуры: субъект (S), предикат (Р), связку (квантор). Общее логическое строение простого суждения: S есть (не есть) Р. В отличие от понятия суждение может быть истинным или ложным по содержанию, правильным или неправильным по логическому строению.
Смыслом суждения является его истинность или ложность; поскольку она задана вне рамок формальной логики, надо определять истинность или ложность суждения до логических действий с суждениями, т.к. в логике недопустимо оперировать ложными суждениями, так же, как и пустыми понятиями.
Изучение проблем классификации простых суждений связано с трудностью, вызванной тем, что в логике есть разные варианты классификации, поэтому очень важно при изучении второго вопроса сосредоточить внимание на категорических суждениях как элементарном, основном типе всех вариантов суждений.
По характеру связи (ее качеству) и субъекта (по количеству) простые суждения делятся на 1) утвердительные и отрицательные, 2) общие, частные, единичные. Структура общеутвердительного суждения такова: «Все S суть Р», где кванторное слово «все» характеризует количество, утвердительная связка «суть» – качество суждения. Общеутвердительное суждение обозначается латинской буквой А.
Общеотрицательное суждение является одновременно общим и отрицательным. Схема общеотрицательного суждения «Ни одно S не есть Р» и обозначается латинской буквой Е. Кванторное слово «ни одно» характеризует количество, отрицательная связка «не есть» – качество суждения.
Частноутвердительное суждение – одновременно частное и утвердительное. Обозначается оно латинской буквой I. Его структура: «Некоторые S суть Р». Количество суждений характеризует кванторное слово «некоторые», качество – утвердительная связка, выраженная словом «суть».
Частноотрицателыюе суждение – это суждение, являющееся одновременно частным и отрицательным. Это суждение имеет схему «Некоторые S не суть Р». Оно обозначается латинской буквой О. Кванторное слово «некоторые» указывает на количество суждения, отрицательная связка «не суть» – на
В третьем вопросе студент должен обратиться к изучению распределенности терминов в суждениях.
Хорошее знание четырех вариантов категорических суждений позволит при знании таблицы распределенности терминов в суждении, успешно усвоить правила силлогизма, и затем в последующем грамотно делать выводы.
Запомните правила распределения: субъект распределен в общих (А и Е) и не распределен в частных суждениях (I и О). Предикат распределен в отрицательных (Е и О) и не распределен в утвердительных суждениях (А и I). В выделяющих суждениях предикат распределен.
В четвертом вопросе следует изложить знание сложных суждений. Обратите внимание на виды логических связок, при помощи которых образуются сложные суждения. В отличие от простых суждений, сложные содержат в своей структуре несколько субъектов и предикатов, соединенных логическими союзами.
Анализ сложных суждений – это уже переход из формальной логики в символическую (логику высказываний и предикатов). Значительное место в анализе сложных суждений занимают логические союзы (, , , , ), посредством которых образуются сложные суждения. Оттого, каким образом и при помощи какого союза простые суждения входят в состав сложного, зависят логические особенности сложных суждений.
Логические союзы называются пропозициональными, а теория сложных суждений – теорией пропозициональных союзов.
От названия пропозициональных союзов происходит название сложных суждений:
конъюнктивное, или соединительное: а b;
дизъюнктивное, или разделительное: a b; a b;
импликативное, или условное: a b;
эквивалентное, или двойная импликация: a b.
Особенностью сложных суждений является проблема определения их истинности, поскольку без установления истинности суждений с ними нельзя оперировать. В отличие от простых суждений, где истинность или ложность устанавливается за пределами формальной логики, истинность или ложность сложных суждений устанавливается формально-логически на основе таблиц истинности. Таблицы истинности сложных суждений усваиваются, как и любые другие таблицы, т.е. по правилам, которые необходимо запоминать.
a |
b |
a b |
a b |
a b |
a b |
a b |
и |
и |
и |
и |
л |
и |
и |
и |
л |
л |
и |
и |
л |
л |
л |
и |
л |
и |
и |
и |
л |
л |
л |
л |
л |
л |
и |
и |
В пятом вопросе обратите внимание на логические отношения между суждениями. Их надо рассматривать отдельно для сложных и простых суждений. При изучении отношений между простыми суждениями необходимо опираться на знание базовых законов логики, т.к. три первых закона «управляют» отношениями между разными вариантами простых категорических суждений. Для удобства и простоты усвоения отношений между простыми суждениями следует обратить внимание на логический квадрат, позволяющий быстро и эффективно «видеть» зависимости и соотношения разных видов простых категорических суждений.
Отношения между сложными суждениями, как и между простыми, бывают сравнимыми и несравнимыми, совестимыми и несовместимыми. Эти отношения рассматриваются на основе таблиц истинности.