Суждение, предложение, высказывание
Содержание
Введение 2
1. Простые суждения. 3
2. Сложные суждения. 4
3. Операции с суждениями. 5
4. Высказывание как форма мышления. 6
5. Предложение в логике. 9
Заключение 12
Список
используемой литературы 14
Введение
Тема моей контрольной работы – «Суждение, предложение, высказывание».
Актуальность темы вызвана тем, что эти три вида логического мышления представляет собой форму мысли, устанавливающую логическую связь между собой. Суждение можно выразить в предложении, но не всякое предложение может выражать суждение. Как форма мысли суждение идеальное отражение предмета, процесса, явления, поэтому оно материально выражается в предложении. Суждения, реально отражающие предмет и его свойства, будут являться истинными, а неадекватно отражающие - ложными. Признаки предложений и признаки суждений не совпадают и не тождественны друг другу. Элементами предложений являются подлежащее, сказуемое, дополнение, обстоятельство, а элементами суждений - предмет мысли (субъект), признак предмета мысли (предикат) и логическая связка между ними. Логическое подлежащее» - это понятие, отражающее предмет, оно обозначается латинской буквой «S». Логическое «сказуемое» - это понятие, которое отражает присущие или не присущие субъекту признаки, и обозначается латинской буквой «Р». Связка может выражать в русском языке словами «есть» - «не есть», «суть» - «не суть», «является» - «не является», помимо этого она может и опускаться. Например, суждение «ромашка есть цветок», как правило, выражается «ромашка-цветок». Кроме названных элементов в суждениях имеется не всегда выразимый элемент, отражающую количественную характеристику, его называют «квантор» суждения. В языке он выражается словами «все», «без исключения», «каждый», «многие», «часть». Например, «Часть S есть Р», «Все S суть Р». В соответствии с количественными и качественными показателями элементов суждений, последние подразделяются на несколько видов. По числу субъектов и предикатов суждения делятся на простые и сложные. Цель работы изучить основные понятия суждения, предложения и высказывания. Рассмотреть, какие по своему виду бывают суждения в логике.
- Простые суждения.
Простым суждением называется такое суждение, которое состоит только из двух понятий; в одном из этих понятий выражается то, о чем мы нечто утверждаем или отрицаем в другом из этих понятий выражается то, что утверждается или отрицает. Пример простого суждения: «кошка - животное». Среди простых суждений по качественным характеристике связки выделяются суждения действительности, необходимости и возможности. В целом эту группу суждений считают суждениями модальности, которая представляет собой степеньдостоверности того или иного простого суждения. К суждениям действительности относятся те, что адекватно или не адекватно, но категорично отражают действительность с помощью связок «есть» («не есть»), «суть» («не суть»). Наиболее подробно в логике рассматривается простые категорические суждения. Это такие суждения, в которых между субъектом и предикатом устанавливается категорическая утвердительная или отрицательная связь, а именно отношения тождества, подчинения, частичного совпадения, противоречия, противоположности и соподчинения. Простое категорическое суждение может быть истинным или ложным. По количественному и качественному признакам простые категорические суждения подразделяются на виды. Единичное суждение отражает единственный предмет мысли, а значит субъект этого суждения - единичное понятие. Общие суждения - суждения обо всех предметах определенного вида с квантором «все» (ни один, каждый, всякий) перед субъектом: «Все S есть Р». Например, «Каждый студент имеет зачетную книжку». В русском языке утвердительная связка может опускаться. Если объединить качественный и количественный показатель, то все простые категорические суждения можно разделить на шесть видов: общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные.
Между
видами простых категорических суждений
устанавливаются следующие
1.
Отношения противоречия
2.
Отношения противоположности
3. Отношения подпротивоположности (частного совпадения) - разными по качеству частными суждениями (частноутвердительными и частноотрицательными).
4.
В отношении подчинения
- Сложные суждения.
Сложным суждением - является суждение, состоящие из нескольких простых, связанных логическими связками.
Соединительное суждение - соединительным является суждение, состоящие из нескольких простых, связанных логической связкой «и».
Разделительное суждение - суждение, состоящее из нескольких простых, связанных логической связкой «или».1
Условное суждение - суждение, состоящее из двух простых, связанных логической связкой «если …., то….».
Эквивалентное
суждение - суждение, включающее в качестве
составных два суждения, связанных
двойной условной зависимостью, выражаемой
логической связкой «если и только
если …., то ….».2
- Операции с суждениями.
Операции
с суждениями, как с единством
составных частей, позволяют произвести
интеллектуальные действия с данной
формой мысли. К таким логическим
операциям относятся отрицание,
обращение, превращение и
Отрицание суждений связано с отрицательной частицей «не». Производится оно путем отрицания связки суждения. Отрицать можно не только утвердительное, но и отрицательное суждение. Этим действием истинное исходное суждение преобразуется в ложное, а ложное - в истинное. Отрицается суждение по средством отрицания квантора, субъекта, предиката или нескольких элементов сразу В процессе отрицания суждений возникает ряд сложностей.
Кроме того в логике существует операция отрицания суждения - превращение. Она представляет собой действие, связанное с изменением качества исходного суждения - связки. При этом предикат полученного суждения должен противоречить исходному. Таким образом, утвердительное суждение превращается в отрицательное и наоборот.
Частноутвердительное суждение «Часть животных есть домашние»
превращается в частноотрицательное «Часть животных не есть не-домашние».
При
отрицании какого либо суждения необходимо
так же помнить о принципах логики. Принцип
противоречия требует, чтобы мышление
было последовательным. Он требует, чтобы,
утверждая нечто о чем-то, мы не отрицали
того же о том же в том же самом смысле
в то же самое время, т.е. запрещает одновременно
принимать некоторое утверждение и его
отрицание. Вытекающий из принципа противоречия,
принцип исключенного третьего требует
не отвергать одновременно высказывание
и его отрицание.3
- Высказывание как форма мышления.
Мышление
любого человека подчиняется логическим
законам, протекает в логических
формах, совершается с помощью
логических приёмов. Не всякий результат
мышления является правильным, люди допускают
логические ошибки, а иногда и обманывают.
Задача логики и состоит в изучении
условий получения правильного
результата, которые содержатся в
самом мышлении, его ходе, структуре,
связи мыслей. Знание условий получения
правильного результата важно в
любой области научной и
Логическое высказывание — упрощение термина «Суждение» из формальной логики, используется в математической логике. Высказыванием является повествовательное предложение, которое формализует некоторое выражение мысли. Это утверждение, которому всегда можно поставить в соответствие одно из двух логических значений: ложь (0, ложно, false) или истина (1, истинно, true). Логическое высказывание принято обозначать заглавными латинскими буквами.
Высказывательной формой называется логическое высказывание, в котором один из объектов заменён переменной. При подстановке вместо переменной какого-либо значения высказывательная форма превращается в высказывание. Пример: A(x) = «В городе x идет дождь.» A — высказывательная форма, x — объект.
Высказывание обычно имеет только одно логическое значение. Так, например, «Париж — столица Франции» — высказывание, а предложение «На улице идет дождь» высказыванием не является. Аналогично, «5>3» — высказывание, а выражение «2+3» — нет. Как правило, высказывания обозначают маленькими латинскими буквами.
Логические высказывания принято подразделять на два вида: элементарные логические высказывания и составные логические высказывания.
Составное логическое высказывание — это высказывание, образованное из других высказываний с помощью логических связок.
Логическая связка — это любая логическая операция над высказыванием. Например, употребляемые в обычной речи слова и словосочетания «не», «и», «или», «если… , то», «тогда и только тогда» являются логическими связками.
Элементарные логические высказывания — это высказывания не относящиеся к составным.
Примеры: «Петров — врач», «Петров — шахматист» — элементарные логические высказывания. «Петров — врач и шахматист» — составное логическое высказывание, состоящие из двух элементарных высказываний, связанных между собой при помощи связки «и».
Обычная логика двухзначна, то есть приписывает высказываниям только два возможных значения: истинно оно или ложно.
Пусть p — высказывание. Если оно истинно, то пишут | p | = 1, если ложно, то | p | = 0.
Тождественно истинное высказывание обозначают символом 1, тождественно ложное — символом 0. Существуют также многозначные логики.
Отрицание логического высказывания — логическое высказывание, принимающее значение «истинно», если исходное высказывание ложно, и наоборот.
Конъюнкция двух логических высказываний — логическое высказывание, истинное только тогда, когда они одновременно истинны.
Дизъюнкция двух логических высказываний — логическое высказывание, истинное только тогда, когда хотя бы одно из них истинно.
Импликация двух логических высказываний A и B — логическое высказывание, ложное только тогда, когда B ложно, а A истинно.
Равносильность (эквивалентность) двух логических высказываний — логическое высказывание, истинное только тогда, когда они одновременно истинны или ложны.
Кванторное логическое высказывание с квантором всеобщности ( ) — логическое высказывание, истинное только тогда, когда для каждого объекта x из заданной совокупности высказывание A(x) истинно.
Кванторное
логическое высказывание с квантором
существования (
) — логическое высказывание, истинное
только тогда, когда в заданной совокупности
существует объект x, такой, что высказывание
A(x) истинно.
- Предложение в логике.
Предложение (в логике предикатов) — это корректно сформированная формула Φ, которая не содержит свободных вхождений переменных (т.е. вхождений, не находящихся в области действия каких-либо кванторов в Φ). Грубо говоря, предложение не должно содержать "параметров", могущих повлиять на значение истинности предложения в подразумеваемой "семантической структуре": таким образом, в каждой такой структуре предложение имеет единственно возможное истинностное значение.
Суждение как форма мысли существует и развивается только в форме языка. Формой существования суждения является предложение.
Вопрос
об отношении суждения как формы
мысли к предложению как
Но всякий лингвист тем не менее старается дать определение предложения '. Рассматривая эти определения, мы можем найти в них нечто общее, а именно: предложение служит для выражения определенной единицы мысли. Но что это за мысль, какова ее форма? Лингвисты по-разному отвечали на этот вопрос.
Ф. Буслаев весьма просто решал его: слова являются названием общих понятий или представлений, «суждение, выраженное словами, есть предложение-» 1, умозаключению соответствует сложное предложение. При этом суждение он понимал в традиционном смысле, как формальная логика того времени. Ф. Буслаев устанавливал полное тождество между структурой суждения и структурой предложения, растворяя последнее в первом; кроме суждения, он ничего иного не видел в предложении.
Концепция
Ф. Буслаева была подвергнута критике
со стороны так называемого
В решении вопроса об отношении предложения к суждению психологисты исходили из положения, что каждый язык имеет свою особую логику, причем явления языка нужно объяснять не логикой общечеловеческого мышления, а индивидуальной логикой самого языка. «Предложение это единица речи, воспринимаемая говорящим и слушающим как грамматическое целое и служащая для словесного выражения единицы мышления». «Понятие предложения употребляется в синтаксисе в двух смыслах: более широком — законченной мысли, выраженной словами (в таком смысле употребляется еще и термин фраза), и в более узком — синтаксической единицы, характеризующейся наличием сказуемого». «Предложение — это грамматически оформленная по законам данного языка целостная (т. е. неделимая далее на речевые единицы с теми же основными структурными признаками) единица речи, являющаяся главным средством формирования, выражения и сообщения мысли.4
Многие русские языковеды находились под влиянием психологического направления в лингвистике и проводили его в трактовке семантики предложения. Так, Потебня, критикуя отождествление суждения и предложения, писал:
«Грамматическое предложение вовсе не тождественно и не параллельно с логическим суждением. Названия двух членов последнего (подлежащее и сказуемое) одинаковы с названиями двух из членов предложения, но значения этих названий в грамматике и логике различны. Термины «подлежащее», «сказуемое» добыты из наблюдения над словесным предложением и в нем друг другом не заменимы. Между тем для логики в суждении существенна только сочетаемость или несочетаемость двух понятий, а которое из них будет названо субъектом, которое предикатом, это для нее, вопреки существующему мнению, должно быть безразлично... Категории предмета и его признака не нужны для логики, для которой и то, и другое — только понятия, совокупности признаков. Тем менее возможно вывести из логического суждения прочие члены предложения: определение, обстоятельство, дополнение» 3.
В этом высказывании Потебни наряду с правильными мыслями о том, что грамматические предложения не тождественны суждению, подлежащее и сказуемое предложения — грамматические, а не логические категории и т. д., имеются и неправильные положения, а именно: неверно понимание сущности суждения как сочетания понятий. Нельзя согласиться с утверждением Потебни, что категории предмета и его признака не логические, а грамматические. Сам Потебня склонен считать, что предложение выражает не логическое, а психологическое суждение.
Сущность этого акта мысли, отличного от логического суждения, Фортунатов определяет как связь двух представлений — господствующего и подчиненного: «Психологическое суждение заключает в себе, следовательно, три элемента, но в выражении психологического суждения в речи, хотя бы и в полном, сознание связи между представлениями, образующими отдельные части суждения, понятно, не может выражаться отдельно и входит в выражение одной из этих частей. Поэтому и в психологическом суждении, рассматриваемом по отношению к выражению его в речи, мы можем различать два элемента: первую часть психологического суждения и вторую в открываемом мыслью отношении ее к первой части. Вторая часть психологического суждения в ее отношении к первой части может быть называема психологическим сказуемым, а первая, предполагаемая такою второю частью, — психологическим подлежащим...».
Заключение
В данной контрольной работе я изучил тему «Суждение, предложения, высказывания в логике». Рассмотрел какие бывают виды суждений. Объяснил понятие высказывания и предложения. На основание вышесказанного можно сделать следующий вывод:
Итак, суждение составляют как минимум два понятия и даже простое суждение состоит из трех элементов, значит понятие более простая форма мысли, лежащая в основе более сложных.
Таким образом, отношение между суждениями подразделяются на виды по количественным и качественным показателям. Отношения, существующие между простыми категорическими суждениями: противоречия, противоположности, подчинения, соответствуют отношениям противоречия, противоположности, подчинения понятий.
Отрицательные
понятия образуются путем прибавления
к любому положительному понятию
частицы «не». Отрицать можно не
только утвердительное, но и отрицательное
суждение. Процесс образования
Список используемой литературы
- Вольфенгаген В.Э. Логика. М., ЦентрЮрИнфор, 2004.
- Жоль К.К. Логика. М., ЮНИТИ, 2004.
- Жоль К.К. Логика для юристов. М., ЮНИТИ, 2004.
- Жоль К.К. Логика в лицах и символах. М., «Восток-Запад», 2006.
- Ненашев М.И. Введение в логику. М., «Гардарики», 2004.
- Шуман А. Современная логика. Минск, «Экономпресс», 2004.
- Гетманова. Учебник по логике (для педвузов). М., 2004.
- Ивин А.А. Строгий мир логики. М., 2000.
- Кузина Е.Б. Логика. М., МГУ, 2000.
- Треушников М.К. Судебные доказательства. М., 1997.
- Малахов В.П. Логика для юристов. М., «Экономический проспект», 2002.