Содержание
1. Дайте логическую характеристику следующих понятий: а) красный день календаря; б) созвездие; в) внеземная цивилизация............................................................. 3
2. Дайте объединенную классификацию суждений, приведите их схемы и принятые в логике обозначения (А, Е, I, О). Укажите распределение терминов и изобразите их соотношение с помощью круговых схем Эйлера.............................................. 5
3. Установите вид сложного суждения, укажите его составные части (простые суждения), запишите с помощью символов, используя пропозициональные союзы. Составьте таблицу истинности. Если сложное суждение комбинированное, приведите его полную логическую схему........................................................................... 8
4. Нарисуйте логический квадрат, напишите виды отношений между суждениями в логическом квадрате и установите истинность других суждений, если исходные суждения следующие:......................................................................................... 9
5. Сделайте полный разбор силлогизма. Если заключение с необходимостью не следует, укажите, какие правила нарушены.................................................... 11
6. Приведите логическую схему, установите истинность и логическую корректность следующих умозаключений, В индуктивных умозаключениях определите степень вероятности логического вывода..................................................................... 13
Список литературы........................................................................................... 15
Вариант 1
1. Дайте логическую характеристику следующих понятий: а) красный день календаря; б) созвездие; в) внеземная цивилизация.
Произведите с этими понятиями операции определения, обобщения, ограничения (определение данных понятий проверьте по правилам топики, дополнения к классу
Понятия не являются врожденными или автоматически приобретаемыми в опыте. Они – продукт специальной умственной деятельности, которую мы будем называть конструированием (определением). Сконструировать понятие в общем случае означает выяснить его содержание и объем.
Понятия разделяются прежде всего на индивидуальные, или единичные, и общие. Индивидуальными понятиями мы будем называть те понятия, которые относятся к предметам единичным, индивидуальным (в данном случае индивидуальные понятия совпадают с представлениями о единичных вещах), например: «британский посланник во Франции», «высочайшая гора в Америке», «автор «Мертвых душ», «эта книга». К числу единичных понятий относятся также и собственные имена, например: «Казбек», «Ньютон», «Рим». Понятия, которые относятся к группе или классу предметов или явлений, имеющих известное сходство между собой, называются общими понятиями или классовыми понятиями. Например, понятия «растение», «животное», «газ», «двигатель», «поступок», «движение», «красота», «гнев», «чувство» и т. п. суть понятия классовые или общие.
Таким образом, все рассматриваемые нами понятия относятся к классовым понятиям, понятиям общего вида.
Понятие «красный день календаря» является конкретным, т.к. определяет событие имеющее определенное существование.
Понятие «созвездие» представляет собой собирательный термин, т.к. мы имеем в виду, что они служит для обозначения целого, составленного из однородных единиц.
Понятие «внеземная цивилизация» является абстрактным, т.к. это понятие такой вещи, которая не может восприниматься нами как известная определенная вещь.
Процесс образования менее общих понятий из более общих называется ограничением (determlnatio). Для образования менее общего понятия мы должны к более общему прибавить несколько признаков, благодаря чему понятие уясняется (determinatur). Обратный процесс образования более общего понятия из менее общего, при котором, наоборот, некоторое количество признаков от данного понятия отнимается, называется обобщением (generalisatio).
Род образуется из видов при помощи процесса обобщения, и, наоборот, виды образуются из родов при помощи процесса ограничения. Эти процессы мы можем изобразить при помощи следующей схемы:
Обратный процесс - получение более общих понятий путем отбрасывания отдельных признаков - будет называться обобщением. И тот и другой процесс можно изобразить при помощи следующей схемы, в которой стрелки показывают или нисхождение от более общих понятий к менее общим или, наоборот, восхождение от менее общих к более общим понятиям[1].
Таким, образом:
1) Красный день календаря – пустое, абстрактное, относительное, положительной, несобирательное.
2) Созвездие – общее, частное, безотносительное, положительное, собирательное.
3) Внеземная цивилизация – единичное, абстрактное, относительное, отрицательное, несобирательное.
Обобщение и ограничение понятия
Обобщить понятие - значит перейти от понятия с меньшим объемом, но с большим содержанием к понятию с большим объемом, но с меньшим содержанием. Например, обобщая понятие «Красный день календаря» мы переходим к понятию «день», обобщая понятие «внеземная цивилизация» - к понятию «цивилизация».
Объем нового (общего) понятия шире исходного (единичного) понятия, первое относится ко второму как индивид к виду. Вместе с тем содержание понятия, образованного в результате обобщения уменьшилось, так как мы исключили его индивидуальные признаки. Для образования какого-либо нового понятия путем обобщения нужно уменьшить содержание исходного понятия, т.е. исключить его видовые (индивидуальные) признаки.
Обобщение понятий не может быть безгранично. Наиболее общими являются понятия с предельно широкими объемами - категории, например, «созвездие».
Ограничение понятий представляет собой операцию, противоположную операции обобщения. Ограничить понятие - значит перейти от понятия с большим объемом, но с меньшим содержанием к понятию меньшим объемом, но с большим содержанием.
Иначе говоря, чтобы ограничить понятие, нужно перейти от рода к виду: увеличить его содержание путем прибавления видовых признаков. Например, ограничивая понятие «Красный день календаря», мы переходим к понятию «событие», которое в свою очередь можем ограничить, образовав понятие «праздник».
Операция определения понятия
Часто возникает необходимость раскрыть содержание понятия, которое употребляется в рассуждении.
Логическая операция, раскрывающая содержание понятия путем перечисления входящих в него признаков называется определением понятия или дефиницией. Как известно содержание понятия - это совокупность существенных признаков предмета.
Красный день календаря – дата, событие.
Созвездие – звезды.
Внеземная цивилизация – планета.
2. Дайте объединенную классификацию суждений, приведите их схемы и принятые в логике обозначения (А, Е, I, О). Укажите распределение терминов и изобразите их соотношение с помощью круговых схем Эйлера
2.1. «Философ не есть человек коллективного родового сознания»
2.2. Незаконный договор является недействительным
2.3. Денежной единицей в Российской Федерации является рубль
2.4. Большинство студентов юридических вузов изучают конфликтологию
Объединяя количественную и качественную характеристики, суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные.
Общеутвердительное суждение - это суждение, общее по количеству и утвердительное по качеству. Общеотрицательное суждение - суждение, общее по количеству и отрицательное по качеству. Частноутвердительное суждение - суждение, частное по количеству и утвердительное по качеству. Частноотрцательное суждение - суждение, частное по количеству и отрицательное по качеству.
Для краткости их обозначения в логике принято употреблять следующие символы. Для обще-утвердительного суждения берут символ А, первую гласную глагола affirmo - утверждаю; для частно-утвердительного - I, вторую гласную того же глагола; для обще-отрицательного - Е, первую гласную глагола nego - отрицаю; для частно-отрицательного - О, вторую гласную того же глагола.
Таким образом, символы суждений мы можем обозначить при помощи следующей таблицы:
А Все S суть Р.
I Некоторые S суть Р.
Е Ни одно S не есть Р.
О Некоторые S не суть Р.
Выясним отношение между подлежащим и сказуемым во всех этих классах суждений.
Суждения О. Возьмем частно-отрицательное суждение «Незаконный договор является недействительным. В суждении отрицается всякое совпадение между подлежащим и сказуемым; один класс находится вне другого класса. Мы в мышлении совершенно отделяем класс подлежащего от класса сказуемого. Символически отношение S к Р в таких суждениях может быть обозначено посредством двух отдельно стоящих и не связанных друг с другом кругов.
Суждения Е. Возьмем обще-отрицательное суждение - суждение «Философ не есть человек коллективного родового сознания». Это суждение означает, что философ не входит в класс людей коллективного родового сознания, другими словами, некоторая часть S не входит в объем Р. Если мы представим подлежащее и сказуемое в суждении О в виде кругов, то эти круги должны иметь и общие и не общие части, т.е. они должны пересекаться. Заштрихованная часть круга означает, что об этой части субъекта идет речь в этом суждении, а именно, что она не входит в объем понятия Р, что она находится вне понятия Р. Таким образом, для суждения О мы получаем тот же символ, что и для класса суждений I. Разница между их символами та, что в суждениях I мы обращаем внимание на то, что есть совпадающего между S и Р, а в суждениях О - на то, что есть не совпадающего между, ними.
Суждения А. Возьмем обще-утвердительное «Денежной единицей в Российской Федерации является рубль». В этом суждении мы утверждаем, что рубль является основной валютой Российской Федерации, другими словами, что в класс вещей, который мы обозначаем при помощи сказуемого «рубль», входит целиком класс вещей, обозначаемых подлежащим.
Если понятие S содержится в объеме понятия Р, то символически мы можем это представить при помощи круга S, который находится внутри круга Р. Поэтому те обще-утвердительные суждения, в которых объем подлежащего меньше объема сказуемого, можно символически изобразить, как это представлено на рисунке.
Суждения I. Возьмем частно-утвердительное суждение «Большинство студентов юридических вузов изучают конфликтологию». В этом суждении часть класса «S входит в объем класса Р, т. е. совпадает с классом Р. Если какая-нибудь часть S совпадает с Р, то круги S и Р должны иметь общую часть, т.е. должны пересекаться. Символически отношение между подлежащим и сказуемым в частно-утвердительных суждениях можно изобразить так, как это сделано на рисунке. Та часть S, о которой утверждается в Р, на рисунке заштрихована.
3. Установите вид сложного суждения, укажите его составные части (простые суждения), запишите с помощью символов, используя пропозициональные союзы. Составьте таблицу истинности. Если сложное суждение комбинированное, приведите его полную логическую схему.
3.1. «Равенство может быть правом, но никакая человеческая сила не в состоянии обратить его в факт» (О. Бальзак).
Данное суждение является сложным, т.к. здесь отрицается простое суждение. Сложные суждения всегда могут быть сведены к простым.
Обозначим составные части данного суждения: Равенство может быть правом; Никакая человеческая сила не в состоянии обратить равенство в факт.
Данное суждение относится к строгой конъюнкции. Конъюнкция истинна, когда оба входящих в нее высказывания истинны.
3.2. «Каждый имеет право на участие в культурной жизни и пользование учреждениями культуры, на доступ к культурным ценностям» (Конституция РФ).
Поскольку данное суждение состоит из двух частей и соединено союзом «и», оно является сложным.
Данное сложное суждение состоит из двух простых: Каждый имеет право на участие в культурной жизни; Каждый имеет право на доступ к культурным ценностям.
Это - научная индукция - умозаключение, в котором обобщение строится путем отбора существенных признаков.
Для научной индукции характерна систематичность и методичность отбора данных для обобщения выраженных в наборе суждений, обосновывающих вывод, стремление использовать в конкретных обобщениях знание сущностных свойств и закономерностей предметной области, законов статистики.
4. Нарисуйте логический квадрат, напишите виды отношений между суждениями в логическом квадрате и установите истинность других суждений, если исходные суждения следующие:
А. «Есть еще порох в пороховницах» – истинно;
Б. «Реформу нравов следует начинать с реформы законов» – ложно.
Схема эта наглядно показывает взаимное отношение суждений всех четырех классов.
Возьмем квадрат и проведем в нем диагонали. У вершин четырех его углов поставим буквы А, Е, I, О, т.е. символы четырех классов суждений. Возьмем какое-нибудь суждение и представим его в формах суждений всех четырех классов: А - «все люди честны», Е - «ни один человек не честен», I - «некоторые люди честны», О - «некоторые люди не суть честны».
Между суждениями А и О, Е и I существует отношение, которое называется «противоречием». Эти суждения отличаются и во количеству и по качеству.
Отношение между А и Е называется противностью. Эти общие суждения отличаются друг от друга по качеству.
Между А и I, Е и О есть отношения подчинения. Здесь суждения отличаются по количеству.
Между I и О - отношение подпротивности. Здесь два частных суждения отличаются по качеству.
Рассмотрим каждую пару этих суждений в отдельности.
Противоречие (А - О, Е - I). Высказываем суждение А - «есть еще порох во всех пороховницах». Допустим, мы находим, что это суждение «ложно». В таком случае вы должны признать истинным суждение О - «в некоторых пороховницах есть еще порох». Если вы не допустите истинности этого последнего суждения, то вы не можете признать ложности суждения А. Следовательно, при ложности суждения А, суждение О должно быть истинным.
Возьмем суждение О - «реформу нравов следует начинать с реформы законов». Это суждение мы должны признать ложным, потому что мы признаем- истинным суждение А - «реформу нравов не следует начинать с реформы законов». Следовательно, при ложности О суждение А - истинно[2].
Таким образом, из двух противоречащих суждений при истинности одного суждения другое оказывается ложным, при ложности одного суждения другое является истинным. Из этого следует, что из противоречащих суждений одно должно быть истинным, а другое - ложным. Два противоречащих суждения не могут быть в одно и то же время оба истинными, но не могут быть и оба ложными.
5. Сделайте полный разбор силлогизма. Если заключение с необходимостью не следует, укажите, какие правила нарушены.
5.1. Мошенничество – преступление, а поскольку все преступления наказуемы, то мошенничество наказуемо.
Посылки силлогизма пишутся, как правило, одна над другой и отделяются горизонтальной чертой от заключения.
Мошенничество – преступление
Все преступления наказуемы
____________________________
Мошенничество наказуемо
Весь силлогизм в символической записи выглядит следующим образом:
С есть В
Все В есть А
____________
С есть А
Соответствующий правилу отделения логический закон формулируется так:
(А → В) & А → В,
если верно, что если А, то В, и А, то верно В.
Порядок посылок в силлогизме несущественен, так же, как и несущественно, каким термином – А или – С обозначается субъект заключения.
В данном случае заключение с необходимостью следует.
В современной логике модус толлендо поненс называется также правилом удаления дизъюнкции. Ему соответствует логический закон:
(A v B) & ~ A → B,
если А или В и ~ А, то В.
5.2. Все мы, друзья, простудились. Тому, кто простужен, нельзя петь. Всем нам нельзя петь.
Запишем посылки силлогизма:
Все мы простужены
Простуженным нельзя петь
_________________________
Всем нам нельзя петь
Весь силлогизм в символической записи выглядит следующим образом:
А есть В
В не есть С
__________
А не есть С
Если понятие S содержится в объеме понятия Р, то символически мы можем это представить при помощи круга S, который находится внутри круга Р. Поэтому те обще-утвердительные суждения, в которых объем подлежащего меньше объема сказуемого, можно символически изобразить, как это представлено на рисунке.
Рассуждение по правилу модус понес идет от утверждения основания истинного условного высказывания к утверждению его следствия. Это логически корректное движение мысли иногда путается со сходным, но логически неправильным ее движением от утверждения следствия истинного условного высказывания к утверждению его основания.
6. Приведите логическую схему, установите истинность и логическую корректность следующих умозаключений, В индуктивных умозаключениях определите степень вероятности логического вывода.
В действительности существует только индуктивное умозаключение, которое является в двух формах, или 1) как заключение от частного к общему, которое и называется собственно индукцией, или 2) как заключение от частных к частным. Мы можем заключать от частных к частным или прямо, или не прямо, через посредство общего предложения. Этот второй случай и представляет собой дедукцию. Таким образом, умозаключение от частных к частным, но через посредство общего составляет дедукцию[3].
6.1. «Если я стану хвалить женщин, то скажут, что я их не знаю. Если стану их хулить, то скажут, что они наставляют мне нос. Но это не мешает мне говорить о них хорошее или дурное». Следовательно
Данное умозаключение является индуктивным. Это достоверная посылка.
Вывод: я говорю о женщинах и хорошее и плохое.
6.2. «Вам не кажется, что эту планету (Торманс) уже нельзя поднять из инферно? Что болезнь зашла слишком далеко, отравив людей испорченной наследственностью – дисгенетикой? Что люди Торманса уже не способны ни во что и заботятся лишь об элементарных удовольствиях, ради которых они готовы на все? Если на планете бродят одичалые толпы, если пустыни наступают, съедая плодородные почвы, если израсходованы минеральные богатства, если деградация во всем и особенно в душах людей, то чем, какой силой они поднимутся?» Следовательно
В индуктивном заключении может содержаться информация, отсутствующая в принятых посылках. Достоверность посылок не означает достоверности индуктивного заключения. Посылки придают заключению большую или меньшую вероятность[4].
Это вероятностная посылка.
Из частных положений не следует логически общий вывод
Любое индуктивное заключение нуждается в проверке.
Вывод: планету Торманс невозможно поднять из инферно.
Список литературы
1. Гетманов А.Д. Логика. М.: Мысль, 1986.
2. Горский Д.П. Логика. М.: Наука, 1963.
3. Кириллов В.И. Старченко А.А. Логика. М.: Знание, 1987.
4. Светлов В.А. Практическая логика: Учебное пособие. СПб: ИД «МиМ», 1997.
5. Челпанов Г.И, Учебник логики. М.: Новый Юрист, 2002.
[1] Горский Д.П. Логика. М.: Наука, 1963. С. 201.
[2] Гетманов А.Д. Логика. М.: Мысль, 1986. С. 109.
[3] Кириллов В.И. Старченко А.А. Логика. М.: Знание, 1987. С. 211.
[4] Челпанов Г.И, Учебник логики. М.: Новый Юрист, 2002. С. 105.