Метод формализации. Этот метод основывается на использовании в логике исчисления.

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

Исчисление высказываний – это логическая система, формализующая рассуждения, основанные на истинностных отношениях между высказываниями.

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

Часто при изучении логики возникает вопрос, а имеет ли эта наука практическое значение. Вокруг этого вопроса существует много дискуссий и мнений. Одни считают логику непрактической наукой, ссылаясь на слова Г. Гегеля, что логика «учит» мыслить, так же как физиология «учит» переваривать. Другие не согласны с этим мнением, утверждая, что практическое значение логики существенно. Данные факты обусловливают чрезвычайную сложность задачи определения практического значения логики.

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

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

Познавательная функция. Логика позволяет определить верный путь для достижения истинных знаний, а также выявить последствия, к которым приводит неправильный ход рассуждения.

Мировоззренческая функция. Логика влияет на формирование человеческого мышления, которое, в свою очередь, определяет жизненную позицию человека.

Методологическая функция. Следует отметить, что законы логики играют важную роль в разработке методологий различных наук. В то же время логическая теория также является методом познания.

Идеологическая функция. Логика часто используется в идеологических целях в силу своих внутренних антагонизмов и противоречий (например, между материализмом и идеализмом, диалектикой и метафизикой).

Также важна логика и в формирования культуры человека, культуры его мышления. Неоспоримо, что логика имеет большое значение для развития способности эффективно использовать средства познания. Логика помогает человеку ориентироваться в своих знаниях, систематизируя их и выбирая из информационной среды необходимые материалы. Кроме того, эта наука предоставляет определенное знание об устоявшихся правилах тех или иных мыслительных процедур.

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

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