Условия истинности сложных суждений реферат

Обновлено: 30.06.2024

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

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

Два или более простых суждения могут образовывать сложное с помощью соединительного союза, который символически изображается знаком "/". Например: "Сегодня воскресенье, и мы едем за город". Это конъюнктивное суждение можно записать в виде формулы: (S есть Р) и (S1 есть р1). Если же простые суждения, которые нам хорошо уже известны, обозначать для простоты выражения отдельными символами, то эта формула примет сокращенный вид (В и С), где символ "В" соответствует простому суждению "S есть Р", а символ "С" - другому простому суждению "S1 есть Р1". А если мы и логический союз заменим на символическое его изображение, то получим совсем короткую и удобную для использования формулу: "В/С", которая выражает лишь структурные особенности построения данной формы мысли (что логику-то и интересует) и не отвлекает нас своим содержанием. По формуле легко установить количество составных элементов сложного суждения - левый и правый член конъюнкции, и сам логический союз. Остается выявить лишь закономерности, определяемые главным элементом данной конструкции - логическим союзом.

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

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

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

В логике различают два значения разделительного (дизъюнктивного) союза: разделительно-соединительный (слабая дизъюнкция) и строго разделительный союз (строгая, или сильная дизъюнкция). Слабая дизъюнкция не запрещает, не исключает одновременную истинность простых суждений, входящих в это сложное. Так, приведенное выше суждение "Леса бывают лиственными или хвойными или смешанными" являет собой образец слабой дизъюнкции: в данном случае союз "или" не только разъединяет, но и соединяет, допуская наличие перечисленных трех признаков у одного и того же леса. Зато строгая (сильная) дизъюнкция исключает одновременную истинность простых входящих в сложное суждений. Так, в суждении "Данное животное есть волк или медведь" союз "или" выполняет строго разделительную роль; одновременно данное животное тем и другим быть не может. Обычно слабую дизъюнкцию обозначают символом "v", а строгую — "v".

Для разделительно-соединительного союза, для слабой дизъюнкции, таблица истинности такова:

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

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

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

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

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

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

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

Между двумя элементами условного суждения [основанием и следствием) логика устанавливает две закономерные зависимости. Первая и жесткая зависимость, отражающая причинно-следственную связь, показывает истинностную зависимость следствия от основания условного суждения. При истинности основания условного суждения следствие его будет обязательно истинным. Так, в суждении "Если растение лишено кислорода, то оно погибает" при истинности его основания (растение лишено кислорода) следствие его (оно погибает) будет безусловно истинным. Но если основание этого условного суждения ложно, то его следствие может быть как истинным, так и ложным, т.е. неопределенным. Потому что, опираясь только на имеющуюся в основании условного суждения информацию, сказать определенно, каким же будет следствие этого суждения, не представляется возможным. Нам ведь ничего не известно об остальном: в нашем случае — о земле, воде, солнце, тепле и пр.

при л --> ?, и наоборот, при

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

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

Сложные суждения

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

Суждение как форма мысли

. Сложные суждения Сложным называется суждение, имеющее в своем составе другие суждения. Эти последние, если их . на вопрос, при каких условиях истинно сложное суждение данной формы. Таблица истинности р q r ¬p (¬p & q) (r v p) ((¬p &q)  (r v p)) и и и л л и .

Суждение и логическая характеристика

. их свойствами или об отношениях между предметами. В суждении выделяют субъект суждения . изменению условий . истинности сложных суждений, А В А → В А \\// В И И И Л Первое суждение (А → В) – истинное, а второе (А \\// В) – ложное. Вывод: Приведенные суждения .

Онтологическая истинность феномена человеческой духовности

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

Объективная истина как цель доказывания

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

Содержание

1.Что такое суждение? . 4

2. Логическая структура суждения…. 7
3 Виды суждения………………………8
4. Сложные суждения………………. 9
5. Виды сложных суждений…………..11

7. Список литературы……………….. .15

Работа содержит 1 файл

реферат по логике.doc

МИНИСТРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

ФЕДЕРАЛЬНОЕ АГЕНСТВО ПО ОБРАЗОВАНИЮ

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ПРИБОРОСТРОЕНИЯ И ИНФОРМАТИКИ

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

