Особенности отношения логики к мышлению. Умозаключения, основанные на свойствах сложных суждений

МИНИСТЕРСТВО ВНУТРЕННИХ ДЕЛ РОССИЙСКОЙ ФЕДЕРАЦИИ

Кафедра социально-гуманитарных и  экономических дисциплин

КОНТРОЛЬНАЯ  РАБОТА

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

на тему: вариант №4. Особенности отношения логики к мышлению. Умозаключения, основанные на свойствах сложных суждений.

Воронеж

2012 г.

ПЛАН КОНТРОЛЬНОЙ РАБОТЫ:

Введение

Логика — наука о  человеческом мышлении. Но в отличие  от других наук, изучающих человеческое мышление, например от физиологии высшей нервной деятельности или психологии, логика изучает мышление как средство познания; ее предметом являются формы  и законы, приемы и принципы мышления, с помощью которых человек  познает окружающий его мир.

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

Итак, логика — это философская  наука о формах, в которых протекает  человеческое мышление, и о законах, которым оно подчиняется.

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

Еще более сложной формой мышления, чем суждение, является умозаключение. Оно содержит в своем составе  суждения (а, следовательно, и понятия), но не сводится к ним, предполагает еще их определенную связь. Благодаря  этому образуется качественно особая форма с ее специфическими функциями  в мышлении. Формально-логический анализ этой формы означает ответ на следующие  основные вопросы: в чем сущность умозаключения и какова их роль и  структура; что представляют собой  их основные типы; в каких взаимоотношениях между собой они находятся; наконец, какие логические операции с ними возможны. Значение подобного анализа  определяется тем, что именно в умозаключениях (и основанных на них доказательствах) сокрыта «тайна» принудительной силы речей, которая поражала людей  еще в древности и с постижения которой началась логика как наука. Именно умозаключения обеспечивают то, что мы называем в настоящее время силой логики. Умозаключение - это форма мышления, позволяющая из одного или нескольких суждений, называемых посылками, извлекать с помощью правил логики новое суждение - заключение. Когда исходные высказывания в правильно построенном умозаключении истинны, то и вывод его тоже обязательно будет истинным суждением.

1. Логика как наука.

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

Во-первых, этим словом обозначают закономерности в изменении и  развитии вещей и явлений объективного мира. Закономерности в изменении  и развитии вещей и явлений  объективного мира называют объективной  логикой.

Во-вторых, словом “логика” обозначают особые закономерности в  связях и развитии мыслей. Эти закономерности называют субъективной логикой. Закономерности в связях и развитии мыслей являются отражением объективных закономерностей.

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

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

В чем же специфика логики по сравнению с другими науками, изучающими мышление?

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

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

* Физиология раскрывает  материальные, физиологические процессы, исследует закономерности этих  процессов, их физико-химические  и биологические механизмы.

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

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

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

2. Основные этапы развития логической науки.

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

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

Формальная логика в своем  развитии прошла два основных этапа.

Первый этап - это связь  с работами Аристотеля, в которых  дано систематическое изложение  логики. Основным содержанием логики Аристотеля является теория дедукции, также содержаться элементы математической логики. Аристотель сформулировал основные законы мышления: тождества, противоречия и исключенного третьего, описал важнейшие  логические операции, разработал теорию понятия и суждения, обстоятельно исследовал дедуктивное умозаключение. Учение о силлогизме составило основу одного из направлений современной математической логики - логике предикатов. Дополнением к этому учению была логика античных стоиков (Зенон, Хрисипп и других). Логика стоиков - основа другого направления математической логики - логики высказываний. Следующими, кто развил учение Аристотеля, следует назвать Галена; Порфирия, который разработал схему отображающую отношения между понятиями; Боэция, сочинения которого были логическими пособиями. Логика развивалась и в средние века, однако схоластика исказила учение Аристотеля, приспособив его для обоснования религиозной догматики. Значительны успехи логической науки в Новое время. Важнейшим этапом в ее развитии явилась теория индукции, разработанная Ф. Беконом. Он подверг критике дедуктивную логику, которая не может служить методом научных открытий. Методом должна быть индукция. Разработка индуктивного метода - огромная заслуга Бекона. Методы дедукции и индукции не исключают друг друга, а дополняют. Дж.С.Милль систематизировал методы научной индукции. Дедуктивная логика Аристотеля и индуктивная логика Бекона - Милля составили основу общеобразовательной дисциплины и составляют основу логического образования в настоящее время.

