16. Правила доказательства и опровержения

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

1. Тезис должен быть сформулирован ясно, точно и однозначно.

Соблюдение этого правила предостерегает от неопределенности и двусмысленности при доказательстве того или иного тезиса. Если тезис сформулирован неточно, спор может возникнуть лишь по той причине, что спорящие по-разному понимают выдвинутый тезис, вкладывая в него различный смысл.

2. Тезис должен оставаться одним и тем же на протяжении всего доказательства или опровержения.

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

Правила по отношению к аргументам:

1. Аргументы должны быть истинными суждениями.

2. Аргументы должны быть не противоречащими друг другу.

3. Аргументы должны быть доказанными суждениями.

4. Аргументы должны быть суждениями, истинность которых устанавливается независимо от тезиса.

5. Аргументы должны быть достаточным основанием для тезиса.

27. Правила вывода логики высказываний, их значение

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

ПРАВИЛО 1: Если посылки умозаключения истинны, то истинно и заключение.

ПРАВИЛО 2: Если умозаключение справедливо во всех случаях, то оно справедливо и в каждом частном случае. (Это правило ДЕДУКЦИИ - переход от общего к частному.)

ПРАВИЛО 3: Если умозаключение справедливо в некоторых частных случаях, то оно справедливо во всех случаях. (Это правило ИНДУКЦИИ - переход от частного к общего.)

Правило вывода - правило преобразования некоторой формальной системы, дедуктивное правило, правило-разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений, высказываний пли выражающих их формул), называемых посылками, к некоторому определённому утверждению — заключению. П. в., вид посылок и заключения, которого указан явно, называют прямым; таково, например, П. в. исчисления высказываний, позволяющее переходить от произвольной конъюнкции к любому её члену, или П. в., разрешающее присоединить к произвольному высказыванию любое др. высказывание посредством операции дизъюнкции. Если в посылках и заключении указаны лишь виды выводов, от одного из которых разрешается переходить к другому, то налицо правило косвенного вывода; типичный пример — т. н. теорема о дедукции (правило введения импликации из натурального исчисления высказываний или предикатов), позволяющая от любого вывода A₁, A₂,..., A_n-1, A_n |— B перейти (при некоторых естественных ограничениях) к выводу вида A₁, A₂,..., A_n-1, A_n |—A_n ⊃ B. П. в., выражающие способы и приёмы содержательных рассуждений, были частично систематизированы ещё в рамках традиционной формальной логики, откуда затем (иногда с видоизменениями) перешли в математическую логику, как, например, правило modus ponens (схема силлогизма, или правило зачёркивания), разрешающее от любой импликации и её антецедента (посылки) перейти к её сукцеденту (заключению). Кроме того, П. в. делятся на исходные (основные, постулированные) и выводимые из исходных (посредством некоторых метатеорем).