Логика. логика. 1 Логика это наука о формах и средствах познания мира на ступени абстрактного мышления

• Название: 1 Логика это наука о формах и средствах познания мира на ступени абстрактного мышления
• Анкор: Логика
• Дата: 15.02.2023
• Размер: 330.17 Kb.
• Имя файла: логика.docx
• Тип: Документы; #939402
• страница: 5 из 8

Общая характеристика суждения

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

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

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

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

В процессе познание суждения выполняет следующие функции:

• 
  1) образование понятий (суждение – развернутая форма понятия);
  
• 
  2) установление связей и отношений между понятиями;
  
• 
  3) фиксация, хранение и передача познавательного опыта.
  

Формальная логика изучает не все стороны суждения. Она занимается рассмотрением структуры готовых суждений.

Языковой формой суждения является повествовательное предложение, которое может быть истинным либо ложным.

Истинным называется суждение, соответствующее действительности.

Ложным является суждение, которая искаженно отражает действительность.

Например: "Железо тяжелее воды" – истинное суждение; "Железо – цветной металл" – ложное, так как железо не относится к группе цветных металлов.

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

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

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

Простые суждения и их виды

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

• 
  1) атрибутивные (категорические) суждения;
  
• 
  2) суждения об отношениях (реляционные);
  
• 
  3) суждения существования (экзистенциальные).
  

Атрибутивные (категорические) суждения, их виды

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

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

Всякое атрибутивное, или категорическое, суждение имеет субъект, предикат и связку.

Субъект суждения – это понятие о предмете суждения.

Предикат суждения – это понятие о признаке предмета в рассматриваемом суждении.

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

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

Например, если восстановить пропущенную в следующих суждениях связку:

"Русские дворяне преданно служили своему императору.

Русские дворяне не уклонялись от дуэлей",

то получим суждения:

"Русские дворяне есть те, кто преданно служили своему императору.

Русские дворяне не есть те, кто уклонялись от дуэлей".

Субъект и предикат называются терминами суждения.

Пример. В суждении "Московский университет – ведущий государственный вуз России" понятие "Московский университет" – субъект суждения (S). Понятие "ведущий государственный вуз России" – предикат суждения (Р), "есть" – связка, в данном примере она заменена на тире "–".

Кроме субъекта, предиката и связки в каждом суждении присутствует (или подразумевается) еще один элемент – квантор.

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

Кванторы бывают трех видов: общности; существования; единичные.

• 
  1. Квантор общности. Выражается с помощью слов "каждый", "любой", "всякий", "ни один" и т.п.
  
• 
  2. Квантор существования. Это слова "большинство", "меньшинство", "значительная часть", "малая часть", "многие", "иногда" и т.п.
  
• 
  3. Квантор единичности выражается с помощью слов "вот этот", "этот", "это", "тот". Квантор единичности означает, что речь идет о субъекте, объем которого состоит из одного предмета. В символической логике (в логике предикатов) вместо кванторных слов используются знаки:
  

" – квантор общности (первая перевернутая буква немецкого слова "alie" – "все");

$ – квантор существования (первая перевернутая буква немецкого слова "existiren" – "существовать").

Атрибутивные суждения выражаются формулой "S есть (не есть) Р".

Атрибутивные суждения делятся на виды по количеству и качеству.

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

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

По количественной характеристике все суждения делятся на единичные, частные и общие.

Единичное суждение имеет следующую логическую схему: "Это S есть (не есть) Р".

Частное суждение имеет логическую схему: "Некоторые S есть (не есть) Р".

Общее суждение: "Все S есть (не есть) Р".

По качественной характеристике все суждения делятся на утвердительные и отрицательные.

Утвердительное суждение: "S есть Р".

Отрицательное суждение: "S не есть Р".

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

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

Например, предложение: "Спортсмены – вообще физически хорошо подготовленные люди" означает, что в большинстве своем спортсмены физически хорошо развиты.

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

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

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

В логике принято следующее сокращенное обозначение категорических суждений по их объединенной классификации. Утвердительные суждения обозначаются первыми двумя гласными буквами (А, I) латинского слова affirmo – "утверждаю", отрицательные – двумя гласными (Е, О) буквами латинского слова nego – "отрицаю".

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

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

• 
  1. Найти субъект и предикат.
  
• 
  2. Найти или восстановить связку суждения.
  
• 
  3. Установить количество путем прибавления к предложению слов "каждый" (если суждение утвердительное) или "ни один" (если оно отрицательное).
  
