Законы формальной логики — это схемы всегда истинных высказываний.
Формальная логика — это наука об общих структурах правильного мышления в его языковой форме, раскрывающая лежащие в его основе закономерности.
Формулы законов логики называются тождественно-истинными формулами, ибо они принимают значение «истина» независимо от того, какие значения принимают входящие в их состав элементарные формулы: Р или не-Р
Основные законы логики:
5. Закон тождества
6. Закон противоречия
7. Закон непротиворечия
8. Закон исключения третьего
9. Закон достаточного основания
Закон достаточного основания:
Достоверны лишь те суждения, относительно истинности которых могут быть приведены достаточные основания: Р истинно, так как истинно Q.
Восстановите энтимему (сокращенный силлогизм) в полный силлогизм, укажите фигуру и модус: (энтимема не дана).
Восстановление энтимемы по действиям:
7) Найти вывод; обозначить медиатор (М), субъект (S) и предикат (Р).
8) Выбрать подходящую фигуру и модус (может быть несколько, а может и вообще не быть)
9) Восстановить по каждой фигуре и модусу.
№30
Дедукция и индукция.
Дедукция
Дедукцией называется умозаключение, в котором из заранее известных общих положений делается вывод об определенных частных случаях. Этот вид умозаключения наиболее часто применяется в математике.
Индукция
Индукцией называется умозаключение, в котором из наблюдений над некоторыми частными случаями делается общее заключение, распространяемое на все, в том числе и на не наблюдавшиеся, случаи. Этот вид умозаключения чаще всего применяется в естественных науках.
Достоверность индуктивных умозаключений опирается на реально существующее и подтвержденное человеческой практикой единство и взаимосвязь объективных законов природы и общества. Для истинности индуктивных умозаключений необходим всесторонний учет условий, при которых совершается явление. Без этого индуктивные выводы будут отличаться лишь известной степенью вероятности.
В мышлении человека дедукция и индукция взаимно связаны и не могут протекать одна без другой. Дедукция немыслима без конкретных фактов, добытых индуктивным путем. В то же время процесс индуктивного познания конкретных вещей опирается на обобщенные образы явлений, на отнесение их в определенные группы, что невозможно без дедукции.