Аксиоматический метод. Он представляет собой способ построения теории, при котором некоторые ее положения выбираются в качестве исходных, а остальные доказываются логическим путем. Этот метод находит гораздо большее применение в логике, чем предыдущий.
Метод формализации. Этот метод основывается на использовании в логике исчисления.
Исчисление – это система правил, оперирования со знаками, расширяющая возможности содержательного мышления в решении и доказательстве суждений. Преимущество исчисления состоит в том, что объекты, которыми в нем оперируют, являются материальными предметами, практически не меняющимися в процессе применения к ним правил исчисления. В логике существуют два вида исчислений: исчисление высказываний и исчисление предикатов.
Исчисление высказываний – это логическая система, формализующая рассуждения, основанные на истинностных отношениях между высказываниями.
Исчисление предикатов – это логическая система, формализующая выводы, основанные на внутренней структуре высказываний.
19 ЗНАЧЕНИЕ ЛОГИКИ
Часто при изучении логики возникает вопрос, а имеет ли эта наука практическое значение. Вокруг этого вопроса существует много дискуссий и мнений. Одни считают логику непрактической наукой, ссылаясь на слова Г. Гегеля, что логика «учит» мыслить, так же как физиология «учит» переваривать. Другие не согласны с этим мнением, утверждая, что практическое значение логики существенно. Данные факты обусловливают чрезвычайную сложность задачи определения практического значения логики.
Прежде всего необходимо согласиться с теми, кто считают, что логика действительно играет значительную роль не только в мышлении, но и в жизни человечества. Во—первых, логика повышает культуру нашего мышления, вырабатывает навык грамотно мыслить, развивает критическое отношение к своим и чужим мыслям. Во—вторых, логика выполняет ряд значимых социальных функций. Поэтому мнение тех, кто отрицает практическое значение логики, имеет серьезные противоречия с реальностью.
В первую очередь необходимо определить функции, которые выполняет логика в обществе. Их можно выделить четыре.
Познавательная функция. Логика позволяет определить верный путь для достижения истинных знаний, а также выявить последствия, к которым приводит неправильный ход рассуждения.
Мировоззренческая функция. Логика влияет на формирование человеческого мышления, которое, в свою очередь, определяет жизненную позицию человека.
Методологическая функция. Следует отметить, что законы логики играют важную роль в разработке методологий различных наук. В то же время