Программа составлена в соответствии с государственными образовательными стандартами, направления "Логика " специальности "Логика". На основании примерной программы дисциплины
| Вид материала | Программа |
- Программа составлена в соответствии с государственными образовательными стандартами,, 541.81kb.
- Программа дисциплины для специальности 013100 "Экология", направления 511100 "Экология, 55.11kb.
- Рабочая программа для студентов Vкурса специальности, 201.4kb.
- Рабочая программа для студентов IV курса специальности, 122.1kb.
- Утверждено, 921.89kb.
- Рабочая программа для студентов IV и Vкурсов специальности, 158.3kb.
- Программа дисциплины опд. Ф. 05. Теория информационных процессов и систем для студентов, 255.07kb.
- Программа дисциплины Для специальности №021700 «Филология», 021400 «Журналистика» Дневной, 152.58kb.
- Программа дисциплины Для специальности №021700 «Филология», 021400 «Журналистика» Дневной, 138.33kb.
- Программа дисциплины Для специальности №021700 «Филология», 021400 «Журналистика» Дневной, 290.67kb.
Лекция 6. Отношения совместимых и несовместимых суждений. Умозаключения по логическому квадрату
Логические отношения устанавливаются только между сравнимыми суждениями, т. е. имеющими общий смысл высказываниями.
Простые сравнимые суждения, имеющие одинаковые термины и различающиеся по качеству и количеству, находятся в определенных отношениях, которые иллюстрируются с помощью логической схемы (логического квадрата). Сравнимыми являются суждения, имеющие одинаковые термины, — «субъект» и «предикат». Пример: «Все россияне имеют право на образование» и «Некоторые россияне не имеют право на образование». Такие суждения можно сравнивать по истинности, ибо они имеют одинаковые термины.
Несравнимыми высказываниями являются такие, которые имеют различные термины. Пример: «Все россияне имеют право на образование» и «Все граждане Украины имеют право на образование» У этих суждений хотя и одинаковы предикаты, но различны субъекты, поэтому между ними нельзя установить логическую зависимость.
Опираясь на логический квадрат, можно строить выводы, устанавливая следование истинности или ложности одного суждения из истинности или ложности другого суждения в зависимости от свойств отношений.
А Е
I O
Отношение противоречия (контрадикторности): А - О, Е - I. Эти суждения не могут быть одновременно ни истинными, ни ложными. Из истинности одного суждения следует ложность другого суждения, из ложности одного – истинность другого.
Отношение противоположности (контрарности): А-Е. Противоположные суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Из истинности одного суждения следует ложность другого, но из ложности одного из них может следовать как истинность, так и ложность другого суждения.
Отношение частичной совместимости (субконтрарности): I – О. Эти суждения могут быть одновременно истинными, но не могут быть одновременно ложными. Из ложности одного суждения следует истинность другого, но из истинности одного из них можно последовать как истинность, так и ложность другого.
Отношение подчинения: А- I, Е – О. Из истинности подчиняющегося суждения следует истинность подчиненного суждения, но не наоборот: из истинности подчиненного суждения истинность подчиняющего суждения не следует, оно может быть истинным, но может быть ложным. Из ложности подчиненного суждения следует ложность подчиняющего суждения, но не наоборот: из ложности подчиняющего суждения ложность подчиненного суждения с необходимостью не следует, оно может быть истинным, но может быть и ложным.
Упражнение 1*
Установите количество и качество следующих суждений, придайте им стандартную форму: А, Е, I, О.
- Рыбы дышат жабрами.
- Лень никогда не приводит к добру.
- Прекрасное и полезное отчасти совпадают.
- Только один металл жидок.
- Не всякому офицеру мундир к лицу (К.Прутков).
- Многие участники Великой Отечественной войны награждены боевыми орденами.
- Большая часть ирландцев говорит на английском языке.
- Большинство студентов успешно сдали сессию.
- Среди преступлений есть преступления против личности.
Упражнение 2***
Опираясь на логический квадрат, выведите суждения противоположные, противоречащие и подчиненные данным.
- Рыбы дышат жабрами.
- Лень никогда не приводит к добру.
- Прекрасное и полезное отчасти совпадают.
- Только один металл жидок.
- Не всякому офицеру мундир к лицу (К.Прутков).
- Многие участники Великой Отечественной войны награждены боевыми орденами.
- Большая часть ирландцев говорит на английском языке.
- Большинство студентов успешно сдали сессию.
- Среди преступлений есть преступления против личности.
Упражнение 3**
Установите логические отношения между суждениями в следующих парах:
- Все наркоманы – несчастные люди
Некоторые наркоманы не являются несчастными людьми.
- Ни один террорист не явился с повинной
Некоторые террористы не явились с повинной.
- Каждый знает теорему Пифагора.
Иванов из 10 группы не знает теорему Пифагора.
- Ф.М.Достоевский - великий русский писатель
Ф.М.Достоевский - не является великим русским писателем.
Упражнение 4**
Если суждение: «Все люди изучали логику», – является ложным, то суждение: «Все люди не изучали логику», – является:
1) истинным;
2) ложным;
3) неправильным;
4) правдивым;
5) неопределенным по истинности.
Упражнение 5**
Какое суждение будет истинным при истинности данного:
- Некоторые задачи этого учебного пособия может решать только специалист.
- Все промышленно развитые страны применяют безотходные технологии.
- Многие книги не являются рукописными.
- Человеку свойственно ошибаться.
- Жить – это значит, мириться с утратами одной радости за другой.
Лекция 7. Модальность суждений (алетическая, эпистемическая, деонтическая)
В естественном языке суждения могут характеризоваться не только как истинные или ложные, но и с других точек зрения. Такие характеристики содержат дополнительную информацию, которая выражает в одних случаях отношение говорящего к высказываемой мысли, в других - обоснованность знания, содержащегося в суждениях, в третьих- предписание, норму или правило, которое надлежит соблюдать. Подобные дополнительные характеристики выражают различные точки зрения на суждение в зависимости от целей и задач, которые ставит перед собой человек.
Суждение как форма мышления содержит двоякого рода информацию - основную и дополнительную. Основная информация находит явное выражение в субъекте и предикате суждения, в логической связке и кванторах (общих словах: «все», «некоторые», «иногда»). Дополнительная информация относится к характеристике логического или фактического статуса суждения, к оценочным и другим его характеристикам. Такая информация называется модальностью суждений.
Модальность – это явно или неявно выраженная в суждении дополнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных, пространственных его характеристиках. К основным видам модальности относятся эпистемическая, деонтическая, алетическая.
Модальные характеристики суждений обычно выражают парными категориями: необходимость – случайность, обязанность- запрещение, доказано - опровергнуто, лучше - хуже и т.п.
Эпистемическая модальность, выражают степень обоснованности суждения, которые делятся на достоверные и проблематичные (вероятные). Достоверные суждения выражаются с помощью операторов: доказано – Д (не доказано - ┐Д), опровергнуто – О (не опровергнуто - ┐О), Проблематичные суждения выражаются с помощью операторов: вероятно- В (вероятно, что не - ┐В).
Деонтическая модальность выражает предписание в форме совета, пожелания, правила поведения, приказа. К деонтическим относятся нормативные высказывания, в том числе правовые нормы: правообязывающие, правозапрещающие, правопредоставляющие. Они выражаются с помощью операторов: Q- обязательно, З- запрещено, Р- разрешено. Подлежащее исполнению действие обозначается символов d, участники правоотношения – x, y, z.
Алетическая модальность («алетический» — слово греческого происхождения, означает «истинный») — это выражаемая с помощью операторов «необходимо», «случайно», «возможно», «невозможно» информация о логической либо фактической обоснованности суждения.
В символической логике алетическая модальность обозначается следующим образом: «€ А» — «необходимо А»; «∇ А» — «случайно А»; «◊ А» — «возможно А»; «∼ ◊ А» — «невозможно А».
Упражнение 1
Определите модальность суждений, запишите их с помощью известных операторов.
- По мнению ряда ученых, некоторые континенты разобщены в результате дрейфа.
- «Я полагаю, что глупца и умного человека можно различить даже со спины» (Артур Шопенгауэр, немецкий философ XIX в.)
- Лето, по-видимому, будет жарким.
- Самым древним объектом культа был, вероятно, огонь.
- «Вероятно, что на свете нет ничего, что не могло бы случиться». (М.Твен).
- Принудительный труд запрещен (Конституция РФ).
- Каждый обязан охранять природу и окружающую среду, бережно к относиться к природным богатствам.
- В общественном месте запрещается провозить легковоспламеняющиеся вещества.
- «Поэтом можешь ты не быть, но гражданином быть обязан». (Некрасов).
- В шесть часов я постараюсь быть дома.
- Завтра мы, возможно, пойдем в кино.
- Никакая мысль невозможна без языка.
- Земля – центр Вселенной.
- Сергей Есенин родился в 1895 году в селе Константинове.
- Не исключено, что год будет тяжелым.
- Дыма без огня не бывает.
- Повышение сейсмической активности региона иногда сопровождается выбросами бесцветного газа из недр озера.
- Ошибочно приписывать современных кибернетическим устройствам способность мышления и тем более сознания.
- Всякое действие равно противодействию.
- Человек должен жить и творить, а не прозябать.
Упражнение 2
Подберите самостоятельно примеры суждений, выражающих алетическую, деонтическую и эпистемическую модальность.
Лекция 8. Дедуктивные умозаключения. Непосредственные умозаключения (выводы из простых суждений)
Под умозаключением понимают форму мышления, посредством которой из одного или нескольких суждений выводится с необходимостью или вероятностью новое суждение.
Умозаключение состоит из трех основных компонентов:
1) посылки — исходного суждения, из которого выводят новое знание;
2) вывода — логического перехода от посылок к заключению;
3) заключения — нового суждения, полученного выводным путем из посылок.
Чтобы из посылок можно было получить вывод, необходимо наличие содержательной связи между исходными суждениями. Если такой связи нет, то новое знание получить невозможно. Иногда пытаются использовать квазисвязи между посылками, но тогда мы уже имеем дело не с умозаключением, а с софизмом. Пример такого софизма (Не путать с умозаключением!):
Сидящий встал
Кто встал, тот стоит
Сидящий стоит.
Для получения истинного выводного знания необходимо соблюдение трех правил:
1) наличие содержательной связи между посылками;
2) должны быть истинными исходные суждения;
3) соблюдение правила вывода.
В традиционной (аристотелевской) логике под дедукцией понимают переход от общего знания к частному. В символической логике дедукция - это умозаключение, дающее истинное суждение.
Умозаключение, в котором заключение выводится из одной посылки, называется непосредственным. Его видами являются: превращение, обращение, противопоставление предикату.
Превращение - есть преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения. Чтобы превратить суждение, нужно изменить его связку на противоположную, а предикат - на противоречащее понятие.
Превращать можно любое суждение. Общеутвердительное суждение превращается в общеотрицательное («Все студенты нашей группы являются гражданами РФ. Следовательно, ни один студент нашей группы не является не гражданином РФ»), общеотрицательное в общеутвердительное («Все волки не являются травоядными животными. Следовательно, все волки являются нетравоядными животными»), частноутвердительное в частноотрицательное («Некоторые государства являются унитарными. Следовательно, некоторые государства не являются неунитарными»), а частноотрицательное превращается в частноутвердительное («Некоторые животные не являются кошками. Следовательно, некоторые животные являются не кошками»).
Обращение - преобразование суждения, в результате которого субъект исходного суждения становится предикатом, а предикат- субъектом заключения. Обращение подчиняется правилу: термин, не распределенный в посылке, не может быть распределен в заключении. В соответствии с этим правилом общеутвердительное суждение (А) обращается в частноутвердительное (I), общеотрицательное (Е) в общеотрицательное (Е), частноутвердительное (I) в частноутвердительное(I). Частноотрицательные суждения (О) не обращаются. Пример операции обращения: «Некоторые студенты нашей группы - отличники. Следовательно, некоторые отличники - студенты нашей группы».
Противопоставление предикату - преобразование суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предикатом - субъект исходного суждения. Частноутвердительные суждения (I) не противопоставляются. Пример противопоставления предикату суждения: «Все студенты нашей группы любят посещать занятия по логике. Следовательно, ни один человек, не любящий посещать занятия по логике, не является студентом нашей группы».
Упражнение 1**
Сделайте вывод путем превращения, составьте схему вывода.
- Все студенты 12-й группы являются успевающими.
- Некоторые предприятия рентабельны.
- Ни один день на прошлой неделе не был дождливым.
- Все дороги ведут в Рим.
- Некоторые дети непослушны.
- Некоторые приговоры суда не являются обвинительными.
Упражнение 2*
Проверьте правильность превращения суждений. В неправильном превращении сделайте правильный вывод. Составьте схему вывода.
1. Некоторые грибы ядовиты
Некоторые грибы не являются неядовитыми.
2. Некоторые ягоды съедобны
Некоторые ягоды несъедобны
3. Ни один приговор суда не должен быть необоснованным
Всякий приговор суда должен быть обоснованным
4. Некоторые студенты - отличники
Некоторые студенты – не отличники
5. Труд закаляет
Труд не есть то, что закаляет
6. Не все государства являются демократическими
Некоторые государства не являются демократическими
- В общеутвердительном суждении субъект распределен
В общеутвердительном суждении субъект является распределенным.
Упражнение 3**
Сделайте вывод путем обращения, составьте схему вывода.
1. Некоторые люди - флегматики.
2. Владимирская область – субъект Российской Федерации.
3. Некоторые студенты первого курса не сдали зачет по иностранному языку.
4. Не всякий генерал от природы полный (К.Прутков).
5. «Человек счастлив своим уменьем забывать». (В.Шаламов).
6. Большинство авторов детективных романов - англичане.
Упражнение 4*
Проверьте правильность обращения суждений. В неправильном обращении сделайте правильный вывод. Составьте схему вывода.
1. Все студенты технических вузов изучают логику
Все изучающие логику – студенты технических вузов
2. Некоторые ученые - авторы научной фантастики
Все авторы научной фантастики – ученые
3. Некоторые военнослужающие не являются офицерами ВДВ
Некоторые офицеры ВДВ являются военнослужащими
4. Ни один человек не является эгоистом
Некоторые эгоисты есть люди
Упражнение 5*
Сделайте вывод путем противопоставления предикату, составьте схему вывода.
- Все следователи – юристы.
- Не все достигшие призывного возраста военнообязанные.
- Всякий закон есть нормативно-правовой акт.
- Ни один свидетель по данному делу не был допрошен.
- Некоторые врачи – невропатологи.
- Все врачи имеют высшее медицинское образование.
Упражнение 6****
Превратите, затем обратите превращенное, а затем, противопоставьте превращенное (если это будет возможно по правилам логики) следующие суждения.
- Некоторые студенты- отличники учебы.
- Паук не насекомое.
- А.С.Пушкин был убит на дуэли Дантесом.
- Не все люди пишут грамотно.
- Логика – наука о формах мышления.
- Квадратом называется всякий равносторонний прямоугольник.
- Самым глубоким озером в мире является Байкал.
- Некоторые римские гладиаторы не выжили во время спартанского восстания.
Лекция 9. Дедуктивные умозаключения (выводы из сложных суждений)
План
- Чисто условные умозаключения.
- Условно –категорические умозаключения.
- Разделительно – категорические умозаключения.
- Условно – разделительные умозаключения.
Чисто условным умозаключением называется умозаключение, обе посылки и заключение которого являются условными (импликативными) суждениями.
Его схема в символической записи:
А →В
В →С
С → Д
А → Д
Вывод основан на правиле: следствие следствия есть следствие основания. Заключение в чисто условном умозаключении может быть получено не из трех, а из большего числа посылок.
Условно – категорическим умозаключением называется умозаключение, в котором одна из посылок – условное (импликативное) суждение, а другая посылка и заключение – категорические суждения.
Различают 2 правильных модуса условно –категорического умозаключения:
1) А → В, А 2) А → В, ┐В
В ┐А
Модус утверждающий Модус отрицающий
(modus ponens) (modus tollens)
Два других модуса: 3) от утверждения истинности следствия к утверждению истинности основания и 4) от отрицания истинности основания к отрицанию истинности следствия – достоверных выводов не дают.
3) А → В, В 4) А → В, ┐А
А ┐В
Разделительно – категорическим умозаключением называется умозаключение, в котором одна из посылок – разделительное (дизъюнктивное), а другая посылка и заключение – категорическое суждение.
Различают два модуса разделительно – категорического умозаключения: утверждающе – отрицающий (modus ponendo – tollens) и отрицающее – утверждающий (modus tollendo – ponens).
В утверждающе – отрицающем модусе меньшая посылка (категорическое суждение) утверждает один дизъюнкт, заключение отрицает другой дизъюнкт. Его схема в символической записи:
А VВ, А
┐В
Заключение достоверно, если соблюдается правило: большая посылка должна быть исключающее – разделительным суждением (суждение строгой дизъюнкции).
В отрицающее – утверждающем модусе меньшая посылка отрицает один (или несколько) дизъюнктов, заключение утверждает оставшийся дизъюнкт. Его символическая запись:
<А V В>, ┐А
┐В
Где знак <…> - символ полной (закрытой) дизъюнкции.
Заключение будет достоверным, если соблюдается правило: в большей посылке должны быть перечислены все возможные дизьюнкты.
Условно – разделительное умозаключение - умозаключение, в котором одна из посылок условное, а другая – разделительное суждение. Его разновидностью является дилемма, в которой разделительное суждение содержит две альтернативы.
Их схемы в символической записи:
- Простая деструктивная дилемма 2. Сложная деструктивная дилемма
А → В А → В
С → В С → Д
А V С А V С
В В V Д
3. Простая деструктивная дилемма 4. Сложная деструктивная дилемма
А → В А → В
А → С С → Д
┐В V ┐С ┐В V ┐Д
┐А ┐А V ┐С
Упражнение 1
В условной посылке укажите основания и следствие, сделайте вывод, определите модус, постройте его схему.
- Если туман рассеется, вылет будет задержан. Вылет не задержали.
- Если изменяются экономические отношения, изменяется и правосознание. Экономические отношения изменились.
- Договор будет заключен, если между договаривающимися сторонами достигнуто соглашение. Однако договор заключен не будет.
- Если я задержусь у друзей на даче, то я опоздаю на последнюю электричку и она уйдет без меня. Но я опоздал на последнюю электричку, и она без меня не ушла.
- Кто работает, тот не скучает. Он работает.
- Раз исследуется вся сложность влияний, падающих извне на животное, то эта сложность должна быть в руках экспериментатора. Такая сложность влияний исследуется.
- Обмен жилого помещения не допускается, если он носит корыстный или фиктивный характер. Данный обмен носит фиктивный характер.