СОДЕРЖАНИЕ:

Введение

      По сравнению с животными и предшественниками отличительной особенностью человека является наличие разума. Но что такое «разум» до сих пор определить чрезвычайно трудно. Однако есть одна из сторон разума, которая исследована достаточно хорошо. Это – мышление, т.е. способность ориентироваться в окружающем мире, рассуждать, строить объяснения тех или иных явлений, делать предсказания. Наука о мышлении называется логика. Слово "логика" в повседневной речи часто означает для нас взаимосвязанность, последовательность. Когда говорят или признают: "логично", – то имеют в виду, как главное, что нечто следует из предшествующего обязательно. В этом смысле логичное бывает лишь тогда, когда оно обуславливается тем или иным законом. Повседневное общение – это, как правило, разговор, т.е. обмен словами, предложениями, но он же есть и обмен мыслями по поводу тех или иных предметов. Мысли и слова, как ни крепко и тесно они связаны друг с другом, тем не менее, далеко не одно и то же. Мысли, будучи по природе своей непосредственно не наблюдаемым, идеальным образованием, в словах и предложениях находят свое материальное выражение. Мысль может быть простой или сложной, состоящей из нескольких простых. Простая мысль отражает предмет в его существенных и отличительных признаках. Такие мысли в логике называются понятиями. Они обычно выразимы отдельными словами или словосочетаниями.

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

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

Понятие, признаки и характеристика суждения

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

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

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

      Итак, только повествовательные предложения  выражают суждения. Но и то не все. Когда-то считали, что любое правильно  построенное повествовательное  предложение выражает суждение. Однако в конце XIX – начале XX в. было обнаружено, что среди правильно построенных предложений могут встречаться бессмысленные предложения, т.е. такие, которые не выражают суждений. К сожалению, несмотря на усилия многих ученых, логика до сих пор не может ясно ответить на вопрос о том, когда некоторое предложение является осмысленным, а когда – бессмысленным. Здесь приходится полагаться на интуицию. Логика вырабатывает все более точные и тонкие критерии осмысленности предложений, но человеческий язык всегда будет выходить за пределы этих критериев.

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

      Логическое  подлежащее — это понятие, отражающее предмет (явление, процесс), на который  направлено внимание мыслящего, поэтому  оно и называется предметом мысли. В терминологии логики, на ее языке  этот элемент называется субъектом суждения и символически обозначается символом – заглавной латинской буквой «S» (от лат. Subjectum).

      Логическое  сказуемое — это понятие, которое  отражает присущий или не присущий предмету мысли признак. Логическое сказуемое терминологически называется предикатом суждения и символически обозначается заглавной буквой «Р» латинского алфавита (от лат. Praedicatum).

      Последний элемент суждения — связка. Она выражает отношение между субъектом и предикатом (между «S» и «Р»). Связка выразима в русском языке словами «есть»/«не есть», «суть»/«не суть», «является»/«не является», «имеется»/ «не имеется» и пр. Этот элемент суждения в русском языке зачастую просто опускается. Желательно выработать навык перевода таких грамматических выражений в адекватные им логические формы. Когда же мы имеем дело с простыми суждениями отношения или модальности, то роль связки могут выполнять другие слова: «большее», «меньше», «равно», «справа», «слева», «лучше», «хуже», «было», «будет» и пр.

      Используя символику, любое простое категорическое суждение можно записать в виде формулы «S—Р», где тире между субъектом суждения «S» и предикатом «Р» будет обозначать связку, логическую связь, отношение между ними. Для суждений отношения символическая запись их несколько иная, поскольку там не выделяется субъект и предикат.

      Кроме названных элементов в суждениях  имеется еще и не всегда явно выразимый, как бы непостоянный, плавающий элемент, отражающий количественную характеристику субъекта суждения. Этот логический оператор называется "квантор" суждения. В языке он выражался словами «все», «без исключения», «каждый» и т.п. – квантор общности (всеобщности), или словами «некоторые», «многие», «часть», «большинство» и др. – квантор существования. В некоторых случаях квантор лишь подразумевается. Поэтому, весьма важно уметь уточнять этот логический показатель. Символическое обозначение квантора общности (всеобщности) — V, квантора существования — I.

      В соответствии с количественным и  качественным показателями составляющих суждение элементов, суждения подразделяются на несколько видов. По числу субъектов и предикатов суждения делятся на простые и сложные. Простые — те, в которых связь устанавливается между одним субъектом и одним предикатом. Например, «S—Р». Сложные — это такие суждения, в которых могут быть как несколько субъектов, так и несколько предикатов: несколько субъектов при одном предикате, несколько предикатов при одном субъекте, несколько и субъектов и предикатов. Правда, логически более приемлемо следующее определение сложного суждения — это такое суждение, в котором логическая связь устанавливается между несколькими простыми суждениями. Достоинство последнего определения состоит в том, что оно сразу же высвечивает главный и отличительный признак сложных суждений — новую логическую связь, называемую логическим союзом.

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

      Суждения  действительности — те, которые  адекватно или неадекватно, но все равно категорично отражают настоящее.

      Суждения  необходимости могут отражать прошлое, настоящее и будущее. Они выражаются оператором «необходимо», включенным в структуру суждения: «Необходимо, что S есть Р».

      Суждения  возможности тоже отражают то, что могло быть в прошлом, может быть в настоящем или в будущем. Они выражаются с помощью оператора «возможно», «вероятно» и пр.: «Возможно, что S есть Р».

      Особую  группу составляют суждения существования (экзистенциальные суждения), утверждающие существование того или иного предмета (явления, процесса). Связка и предикат этих суждениях как бы сливаются (отождествляются или подразумеваются). Чисто внешне кажется, что они представляют собой неполное простое категорическое суждение, только его часть: «S есть», «S—». Наличие суждений существования позволяет выдвинуть положение о сокращенной записи простых суждений, восстановление которых дает полное суждение.

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

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

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

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

Простое категорическое суждение. Его структура и виды

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

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

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

      Простые категорические суждения по количественному и качественному признакам подразделяются на виды. По количественному (объемному) показателю, выражаемому квантором, простые категорические суждения делятся на единичные, частные и общие.

      Единичное суждение отражает единственный предмет мысли, т.е. субъект этого суждения — единичное понятие.

      Частное суждение отражает некоторую совокупность предметов, но не всю, что и подчеркивается квантором: «Некоторые S есть Р», «Встречаются такие S, которые есть Р». При более обстоятельном рассмотрении квантора существования выявляется, что в количественном отношении частные суждения все-таки весьма неопределенны. Так, выражение «Некоторые S...» допускает несколько значений: «Некоторые, а может быть, большинство, а может быть все...», «Некоторые, а может быть, один...», «Некоторые и только некоторые...». Преодоление количественной неопределенности частных суждений требует хорошего знания той предметной области, которую они отражают. Одного логического знания в таких случаях недостаточно, особенно когда решается вопрос об истинности суждений, об отношениях между суждениями, где точность количественной характеристики частного суждения весьма существенна.