Законы логики
Контрольная работа - Философия
Другие контрольные работы по предмету Философия
то животное (S) не является ужом (P)
) Все углероды (М) - простые тела (Р).
Все углероды (М) - электропроводны (S)
Некоторые электропроводники (S) - простые тела (Р).
) Все киты (Р) - млекопитающие (М).
Ни одно млекопитающее (М) ни есть рыба (S)
Ни одна рыба (S) не есть кит (Р).
По качеству и количеству различают четыре вида простых атрибутивных высказываний:
A - от лат. Affirmo - Общеутвердительные ("Все люди смертны")
I - от лат. Affirmo - Частноутвердительные ("Некоторые люди - студенты")
E - от лат. Nego - Общеотрицательные ("Ни один из китов не рыба")
O - от лат. Nego - Частноотрицательные ("Некоторые люди не являются студентами").
Модусы первой фигуры: AAA, AII, EAE, EIO.
Модусы второй фигуры: AEE, AOO, EAE, EIO.
Модусы третьей фигуры: AII, OAO, IAI, EAO, EIO, AAI.
Модусы четвертой фигуры: AAI, IAI, EAO, EIO, AEE.
Примеры силлогизмов имеющих модусы:
AII - Фигура 3
А - Все хищные животные питаются мясом.
I - Некоторые домашние животные суть хищные животные.
I - Некоторые домашние животные питаются мясом.
III
EAE - Фигура 2
Е - Ни один справедливый человек не завистлив.
А - Всякий честолюбивый завистлив.,
E - Ни один честолюбивый человек не есть справедлив.
AEE - Фигура 2
А - Преступники действуют из злого намерения.
Е - N. не действовал из злого намерения.
Е - N не есть преступник.
AOO - Фигура 2
A - Все истинно моральные действия совершаются из правильных мотивов.
O - Некоторые действия, благодетельные для других, нe совершаются из таких мотивов.
О - Некоторые благодетельные для других действия не суть истинно моральные.
IAI - Фигура 3
I - Некоторые романы поучительны.
А - Все романы суть вымышленные рассказы.
I - Некоторые вымышленные рассказы поучительны.
EAO - Фигура 3 - Ртуть не тверда.
А - Ртуть есть металл.
О - Некоторые металлы не тверды.
Пятое задание
Условным называется сложное суждение, полученное из простых суждений при посредстве логического союза "Если. то".
Формула условного (импликативного) суждения:
Если а, то b; составляющая а называется основанием (или антедентом), составляющая b - следствием (или консеквентом).
Импликативную связь обозначим знаком ; импликативное высказывание: а b.
В нашем примере: Антедент "изучал А". Консеквент "изучал и В". Импликативное высказывание: изучал А изучал В.
Связь между основанием и следствием характеризуется двумя важными логическими свойствами: истинность основания достаточна для признания истинным следствия; ложность следствия с необходимостью указывает на ложность основания.
Истинность первого суждения (антецедента) достаточна для признания истинности второго суждения (консеквента).
Отрицание выражается словами "неверно, что", "неправда, что" или отрицающей частицей "не". При помощи отрицания ложное высказывание можно превратить в истинное, а истинное - в ложное. Если суждение обозначить а, то его отрицание a читается "неверно, что а". В нашем примере: "Неверно, что если изучал С, то изучал и В".
При отрицании импликативного суждения: (аb) (не-аvb).
И первому, и второму суждению одновременно отвечают следующие варианты решения задачи:
)А и В изучали логику, С не изучал.
В данном случае высказывание "изучал А изучал В" истинно, высказывание "Неверно, что если изучал С, то изучал и В" не влияет, так как "изучал С" ложно.
)А и В не изучали логику, С - изучал.
В данном случае "изучал А" ложно и высказывание "изучал А изучал В" не влияет, а отрицание "Неверно, что если изучал С, то изучал и В" выполняется.
)А, В и С - никто не изучал логику.
В данном случае основания обеих суждений "изучал А" и "изучал С" ложны и поэтому не влияют на решение задачи.
Шестое задание
1.Не доказано.
2.Не доказано.
.Не доказано.
.Доказано.
Небесные тела - планеты
Земля имеет большую массу
Значит земля - планета.
.Доказано
Земля - планета
Планеты движутся
Значит земля движется.
Список литературы
1.Никифоров В., проф. Логика: курс - конспект лекций и контрольные задания. - Рига, 2004 г.
2.Берков В.Ф. Логика: Задачи и упражнения, практикум: Учебн. пособие. - М.: ТетраСистема, 1997 г.
.Бочаров В.А., Маркин В.И. Основа логики. - М., 1997 г.
.Ивин А.А. Логика. - М.: Гардарики, 1999 г.
.Упражнения по логике: Учеб. пособие/ Башилов Т.А., Орлов Г.А., Фокина Н.И. и др.; Под ред. Кириллова В.И. - М.: Высш. шк., 1990 г.
6.www.vuzlib.net/beta3/html/1/23002/23017
.www.i-u.ru/biblio/archive/chelpanov_ul/ec14. aspx
8.">www.websib.ru/fio/works/094/group4/4u05. htm
.">wapedia. mobi/ru/
.">www.google.ru/url? sa=t&source=web&cd=7&sqi=2&ved=0CEAQFjAG&url=httpwww.durov.comstudyLOGIKA-896. doc&rct=j&q=&ei=nL0ETczdFYieOp32waYB&usg=AFQjCNFZ-zCIg8zLfa0FKZQKVM6qxqhr8Q&cad=rjt <http://www.google.ru/url?sa=t&source=web&cd=7&sqi=2&ved=0CEAQFjAG&url=httpwww.durov.comstudyLOGIKA-896.doc&rct=j&q=