Аргументация и доказательство - раздел Информатика, Статистики и информатики
Аргументация - Это Полное Или Частичное Обос...
Аргументация - это полное или частичное обоснование истинности какого-либо суждения при помощи других суждений. При этом предполагается, что в правильных аргументациях утверждения, используемые для обоснования, полностью или хотя бы частично обоснованы и обосновываемое положение из них логически следует или, по крайней мере, они подтверждают его. В структуру аргументации входят: тезис, основание (аргумент) и форма (демонстрация).
Тезисом аргументации называется высказывание, истинность которого обосновывается.
Высказывания, которые используются при обосновании тезиса, в поддержку его или против тезиса, называются аргументами, или основаниями.
Форма аргументации (демонстрация) - это рассуждение, которое связывает аргументы с тезисом, показывает, как аргументы подтверждают или опровергают тезис.
В зависимости от предмета исследования при аргументации она подразделяется на два вида: генетическая, и аргументация по существу.
Генетическая аргументация использует аргументы, в которых объясняется его происхождение, а также определяются условия, при которых мы получаем информацию о нем. Демонстрация в случае генетической аргументации представляет собой рассуждение о том, что при имеющихся источниках и путях передачи информации, содержащейся в тезисе, его должно признать достаточно обоснованным или истинным.
Так в истории, генетическая аргументация является определяющим методом обоснования, т.к. единственным способом получения знания является изучение источников, созданных десятилетиями и веками ранее процесса исследования.
Аргументация по существу анализирует непосредственно содержание тезиса, поэтому в этом случае демонстрация представляет собой процесс, показывающий, что содержание аргументов заключает в себе содержание тезиса либо подтверждает его.
Аргументация по существу подразделяется на прямую и косвенную. В случае прямой аргументации рассуждение идет от аргументов к тезису. Таким видом аргументации является доказательство, о котором будет подробнее сказано ниже. В случаекосвенной аргументации тезис обосновывается не напрямую. Рассмотрим виды косвенной аргументации.
Аргументация от противного, или апагогическая аргументация. При использовании этого вида аргументации имеется некое утверждение, которое требуется обосновать. Выдвигается утверждение, являющееся отрицанием тезиса, логически несовместимое с ним суждение, гак называемый антитезис. Из имеющихся аргументов и антитезиса выводится противоречие, ситуация, когда одновременно наличествует некоторое утверждение и его отрицание. В результате делается вывод о полной или частичной обоснованности тезиса.
Разделительная аргументация. В этом случае для обоснования тезиса используется операция с разделительным суждением. Для обоснования утверждения используется один аргумент, который образуется в результате исключения всех остальных членов разделительного суждения.
Обусловливающая аргументация. При использовании данного вида аргументации вначале определяют все необходимые условия истинности тезиса, затем устанавливают их наличие и заключают об истинности тезиса.
К случаям косвенной аргументации можно отнести также выполнение условия совместимости. Согласно этому условию обоснованное утверждение должно находиться в согласии с принятыми в рассматриваемой области общими положениями, принципами, концепциями и т. п. Желательно также, чтобы утверждение находилось в согласии не только с хорошо зарекомендовавшими себя теориями, но и с определенными общими принципами, в частности с принципом простоты и принципом привычности (консерватизма).
В зависимости от того, является ли обоснование истинности суждения достоверным или только вероятным, выделяют два основных вида аргументации: доказательство и подтверждение.
Доказательство - это установление истинности какого-либо положения с использованием логических средств и утверждений, истинность которых уже установлена, при этом формой аргументации является демонстративное рассуждение. Демонстративным называется рассуждение, в котором обеспечивается получение истинного заключения при истинных посылках. К таким рассуждениям, например, относятся дедуктивные умозаключения, некоторые виды индукции и аналогии.
Подтверждение -когдасвязь между аргументами и тезисом носит логически необходимый характер.
Расширительное истолкование доказательства является обычным в гуманитарных науках. Оно встречается и в экспериментальных, опирающихся на наблюдения рассуждениях. При таком широком толковании понятия «доказательство» необходимо иметь в виду, что правдоподобное обобщение, переход от частных фактов к общим заключениям дает не достоверное, а лишь вероятное знание.
Довольно часто используют косвенное доказательство, при котором доказываемое положение отрицается. В этом случае его называют доказательством от противного. Вот, например, как строится косвенное доказательство тезиса: «Ромб не является треугольником». Выдвигается антитезис: «Ромб есть треугольник». Необходимо доказать ложность этого утверждения. С этой целью из этого утверждения выводятся следствия. Если хотя бы одно из них окажется ложным, это будет означать, что и само утверждение, из которого выведено следствие, также ложно.
Таким образом, далеко не всякая правильная аргументация является доказательством. Существуеттри вида такой недемонстративной аргументации, которая не является доказательной.
В первом случае аргументы или по крайней мере некоторые из них являются не достоверными, а лишь правдоподобными утверждениями, в то время как форма - демонстративное рассуждение. Тезис в такой аргументации правдоподобен лишь из-за недостоверности аргументов.
Во втором случае аргументы являются достоверными утверждениями, а форма - недемонстративное рассуждение. Здесь тезис является только правдоподобным утверждением из-за недемонстративности формы.
В третьем случае аргументы являются не достоверными, а лишь правдоподобными утверждениями, и одновременно форма есть недемонстративное рассуждение[3].
российской федерации... Московский государственный университет экономики статистики и информатики...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ:
Аргументация и доказательство
Что будем делать с полученным материалом:
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Становление логики и ее значение
Слово «логика» происходит от древнегреческого «lоgоz» что переводится как «разум», «мысль», «рассуждение». Логика является одной из самых древних наук на Земле. Она возникла как часть науки об орат
Предмет логики
В понятии «логика» в настоящее время выделяется несколько значений: объективная и субъективная логика. Если объективная логика изучает закономерности развития и взаимосвязи предметов и явлен
Понятие логической формы
Логика не только описывает различные приемы познания, но и формулирует критерии их правильности. Какие рассуждения можно считать правильными? Каким требованиям должны удовлетворять определение, воп
Логическое следование и логическая истинность
Одна из важнейших задач логики – определять, какие рассуждения являются правильными и почему. Сразу заметим, что нельзя смешивать вопрос о правильности рассуждения с вопросом об ист
Язык как знаковая система
Язык – это система знаков, предназначенная для фиксации, хранения, переработки и передачи информации.
Знак – это объект, используе
Смысл и значение знака. Виды знаков
Значением знака называется предмет, репрезентируемый данным знаком. Множество всех предметов, которые знак репрезентирует, называется его экстенсиона
Естественные и искусственные языки
Естественные языки возникли как средство общения между людьми. Их формирование и развитие представляет собой длительный исторический процесс и происходит в осно
Семантические принципы
Принцип однозначности: каждое имя должно иметь только одно значение (экстенсионал). С нарушением этого принципа связана ошибка, которую называют «под
Язык логики высказываний
Логика высказываний (пропозициональная логика) – это раздел логики, изучающий способы построения и логическую структуру высказываний, отношения между ними и выводы, полученные
Основные законы логики
Законом логики называется сложное логическое высказывание, истинность которого не зависит от составляющих его логических отношений. Они составляют основу мыслит
Аесть потому, что есть В
Всякая мысль может быть признана истинной только тогда, когда
она имеет достаточное основание. Например, «Это вещество
является электропроводным, потому что оно –
Oslash;(А Ú В) É ØА & ØВ
Отрицание дизъюнкции равнозначно конъюнкции двух отрицаний.
Например, «Неверно, что идет дождь или идет снег» означает «Сегодня нет дождя и нет снега».
9) За
Логико-семантические парадоксы
Естественный язык является самым необходимым инструментом человека в его интеллектуальной деятельности. Однако именно язык часто создает проблемы для тех, кто его использует. Эти пр
Какой принцип нарушен?
1. Рассуждение «Материя бесконечна. Мистеру N не хватило материи на штаны. Значит, его штаны больше, чем бесконечность» нарушает принцип
1. однозначности
2. предметности
Парадоксальные задачи
1. Экзаменатор говорит нерадивому студенту: «Угадайте, какую оценку я вам поставлю. Если угадаете, получите 3, если не угадаете – 2.» Однако ответ студента поставил преподавателя в тупик. Он не смо
Основные законы логики
1. Закон … утверждает, что противоречащие друг другу суждения не могут быть одновременно истинными.
a) тождества
b) непротиворечия
c) клавия
d) д
Общая характеристика понятий. Виды понятий
Понятие является одной из форм рациональной ступени процесса познания. Мышление, рассуждение всегда осуществляется с помощью языка, но мыслим мы всегда терминами, категориями, понятиями.
Виды понятий по объему
При выделении видов понятий нужно учитывать различные их особенности. Наиболее важными основаниями для деления понятий являются: (1) тип их объема, (2) тип элементов, входящих в их объемы, (3) тип
Виды понятий по типу элементов объема
По типу элементов объема понятия делятся на:
а) конкретные и абстрактные
– Конкретнымсчитается понятие, элементами объема к
Виды понятий по содержанию
По типу признаков понятия подразделяют на:
а) положительные и отрицательные
– Положительнымсчитается понятие, в котором предметы обобщаются на о
А В А ØA
Штриховкой на схемах обозначен результат применения соответствующих операций к классам А и В.
Пересечение объемов д
Отношения между понятиями по объему
Между понятиями существуют объективные, независящие от человека отношения. Прежде всего, это отношения сравнимости и несравнимости.
Два понятияaА(a)и
Обобщение и ограничение понятий
Помимо булевых операций, к понятиям часто применяются такие операции обобщение и ограничение. Они основаны на отношении типа «род-вид». Из двух непустых понятий одно с
Виды понятий
1. Конкретным называется понятие, объем которого состоит из
a) объектов или их классов
b) свойств или отношений
c) объектов или их свойств
d) кла
Определение и приемы, сходные с ним
Определение, дефиниция (от лат. «definitio» – уточнение границ) – это логическая процедура придания строго фиксированного смысла языковым выражениям.
У
Явные и неявные определения
Наиболее распространенный вид определений – явные определения. Определение называется явным, если и только если оно задается лингвистической конструкц
Реальные и номинальные определения
Помимо того, что все определения подразделяются на явные и неявные, контекстуальные и неконтекстуальные, их можно делить также на реальные и номинальные. При этом след
Правила определения
Для того, чтобы определения было логически правильными, они должны отвечать некоторым принципиальным требованиям, правилам.
1) Определение должно быть ясным. Это оз
Виды определений
1. Правило замены по дефиниции действует только для … определений
a) явных
b) неявных
c) контекстуальных
d) аксиоматических
2. Аксиомати
Ошибки в определении
1. Определение «Квадрат – это четырехугольник, диагональ которого является осью симметрии» является
a) правильным
b) слишком узким
c) слишком широким
d) перекрещ
Простые суждения и их виды
Суждение –это мысль, в которой что-либо утверждается или отрицается о каких-либо объектах, их свойствах и связях между ними. Как правило, суждения выражаются повествовательными
Сложные суждения и их виды
Суждения называются сложными, если в них можно выделить правильные части, которые в свою очередь являются суждениями. Сложные суждения образуются как из простых, так и из др
Отрицание суждения
Отрицание суждения – это логическая операция, при которой истинное суждение меняется на ложное, и наоборот.При этом, при отрицании атрибутивного суждения одновременно меняются
Отношения между суждениями
В процессе построения отношений между суждениями можно выделить сравнимые и несравнимые. Сравнимые суждения имеют общий субъект и предикат. Несравнимые суждения не име
IсубконтрарностьО
Рассмотрим эти отношения между суждениями с помощью логического квадрата. В отношении подчинения находятся суждения форм A и I, а также суждения E и O. Например, общеутвердительное су
Виды атрибутивных суждений
1. Установите соответствие между типами атрибутивных суждений и формулами, их выражающими.
(1) Все S есть Р (А) S a P
(2) Ни один S не есть P (В) S e P
(3) Некоторые S
Oslash;А
Таким образом, правильными являются умозаключения от утверждения антецедента (А) к утверждению консеквента (В)и от отрицания консеквента (&
На работе. Следовательно, на занятиях его не было».
Условно-разделительные (лемматические) умозаключения. Эти умозаключения содержат несколько импликативных и одну дизъюнктивную посылку. В дизъюнктивной посылке разделяются определенные вариан
Непосредственные умозаключения
Непосредственными называются умозаключения, в которых вывод делается из одной посылки. Несмотря на тривиальность, в практике аргументации таким выводам отводится очень важная р
P – ~S ~P – S ~P – ~S
противопоставление противопоставление противопоставление
субъекту предикату субъекту и предикату
Каждый из них может быть сведен к комбинации обращен
Простой категорический силлогизм
Как уже отмечалось силлогизмом называют умозаключение из более чем одной посылки. В таком расширительном смысле силлогизмами являются, например, умозаключени
S P S P S P S P
Фигура I Фигура II Фигура III Фигура IV
Модус силлогизма – это разновидность фигуры, определяемая типом входящих в него посылок и заключения. Сокра
Энтимемы и полисиллогизмы
Энтимемой (от лат. «энтиме» – «в уме») называется сокращенный силлогизм, в котором пропущена одна из посылок или заключение.
В практике аргументации эн
Правила посылок
1. Согласно общим правилам силлогизма, если одна из его посылок является отрицательной, то заключение должно быть
1. частным
2. общим
3. утвердительным
Простой категорический силлогизм
1.Установите соответствие между терминами и их ролью в структуре силлогизма
1. средний термин (А) термин, имеющийся в обеих посылках
2. больший термин (В) предикат заключения
A1, …, An ú»В
Такие умозаключения получили название индуктивных (от лат. «inductio» – «наведение»), или правдоподобных.
К числу правдоподобных умозаключен
Статистическая индукция
Статистической называется обобщающая индукция, при которой устанавливается относительная частота обладания свойством Р для произвольного
Опровержение и критика
Деятельностью, противоположной по своей цели и содержанию аргументации, являются опровержение и критика. Опровержение - это полное обоснование ложности тезиса, а
Основные правила аргументации
В процессе аргументации и критики могут совершаться ошибки двух типов: умышленные и неумышленные. Умышленные ошибки называются софизмами, а лица, совершающие такие ошибки, -
СЛОВАРЬ ЛОГИЧЕСКИХ терминов
1. Абдукция(от лат. abducere – приведение) – форма умозаключения, в котором из исходных суждений (описывающих свойства каких-то явлений) выбирается новое суждение (гипотеза), котор
Программное обеспечение и интернет - ресурсы
1. http://www.logic.ru/Russian/: ЛОГИКА РОССИИ
2 .http://www.logic.ru/Russian/LogStud/index.html: Электронный журнал «Логические исследования».
3. http://www.iph.ras.ru:8100/~logi
Хотите получать на электронную почту самые свежие новости?
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Новости и инфо для студентов