Geum.ru

А. Б. Тазаян Учебно-методический комплекс дисциплины "Логика" Ростов-на-Дону 2010 Учебно-методический комплекс

Вид материалаУчебно-методический комплекс

Содержание


Сложным называется суждение
Соединительные суждения
Разделительные сложные суждения
Строго- разделительное суждение является истинным лишь в том случае, когда одно из простых суждений будет истинным, а второе лож
Условное суждение ложно в одном случае: когда истинен антецедент, а консеквент – ложен
Суждение эквивалентности образуется из простых суждений, соединенных логическим союзом « если и только если А, то В».
2.4. Лекция: Умозаключения
2.4.1.Понятие об умозаключении. Виды умозаключений.
2.4.2. Выводы логики высказываний.
Разделительно-категорические умозаключения
Условно-разделительные умозаключения.
2.4.3. Простой категорический силлогизм
Фигуры силлогизма
В первой фигуре средний термин выступает в качестве субъекта в большей посылке и предиката в меньшей (Рис. 1.).
Barbara, Baroko Bokardo Camenos
Общие правила и специальные правила фигур категорического силлогизма
Имеется пять правил силлогизма, которые, в свою очередь, делятся на правила терминов и правила посылок.
Фигура 1: 1)большая посылка должна быть общим суждением
Фигура 3: 1) меньшая посылка должна быть утвердительной
3. Планы проведения семинарских занятий
...
Полное содержание
Подобный материал:
1   2   3   4   5   6



2.3.4. Сложное суждение, его виды и истинность.

Сложным называется суждение, которое состоит из простых суждений, соединенных между собой логическими связями.

В соответствии с функциями логических связей выделяют следующие основные виды сложных суждений: 1. соединительные (конъюнктивные); 2.разделительные (дизъюнктивные); 3.условные (импликативные); 4. суждения эквивалентности.

Суждение может быть либо истинным, либо ложным. Эти два свойства суждения называются его логическими значениями. Истинностное значение сложных суждений зависит от истинностных значений, входящих в него простых суждений, и логических союзов, связывающих их. Логические союзы «и», «или», « если.., то …» обозначаются определенными символами.

Соединительные суждения образуются из простых с помощью их

соединения логическим союзом «и»( конъюнкцией). Символически: А Λ В. Сложное соединительное суждение истинно, если и только если истинны, составляющие его простые суждения.(Табл.1.) Таким образом, можно утверждать, что конъюнкция, образуя сложное суждение из простых, устанавливает условия его истинности: сложное соединительное суждение является истинным , если каждое из простых суждений, входящих в него, истинно, и ложно, если по крайней мере одно из них ложно.

Таблица истинности соединительных суждений.



А

В
А Λ В

И
И
И

И
Л
Л

Л
И
Л

Л
Л
Л



Табл.1.

Разделительные сложные суждения образуются в результате соединения простых суждений логическим союзом «или» (дизъюнкцией). Логический союз «или» имеет два значения: строго- разделительное и объединительно-разделительное. Строго-разделительная дизъюнкция обозначается символом Ú, а нестрогая V.


Строго- разделительное суждение является истинным лишь в том случае, когда одно из простых суждений будет истинным, а второе ложным ( Табл.2.). Объединительно-разделительное (нестрогая) суждение устанавливает следующие условия истинности : данное сложное суждение будет истинным, если истинным является хотя бы одно из простых, входящих в него суждений (Табл.3.).

Пример строго-разделительного суждения. «Кончил дело – гуляй смело или продолжай работать»(символически А Ú В). В этом суждении дизъюнкция устанавливает строго-разделительную связь, поэтому он истинен лишь в случае, если одно из простых суждений: «Кончил дело – гуляй смело»(«А»)- истинен, а «Кончил дело – продолжай работать»(«В») - ложен, или наоборот.

Таблица истинности строго-разделительных суждений:



А
В
А ÚВ

И

И
Л

И

Л
И

Л

И
И

Л

Л
Л


Табл.2.


Пример объединительно-разделительного (нестрогого) суждения: «Кирилл учиться юридическом вузе и занимается спортом»( символически АV B).


Таблица истинности объединительно-разделительных (нестрогой) суждений.:



А
В
АV В

И.
И
И

И
Л
И

Л
И
И

Л
Л
Л



Табл.3.

Условным называется суждением, образованное из простых суждений в результате соединения их логическим союзом « если…, то…» (импликацией). Импликация устанавливает такую логическую связь между двумя событиями, в которой одно событие является достаточным условием для наступления другого события. Суждение, вызывающее другое событие, называется – антецедентом (предыдущим), а вызываемое событие – консеквентом (последующим). Символической форме записывается: А→ В.

Условное суждение ложно в одном случае: когда истинен антецедент, а консеквент – ложен( Табл.4) Пример условного суждения: «Если сессию сдам на отлично, то получу повышенную стипендию».


Таблица истинности условных суждений:


А
В
А→В

И
И
И

И
Л
Л

Л
И
И

Л
Л
И


Табл. 4.


Суждение эквивалентности образуется из простых суждений, соединенных логическим союзом « если и только если А, то В». Символически записывается: А↔ В. В суждении эквивалентности утверждается взаимная обусловленность двух явлений. Суждение эквивалентности истинно только в случае, когда истинностное значение, входящих в него суждений совпадают. (Табл.5). Пример суждения эквивалентности: «Земля круглая, если и только если, неверно, что Земля некруглая».


Таблица истинности суждения эквивалентности:



А
В
А↔В

И
И
И

И
Л
Л

Л
И
Л

Л
Л
И



Табл.5.


Логический оператор отрицания. С помощью логического оператора отрицания из суждения А образуется новое отрицательное суждение −А( читается: «неверно, что А»), при этом, если первое суждение истинно, то второе – ложно, а если первое суждение ложно, то второе истинно (Табл.6.) . Суждение не-А является сложным суждением.


Таблица истинности логического оператора отрицания.



