Individual #logic.philosophy  the branch of philosophy that analyzes inference
  >part:  modal_logic.logic  inductive_reasoning_system (km)  deductive_reasoning_system (km)  binary_logic (km)  multi-valued_logic (km)  informal_logic (km)  formal_logic (km)
  url:  http://en.wikipedia.org/wiki/Logic
  >part of:  philosophy  the rational investigation of questions about existence and knowledge and ethics

No statement uses or specializes logic.philosophy; click here to add one.