11 resultados para Axiomatic formal system

em Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho"


Relevância:

100.00% 100.00%

Publicador:

Resumo:

One of the principal themes of genetic epistemology is the study of the psycho-genetic and historical-critical constitution of knowledge and its necessary structures. A main topic in this area is the relationship between abstract logical-mathematical structures and the epistemological-psychological structures of the epistemic subject. In genetic epistemology, formalizing and axiomatizing epistemological-psychological structures constitute one of the principal methods for showing the correlation between the two types of structures: the formalization of the epistemological-psychological structureresults in an axiomatic formal system which also expresses the abstractlogical-mathematical structure. In this context, it is interesting to note that some epistemological-psychological structures have been resistant to formalization and axiomatization, as in the case of the structure of concrete operational period groupings. Cases like these lead us to ask if there are general methods of formalizing that are consistent with the results and the general basis of genetic epistemology and genetic psychology, especially with regard to the claim that formalizing is a process, not a state, and that such general methods must therefore conform with the possibility of the continuous constitution of epistemological-psychological structures. In this paper we present some reflections, based on the general concepts of genetic epistemology and psychology and on the logical-mathematical structures of digraphs, on proposing a general method of formalization consistent with the results and the general basis of these two areas, including the possibility of the continuous constitution of epistemological-psychological structures.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este texto tem por objetivo ressaltar um aspecto que não tem sido tratado com a devida profundidade na literatura que estuda a formalização da Teoria Geral do Emprego, dos Juros e da Moeda de John Maynard Keynes (1936). Mais precisamente, o texto destaca a estratégia de formalização adotada por David G. Champernowne em seu artigo intitulado Unemployment, Basic and Monetary: the classical analysis and the keynesian, publicado em 1935-36 na Review of Economic Studies. Chamamos a atenção para o fato dele distinguir a teoria clássica da teoria de Keynes não apenas pelos pressupostos adotados por cada teoria, mas principalmente pela construção de subsistemas a partir de um sistema geral, com características recursivas (relações de causalidade) distintas. As explicações em prosa, a descrição algébrica das funções comportamentais e condições de equilíbrio e a ilustração por meio de diagramas, além da escolha de conjuntos específicos de variáveis para representar cada uma das teorias e suas diferentes versões são aspectos deste artigo de Champernowne que merecem uma análise mais minuciosa.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este artigo deriva de uma pesquisa mais ampla sobre a educação em astronomia e a formação de professores, e apresenta um panorama geral sobre o tema em âmbito nacional. Procuramos gerar uma classificação das instituições e outras iniciativas brasileiras dedicadas à astronomia, levando em conta os seus objetivos, tais como o ensino formal, informal, não-formal, bem como aqueles destinados à popularização dessa ciência. Comenta-se, em forma de um breve ensaio, a importância da atuação contextualizada destas instâncias no ensino da astronomia, levantando um desafio ainda a ser considerado, referente ao estudo das possíveis relações entre estes estabelecimentos e iniciativas, visando o avanço da educação em astronomia, em um movimento contrário à dispersão e pulverização de atividades locais e pontuais dos mesmos. Argumentamos que a pesquisa em ensino de astronomia tem potencial para exercer este papel integrador.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Glasses having the composition (100 - x)As2P2S8-xGa(2)S(3) with x ranging from 0 to 50% were investigated to determine the compositional effect on properties and local structure. The glass transition temperature (T-g) and the stability parameter against crystallization (T-x - T-g) increased with the addition of Ga2S3. The structure of these glasses was probed by Raman scattering, Fourier transform infrared (FT-IR) and P-31 nuclear magnetic resonance. on the basis of the observed vibrations and the strength of the P-31-P-31 homonuclear magnetic dipolar coupling, two scenarios can be proposed for the structural evolution induced by the addition of Ga2S3. For x <= 20% we may have the formation of GaS4E- groups (E = nonbonding electron), and for x >= 30% we have depolymerization of the As2P2S8 units and the formation of a network of GaPS4 units with each PS4/2 unit (Q(4)) species carrying a single positive formal charge.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A time-dependent projection technique is used to treat the initial-value problem for self-interacting fermionic fields. On the basis of the general dynamics of the fields, we derive formal equations of kinetic-type for the set of one-body dynamical variables. A nonperturbative mean-field expansion can be written for these equations. We treat this expansion in lowest order, which corresponds to the Gaussian mean-field approximation, for a uniform system described by the chiral Gross-Neveu Hamiltonian. Standard stationary features of the model, such as dynamical mass generation due to chiral symmetry breaking and a phenomenon analogous to dimensional transmutation, are reobtained in this context. The mean-field time evolution of nonequilibrium initial states is discussed.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Pós-graduação em Educação Matemática - IGCE

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this paper I discuss Husserl's solution of the problem of imaginary elements in mathematics as presented in the drafts for two lectures he gave in Göttingen in 1901 and other related texts of the same period, a problem that had occupied Husserl since the beginning of 1890, when he was planning a never published sequel to Philosophie der Arithmetik (1891). In order to solve the problem of imaginary entities Husserl introduced, independently of Hilbert, two notions of completeness (definiteness in Husserl's terminology) for a formal axiomatic system. I present and discuss these notions here, establishing also parallels between Husserl's and Hilbert's notions of completeness. © 2000 Kluwer Academic Publishers.