What's the differences beetween Axiomatic systems and Formal Systems ? What i think is that an Axiomatic system is simply a less strict version of a Formal System, as the answer to this question says.

And, for example, linear algebra stands on an axiomatic system, instead First Order Logic stands on a formal system.Is it true ?

What do you think ?

  • $\begingroup$ According to a reasonable defintion, an Axiomatic system "is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems." If so, Spinoza's Ethica, ordine geometrico demonstrata is an axiomatic system. It is not a Formal system; compare it with e.g Post canonical system. $\endgroup$ – Mauro ALLEGRANZA Mar 11 '18 at 17:38
  • 4
    $\begingroup$ The biggest difference may just come down to whoever uses the words. There's not any clean mathematical distinction in which the two terms have separate, well-established, broadly recognizable meanings. Instead, authors use various terms ("axiomatic system", "formal system", "theory", "logic", "formal logic", "logical system", ...) to mean a variety of related things. Of course, in philosophy or other areas it might make perfect sense to distinguish the terms somehow, but the way they are distinguished is likely to depend on the author. $\endgroup$ – Carl Mummert Mar 11 '18 at 18:57

Terminology is fluid (as Carl Mummert remarks). But in many/most people's hands, axiomatic vs non-axiomatic and informal vs formal mark orthogonal distinctions.

You can have informal and formal axiomatic systems (Euclid vs first order Peano Arithmetic). You can axiomatic vs non-axiomatic systems, whether fully formal or otherwise (e.g. axiomatic and natural deduction systems of first order logic).

Axiomatization is a matter of how some theoretical apparatus is organised: do we lay down some "starter" propositions, and then some rules for deriving more propositions? Or do we, e.g. regiment just using derivation rules?

Formalization is a matter of how stringent we are in specifying that apparatus -- usual informal mathematical standards of rigour or the sort of specifications we could (in principle) feed to a computer for formal checking?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.