Problema de destouches e as logicas heterodoxas: ensaio sobre o uso de logicas nao-classicas no tratamento de inconsistencia em teorias fisicas (1995)
- Authors:
- Autor USP: SOUZA, EDELCIO GONÇALVES DE - FFLCH
- Unidade: FFLCH
- Sigla do Departamento: FLF
- Subjects: FILOSOFIA; LÓGICA
- Language: Português
- Abstract: E sabido que a teoria do atomo de bohr faz uso de teorias fisicas inconsistentes entre si, a saber: a mecanica classica de newton, eletromagnetismo de maxwell-lorentz, e os postulados de bohr. Utilizando-se uma generalizacao do conceito logico de sistema formal, apresenta-se a teoria do atomo de bohr, com um uso unificado das teorias fisicas envolvidas, evitando-se, no entanto, a trivializacao da mesma. Tal sistema e apresentado como uma heuristica para a unificacao teorica-formal de quaisquer teorias fisicas que satisfacam um certo conjunto de condicoes (problema de destouches)
- Imprenta:
- Data da defesa: 10.11.1995
-
ABNT
SOUZA, Edelcio Goncalves de. Problema de destouches e as logicas heterodoxas: ensaio sobre o uso de logicas nao-classicas no tratamento de inconsistencia em teorias fisicas. 1995. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1995. . Acesso em: 18 abr. 2024. -
APA
Souza, E. G. de. (1995). Problema de destouches e as logicas heterodoxas: ensaio sobre o uso de logicas nao-classicas no tratamento de inconsistencia em teorias fisicas (Tese (Doutorado). Universidade de São Paulo, São Paulo. -
NLM
Souza EG de. Problema de destouches e as logicas heterodoxas: ensaio sobre o uso de logicas nao-classicas no tratamento de inconsistencia em teorias fisicas. 1995 ;[citado 2024 abr. 18 ] -
Vancouver
Souza EG de. Problema de destouches e as logicas heterodoxas: ensaio sobre o uso de logicas nao-classicas no tratamento de inconsistencia em teorias fisicas. 1995 ;[citado 2024 abr. 18 ] - Paraconsistentization and many-valued logics
- Estrutura e logica de teorias fisicas
- Paraconsistentization of logics via category theory
- On a paraconsistentization function
- Paraconsistent Orbits of Logics
- Analiticidade e protocolos interpretativos
- Paraconsistent Orbits of Logics
- Paraconsistent Orbits of Logics
- On extensions of isomorphisms of substructures
- On a paraconsistentization functor in the category of consequence structures
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas