logic public under formal-science 366, philosophy 19 List Picture As a command %3 n0 logic n3 mathematical-logic n0->n3 n1 formal-science n1->n0 n2 philosophy n2->n0