- •Министерство внутренних дел российской федерации
- •Тематический план и распределение времени
- •По дисциплине «логика»
- •Тема 1. Введение, предмет и значение логики.
- •Основные этапы развития логики. Логика и язык
- •1. Укажите, к какой категории символов относятся следующие выражения:
- •2. Какие из следующих имен являются конкретными, а какие абстрактными:
- •Тема 2. Этапы развития логики как науки. Основные направления современной символической логики
- •Тема 3. Понятие как форма мышления
- •Тема 4. Суждение. Общая характеристика, классификация и отношения
- •Между суждениями
- •Тема 5. Основные законы (принципы) правильного мышления. Понятие о логическом законе
- •Логический закон – такая логическая форма высказывания, которая принимает значение «истина» при любой интерпретации параметров, входящих в ее состав.
- •Тема 6.1. Умозаключения как форма мышления.
- •Определение и классификация
- •Дедуктивное умозаключение
- •Простой Категорический Силлогизм.
- •1. Опираясь на интуитивное представление о логическом следовании, укажите, какие из приведенных умозаключений являются дедуктивными, а какие индуктивными:
- •Следовательно, некоторые птицы не могут летать
- •Тема 6.2: Другие виды умозаключений
- •Следствие следствия есть следствие основания
- •План семинарских занятий по теме 6.2
- •Через простое перечисление фактов
- •Через отбор фактов
- •Научная индукция
- •Метод сходства
- •Тема 7. Понятия доказательства.
- •Опровержение
- •Косвенное
- •План семинарских занятий по теме: Понятия доказательства.
- •Опровержение
- •1. Можно ли считать доказательствами соответствующих тезисов (заключений) следующие рассуждения:
- •2. Какие из приведенных рассуждений можно отнести к доказательствам соответствующих тезисов:
- •9. Определите, какие ошибки допускаются в следующих доказательствах:
- •Тема 8. Гипотеза как форма развития знания
- •Тема 9. Логическая структура вопросов и ответов
- •Ответ. Виды ответов
- •Вопросы для подготовки к зачету
- •Литература
Тема 4. Суждение. Общая характеристика, классификация и отношения
Между суждениями
Суждение– это основная форма мысли, мышления. Познавая мир, человек раскрывает связи между предметами и их признаками, устанавливает отношения между предметами. Эти связи и отношения отражаются в суждениях, представляющих собойсвязь понятий.
Всякое суждение может быть истиннымилиложным, в зависимости от того, соответствует ли оно действительному положению вещей или нет.
Суждение состоит из 3 частей:
Субъект(subjektum) – отражает предмет суждения
Предикат(praedikatum) – отражает признак предмета
Связка между S и P– элемент суждения, соединяющий оба термина суждения, утверждая или отрицая принадлежность предмету некоторого признака. В языке связка выражается словами «есть», «является» и т.п.
Суждения бывают простыеисложные.
Простые – которые не включают в себя другие суждения.
Кстати: Иногда простые суждения называютатомами (атомарными), а сложные суждения –молекулами (молекулярными).
Виды суждений:
1Атрибутивные(от лат. atributum – предназначенное, наделенное)
Выражают принадлежность (не принадлежность) того или иного свойства предмету. Также называются категорическими
(от лат. categorikos – ясный, безусловный, не допускающий иных толкований).
Логическая схема суждения: S – P(S1, S2, S3, – P), (S – P1, P2, P3)
2Реляционные(от лат. relativus – относительный)
Выражают различные отношения между предметами, понятиями о предметах и пр.
Логическая схема суждения: x R y (x, y– члены отношения)
3Экзистенциальные(от лат. existentia – существование)
В них выражается сам факт существования или не существования предмета суждения.
Большинство суждений – категорические. Среди них существует разделение по количеству: на единичные, общие и частные; по качеству: на утвердительные и отрицательные.
Например:Все S есть P
Некоторые S есть P
По крайней мере некоторые S есть P
Слова «все», «некоторые» и другие подобные слова, которые характеризуют суждение со стороны его количества, называются кванторнымисловами (от лат. quantum – сколько). Операция введения таких слов в суждение называетсяквантификацией, а операторы –кванторами.
Различают:
квантор общности: (все, каждый, всегда….)
квантор существования: (некоторый, иногда, бывает, существует…)
Объединенная классификация суждений:
Общеутвердительные: «Все S есть P»
Общеотрицательные: «Ни один S не есть P»
Частноутвердительные: «Некоторые S есть P»
Частноотрицательные: «Некоторые S не есть P»
Утвердительные суждения обозначаются двумя первыми гласными буквами латинского слова affirmo– утверждаю; а отрицательные – словаnego– отрицаю.
С помощью кругов Эйлера это выглядит так:
АОбщеутвердительные:
«Все бамбуки есть злаки»
«Все квадраты – равносторонние прямоугольники»
Е Общеотрицательные:
«Ни один герой не является трусом»
IЧастноутвердительные:
«Некоторые математики были астрономами»
«Некоторые орудия – ракетные»
ОЧастноотрицательные:
«Некоторые водные животные не есть позвоночные»
«Некоторые языки не имеют форм склонения»
Распределенность того или иного термина в суждениях.
Термин считается распределенным, если взят в полном объеме. Иначе –нераспределен.
-
Суждения
S
P
A
+
–
A
+
+
I
–
–
I
–
+
E
+
+
O
–
+
O
–
+
В общем случае руководствуются правилом:
1 Субъект S считается распределенным в общих суждениях (общеутвердительных и общеотрицательных) и нераспределен в частных суждениях (частноутвердительных и частноотрицательных)
2 Предикат Р распределен во всех отрицательных и в тех частноутвердительных суждениях, в которых Р подчинен S. Предикат нераспределен в общеутвердительном (за исключением дефиниции) и в тех суждениях, в которых S и Р перекрещивающиеся понятия.
Операции с суждениями
Установление точного логического смысла суждений
Далеко не всегда точный логический смысл суждения оказывается ясным и прозрачным для мысли. Чтобы избежать противоречий, неясности, чтобы иметь возможность проанализировать то или иное суждение, необходимо установить точный логический смысл суждения, т.е. преобразовать форму выражения таким образом, чтобы ясно могли быть определены S, Р и связка между ними.
Например: “В еловых лесах живет мало певчих птиц”. Для логического анализа такая форма не совсем удобна. Преобразовав предложение в: “Все еловые леса принадлежат к лесам с малочисленным населением певчих птиц”, мы придаем суждению форму, которая, не меняя его логического смысла, делает более явным положение S, Р и связки.
Обращение
Преобразование, при котором Р становится S, а S – Р, но логическое содержание остается тем же самым.
Например: “Все пешеходы – участники дорожного движения”. При обращении получаем: “Некоторые участники дорожного движения – пешеходы”.
Обращение делает для нас более отчетливым количество S и Р, а также отношение между их объемами в суждении. В самом деле:
S – пешеходы
Р – участники дорожного движения
Превращение
Если в операции обращения мы «работаем» с Р, то в операции превращения мы «переключаем внимание» на S. При превращении рассматривается отношение субъекта не просто к Р исходного суждения, но к понятию, противоречащему Р.
До превращения: S – Р. После превращения: S – не-Р
Противопоставление предикату
Основывается на том, что каждое понятие может мыслиться не только в своем собственном положительном содержании, но и по отношению к противоречащему ему понятию. Противопоставление предикату есть высказывание не о предикате суждения, а о понятии, противоречащем понятию предиката.
Противопоставление предикату является соединением превращения с обращением. Чтобы произвести противопоставление, сначала производится превращение, а затем превращенное суждение обращается.
Сопоставление суждений по логическому квадрату
АЕ
IО
План семинарских занятий по теме: Суждение
1. В чем различие между простыми и сложными суждениями?
2. Каков состав и каковы виды атрибутивных суждений?
3. В каких атрибутивных суждениях, какие термины распределены, а какие
не распределены?
4. Виды соединительных суждений.
5. Виды разделительных суждений.
6. Основные виды отношений между суждениями.
7. Как устанавливать отношения между категорическими суждениями
посредством логического квадрата?
Упражнения и задачи:
1.Постарайтесь прочесть все спрятанные предложения
резимойипеатвозеберлогеекржумермемедведицывиелпопоявилисьыннахсветдетенымевжмедвежатажа.
нннаплитккплитвплитетыстоиттсковородкаскорикаакастрюляпляюссмосмосмолокомммос
2. Укажите, какие из перечисленных высказываний являются описательными, а какие — оценочными:
а) Если металл нагревается, он плавится.
6) Неправда, что философские споры неразрешимы.
в) Сухая и теплая погода гораздо лучше сырой и холодной.
г) Плохо, когда человек клянется и тут же нарушает свою клятву.
д) Этот город когда-то был намного меньше Парижа.
е) Принцип «Не убей!» обычно не распространяется на военные действия и на смертную казнь.
3. Укажите, какие из следующих высказываний относятся к бессмысленным:
а) Александр Македонский мало чему научился у своего учителя, Аристоте
ля.
6) «Крекс, фекс, пекс» — вот наш ответ.
в) Самая высокая горная вершина была заметно ниже окружающих ее вер
шин.
г) Гоголь писал «Мертвые души» в Риме.
д) Если паровоз, то идет снег или дует сильный ветер.
4. Выявите структуру приведенных сложных высказываний, укажите, из каких простых высказываний они образованы и с помощью каких логических связок:
а) Если завтра выпадет снег, мы пойдем в лес на лыжах и возьмем с собой собаку.
б) Тот, кто ясно мыслит, ясно говорит.
в) Он — образованный человек и неправда, что у него неважная память.
г) Здесь холодно, и было бы хорошо, если бы ты закрыл окно.
д) Геометрия Евклида непротиворечива, но геометрия Лобачевского также непротиворечива.
е) Если свет имеет волновую природу, то, когда он представляется в виде потока частиц (корпускул), допускается ошибка.
ж) Если данное число делится на 6, то оно делится на 2 и делится на 3.
ТЕСТ.
Определите, выражает ли данное предложение суждение?
«Прощай, свободная стихия!»
нет; 2) да.
2. Определите, выражает ли данное предложение суждение?
«Что яростной толпе сраженный гладиатор?»
да. 2) нет;
3. Определите вид суждения:
«Некоторые страны имеют однопартийную систему».
1) экзистенциальное.2) реляционное; 3) атрибутивное;
4. Определите вид суждения:
«Севернее островов Новой Земли находятся острова, носящие название Земля Франца Иосифа».
1) экзистенциальное; 2) реляционное; 3) атрибутивное.
5. Определите вид суждения:
«Ничего не существует беспричинно»
1) экзистенциальное; 2) реляционное; 3) атрибутивное.
6. Определите вид суждения по объединенной классификации и его символическое обозначение по логическому квадрату:
« В здоровом теле здоровый дух».
1) суждение Е. Ни одно Sне суть Р.
2) суждение А. Все Sсуть Р.
3) суждение I. НекоторыеSсуть Р.
4) суждение О. Некоторые Sне суть Р.
7. Определите вид суждения по объединенной классификации и его символическое обозначение по логическому квадрату:
«Не все выдающиеся музыканты имели абсолютный слух»
1) суждение I. НекоторыеSсуть Р.
2) суждение А. Все Sсуть Р.
3)суждение Е. Ни одно Sне суть Р.
4) суждение О. Некоторые Sне суть Р.
8. Определите вид суждения по объединенной классификации и его символическое обозначение по логическому квадрату:
« 70% всего мирового грузооборота перевозится морским путем».
1) суждение I. НекоторыеSсуть Р.
2) суждение А. Все Sсуть Р.
3) суждение О. Некоторые Sне суть Р.
4) суждение Е. Ни одно Sне суть Р.
9. Какое отношение в логическом квадрате отражает данное положение:
« Два суждения могут быть одновременно истинными, но не могут быть одновременно ложными»
1) подчинения; 2) противоречия; 3) частичной совместимости; 4) противоположности.
10. Какое отношение в логическом квадрате отражает данное положение:
« Из истинности общих суждений следует истинность частных, но из истинности частных суждений истинность общих не обязательна».
1) противоположности; 2) подчинения; 3) противоречия; 4) частичной совместимости.
11. Какое отношение в логическом квадрате отражает данное положение:
«Оба суждения не могут быть одновременно истинными, но могут быть ложными».
1) подчинения; 2) противоречия; 3) противоположности; 4) частичной совместимости.
12. Какое отношение в логическом квадрате отражает данное положение:
« Из двух суждений одно должно быть истинным, а другое – ложным».
1) противоречия; 2) противоположности; 3) подчинения; 4) частичной совместимости.