Второй этап - это появление  математической логики. Философ Г. В. Лейбниц считается основоположником. Он пытался построить универсальный  язык, с помощью которого споры  между людьми можно было разрешить  посредством вычисления. Математическая логика изучает логические связи  и отношения, лежащие в основе дедуктивного вывода. Для выявления  структуры вывода строят различные  математические исчисления.

Другим основанием деления  логики служит различие применяемых  в ней принципов, на которых базируются исследования. В результате такого деления имеем классическую логику и неклассические логики. В.С. Меськов выделяет принципы классической логики: ”1)область исследования составляют обыденные рассуждения; 2)допущение о разрешимости любой проблемы; 3) отвлечение от содержания высказываний и от связей по смыслу между ними; 4)абстракция двузначности высказываний”.

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

В процессе познания методы формальной логики дополняются методами диалектической логики и наоборот. В развитие диалектической логики внесли определенный вклад Платон и Аристотель, отдельные идеи высказывались средневековыми философами и философами Нового времени. Классические формы придали 

ей Кант, Фихте, Шеллинг, Гегель. Диалектическая логика Гегеля является систематическим учением, хотя она  и разработана с позиций объективного идеализма. Диалектическую логику на материалистической основе разработали К. Маркс, Ф. Энгельс, В. И. Ленин.

Диалектическая логика изучает  законы развития человеческого мышления. К ним относятся объективность  и всесторонность рассмотрения предмета, принцип историзма, раздвоение единого  на противоположные стороны и  так далее. Диалектическая логика служит методом познания диалектики объективного мира.

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

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

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

3. Логика и формирование культуры мышления.

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

Чувственное познание протекает  в трех основных формах: ощущение, восприятие, представление.

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

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

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

Чувственное познание дает нам знание об отдельных предметах, об их внешних свойствах. Но оно не может дать знаний о причинной  зависимости между явлениями.

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

Рассмотрим основные особенности  мышления.

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

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

3. Мышление неразрывно  связано с языком. При помощи  языка люди выражают и закрепляют  результаты своей мыслительной  работы.

4. Мышление - процесс активного  отражения действительности. Активность  характеризует весь процесс познания  в целом, но прежде всего  – мышления. Применяя обобщение,  абстрагирование и другие мыслительные  приемы, человек преобразует знания  о предметах действительности.

Обобщенный и опосредствованный  характер отражения действительности, неразрывная связь с языком, активный характер отражения – таковы основные особенности мышления.

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

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

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

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

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

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

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

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

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

Виды сложных суждений:

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

Суждение с союзом «и» называется конъюнктивным.

«Все равны перед законом  и судом». Это конъюнктивное соединительное суждение.

А - все равны перед  законом.

В - все равны перед  судом.

АВ

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

Разделительные сужения. В них утверждается наличие одной  из двух, трех и более ситуаций.

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

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

Также выделяются виды сложных суждений:

Условные. Утверждается, что  наличие одной ситуации обусловливает  наличие другой. «Если мы хотим  добиться уважения к закону, мы сначала  должны создать закон, достойный  уважения». Это соединительное условное суждение. Наличие одной ситуации (ситуации, когда уважается закон - А) обуславливается наличием другой (созданием закона, достойного уважения - В).

АВ

Импликативные. Это суждение с союзом «если…, то…». Союз «если…, то…» является знаком импликации.

Суждения эквивалентности  и материальной эквивалентности. Суждения эквивалентности - это суждения, в  которых утверждается взаимная обусловленность  двух ситуаций. Суждения материальной эквивалентности - это суждения с  союзом «если и только если…, то…».

Суждения с внешним  отрицанием. В таких суждениях  утверждается отсутствие некоторой ситуации.

Модальные суждения. Выше рассматривались  атрибутивные суждения и суждения об отношениях. Эти суждения, а также  образованные из них сложные суждения называются ассерторическими. Они являются утверждениями или отрицаниями. Те и другие могут быть сильными и слабыми. Сильные и слабые утверждения  и отрицания называются модальными суждениями.

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

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

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

Возьмем в качестве примера  условное суждение (импликацию): «Если  завтра будет солнечная погода, то мы пойдем в лес». Из него можно сделать  заключение: «Если мы не пошли в  лес, то погода не была солнечной».

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

Непосредственное умозаключение  можно сделать и из конъюнкции. Если истинно, что «Казань находится  на Волге, и Саратов находится  на Волге», то истинным будет и вывод:

«Саратов находится на Волге, и Казань находится на Волге».

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

Наконец, можно делать умозаключения  из строгой дизъюнкции и эквиваленции.

6. Опосредованные умозаключения из сложных суждений

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

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

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

Условно-категорическое умозаключение. Оно состоит из одной условной и одной категорической посылки. Заключение в этом случае - категорическое суждение. Логическим основанием для  такого умозаключения служит определенная связь между основанием и следствием (антецедентом и консеквентом). В условно-категорическом умозаключении мысль, вообще говоря, может протекать по следующим четырем направлениям: 1) от утверждения основания к утверждению следствия; 2) от отрицания основания к отрицанию следствия; 3) от утверждения следствия к утверждению основания; 4) от отрицания следствия к отрицанию основания. Поэтому в зависимости от хода мысли теоретически возможны четыре разновидности, или модуса, условно-категорического умозаключения. Но подобно тому, как в простом категорическом силлогизме из 64 возможных модусов правильны лишь 19, так и здесь из 4 правильны лишь 2 модуса.

Первый - это modus ponens - утверждающий модус, когда мысль движется от утверждения основания к утверждению следствия. Пример:

Если день солнечный, то сосновый лес пахнет смолой.

День - солнечный.

Следовательно, сосновый лес пахнет смолой.

Формула:

Если А, то В.

А

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

В символической записи:

А>В,

А

В

Еще пример:

Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу.

Решение суда обжаловано в кассационном порядке.

Следовательно, оно еще не вступило в законную силу.

Второй - modus tollens - отрицающий модус, когда мысль направляется от отрицания следствия к отрицанию основания. Пример:

Если день солнечный, то сосновый лес пахнет смолой.

Сосновый лес не пахнет смолой.

Следовательно, день не солнечный.

Или:

Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу.

Решение суда вступило в законную силу.

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

Формула:

Если А, то В

не-В

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

Символическая запись:

А>В,

¬ В

¬ А

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

Почему же два других возможных  модуса неправильны? Потому что взаимоотношения  причины и следствия неоднозначны. Одно и то же следствие может быть результатом действия многих причин (это так называемая множественность  причин). А одна и та же причина  может вызывать много следствий (так называемая множественность следствий).

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

Если я простужусь, то заболею.

Я не простудился.

Следовательно, я не заболею.

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

Если я простужусь, то заболею.

Я заболел.

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

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

Отсюда вытекают следующие  четыре правила условно-категорического  умозаключения, соблюдение которых  при истинности посылок обеспечивает истинность вывода. 1. Можно идти от утверждения основания к утверждению  следствия. 2. Можно идти от отрицания  следствия к отрицанию основания. 3. Нельзя идти от отрицания основания  к отрицанию следствия. 4. Нельзя идти от утверждения следствия к утверждению основания.

В двух последних случаях  можно получить лишь вероятные выводы. Если, однако, речь идет о выделяющем условном суждении, то вывод будет  достоверным (при условии, конечно, истинных посылок). Все дело в том, что в таком суждении связь  основания и следствия взаимно-однозначна. Так, «Если лицо совершило правонарушение, то оно несет юридическую ответственность». Это означает, что «Оно несет юридическую  ответственность только в том  случае, если совершило правонарушение».