Умозаключения и их виды

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

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

 

28. Назовите виды простых суждений  и приведите их примеры

 

Любое простое суждение состоит из субъекта, предиката и связки.

Субъект суждения (S) – это предмет суждения или то, о чём говорится в суждении.

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

Связка выражает отношение между субъектом и предикатом, бывает утвердительная либо отрицательная. В русском языке связка, как правило, подразумевается, а когда высказывается, она выражается словами "есть", "суть", "является", "имеется" (утвердительная связка); либо "не есть", "не суть", "не является", "не имеется" (отрицательная связка).

Любое суждение можно привести к ясной (чистой) логической форме:

Пример: " Восток (S) есть (-- ) горящий новой зарёю (Р)".

Виды простых суждений:

1) атрибутивные суждения или суждения свойства; в суждениях этого вида с предметом связывается наличие или отсутствие какого-либо свойства, примеры: «комета видна на ночном небе», «у кошки четыре ноги», «собака – друг человека»;

2) экзистенциальные суждения или суждения существования; существование – это особый признак, свойство предмета быть, находиться в реальности, примеры: «Бог есть», «есть на свете добрые люди», «нет проблем».

3) релятивные суждения или суждения с отношениями; в них предикатом являются отношения, устанавливаемые между предметами; примеры: «сено легче соломы», «Байкал глубже любого другого озера».  
58. Что такое опровержение? Какова его связь с доказательством?

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

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

Опровержение имеет три вида.

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

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

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

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

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

2) критика аргументов. Данная логическая операция направлена на обоснование ложности аргумента. Она может выражаться в том, что оппонент может указывать на неточное изложение фактов, выражать в них сомнение.

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

3) критика демонстраций. Данная логическая операция указывает на отсутствие логической связи между тезисом и аргументами.

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

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

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

 

Литература

 

1. Гетманова А.Д. Логика. - М. 1986. - С. 125-198, 223-238

2. Кириллов В.И., Старченко А.А. Логика. – М. 1982. – С. 126-214, 245-261.

3. Кондаков Н.И. Логический словарь-справочник. – М. 1975. – С. 623-625, 133-135, 528-533, 200-202, 119-120, 36-39.

4. Ивин А.А. Логика. - М.: Просвещение, 1996. - 206 с.

5. Дмитриевская И.В. Логика. - М.: Флинта, 2006. – 383 с.