Законы логики

БАЛТИЙСКАЯ МЕЖДУНАРОДНАЯ АКАДЕМИЯ

ПРОФЕССИОНАЛЬНАЯ ПРОГРАММА

Связи с общественностью

Контрольная работа

по дисциплине: Логика

на тему: Законы логики

Студентка 1 курса

Елизавета Нагле

Научный руководитель:

Проф.В. Никифоров

Даугавпилс 2010

Введение

Формальная логика - это наука о законах и формах правильного мышления. Термин "логика" имеет свое происхождение от греческого "logos", что означает "мысль", "слово", "разум", "закон". Логика исследует логические формы, отвлекаясь от их конкретного содержания, анализирует мышление со стороны его формальной правильности. Формальная правильность означает соответствие мышления (рассуждения, доказательства) известным фиксированным правилам, соблюдение которых обеспечивает правильность перехода от одних высказываний к другим.

Логика - наука <#"552583.files/image001.gif">

EAE - Фигура 2

Е - Ни один справедливый человек не завистлив.

А - Всякий честолюбивый завистлив.,

E - Ни один честолюбивый человек не есть справедлив.

А - Преступники действуют из злого намерения.

Е - N. не действовал из злого намерения.

Е - N не есть преступник.

AOO - Фигура 2

A - Все истинно моральные действия совершаются из правильных мотивов.

O - Некоторые действия, благодетельные для других, нe совершаются из таких мотивов.

О - Некоторые благодетельные для других действия не суть истинно моральные.

IAI - Фигура 3

I - Некоторые романы поучительны.

А - Все романы суть вымышленные рассказы.

I - Некоторые вымышленные рассказы поучительны.

EAO - Фигура 3 - Ртуть не тверда.

А - Ртуть есть металл.

О - Некоторые металлы не тверды.

Пятое задание

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

Формула условного (импликативного) суждения:

Если а, то b; составляющая а называется основанием (или антедентом), составляющая b - следствием (или консеквентом).

Импликативную связь обозначим знаком à; импликативное высказывание: а à b.

В нашем примере: Антедент "изучал А". Консеквент "изучал и В". Импликативное высказывание: изучал А à изучал В.

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

Истинность первого суждения (антецедента) достаточна для признания истинности второго суждения (консеквента).

Отрицание выражается словами "неверно, что", "неправда, что" или отрицающей частицей "не". При помощи отрицания ложное высказывание можно превратить в истинное, а истинное - в ложное. Если суждение обозначить а, то его отрицание ā читается "неверно, что а". В нашем примере: "Неверно, что если изучал С, то изучал и В".

При отрицании импликативного суждения: (аà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 <http://www.websib.ru/fio/works/094/group4/4u05.htm>

.        wapedia. mobi/ru/%D0%A1%D0%B8%D0%BB%D0%BB%D0%BE%D0%B3%D0%B8%D1%81%D1%82%D0%B8%D0%BA%D0%B0 <http://wapedia.mobi/ru/%D0%A1%D0%B8%D0%BB%D0%BB%D0%BE%D0%B3%D0%B8%D1%81%D1%82%D0%B8%D0%BA%D0%B0>

.        www.google.ru/url? sa=t&source=web&cd=7&sqi=2&ved=0CEAQFjAG&url=http%3A%2F%2Fwww.durov.com%2Fstudy%2FLOGIKA-896. doc&rct=j&q=%D0%BF%D1%80%D0%B8%D1%91%D0%BC%D1%8B%20%D1%81%20%D0%BE%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5%D0%BC%20%D0%B2%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B5&ei=nL0ETczdFYieOp32waYB&usg=AFQjCNFZ-zCIg8zLfa0FKZQKVM6qxqhr8Q&cad=rjt <http://www.google.ru/url?sa=t&source=web&cd=7&sqi=2&ved=0CEAQFjAG&url=http%3A%2F%2Fwww.durov.com%2Fstudy%2FLOGIKA-896.doc&rct=j&q=%D0%BF%D1%80%D0%B8%D1%91%D0%BC%D1%8B%20%D1%81%20%D0%BE%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D0%B5%D0%BD%D0%B8%D0%B5%D0%BC%20%D0%B2%20%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B5&ei=nL0ETczdFYieOp32waYB&usg=AFQjCNFZ-zCIg8zLfa0FKZQKVM6qxqhr8Q&cad=rjt>