On the methodological meaning of notion of isomorphic enclosure of formalisms
- Pages
- 7-15
Abstract
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.
Reference
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.