Определение должно быть ясным

Отрицательное определение указывает на признаки, которые не принадлежат предмету, но не указывает на признаки, принадлежащие предмету. Напр.: «Кит – не рыба», «Сравнение – не доказательство».

18. Деление и классификация понятий. ?

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

Основные разновидности классификаций:

1. Естественными классификациями называют классификации, в которых в качестве основания берутся признаки самих классифицируемых предметов.

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

19. Логические операции умножения и сложения.

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

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

20. Логические операции вычитания и дополнения.

Операция вычитания классов дает класс, состоящий из элементов, исключающих элементы вычитаемых классов. Вычитая, например, элементы класса «следователь» (А) из класса «юрист» (В), получаем класс юристов-неследователей

дополнения (отрицание) А и не-А . Это операция по образованию нового множества путем исключения данного множества из универсального класса, к которому оно принадлежит. Так, исключая множество "студенты-экономисты" (А) из универсального класса понятия "студенты", получаем дополнение (новый класс) (не-А) - "студенты - неэкономисты". Это можно представить на схеме таким образом:

не - А + А } =В

21. Суждение как форма мышления и его логическая структура.

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

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

22.Виды суждений.

Простые суждения классифицируются по следующим основаниям.

1. По объему субъекта (по количеству):

Единичные - суждения, включающие утверждение или отрицание об одном предмете субъекта рассуждения. Их формула:

Это S есть (не есть) Р

Так, выражение «Московский гуманитарно-экономический институт готовит квалифицированных юрисконсультов» - единичное суждение, так как объем субъекта - «Московский гуманитарно-экономический институт» -включает конкретное высшее учебное заведение.

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

Определенное частное суждение содержит знание и о той, и о другой части субъекта суждения. Оно имеет такую логическую схему:

Только некоторые S есть (не есть) Р

Например, «Только некоторые правовые концепции базируются на философских принципах».

Логическая схема неопределенного суждения такова:

Некоторые S есть (не есть) Р

Квантор «некоторые» придает ему неопределенность. Например: «Некоторые проблемы юриспруденции носят философский характер».

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

Все S есть Р или Ни одно S не есть Р

Например, «Каждая страна имеет свой гимн» является общим суждением, так как объем субъекта включает весь класс отображаемых предметов.

2. По качеству связки (по качеству) суждение может быть утвердительным или отрицательным.

Утвердительное суждение выражает принадлежность предмету некоторого признака. Например, «Лицо, виновное в совершении преступления, привлекается к уголовной ответственности».

Отрицательное суждение выражает отсутствие у предмета некоторого признака. Например, «Некоторые противоправные действия не являются преступлениями».

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

3. По содержанию предиката суждение делится на суждение свойства (атрибутивное), суждение отношения (релятивное) и суждение существования (экзистенциальное).

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

Суждение отношения (релятивное суждение) выражает различные связи между предметами мысли по месту, времени, причиной зависимости. Например, «Благополучие государства зависит от законов» (Аристотель).

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

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

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

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

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

Частноутвердительное суждение - частное по объему субъекта и утвердительное по качеству связки. Его логическая структура: «Некоторые S есть Р». Символом частноутвердительных суждений служит латинская буква «I». Примерами таких суждений являются: «Некоторые студенты — юристы» или «Некоторые писатели - фронтовики».

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

Единичные суждения в объединенной классификации приравниваются к общим суждениям, например, «Московская прокуратура проводит расследование», так как имеется в виду весь объем субъекта.

23.Классификация суждений по качеству и количеству.

С точки зрения качества связки суждения делятся на две группы: утвердительные и отрицательные.

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

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

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

Единичные суждения – это те, объём субъекта которых содержит только один элемент (индивидуальная вещь, явление, событие, и т.д.). Например: «Харьков – первая столица Украины», «Д.И. Менделеев – основатель периодической системы элементов», «Саша – студент первого курса» и т.д..

Частные суждения характеризуются тем, что содержание предиката относится только к части объёма субъекта. Например: «Некоторые из нас автолюбители», «Большинство людей предпочитают развлечения» и т.д.. Частные суждения включают в себя «некоторые», «часть», «большинство», «меньшинство» и т.д.. Те частные суждения, где количественная сторона известна лишь частично (по крайней мере, некоторые), называются неопределёнными частными суждениями. Н6апример, мы опросили часть студентов группы и теперь можем сказать «некоторые студенты этой группы занимаются спортом». Под словом «некоторые» мы здесь понимаем «по крайней мере некоторые, а может быть и все». Другие частные суждения , где слово «некоторые» употребляется в точно определённом смысле, называется определёнными частными суждениями. Например: «Некоторые студенты группы являются победителями олимпиады», или «Некоторые государства являются монархиями» и так далее.

Более важной для познания формой суждения является общее суждение, где объём субъекта относится ко всем предметам данного класса. Например: «Все тела состоят из атомов»,

24.Логические отношения между суждениями.

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

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

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

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

Сравнимыми являются суждения с одинаковыми субъектами и предикатами и различающиеся связкой или квантором. Обычно их называют суждениями одинаковой материи. Например: «Все американские индейцы живут в резервациях»; «Некоторые американские индейцы не живут в резервациях».

25.Логический квадрат.

26.Сложные суждения и условия их истинности

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

Истинность таких сложных суждений определяется истинностью составляющих их простых.

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

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

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

1) Слабая дизъюнкция — суждение, в котором утверждается наличие хотя бы одного из двух и более положений дел (но может быть и два, и более). («Холодное оружие может быть колющим или режущим» р v q). Связка «или» в данном случае разделяет, поскольку отдельно существуют такие виды оружия, и соединяет, ибо есть оружие, одновременно и колющее, и режущее.

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

