Автор работы: Пользователь скрыл имя, 27 Июня 2013 в 16:13, шпаргалка
Термин логика происходит от греческого слова «logos», что означает мысль, слово, разум.
Логика – это наука о законах и формах правильного мышления.
Логика: 1.классическая (формальная логика) 2. Неклассическая (пара непротиворечивая, многозначная, интуиционистская, модальная)
Предмет логики-это анализ правильности рассуждения, формулировка законов и принципов соблюдения которых является необходимым условием для получения истинных заключений)
В зависимости от характера связи между посылками и заключением – достоверного или вероятного, – а также направленности хода мысли в умозаключении, в логике выделяют дедуктивные и недедуктивные умозаключения.
Дедуктивные умозаключения – это умозаключения, в которых осуществляется переход от более общего знания к менее общему. Недедуктивные умозаключения – это умозаключения, в которых истинность посылок не гарантирует истинность заключения, оно всегда предположительно, вероятно.
Непосредственные умозаключения - такие, в которых заключение выводится из одной посылки. Например, из суждения «Все адвокаты - юристы» можно получить новое суждение «Некоторые юристы - адвокаты».
Превращение - такое умозаключение, в котором исходное суждение преобразуется в новое суждение, противоположное по качеству, и с предикатом, противоречащим предикату исходного суждения.
Чтобы превратить суждение, надо изменить его связку на противоположную, а предикат - на противоречащее понятие.
А:Все студенты первого курса изучают логику.
Ни один студент первого курса не изучает не логику.
Обращение - такое непосредственное умозаключение, в котором происходит перемена мест субъекта и предиката при сохранении качества суждения.
Обращение подчиняется правилу распределенности терминов: если термин не распределен в посылке, то он не должен быть не распределен и в заключении.
А: Общеутвердительное суждение обращается в частноутвердительное.
Все адвокаты - юристы.
Некоторые юристы - адвокаты.
«Логический квадрат» - это схема, выражающая истинностные отношения между простыми суждениями, имеющими один и тот же субъект и предикат.
В данном квадрате вершины символизируют
известные нам по объединенной классификации
простые категорические суждения: А,
Е, О, I. Стороны и диагонали можно рассматривать
как логические отношения между простыми
суждениями (кроме эквивалентных). Так,
верхняя сторона квадрата обозначает
отношение между А и Е - отношение противоположности;
Противопоставление предикату - это последовательное применение операций превращения и обращения - преобразование суждения в новое суждение, в котором субъектом становится понятие, противоречащее предикату, а предикатом - субъект исходного суждения; меняется качество суждения.
Например, из суждения «Все адвокаты - юристы» можно, противопоставляя предикат, получить «Ни один не-юрист не является адвокатом». Схематически:
Все S суть Р.
Ни одно не- Р не есть S.
Противопоставление субъекту -
Такой вывод можно осуществить, последовательно применяя обращение исходного суждения, а затем - превращение полученного результата, либо сразу следуя правилам для противопоставления субъекту:
1) для общеутвердительного
Все S есть Р.
Некоторые Р не есть не-S.
Силлогизм (греч. syllogismоs) – дедуктивное умозаключение, в котором из двух суждений (посылок) следует третье суждение (заключение). В зависимости от вида суждений (посылок), входящих в силлогизм, различают:
простой категорический силлогизм – дедуктивное умозаключение, в котором из двух категорических посылок (суждений), связанных средним термином (при соблюдении определенных правил), обязательно следует заключение. Например:
Все люди (М) дышат кислородом (Р)
Р кислородом дышу S Я
М человек S Я
Анализ структуры силлогизма следует начинать с заключения. Субъект заключения называется меньшим термином и обозначается буквой S; предикат заключения называется большим термином и обозначается буквой Р; термин, связывающий две посылки и не входящий в заключение, называется средним термином и обозначается буквой М
S – меньший термин – «Я»;
Р – больший термин – «дышат кислородом»;
М – средний термин – «человек».
Посылка, содержащая больший термин, называется «большой посылкой» («Все люди дышат кислородом»). Посылка, содержащая меньший термин, называется меньшей посылкой («Я - человек»).
Существуют правила терминов простого категорического силлогизма:
1. В силлогизме должно быть только три термина (меньший, больший, средний). Нарушение этого правила приводит к логической ошибке, которая называется «учетверением терминов».
2. Термин, не распределенный в посылках, не может быть распределен в заключении.
3. Средний термин должен быть распределен хотя бы в одной из посылок.
Выделяют также правила
посылок категорического
1. Из двух частных посылок нельзя сделать заключение.
2. Если одна из посылок частная, то и заключение должно быть частным.
3. Из двух отрицательных посылок заключение сделать нельзя. В простом категорическом силлогизме, по крайней мере, одна из посылок должна быть утвердительным суждением, иначе заключение не состоится.
4. Если одна из посылок отрицательная, то и заключение должно быть отрицательным.
Фигура силлогизма – разновидность силлогизма в зависимости от местоположения среднего термина в посылках.
Каждая из фигур силлогизма имеет свои правила:
для I фигуры – большая посылка должна быть общей, а меньшая – утвердительной;
для II фигуры – большая посылка должна быть общей, а одна из посылок – отрицательным суждением;
для III фигуры – меньшая посылка должна быть утвердительным, а заключение – частным суждениями;
для IV фигуры – вывод – всегда частное суждение. Она обычно не употребляется, ибо такое расположение терминов будет иметь слишком ограниченное познавательное значение.
Модусы силлогизма – разновидность силлогизма в зависимости от количественной и качественной характеристик суждений, входящих в его состав.
Каждая фигура силлогизма имеет свои правильные модусы:
I фигура – ААА, ЕАЕ, AII, EIO;
II фигура – ЕАЕ, АЕЕ, ЕIO, AOO;
III фигура – AAI, IAI, EAO, EIO, АII, ОАО;
IV фигура – ААI, IАI, АЕЕ, ЕАО, ЕIО.
Каждая фигура имеет свои особые правила, которые выводят' из общих.
Правила 1-й фигуры:
1. Большая посылка — общее суждение.
2. Меньшая посылка —
1-я фигура — наиболее
Например:
Все лица, лишенные свободы (М), имеют право на гуманное обращение и уважение достоинства, присущего человеческой личности (Р) H.(S) лишен свободы (М)
H.(S) имеет право на гуманное
обращение и уважение
Правила 2-й фигуры:
1. Большая посылка — общее суждение.
2. Одна из посылок —
2-я фигура применяется, когда необходимо показать, что отдельный случай (конкретное лицо, факт, явление) не может быть подведен под общее положение. Этот случай исключается из числа предметов, о которых сказано в большей посылке. В судебной практике 2-я фигура используется для заключений об отсутствии состава преступления в данном конкретном случае, для опровержения положений, противоречащих тому, о чем говорится в посылке, выражающей общее положение.
Например:
Подстрекателем (Р) признается лицо, склонившее другое лицо
к совершению преступления (М)
H.(S) не признается лицом,
к совершению преступления (М) H.(S) не является прдстрекателем (Р)
Правила 3-й фигуры:
1. Меньшая посылка —
2. Заключение — частное суждение.
Давая только частные заключения, 3-я фигура применяется чаще всего для установления частичной совместимости признаков, относящихся к одному предмету. Например:
Осмотр места происшествия (М) имеет одной из своих задач
обнаружение следов преступления (Р)
Осмотр места происшествия (М) — следственное действие (S)
Некоторые следственные действия (S) имеют одной из своих задач обнаружение следов преступления (Р)
В практике рассуждения 3-я фигура применяется сравнительно редко.
4-я фигура силлогизма также имеет свои правила и модусы. Однако выведение заключения из посылок по этой фигуре не характерно для естественного процесса рассуждения.
1.если большая посылка
2.если одна из посылок
Например:
Захват заложника (Р) — преступление против общественной безопасности (М)
Преступление против общественной безопасности (М) — общественно опасное деяние, предусмотренное Особенной частью Уголовного кодекса (S)
Некоторые общественно опасные деяния, предусмотренные Особенной частью Уголовного кодекса (S), являются захватом заложника (Р)
Чисто условное умозаключение - умозаключение, обе посылки которого являются условными суждениями.
Например:
Если изобретение создано
Если изобретение создано
В приведенном примере обе
Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.
Условно-категорическим называется умозаключение, в котором одна из посылок —условное, а другая посылка и заключение — категорические суждения.
Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.
1. В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия;
рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.
Например:
Если иск предъявлен недееспособным лицом (р), то суд оставляет иск
без рассмотрения (q)
Иск предъявлен недееспособным лицом (р)
Суд оставляет иск без рассмотрения (q)
Утверждающий модус дает достоверные выводы.
2. В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. Например:
Если иск предъявлен недееспособным лицом (р), то суд оставляет
иск без рассмотрения (q)
Суд не оставил иск без рассмотрения (не-q)
Неверно, что иск предъявлен недееспособным лицом (не-р)
Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения.
Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции. Например, разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суждений — дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим союзом «или».
Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, — утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: (1) утверждающе-отрицающий и (2) отрицающе-утверждающий.