рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

СЛОЖНЫЕ СУЖДЕНИЯ

СЛОЖНЫЕ СУЖДЕНИЯ - раздел Философия, ЛОГИКА. ПРЕДМЕТ ЛОГИКИ   Сложными Являются Суждения, В Которых Можно ...

 

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

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

Соединительные суждения - это суждения, в которых утверж­дается, что две ситуации наличествуют одновременно. Например: «Поезд подходит к перрону и пассажиры готовятся войти в вагон». Такие ут­верждения могут выражаться посредством предложений, содержащих союзы «и», «да», «а» (в значении «и»). Поскольку союз «и» выражается знаком конъюнкции, такие суждения называются конъюнктивными, и имеют форму АÙВ, где А и В – это простые суждения.

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

 

А В АÙВ
  и и л л   и л и л   и л л л  

 

 

Разделительные суждения - это суждения, в которых утверж­дается наличие одной из двух возможных ситуаций. Например: «Сейчас идет дождь или светит солнце». Эти утверждения выражаются предложениями, содержащими союзы «или», «либо» и т.п., которые выражаются знаком дизъюнкции, поэтому они называются также дизъюнктивными. Если утверждается на­личие по крайней мере одной из двух возможных ситуаций, а вторая может быть, а может и не быть, суждение нестрого разделительным, или просто дизъюнктивным. Приведенный пример является как раз таким суждением: возможны ситуации, когда только идет дождь, только светит солнце, а также когда эти явления наблюдаются одновременно. Если же ут­верждается наличие только одной из двух возможных ситуаций, то суждение называется строго-разделительным, или строго-дизъюнктивным. Например: «сейчас на улице или день, или ночь». Утверждения первого типа формулируются чаще всего посредст­вом предложений с союзами «или..., или...» и «либо..., либо...», но могут выражаться и посредством предложений с одним союзом «или» («либо»). В этом случае должно быть ясно из контекста, что имеет место утверждение о наличии только одной из двух си­туаций. Если союз «или» обозначается символом Ú, на­зываемым знаком нестрогой дизъюнкции или просто знаком дизъ­юнкции, то союз «или..., или...» - символом Ú , называемым знаком строгой дизъюнкции.

Для случаев нестрогой и строгой дизъюнкции существуют различающиеся таблицы истинности.

Таблица нестрогой дизъюнкции:

А В АÚВ
и и л л и л и л и и и л

Таблица строгой дизъюнкции:

А В АÚВ
и и л л   и л и л л и и л

 

 

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

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

Поясним приведенное выше утверждение. Условия бывают необходимые и достаточные. Условие называется необходимым для данного явления, ситуации и т. д., если при его отсутствии это явление, ситуация и т. д. не происходит. Например, наличие топлива в бензобаке автомобиля явля­ется необходимым условием для того, чтобы его двигатель мог работать. Условие называется достаточным для данного события, если всякий раз, когда имеется это условие, событие происходит. Например, наличие льда на дороге является достаточным условием для того, чтобы автомобиль при торможении занесло. Условия могут быть достаточными, но не необходимыми, например, как в приведенном выше примере: во-первых, автомобиль может занести на мокрой дороге во время дождя, во-вторых, это событие может произойти вследствие изношенного протектора покрышек и т.д.; необходимыми, но не достаточными, как в примере с наличием топлива, так как для того, чтобы двигатель заработал, нужно еще как минимум наличие работоспособного зажигания; необходимыми и достаточны­ми, например делимость числа n на 2 и 3 является необходи­мым и достаточным условием его делимости на 6.

Союз «если..., то» в условном суждении обозна­чается стрелкой «®».

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

Таблица истинности для импликации:

 

А В АÉВ
и и л л   и л и л и л и и

 

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

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

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

Таблица истинности для суждений эквивалентности:

 

А В АºВ
и и л л   и л и л и л л и

Суждение с внешним отрицанием - это суждение, в котором содержится информация об отсутствии некоторой ситуации. Такие суждения чаще всего представлены выражением «невер­но, что». Внешнее отрицание обозначается символом « Ø », который называется знаком отрицания.

Таблица истинности для суждений с внешним отрицанием:

А ØА
и л л и

 

 

– Конец работы –

Эта тема принадлежит разделу:

ЛОГИКА. ПРЕДМЕТ ЛОГИКИ

М И ИВЛЕВА... ГЛАВА ПРЕДМЕТ ЛОГИКИ... Из истории логики Название науки логики происходит от древнегреческого слова...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: СЛОЖНЫЕ СУЖДЕНИЯ

Что будем делать с полученным материалом:

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

Все темы данного раздела:

Из истории логики
  Название науки логики происходит от древнегреческого слова «λογος», которое означает «разум», «рассуждение». Логика является одной

Предмет логики
  Необходимо отметить, что в настоящее время слово «логика» используется в нескольких основных значениях. Это и объективная логика закономерностей в развитии и изменении явлени

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

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

Язык как знаковая система
  Язык как знаковая система, средство фиксирования, хранения и передачи информации - один из важных объектов рассмотрения логических исследований. . Знак – э

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

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

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

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

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

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

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

ОТРИЦАНИЕ СУЖДЕНИЯ
    Отрицание суждения – это логическая операция, которая представляет собой такое изменение логического содержания суждения, что его истинностное значе

ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ
  Суждения подразделяются на сравнимые и несравнимые. Сравнимые суждения имеют общий субъект или предикат, несравнимые суждения не имеют общего субъекта либо предиката.

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

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

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

Общие правила категорического силлогизма
конецформыначалоформыПравила терминов категорического силлогизма Первое правило - в силлогизме должно быть только три термина (меньший, больший, средний). Второе

Обратная дедукция
  Одним из видов индуктивных заключений является обратная дедукция: высказывания В1, В2,…Вn подтверждают высказывание А, если из А следуют высказывания В1, В2,…Вn , А

ОБОБЩАЮЩАЯ ИНДУКЦИЯ
  Обобщающая индукция - это умозаключение, в котором осу­ществляется переход от знания об отдельных предметах класса или о подклассе этого класса к знанию о классе в

Метод остатков.
При использовании этого метода рассматривают сложное явление U. Это явление состоит из ряда простых явлений а, b, с, d. Из предшествующего опыта известно, что простое явление

Умозаключения по аналогии
Умозаключением по аналогии (от древнегреческого ἀναλογἰα — соответствие, сходство) называется рассуждение, в ко­тором исходя из сходства двух

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

Критика и опровержение
  Критика - это деятельность, противоположная по своей цели и содержанию аргументации. Если целью аргументации является выработка убеждения в истин­ности или, по крайней мере,

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

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

В. Правила по отношению к аргументам. Возможные ошибки
Первое правило:аргументы должны быть сформулированы явно и ясно. Для выполнения этого правила необходимо: (1) перечислить все аргументы; если в процессе аргумента

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

Стокгольм, 26 октября 1959 года
В1959 году двум американским ученым-атомщикам присуждена Нобелевская премия по физике за открытие антипротонам доказывающее существование двух форм материи — частиц и античастиц... Согласно одному

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги