16. Определение. Виды и правила.
Определение понятия есть логическая операция, раскрывающая содержание понятия, т.е. это перечисление тех существенных и отличительных признаков того или иного предмета (объекта), которые отражаются определяемым понятием о нем. Эти признаки являются и общими, но поскольку общность отражается объемом, то она не входит в содержание понятия.
Как логическая операция определение состоит из двух элементов: определяемого понятия и определяющих понятий. Определяющие - это те понятия, с помощью которых раскрывается содержание определяемого. Законом связи этих двух элементов определения является требование логики, аналогичное требованию к делению, - определение должно быть соразмерным.
Определяемое понятие нельзя определять через само себя или через понятия, которые, в свою очередь, определяются с помощью определяемого понятия. Простейшим видом является тавтология. Например: человек есть человек; бизнес есть бизнес; масло есть масляное; окончание - это то, что стоит в конце; этого не может быть, потому что этого быть не может и т.п.
В логике формулируется и такое правило - определение должно быть ясным, четким, свободным от двусмысленности, туманности и противоречивости; определение должно быть лаконичным. Запутанные определения не выполняют своей основной роли, они не раскрывают в краткой форме содержания определяемого понятия, их усложненные формулировки трудно запомнить и ими поэтому сложно пользоваться.: «драка есть такое состояние, субъекты которого, выходя за рамки границ правовой объективности, совершают неправомерные вторжения в область охраняемых государством объективных прав личности, нарушая, тем самым, или стремясь нарушить целость физических покровов личности многократным нарушением таковых прав»
Последнее правило-пожелание: определение, по возможности, не должно быть отрицательным, ибо отрицание не раскрывает сущности, не перечисляет существенные признаки предмета, отражаемого определяемым понятием.
Определения в науке выступают обычно итогом исследования того или иного предмета, той или иной предметной области.
Как логическая операция с понятием, определение по структуре своей и по способности раскрывать возможно полнее содержание того или иного понятия, подразделяется на явное и неявное. Явные определения, перечисляя существенные и отличительные признаки определяемого, раскрывая его сущность, подразделяются на: определение через ближайший род и видовое отличие, генетическое определение и номинальное.
К неявным определениям относится довольно большая группа приемов, сходных с определением: указание, описание, метафора, сравнение, гипербола, характеристика, операциональное определение,
К приемам, сходным с определением можно отнести и так называемые определения через пример, схему, чертеж, таблицу и пр.
Понятие аргументации. Структура и виды аргументации.
1.1 Аргументация и ее основные формы
Аргументация – один из способов обоснования утверждений (суждений, гипотез, концепций и т.д.). Утверждения могут обосновываться путем непосредственного обращения к действительности (посредством наблюдения, эксперимента и других видов практической деятельности), а также с помощью уже известных положений (аргументов) и средств логики. Во втором случае обоснование тоже осуществляется путем обращения к действительности, но непосредственно, а опосредованного.
Аргументация – это полное или частичное обоснование какого-либо утверждения с использованием других утверждений. Предполагается, что в хороших (правильных) аргументациях другие утверждения полностью или хотя бы частично обоснованы и обосновываемое положение из них логически следует или, по крайне мере, они подтверждают его.
Задачей аргументации является выработка убеждения или мнения в истинности какого-либо утверждения. Убеждение – полная уверенность в истинности, мнение – тоже уверенность, но не полная. Убеждение и мнение могут, конечно, вырабатываться не только на основе аргументации или наблюдения и практической деятельности, но и путем внушения, на основе веры и т.д.
Аргументация представляет собой процесс формирования убеждения или мнения относительно истинности какого-либо утверждения (суждения, гипотезы, концепции и т.д.) с использованием других утверждений.
То утверждение, которое обосновывается, называется тезисом аргументации. Утверждения, используемые при обосновании тезиса, называются аргументами, или основаниями. Логическую структуру аргументации, т.е. способ логического обоснования тезиса посредством аргументов, называются формой аргументации.
Частным случаем аргументации является доказательство.
Доказательство – это аргументация, в которой аргументы являются утверждениями, истинность которых установлена, а формой является демонстративное рассуждение (рассуждение, обеспечивающее получение истинного заключения при истинных посылках). Аргументацию можно разделить на доказательную и недоказательную.
Недоказательные (правильные) аргументации бывают трех типов:
аргументы являются не достоверными, а лишь правдоподобными утверждениями, а форма – демонстративным рассуждением. Тезис в такой аргументации лишь правдоподобен из-за недостоверности аргументов.
аргументации, в которых аргументы – достоверные утверждения, а форма – недемонстративное рассуждение. В этих аргументациях тезис является только правдоподобным утверждением из-за недемонстративности формы.
В недоказательных аргументациях третьего типа аргументы являются полностью обоснованными утверждениями, а форма – недемонстративным рассуждением.
По другому основанию можно выделить (правильные) аргументации двух типов – прямой и косвенный виды аргументации. В прямой аргументации рассуждение идет от аргументов к тезису. При косвенной аргументации требуется обосновать некоторое утверждение (тезис). Косвенные аргументации могут быть доказательными и недоказательными.
3. Виды аргументации.
Генетическая аргументация.
В генетических аргументациях заключение об истинности или ложности тезиса получается из аргументов, показывающих происхождение тезиса и тот путь, которым тезис до нас дошел. Поэтому аргументы в этих типах аргументации не касаются существа содержания тезиса, а говорят лишь об источниках и способах передачи тезиса.
В генетических доказательствах и подтверждениях заключение об истинности тезиса получается из аргументов, свидетельствующих, что некоторое суждение, полученное из надежного источника, передавалось без искажений и дошло до нас в своем первоначальном виде. В генетическом опровержении и критике заключение о ложности тезиса обосновывается тем, что тезис не согласуется с информацией, полученной из надежного источника и дошедшей до нас надежным путем, или установленным фактом, что в ходе передачи первоначальное суждение было искажено.
Генетическая аргументация используется чаще в тех случаях, когда нет возможности обосновывать по существу. В исторических науках она является преобладающим типом аргументации. Свидетельство очевидцев или участников некоторых событий, зафиксированные в летописях, мемуарах, других документах рассматриваются как источник тезиса. И первый аргумент в пользу его истинности – суждение о доверии к данному источнику. ( Иногда такое суждение само нуждается в обосновании, в этом случае его обоснование достигается в новом процессе доказательства, которое может быть как генетическим, так и по существу.)
Затем прослеживается весь путь передачи информации – содержание тезиса, причем каждый шаг передачи оценивается с точки зрения возможностей искажения этой информации. Здесь аргументы перемежаются с демонстрацией, и процесс доказательства заканчивается заключением, что в ходе передачи информация не могла подвергнуться существенным изменениям, поэтому тезис можно считать истинным или хотя бы достаточно вероятным.
Достоверное обоснование тезиса генетическим путем возможно только в простейших аргументациях, типа все, что написано там- то, истинно (ложно). Это написано именно там. Значит, это истинно (ложно). В остальных видах генетических аргументаций истинностная оценка тезиса обосновывается лишь частично.
Генетическое опровержение и критика – это обоснование суждения. Тезис не согласуется с информацией, полученной из надежного источника и дошедший до нас без искажений. Если же в генетической аргументации использовались источники или передатчики, вызывающие сомнения, то опровержение не получается. Ненадежное или неудачное генетическое доказательство нельзя рассматривать как генетическое опровержение. Тезис в таком случае всего лишь необоснован (данным генетически доказательством), но и не опровергнут.
Прямая аргументация.
Гораздо более распространенной, нежели генетическая, тип аргументации – аргументация по существу где аргументы относятся к содержанию тезиса. В аргументации по существу анализу подвергается само содержание тезиса, а не его происхождение. Этот тип аргументации имеет более интересный логический аспект, поэтому в современной логике рассматриваются исключительно аргументации по существу, и только их имеют в виду, когда говорят об аргументативных процессах. Аргументация по существу является и практически более важной, потому что ее убеждающее воздействие больше, чем генетической, ведь вполне демонстративной может быть только аргументация по существу.
Также аргументативные процессы могут быть прямыми и косвенными.
Прямой называется аргументация, в которой аргументы и демонстрация обращены непосредственно к тезису, т.е. демонстрируется связь аргументов прямо с тезисом, а не каким либо другим суждением.
В прямых аргументациях тезис непосредственно выводится из аргументов в качестве заключения ( если речь идет об обосновании его истинности) или устанавливается его несовместимость с аргументами ( при обосновании его ложности).
Косвенная аргументация.
Аргументация называется косвенной, если аргументы направлены не на тезис, а на опровержение или подтверждение другого суждения или нескольких суждений, альтернативных тезису.
Опосредствующие суждения могут быть допущения, имеющие вид антитезиса. Тогда косвенная аргументация называется аргументацией от противного. Антитезис - это суждение, противоречащее тезису, т.е. суждение истинность которого необходимо влечет ложность тезиса, тогда как ложность его достоверно свидетельствует об истинности тезиса.
Если речь идет о доказательстве тезиса, то должна быть продемонстрирована ложность антитезиса. Аргументы и демонстрация в этом случае направлены на то, чтобы показать, что антитезис ложен. После обоснования ложности антитезиса делается последний шаг демонстрации: поскольку антитезис ложен, значит тезис истинен. Поскольку аргументы – истинные суждения, значит, обнаружить ложность антитезиса можно лишь показав его несовместимость с аргументами. Эта несовместимость может проявляться в прямом противоречии одного или нескольких аргументов антитезису или его следствиям.
В других случаях несовместимость антитезиса и аргументов проявляется в том, что аргументы с антитезисом приводят к двум противоречащим друг другу высказываниям ( в этом случае косвенное доказательство называется апагогическим, или доказательством путем сведения к абсурду).
Пример апагогического доказательства – доказательство правильности умозаключения сокращенным табличным способом тезис этого доказательства – суждение: данное умозаключение правильно, т.е. между его посылками и заключением существует отношение логического следования. Антитезис – предположение, что умозаключение неправильно т.е. что посылки могут быть истинными, а заключение ложным. Затем из этого допущения выводят следствия относительно истинностных значений подформул. Аргументы доказательства – табличные определения логических связок. Получив противоречащие друг другу следствия, что одна и та же подформула должна быть и истинной и ложной, заключают, что антитезис ложен, и тогда тезис истинен.
Другой вид косвенных аргументаций – разделительные.
Пример разделительной аргументации – доказательство методом аналитических таблиц утверждения, что некоторая формула логики высказываний собственно выполнима. Известно, что каждая формула – тождественно истинна, собственно выполнима или тождественно ложно. Методом аналитических таблиц прямо невозможно доказать, что формула собственно выполнима, но можно установить тождественную истинность и тождественную ложность формулы. Если доказано, что она не тождественно – истинна и не тождественно – ложна, то тем самым доказано, что она – собственно выполнима.
Доказательство от противного тоже можно рассматривать как разделительные с двумя членами строгой дизъюнкции (логический эквивалент союза «или»; операция формализующая основные логические свойства этого союза): тезис и антитезис не могут быть ни вместе истинными, ни вместе ложными. Но все же доказательства от противного имеют специфику. В них до начала доказательства одно суждение объявлено тезисом, другое – условным допущением, антитезисом, и все операции с антитезисом направлены на то, что бы обосновать истинность тезиса. В разделительных же доказательствах часто изначально неизвестно, какое из альтернативных суждений подтвердится, поэтому назвать одно из них тезисом до окончания процесса доказательства во многих случаях нельзя. Все альтернативные суждения с начала выступают как равноправные, хотя, возможно, доказывающий и отдает предпочтение одному из них. Лишь последовательные опровержения всех альтернатив, кроме одной, выявляют истинную, которая впоследствии объявляется тезисом этого доказательства. Разделительное доказательство часто выступает, прежде всего, как способ нахождения истины, а уж потом – как способ ее демонстрации.
Опровержение и критика как виды аргументативных процессов
Опровержение и критика также бывают прямыми и косвенными, однако в этих аргументативных процессах есть своя специфика. Опровергнуть какое – либо высказывание легче, чем доказать. Достаточно вывести из тезиса следствие, противоречащее хотя бы одному аргументу, или из тезиса и аргументов – два противоречащих друг другу высказывания, как тезис опровергнут. И в том, и в другом случае опровержение прямое, без привлечения опосредующих суждений. Косвенное же опровержение предполагает обоснование истинности антитезиса (противоречащего тезису суждения) или истинности противоположного ему суждения. Из-за того, что истинность обосновать сложнее, чем ложность, косвенное опровержение встречаются гораздо реже, чем прямые.
Прямое опровержение осуществляется теми же двумя способами, что и доказательство от противного.
Из тезиса и аргументов нужно вывести противоречащие друг другу следствия. Это будет свидетельством несовместимости тезиса с аргументами, из чего следует, что при истинности аргументов тезис ложен. Это опровержение способом сведения к абсурду.
Из тезиса выводят следствия, затем находят аргумент, противоречащий одному из этих следствий, что свидетельствует о сложности данного следствия и, значит, о ложности тезиса.
Косвенное опровержение тезиса осуществляется обоснованием истинности антитезиса (высказывания, противоречащего тезису) или истинности, противоположного тезису суждения. Из признания такого суждения истинным следует ложность тезиса.