notelogic Logic has applications in: Philosophy Linguistics Computer science Math Reviewed induction and recursion.