| Autor: | Edelcio G. de Souza |
|---|---|
| Rok vydání: | 2000 |
| Předmět: |
Philosophy of science
Unification Computational logic Classical logic General Social Sciences Scientific theory Physics::History of Physics Bohr model Philosophy of language Philosophy symbols.namesake TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Philosophy of logic symbols Calculus Mathematics |
| Zdroj: | Synthese. 125:253-262 |
| ISSN: | 0039-7857 |
| DOI: | 10.1023/a:1005254826656 |
| Popis: | We present a kind of logic named multideductive logic and outline an application of it in the problem of theoretic-formal unification of physical theories dealing with the Bohr atom theory. This is just a preliminary study that will be developed in future papers. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink