logic elementary-set-theory philosophy higher-order-logic asked Jul 28, 2012 at 19:32

logic philosophy-of-mathematics formal-theory asked Jul 19, 2012 at 0:37

mathematical-physics spacetime universe discrete asked Jul 25, 2012 at 5:14

logic ontology reality computation asked Mar 13, 2013 at 0:57

logic computer-science model-theory higher-order-logic asked Jul 29, 2012 at 20:08

logic computability asked Aug 29, 2012 at 6:11

ethics utilitarianism asked Jul 27, 2012 at 18:12