Показать сообщение отдельно
Старый 17.06.2008, 06:14   #87
nauczyciel
Platinum Member
 
Аватар для nauczyciel
 
Регистрация: 18.10.2007
Адрес: Екатеринбург
Сообщений: 6,785
По умолчанию

Цитата:
Сообщение от Feeleen Посмотреть сообщение
Это общепринято. И изложено во всех учебниках и словарях
Мысль посмотреть в словарь - действительно светлая.
Итак, в статье "Логика" БСЭ имеется следующее утверждение:
Цитата:
Современная логика развилась в точную науку, применяющую математические методы. Она стала математической логикой — логикой по предмету, математикой по методу.
Для сравнения - статья "Традиционная логика":
Цитата:
традиционная формальная логика, общее наименование систем дедуктивной логики, не связанных с употреблением формализованных языков, то есть не использующих аппарата математической логики. Основное содержание традиционной логики заключено в силлогистике.
И, наконец, что такое "Силлогистика":
Цитата:
Силлогистика долгое время являлась неотъемлемым традиционным элементом "классического" гуманитарного образования, из-за чего её часто называют традиционной логикой. С созданием исчислений математической логики роль силлогистики стала весьма скромной. Оказалось, в частности, что почти всё её содержание (а именно все выводы, не зависящие от характерного для силлогистики предположения о непустоте предметной области) может быть получено средствами фрагмента исчисления предикатов — т.н. одноместного исчисления предикатов. Получен также (начиная с Я. Лукасевича, 1939) ряд аксиоматических изложений силлогистики в терминах современной математической логики.
Следовательно, techni и gav правы, и в настоящее время традиционная логика является архаизмом, интересным разве что с точки зрения оценки истории развития логики.
ИМХО, современные исследования должны проводиться с использованием современных методов, в частности - математической логики.
nauczyciel вне форума   Ответить с цитированием
Реклама