Преформизм. 
Категории онтологии. 
Часть 1

Преформизм (от лат. рте — перед, forma — вид) — учение о предопределенности развития организма его зародышем, половыми зачатками. Анаксагор учил о семенах вещей, которые, соединяясь и вырастая, превращаются в видимые вещи. Н. Мальбранш (1638−1715) и Г. В. Лейбниц философски обосновали данное учение. Преформизм подвергали критике Аристотель, Вольф, Кант и другие мыслители. Современная биология подкрепила общую идею преформизма представлением о том, что в генах заложена наследственная информация, которая определяет развитие организма. Философия жизни описывает все существующее как форму проявления жизни; живые целостности, согласно этой философии, постигаются лишь интуитивно.

Формализация.

Абстрактное мышление способно к формализации, т. е. к более или менее полному отвлечению формы от материи и презентации какого-либо содержания (рассуждения, теории и т. д.) в виде формальной системы, исчисления или формулы. Формализация — это отображение объектов некоторой предметной области посредством символов какого-либо языка. Формальная логика изучает формы мышления, полностью отвлекаясь от того, что в этих формах мыслится. В формальной логике под «содержанием понятия», в отличие от «объема понятия», понимают сумму признаков понятия. Дедуктивная формализация предполагает следующее: 1) перечисление терминов исходных понятий и отношений между ними; 2) введение переменных и соответствующих им правил построения формул; 3) введение исходных аксиом; 4) введение правил логического вывода доказуемых теорем из аксиом.