А
− А

И
Л

Л
И


Табл.6.


2.4. Лекция: Умозаключения

2.4.1. Понятие об умозаключении. Виды умозаключений.

2.4.2. Выводы логики высказываний.

а) условно-категорические умозаключения;

б) разделительно-категорические умозаключения;

в) условно-разделительные (лемматические) умозаключения

2.4.3. Простой категорический силлогизм.


2.4.1.Понятие об умозаключении. Виды умозаключений.

Умозаключение – это способ получения нового знания на основе имеющегося. Умозаключение является основным способом опосредственного получения нового знания, он не опирается непосредственно на показания чувств. Новое знание извлекается из имеющегося знания в процессе рассуждения. Структура умозаключения предстает последовательностью суждений, состоящих из посылок и заключения. Посылки – суждения, представляющие исходное знание. Заключение – суждение, к которому приходим в результате умозаключения.

Понятие умозаключения непосредственно связано с понятием логического следования. Логическое следование устанавливает критерии правильности и неправильности умозаключений. Умозаключение является правильным, если и только если его логическая форма гарантирует при истинностных посылках с необходимостью получать истинностное заключение. Если посылки истинны, а заключение ложно, то умозаключение неправильно. Следует отметить, что истинностное заключение можно получить и при неправильном способе рассуждения и ложных посылках. Основное гносеологическое достоинство логики заключается в том, что он устанавливает отношение логического следования между посылками и заключением и гарантирует истинность заключения при истинности посылок.

По типу логического следования различают дедуктивные и индуктивные умозаключения. Дедукция – есть процесс выведения логических следствий из посылок. Такое знание называется выводным. Выводное знание является демонстративным. Индукция устанавливает такую связь между посылками и заключением, которая обеспечивает лишь некоторую вероятность истинности заключения. Эти заключения называются правдоподобными.

Таким образом, в строгом смысле, правильное умозаключение, устанавливающее отношение логического следования между посылками и заключением, является дедукция. Именно дедуктивные умозаключения (выводы), опираясь исключительно на законы логики, устанавливают логически необходимую связь между посылками и заключением.

2.4.2. Выводы логики высказываний.

Условно-категорические умозаключения. Это двухпосылочное умозаключение. Одна посылка является условным суждением, а вторая посылка и заключение, могут быть либо антецедентом, либо консеквентом первой посылки, либо их отрицанием.

К правильным условно-категорическим умозаключениям относятся умозаключения, имеющую следующую логическую форму:

А→ В, А

________________

В

Данный способ умозаключение получил название modus ponens («утверждающий метод рассуждения»). В утверждающем способе умозаключения устанавливается отношение логического следования между посылками ( условным суждением А→ В, его антецедентом А) и заключением (консеквентом В).

Другим правильным типом условно-категорических умозаключений относятся умозаключения, имеющую следующую логическую форму:


А→ В, − В

___________________

− А

Данный способ условно-категорических умозаключений называется modus tollens («отрицающий способ рассуждения»). В умозаключении данной структуры осуществляется переход от условного суждения А→ В и отрицания его консеквента − В к отрицанию антецедента − А.

Необходимо обратить внимание, что не являются правильными следующие способы условно-категорических рассуждений:


А→ В, В А→ В, − А

__________________ ; _________________;

А − В


Разделительно-категорические умозаключения. Это двухпосылочное умозаключение. Одна из посылок - разделительное суждение ( строгая или нестрогая дизъюнкция), а другая и заключение являются одним из членов или отрицание какого-то из членов этого суждения. Основными правильными формами разделительно-категорических умозаключений являются :

А V В, − А А V В, − В

__________________ ; ____________________
В А


Эти схемы рассуждений получили название modus tollendo ponens

( «отрицающе-утверждающий способ рассуждения»).


К неправильным относятся следующие схемы разделительно-категорических умозаключений:

А V В, А А V В, В

__________________ ; ____________________
− В − А


Но если нестрогую дизъюнкцию заменить строгой дизъюнкцией, то схема умозаключений преобразуется в правильную форму :


А Ỳ В, А А Ỳ В,

__________________ ; _________________ .
− В − А


При этом способе умозаключения осуществляется переход от утверждения одного из членов строгой дизъюнктивной посылки к отрицанию другого

её члена. Умозаключения, построенные по этой схеме, называются modus ponendo tollens (« утверждающе-отрицающий способ рассуждения»).


Условно-разделительные умозаключения. Эти умозаключения содержат в качестве посылок несколько условных суждений и одно разделительное суждение. Такие умозаключения называются дилеммами ( ди дважды…+ др.-гр. λήμμα предположение).

Дилеммы делятся на простые, сложные, конструктивные и деструктивные.

Схемы правильных дилемм:


А→ B, C→B, А V C

_____________________________ ___ простая конструктивная дилемма;

B


А→ B, C → D, А V C

_______________________________ __ сложная конструктивная дилемма;

B V D


A→ B, A → C, −B V −C

___________________________________ __ простая деструктивная дилемма;

− A


A → B, C→ D, −B V −D

__________________________________ __ сложная деструктивная дилемма.

−A V −C


2.4.3. Простой категорический силлогизм:

2.4.3.1. Состав простого категорического силлогизма.
2.4.3.2. Фигуры и модусы силлогизма.

2.4.3.3. Общие правила силлогизма и специальные правила фигур.


