Контрольная работа по "Логике"

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

3. Докозательство, его структуры и виды

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

 Виды доказательства. Доказательства по форме делятся на прямые и непрямые (косвенные). Прямое доказательство идет от рассмотрения аргументов к доказательству тезиса, то есть истинность доказательства непосредственно обосновывается аргументами. Схема этого доказательства такова: из данных аргументов (a,b,c...) необходимо следуют истинные суждения (k,m,l...), а из последних следует доказываемый тезис q. По этому типу проводятся доказательства в судебной практике, в науке, в полемике, в сочинениях школьников, при изложении материала учителем. Широко используется прямое доказательство в статистических отчетах, в различного рода документах, в постановлениях. На уроке обществоведения при прямом доказательстве тезиса “Народ - творец истории” учитель показывает, во-первых, что народ является создателем материальных благ, во-вторых, обосновывает огромную роль народных масс в политике, разъясняет, как в современную эпоху народ ведёт активную борьбу за мир, в-третьих, раскрывает его роль в создании духовной культуры.

Непрямое (Косвенное) доказательство - это доказательство в котором  истинность выдвинутого тезиса обосновывается путём доказательства ложности антитезиса. Оно применяется, тогда когда нет аргументов для прямого доказательства. Антитезис может быть выражен в одной из двух форм:1)если тезис обозначить буквой а, то его отрицание (а) будет антитезисом, то есть противоречащим тезису суждением; 2) антитезисом для тезиса а в суждении а...в...с служат суждения в и с. В зависимости от этого различия в структуре антитезиса косвенные доказательства делятся на два вида - доказательство от “противного” (апагогическое) и разделительное доказательство (методом исключения).   

Апагогическое косвенное  доказательство (или доказательство “от противного”). Осуществляется путем установления ложности противоречащего  тезису суждения. Этот метод часто  используется в математике. Разделительное доказательство (методом исключения). Антитезис является одним из членов разделительного суждения, в котором должны быть обязательно перечислены все возможные альтернативы, например: Преступление совершил либо А, либо Б, либо С. Доказано, что не совершали преступление нм А, ни Б. Следовательно преступление совершил С. Истинность тезиса устанавливается путем последовательного доказательства ложности всех членов разделительного суждения кроме одного.

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Заключение

 

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

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

 

 

 

 

 

Библиографический список

 

 

1.  Бочаров В.А., Маркин В.И. Основы логики; Учеб. - М.:ИНФРА-М, 2002.

2. Гетманова А.Д. Логика  для юристов: Учебное пособие. - М.: Омега-Л; 2003

3. Ивлев Ю.В. Логика: Учеб. - М.: Логос, 2001.

4. Ивлев Ю.В. Логика  для юристов: Учеб. - М.: Дело, 2001.

5. Кириллов В.И., Старченко А.А. Логика. - М.: Юристъ, 2007.

6. Сидоренко Ф. Ф. - Брошюра по  логике, 2005.