Логические законы аргументации.

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

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

Законы или принципы формальной логики.

Формальная логика строится на основе допущений, которые принимаются как (1) не требующие доказательства и (2) такие, на которых основываются все доказательства. Четыре таких допущения или принципа называются закономи логики.

• Закон тождества: всякий предмет равен самому себе, или А есть А.

• Закон противоречия: два суждения, одно из которых является отрицанием другого, не могут быть вместе истинными (одно из них ложно).[155]

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

• Закон достаточного основания: суждение может рассматриваться как достоверно истинное только при условии, если оно обосновано другими мыслями, истинность которых установлена.

Суждение и понятие.

Суждение.

Суждение есть мысль, в которой утверждается что-либо ο чем-либо.

Например: человек есть разумное существо; Земля имеет шарообразную форму; сосна не имеет листъев; если существо произошло от другого, то оно не безначально; лошадь есть вид копытных.

Суждение состоит из терминов и связки.

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

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

Связкой называется составная часть суждения, которая выражает постоянное отношение между терминами, например: есть, не есть, не имеет, все...суть, ни одно...не есть, включается.

B суждении с точки зрения логики имеются два термина.

Субъектом называется термин, обозначающий предмет мысли, ο кοтοром высказывается суждение. Например, в суждении: все копытные суть млекопитающие слово копытные выражает субъект суждения.

Предикатом называется термин, обозначающий то, что высказывается ο субъекте, например, млекопитающие.

Субъект суждения обозначается латинской буквой S, предикат — латинской буквой Р, а связка глаголом быть с относящимися к нему уточняющими словами: S есть Р, S не есть Р,все S суть Р,некоторые S не суть Р, вероятно, некоторые S суть Р,каждый S должен быть Ρ и т. д.

Виды суждений.

Βлогике суждения подразделяются наосновании количества, качества, отношения и модальности.

1. С точки зрения количества, то есть класса предметов, который мыслится в субъекте и ο котором высказывается предикат, суждения подразделяются на общие, частные и индивидуальные.

Общим называется суждение, предикат которого высказывается ο всех предметах какого-либо класса (все S суть Р, ни одно S не есть Р).

Например: все сосны — хвойные деревья; ни одна сосна не является лиственным деревом.