дата, подпись

1.Что такое суждение? . 4

2. Логическая структура суждения…. 7

3 Виды суждения………………………8

4. Сложные суждения………………. 9

5. Виды сложных суждений…………..11

7. Список литературы……………….. .15

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

Мышление человека подчиняется логическим законам и протекает в логических формах независимо от науки логики. Люди мыслят логично, не зная её правил, подобно тому, как они правильно говорят, не зная правил грамматики. Что касается логики, то её задача заключается в том, что бы научить человека сознательно применять законы и формы мышления и на основе этого логичнее мыслить и, следовательно, правильнее познавать мир. Знание логики повышает культуру мышления, вырабатывает навык мыслить более “грамотно”, развивает критическое отношение к своим и чужим мыслям. Мышление — в диалектической логике понимается как идеальный компонент (деятельность в плане представления, изменяющая идеальный образ предмета) реальной деятельности общественного человека, преобразующего своим трудом и внешнюю природу, и самого себя.

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

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

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

Таким образом, предложение - это форма суждения, а суждение является смысловым содержанием предложения.

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

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

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

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

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

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

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

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

Логическая структура суждения.

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

Таким образом, каждое суждение состоит из трех основных элементов — субъекта, предмета и связки (двух терминов и связки). Каждый из этих членов суждения обязательно имеется или подразумевается во всех суждениях. Состав суждения можно выразить общей формулой:

S есть (не есть) Р

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

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

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

1. Атрибутивные (категорические) - (S - Р)- суждение о признаке предмета; утверждается или отрицается связь между предметом и его признаком. Объемная интерпретация атрибутивного суждения - включение объема одного понятия в объем другого или исключение из него. Россия (S) - суверенное государство (Р), где Р включает в себя S. Никто из судей (S) не вправе воздержаться от голосования (Р), где S (судьи) исключается из объема предиката Р (лица, имеющие право воздержаться от голосования).

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

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

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

Введение

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

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

1. Изучение специальной литературы по теме данного исследования.

2. Определение структуры и логической формы сложных суждений.

3. Рассмотрение видов сложных суждений.

4. Построение таблицы истинности.

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

Глава 1. Сложные суждения: структура и логическая форма

сложный суждение истинность

1.2 Логическая форма и виды сложных суждений

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

Однако, по своим истинностным характеристикам условное суждение и импликация не во всем тождественны друг другу.

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

Глава 2. Условия истинности сложных суждений

Таблица истинности сложных суждений

Строгая дизъюнкция

Эквивалентность

А€В

А?В

А В А€В

А В АЎВ

А В А?В

А В А>В

А В А?В

Конъюнкция истинная, если все ее члены истинны

Дезъюнкция ложна, только если все ее члены ложны

Строгая дезъюнкция истинна, только если один ее член истинен, а другой ложен

Импликация ложна, только если ее основание истинно, а следствие ложно

Эквивалентность истинная, только если ее члены либо истинны, либо ложны

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

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

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

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

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

Для разделительно-соединительного союза, для слабой дизъюнкции, таблица истинности такова:

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

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

при л --> ?, и наоборот, при

Виды сложных суждений и условия их истинности ( реферат , курсовая , диплом , контрольная )

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

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

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

Возьмем еще два простых суждения, — одно истинное, другое ложное, — и соединим их разными союзами:

2. В простых суждениях, входящих в состав сложных, учитываются только их истинностные значения. Внутренняя (субъектно-предикатная) структура простых суждений, а также их качество и количество не учитываются.

Возьмем шекспировские строки:

" Слова парят, а чувства к низу гнут, А слов без чувств вверху не признают" ["https://referat.bookap.info", 19].

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

Таблицы истинности позволяет выделить из класса формул нашего языка:

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

б) сложный субъект и простой предикат.

" Любовь (5)) и голод (52) правят миром (Р)" (Ф. Шиллер);

" Больной душе (5,) и совести усталой (52).

Во всем беды мерещится начало (Р)" (В. Шекспир);

в) сложный субъект и сложный предикат.

Читайте также: