Контрольная работа по дисциплине "Логика"

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

Особенную группу составляют суждения существования, которые утверждают существование того или иного предмета, процесса, явления. Например, суждение «Жизнь существует», в нем предикат и связка как бы сливаются. Конечно же, это суждение можно представить как «S-«, но все встанет на свои места в следующей его формулировке «Жизнь есть существующее». Не следует забывать, что язык накладывает свой отпечаток на формулировку суждений, но путем его несложного преобразования можно все расставить на свои места.

Утверждая или отрицая принадлежность признака предмету, мы вместе с тем отображаем в суждении существование или не существование предмета суждения в действительности. Так, например, в таких простых суждениях, как: “существуют космические луга”, “Русалки не существуют в действительности” и т.п., мы непосредственно утверждаем (или отрицаем) существование предмета суждения в действительности. В прочих простых суждениях существование предмета суждения в действительности нам уже заведомо известно. Не только в суждениях существования, а и во всяком простом суждении содержится знание о существовании или не существовании этого суждения в действительности.

Помимо суждений модальности выделяются суждения отношений, в которых устанавливается отношения причины и следствия, части и целого и т.п., выраженные в русском языке словами «больше», «меньше», «старше», «взрослее» и т.п. Например, «Новосибирск восточнее Москвы», «Москва больше Новосибирска». Символически эти суждения выражаются формулой «в R с», что читается как «в и с находятся в отношении R”.

 

2. Разделительное и разделительно-категорическое умозаключение

 

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

Схема дизъюнктивного, или разделительного, суждения, образующего первую посылку дизъюнктивного силлогизма, имеет такой вид: S есть или А, или В, или С.

Каждое из суждений, входящее в данное разделительное суждение (S есть А, S есть В, S есть С), называется альтернативой. В данном разделительном суждении содержатся три альтернативы.

Существуют чисто разделительные и разделительно-категорические умозаключения.

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

В традиционной логике принята следующая его структура:

S есть А, или В, или С.

А есть или А1, или А2.

S есть или А1, или А2, или В, или С.

Здесь из суждения «S есть А» образуются еще две альтернативы, которые составляют два члена новой дизъюнкции.

В разделительно-категорическом умозаключении одна посылка – разделительное суждение, другая – простое категорическое суждение. Это вид силлогизма имеет два модуса:

1. S есть А, или В, или С;

S не есть ни А, ни В .

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

В этом модусе разделительного силлогизма во второй посылке отрицается все, кроме одной, альтернативы; поэтому в выводе утверждается эта оставшаяся альтернатива. Так как в выводе мы приходим к утверждению, то модус называется утверждающим, и так как к этому утверждению мы пришли посредством отрицания альтернатив, кроме одной, то модус получает название модуса, утверждающего посредством отрицания или отрицающе–утверждающий (tollendo ponens).

2. S есть или А, или В, или С;

S есть А.

Следовательно, S не есть ни В, ни С.

В этом модусе во второй посылке утверждается одна альтернатива; поэтому в выводе все оставшиеся альтернативы отрицаются. Этот модус по своему итогу оказывается отрицающим, а способ получения этого отрицания у него – утверждение. Вследствие этого полное наименование этого модуса такое: модус, отрицающий посредством утверждения или утверждающе - отрицающий (ponendo tollens).

Например:

Существительное может стоять в именительном, родительном, дательном, винительном, творительном, предложном падежах.

Существительное стоит в именительном падеже.

Следовательно существительное не стоит не в родительном, ни в дательном, ни в винительном, ни в творительном, ни в предложном падежах.

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

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

2. необходимо учитывать точное  значение союза «или», которое  может быть и чисто-разделительным  и соединительно-разделительным, так  как при чисто-разделительном  значении союза «или» все альтернативы  исключают одна другую, а при  соединительно-разделительном значении  союза «или» альтернативы не  исключают одна другую.

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

Первый из них называется утверждающе-отрицающим модусом (modus ponendo tollens). В нем одна из посылок – разделительное суждение, другая – утверждает истинность одного из членов разделительного суждения.

Тела бывают твердые, либо жидкие, либо газообразные.

Данное тело газообразное.______________________

Данное тело не твердое и не жидкое.

Схематическим этот модус может быть представлен так:

А либо В, либо С

А есть В_______

А не есть С.

Второй модус называется отрицающе - утверждающим (modus tollendo ponens), так как в нем категорическое суждение отрицает один из членов разделительного суждения, и поэтому заключение утверждает истинность другого члена разделительного суждения:

Тела бывают простые либо сложные.

Данное тело не простое.___________

Данное тело сложное.

 

Схематически:

А либо В, либо С

А не есть В_____

А есть С.

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3. Закон исключенного третьего

 

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

В использовавшейся уже полу символической форме: А или не- А, т.е. истинно высказывание А или истинно его отрицание, высказывание не- А.

Конкретными приложениями этого закона являются, к примеру, высказывания: «Аристотель умер в 322 г. до н э. или он не умер в этом году», «Личинки мух имеют голову или не имеют ее».

Истинность отрицания равнозначна ложности утверждения. В силу этого закон исключенного третьего можно передать и так: каждое высказывание является истинным или ложным.

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ЗАКЛЮЧЕНИЕ

 

Следование законам и принципам формальной логики — это, конечно, безусловная предпосылка правильного и эффективного мышления. Нелогичное мышление представляет собой попросту сумбур и хаос.

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

Логика настолько богата, что о ней можно говорить бесконечно. 

Знание законов и правил — одно из самых ценных наших знаний. Оно делает ум максимально точным и ювелирно тонким в своем анализе. И нельзя упускать возможности углубить это знание и усовершенствовать его практическое применение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

СПИСОК ИСПОЛЬЗУЕМОЙ ЛИТЕРАТУРЫ

 

1. Войшвилло Е.К., Дегтярев М.Г. Логика  с элементами эпистемологии и  научной методологии. Учебник.-М.:Интерпракс. 1994.-448 с.

2. Казаков А.Н.., Якушев А.О. Логика-I. Парадоксология: пособие для учащихся старших классов лицеев, колледжей и гимназий.-М.:АО «Аспект Пресс». с.

3. Классическая логика: учебное пособие.-М.Гуманитарный издательский центр ВЛАДОС.

4. Кумпф Ф., Оруджев З. Диалектическая логика: основные принципы и проблемы.-М.: Политиздат..

5. Логика: пособие для учащихся.-М.:Просвещение.