Автор работы: Пользователь скрыл имя, 14 Ноября 2017 в 12:32, реферат
Логику мы определяем как науку, изучающую мышление с целью истинного знания о мире. Для достижения этой цели одних понятий недостаточно. Человек не мыслит отдельными, изолированными понятиями. Понятия образуют алфавит наших мыслей и не являются ни истинными, ни ложными. О понятии логического значения мы начинаем говорить в связи со второй формой мышления – суждением, которая позволяет устанавливать истинность либо ложность наших высказываний об окружающем мире. Вместе с этой формой мысли в сознании появляется идея ответственности за сказанное.
Введение………………………………………………………………………….....3
1 Общая характеристика суждения. Виды суждений……………………………5
2 Атрибутивные суждения. Виды атрибутивных суждений…………………….5
3 Выделяющие, исключающие и определенно-частные суждения………………8
4 Сложные суждения………………………………………………………………9
5 Отношения между суждениями…………………………………………………11
Заключение…………………………………………………………………………13
Список использованных источников……………………………………………14
МИНИСТЕРСТВО ОБРАЗОВАНИЯ РЕСПУБЛИКИ БЕЛАРУСЬ
УО «БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ ЭКОНОМИЧЕСКИЙ УНИВЕРСИТЕТ»
Кафедра философии
РЕФЕРАТ
по дисциплине: Логика
на тему: Суждение как форма мысли
Студент
ИСГО, 1-й курс, 16 ДИС-1
Проверил
канд. философских наук,
доцент
МИНСК 2017
СОДЕРЖАНИЕ
Введение…………………………………………………………
1 Общая характеристика суждения. Виды
суждений……………………………5
2 Атрибутивные суждения. Виды атрибутивных
суждений…………………….5
3 Выделяющие, исключающие и определенно-частные
суждения………………8
4 Сложные суждения…………………………………………………………
5 Отношения между суждениями…………………………………………………
Заключение……………………………………………………
Список использованных источников……………………………………………14
ВВЕДЕНИЕ
Логику мы определяем как науку, изучающую мышление с целью истинного знания о мире. Для достижения этой цели одних понятий недостаточно. Человек не мыслит отдельными, изолированными понятиями. Понятия образуют алфавит наших мыслей и не являются ни истинными, ни ложными. О понятии логического значения мы начинаем говорить в связи со второй формой мышления – суждением, которая позволяет устанавливать истинность либо ложность наших высказываний об окружающем мире. Вместе с этой формой мысли в сознании появляется идея ответственности за сказанное.
Эта форма мышления является, по существу, обязательным элементом всякого познания, в особенности связанного с процессами рассуждения, с осуществлением выводов и построением доказательств. В этой форме фиксируются результаты познания отдельных предметов, классов предметов, некоторых ситуаций вообще. Например, «Каждая планета Солнечной системы вращается вокруг своей оси». Можно сказать, что в этом суждении утверждается наличие в действительности ситуации: вращение вокруг своей оси каждой планеты Солнечной системы. В суждении «Для всякого проводника верно, что если по проводнику проходит ток, то он нагревается», – утверждается наличие – для каждого проводника – связи между прохождением тока по нему и его нагреванием. В суждении же «Ни одна планета Солнечной системы не является неподвижной» отрицается наличие в действительности ситуации покоя (отсутствия движения) каждой планеты Солнечной системы.
В силу того, что в суждении утверждается или отрицается наличие какой-то ситуации действительности, оно – при условии точной и правильной формулировки – является истинным или ложным.
Всякая мысль, выражается в некоторой знаковой – обычно языковой – форме. Для суждения таковой является повествовательное предложение. Само суждение составляет всегда смысл некоторого повествовательного предложения. Суждение, рассматриваемое вместе с его знаковой формой, называют высказыванием. Поэтому характеристики «истинно» или «ложно» относятся зачастую не к самому повествовательному предложению, а иногда и к самому повествовательному предложению, являющемуся законом некоторого суждения.
Таким образом более подробно суждение можно охарактеризовать как мысль, выражаемую в знаковой форме повествовательного предложения, содержащую описание некоторой ситуации и утверждение или отрицание наличия этой ситуации в рассматриваемой области действительности.
С наличием в суждении некоторого утверждения или отрицания неразрывно связано свойство суждения быть истинным или ложным. Впрочем, отрицание наличия некоторой ситуации всегда можно истолковать (и обычно так и делается в современной логике) как утверждение наличия отрицательной ситуации, которая состоит как раз в том, что нечто отсутствует в действительности. Говоря о том, что труд есть источник всех благ человеческого общества, мы утверждаем наличие именно такого положения дел в действительности, согласно которому все блага общества являются результатами труда людей.
В высказывании же «Без труда невозможно достичь серьезных успехов» утверждается отсутствие такой ситуации, когда некоторые успехи не связаны с затратой труда.
Ситуация – связь между наличием тока и проводника и наличием вокруг него электромагнитного поля – может быть выражена в суждении: «Для всякого проводника верно, что если по нему проходит ток, то вокруг него существует электромагнитное поле».
Поэтому всегда возможно считать, что суждение есть некоторое утверждение, а именно – утверждение о наличии некоторой положительной или отрицательной ситуации в действительности.
Знание видов – логических структур – суждений, отношений между суждениями и умение разбираться в возможности преобразованиях высказываний является существенным моментом логической культуры, необходимым условием правильного понимания и выражения мысли, а также корректности логических операций с высказываниями.
1 Общая характеристика суждения. Виды суждений
Суждение – это мысль, в которой утверждается или отрицается свойство у предмета, действие предмета, наличие или отсутствие некоторой ситуации или отношение между предметами. Суждение выражается, обычно, в повествовательном предложении, а реже – в вопросительном, так называемых риторических вопросах, или в восклицательном предложении. Суждение, рассматриваемое вместе с выражающим его предложением, называется высказыванием. Если предложение – это языковое выражение, группа слов, выражающая мысль, а суждение – это мысль, в которой что-то утверждается или отрицается, то высказывание – это суждение, выраженное в языке.
Поскольку в суждении нечто утверждается или отрицается о чем-то, в нем выделяют две части: то, о чем говорится, и то, что говорится. То, о чем говорится, предполагается уже известным к моменту высказывания, а то, что говорится – новая информация, которую содержит данное суждение. То, о чем говорится, называется субъектом суждения, а то, что утверждается или отрицается в суждении – предикатом суждения.
Хотя суждение не может существовать вне предложения, связь суждения с предложением не однозначна, иначе говоря, одно и то же суждение может быть выражено разными предложениями, и одно предложение может выражать разные суждения. Одну и ту же мысль можно выразить, например, в разных языках. В этом случае предложения, очевидно, различны. Но также ее по-разному можно выразить и в одном языке. Например, в предложениях «Некоторые существительные русского языка не склоняются» и «В русском языке встречаются несклоняемые существительные» выражено одно и то же суждение.
С другой стороны, почти любое повествовательное предложение может выражать различные суждения. Трудно однозначно сказать, какая именно мысль выражена в предложении: «Завтра я сюда не приду». Его можно толковать как дающее ответ на любой из следующих четырех вопросов:
1. Когда я сюда не приду?
2. Кто завтра сюда не придет?
3. Куда я завтра не приду?
4. Приду ли я сюда завтра?
Очевидно, эти вопросы запрашивают
различную информацию, и каждый раз требуемую информацию
2 Атрибутивные суждения. Виды атрибутивных суждений
В атрибутивных суждениях субъект
может быть единичным или общим понятием,
и в зависимости от этого они называются
соответственно единичными и множественными
суждениями. В последнем случае при субъекте
имеется показатель его количества –
квантор (общности или существования)
– показатель того, ко всему объему субъекта
относится предикат или к части объема.
И поскольку каждое суждение – либо утвердительное,
либо отрицательное, общая классификация
атрибутивных суждений такова: единичноутвердительные,
единичноотрицательные, общеутвердительные,
общеотрицательные,
Множественные атрибутивные суждения называются категорическими. Их принято обозначать латинскими буквами А, Е, I, О соответственно.
Общеутвердительное суждение (А) имеет вид: Все S суть Р. Например, «Все киты живут в воде» или «Все люди - разумные существа». Логическая форма общеутвердительного суждения, записанная на языке логики предикатов: . Отношение субъекта и предиката (которые называются в атрибутивных суждениях терминами суждения) в общеутвердительных суждениях может отражаться схемами (рис. 1):
Рис. 1
Схемы показывают, что субъект в любом случае в полном объеме включается в предикат, не совпадая или совпадая с ним.
Полное включение одного термина атрибутивного суждения в другой, а также полное исключение одного термина из другого называется распределенностью термина. Можно также сказать, что распределенность термина – это полнота информации, содержащейся в суждении относительно объема этого термина. Так, общеутвердительное суждение содержит информацию обо всем объеме его субъекта, и он является распределенным, предикат же общеутвердительного суждения не распределен, поскольку его объем может быть не включен полностью в объем субъекта (левая схема).
Общеотрицательное суждение (Е) имеет вид: Ни одно S не есть Р. Например, «Ни один кит не живет на суше», «Ни одно нечетное число не делится на 2». Логическая форма общеотрицательного суждения, записанная на языке логики предикатов:
Отношение субъекта и предиката в общеотрицательных суждениях может отражаться схемами (рис. 2):
Рис. 2
Из этих схем видно, что каждый из терминов полностью исключен из другого или, говоря иначе, суждение содержит информацию обо всем объеме субъекта и обо всем объеме предиката, и поэтому оба термина являются распределенными.
Частноутвердительное суждение (I) имеет вид: Некоторые S суть Р. («Некоторые млекопитающие живут в воде», «Некоторые металлы электропроводны», «Некоторые врачи – хирурги».) Логическая форма частноутвердитедьного суждения, записанная на языке логики предикатов:
Отношениям субъекта и предиката в частноутвердительных суждениях соответствуют схемы (рис. 3):
Рис. 3
Если рассмотреть все схемы, видно, что субъект и предикат в частноутвердительном суждении с необходимостью только частично включаются один в другой, суждение дает информацию лишь о части объемов своих субъекта и предиката, т.е. они оба не распределены.
Частноотрицательное суждение (О) имеет вид: Некоторые S не суть Р. Например, «Большинство млекопитающих не являются морскими животными» или «Некоторые существительные иностранного происхождения в русском языке не склоняются». Логическая форма частноотрицательного суждения, на языке логики предикатов записывается так:
Отношениям субъекта и предиката в частноотрицательных суждениях соответствуют схемы (рис. 4):
Рис. 4
Предикат в частноотрицательном суждении считается распределенным на том основании, что полностью исключен из той части субъекта, о которой идет речь, а субъект - нераспределенным.
Единичные суждения – те, в которых субъект является единичным понятием, имеют вид: а есть Р – единично-утвердительное – или а не есть Р – единично-отрицательное. Например, «Санкт-Петербург расположен в устье Невы» и «Нева не впадает в Ладожское озеро», соответственно. На языке логики предикатов их логические формы имеют вид: Р (а) и не – P (a). Поскольку в единичных суждениях предикат либо приписывается всему объему субъекта, либо отрицается у всего объема субъекта, единичные суждения приравниваются к общим Р. Определенность терминов в единичных суждения такая же, как в общих.
3 Выделяющие, исключающие и определенно-частные суждения
На базе атрибутивных суждений строятся некоторые усложненные их варианты, так называемые: выделяющие, исключающие и определенно-частные. В выделяющих суждениях подчеркивается, что только данному субъекту приписывается или только у него отрицается указанный предикат. Иначе говоря, выделяющее суждение отражает тот факт, что только предмет суждения обладает (не обладает) указанным в предикате свойством. Выделяющими могут быть все шесть рассмотренных типов атрибутивных суждений. Они имеют форму:
1) общеутвердительное выделяющее (А – выделяющее) – Все S, и только S, суть Р;
2) общеотрицательное выделяющее (Е – выделяющее) – Ни одно S, и только S, не есть Р;
3) частноутвердительное выделяющее (I – выделяющее) – Некоторые S, и только S, суть Р;
4) частноотрицательное выделяющее (0 – выделяющее) – Некоторые S, и только S, не суть Р;
5) единичноутвердительное выделяющее – а, и только а, есть Р;
6) единичноотрицательное выделяющее – а, и только а, не есть Р.
Все выделяющие суждения являются, по существу, сложными, состоящими из двух простых суждений: в первом нечто говорится об S, а во втором говорится, что это не имеет места для не – S. Суждение «Все члены нашей группы, и только они, присутствуют на собрании» нужно понимать так, что: 1) все члены нашей группы присутствуют на собрании; 2) на собрании нет посторонних. Дополнительная информация, заключенная в выделяющих суждениях, по сравнению с невыделяющими, отражается на распределенноcти терминов. Общеутвердительное выделяющее суждение содержит информацию не только обо всем объеме субъекта, но и обо всем объеме предиката, т.е. в нем распределены и субъект, и предикат. Схема отношения субъекта и предиката в суждениях такой формы (рис. 5):