Обстоятельную критику взглядам И. Канта на сущность формальной логики дал Г. Гегель. В то же время он критически относился вообще к формальной логике. Свое отношение к этой науке, как «метафизической», он строил исходя из объективно-идеалистической идеи о тождестве законов мышления и бытия. Критику законов формальной логики Г. Гегель дал во второй книге своей работы «Наука логики», в разделе «Учение о сущности». По мнению Г. Гегеля, законы логики носят всеобщий характер, распространяются на все сферы действительности. Однако такой универсальной логикой должна стать не формальная логика, а диалектика саморазвития, «инобытием» которого является внешний мир.
Крупными русскими исследователями в области логики были М.И. Каринский (1840-1917) и Л.В. Рутковский (1859-1920). Так, М.И. Каринский внес значительный вклад в разработку классификации умозаключений. Основной замысел его логической теории характеризуется стремлением построить аксиоматико-дедуктивную систему логики, исходя из основного отношения равенства (т.е. «тождества»); описать в ней дедуктивные и индуктивные умозаключения.
Л.В. Рутковский - автор труда «Основные типы умозаключений» (1888). Если М.И. Каринский строил теорию выводов, используя лишь отношения тождества, то Л.В. Рутковский считал возможным признать равноправными с отношениями тождества и такие, как отношения сходства, сосуществования и другие.
С начала XX столетия формальная логика получает дальнейшее развитие. Возникла математическая логика, широко применившая метод математической формализации и специальный аппарат символов к определенному кругу логических операций. Представляют математическую логику Г. Фреге (1848-1925), Б. Рассел (1872-1970), Б. Аккерман (1896-1962) и другие мыслители.
Формализация и предельное абстрагирование от конкретного содержания высказываний позволили решить ряд трудных логических задач в области математики и нашли применение в работе электронно-вычислительных машин, теории программирования и т. д. Значительный вклад в разработку современной математической логики внесли наши отечественные ученые-математики А.П. Колмогоров, А.А. Марков, П.С. Новиков, М.В. Келдыш и другие. Однако математическая логика не охватывает всех проблем естественной логики мышления. За формальной традиционной логикой остается ее познавательная функция и методологическая роль как науки о законах и формах правильной мысли, ведущей к утверждению истины.
ВОПРОСЫ ДЛЯ ПОВТОРЕНИЯ УЧЕБНОГО МАТЕРИАЛА
7. Что представляет собой чувственное познание, в каких формах оно протекает?
2. В чем состоит специфика абстрактного мышления?
3. Каково место и роль формальной логики в системе научного знания?
4. В чем состоит отличие формальной логики от логики диалектической?
5. Какие основные этапы прошла логика в своем историческом развитии?
6. Что такое логическая форма?
7. В чем отличие истинности мысли от ее логической правильности?
8. Как, на ваш взгляд, соотносятся логические формы и объективный мир?
9. Как взаимосвязаны язык и мышление?
10. В чем заключается значение логики в деятельности юриста?
ПРАКТИЧЕСКИЕ УПРАЖНЕНИЯ ДЛЯ ЗАКРЕПЛЕНИЯ УЧЕБНОГО МАТЕРИАЛА
1. Установите, какие из приведенных ниже выражений естественного языка имеют одинаковую логическую форму:
— Ни один студент нашей группы не имеет академической задолженности.
— Все адвокаты - юристы.
— Некоторые студенты занимаются спортом.
— Среди юристов есть женщины.
— Иванов окончил юридический институт и стал юрисконсультом.
— Москва - столица России.
— Если человек совершил преступление, то он должен быть наказан.
— Каждый человек имеет право на труд.
— Все разногласия между сторонами были исчерпаны в результате переговоров.
— Если студент не сдаст экзамен, то он будет иметь академическую задолженность.
— Михайлов с отличием окончил университет и получил диплом юриста.
— Каждая страна имеет свой гимн.
— Ни один человек не имеет права нарушать законы.