Предмет логики. Понятия логической формы и логического следования. Логика традиционная и математическая.

Логика — наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка; теория правильных рассуждений- от истинных посылок к истинному заключению.

Предмет логики – человеческое мышление.

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

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

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

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

Логика традиционная и математическая.

Традиционная логика- первый этап в развитии (формальной) логики, начавшийся в IV в. до н. э. и завершившийся в конце XIX - начале XX в., когда сформировалась современная (математическая, символическая) логика. Т. л. изучала правильное мышление, опираясь в основном на естественный язык, не являющийся вполне адекватным для этой цели из-за своей многозначности, аморфности правил построения выражений и придания значений и т. п. Современная логика использует специально сконструированные (формализованные) языки, призванные следовать за логической формой и воспроизводить ее даже в ущерб краткости и легкости общения. Введение особого языка означает и принятие особой теории логического анализа. Современная логика, совпадая по своим целям с Т. л., включила в свой состав все то позитивное, что было достигнуто последней в изучении правильного мышления.

Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»^[1] Согласно определению П. С. Порецкого, «математическая логика есть логика по предмету, математика по методу». Согласно определению Н. И. Кондакова, «математическая логика — вторая, после традиционной логики, ступень в развитии формальной логики, применяющая математические методы и специальный аппарат символов и исследующая мышление с помощью исчислений (формализованных языков).»^[2] Это определение соответствует определению С. К. Клини: математическая логика — это «логика, развиваемая с помощью математических методов».^[3] Также А. А. Марков определяет современную логику «точной наукой, применяющей математические методы».^[4] Все эти определения не противоречат, а дополняют друг друга.

Применение в логике математических методов становится возможным тогда, когда суждения формулируются на некотором точном языке. Такие точные языки имеют две стороны: синтаксис и семантику. Синтаксисом называется совокупность правил построения объектов языка (обычно называемых формулами). Семантикой называется совокупность соглашений, описывающих наше понимание формул (или некоторых из них) и позволяющих считать одни формулы верными, а другие — нет. Высказывания, истинные в силу своей логической формы, называются логически истинными.