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

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

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

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

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

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

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

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

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

Не нашли, что искали? Воспользуйтесь поиском: