Распродажа!

Традиционная и современная формальная логика – 1969 – Субботин А.Л. – Рукопись

Первоначальная цена составляла ₽350,00.Текущая цена: ₽250,00.

Автор рукописи: Александр Леонидович Субботин, ответственный редактор В. А. СМИРНОВ

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

Материал предоставляется для загрузки в трех форматах: Microsoft Word, PDF и сканированный экземпляр книжного издания (в формате PDF, с возможностью поиска), использованный для корректировки неточностей в машинописной рукописи. Традиционная и современная формальная логика – Субботин А.Л. – Рукопись – Ознакомиться с примером PDF-файла.

Артикул: РА-001 Категория:

Описание

В рукописи выделяется три основных аспекта и значения исследуемой темы об отношении традиционной формальной логики к символической:

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

Это, во-вторых, специально или собственно логический аспект, связанный, так сказать, с технической задачей вписания всех основных результатов традиционно-логической теории дедукции в систему современной математической логики. Здесь встает ряд задач, среди которых самая основная — это формализация силлогистики и других результатов традиционно формальной логики с помощью и на базе основных представлений и идей логических исчислений или алгебры логики.

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

В работе над книгой автор, естественно, опирался на целый ряд трудов в этой области, из которых прежде всего следует назвать фундаментальную и во многих отношениях замечательную монографию Яна Лукасевича «Аристотелевская силлогистика с точки зрения современной формальной логики». В этой книге дано, на наш взгляд, наиболее адекватное оригинальному аристотелевскому замыслу формально-аксиоматическое изложение силлогистики с точки зрения и на базе современной символической логики. И хотя впоследствии различными авторами были предложены и другие приемы формализации силлогистики, именно Лукасевичу впервые удалось показать, каким образом традиционное здание этой теории дедукции может быть вписано в общий ансамбль современной математической логики. Эта книга Лукасевича, вышедшая первым изданием в Оксфорде в 1951 г. (второе, посмертное и расширенное, относится к 1957 г.), оживила интерес к традиционной формальной логике в среде представителей нового логико-математического направления и вместе с тем заставила еще более оценить общелогическое значение идей и методов современной символической логики.