7 resultados para FORMALIZATION
em Scielo Saúde Pública - SP
Resumo:
This article presents a systematic framework for modeling several classes of illness-sickness-disease named as Holopathogenesis. Holopathogenesis is defined as processes of over-determination of diseases and related conditions taken as a whole, comprising selected facets of the complex object Health. First, a conceptual background of Holopathogenesis is presented as a series of significant interfaces (biomolecular-immunological, physiopathological-clinical, epidemiological-ecosocial). Second, propositions derived from Holopathogenesis are introduced in order to allow drawing the disease-illness-sickness complex as a hierarchical network of networks. Third, a formalization of intra- and inter-level correspondences, over-determination processes, effects and links of Holopathogenesis models is proposed. Finally, the Holopathogenesis frame is evaluated as a comprehensive theoretical pathology taken as a preliminary step towards a unified theory of health-disease.
Resumo:
Capsules were prepared from chitosan (QTS)-poly(vinyl alcohol) (PVA) blend by saline coacervation and then by formalization. A adsorbent based on chitosan, insoluble on acid solution, was obtained. The morphology, average diameters of QTS/PVA capsules and their pores were studied by using scanning electron microscopy. The entrapment-adsorption of dimethylglioxime and ethylenediaminetetracetate by the capsules were studied. The removal of the ion nickel (II) and copper (II), was more effective than by using unloaded capsules.
Resumo:
As a discipline, logic is arguably constituted of two main sub-projects: formal theories of argument validity on the basis of a small number of patterns, and theories of how to reduce the multiplicity of arguments in non-logical, informal contexts to the small number of patterns whose validity is systematically studied (i.e. theories of formalization). Regrettably, we now tend to view logic 'proper' exclusively as what falls under the first sub-project, to the neglect of the second, equally important sub-project. In this paper, I discuss two historical theories of argument formalization: Aristotle's syllogistic theory as presented in the "Prior Analytics", and medieval theories of supposition. They both illustrate this two-fold nature of logic, containing in particular illuminating reflections on how to formalize arguments (i.e. the second sub-project). In both cases, the formal methods employed differ from the usual modern technique of translating an argument in ordinary language into a specially designed symbolism, a formal language. The upshot is thus a plea for a broader conceptualization of what it means to formalize.
Resumo:
In this article I intend to show that certain aspects of A.N. Whitehead's philosophy of organism and especially his epochal theory of time, as mainly exposed in his well-known work Process and Reality, can serve in clarify the underlying assumptions that shape nonstandard mathematical theories as such and also as metatheories of quantum mechanics. Concerning the latter issue, I point to an already significant research on nonstandard versions of quantum mechanics; two of these approaches are chosen to be critically presented in relation to the scope of this work. The main point of the paper is that, insofar as we can refer a nonstandard mathematical entity to a kind of axiomatical formalization essentially 'codifying' an underlying mental process indescribable as such by analytic means, we can possibly apply certain principles of Whitehead's metaphysical scheme focused on the key notion of process which is generally conceived as the becoming of actual entities. This is done in the sense of a unifying approach to provide an interpretation of nonstandard mathematical theories as such and also, in their metatheoretical status, as a formalization of the empirical-experimental context of quantum mechanics.
Resumo:
Abstract: In this article we analyze the key concept of Hilbert's axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert's foundation of geometry and the second one at the time of the development of his proof theory. Both conceptions are linked to two different notions of intuition and show how Hilbert's ideas are far from a purely formalist conception of mathematics. The principal thesis of this article is that one of the main problems that Hilbert encountered in his foundational studies consisted in securing a link between formalization and intuition. We will also analyze a related problem, that we will call "Frege's Problem", form the time of the foundation of geometry and investigate the role of the Axiom of Completeness in its solution.
Resumo:
Why foreign saving fail to cause growth. The present paper is a formalization of the critique of the growth with foreign savings strategy. Although medium income countries are capital poor, current account deficits (foreign savings), financed either by loans or by foreign direct investments, will not usually increase the rate of capital accumulation or will have little impact on it in so far as current account deficits will be associated with appreciated exchange rates, artificially increased real wages and salaries and high consumption levels. In consequence, the rate of substitution of foreign savings for domestic savings will be relatively high, and the country will get indebted to consume, not to invest and grow. Only when there are large investment opportunities, stimulated by a sizeable difference between the expected profit rate and the long term interest rate, the marginal propensity to consume will get down enough so that the additional income originated from foreign capital flows will be used for investment rather than for consumption. In this special case, the rate of substitution of foreign for domestic savings tend to be small, and foreign savings will contribute positively to growth.
Resumo:
Many economists show certain nonconformity relative to the excessive mathematical formalization of economics. This stems from dissatisfaction with the old debate about the lack of correspondence between mainstream theoretical models and reality. Although we do not propose to settle this debate here, this article seeks to associate the mismatch of mathematized models with the reality of the adoption of the hypothetical-deductive method as reproduced by general equilibrium. We begin by defining the main benefits of the mathematization of economics. Secondly, we address traditional criticism leveled against it. We then focus on more recent criticism from Gillies (2005) and Bresser-Pereira (2008). Finally, we attempt to associate the reproduction of the hypothetical-deductive method with a metatheoretical process triggered by Debreu's general equilibrium theory. In this respect, we appropriate the ideas of Weintraub (2002), Punzo (1991), and mainly Woo (1986) to support our hypothesis.