Журнал «Современная Наука»

Russian (CIS)English (United Kingdom)
 MOSCOW +7(495)-142-86-81

Standard and set-theoretic strategy of formalization of scientific theory

Arkhiereev Nikolay L`vovitch  (Bauman Moscow State Technical University)

Formalization of scientific theory by means of first-degree predicate logic is usually characterized as standard. This technique, accepted by logical positivism, proved to be unable to identify unambiguously the class of intended models of theory, which calls into question the feasibility of use of formal methods in philosophy of science. Set-theoretic formalization of theory can be regarded as natural alternative to the standard one. This strategy is based on Tarski`s notion of semantic model of theory and is not exposed to the main number of flaws of positivistic formal program. A comparative analysis of these strategies is implemented in the article.

Keywords:theory, metatheory, model, formalization, axiomatization
 

Read the full article …

Citation link:
Arkhiereev N. L. Standard and set-theoretic strategy of formalization of scientific theory // Современная наука: актуальные проблемы теории и практики. Серия: Познание. -2017. -№11-12. -С. 46-50
LEGAL INFORMATION:
Reproduction of materials is permitted only for non-commercial purposes with reference to the original publication. Protected by the laws of the Russian Federation. Any violations of the law are prosecuted.
© ООО "Научные технологии"