Дайте определение формальной логике как науке

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

Примечание: Автором первой системы формальной логики считается Аристотель, который ввёл понятие силлогизма и переменных, которыми он обозначал термины силлогизма.

По Канту, формальная логика (в «Критике чистого разума» она названа «общей») отвлекается от содержания понятий и имеет дело только с их формой.

6.Укажите границы применения характеристик «истинно» и «ложно»

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

Соблюдение этих законов – залог достижения истины:

1) закон тождества;

2) закон непротиворечия;

3) закон исключенного третьего;

4) закон достаточного основания.

Истинность и ложность– показатели конкретного содержания определенного суждения. Однако независимо от истинности суждений, выступающих в качестве посылок, заключение, т. е. суждение, выведенное из этих посылок, может быть ложным. Рассуждение же как процесс получения заключения из исходных посылок может быть лишь правильным или неправильным, но не ложным или истинным. Оно подчиняется правилам логики и действует на их основе. Необходимо помнить, что соблюдение правил логики в рассуждениях необходимо, так как в случае пренебрежения ими возможно получение ложного суждения даже из истинных посылок. Также возможны случаи, когда при ложности одной или нескольких посылок и соблюдении правил логики выводимое заключение может быть истинным, как и при несоблюдении правил логики при истинности посылок.

7.Укажите границы применения характеристик «формально правильно» и «формально неправильно»

Мы считаем какое-либо положение истинным материально, когда оно соответствует действительности или вещам. Мы счи­таем то или другое заключение истинным формально в том случае, когда оно выводится с достоверностью из тех или иных положений, т.е., когда верен способ соединения мы­слей, самое же заключение может совсем не соответствовать действительности. Для объяснения различия между формальной и материальной истинностью возьмём примеры, нам даются два положения:

Все вулканы суть горы

Все гейзеры суть вулканы

Из этих двух положений с необходимостью следует, что «все гейзеры суть горы». Это заключение формально истинно, потому что оно с необходимостью следует из двух данных по­ложений, но материально оно ложно, потому что оно не соответствует действительности; гейзеры не суть горы. Таким Образом, умозаключение истинное формально может быть лож­ным материально.

Но возьмём следующий пример:

Все богачи тщеславны

Некоторые люди не суть богачи

След., некоторые люди не суть тщеславны.

Это заключение истинно материально, потому что дей­ствительно «некоторые люди не суть тщеславны», но оно формально ложно, потому что не вытекает из данных положений. В самом деле, если бы было сказано, что только богачи тще­славны, тогда о всяком не-богаче мы сказали бы, что он не тще­славен. Но у нас в первом положении утверждается: «все богачи тщеславны»; этим не исключается, что и другие люди могут быть тщеславными. В таком случае можно быть небогатым и в то же время быть тщеславным; из того, что кто-нибудь не есть богач, не следует, что он не может быть тщеславным. Из этого ясно, что указанное заключение не вытекает из данных положений необходимо.

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

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