УМК Юридическая логика ОЧКА 2014

НОУ ВПО ИНСТИТУТ
УПРАВЛЕНИЯ,
БИЗНЕСА И ПРАВА
Тазаян А.Б.
УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС
ПО ДИСЦИПЛИНЕ
«Юридическая логика»
для студентов очной формы обучения
Ростов-на-Дону
2014
Учебно-методический комплекс по дисциплине «Юридическая логика»
разработан в соответствии с требованиями Федерального Государственного
образовательного стандарта высшего профессионального образования для
студентов очной формы обучения, обучающихся по направлению подготовки
030900.62 «Юриспруденция»
Учебно-методический комплекс рекомендован кафедрой «Менеджмент»
(протокол №1
от
26.08.13) и утвержден Учебно-методическим советом
Академии Управления (протокол №1 от 26.08.13) НОУ ВПО Института
управления, бизнеса и права.
Учебно-методический комплекс предназначен для студентов очной
формы обучения, содержит план лекционных и практических занятий,
рекомендации по выполнению учебных проектов (курсовых работ) и
самостоятельной работы, требования к уровню освоения программы и
аттестации по дисциплине, учебно-методическое и учебно-информационное
обеспечение дисциплины
Составитель: д.ф.н., профессор Тазаян А.Б.
Рецензенты: д.ф.н., профессор Строцева О.И.
2
СОДЕРЖАНИЕ
1 ЛЕКЦИОННЫЕ ЗАНЯТИЯ ......................................................................................
4
2 ПРАКТИЧЕСКИЕ ЗАНЯТИЯ..................................................................................
32
3 КОНТРОЛЬ ОВЛАДЕНИЯ КОМПЕТЕНЦИЯМИ…………………... 35
4 МЕТОДИЧЕСКИЕ УКАЗАНИЯ ПО ВЫПОЛНЕНИЮ УЧЕБНЫХ
ПРОЕКТОВ (КУРСОВЫХ РАБОТ) ............................................................................
36
5 САМОСТОЯТЕЛЬНАЯ РАБОТА СТУДЕНТОВ ..................................................
37
6 АТТЕСТАЦИЯ ...........................................................................................................
38
6.1 Примерные вопросы к промежуточному тестированию…………... 39
6.2 Практические задания………………………………………………
42
6.3 Вопросы и задания к итоговой аттестации………………………
43
7.УЧЕБНО-МЕТОДИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ
44
8. ИНФОРМАЦИОННО-МЕТОДИЧЕСКОЕ ОБЕСПЕЧЕНИЕ
ДИСЦИПЛИНЫ
…………………………………………… 45
КОНТАКТНАЯ ИНФОРМАЦИЯ ПРЕПОДАВАТЕЛЯ ...........................................
46
3
1. ЛЕКЦИОННЫЕ ЗАНЯТИЯ
1.1.Лекция: Предмет логики. Логика и язык.
1.1.1 Предмет логики. Понятие логической формы.
1.1.2. Логика и язык.
1.1. 3. Семантические категории выражений языка.
1.1.1. Предмет логики. Понятие логической формы.
Логика − одна из древнейших наук. Она сформировалась в IУ веке до
н.э. Основателем логики как науки принято считать древнегреческого
философа Аристотеля. Термин «логика» этимологически восходит к
древнегреческому слову «logos» (слово, понятие, рассуждение, разум).
Логика как наука формировалась в контексте человеческой познавательной
деятельности. Целью познания является истина (адекватное воспроизведение
в знании предмета познания). Для осуществления познавательной
деятельности у человека есть две способности – чувства и разум.
Основные
формы
чувственного
познания:
ощущения,
восприятия и представления. Результатом чувственного познания
являются образы или отдельные признаки конкретных предметов,
которые формируются в результате непосредственного их
воздействия на наши органы чувств. В познании от знания
предметов,
данных
непосредственно
нашей чувственности,
переходим к знанию о классах предметов. Получение такого вида
знания осуществляется посредством перехода от чувственных форм
отражения
действительности
к
рациональным
формам.
Рациональные формы рассматриваются как мыслительные формы.
Таким образом, благодаря мышлению, этой нашей способности,
мы получаем
возможность приобретения знания о классах
предметов. Оно постигает существенные и необходимые свойства,
отношения между предметами
действительности. Формы
мысленного
отражения
действительности
осуществляются
абстрактно и опосредствованно.
Абстрактные объекты – отношения, понятия, суждения и др.
целостные мыслительные образования. В процессе познания мы выделяем
интересующие нас в объекте отдельные свойства, отношения для их
изучения. Для логики имеет принципиальное значение различие между
абстрактным объектом и реальностью. В логике, как и в целом науке,
недопустимо придание абстрактным объектам реального существования. Но
абстрагирование от чувственных единичных объектов к абстрактным
объектам делает возможным переход от старых знаний к новым, не
обращаясь непосредственно к чувственным данным. Эта познавательная
возможность логики вытекает именно из-за опосредствованного характера
форм мысленного отражения. Такой способ получения нового знания
называется рассуждением (рассуждение – есть последовательная,логически
обусловленная связь утверждений).
4
Таким образом, мы установили, что у нас есть два способа получения
знания: посредством форм чувственного познания и посредством
рассуждения. Получение нового знания с помощью рассуждения называется
выводным знанием.
Изучение
правил
и
норм
теоретических
рассуждений, процедур получения выводного знания – занимает
определяющее место в области логических исследований. В основе
выводимости одних утверждений из других лежит логическая связь.
Выводное знание становится возможным благодаря логическому следованию
одних утверждений из других.
Отличительным признаком выводного знания является то, что его
правильность зависит исключительно от логической формы.
Содержание наших мыслей бесконечно разнообразно. Как и в случае с
грамматическими структурами естественных языков, ограниченный перечень
логических форм определяет нормативные критерии правильности и
неправильности использования языковых выражений в науке. Логические
формы языковых выражений, способы их связи, наряду с основными
принципами
(
законами)
правильного
рассуждения,
обладают
определенными нормативными признаками, которые изучает логика. Именно
формальный принцип, лежащий в основе логики и грамматики,
обусловливает их сходство. Определяя нормы грамматической структуры
предложения в терминах «подлежащий», «сказуемый», «определение»,
«обстоятельство», «дополнение», мы отвлекаемся от конкретного
содержания слов, которые они обозначают . Правильность грамматической
структуры предложения
является не только основанием адекватной
репрезентации объекта знания в языке, но условием взаимопонимания,
общения между людьми. Так же логика, устанавливая нормы правильности
научных утверждений, отвлекается от содержания знания, исследуя
исключительно правила логического следования, его формально-логическую
структуру в терминах «понятие», «суждение», «умозаключение»,
«доказательства» и т.д.
Логическая форма(структура) мысли - это способ связи ее составных
элементов. Рассмотрение мыслей в аспекте их структуры определяет
специфическую особенность логики как науки. В логике содержание и форма
знания разделены. Правильность мысли не зависит от ее содержания, а
определяется исключительно ее логической формой.
Формы мысли отличаются друг от друга своей структурой ( элементами
и способ их связи). Например, структура простого суждения включает
следующие составные части: субъект-термин (логическое подлежащее),
предикат-термин(логическое сказуемое) и связку. Возьмем два простых
суждения:
1. «Луна есть естественный спутник Земли»;
2. «Футбол есть командная спортивная игра».
То, что они по содержанию различны, не вызывает никаких сомнений.
А в чем же их сходство? Ведь они относятся к одной и той же форме мысли
5
– к простому суждению. Если исходить из того, что каждое языковое
выражение имеет содержание и форму, а содержание в данном случае
различно, то сходство следует искать в их форме. Заменим содержательные
термины (слова) суждений: логические подлежащие (субъекты-термины)
«Луна» и «футбол» латинской буквой S, логические сказуемые (предикатытермины ) «естественный спутник Земли», «командная спортивная игра»,
латинской буквой P. Символы S и P указывают лишь на то, что они
обозначают логическое подлежащее и логическое сказуемое в этих
конкретных суждениях. В нашем примере – это «S есть P». Таким образом, у
этих суждений одна и та же логическая форма (они имеют одни и те же
элементы и один и тот же способ их связи). Отсюда можно сделать вывод,
что множество различных по содержанию предложений может иметь одно и
то же логическое строение. Выявления структуры мыслей, определение
правил связи ее элементов есть процесс их формализации. Формализация
мыслительной деятельности позволяет сформулировать логические правила
и законы, являющиеся общими для различного рода выражений языка,
имеющих структурное соответствие.
Приступая к изучению логики, необходимо определить компетенцию
логики в научном познании. Это, прежде всего, вопрос о пределах
соответствия правильности и истинности. Если мы обратимся к
классической концепции истины, в которой она (истина) определяется как
свойство знания, соответствующее своему предмету. Отсюда, знание не
соответствующее своему предмету, является ложной. В этом контексте
логическая правильность отнюдь не гарантирует истинности знания. Можно
логически правильно построить свои рассуждения, но исходить из ложных
посылок. В этом случае вы можете прийти как к истинному заключению, так
и ложному. Ценность логики заключается в том, что если вы исходите из
истинных данных и в своих рассуждениях следуете правилам логики, то с
необходимостью получите истинное заключение. Установление истинности
посылок не входит в компетенцию логики, это задача специальных наук.
Логика же есть наука, которая показывает, как должно совершаться
рассуждение, чтобы, опираясь на достоверные основания, с необходимостью
была достигнута истина.
Подводя итог изложенному, можно сказать, что логика есть наука,
изучающая рациональные основания рассуждения со стороны его формы,
она изучает законы и правила получения выводного знания.( Рассуждение
— это процедура обоснования некоторого высказывания путем
пошагового выведения его из других высказываний.)
Основной задачей логики является отделение правильных способов
рассуждения от неправильных.
Правильные выводы называются также обоснованными или логичными.
1.1.2.Логика и язык
Мысль непосредственно выражается в языке. Мышление и язык
составляют нерасторжимое единство. Но также очевидно различие между
6
языком и мышлением. Язык материален, мышление – идеально. Но в чем же
в таком случае выражается их нерасторжимое единство? В том, что формы
мышления могут быть представлены исключительно посредством языковых
выражений.
Язык – знаковая система, используемая для описания, хранения и
передачи информации. Все языки могут быть разделены на естественные и
искусственные. Естественные языки формируются стихийно, они являются
основополагающим фактором общественного воспроизводства: выступают
средством общения между людьми, хранения и передачи обыденного опыта
и духовных ценностей от поколения поколению. Искусственные языки
создаются сознательно для решения специальных задач (математический
язык, язык абстрактной живописи, нотный язык записи музыкальных
произведений и т.д.).
Всякий язык состоит из знаков. Знаком называется материальный
объект, используемый в познании или общения в качестве представителя
какого-то другого предмета. Выделяют различные типы знаков, в логическом
языке представлены знаки-символы. Между знаками-символами и
представляемыми ими предметами нет причинно необходимой связи.
Важнейшей характеристикой знаков являются смысл и значение.
Значением знака является обозначаемый им предмет'. Смыслом выражаемая знаком характеристика обозначаемого предмета. Некоторые
предметы имеют одно и то же значение, но разный смысл (т е. смысл
выражений “4”, “2 + 2” и “9 - 5” различен). Некоторые знаки имеют смысл,
но не имеют значения, т.е. представляют несуществующие предметы
(например, космонавт, побывавший на Марсе).
Есть специальная теория
о знаковых системах - семиотика.
Основоположниками этой науки являются швейцарский лингвист Ф. де
Соссюр(1857 – 1913) и американский философ и логик Ч.Пирс (1839 –
1914). Семиотика включает три относительно самостоятельных раздела:
синтаксис, семантику и прагматику.
Синтаксис (греч. σύνταξσις – построение, порядок) – раздел семиотики,
исследующий отношения между знаками, правила образования и
преобразования языковых выражений. В синтаксисе отвлекаются от
рассмотрения смысла и значения знаков.
Семантика[ др.-греч. ςημαντίκος (семантический) – смысловой,
относящийся к значению слова ] - раздел семиотики, в котором изучаются
отношения знаков к обозначаемым объектам и выражаемому содержанию.
Сформировались две относительно самостоятельных области
семантических исследований: лингвистическая и логическая. Логическая
семантику, в свою очередь, делят на теорию значения и теорию смысла.
Прагматика( др.-гр. πραγματικός – деловой, опытный, дельный)- раздел
семиотики, изучающая отношения между знаковыми системами и теми, кто
воспринимает, интерпретирует и использует их.
1.1.3.Семантические категории выражений языка.
7
Все знаки выражений языка могут быть разбиты на классы в
зависимости от типов выражаемых ими смыслов и от типов объектов,
которые они обозначают. Эти классы называются семантическими
категориями
К числу семантических категорий относят предложения. Предложения
делятся на классы в зависимости от того, выражают ли они суждения,
вопросы, нормы. Знаки, образующие языковые выражения, являющиеся
возможными частями предложения, играющими самостоятельную роль,
делятся на дескриптивные и логические категории. К дескриптивным
семантическим категориям относятся: имена, знаки свойств и
отношений(предикаторы), знаки предметных функций. Имя- это выражение
естественного или искусственного языка, обозначающее отдельный предмет,
или класс предметов. Объект, обозначаемый именем, называется денотатом
этого имени; способ, которым имя указывает на свой денотат, называется
смыслом. В традиционной логике понятия «денотат» и «смысл»
соответствуют понятиям «объем» и «содержание». Теория именования
позволяет преодолеть контексты двусмысленности употребляемых языковых
выражений, характерных для естественных языков. Она строится на трех
принципах: предметности, однозначности, взаимозаменяемости. Согласно
принципу предметности высказывания должны утверждать (или отрицать)
нечто о значениях имен, входящих в предложения, а не о самих именах. То
есть, когда мы нечто (наличие или отсутствие признака) утверждаем о какомлибо предмете, мы употребляем в выражении языка его знак, но
утверждающее содержание предложения относится не к знаку, а предмету,
который он обозначает. Принцип однозначности предписывает требование
употреблять знак в одном и том же предметном значении. Если это знак
одного предмета, то он должен выступать в качестве единичного имени ,
если обозначает предметную область одного класса, то должен быть общим
именем для данного класса. Принцип взаимозаменяемости: любой знак в
языковом выражении может быть заменен другим знаком с тем же
предметным значением без изменения предметного значения языкового
выражения в целом. Предикаторы – выражения языка, предметными
значениями которых являются свойства и отношения. Предикаторы в
языковых выражениях играют роль логического сказуемого.
Логические категории представлены двумя основными видами : 1.
логическими связками {- конъюнкцией [ символически – & ( грамматическая
форма союз «и»)], дизъюнкцией [ символически – V; ( «или»)], импликацией
[ символически - →; ( « если, то …»)], эквивалентности [ символически - ↔
;«если и только если»], отрицания [ символически ¬ ;«неверно, что»],
логического следования [ символически ╞ ], дедуктивной выводимости
[символически ├ ]} и 2. логическими операторами { квантором всеобщности
[символически -  («всякий», «ни один», «все»] и квантор существования [
символически -  («некоторые», «существует»)]}.
8
Логические термины, в отличие от дескриптивных терминов, не
являются описаниями предметной области, а устанавливают логические
отношения между ними. Значения логических терминов обусловливают
логическую структуру мысли. А значения дескриптивных терминов в
совокупности с логическими терминами определяют конкретное содержание
языковых выражений.
Рассмотрим один из логических (искусственных) языков, с помощью
которого изучаются логические свойства истинности и ложности класса
определенных
высказываний:
язык
логики
высказываний
(пропозициональной логики).
Алфавит этого языка включает следующие символы :
1. p, q, r. s, …. – пропозициональные переменные ( формулы, область значения
которых может быть интерпретирована в терминах истинности);
2. ¬ , & , V , →, ↔ - логические константы (связки), имеющие собственные
названия: . ¬ - отрицание, & – конъюнкция, V – дизъюнкция, , → импликация, ↔ - эквиваленции [ логическая связка ─ (отрицание) является
унарной, остальные связки являются бинарными].
3. (, ) – левая, правая скобки (технические средства).
«Высказываниями» или «предложениями» в этом языке называются формулы,
образованные по следующим правилам:
1. пропозициональные переменные являются формулой;
2. если А и В формулы, то формулами также будут выражения: . ─ А, АΛВ,
АVВ, А↔ В и т.д.;
3. Ничто иное не является формулой.
1.2. Лекция: Понятие
1.2.1. Общая характеристика понятия.
1.2.2. Виды понятий.
1.2.3. Отношения между понятиями.
1.2.4. Определение
1.2.1.
Общая
характеристика
понятия.
Многообразие внешнего мира получает свое свидетельство в
нашем восприятии. Эти многообразие представлено во множестве
свойств и отношений. Для ориентации в окружающем мире человек
сталкивается с необходимостью упорядочить многообразие образов
внешнего мира, которое у него формируется в процессе
взаимодействия с ним. Эту задачу он решает, благодаря своим
способностям отождествлять и различать предметы. Овладение
смысловым пространством языковой практики у индивида
происходит стихийно, в процессе социализации. Он не осознает, что
многие жизненные проблемы являются порождением используемого
естественно
языка,
многозначности,
расплывчатости
употребляемых им слов и т.д.
Но есть области человеческой
деятельности, в которых цена точного использования языковых
9
терминов настолько высока, что нарушение этих условий, саму
деятельность делает бессмысленной, а иногда и преступной.
Например, в науке. Одна из фундаментальных задач формализации
естественных наук является преодоление амбивалентности естественного
языка. Придание используемым терминам точного, однозначного значения.
Огромна роль языка в юриспруденции. Определение события преступления,
квалификация состава преступления во многом зависят от точности
используемых терминов и их интерпретации. За этой точностью,
ответственным отношением к слову, стоят человеческие судьбы.
Таким образом, не вызывает сомнения, что многие стороны
человеческой деятельности требуют однозначного, недвусмысленного
использования терминов языка. Установление однозначности термина – это
определение его содержания (смысла) и объема(значения), то есть знать
какие предметы подпадают под него. Эту задачу призван решить раздел
логики – учение о понятии.
Как уже отмечалось, мыслительные операции отождествления и
различения играют основополагающую роль в образовании понятий.
Результатом этих мысленных операций является выделение в предметах
определенных признаков. Признаки – это характеристики предметов,
целостная совокупность свойств у предмета или класса предметов. [ « Класс
– конечная или бесконечная совокупность объектов, выделенная по общему
для них признаку (свойству или отношению), мыслимой как нечто целое.
Объекты, составляющие класс, называются его элементами. (Краткий
словарь по логике. / Д.П.Горский и др. М.,1991. С.77 )].
Они могут указывать на наличие или отсутствие определенных свойств,
отношений у предметов. Благодаря признакам устанавливается сходство
или отличие предметов. . Слово «предмет» в логике употребляется в самом
широком смысле : все что предстает областью логического анализа является
предметом.. Следует различать свойства и отношения в качестве признаков
предметов. Свойство является атрибутивным признаком. Атрибут –
неотъемлемое существенное свойство предмета. Отношение является
реляционным признаком. Этот признак у предмета проявляется
исключительно при взаимодействии с другими предметами. То есть
реляционный признак проявляется всегда из некоторого отношения между
предметами. Различие между «свойством» и «отношением» иллюстрирует
следующий пример. В предложении «красное яблоко» слово «красное»
указывает на неотъемлемое в данном случае свойства яблока, а в
предложении «помидор краснее яблока» , выделяется признак, который
проявляется
в
отношении
помидора
к
яблоку.
С логической точки зрения каждое понятие обладает двумя важнейшими
характеристиками:
содержанием
и
формой.
Содержанием называется признак ( или система признаков) , на
основании которого осуществляется выделение предметов в понятие .
10
Этот признак( или совокупность признаков) должен быть достаточным
и необходимым основанием для выделения группы предметов в понятие, т.е.
условием, позволяющим отличить данный класс предметов от других.
Класс обобщаемых в понятии предметов называется его объемом.
Таким образом, можно дать следующее определение понятия: понятие –
это форма мысли, в которой обобщены в класс и выделены предметы по
системе признаков, общей для этих предметов и отличающей их от других
предметов.
В логике установлена логическая связь между объемом и
содержанием понятия, представленная в законе обратного
отношения между объемом и содержанием понятия : чем шире
объем,
тем
уже
содержание
понятия,
и
наоборот.
Различают логический и фактический содержания и объемы
понятия.
Логическое содержание
определяется исключительно
логической формой понятия. Фактическое содержание – это
информация,
представленная
посредством
дескриптивных
терминов. Соответственно, логический объем составляет класс
возможных предметов, выделенных на основании их логического
содержания, а фактический объем – класс предметов, обладающих
системой признаков, составляющих фактическое содержание
понятий.
1.2.2.
Виды
понятий.
Выделение видов понятий осуществляется по трем основаниям : 1) по
некоторым характеристикам объектов понятия ; 2) по типам обобщаемых
понятий ; 3) по характеру признаков, составляющих видовое отличие
мыслимых предметов в понятии ( по характеру предмета, выражающих это
видовое
отличие
).
По объему понятия делятся на пустые и непустые. Непустые понятия в
сою
очередь
делятся
на
единичные
и
общие.
Пустые понятия имеют в качестве объема пустой класс, т.е. понятие ,
в объеме которых нет ни одного элемента. Различают понятия логически и
фактически
пустые.
Например, «круглый квадрат», «космонавт, побывавший на Марсе»,
«частица, движущаяся со скоростью больше скорости света».
К единичным относятся понятия, в объеме которых содержится ровно
один
элемент.
Например, «первый космонавт», «альпинист, впервые покоривший
Эверест»,
«автор
романа
«Война
и
мир»».
и
т.д.
(добавить
отличие
понятий
от
имен)
К общим относятся понятия, в объеме которых содержится более чем
один
элемент.
Например, «астронавт, побывавший на Луне», «человек, любящий
11
игровые виды спорта»,
«прямоугольный треугольник» и т.д.
Среди
общих понятий выделяют универсальные понятия.
Универсальными являются понятия, объемы которых совпадают с родом
этого
понятия.
Например, «квадрат, у которого все стороны равны», «человек,
умеющий мыслить и производить искусственные орудия труда» и т.д.
В этих понятиях видовые отличия – « равенство все сторон» и
«умеющий мыслить и производить искусственные средства труда» - присущи
всем квадратам и людям, поэтому эти признаки не позволяют из универсума
(родового
понятия)
выделить
видовое
понятие.
По типу обобщаемых предметов понятия делятся на конкретные и
абстрактные,
собирательные
и
несобирательные.
Конкретными являются понятия, элементами объема которого
являются отдельные предметы, представленные в универсуме рассуждения.
Например, «белый костюм», «мужественный человек»,, «свидетель»
Абстрактными являются понятия, в которых обобщены отдельные
стороны, свойства, отношения предметов, представленные в универсуме
рассуждения.
Например,
«белизна»,
«мужество»,
«справедливость»
и
т.д.
Собирательными являются понятия, элементами объема которых
предстают
некоторые
совокупности,
мыслимые
как
целое.
Например,
«флот»,
«библиотека»,
«рота»
и
т.д.
Несобирательными являются понятия, элементами объема которых
выступают
предметы,
мыслимые
как
нерасчлененное
целое.
Например,
«студент»,
«юрист»,
«адвокат».
По характеру видового отличия понятия делятся на положительные и
отрицательные,
относительные
и
безотносительные.
Понятие положительно, если оно выражает наличие у предмета
какого-либо
свойства
или
отношения.
Например,
«Ростов-на-Дону
–
столица
ЮФО».
Понятие отрицательно, если признак указывает на отсутствие какоголибо
свойства
или
отношения.
Например, «Ростов-на-Дону – не является столицей РФ».
Относительными являются понятия , в которых признак представляет
реляционное свойство ( реляция – от лат. relatio донесение ): содержание
которого представляет собой наличие или отсутствие отношения мыслимого
в нем предмета к некоему другому предмету, в котором мыслиться предмет,
обусловливающий
существование
другого
предмета.
Примеры относительных понятий : «брат», «студент ИУБиП» и т.д.
Безотносительными являются понятия, видовые отличия которых не
являются реляционными свойствами , т.е. отображают признак предмета вне
его
связи
с
другими
предметами.
Например, «рабочий», «устав» и т.д.
1.2.3. Отношения между понятиями.
12
Понятия находятся в различных отношениях друг к другу. Они, прежде
всего, являются сравнимыми и несравнимыми. Понятия сравнимы, если они
имеют общий род. Если у понятий нет общих родовых признаков, то они
несравнимы. Несравнимые понятия не вступают в какие-либо логические
отношения. Сравнимые понятия делятся на совместимые и несовместимые.
Совместимые понятия делятся на три вида отношений:
равнозначности, подчинения, пересечения.
Отношение равнозначности между понятиями имеет место тогда и
только тогда, когда объемы этих понятий полностью совпадают. Другими
словами, равнозначные понятия отсылают к одному и тому жен классу
предметов, но делают это по-разному.
Отношение подчинения между понятиями имеет место тогда и только
тогда, когда объем одного полностью входит в объем другого, но обратное
не верно.
Отношение перекрещивания (пересечения) между понятиями имеет
место тогда и только тогда, когда их объемы частично совпадают.
По несовместимости понятия делятся на три вида отношений:
противоречия
(контрадикторности),
противоположности
( контрарности), соподчинения (координации).
Отношение противоречия (контрадикторности) между понятиями
имеет место тогда и только тогда, когда они являются видами одного и того
рода, притом одно понятие указывает на некоторые признаки, а другое эти
признаки отрицает, не заменяя их другими признаками.
Отношение противоположности ( контрарности) между понятиями
имеет место тогда и только тогда, когда они являются видами одного и того
рода, притом одно понятие указывает на некоторые признаки, а другое эти
признаки отрицает, заменяя признаками их исключающими.
Отношение соподчинения (координации) между понятиями имеет место
тогда и только тогда когда, когда, объемы двух и более понятий исключают
друг друга, но принадлежат общему родовому понятию. Это виды одного и
того рода.
Отношения между понятиям можно изобразить в виде круговых схем.
Отношение равнозначности. Понятия «студент» и «учащийся высшего
учебного заведения» находятся в отношении равнозначности. Если понятие
«студент» обозначим буквой А, а понятие «учащийся высшего учебного
заведения» — буквой В, то отношение равнозначности между этими
понятиями изобразится в виде двух совпадающих кругов (Рис. 1).
Рис. 1
13
Отношение подчинения. Понятия «студент» и «студент ИУБиП»
находятся в отношении подчинения. Подчиняющим понятием будет
«студент», подчиненным – «студент ИУБиП». Если понятие «студент»
обозначим буквой А, а понятие «студент ИУБиП» - буквой В, то отношение
подчинения между этими понятиями изобразиться в виде двух кругов,
причем объем подчиненного понятия полностью входит в объем
подчиняющего (Рис. 2).
Рис.2.
Отношение перекрещивания ( пересечения). Понятия «студент» и
«спортсмен» находятся в отношении перекрещивания. Если понятие
«студент» обозначим буквой А , а понятие «спортсмен» - буквой В, то
отношение перекрещивания между этими понятиями изобразится в виде
пересекающихся двух кругов ( Рис. 3).
Рис. 3.
Отношение противоречия (контрадикторности). Понятия «студент» и
«нестудент» находятся в отношении противоречия. Если понятие «студент»
обозначим буквой А, а понятие «нестудент» - буквой не-А, то отношение
противоречия между этими понятиями изобразится в виде разделенного
круга (Рис.4).
Рис.4
Отношение противоположности (контрарности). Понятия «белый» и
«черный» находятся в отношении противоположности. Если понятие
«белый» обозначим буквой А, а понятие «черный» - буквой В, то отношение
14
противоположности между этими понятиями изобразится в виде следующего
рисунка ( Рис. 5).
Рис. 5.
Отношение соподчинения (координации). Понятия «учащийся»,
«школьник» и «студент» находятся в отношении соподчинения. Если
понятие «учащийся» обозначим буквой С, понятие «школьник» - буквой А,
а понятие «студент» буквой В, то отношение соподчинения между этими
понятиями изобразится в виде отдельных неперекрещивающихся кругов
внутри третьего круга (Рис.6).
Рис. 6.
1.2.4. Определение.
В научной деятельности широко используется логическая операция,
получившая название определения. Определение ( или дефиниция от лат.
definition – определение) – это логическая операция, заключающая в
придании точного смысла языковому выражению. Процедура определения
решает две теоретические задачи: (1) уточняет содержание уже
используемых понятий; (2) вводит в научный оборот новые понятия. Сама
процедура определения наделяет предмет отличительными признаками,
указывающими, с одной стороны, способ его бытия, с другой, выделяющими и отличающими его от других предметов. Эти признаки
предмета, следуя классической философской традиции, называют
существенными.
Логика выделяет различные способы и правила определений, выявляет
типичные ошибки, допускаемые в исследовательской деятельности, и их
теоретические последствия.
В науке применяются определения различных видов. Это, прежде
всего, реальные и номинальные определения. В реальных определениях на
основе системы признаков осуществляется выделения предмета или класса
однородных предметов в понятие. Посредством реальных определений в
основном уточняется смысл используемых языковых выражений.
Номинальные определения – это соглашение относительно способов
употребления тех или иных языковых выражений ( понятий, терминов и т.д.).
Деление определений на реальные и номинальные – это деление по их
выполняемым функциям в научном познании. По форме определения можно
разделить на два вида: явные и неявные.
Явными называются определения, имеющими структуру: «Dfd ≡ Dfn»
где Dfd - дефиниендум (определяемое выражение), Dfn – дефиниенс
(определяющее). Знак «≡» - устанавливает логическое отношение между
15
дефиниендумом и дефиниенсом. Это обычно отношение тождества или
эквивалентности. Неявные определения такой формы не имеют.
Среди явных определений выделяют определение через род и видовое
отличие, которое широко используется в социально-гуманитарных науках.
Определение через род и видовое отличие делится на:
1) атрибутивно-реляционные определения. В этих определениях
видовыми отличиями выступают или свойства(атрибуты) предметов, или
отношения (реляции) между ними.;
2) генетические определения. В качестве видового отличия выступает
способ происхождения предмета;
3) операциональные определения, определения в которых указывается
действие, с помощью которого становится возможным распознавание
предмета.
К явным определениям предъявляются следующие требования:
1) правила взаимозаменяемости: при замене Dfd на Dfn (или же Dfn на
Dfd) истинностное значение языкового выражения, в которую они входят,
должно оставаться неизменным. Это правило соразмерности Dfd и Dfn, т.е.
их объемы должны совпадать. При нарушении этого правила возникают
следующие ошибки:
«ошибка слишком широкого определения»: объем Dfn(
определяющего) понятия шире Dfd (определяемого);
«ошибка
слишком
узкого
определения»:
объем
Dfn
(определяющего) уже Dfd(определяемого);
«перекрещивающееся определение»: объемы Dfd и Dfn частично
совпадают;
2) в определении не должно быть «порочного круга». Нельзя определять
понятие через само себя или понятие, которое, в свою очередь, определяется
через определяемое понятие;
3) определение должно быть ясным ( в классической логике это
требование приобретает строгою форму и предстает в качестве правила
однозначности): каждому Dfd должен соответствовать
Среди
неявных
определений
выделяют
остенсивные
и
контекстуальные определения.
Остенсивные ( от лат. ostensio – показывание)- это разъяснение слов и
словосочетаний путем непосредственного указывания на предмет.
Контекстуальные [ от лат. contextus ( тесная связь, соединение) –
законченный в смысловом отношении отрывок текста.] определения –
определения смысловое содержание которых следует из отрывка текста.
Смысловая целостность контекста описания, установившаяся связь данного
понятия с другими, уже известными, выражениями языка, позволяет выявить
его содержание. Контекстуальные определения, конечно, далеки от идеала
строгости, хотя имеют большое хождение в современном неклассическом
дискурсе.
16
1.3. Лекция: Суждение
1.3.1. Общая характеристика суждения.
1.3.2 Простые суждения.
1.3.3 Отношение между суждениями по истинности.
1.3.4. Сложное суждение и его виды.
1.3.1. Общая характеристика суждения.
Структура языка в целом, в общих чертах совпадает со структурой
мысли. Поэтому можно выявить соответствие между семантическими
категориями языка логики с грамматическими составляющими естественного
языка. В зависимости от грамматической структуры предложения, например,
русского языка могут быть: а) повествовательными; б) вопросительными,
повелительными, Эти грамматические формы позволяют адекватно выразить
в языке различные стороны человеческой активности. Логика, являясь
неотъемлемым компонентом познания, представлена в такой грамматической
форме языковых выражений, в которой представлены утверждения, то есть
форме
повествовательных предложений. Только повествовательные
предложения ( которые репрезентируют одну из форм мыслительной
деятельности) могут утверждать нечто о положении дел в мире. А
определяющая цель познания – постижение истины. Истинность и ложность
утверждений, представленные в повествовательных предложениях, в
значительной мере обусловлены их логической формой. В логике эта форма
мысли называется суждением. Суждение - форма мысли, в которой
утверждается или отрицается что-либо относительно вещей и явлений, их
свойств, отношений, и которая обладает признаком выражать либо
истину, либо ложь.
Суждения разделятся на простые и сложные.
1.3.2. Простые суждения.
Среди простых суждений различают атрибутивные суждения и
суждения с отношениями. В основе этого разделения лежит отличие
признаков: свойства от отношений.
В атрибутивных суждениях
утверждается или отрицается
принадлежность предмету определенных свойств (атрибутов). В состав
(элементы структуры) простого атрибутивного суждения входят: субъекттермин, предикат-термин, связка. Та часть суждения, которая обозначает
предмет мысли, о котором в суждении нечто утверждается (наличие или
отсутствие некоего признака), называется субъектом
и
обозначается
латинской буквой S ( от лат. subjectum- подлежащее). Часть суждения,
которая обозначает то, что утверждается о предмете мысли ( субъекте) –
называется предикатом и обозначается латинской буквой Р ( от
лат.praedicatum- сказуемое). В нестрогом смысле, можно говорить о субъекте
как о логическом подлежащем, а о предикате – логическом сказуемом.
Отношение между субъектом и предикатом устанавливается посредством
связки. Связка указывает на характер связи между предметом мысли и
17
определенным свойством. Она всегда представлена в какой-либо форме
глагола быть: «есть», «суть», «является», иногда она заменяется тире. Схема
атрибутивного суждения может быть представлена “S есть Р” или “S не есть
Р”.
Определив элементы структуры простого атрибутивного суждения,
понятным становится его определение: суждение называется простым, если
оно не содержит в себе частей, которые сами являются суждениями. То
есть не являются суждениями выражения, имеющие схему: «S есть», «есть
Р», «Р» и т.д.
Пример атрибутивного суждения: «Аристотель является основателем
логики как науки». Субъектом данного суждения является «Аристотель»,
предикатом – « основателем логики как науки», а связкой – «является».
Логическая структура данного простого суждения имеет вид: « S есть P».
Суждения отношениями
устанавливают отношения причины и
следствия, , пространственные, временные и т.д. В них говориться об
отношении между предметами. Символически суждения отношения
выражаются формулой "х Rу", где символы х и у – имена предметов, а R –
имя, обозначающее отношение между этими предметами. Читается формула:
"х и у находятся в отношении R", или "х находится в отношении R к у".
Суждения с отношениями можно рассматривать субъектно-предикатной
форме, где предметы ( х, у) – субъект суждения, а R их связывающий
предикат.
Пример суждения с отношениями. « Краснодар (х) южнее (R) Ростована-Дону (у)».
Виды простых категорических суждений. Исторически сложилось так,
что в традиционной логике особо выделяют вид простых атрибутивных
суждений – категорические суждения. Первая теория логического вывода,
силлогистика Аристотеля, устанавливает логические отношения между этим
видом суждений. В категорическом суждении утверждается или отрицается о
наличии у предмета мысли какого–либо свойства. То есть между субъектом
и предикатом данного вида суждения устанавливается категорическая
(утвердительная или отрицательная) связь.
Категорические суждения делятся на виды по качеству и количеству.
По качеству категорические суждения разделяются на утвердительные
и отрицательные. В утвердительных суждениях указывается на наличие у
предмета некоторого свойства ( «Некоторые студенты – отличники»). В
отрицательных суждениях утверждается от отсутствии какого-либо свойства
у предмета мысли. ( «Ни один космонавт не был на Марсе»). В
отрицательных суждениях речь идет не об отрицательных признаках, а об
отсутствии у предмета того или иного свойства. В отрицательных суждениях
частица «не» модифицирует связку. Например, возьмем два суждения: «
Некоторые отличники являются нестудентами» и «Некоторые отличники не
являются студентами». По смыслу они совпадают, оба суждения
18
утверждают, что определенная часть отличников исключена из класса
студентов. Но если первое суждение является утвердительным, то второе отрицательным. Суждения, имеющие структуру «S есть Р» - являются
утвердительными, а « S не есть Р» - отрицательными.
По количеству категорические суждения делятся на единичные, общие
и частные. Суждение является общим, частным или единичным в
зависимости от того говорим ли мы обо всех элементах субъекта-термина,
только некоторых из них, или же об одном предмете. Примеры суждений:
«Все студенты имеют высшее образование»(общее), «Некоторые студенты
являются отличниками» (частное), « А.С. Пушкин является гениальным
поэтом» ( единичное).
Единичные суждения в традиционной логике трактуются как общие,
так как они, как и общие суждения, наделяют определенным свойством все
элементы объема субъекта-термина ( но объемом субъекта единичного
суждения является одноэлементный класс). То есть по формальным
основаниям единичные и общие суждения можно рассматривать в качестве
тождественных. [Конечно, с точки зрения современной (математической)
логики такое рассмотрение не имеет необходимых логических оснований и
является в значительно мере произвольным]. Таким образом, простые
категорические суждения по количеству делятся на общие и частные.
При анализе рассуждений на предмет их корректности (правильности
или
неправильности)
используется
объединенная
классификация
категорических суждений по качеству и количеству.
Объединенная классификация простых категорических суждений по
качеству и количеству включает в себя следующие типы суждений:
а) общеутвердительные ( суждения , которые одновременно являются
общими
утвердительными).
Логическая
структура
общеутвердительного
суждения: « Все S суть Р»;
б) общеотрицательные (одновременно общие и отрицательные).
Структура
общеотрицательных суждений: «Ни одно S не суть Р»;
в) частноутвердительные (одновременно частные и утвердительные).
Структура частноутвердительных суждений: «Некоторые S суть Р»;
г) частноотрицательные ( одновременно частные и отрицательные).
Структура частноотрицательного суждения: « Некоторые S не суть
Р».
Выделенные объединенной классификацией типы категорических
суждений получили буквенные обозначения. Общеутвердительные суждения
называются суждения типа А , общеотрицательные – типа Е,
частноутвердительное – типа I. а частноутвердительное – суждение типа О.
Таким образом, вышеуказанные субъектно-предикатную структуру
категорических суждений
можно выразить посредством буквенных
обозначений:
19
«Все S суть Р» ─ «S a P»;
« Ни одно S не суть Р» ─ «S e P»;
« Некоторые S суть Р» ─ «S i P»;
« Некоторые S не суть Р» ─ « S o P».
1.3.3.Отношение между категорическими суждениями.
Категорические суждения находятся в различных логических
отношениях, в отношениях их совместимости по истинности, ложности.
Выделяют следующие отношения между категорическими суждениями:
противоречия ( контрадикторности), противоположности (контрарности),
субконтрарности и логического подчинения.
Отношение противоречия(контрадикторности)
Два суждения
находятся в отношении противоречия, если и только если они
несовместимы не по истинности, ни по ложности.
Отношение противоположности( контрарности). Два суждения
находятся в отношении противоположности, если и только если они не
совместимы по истинности, но совместимы по ложности.
Отношение субконтрарности. Два суждения находятся в отношении
субконтрарности, если и только если они совместимы по истинности, но не
совместимы по ложности.
Отношение логического подчинения. Суждение
В
логически
подчиняется суждению А, если и только если из А логически следует В, но из
В не следует А.
Отношение между категорическими суждениями можно изобразить
посредством логического квадрата:
Противоположность (контрарность)
Субконтрарность
Распределенность терминов в категорических суждениях.
Установление отношения между объемами терминов в категорических
суждениях является необходимым условием проверки корректности
определенного типа рассуждений. Субъект(S) и предикат (Р) могут быть
взяты в полном или не в полном объеме в их отношениях в суждениях. Если
термин взят в полном объеме, то он распределен( распределенный термин
обозначается знаком «+»), в противном случае он нераспределен
(нераспределенный термин обозначается знаком «─»).То есть, если объемы
20
терминов суждения находятся одно-однозначном отношении или их объемы
не имеют общих элементов , то эти термины распределены, распределенным
также считается термин объем которого является частью объема другого
термина. Если термин частично включается или частично исключается из
объема другого термина, он нераспределен. Объемные отношения между
терминами в категорических суждениях могут быть изображены при помощи
круговых схем Эйлера.
Рассмотрим некоторые отношения объемов терминов всех четырех
типов категорических суждений.
Суждение А – общеутвердительное( “Все S+ суть Р ─”): «Все люди –
смертны»(Рис.1)
Рис.1.
Суждение Е – общеутвердительное ( Ни одно S+ не суть Р+): «Ни одно
преступление не совершается в рамках закона» (Рис.2).
Рис.2.
Суждение I – частноутвердительное ( Некоторые S─ суть Р─):
«Некоторые преступления совершаются непреднамеренно»(Рис.3).
Рис.3.
21
Суждение О – частноотрицательное ( Некоторые S─ не суть Р+):
«Некоторые преступления не являются преднамеренными» (Рис.4).
Рис.4.
Сводная таблица распределенности терминов в категорических
суждениях:
.
Термины
Виды суждений
А
Е
I
О
S
+
+
–
–
Р
–
+
–
+
1.3.4. Сложное суждение, его виды и истинность.
Сложным называется суждение, которое состоит из простых
суждений, соединенных между собой логическими связями.
В соответствии с функциями логических связей выделяют следующие
основные виды сложных суждений: 1. соединительные (конъюнктивные);
2.разделительные (дизъюнктивные); 3.условные (импликативные); 4.
суждения эквивалентности.
Суждение может быть либо истинным, либо ложным. Эти два свойства
суждения называются его логическими значениями. Истинностное значение
сложных суждений зависит от истинностных значений, входящих в него
простых суждений, и логических союзов, связывающих их. Логические
союзы «и», «или», « если.., то …» обозначаются определенными символами.
Соединительные суждения образуются из простых с помощью их
соединения логическим союзом «и»( конъюнкцией). Символически: А Λ
В. Сложное соединительное суждение истинно, если и только если истинны,
составляющие его простые суждения.(Табл.1.) Таким образом, можно
утверждать, что конъюнкция, образуя сложное суждение из простых,
устанавливает условия его истинности: сложное соединительное суждение
является истинным , если каждое из простых суждений, входящих в него,
истинно, и ложно, если по крайней мере одно из них ложно.
Таблица истинности соединительных суждений.
22
А В
Λ
А
В
И И
И
И Л
Л
Л И
Л
Л Л
Л
Табл.1.
Разделительные сложные суждения образуются в результате
соединения простых суждений логическим союзом «или» (дизъюнкцией).
Логический союз «или» имеет два значения: строго- разделительное и
объединительно-разделительное.
Строго-разделительная
дизъюнкция
обозначается символом Ú, а нестрогая V.
Строго- разделительное суждение является истинным лишь в том
случае, когда одно из простых суждений будет истинным, а второе ложным
( Табл.2.). Объединительно-разделительное (нестрогая) суждение
устанавливает следующие условия истинности : данное сложное суждение
будет истинным, если истинным является хотя бы одно из простых,
входящих в него суждений (Табл.3.).
Пример строго-разделительного суждения. «Кончил дело – гуляй смело
или продолжай работать»(символически А Ú В).
В этом суждении
дизъюнкция устанавливает строго-разделительную связь, поэтому он истинен
лишь в случае, если одно из простых суждений: «Кончил дело – гуляй
смело»(«А»)- истинен, а «Кончил дело – продолжай работать»(«В») - ложен,
или наоборот.
Таблица истинности строго-разделительных суждений:
А В
А ÚВ
И И
Л
И Л
И
Л И
И
Л Л
Л
Табл.2.
23
Пример объединительно-разделительного (нестрогого) суждения:
«Кирилл учиться юридическом вузе и занимается спортом»( символически
АV B).
Таблица истинности
суждений.:
А
В
АV В
И
объединительно-разделительных (нестрогой)
И
И.
И
И
Л
И
Л
И
Л
Л
Л
Табл.3.
Условным называется суждением, образованное из простых суждений в
результате соединения их логическим союзом
« если…, то…»
(импликацией). Импликация устанавливает такую логическую связь между
двумя событиями, в которой одно событие является достаточным условием
для наступления другого события. Суждение, вызывающее другое событие,
называется – антецедентом (предыдущим), а вызываемое событие –
консеквентом (последующим). Символической форме записывается: А→ В.
Условное суждение ложно в одном случае: когда истинен антецедент,
а консеквент – ложен( Табл.4) Пример условного суждения: «Если сессию
сдам на отлично, то получу повышенную стипендию».
Таблица истинности условных суждений:
А В
А→В
И И
И
И Л
Л
Л И
И
Л Л
И
Табл. 4.
24
Суждение эквивалентности
образуется из простых суждений,
соединенных логическим союзом « если и только если А, то В».
Символически записывается: А↔ В. В суждении эквивалентности
утверждается
взаимная обусловленность двух явлений. Суждение
эквивалентности истинно только в случае, когда истинностное значение,
входящих в него суждений совпадают. (Табл.5). Пример суждения
эквивалентности: «Земля круглая, если и только если, неверно, что Земля
некруглая».
Таблица истинности суждения эквивалентности:
А В А
↔В
И И
И
И Л
Л
Л И
Л
Л Л
И
Табл.5.
Логический оператор отрицания. С помощью логического оператора
отрицания из суждения А образуется новое отрицательное суждение −А(
читается: «неверно, что А»), при этом, если первое суждение истинно, то
второе – ложно, а если первое суждение ложно, то второе истинно (Табл.6.) .
Суждение не-А является сложным суждением.
Таблица истинности логического оператора отрицания.
А
−А
И
Л
Л
И
Табл.6.
1.4. Лекция: Умозаключения
1.4.1. Понятие об умозаключении. Виды умозаключений.
1.4.2. Выводы логики высказываний.
а) условно-категорические умозаключения;
б) разделительно-категорические умозаключения;
в) условно-разделительные (лемматические) умозаключения
25
1.4.3. Простой категорический силлогизм.
1.4.1.Понятие об умозаключении. Виды умозаключений.
Умозаключение – это способ получения нового знания на основе
имеющегося.
Умозаключение
является
основным
способом
опосредственного
получения нового знания, он не опирается
непосредственно на показания
чувств. Новое знание извлекается из
имеющегося знания в процессе рассуждения. Структура умозаключения
предстает последовательностью суждений, состоящих из посылок и
заключения.
Посылки – суждения, представляющие исходное знание.
Заключение – суждение, к которому приходим в результате умозаключения.
Понятие умозаключения непосредственно связано с понятием
логического следования. Логическое следование устанавливает критерии
правильности и неправильности умозаключений. Умозаключение является
правильным, если и только если его логическая форма гарантирует при
истинностных посылках с необходимостью получать истинностное
заключение. Если посылки истинны, а заключение ложно, то умозаключение
неправильно. Следует отметить, что истинностное заключение можно
получить и при неправильном способе рассуждения и ложных посылках.
Основное гносеологическое достоинство логики заключается в том, что он
устанавливает отношение логического следования между посылками и
заключением и гарантирует истинность заключения при истинности
посылок.
По типу логического следования различают
дедуктивные
и
индуктивные умозаключения. Дедукция – есть процесс выведения логических
следствий из посылок. Такое знание называется выводным. Выводное знание
является демонстративным. Индукция устанавливает такую связь между
посылками и заключением, которая обеспечивает лишь некоторую
вероятность истинности заключения. Эти заключения называются
правдоподобными.
Таким образом, в строгом смысле, правильное умозаключение,
устанавливающее отношение логического следования между посылками и
заключением, является дедукция. Именно дедуктивные умозаключения
(выводы), опираясь исключительно на законы логики, устанавливают
логически необходимую связь между посылками и заключением.
1.4.2. Выводы логики высказываний.
Условно-категорические
умозаключения.
Это
двухпосылочное
умозаключение. Одна посылка является условным суждением, а вторая
посылка и заключение, могут быть либо антецедентом, либо консеквентом
первой посылки, либо их отрицанием.
К правильным условно-категорическим умозаключениям относятся
умозаключения, имеющую следующую логическую форму:
А→ В, А
________________
26
В
Данный способ умозаключение получил название modus ponens
(«утверждающий метод рассуждения»). В утверждающем способе
умозаключения устанавливается отношение логического следования между
посылками ( условным суждением А→ В, его антецедентом А) и
заключением (консеквентом В).
Другим правильным типом условно-категорических умозаключений
относятся умозаключения, имеющую следующую логическую форму:
А→ В, − В
___________________
−А
Данный способ условно-категорических умозаключений называется
modus tollens («отрицающий способ рассуждения»). В умозаключении
данной структуры осуществляется переход от условного суждения А→ В и
отрицания его консеквента − В к отрицанию антецедента − А.
Необходимо обратить внимание, что не являются правильными
следующие способы условно-категорических рассуждений:
А→ В, В
__________________
А
А→ В, − А
;
_________________
;
−В
Разделительно-категорические умозаключения. Это двухпосылочное
умозаключение. Одна из посылок - разделительное суждение ( строгая или
нестрогая дизъюнкция), а другая и заключение являются одним из членов
или отрицание какого-то
из членов этого суждения. Основными
правильными формами
разделительно-категорических умозаключений
являются :
А V В, − А
А V В, − В
__________________
____________________
;
В
А
Эти схемы рассуждений получили название modus tollendo ponens
( «отрицающе-утверждающий способ рассуждения»).
К неправильным относятся следующие
категорических умозаключений:
А V В, А
А V В, В
__________________
;
−В
−А
схемы
разделительно____________________
27
Но если нестрогую дизъюнкцию заменить строгой дизъюнкцией, то
схема умозаключений преобразуется в правильную форму :
А Ỳ В, А
А Ỳ В,
__________________
_________________
;
−В
.
−А
При этом способе умозаключения осуществляется переход от
утверждения одного из членов строгой дизъюнктивной посылки к отрицанию
другого
её члена. Умозаключения, построенные по этой схеме, называются
modus ponendo tollens (« утверждающе-отрицающий способ рассуждения»).
Условно-разделительные умозаключения. Эти умозаключения содержат
в качестве посылок несколько условных суждений и одно разделительное
суждение. Такие умозаключения называются дилеммами ( ди дважды…+
др.-гр. λήμμα предположение).
Дилеммы делятся на простые, сложные, конструктивные и
деструктивные.
Схемы правильных дилемм:
А→ B, C→B, А V C
_____________________________
___
простая конструктивная дилемма;
B
А→ B, C → D, А V C
_______________________________ __
сложная конструктивная дилемма;
BVD
A→ B, A → C, −B V −C
___________________________________ __
простая деструктивная дилемма;
−A
A → B, C→ D, −B V −D
__________________________________ __
сложная деструктивная дилемма.
−A V −C
1.4.3. Простой категорический силлогизм:
1.4.3.1.
Состав
простого
категорического
силлогизма.
1.4.3.2. Фигуры и модусы силлогизма.
1.4.3.3. Общие правила силлогизма и специальные правила фигур.
28
Теорию логических умозаключений из категорических суждений
называют силлогистикой. Правильные силлогистические умозаключения при
истинности посылок гарантируют истинность заключения. Простой
категорический
силлогизм
–
это
двухпосылочное
дедуктивное
умозаключение, в котором из двух категорических суждений выводится
третье категорическое суждение. Первые два суждения называются
посылками,
а
третье
–
заключением.
Категорическое суждение включает два понятия, которые называются
терминами: субъект- термин, предикат- термин.
В простом
категорическом силлогизме должно быть три и только три термина.
Каждый термин силлогизма должен быть представлен два и только два раза.
Термин, входящий в обе посылки, называется средним термином (terminus
medius). Средний термин устанавливает связь между остальными двумя
терминами, называемыми крайними терминами. Крайний термин,
выступающий в заключении субъектом, называется меньшим термином
((terminus minor). Крайний термин, являющийся предикатом заключения, −
большим термином (terminus major).
Термины силлогизма принято обозначать латинскими буквами: М –
средний термин, S – меньший термин, Р – больший термин. Посылка,
включающая наряду со средним термином меньший термин, называется
меньшей посылкой. Соответственно, посылка, включающая наряду со
средним термином больший термин, большей посылкой.
Пример категорического силлогизма:
Совершивший преступление(M), должен быть подвергнут наказанию(P)
Обвиняемый (S) – совершил преступление (M)
Обвиняемый(S) должен быть подвергнут наказанию (P)
Фигуры силлогизма. Так как правильность силлогизма зависит
исключительно от его формы, чрезвычайно важно выявить эти формы
правильных силлогизмов.
Силлогизмы отличаются друг от друга расположением среднего термина
в структуре посылок. Эти разновидности силлогизма называются фигурами.
Имеется четыре фигуры силлогизма.
В первой фигуре средний термин выступает в качестве субъекта в
большей посылке и предиката в меньшей (Рис. 1.).
Во второй фигуре средний термин выступает в качестве предиката в
обеих посылках (Рис. 2.).
В третьей фигуре средний термин выступает в качестве субъекта в
обеих посылках (Рис.3.).
В четвертой фигуре средний термин является предикатом в большей и
субъектом в меньшей посылках (Рис.4.).
29
Рис.1.
Рис.2.
Рис.3.
Рис.4.
Модусы силлогизма. Модусы – это разновидности силлогизма внутри
каждой фигуры, указывающие возможные сочетания видов категорических
суждений в посылках и заключении. Всего модусов 256. Так как видов
категорических суждений по объединенной классификации 4, то можно
посчитать, что в каждой фигуре 64 модуса (возможные сочетания видов
суждений, образующих посылки и заключение силлогизма), а по четырем
фигурам силлогизма – 256. Однако не все модусы являются правильными, то
есть заключение с логической необходимостью следует из посылок.
Правильных модусов – 24 ( по 6 модусов в каждой фигуре). Среди них
выделяют 19 сильных модусов и 5 – слабых. Каждому правильному модусу
еще в средневековье было присвоено имя.
Фигура 1
Barbara,
Celarent,
Darii,
Ferio
Barbari
Celaront
.
Фигура 2
Baroko
Cesare
Camestres
Festino
Camestrop
Cesaro
Фигура 3
Bokardo
Disamis
Datisi
Ferison
Darapti
Felapton
Фигура 4
Camenos
Dimaris
Camenes
Fresison
Bramantip
Fesapo
Последовательность гласных букв слева направо этих названий
указывают вид суждений соответственно большей, меньшей посылок и
заключения. Отсюда мы получим следующие сочетания видов суждений по
модусам:
Фигура 1
aaa
eae
aii
eio
aai
eao
Фигура 2
aoo
eae
aee
eio
aeo
eao
Фигура 3
oao
iai
aii
eio
aai
eao
Фигура 4
aeo
iai
aee
eio
aai
eao
30
Следовательно, Barbara, модус фигуры 1, в котором обе посылки и
заключение общеутвердительные суждения (этот вид суждений, как мы
отмечали, обозначается латинской буквой А) имеет следующую структуру:
ааа; Celarent – еае (большая посылка общеотрицательное суждение, меньшая
посылка – общеутвердительное, заключение также общеотрицательное
суждение)..
Общие правила
и специальные правила фигур категорического
силлогизма. Определены правила построения правильных категорических
силлогизмов. Выполнение каждого правила является необходимым, а всех
вместе достаточным основанием правильности модуса. Силлогизм
правильный, если все правила, предъявляемые к нему, соблюдены, если не
выполнено хотя бы одно из правил, силлогизм – неправильный.
Имеется пять правил силлогизма, которые, в свою очередь, делятся на
правила терминов и правила посылок.
Правила терминов:
(1) Средний термин должен быть распределен по крайней в одной из
посылок;
(2) Если термин нераспределен в посылке, то он не должен быть
распределен в заключении;
Правила посылок:
(3) По крайней мере одна из посылок должна быть утвердительной ( из
двух
отрицательных посылок нельзя сделать заключения);
(4) Из двух утвердительных посылок нельзя сделать отрицательного
заключения;
(5) Если одна из посылок отрицательное суждение, то заключение
должно
быть отрицательным;
Наряду с основными правилами есть два производных:
(6) Из двух частных посылок нельзя сделать заключения ( по крайней
мере
одна из посылок должна быть общим суждением);
(7) Если одна из посылок частное суждение, то и заключение должно
быть
частным.
Специальные правила фигур:
Фигура 1: 1)большая посылка должна быть общим суждением;
2) меньшая посылка – утвердительной.
Фигура 2: 1) большая посылка должна общим суждением;
2) одна из посылок – отрицательным суждением.
Фигура 3: 1) меньшая посылка должна быть утвердительной;
2) одна из посылок – общим суждением;
3) заключение – всегда частное суждение.
31
Фигура 4 имеет искусственный характер. В истории предпринимались
попытки сформулировать общие правила для нее, но они не принесли
желаемых результатов. У четвертой фигуры нет общих регламентирующих
специальных правил. Правильность умозаключений четвертой фигуры
устанавливается по общим правилам силлогизма и правильным модусам
четвертой фигуры.
32
2. ПРАКТИЧЕСКИЕ ЗАНЯТИЯ
2.1. Планы проведения семинарских занятий
1. Понятие
1.
2.
3.
4.
5.
6.
7.
Понятие как форма мышления.
Содержание и объем понятия.
Виды понятий.
Отношения между понятиями
Обобщение и ограничение понятий.
Определение понятий.
Деление понятий.
2. Суждение.
1. Суждение как форма мышления. Суждение и предложение.
2. Виды и состав простых суждений.
3. Деление суждений по качеству и количеству. Объединенная
классификация суждений по количеству и качеству.
4. Выделяющие и исключающие суждения.
5. Распределенность терминов в суждениях.
6. Сложные суждения и их виды.
7. Условия истинности сложных суждений.
8. Логические отношения между суждениями.
9. Логика вопросов и ответов
3.Основные формально-логические законы.
1. Основные черты правильного мышления.
2. Закон тождества.
3. Закон непротиворечия.
4. Закон исключенного третьего.
5. Закон достаточного основания.
6. Значение основных законов логики для правильного мышления
юриста.
4.Умозаключение
Семинарское занятие 1
1. Умозаключение как форма мышления. Виды умозаключений.
2. Непосредственные умозаключения.
3. Простой категорический силлогизм.
4. Правила простого категорического силлогизма.
5. Фигуры и модусы простого категорического силлогизма.
6. Чисто условное и условно-категорическое умозаключение.
7. Разделительно-категорические умозаключения.
8. Условно-разделительное умозаключение.
33
9. Сокращенный силлогизм (энтимема).
10. Сложные и сложносокращенные силлогизмы.
Семинарское занятие 2
1. Индуктивные умозаключения.
1.1. Понятие индукции. Полная индукция.
1.2. Неполная индукция. Популярная индукция.
1.3. Научная индукция.
2. Умозаключение по аналогии.
2.1. Понятие аналогии.
2.2. Виды аналогии.
2.3. Условия состоятельности выводов по аналогии.
2.4. Роль аналогии в науке и правовом процессе.
5.Доказательство и опровержение
1. Аргументация. Убеждение. Доказательство.
2. Состав аргументации: субъекты, структура.
3. Способы аргументации: обоснование и критика.
4. Поля аргументации.
5. Правила и ошибки в аргументации.
Тема 6. Гипотеза и следственная версия
2. Построение гипотезы (судебно-следственной версии).
3. Проверка гипотезы (судебно-следственной версии).
4. Способы доказательства гипотез (судебно-следственных версий).
34
3. КОНТРОЛЬ ОВЛАДЕНИЯ КОМПЕТЕНЦИЯМИ
Перечень названий и шифров компетенций в соответствии с ФГОС
ВПО:
 культуры
