Introduction to formal philosophy. ([2018])