Курсовая работа: Опровержение и абстрактные аргументационные структуры

3

Введение


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

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