Скачать все книги автора Владимир Александрович Смирнов

Логика в своем развитии всегда обращалась к истории философской мысли. Это стало традицией. С одной стороны, результаты логики опробовались при решении тех или иных философских проблем, а с другой стороны, обращаясь к различным философским учениям, логика черпала в них новые идеи, получала дополнительные стимулы для развития новых направлений. Хорошо известно, что целый ряд направлений логической науки возник именно так. Яркий пример – временная логика. Первоначально временная логика возникла просто как вспомогательная историко–философская дисциплина для анализа античных текстов, а затем, получив импульс со стороны сугубо историко–философской проблематики, она превратилась в самостоятельный очень интересный раздел неклассической логики, в котором были получены результаты, обнаружившие неожиданные выходы даже на технические приложения (например, применение логических средств к синтезу и верификации программ – одно из перспективных направлений, которое имеет прикладное значение). При этом за небольшой срок, буквально за 10 – 15 лет, произошел переход от историко–философской проблематики к проблемам прикладного характера.