Теорию логических умозаключений из категорических суждений называют силлогистикой. Правильные силлогистические умозаключения при истинности посылок гарантируют истинность заключения. Простой категорический силлогизм – это двухпосылочное дедуктивное умозаключение, в котором из двух категорических суждений выводится третье категорическое суждение. Первые два суждения называются посылками, а третье – заключением.
Категорическое суждение включает два понятия, которые называются терминами: субъект- термин, предикат- термин. В простом категорическом силлогизме должно быть три и только три термина. Каждый термин силлогизма должен быть представлен два и только два раза. Термин, входящий в обе посылки, называется средним термином (terminus medius). Средний термин устанавливает связь между остальными двумя терминами, называемыми крайними терминами. Крайний термин, выступающий в заключении субъектом, называется меньшим термином ((terminus minor). Крайний термин, являющийся предикатом заключения, − большим термином (terminus major).

Термины силлогизма принято обозначать латинскими буквами: М – средний термин, S – меньший термин, Р – больший термин. Посылка, включающая наряду со средним термином меньший термин, называется меньшей посылкой. Соответственно, посылка, включающая наряду со средним термином больший термин, большей посылкой.

Пример категорического силлогизма:


Совершивший преступление(M), должен быть подвергнут наказанию(P)

Обвиняемый (S) – совершил преступление (M)

Обвиняемый(S) должен быть подвергнут наказанию (P)


Фигуры силлогизма. Так как правильность силлогизма зависит исключительно от его формы, чрезвычайно важно выявить эти формы правильных силлогизмов.

Силлогизмы отличаются друг от друга расположением среднего термина в структуре посылок. Эти разновидности силлогизма называются фигурами. Имеется четыре фигуры силлогизма.

В первой фигуре средний термин выступает в качестве субъекта в большей посылке и предиката в меньшей (Рис. 1.).

Во второй фигуре средний термин выступает в качестве предиката в обеих посылках (Рис. 2.).

В третьей фигуре средний термин выступает в качестве субъекта в обеих посылках (Рис.3.).

В четвертой фигуре средний термин является предикатом в большей и субъектом в меньшей посылках (Рис.4.).




Рис.1. Рис.2. Рис.3. Рис.4.


Модусы силлогизма. Модусы – это разновидности силлогизма внутри каждой фигуры, указывающие возможные сочетания видов категорических суждений в посылках и заключении. Всего модусов 256. Так как видов категорических суждений по объединенной классификации 4, то можно посчитать, что в каждой фигуре 64 модуса (возможные сочетания видов суждений, образующих посылки и заключение силлогизма), а по четырем фигурам силлогизма – 256. Однако не все модусы являются правильными, то есть заключение с логической необходимостью следует из посылок. Правильных модусов – 24 ( по 6 модусов в каждой фигуре). Среди них выделяют 19 сильных модусов и 5 – слабых. Каждому правильному модусу еще в средневековье было присвоено имя.


Фигура 1 Фигура 2 Фигура 3 Фигура 4

Barbara, Baroko Bokardo Camenos

Celarent, Cesare Disamis Dimaris

Darii, Camestres Datisi Camenes

Ferio Festino Ferison Fresison

Barbari Camestrop Darapti Bramantip

Celaront Cesaro Felapton Fesapo

.

Последовательность гласных букв слева направо этих названий указывают вид суждений соответственно большей, меньшей посылок и заключения. Отсюда мы получим следующие сочетания видов суждений по модусам:


Фигура 1 Фигура 2 Фигура 3 Фигура 4

aaa aoo oao aeo

eae eae iai iai

aii aee aii aee

eio eio eio eio

aai aeo aai aai

eao eao eao eao


Следовательно, Barbara, модус фигуры 1, в котором обе посылки и заключение общеутвердительные суждения (этот вид суждений, как мы отмечали, обозначается латинской буквой А) имеет следующую структуру: ааа; Celarent – еае (большая посылка общеотрицательное суждение, меньшая посылка – общеутвердительное, заключение также общеотрицательное суждение)..

Общие правила и специальные правила фигур категорического силлогизма. Определены правила построения правильных категорических силлогизмов. Выполнение каждого правила является необходимым, а всех вместе достаточным основанием правильности модуса. Силлогизм правильный, если все правила, предъявляемые к нему, соблюдены, если не выполнено хотя бы одно из правил, силлогизм – неправильный.

Имеется пять правил силлогизма, которые, в свою очередь, делятся на правила терминов и правила посылок.

Правила терминов:

(1) Средний термин должен быть распределен по крайней в одной из

посылок;

(2) Если термин нераспределен в посылке, то он не должен быть

распределен в заключении;

Правила посылок:

(3) По крайней мере одна из посылок должна быть утвердительной ( из двух

отрицательных посылок нельзя сделать заключения);

(4) Из двух утвердительных посылок нельзя сделать отрицательного

заключения;

(5) Если одна из посылок отрицательное суждение, то заключение должно

быть отрицательным;

Наряду с основными правилами есть два производных:

(6) Из двух частных посылок нельзя сделать заключения ( по крайней мере

одна из посылок должна быть общим суждением);

(7) Если одна из посылок частное суждение, то и заключение должно быть

частным.

Специальные правила фигур:

Фигура 1: 1)большая посылка должна быть общим суждением;

2) меньшая посылка – утвердительной.

Фигура 2: 1) большая посылка должна общим суждением;

2) одна из посылок – отрицательным суждением.


Фигура 3: 1) меньшая посылка должна быть утвердительной;

2) одна из посылок – общим суждением;

3) заключение – всегда частное суждение.

Фигура 4 имеет искусственный характер. В истории предпринимались попытки сформулировать общие правила для нее, но они не принесли желаемых результатов. У четвертой фигуры нет общих регламентирующих специальных правил. Правильность умозаключений четвертой фигуры устанавливается по общим правилам силлогизма и правильным модусам четвертой фигуры. .


 

3. Планы проведения семинарских занятий

3.1.Семинар: Логические и социально-психологические основы теории аргументации.

3.1.1. Логические основы аргументации.

а) понятия «доказательство», «опровержение»;

б) виды доказательства: прямое, непрямое;

в) способы опровержения: опровержения тезиса, критика аргументов,

выявление несостоятельности демонстрации;

г) правила и возможные ошибки в процедурах обоснования: правила по

отношению к тезису, правила по отношению к аргументам, правила

относительно формы доказательства;

3 .1.2 Социально-психологические аспекты аргументации.