• 
  4. Привести его к одной из следующих логических форм:
  
  • 
    а) "Всякое S есть Р" – (А) – общеутвердительное суждение;
    
  • 
    б) "Ни одно S не есть Р" – (Е) – общеотрицательное суждение;
    
  • 
    в) "Некоторые S есть Р" – (I) – частноутвердительное суждение;
    
  • 
    г) "Некоторые S не есть Р" – (О) – частноотрицательное суждение, где S – субъект суждения, Р – предикат суждения.
    

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

Привести суждение к нормальной форме означает следующее.

• 
  1. Установить, какое понятие является субъектом суждения.
  
• 
  2. Установить, какое понятие является предикатом суждения.
  
• 
  3. Определить универсум суждения – класс вещей, разновидностями которого являются субъект и предикат.
  
• 
  4. Заменить глагол, управляемый субъектом суждения, там, где это необходимо, сочетанием слов, начинающихся со слов "есть" или "не есть".
  
• 
  5. Определить знак количества суждений, т.е. установить, с каких из слов – "все", "ни один", "некоторые" – должно начинаться суждение.
  
• 
  6. Расположить полученные сведения в порядке, в котором формулируются все простые суждения: знак количества – субъект – связка – предикат.
  

15)КЛАССИФИКАЦИЯ КАТЕГОРИЧЕСКИХ СУЖДЕНИЙ

Категорические (атрибутивные) суждения делятся: 1) по качеству и 2) по количеству. А так как любое суждение имеет количественную и качественную характеристику, их принято делить по 3) объединенной классификации.

1. Деление суждений по качеству. По качеству суждения делятся на утвердительные и отрицательные. Утвердительным называется суждение, выражающее принадлежность предмету некоторого признака. Суждение, выражающее отсутствие у предмета некоторого признака, называется отрицательным. Например, «Автором произведения признается гражданин, творческим трудом которого оно создано» — утвердительное суждение. Его логическая схема «S есть Р». «Обвиняемый не обязан доказывать свою невиновность» — отрицательное суждение. Его логическая схема «S не есть Р».

Утвердительное и отрицательное суждения различаются характером связки, ее качеством. Утвердительная связка («есть») указывает на принадлежность признака предмету. Суждение с отрицательным предикатом, но с утвердительной связкой «S есть не-Р» рассматривается как утвердительное. Например: «Данное решение суда является необоснованным».

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

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

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

Единичным называется суждение, в котором что-либо утверждается или отрицается об одном предмете. Например: «Это здание — памятник архитектуры», «Васильев в нотариальной конторе не работает». Схемы единичных суждений: «Это S есть Р» и «Это S не есть Р».

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

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

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

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

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

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

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

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

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

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

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

3. Объединенная классификация суждений. Объединяя количественную и качественную характеристики, суждения делят на 1) общеутвердительные, 2) общеотрицательные, 3) частноутвердительные, 4) частноотрицательные.

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

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

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

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

4) Частноотрицательное суждение — суждение, частное по количеству и отрицательное по качеству. Например: «Некоторые приговоры суда (S) не являются обвинительными (Р)». Это суждение имеет схему «Некоторые S не есть Р». Кванторное слою «некоторые» указывает на количество суждения, отрицательная связка «не есть» — на его качество.

В логике принято сокращенное обозначение суждений по их объединенной классификации. Утвердительные суждения обозначаются двумя первыми гласными буквами латинского слова affirmo («утверждаю»), отрицательные — двумя гласными буквами латинского слова nego («отрицаю»), В соответствии с этим суждения обозначаются: А — общеутвердительное, Е — общеотрицательное, I — частноутвердительное, О — частноотрицательное.

На языке логики предикатов суждения А, Е, I, О записывают следующим образом:

А (Все S есть Р): ? х (S(x) ? Р(х)) —

для всех х, если х присуще свойство S, то х присуще свойство Р.

Е (Ни одно S не есть Р): ? х (S(x) ? ?Р(х)) —

ни одному х, которому присуще свойство S, не присуще свойство Р.

I (Некоторые S есть Р): ? х (S(x) ? Р(х)) —

существуют х, которым присуще свойство S и свойство Р.

О (Некоторые S не есть Р): ? х (S(x) ? ?Р(х)) —

существуют х, которым присуще свойство S и не присуще свойство Р.


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

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

Примеры: "Все студенты - весёлые люди" и "Все студенты - находчивые люди".

Суждения сравнимы, если их термины совпадают.

Примеры: "Все студенты - весёлые люди" и "Ни один весёлый человек - не студент".

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

1. Подчинение. Частные суждения подчиняются общим. Из этого следует:

а) Истинность подчиняющего (общего) суждения обусловливает истинность подчинённого (частного).

Примеры: Если верно, что "Ни одно сражение Суворова не было проиграно", то верно суждение "Некоторые сражения Суворова не были проиграны".

То же для утвердительных суждений ( А) и ( I ).

б) Ложность подчинённого суждения влечёт ложность подчиняющего.

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

Аналогично - отрицательные суждения (Е) и (О).

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

Примеры: "Никто не любит слушать классическую музыку" - суждение ложное. На основании этого нельзя сказать, истинным или ложным будет утверждение: "Некоторые люди не любят слушать классическую музыку". Если неверно, что "Все ученики готовятся ко всем урокам", то нельзя сказать, верно ли, что "Неко -

торые ученики готовятся ко всем урокам".

2. Субконтрарность. Отношение двух частных суждений (I) и (О) состоит в том, что они могут быть оба истинны, но не могут быть оба ложны.

Пример: "Некоторые деревья зимой зелёные" и "Некоторые деревья зимой не зелёные" - оба суждения истинны.

Субконтрарность проявляется в следующих отношениях:

а) Если одно из субконтрарных суждений ложно, то другое необходимо истинно.

Пример: Неверно, что "Некоторые учащиеся отказываются изучать логику". Значит, истинно, что "Некоторые учащиеся не отказываются изучать логику".

б) Из истинности одного из субконтрарных суждений следует неопределённость истинности другого.

Примеры: Истина: "Некоторые учебники нуждаются в серьёзной переработке", "Некоторые учебники не нуждаются в серьёзной переработке" - ? Из истинности суждения: "Некоторые кошки не боятся собак" нельзя сделать вывод об истинности суждения "Некоторые кошки боятся собак".

3. Противоположность (контрарность).Отношения общих суждений (А) и (Е), которые не могут быть одновременно истинными, но бывают оба ложны.

Примеры: "Все люди добрые", "Ни один человек не добрый" - два ложных преувеличения.

а) Из истинности одного суждения следует ложность другого.

Примеры: "Все выпускники умеют быстро читать" - истина, значит, "Ни один выпускник не умеет быстро читать" - ложь. Если "Ни одно высшее животное не уничтожает себе подобных" - истина, значит, ложно "Все высшие животные уничтожают себе подобных".

б) Из ложности одного суждения следует неопределённость относительно истинности другого.

Примеры: "Все инженеры пытаются создать вечный двигатель" - ложь; "Ни один инженер не пытается создать вечный двигатель" -?

4. Противоречие (контрадикторность).Отношение пар суждений (А) - (О) и (Е) - (I), выражающее закон исключённого третьего, т.е. истинность одного из них влечёт необходимо ложность другого, и наоборот, ложность одного - истинность другого.

Примеры: Если истинно: "Некоторые птицы не летают", значит, ложно "Все птицы летают" и наоборот. Если ложно: "Ни один человек не боится смерти", значит, истинно "Некоторые люди боятся смерти".

17) Виды сложных суждений и условия их истинности

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

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

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

Чтобы убедиться в этом, возьмем для примера два простых истинных суждения: "Пушкин убит на дуэли"; "Лермонтов убит на дуэли". Соединяя их логическим союзом "и", получаем истинное сложное высказывание: "Пушкин убит на дуэли (т) и Лермонтов убит тоже (я)". Соединяя же их строго разделительным союзом "либо-либо", получаем уже ложное высказывание: "Либо Пушкина убили па дуэли (т), либо Лермонтова (/?)".

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

"Пушкин — автор поэмы "Полтава"" (истинно).

"Лермонтов — автор поэмы "Полтава"" (ложно).

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

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

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

"Слова парят, а чувства к низу гнут, А слов без чувств вверху не признают".

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

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

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

• 
  • всегда истинные формулы (тавтологии);
  
• 
  • всегда ложные формулы;
  
• 
  • установить отношение логического следования между формулами;
  
• 
  • их эквивалентность и т.д.
  
• 
  4. Надо учитывать несовпадение логических и грамматических форм: сложное суждение может быть выражено простым распространенным предложением. Например: "Любовь молчалива и разговаривает только делом" (М. М. Пришвин). С точки зрения грамматики — это простое распространенное предложение. С точки зрения логики — это сложное высказывание, состоящее из двух простых, каждое из которых может быть оценено с точки зрения истинности или ложности, а именно: действительно ли, что "любовь молчалива", и действительно ли, что она "разговаривает только делом"?
  

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

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

