Основные вопросы логики

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

Рубрика Философия
Вид контрольная работа
Язык русский
Дата добавления 28.03.2016
Размер файла 20,5 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Размещено на http://www.allbest.ru/

1. Сложное суждение и его виды

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

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

"И" и его языковые эквиваленты - конъюнкция, или соединительный союз,

"ИЛИ" и его эквиваленты - дизъюнкция или слабый разделительный союз,

"ЛИБО" и его эквиваленты, в частности "ИЛИ... ИЛИ", - строгая дизъюнкция, или строго разделительный союз,

"ЕСЛИ..., ТО..." - импликация, условный союз,

"...ЕСЛИ И ТОЛЬКО ЕСЛИ...", или "...ТОГДА И ТОЛЬКО ТОГДА, КОГДА..." - эквивалентность,

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

Простыми суждениями со сложными предикатами являются такие суждения, у которых имеется один субъект и предикат, состоящий из двух и более различных признаков, каждый из которых может считаться самостоятельным предикатом. Это, например, суждение: "Петров является студентом и занимается спортом". Форма такого суждения следующая: (S есть Р1 и Р2). Истинность такого суждения зависит от того, обладает ли субъект признаком Р1 и обладает ли он при этом признаком Р2. Считается, что в данном случае имеет место сложное суждение, но взятое в некоторой сокращенной форме. Полная форма такого суждения: (S есть Р1) и (S есть Р2)

Таким образом, в языке соединительное суждение может быть выражено одной из трех логико-грамматических структур:

Соединительная связка представлена в сложном субъекте по схеме: (S1 и S2 есть Р).

Связка представлена в сложном предикате по схеме: (S есть Р1 и Р2).

Связка представлена сочетанием первых двух способов по схеме: (S1 и S2 есть Р1 и Р2) Например: «С полицмейстером и прокурором Ноздрев тоже был на «ты» и обращался по-дружески» (Н.В. Гоголь).

Итак, соединительные суждения (конъюнктивные) - это такие суждения, которые включают в качестве составных частей другие суждения - конъюнкты, объединяемые связкой «и». Соединительное суждение может быть как двух-, так и многосоставным; в символической записи: (р Л q)

Соединительное суждение истинно при истинности всех составляющих его конъюнктов (р и q) и ложно при ложности хотя бы одного из них. Условия истинности суждения р Л q показаны в таблице, где истинность обозначена И, а ложность -- Л. В первых двух столбцах таблицы р и q берутся как независимые и принимают поэтому все возможные сочетания значений И и Л: ИИ, ИЛ, ЛИ, ЛЛ. В третьем столбце показано значение суждение (р Л q). Из четырех построчных вариантов истинным оно является лишь в 1-й строке, когда истинны оба конъюнкта: и р, и q. Во всех остальных случаях оно. ложно: во 2-й и 3-й строках в силу ложности одного из членов, а в 4-й в силу ложности обоих членов.

2. Основные законы формальной логики

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

Существует бесчисленное множество законов логики, отражающих различные виды связи между суждениями и понятиями. К числу логических законов относятся, например, те необходимые условия, которым должны удовлетворять различные логические операции. Эти условия формулируются часто в виде правил. Таковы, например, правила определения, правила деления и т.п. Большое значение в логике имеют законы, выражающие зависимость истинности (или ложности) одних суждений от истинности (или ложности) других. Эти законы определяют логически правильные формы умозаключений. Примером логического закона может служить утверждение: «Если все М суть Р и все S суть М, то все S суть Р». Мы можем подставить любые конкретные по содержанию понятия вместо М, Р и S в указанное предложение, всякий раз все это предложение будет истинным. Подобные выражения в современной символической (математической) логике получают название тождественно-истинных.

Практически в ряде учебников по логике рассматриваются десятки законов (например, в учебнике В.А. Бочарова и В.И. Маркина «Основы логики». М., 1997, их упомянуто 32). Однако во многих учебниках среди множества логических законов принято выделять следующие четыре: закон тождества, закон противоречия, закон исключенного третьего и закон достаточного основания. Они считаются основными формально-логическими законами.

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

2.1 Закон тождества

суждение логика умозаключение

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

Закон тождества принято выражать формулой А = А или А суть А.

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

2.2 Закон противоречия

Условием истинного познания выступает также требование непротиворечивости мышления. Суть его раскрывается в формально-логическом законе противоречия, который можно сформулировать следующим образом: в процессе рассуждения о каком-либо определенном предмете нельзя одновременно утверждать и отрицать что-либо в одном и том же отношении, в противном случае оба суждения не могут быть вместе истинными. Закон противоречия принято выражать в виде формулы: (А А).