мышления,
способен
к
обобщению,
анализу,
восприятию
информации, постановке цели и выбору путей ее достижения (ОК – 3);
 способен логически верно, аргументировано и ясно строить устную и
письменную речь (ОК – 4);
 стремится к саморазвитию, повышению своей квалификации и мастерства
(ОК-7);
 способен анализировать социально значимые проблемы и процессы (ОК – 9);
35
4. МЕТОДИЧЕСКИЕ УКАЗАНИЯ ПО ВЫПОЛНЕНИЮ УЧЕБНЫХ
ПРОЕКТОВ (КУСОВЫХ РАБОТ)
По плану курсовых работ не предусмотрено
36
5. САМОСТОЯТЕЛЬНАЯ РАБОТА СТУДЕНТОВ
№
п/п
1
Содержание самостоятельной работы
Основные законы традиционной логики.
Кол. часов
6
Форма
контр.
структунологическая
схема
2
Доказательство. Правила доказательства.
6
Возможные ошибки в доказательстве.
структунологическая
схема
3
Софизмы, паралогизмы, парадоксы.
6
структунологическая
схема
4
Аргументация как вид деятельности: спор,
6
полемика, дискуссии, переговоры.
сообщение
5
Понятие.
6
тест
6
Суждение.
6
тест
7
Простой категорический силлогизм.
6
тест
8
Условные и условно-разделительные
6
силлогистические умозаключения.
9
Понятие дилеммы. Методы и приемы анализа
6
дилемм.
тест
структунологическая
схема
10
Индуктивные умозаключения
6
тест
11
Проблема. Гипотеза. Теория.
6
реферат
ИТОГО:
66
37
6. АТТЕСТАЦИЯ
Структура аттестации
1. Аттестация студентов очной формы обучения проводится по четырем
элементам:
посещаемость,
практические
работы,
промежуточное
компьютерное тестирование, итоговая аттестация. За каждый элемент в
учебном модуле студент набирает баллы, и итоговая оценка
(неудовлетворительно / удовлетворительно / хорошо / отлично, зачет /
незачет) выводится в зависимости от набранной суммы балов по всем
четырем элементам (0-20 для одномодульной дисциплины, 0-40 для
двухмодульной дисциплины). Все элементы должны выполняться вовремя в
соответствие с установленным расписанием занятием и определенными
преподавателем сроки.
2. Баллы за посещаемость (от 0 до 5 баллов) начисляются в зависимости от
процента посещенных занятий, который рассчитывается отношением
количества посещенных занятий студентом к общему количеству
проведенных занятий по дисциплине.
3. Баллы за практические работы (от 0 до 5 баллов) начисляются в
зависимости от процента выполненных работ, который рассчитывается
отношением количества выполненных работ студентом к общему количеству
определенных преподавателем работ.
4. Баллы за промежуточное компьютерное тестирование (от 0 до 5 баллов)
начисляются в зависимости от процента правильных ответов студентов на
тестовые задания, который рассчитывается отношением количества
правильных ответов студента к общему количеству тестовых заданий.
5. Баллы за итоговую аттестацию (0, от 3 до 5 баллов), которая может
проводиться
в форме письменного экзамена, устного
экзамена,
компьютерного теста или защиты учебного проекта, начисляются в
зависимости от соответствия ответа студента требованиям к этим формам.
Если ответ студента на итоговой аттестации оценивается отрицательно или
он не явился на итоговую аттестацию, то за нее он получает 0 баллов, а за
дисциплину - неудовлетворительно или незачет.
Табл.6.1 – Баллы по элементам аттестации
Элементы
аттестации
Посещаемость
Практические
работы
Промежуточное
компьютерное
тестирование
Итоговая
аттестация
Критерий
оценки
% посещ.
занятий
% выпол.
работ
Баллы
<20
≥20
≥40
≥60
≥70
≥85
<20
≥20
≥40
≥60
≥70
≥85
% прав.
ответов
<20
≥20
≥40
≥60
≥70
≥85
-
Требования
к
устному
экзамену,
письменному
экзамену, компьютерному
0
не
сдал,
не
1
-
2
3
4
5
38
явился
тесту, учебному проекту
Табл.6.2 – Перевод итоговых баллов в оценку
Кол-во баллов в
одномодульной
дисциплине
18-20
15-17
12-14
0-11
Кол-во баллов в
двухмодульной
дисциплине
36-40
30-35
24-29
0-23
Оценка
Зачет
Экзамен
5
4
3
2
зачет
зачет
зачет
незачет
отлично
хорошо
удовлетворительно
неудовлетворительно
6. В случае если студент получил оценку неудовлетворительно или незачет,
то на основании полученного им направления на пересдачу в соответствие с
графиком пересдач дисциплина сдается повторно. Если не сдана итоговая
аттестация, то она пересдается в обязательном порядке. Компьютерное
тестирование и выполнение практических работ обязательно пересдаются
студентом в случае нехватки баллов для положительной аттестации.
6.1 Примерные вопросы к промежуточному тестированию
1.
Предмет и значение логики.
2.
Чувственное познание. Абстрактное мышление.
3.
Понятие формы мышления.
4.
Закон тождества.
5.
Закон непротиворечия.
6.
Закон исключенного третьего.
7.
Закон достаточного основания.
8.
Понятие как форма мышления.
9.
Содержание и объем понятия.
10.
Виды понятий.
11.
Отношения между понятиями.
12.
Обобщение и ограничение понятий.
13.
Определение понятий.
14.
Деление понятий.
15.
Суждение как форма мышления. Суждение и предложение.
16.
Виды и состав простых суждений.
17.
Деление суждений по качеству и количеству. Объединенная классификация суждений по
качеству и количеству.
18.
Распределенность терминов в суждениях.
19.
Логические отношения между простыми суждениями (логический квадрат).
20.
Сложные суждения.
21.
Таблицы истинности.
22.
Умозаключение как форма мышления. Виды умозаключений.
23.
Непосредственные умозаключения.
24.
Простой категорический силлогизм, его структура.
25.
Фигуры категорического силлогизма.
26.
Общие правила категорического силлогизма.
27.
Чисто условное и условно-категорическое умозаключение.
39
28.
29.
30.
31.
32.
33.
34.
Разделительно-категорическое умозаключение.
Условно-разделительное (лемматическое) умозаключение.
Сокращенный силлогизм (энтимема).
Сложные и сложносокращенные силлогизмы.
Понятие индукции. Полная индукция.
Неполная индукция. Популярная индукция.
Научная индукция.
6.2 Практические задания
1. Единичными являются понятия...
а) учитель;
б) Организация Объединённых Наций;
в) наука;
г) школа № 65 г. Ростова-на-Дону;
д) первый в мире космонавт;
е) декабрист;
2. Абстрактными являются понятия ..
а) студент;
б) невоспитанность;
в) равенство;
г) институт;
д) флора;
е) героизм;
3. Понятие, являющееся одновременно конкретным и пустым …
а) Луна;
б) полководец;
в) вечный двигатель;
г) луноход;
4. Набольшим объёмом обладает понятие …
а) спортивные игры;
б) зимние виды спорта;
в) командные виды спорта.
г) летние виды спорта.
40
5. Частноотрицательным является суждение ..
а) всякий моряк умеет плавать;
б) ни одна кошка не дружит с мышами;
в) не все книги содержат полезную информацию;
г) многие люди всё ещё верят в злых духов.
6. Суждения, которые не могут быть одновременно истинными, но
могут быть одновременно ложными …
а) все лыжники - мастера спорта;
б) некоторые лыжники не являются мастерами спорта;
в) ни один лыжник не является мастером спорта;
г) отдельные лыжники - мастера спорта.
7. Укажите формулу, которой соответствует логическая структура суждения:
«Лев Толстой написал роман «Воскресенье» или он написал роман «Анна
Каренина»:
а) А ≡ Б;
б) А → Б ;
в) А  Б ;
г) А \/ Б.
8. Следствием, логически следующим из суждения «5 больше 3» является:
а) 5 больше 3 или 3 больше 5;
б) если 5 меньше 3 , т о 5 больше 3;
в) неверно, что 5 больше 3 и вместе с тем 5 равно 3;
9. Ошибка распределенности терминов допущена в следующих суждениях:
а) S+ а Р –
б) S + e P –
в) S– i Р+
г) S–o Р–
10. Схемой второй фигуры силлогизма является ..
41
11. Правилом посылок категорического силлогизма является …
а) из двух отрицательных посылок следует отрицательное заключение;
б) из двух отрицательных посылок нельзя сделать заключение;
в) из двух отрицательных посылок одна должна быть общеотрицательным
суждением.
12. Следующее умозаключение может быть построено на основе полной индукции
а) все мамонты имели бивни;
б) все грибы размножаются спорами;
в) все балканские народы говорят на славянском;
г) все цветы имеют запах.
13. Методом установления причинных связей, использованный в следующем
заключении является:
«В химической лаборатории произошло отравление. В ней производились
опыты с реактивами, содержащие железо, медь, ртуть. Было решено исключить из
работы все материалы содержащие ртуть. Поскольку отравлений после этого не
было, был сделан вывод, что причиной отравления являлись вещества, содержащие
ртуть»:
а) метод различия;
б) метод сопутствующих изменений;
в) метод остатков.
6.3 Вопросы и задания к итоговой аттестации
1.
2.
3.
Предмет и значение логики.
Чувственное познание. Абстрактное мышление.
Понятие формы мышления.
42
4.
Закон тождества.
5.
Закон непротиворечия.
6.
Закон исключенного третьего.
7.
Закон достаточного основания.
8.
Понятие как форма мышления.
9.
Содержание и объем понятия.
10.
Виды понятий.
11.
Отношения между понятиями.
12.
Обобщение и ограничение понятий.
13.
Определение понятий.
14.
Деление понятий.
15.
Суждение как форма мышления. Суждение и предложение.
16.
Виды и состав простых суждений.
17.
Деление суждений по качеству и количеству. Объединенная классификация суждений по
качеству и количеству.
18.
Распределенность терминов в суждениях.
19.
Логические отношения между простыми суждениями (логический квадрат).
20.
Сложные суждения.
21.
Таблицы истинности.
22.
Умозаключение как форма мышления. Виды умозаключений.
23.
Непосредственные умозаключения.
24.
Простой категорический силлогизм, его структура.
25.
Фигуры категорического силлогизма.
26.
Общие правила категорического силлогизма.
27.
Чисто условное и условно-категорическое умозаключение.
28.
Разделительно-категорическое умозаключение.
29.
Условно-разделительное (лемматическое) умозаключение.
30.
Сокращенный силлогизм (энтимема).
31.
Сложные и сложносокращенные силлогизмы.
32.
Понятие индукции. Полная индукция.
33.
Неполная индукция. Популярная индукция.
34.
Научная индукция.
35.
Понятие аналогии. Виды аналогии.
36.
Условия состоятельности выводов по аналогии.
37.
Роль аналогии в науке и правовом процессе.
38.
Доказательство и убеждение. Структура доказательства.
39.
Способы доказательства.
40.
Опровержение (критика). Виды опровержения.
41.
Правила и ошибки по отношению к тезису.
42.
Правила и ошибки по отношению к аргументам.
43.
Правила и ошибки демонстрации.
44.
Понятие гипотезы и ее структура.
45.
Виды гипотез. Версия.
46.
Построение гипотез и следственных версий.
47.
Проверка гипотез и следственных версий.
48.
Способы доказательства гипотез и следственных версий.
43
7.УЧЕБНО-МЕТОДИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ
7.1 Основная литература
№
п/п
Перечень литературы
1.
Гетмонова А.Д. Логика для юристов. Учебное пособие. М., 2009
2
Гетманова А.Д. Логика. М., 2008.
3
Иванов Е.А. Логика. М., 2006.
4
Кириллов В.И., Старченко А.А. Логика. М., 2008.
7.2.
Дополнительная литература
№
п/п
1
2
3
Перечень литературы
Гриценко В.П. Логика. М., 2006
Ивлев Ю.В. Логика. Учебник для вузов. М., 2008
Ивин А.А Логика. М., 2006
44
8. ИНФОРМАЦИОННО-МЕТОДИЧЕСКОЕ ОБЕСПЕЧЕНИЕ (УМК,
КОМПЬЮТЕРНЫЕ ПРОГРАММЫ, ЭЛЕКТРОННЫЕ УЧЕБНИКИ,
ИНТЕРНЕТ-РЕСУРСЫ, ЭЛЕКТРОННЫЕ БИБЛИОТЕЧНЫЕ СИСТЕМЫ)
№
п/п
Перечень
1
http://www.filosof.historic.ru/ Цифровая библиотека по философии
2
http: //www.twirpx.com
3
http://elibrary.rsl.ru/ Электронная библиотека РГБ.
4
Электронно-библиотечная система IPRbooks (ЭБС IPRbooks).
5
http://demo.grebennikon.ru
6
http://.biblioclub.ru/ «Университетская библиотека ONLINE»
45
КОНТАКТНАЯ ИНФОРМАЦИЯ ПРЕПОДАВАТЕЛЯ
Фамилия, имя, отчество:
Тазаян Араван Бабкенович
Ученая степень:
д.ф.н.
Должность:
профессор
Кабинет:
312-313
Телефон:
e-mail:
46