[FOM] A compedium... further information

[José Félix Costa]

I woke up this morning with the idea that something was missing in this
discussion about the «compendium of examples of the "power" of deductive
logic?», namely discussions by Nagel or Bunge, e.g., in Philosophy of
Physics (Mario Bunge), D. Reidel.

E.g., in chapter 8 of this book, some axiomatizations are discussed.
Classical gravitation theory is discussed together with its (variant of) 30
axioms. Another example given by Bunge is (electric) circuit theory. Logic
formalization of physical theories is discussed in chapter 7. Formal
translations between physical theories are discussed in chapter 9.


+++++++++++++++++++++++++++++++++++++++++++++++
J. Felix Costa
Departamento de Matematica
Instituto Superior Tecnico
Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL
tel:      351 - 21 - 841 71 45
fax:     351 - 21 - 841 75 98
e-mail:   fgc at math.ist.utl.pt
www:    http://fgc.math.ist.utl.pt/jfc.htm
+++++++++++++++++++++++++++++++++++++++++++++++