а) спор и дискуссии как разновидности аргументации

б) уловки споров и способы их нейтрализации;

в) рационализация споров: понятие о стратегии и тактике споров.

3.1.3. Спор и дискуссии как разновидности аргументации.

а)понятия «спор», «дискуссия». Виды споров.

б) уловки споров и способы их нейтрализации;

в) стратегия и тактика спора.


Литература

Гетманова А.Д. Логика. – М.,2007

Кириллов В.И., Старченко А.А. Логика. Учебник для юридических вузов. – М., 2004.

Курбатов В.И. Логика. – Ростов-на-Дону,2003

Солодухин О.А. Логика для юристов. – Ростов-на-Дону, 2003.


4.Темы контрольных работ.


Вариант №1

1.Предмет и значение логики.

2.Сделайте вывод из посылок, с помощью общих правил силлогизма

установите, следует ли с необходимостью заключение.

Все студенты юридического факультета изучают логику Иванов студент юридического факультета

_____________________________________________________________________

Следовательно, ...

Вариант №2

1.Индуктивные умозаключения: общая характеристика

2. Подберите понятия, противоположные и противоречащие данным : а)большой; б)холодный климат; в)верность; г)законный; д)глубокий; ж)смелый.


Вариант №3

1.Суждение: общая характеристика. Простые суждения.

2.Из терминов "римский раб"(субъект-термин) и "не обладал правами гражданина"(предикат-термин) составьте категорическое суждение, дайте его

объединенную классификацию по качеству и количеству, с помощью круговых схем Эйлера, установите распределенность субъект-термина и предикат-термина.


Вариант №4

1. Логика и язык.

2. Сделайте полный разбор силлогизма: укажите заключение и посылки, средний, меньший и больший термины, меньшую и большую посылки. Установите его правильность любым известным вам способом.


Вариант №5.

1.Сложное суждение и его виды.

2.Определите вид отношений между понятиями, изобразите

его с помощью круговых схем :

а) прямая линия, кривая линия;

б)юрист, педагог ;

в) виновность, невиновность;

г)юрист, прокурор, судья;

д) следователь, следователь прокуратуры.


Вариант №6.

1.Дедуктивные умозаключения.

2.Дайте полную логическую характеристику понятиям: а)юрист; б)Верховный суд РФ; в)халатность.


Вариант №7.

1.Основные аспекты языка. Семантические категории выражений языка.

2Укажите распределенность терминов следующих категорических суждений:

а) некоторые следователи не имеют высшего образования;

б) ни один человек не должен страдать за правду;

в) некоторые общественно опасные деяния являются преступлениями против свободы и достоинства личности;

г) все свидетели являются в суд по повестке.

Вариант №8.

1.Отношения между категорическими суждениями по истинности. 2.Дайте анализ силлогизма (определите состав, фигуру, его правильность):

Некоторые города РФ-столицы автономных республик

Некоторые населенные пункты Урала-города РФ

____________________________________________________________________________

Следовательно, некоторые населенные пункты Урала - столицы

автономных республик

Вариант №9.

1. Простой категорический силлогизм.

2. Определите вид отношений между понятиями, изобразите его в круговых схемах Эйлера: а) юрист, прокурор, судья; б)виновность, невиновность; в) истина, ложь; г)юрист, депутат; д)следователь прокуратуры, старший следователь прокуратуры.


Вариант №10

1.Понятие как форма мышления. Виды понятий.

2.Дайте анализ силлогизма: определите состав, фигуру, модус, определите его правильность:


Все кошки-млекопитающие

Ни одна собака - не кошка

_______________________________________________

Ни одна собака не является млекопитающей


Вариант № 11

1. Аналогия как вид умозаключения, ее структура.

2.В данных атрибутивных суждениях найдите субъект-термин, предикат-термин, кванторное слово:

а) лицо, виновное в совершении преступления, подлежит к уголовной ответственности;

б) большая часть следственных действий имеет одной из своих задач выявление следов преступления;

в) ни один преступник не должен уйти от наказания ;

г) некоторые осужденные к лишению свободы не содержатся в

исправительно-трудовой колонии.


Вариант №12

1.Отношения между понятиями.

2.Найдите основание и следствие в условных посылках, сделайте вывод,

постройте его схему:


Обмен жилыми помещениями может быть судом признан недействительным, если он произведен с нарушением требований, предусмотренных жилищным кодексом РФ. В случае признания обмена недействительным стороны подлежат переселению в ранее занимаемые помещения.


Вариант №13

1.Непосредственные умозаключения.

2.Приведите примеры понятий, являющихся одновременно (в случае не выполнимости условия, укажите причину) : а)конкретными и пустыми; б)конкретными и единичными; в)абстрактными и общими; г)пустыми и общими;

д)абстрактными и общими.


Вариант №14

1.Обобщение и ограничение понятий. Деление понятий.

2.Сделайте полный разбор силлогизма : укажите термины, большую и меньшую посылки, фигуру, установите его правильность с помощью общих

правил силлогизма .


Ни одна научная истина не основана на вере

Всякое религиозное учение основано на вере

__________________________________________________________________

Ни одно религиозное учение не является научной истиной


Вариант №15.

1. Определение понятий.

2. Проверьте корректность следующего рассуждения, построенное на основе логического отношения между суждениями:

Истинно, что некоторые болезни не излечимы. Значит, истинно, что некоторые болезни излечимы.


Вариант №16

1.Индуктивные методы установления причинных связей.

2 Определите понятия, обладающие наибольшим объемом в каждом из приведенных ниже групп:

2.1 а) следователь, следователь прокуратуры, старший следователь прокуратуры;

б) наказание, лишение свободы, ссылка ;

г) уголовное преступление, преступление, преступление против личности, преступление против Н.

2.2. Из нижеперечисленных понятий выделите конкретные понятия :

а) юридический закон ; б) законность; в) закон ; г) вменяемость; е)невменяемость.


Вариант №17.

1.Классификация.

2.Восстановите энтимему, установите его правильность :

Обвиняемый имеет право на защиту.

Следовательно, Н. имеет право на защиту.


Вариант №18.

1.Основные законы традиционной логики.

2.Сделайте вывод (если это возможно) путем обращения, проверьте его правильность с помощью круговых схем;

а) все студенты юридического факультета изучают логику;

б) ни один студент юридического факультета не изучает логику;

в) ни один студент юридического факультета не изучает квантовую механику;

г) все экономические законы объективны;

д) некоторые юристы - преподаватели правовых дисциплин в вузах;

е) всякое правонарушение -противоправное деяние;

ё) некоторые правонарушения - преступления.


Вариант №19.

1.Понятие доказательства.

2.Дайте объединенную классификацию суждения, приведите их схемы и буквенные обозначения, установите распределенность субъекта-термина и предиката-термина:


Некоторые выдающиеся юристы не имеют ораторских способностей.


Вариант №20

1. Условия истинности сложных суждений(табличное определение).

2.1.Укажите пустые ,единичные и общие понятия : а)сказка; б) человек, побывавший на Марсе; в)ОНН; г)Баба Яга ; д) декабрист; е)первый в мире космонавт; ж) астронавт, побывавший на Луне.

2.2. Определите вид отношений между понятиями, изобразите его с помощью круговых схем: а)обвинительный приговор, оправдательный приговор; б) преступление, разбой; в) преступление, уголовное преступление.


Вариант №21.

1.Опровержение как форма доказательного рассуждения.

2.Сделайте вывод из посылок, определите термины, фигуру, установите

следует ли с необходимостью заключение:


Лицо, совершившее преступление в состоянии опьянения, не освобождается от уголовной ответственности

Н. не освобожден от уголовной ответственности

______________________________________________________________________

Следовательно, ...


Вариант №22.

1.Роль выводов по аналогии в познании.

2.Укажите пары суждений, которые находятся в логических отношениях контрарности, контрадикторности, субконтрарности и подчинения :


а)всякий свидетель, давший заведомо ложные показания, наказывается в соответствии УК РФ;

б) ни один свидетель, давший заведомо ложные показания, не наказывается в соответствии УК РФ;

в) некоторые свидетели, давшие заведомо ложные показания, не

наказываются в соответствии УК РФ;

г) некоторые свидетели, давшие заведомо ложные показания,

наказываются в соответствии УК РФ.


Вариант №23.

1. Правила доказательного рассуждения.

2.1. Дайте полную логическую характеристику понятиям :а)нормативный акт; б)Конституция РФ.

2.2. Укажите, в каком отношении находятся объемы следующих понятий : а)дедушка, отец; б) мать, дочь ; в)сын, отец ; г) мать, бабушка; д)дедушка, отец, сын.


5. Примеры типовых логических задач к учебному курсу.

5.1. Понятие.

а)виды понятий. Понятия делятся на : единичные и общие, конкретные и

абстрактные, положительные и отрицательные, относительные и безотносительные, собирательные и несобирательные.


Упражнение. Дайте полную характеристику понятию «юридическое лицо» (дать полную характеристику понятию - это значит определить к какому из

перечисленных видов понятий оно относится).


Юридическое лицо: непустое, общее, конкретное, положительное, относительное, несобирательное.


б) отношения между понятиями. По отношению друг к другу понятия делятся на сравнимые и несравнимые. В логическом отношении могут находиться только сравнимые понятия, которые в свою очередь делятся на совместимые и несовместимые. Выделяют три вида отношений по совместимости : равнозначность, перекрещивание(пересечение) и подчинение; и три вида отношений по несовместимости: соподчинение, противоположности, противоречия. Отношение между понятиями можно изобразить посредством круговых схем Эйлера.


5.1.1.Упражнение Определите вид отношений между несовместимыми понятиями, изобразите его с помощью круговых схем Эйлера : юрист, прокурор, следователь – эти понятия находятся в отношении соподчинения.


а)юрист,

б)прокурор,

в) следователь.


5.1.2.Упражнение Определите вид отношения между совместимыми понятиями , изобразите его с помощью круговых схем Эйлера: юрист, прокурор - эти понятия находятся в отношении подчинения (подчиняющее понятие юрист, подчиненное адвокат).


а) юрист,

б) адвокат


в) обобщение и ограничение понятий. Логическая операция обобщения осуществляет переход от понятия с меньшим объемом, но с большим содержанием, к понятию с большим объемом , но с меньшим содержанием.

Ограничение понятия - логическая операция, осуществляющая переход от понятия с большим объемом, но с меньшим содержанием, к понятию с меньшим объемом, но с большим содержанием.


5.1.3.Упражнение Обобщите понятие: грабеж.

Грабеж - преступление.


5.1.4.Упражнение Ограничьте понятие : преступление.

Преступление - экономическое преступление.


г) деление понятий. Логическая операция деления позволяет с помощью

избранного основания(признаку, по которому осуществляется деление) распределить объем делимого понятия на ряд членов деления. Логическая структура деления включает: делимое понятие, члены деления, основание деления. Деление должно производится в соответствии со следующими правилами:

  • деление должно быть соразмерным. Нарушение этого правила ведет к следующим логическим ошибкам: а) неполноте деления(не выявляются все члены делимого понятия); б) деление с избыточными членами(т.е. включаются в качестве членов деления понятия, которые не входят в объем делимого понятия) ;
  • деление должно производится только по одному основанию;
  • члены деления должны исключать друг друга;
  • деление должно быть непрерывным.

Выделяют два вида деления: по изменению видообразующего признака, дихотомическое .


5.1.5.Упражнение Произведите деление понятия " государственное устройство" (основание деления - формы государственного устройства).


По формам государственное устройство делится на унитарное,

федеративное и конфедеративное. Делимое понятие - государственное

устройство. Основание деления - формы государственного устройства,

