IKBFU's Vestnik

2011 Issue №6

Back to the list Download an article

On the methodological meaning of notion of isomorphic enclosure of formalisms



This article suggests that, in many interesting cases when considering the given reference domain, one has to deal with a system of formalisms rather than a single formalism. It is argued that these systems are integrated through isomorphic embeddings of their elements into each other. The article considers some alternative notions of formalism and the definitions of isomorphic embeddings
corresponding to them. A number of new results concerning their interrelations are presented without proofs.


1. Карпенко А. С. Предмет логики в свете основных тенденций ее раз­вития // Логические исследования. Вып. 11. М., 2004. С. 149—171.

2. Смирнов В. А. Адекватный перевод утверждений силлогистики в исчисление предикатов // Актуальные проблемы логики и методоло­гии науки. Киев, 1980.

3. Справочная книга по математической логике: в 4 ч. М., 1982. Ч. 1.

4. Hodges W. Elementary predicate logic // Handbook of philosophical logic. 2nd ed. Vol. 1. Springer, 2001. P. 1—130.