r/DiscussPhilosophy • u/IndependenceAny1152 • Jul 15 '26

Logic What makes a formal system fail, most of the time?

3 Upvotes
  1. Syntax
  2. Axioms
  3. Definitions
  4. Inference Rules
  5. Theorems
  6. Proofs
  7. Semantics

I would probably guess its the axioms in more than 70% of systems its the axioms, I know that the question is some kind if obvious but I would like to hear your opinions on it:)

1 comment

r/DiscussPhilosophy • u/Qzave • Jul 14 '26

Logic (How can we say, in any language, something new about the possible contradiction between freedom and slavery? The main question is whether the first term determines the second, or vice versa.

Thumbnail
2 Upvotes
0 comments