члены деления - унитарная, федеративная и конфедеративная формы государственного устройства.


5.2.Суждение..

Суждение - это форма мысли, в которой что-либо утверждается или отрицается о существовании предметов, связях предметов или об отношениях между предметами. Суждение может соответствовать или не соответствовать действительности(быть истинным или ложным). Суждения делятся на простые и сложные. Простые суждения. Простым называется суждение, в котором нельзя выделить правильную часть, не совпадающую с целым, в свою очередь, являющуюся суждением. Простые суждения делятся на атрибутивные, суждения существования и суждения с отношениями. Атрибутивные суждения делятся по качеству (содержанию) на утвердительные и отрицательные , по количеству (объему) - на единичные, частные и общие. Единичные суждения по своим логическим характеристикам в традиционной логике в значительной мере совпадают с общими суждениями, поэтому они не выделяются в класс самостоятельных суждений и входят в множество общих суждений.

Объединенная классификация атрибутивных суждений по качеству и количеству (выделяет следующие виды суждений): общеутвердительные, частноутвердительные, общеотрицательные, частноотрицательные.

Одним из существенных логических характеристик атрибутивных суждений

является распределенность их терминов, указывающая на отношение объемов S-термина (субъекта-термина) и Р-термина (предиката-термина). Термин считается распределенным, если он берется в полном объеме. Субъект-термин распределен в общих суждениях, а предикат-термин в отрицательных.


5.2.1.Упражнение Дайте объединенную классификацию суждений, включающих термины: незаконные сделки (субъект-термин), недействительны (предикат-термин).


Все незаконные сделки являются недействительными;

Все S суть Р (класс общеутвердительных суждений обозначается

буквой А)

Некоторые незаконные сделки являются недействительными.

Некоторые S суть Р (класс частноутвердительных суждений обозначается буквой J).

Ни одна незаконная сделка не является недействительной.

Ни одно S не суть Р (класс общеотрицательных суждений обозначается буквой Е).

Некоторые незаконные сделки не являются недействительными.

Некоторые S не суть Р (класс частноотрицательных суждений обозначается буквой О).


5.2.2.Упражнение. Укажите, какие из приведенных схем соответствуют

отношению терминов в данных суждений:

а) все свидетели являются в суд по повестке;

б) некоторые свидетели являются в суд по повестке;

в)ни один свидетель не является в суд по повестке;

г) некоторые свидетели не являются в суд по повестке.
  • отношение терминов в суждении (а) представлено в схеме (г);
  • отношение терминов в суждении (б) представлено в схеме (д);
  • отношение терминов в суждении (в) представлено в схеме (в);
  • отношение терминов в суждении (г) представлено в схеме (а)

а) SaP;

б) SoP;

в)SeP;

г) SiP.


Сложные суждения.

Суждение, включающее в качестве составных частей простые суждения, связанные логическими связками - конъюнкцией, дизъюнкцией, импликацией - называется сложным.

В соответствии с функциями логических связок выделяют следующие виды сложных суждений :

(а) соединительные (конъюнктивные);

(б) разделительные (дизъюнктивные);

(в) условные (импликативные).


5.2.3.Упражнение Установите вид сложного суждения, укажите его составные части( простые суждения), постройте схему: оскорбление может быть нанесено либо случайно, либо намеренно.


Составные части данного сложного суждения - оскорбление может быть нанесено случайно (обозначим это простое суждение латинской

буквой р); оскорбление может быть нанесено намеренно (обозначим буквой

q ). Таким образом данное сложное суждение включает два простых суждения( р и q), связанных логической связкой (дизъюнкцией, представленной в грамматической форме " ...либо,...либо..." Указанное разделительное суждение (разделительное потому что простые суждения связаны между собой дизъюнкцией) может быть представлено следующей формулой : р V q.


5.2.4.Упражнение С помощью простых суждений "Я учусь в ИУБиП",

"Я люблю свою будущую профессию", " Я стану хорошим специалистом", составьте сложное суждение, соответствующее схеме (pL q) → r

"Если я учусь в ИУБиП и люблю свою профессию, то стану хорошим специалистом».

5.2.5.Упражнение Установите, является ли законом логики следующая формула:(p V q) → ­ − p


p q p v q → ─ p

и и и и и л л

и л и и л л л

л и л и и и и

л л л л л и и


Не является, так как в таблице истинности первая и вторая строки указывают на ложность суждения.


5.3. Умозаключения.

Умозаключение - это форма мысли, в которой из одного или нескольких истинных суждений с помощью определенных правил вывода получается новое суждение. Умозаключения делятся на: дедуктивные , индуктивные и умозаключения по аналогии.

Простой категорический силлогизм является дедуктивным умозаключением, в котором из двух истинностных категорических суждений с помощью логических правил с необходимостью выводиться заключение, являющееся тоже категорическим суждением. В состав силлогизма входит входят три и только три термина(больший, меньший и средний).Каждый термин используется два и только два раза.

В зависимости от расположения среднего термина в категорическом силлогизме выделяют четыре фигуры. В традиционной логике сформулированы две группы правил - общие правила силлогизма и специальные правила фигур,- соблюдение которых при истинности посылок гарантирует истинность заключения.


5.3.1.Упражнение Сделайте полный разбор силлогизма:

укажите заключение и посылки, средний, больший и меньший термины, меньшую и большую посылки, фигуру, изобразите в круговых схемах Эйлера отношения между терминами:


Все студенты юридического факультета (М) изучают логику(Р)

Иванов (S) - студент юридического факультета (М).

___________________________________________

Следовательно, Иванов(S) - изучает логику (Р).


5.3.2.Упражнение Установите фигуру и модус силлогизма,

определите его правильность, используя специальные правила фигур.


Ни один невиновный не должен быть привлечен к уголовной ответственности

Н. - невиновен

__________________________________________________________________

Н. не должен быть привлечен к уголовной ответственности


Определяем: а) термины силлогизма; б) виды суждений, составляющих его