2) Строгая дизъюнкция — суждение, в котором утверждается наличие только одного из двух и более положений дел («Деяние может быть умышленным или неосторожным»).

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

3. Условным, или импликативным, называют суждение, состоящее из двух простых, связанных логической связкой «если.., то...». («Если предохранитель плавится, то электролампа гаснет»). В таком суждении одно из простых суждений, входящих в его состав, является условием, или основанием (в логике его называют антецедентом), другое – следствием (консеквентом).

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

Импликация ложна только в том случае, когда основание истинно, а следствие ложно.

4. Эквивалентным называют суждение, включающее в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если, то...». («Если и только если человек награжден орденами и медалями (р), то он имеет право на ношение соответствующих орденских планок (q)») «лишь при условии что..., то...», «в том и только в том случае когда..., тогда...», «только тогда когда..., то...».

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

27.Модальные суждения.

Модальность - это явно или неявно выраженная в суждении дополнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных и других его ха­рактеристиках.

Виды модальности: как алетическая, деонтическая, эпистемическая и аксиологическая.

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

С точки зрения алетической модальности различают следующие разновидности суждений:

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

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

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

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

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

- суждения, основанные на вере. Например: «Верю в наступление, лучшей жизни»;

-суждения, основанные на знании. Например: «По показаниям свидетелей Николаев не участвовал в похищении оружия».

Аксиологическая модальность выражает отношение человека к материальным и духовным ценностям. Она включает такие слова, как «хорошо», «плохо» и т. п. Например: «Безразличное отношение к государственному имуществу приводит к его утрате» или «Хорошо, что я не опоздал на занятия в институт».

28.Умозаключение как форма мышления и их виды.

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

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

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

По характеру логического следования все умозаключения делятся на необходимые (демонстративные) и правдоподобные (недемонстративные, вероятные). Необходимые умозаключения - такие, в которых истинное заключение обязательно следует из истинных посылок (т. е. логическое следование в таких выводах представляет собой логический закон). К необходимым умозаключениям относятся все виды дедуктивных умозаключений и некоторые виды индуктивных («полная индукция»).

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

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

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

Пример:

Если человек совершил преступление, то он должен быть наказан.

Петров совершил преступление.

Петров должен быть наказан.

Индуктивное умозаключение (от лат. inductio - наведение) - такое умозаключение, в котором переход от частного знания к общему осуществляется с большей или меньшей степенью правдоподобности (вероятности).

Например:

Кража - уголовное преступление.

Грабеж - уголовное преступление.

Разбой — уголовное преступление.

Мошенничество - уголовное преступление.

Кража, грабеж, разбой, мошенничество - преступления против собственности.

Следовательно, все преступления против собственности – уголовные преступления.

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

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

29.Непосредственное умозаключение

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

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

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

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

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

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

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

30.Простой категорический силлогизм.

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

Всякий человек смертен (большая посылка) Сократ — человек (меньшая посылка) ------------ Сократ смертен (заключение)

31.Энтимема.

Энтимéма (др.-греч. ) — сокращённый силлогизм, в котором в явной форме не выражена посылка или заключение, однако пропущенный элемент Иногда к энтимеме прибегают нарочно, желая получить неожиданное заключение. Эффект остроумия в значительной степени зависит от энтимемы. Подразумевается

Виды энтимем

С пропущенной большей посылкой

С пропущенной меньшей посылкой

С пропущенным заключением

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

умозаключение, включающее посылки, представляющие собой условные суждения (см.: Условное высказывание). У. у. может состоять лишь из одной условной посылки, может включать кроме условной и другие посылки, не являющиеся условными, а также может состоять из многих посылок -условных суждений. Примером У.у., состоящего из одной условной посылки, может быть простое умозаключение, называемое простой контрапозицией условного суждения (см.: Контрапозиции законы). Структура его такова:Если S есть Р, то S1 есть Р1.

33.Условно-категорические умозаключения.

Условно-категорическим называется умозаключение, одна из посылок которого является условным суждением, а другая посылка и вывод — категорическими суждениями.

Условное суждение имеет форму: если A есть B, то C есть D, например: если Земля вращается вокруг своей оси, то происходит смена дня и ночи. Первое суждение есть основание (антецедент), а второе — следствие (консеквент).

Существуют два модуса условно-категорических умозаключений. Первый из них называется modus ponens, то есть устанавливающий, утверждающий, конструктивный модус; второй называется modus tolens, то есть разрушающий, отрицающий, деструктивный модус.

34.Раздельно-категорические умозаключения.

Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения

1. В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое сужде­ние — отрицает другой ее член. Например;Облигации могут быть предъявительскими (р) или именными (q) Данная облигация предъявительская (q)

2. В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:

Облигации могут быть предъявительскими (р) или именными (q) Данная облигация не является предъявительской (не-р)

Данная облигация именная (q)

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

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

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

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

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

37.Умозаключение по аналогии.

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

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

(1) Аналогия предметов — умозаключение, в котором объек­том уподобления выступают два сходных единичных предмета, а переносимым признаком — свойства этих предметов.

(2) Аналогия отношений — умозаключение, в котором объек­том уподобления выступают сходные отношения между двумя парами предметов, а переносимым признаком — свойства этих отношений.

38.Аргументация и доказательство.

Понятие об аргументации

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

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

В качестве аргументов в логике могут быть использованы: 1) удостоверенные факты; 2) законы науки; 3) ране доказанные теоремы; 4) аксиомы и постулаты; 5) определения.

39.Критика и опровержение.

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

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

40.Гипотеза.

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