Современная логика. А. А. ИвинЧитать онлайн книгу.
новый шаг: ее языки содержат только специальные символы.
Имя «математическая логика» призвано подчеркнуть сходство методов, применяемых в современной логике, с методами математики. В настоящее время имена «математическая логика» и «символическая логика» постепенно становятся все менее употребительными.
В середине XIX века ирландский математик Д. Буль истолковал умозаключение как результат решения логических равенств. В результате теория умозаключения приняла вид своеобразной алгебры, отличающейся от обычной алгебры лишь отсутствием численных коэффициентов и степеней. С работ немецкого логика Г. Фреге начинается применение логики для исследования оснований математики. Значительный вклад в развитие логики в дальнейшем внесли английские философы и логики Б. Рассел, А. Н. Уайтхед, немецкий математик Д. Гильберт и др. В 30-е годы фундаментальные результаты получили К. Гёдель, А. Тарский, А. Чёрч.
В классических, сложившихся первыми, разделах современной логики многое было отражением определенного своеобразия математического рассуждения. Кроме того, связь по преимуществу с одной наукой, математикой, поддерживала иллюзию, будто логика движется в силу только внутренних импульсов и ее развитие совершенно не зависит от эволюции теоретического мышления и не является в каком-либо смысле отображением последней.
Не успела классическая логика сложиться и окрепнуть, как началась энергичная ее критика. Эта критика велась с разных направлений. Результатом ее явилось возникновение целого ряда новых разделов современной логики, составивших в совокупности неклассическую логику. В ряде случаев оказалось, что реализованные при этом идеи активно обсуждались еще в античной и средневековой логике, но были основательно забыты в Новое время.
Неклассическая логика представляет собой совокупность достаточно разнородных логических теорий, возникших в известной оппозиции к классической логике и являющихся во многом не только критикой последней и попыткой ее усовершенствования, но также ее дополнением и дальнейшим развитием идей, лежащих в основе современной логики.
Экстенсивный рост логики не завершился и сейчас. Из числа зарубежных логиков, творчество которых оказало особенно заметное влияние на развитие современной логики в последние десятилетия, следует упомянуть У. Куайна, Г. Х. фон Вригта, Д. Дэвидсона, С. Крипке, Я. Хинтикку, Н. Решера и др.
В России почти всегда были люди, стоявшие на уровне достижений логики своего времени и внесшие в ее развитие определенный вклад. История отечественной логики не богата, однако, именами.
В конце XIX – начале XX вв., когда научная революция в логике набирала силу, ситуация в отечественной логике была довольно сложной. И в теории, и в практике преподавания господствовала так называемая «академическая логика», избегавшая острых современных проблем и постоянно подменявшая логику невнятной методологией науки, изложенной к тому