On the methodological meaning of notion of isomorphic enclosure of formalisms :: IKBFU's united scientific journal editorial office

×

Login
Password
Forgot your password?
Login As
You can log in if you are registered at one of these services:
   
Science is power, it reveals the relation between things, their laws and interactions
Alexander Herzen

DOI-generator Search by DOI on Crossref.org

On the methodological meaning of notion of isomorphic enclosure of formalisms

Author Olkhovikov G. K.
Pages 7-15
Article Download
Keywords formalism, isomorphic enclosure.
Abstract (summary) 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.
References

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.


Back to the section