посылки и заключение.


Ни один невиновный (М) не должен быть привлечен к уголовной

ответственности (Р)

Н. ( S) - невиновен (М).

_________________________________

Н.(S) - не должен быть привлечен к уголовной ответственности(Р).


Логическая структура данного умозаключения указывает, что средний термин выступает в качестве субъекта(S) в большей посылке и предиката

(Р) в меньшей Следовательно, данный силлогизм первой фигуры.:


М ____________________Р


S ___________________ M

_____________________________

S P

Теперь устанавливаем виды суждений, выступающих в качестве посылок и заключения силлогизма: большая посылка представлена общеотрицательным суждением, меньшая посылка - общеутвердительным, заключение --- общеотрицательным - ЕАЕ ( Gelarent-это правильный модус первой фигуры). Далее проверяем выполняет ли данный силлогизм специальные правила первой фигуры: большая посылка ─ общее суждение , а меньшая ─ утвердительное. Данный силлогизм соответствует требованиям специальных правил первой фигуры, следовательно, он правильный.


5.3.3.Упражнение. Восстановите до полного силлогизма, приведенную

ниже энтимему (энтимема - сокращенный категорический силлогизм, в котором пропущена либо одна из посылок, либо заключение) :


Лица, совершившие хулиганский поступок, привлекаются к уголовной ответственности.

Н.- не должен быть привлечен к уголовной ответственности.


В данной энтимеме опущена меньшая посылка, которую следует восстановить: Н. не совершал хулиганских поступков,

Восстановленный силлогизм приобретает следующий вид :


Лица, совершившие хулиганский поступок, привлекаются к уголовной ответственности.

Н.- не совершал хулиганских поступков

_________________________________________________________

Н.- не должен быть привлечен к уголовной ответственности.


Правильность данного силлогизма можно проверить тремя разными способами : с помощью общих правил силлогизма, специальных правил фигур, посредством установления соответствия модуса данного силлогизма правильным модусам, соответствующей фигуры.

В соответствии с процедурами предыдущего задания устанавливаем фигуру и модус данного силлогизма:


М ____________________Р 1 фигура модус АЕЕ


S ___________________ M

_____________________________

S


Согласно специальным правилам первой фигуры меньшая посылка должна

быть утвердительным суждением, а в данном суждении она отрицательная -

«Н.- не совершал хулиганских поступков». К правильным модусам первой фигуры относятся: ААА, ЕАЕ, AII,EIO. Модус рассматриваемого силлогизма ─ АЕЕ ─ не относится к правильным. Таким образом, можно заключить, что данный силлогизм неправильный, его неправильность мы установили двумя способами: посредством специальных правил первой фигуры и соответствия его модуса правильным модусам.


Образец контрольной работы.


НОУ ВПО ИНСТИТУТ УПРАВЛЕНИЯ, БИЗНЕСА И ПРАВА

Кафедра “ Государственно-правовых и гуманитарных дисциплин”


Контрольная работа по логике

(вариант № )


Выполнил студент гр. ЮЗ-113

СИДОРОВ В.В.

проверил преподаватель ИВАНОВ А.А.


Ростов-на-Дону 2010


Вариант № N.

Дайте анализ силлогизма (определите состав, фигуру, установите его правильность).


Совершивший преступление, должен быть подвергнут наказанию

Обвиняемый – совершил преступление

Обвиняемый должен быть подвергнут наказанию


Выполнение контрольной работы включает два задания. Во-первых, необходимо дать теоретическое изложение содержания силлогизма. Во-вторых, опираясь на теорию, выполнить конкретное задание по теме простого категорического силлогизма.


Силлогизм является видом дедуктивных умозаключений. Умозаключение ─ форма мысли, в которой из одного или нескольких суждений, называемых посылками, на основании определенных правил выводится новое суждение, называемое следствием или заключением. Дедуктивные умозаключения ─ умозаключения, в которых из истинных посылок с необходимостью следует истинность заключения. Такое отношение по истинности между посылками и заключением в дедуктивных умозаключениях достигается благодаря отношению логического следования. В недедуктивных умозаключениях между посылками и заключением отсутствует отношение логического следования, поэтому они носят вероятностный характер, т.е. истинность посылок не гарантирует истинности заключения ( к недедуктивным относят индуктивные умозаключения и умозаключения по аналогии).

Теорию логических умозаключений из категорических суждений называют силлогистикой.

Простой категорический силлогизм является дедуктивным умозаключением, в котором из двух категорических суждений с помощью логических правил с необходимостью выводиться заключение, являющееся