Где А иА - два суждения (положительное и отрицательное), - знак конъюнкции (читается как «и»), черта сверху означает отрицание всей формулы. Рассмотрим действие закона противоречия на следующем примере. Два суждения: «Иванов знает английский язык» и «Иванов не знает английского языка» не могут быть истинными, если относительно обоих суждений, во-первых, выполняется требование закона тождества (понятие «знать английский язык» определено); во-вторых, суждения относятся к одному и тому же времени и, в-третьих, утверждение и отрицание рассматриваются в одном и том же отношении (относятся к одному и тому же лицу). Противоречия не возникло бы, если бы речь шла о разных людях, но однофамильцах. То же можно сказать, если бы речь шла о разных временах: в одном случае Иванов - студент, в другом - он же, но уже доктор технических наук, 20 лет спустя. Существенным является то, что понимается под знанием английского языка; в одном случае это умение читать специальную литературу без словаря, в другом - способность работать в качестве переводчика. Мы видим, что здесь требуется выполнение закона тождества не только в отношении субъекта («Иванов»), но и предикатов в суждении («знает английский язык»).

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

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

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

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

Смысл закона исключенного третьего выражает формула:А А

Где А есть суждение, А - его отрицание, - знак дизъюнкции, читается как «либо».

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

Суждения (1) и (2) находятся в отношении противоположности друг к другу. Заметим особо, что закон исключенного третьего имеет обязательную силу лишь для определенного вида противоположности между высказыванием и его отрицанием, а именно для отношения контрадикторной противоположности. Наш пример как раз включает суждения такого вида.

Для отношения же контрарной или так называемой диаметральной противоположности закон исключенного третьего силы не имеет. Если мы сравним суждение (1) «Все планеты имеют спутников» с суждением (3) «Ни одна планета не имеет спутников», то обнаружим, что ни одно из них не может быть истинным, оба суждения ложны. В то же время между ними угадывается некое «третье суждение» (2) «Некоторые планеты не имеют спутников», которое как раз и оказывается истинным. Суждения (1) и (3) не удовлетворяют закону исключенного третьего. Это обстоятельство в отдельных случаях может выступать показателем контрарной противоположности между суждениями. Любая пара суждений, подчиняющаяся действию закона исключенного третьего, подчиняется также и закону противоречия, но не обязательно имеет место обратное.

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

2.4 Закон достаточного основания

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

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

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

Доказательное рассуждение не только утверждает истинность некоторого положения, но и обосновывает его истинность. Закон достаточного основания требует выводить новые положения из уже твердо установленных, проверенных, доказанных истин.

Закон достаточного основания выражает лишь в общем виде требование исчерпывающего учета всех оснований для каждой истины. В нем не указывается, какое именно основание должно быть в каждом отдельном случае (простого факта или ранее доказанных положений), где и каким образом обнаруживается это основание. В законе утверждается только, что оно должно быть. Особенность основания для каждой истины базируется на содержании той области знания, к которой истина относится. Приведем пример. Достаточным основанием истинности суждения (1) «Летом теплее, чем зимой» может служить показание термометра (факт эмпирический) или истинное суждение (2) «Летом ртутный столбик термометра стоит выше, чем зимой», из которого (1) следует логически необходимым образом.

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

Следуя указанному закону, мы должны стремиться избегать распространенной логической ошибки, в основе которой лежит иллюзия: «после этого, значит, по причине этого» (post hoc ergo propter hoc - лат.). Чтобы не впасть в эту иллюзию, мы должны опираться на знание внутренних, необходимых связей между предметами, иначе основание вывода будет легковесным, зыбким.

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

Какие признаки являются существенными (необходимыми и достаточными) для перечисленных ниже:

а) город - является населенным пунктом; огорожен рвом с водой; имеет небоскребы; имеет название; располагается на бурной реке;

б) слово - обладает смыслом; содержит согласные и/или гласные звуки; произносится попугаем; относится к мужскому, среднему или женскому роду; заимствовано из иностранного языка

ОТВЕТ:

а) город - является населенным пунктом; имеет название;

б) слово - обладает смыслом; содержит согласные и/или гласные звуки;

Список литературы

1. Антонов Г.В. От формальной логики к диалектике. М.: ЮНИТИ-ДАНА, 2004.