В. И. Челомея (1914—1984) — выдающегося советского ученого в области механики и процессов управления: "Организовать (5) — это значит сначала оценить возможность (Р), а уже потом ставить задач)' (Р^)"- Или высказывание известного американского изобретателя Т. Эдисона (1847-1931): "Успех (5) - это 10% везения (Р,) и 90%

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

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

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

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

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

"Страдание (5)) и боль (52) всегда обязательны для широкого сознания (Р,) и глубокого сердца (Р)", — утверждал Ф. М. Достоевский, а Н. А. Бердяев, развивая эту мысль, заметил: "Без боли (5,) и страдания (52) в этом мире человек опустился бы (Р,) и животное в нем победило бы (Р)".

18) Вопрос- это форма мысли, посредством которой уточняется или дополняется исходное знание об объекте познавательного интереса.

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

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

Виды вопросов

1. Вопрос может выражать требование найти все истинные ответы или только один из многих или несколько ответов. В зависимости от этого вопросы по форме бывают сильные и слабые.

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

2. По познавательной функции вопросы подразделяются на:

а) уточняющие ("ли–вопросы"),направленные на выявление истинности выраженных в них суждений-предпосылок;

б)восполняющие ("что–вопросы"),направленные на выявление новых свойств у исследуемых явлений.

3. По составу вопросы делятся на:

а) простые – не включающие в качестве составных частей другие вопросы;

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

4. Различают вопросы по отношению к обсуждаемой теме:

а)релевантные вопросы–вопросы по существу, они имеют предпосылки, связанные с обсуждаемой темой;

б) нерелевантные вопросы – вопросы не по существу темы имеют посылки, не связанные с обсуждаемой темой.

5. В зависимости от логического качества, вопросы делятся на:

а)корректные – осмысленные (предпосылка выражает истинное знание), разрешимые, информационно значимые;

б) некорректные – аналитичные или с ложной предпосылкой или неразрешимые или неопределенные (неточные, неясно сформулированные).

Если вопрос намеренно формулируется не корректно, то он называется провокационным или улавливающим.

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

Любой вопрос требует ответа (кроме риторического). Вместе с вопросом ответ формирует поле общения и является необходимой частью познавательного процесса.

Виды ответов

Ответ – новое суждение, уточняющее или дополняющее прежнее знание в соответствии с поставленным вопросом.

1. Истинные и ложные ответы. Ответ является истинным, если выраженное в нём суждение соответствует действительности. Ответ является ложным, если суждение, выраженное в нём, не соответствует действительности.

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

2. По области поиска ответы делятся на:

а) прямые – берутся непосредственно из области поиска ответа, при их формулировке не прибегают к дополнительным сведениям и рассуждениям;

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

3. По грамматической форме ответы могут быть краткими и развёрнутыми.

а)краткие – односложные утвердительные или отрицательные ответы, а также ответы, в которых содержится только новая информация и не воспроизводятся элементы вопроса;

б) развёрнутые – ответы, в которых повторяются элементы вопроса.

4. По объёму представленной в ответе информации ответы делятся на полные и неполные.

а) полный – ответ, включающий информацию по всем элементам сложного вопроса;

б)неполный – частичный ответ, включающий информацию по отдельным (не всем) элементам вопроса. Полный и точный ответ называют также сильным; ответ частичный и приблизительный – слабым ответом.

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

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

19) Умозаключение — это форма мышления, посредством кото­рой из одного или нескольких суждений выводится новое суждение.

Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называют исходные суждения, из кото­рых выводится новое суждение.Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называетсявыводом. Например: «Судья не может участвовать в рассмотрении дела, если он является потерпевшим (1). Судья Н. — потерпевший (2). Значит, судья Н. не может участвовать в рассмотрении дела (3)».

В этом умозаключении 1-е и 2-е суждения являются посылками, 3-е суждение — заключением.

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

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

Умозаключения делятся на следующие виды.

1. В зависимости от строгости правил вывода различаютдемонстративные (необходимые) инедемонстративные (правдоподобные) умозаключения. Демонстративные умозаключения характери­зуются тем, что заключение в них с необходимостью следует из посылок, т.е. логическое следование в такого рода выводах представ­ляет собой логический закон. В недемонстративных умозаключени­ях правила вывода обеспечивают лишь вероятностное следование заключения из посылок.

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

Эта классификация будет положена в основу дальнейшего изложения.

Дедуктивные умозаключения.

Дедуктивным (от латинского deductio — «выведение») называ­ется умозаключение, в котором переход от общего знания к част­ному является логически необходимым.

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