Основные методологические принципы диалектической логики

• Требование объективности рассмотрения

• Принцип конкретности

• Всесторонность рассмотрения

• Историзм

Основные методологические принципы формальной логики

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

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

Основные методологические принципы формальной логики: тождества, непротиворечия, исключенного третьего и достаточного основания.

• Принцип тождества – употребляя некоторый термин, мы должны употребить его в одном и том же смысле, понимать под ним нечто определенное.

• Принцип непротиворечия – последовательность мышления. Он запрещает одновременно принимать некоторое утверждение и его отрицание.

• Принцип исключенного третьего требует не отвергать одновременно высказывание и его отрицание.

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

32. Аргументация и логическое доказательство (доказывание). Состав, виды и способы

Аргументация — один из способов обоснования утверждений (суждений, гипотез, концепций и т.д.).

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

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

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

Задачей аргументации является выработка убеждения или мнения в истинности к/л утверждения.

Убеждение — полная уверенность в истинности, мнение — тоже уверенность, но неполная.

Способы выработки убеждений изображены на следующей схеме:

1. Путём обоснования:

   • На основе непосредственного обращения к действительности

   • На основе аргументации

2. На основе веры, внушения и т.д.

То утверждение, которое обосновывается, называется тезисом аргументации. Утверждения, используемые при обосновании тезиса, называются аргументами, или основаниями. Лог. структуру аргументации, т.е. способ логического обоснования тезиса посредством аргументов, называют формой аргументации, или демонстрацией.

Множество аргументов {А₁, ..., A_n} подтверждает тезис Т или тезис Т логически следует из указанных аргументов, или в аргументации нет ни того, ни другого

Частным случаем аргументации является (лог.) доказательство (доказывание).

Доказательство — установление истинности к/л положения с использованием лог. ср-в и утверждений, истинность которых уже установлена.

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

Следовательно, можно различать доказательную аргументацию и недоказательную аргументацию.

Недоказательные (правильные) аргументации бывают 3 типов:

1. Аргументы, по крайней мере некоторые из них, являются не достоверными, а лишь правдоподобными утверждениями, а форма — демонстративным рассуждением. Тезис в такой аргументации лишь правдоподобен из-за недостоверности аргументов

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

3. Аргументации, в которых аргументы являются не полностью обоснованными утверждениями, а форма — недемонстративным рассуждением.

Можно выделить (правильные) аргументации 2 типов по другому основанию — по направленности рассуждения. Это прямой и косвенный виды аргументации.

В прямой аргументации рассуждение идет от аргументов к тезису. Например, в случае прямого доказательства тезис выводится (дедуктивно) из аргументов по правилам логики.

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

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

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

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