2. Аристотель. Соч.: В 4 т. М.: Мысль, 1978. Т. 2.

3. Вайшвилло Е.К., Дегтярев М.Г. Логика: Учеб. Для студ. Высш. Учеб. Заведений. М.: Издательство ВЛАДОС-ПРЕСС, 2001.

4. Минто В. Учебник логики. М.: Юридическая литература, 1996.

5. Пименов Л.К. Логика. М.: ПРИОР, 2005.

6. Смирнов В.А. Логика. М.: ЮНИТИ-ДАНА, 2003.

7. Бродский А.И., Безлепкин Н.И. Логика, 2007г.

8. Гетманова А.Д. Логика, 2005г

9. Маковельский А.О. История логики, 2007г.

10. Ивлев Ю.В. Логика, 2006г.

Размещено на Allbest.ru

...

Подобные документы

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

    контрольная работа [41,1 K], добавлен 27.12.2010

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

    контрольная работа [23,0 K], добавлен 04.10.2010

  • Закон тождества, который был сформулирован Аристотелем в трактате "Метафизика" как первый и наиболее важный закон логики. Логический закон противоречия и его сущность. Закон достаточного основания, его примеры. Противоположные и противоречащие суждения.

    контрольная работа [20,7 K], добавлен 16.01.2014

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

    реферат [32,5 K], добавлен 19.09.2010

  • Использование основных законов логики риска, конфликтов и споров при оперировании понятиями и суждениями, в умозаключениях, доказательствах и опровержениях. Рассмотрение законов тождества, непротиворечия, исключенного третьего и достаточного основания.

    реферат [16,5 K], добавлен 24.07.2011

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

    контрольная работа [116,4 K], добавлен 16.10.2016

  • С чего началась наука логика. Формирование логики как самостоятельной науки. Внутренняя структура человеческого мышления. Законы и правила логики. Двухчленные и трехчленные суждения. Закон противоречия с логических позиций. Основные элементы силлогизма.

    контрольная работа [22,4 K], добавлен 26.03.2011

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

    контрольная работа [30,3 K], добавлен 14.05.2011

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

    контрольная работа [30,1 K], добавлен 05.04.2015

  • Понятие простого и сложного суждения. Логические связки, конъюнктивное суждение. Импликативные (условные) суждения. Парадоксы материальной импликации. Основные суждения эквивалентности. Особенности выражения одних логических связок посредством других.

    реферат [24,7 K], добавлен 07.05.2010

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

    контрольная работа [18,1 K], добавлен 29.09.2010

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

    контрольная работа [29,4 K], добавлен 24.04.2009

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

    контрольная работа [21,6 K], добавлен 24.03.2015

  • Зарождение формальной логики и ее развитие в недрах философии. Основные периоды истории развития логики, философские идеи логики Древней Индии и Древнего Китая. Вопросы создания логических систем, представления о формах умозаключений и теории познания.

    реферат [25,2 K], добавлен 16.05.2013

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

    реферат [46,5 K], добавлен 08.11.2015

  • Возникновение и этапы развития традиционной формальной логики. Аристотель как основатель логики. Создание символической логики, виды логических исчислений, алгебра логики. Метод формализации. Становление диалектической логики, работы И. Канта, Г. Гегеля.

    реферат [26,9 K], добавлен 19.01.2009

  • Логика как наука о законах и формах рационального мышления. Основание логики древнегреческим философом Аристотелем. Формы человеческого мышления. Языковое выражение суждений, их виды. Посылки умозаключений. Основной принцип античной формальной логики.

    презентация [675,1 K], добавлен 25.12.2011

  • Умозаключение - форма мышления, посредством которого из одного или нескольких суждений выводится новое суждение. Виды умозаключений. Логика суждений (высказываний). "Аксиомы" логики суждений. Правила вывода логики суждений. "Условный силлогизм".

    реферат [12,4 K], добавлен 22.02.2009

  • Исследование периодизации развития схоластической логики. Методы логики византийского богослова и философа И. Дамаскина. Характеристика суждения и категорического силлогизма в труде "Диалектика". Разделение родов на виды. Теория двойственной истины.

    презентация [1,7 M], добавлен 27.01.2015

  • Характеристика логического определения суждений. Изучение логических связей между суждениями. Истинностное значение сложных суждений. Особенности логических связок, которыми связываются отдельные суждения. Условный (гипотетический) силлогизм и дилеммы.

    реферат [30,7 K], добавлен 13.08.2010

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.