также категорическим суждением. Структура категорического суждения включает два понятия, которые называются терминами: субъект- термин(логическое подлежащее), предикат- термин (логическое сказуемое) и связку, устанавливающую отношение между терминами суждения. Простой категорический силлогизм состоит из трех терминов (большего, меньшего и среднего). Каждый термин силлогизма должен быть представлен два и только два раза. Термин, входящий в обе посылки, называется средним термином (terminus medius). Средний термин устанавливает связь между остальными двумя терминами, называемыми крайними терминами. Крайний термин, выступающий в заключении субъектом, называется меньшим термином ((terminus minor). Крайний термин, являющийся предикатом заключения, − большим термином (terminus major). Термины силлогизма принято обозначать латинскими буквами: М – средний термин, S – меньший термин, Р – больший термин. Посылка, включающая наряду со средним термином меньший термин, называется меньшей посылкой. Соответственно, посылка, включающая наряду со средним термином больший термин, большей посылкой

Фигуры силлогизма. Так как правильность силлогизма зависит исключительно от его формы, чрезвычайно важно выявить эти формы правильных силлогизмов. Силлогизмы отличаются друг от друга расположением среднего термина в структуре посылок. Эти разновидности силлогизма называются фигурами. Имеется четыре фигуры силлогизма.

В первой фигуре средний термин выступает в качестве субъекта в большей посылке и предиката в меньшей (Рис. 1.).

Во второй фигуре средний термин выступает в качестве предиката в обеих посылках (Рис. 2.).

В третьей фигуре средний термин выступает в качестве субъекта в обеих посылках (Рис.3.).

В четвертой фигуре средний термин является предикатом в большей и субъектом в меньшей посылках (Рис.4.).




Рис.1. Рис.2. Рис.3. Рис.4.


Общие правила и специальные правила фигур категорического силлогизма. Определены правила построения правильных категорических силлогизмов. Выполнение каждого правила является необходимым, а всех вместе достаточным основанием правильности модуса. Силлогизм правильный, если все правила, предъявляемые к нему, соблюдены, если не выполнено хотя бы одно из правил, силлогизм – неправильный.

Имеется пять правил силлогизма, которые, в свою очередь, делятся на правила терминов и правила посылок.

Правила терминов:

(1) Средний термин должен быть распределен по крайней в одной из

посылок;

(2) Если термин нераспределен в посылке, то он не должен быть

распределен в заключении;

Правила посылок:

(3) По крайней мере одна из посылок должна быть утвердительной ( из двух

отрицательных посылок нельзя сделать заключения);

(4) Из двух утвердительных посылок нельзя сделать отрицательного

заключения;

(5) Если одна из посылок отрицательное суждение, то заключение должно

быть отрицательным;

Наряду с основными правилами есть два производных:

(6) Из двух частных посылок нельзя сделать заключения ( по крайней мере

одна из посылок должна быть общим суждением);

(7) Если одна из посылок частное суждение, то и заключение должно быть

частным.

Специальные правила фигур:

Фигура 1: 1)большая посылка должна быть общим суждением;

2) меньшая посылка – утвердительной.

Фигура 2: 1) большая посылка должна общим суждением;

2) одна из посылок – отрицательным суждением.


Фигура 3: 1) меньшая посылка должна быть утвердительной;

2) одна из посылок – общим суждением;

3) заключение – всегда частное суждение.

Фигура 4 имеет искусственный характер. В истории предпринимались попытки сформулировать общие правила для нее, но они не принесли желаемых результатов. У четвертой фигуры нет общих регламентирующих специальных правил. Правильность умозаключений четвертой фигуры устанавливается по общим правилам силлогизма и правильным модусам четвертой фигуры.


После выполнения первого задания (изложения теории простого категорического силлогизма), переходим к выполнению задания по конкретному категорическому силлогизму.


Совершивший преступление (М), должен быть подвергнут наказанию(Р)

Обвиняемый(S) – совершил преступление (M)

Обвиняемый (S) должен быть подвергнут наказанию (P)/


Во-первых, необходимо определить состав силлогизма. Определить состав силлогизма – это значит, установить средний, меньший и больший термины, большую и меньшую посылку. Средним является термин, входящий в обе посылки. В данном силлогизме этим термином является «совершивший преступление». Меньшим является крайний термин, выступающий в качестве субъекта заключения. Меньший – это термин «обвиняемый». И, наконец, больший термин - «подвергнут наказанию» (предикат заключения).

Большой посылкой является посылка, в которую входит больший термин («подвергнут наказанию»): «Совершивший преступление(М), должен быть подвергнут наказанию(Р)». Меньшая посылка, соответственно, включает меньший термин ( «обвиняемый») ─ «Обвиняемый(S) – совершил преступление (M)».

Таким образом, мы определили состав силлогизма. Согласно буквенным обозначениям терминов ( М – среднего термина, S – меньшего, Р – большего) мы получим следующую схему:


М____________________Р


S ___________________ M

_____________________________

S P

Теперь, согласно заданию, необходимо определить фигуру силлогизма. Фигуры силлогизма – это разновидности простого категорического силлогизма, отличающиеся друг от друга расположением среднего термина в структуре посылок. В данном силлогизме средний термин выступает субъектом в большей посылке и предикатом меньшей. Данное расположение среднего термина указывает на то, что данный силлогизм первой фигуры.

После определения состава и фигуры силлогизма переходим к проверке его правильности. Проверку можно провести двумя способами: по специальным правилам фигур и общим правилам силлогизма.

Мы установили, что данный простой категорический силлогизм первой фигуры. Первое специальное правило первой фигуры – большая посылка должна быть общим суждением. Данный силлогизм это правило выполняет – «Совершивший преступление, должен быть подвергнут наказан». Второе правило указывает на то, что меньшая посылка должна быть утвердительной. И это правило выполняется, ибо меньшая посылка(«Обвиняемый – совершил преступление») является утвердительной.

Таким образом, проверка по специальным правилам фигур указывает, что данный способ рассуждения является логически корректным.

Проверка вторым способом, предполагает установления распределённости терминов силлогизма. Обе посылки и заключения данного умозаключения являются общеутвердительными суждениями (S+a P─ : субъект-термин распределен, а предикат-термин нераспределен). Следовательно, мы получим следующее распределение терминов силлогизма:


Совершивший преступление (М+ ), должен быть подвергнут наказанию(Р─)

Обвиняемый(S+ ) – совершил преступление (M─ )

Обвиняемый (S+ ) должен быть подвергнут наказанию (P─ )


Теперь проверяем, выполняет ли данный силлогизм общие правила. Не забывая условия его правильности: выполнение каждого правила является необходимым, а всех вместе достаточным основанием правильности силлогизма.


Первое правило: средний термин распределен в большей посылке.

Второе правило: меньший термин распределен, распределен субъект

заключения; больший термин не распределен и не

распределен предикат заключения.

Третье правило: в силлогизме представлена утвердительная посылка

(большая и меньшая посылки утвердительные).

Правило четвертое: большая и меньшая посылки утвердительные,

заключение утвердительное.

Правило пятое: отрицательных посылок силлогизм не содержит, значит,

данное правило выполняется неявным образом.

Проверка на соответствие общим правилам силлогизма указывает, что данный силлогизм правильный.