|
Лейбниц ? Буль? Порецкий ? Кэррол ? Лобанов МЛ нельзя создать вне ДЛ и тем более ФЛ. Они – фундаментальные технологии МЛ. Но последняя должна иметь приращение приемов для обособления от предшественников. Содержание МЛ преемственно отразит и силлогистику ФЛ и кладистику ДЛ и Булеву алгебру и нечто от информатики. В информатике существует уже полвека, как утверждают некоторые ее представители, инструментарий обработки информации на основе дихотомных моделей, внешне схожих с кладограммами. Может быть, этот аппарат и кладограммы являются таким следующим шагом к разработке математической логики в лейбницианском смысле? 4.7. Философия нового времени Выделим разные исторические формы философии: Философия ???????????? Классическая – модерн ???????????? Традиционная – современная ???????????? Античная – нового времени (с ХУII века) А.Г. Баумгартен (1714-1762) и Ф.Х. Баумейстер. Я и сейчас не четко представляю идейный вклад каждого из них, как и их судьбы. Не следует опускать их из истории становления теоретической философии. Надо специальное изучение их духовного наследия. Здесь же отмечу ряд фактов. Кант читал ряд своих курсов по Баумгартену и Баумейстеру. В учебном пособии по логике Баумейстера, которое издано на русском языке в 1761 году, а затем переиздавалось, я впервые для себя понял сориты и его определение соритов весьма важно для понимания сути интеллектуального исчисления. В других работах по логике оно не воспроизводиться. Произошло вырождения логики в понимании этого интеллектуального приема. Баумейстер был прямым «учеником» Лейбница, что указывает на преемственность по данному вопросу. — 317 —
|