11823logicPT0000-00-00 00:00:00BT10557philosophyPTNT10658deductive logicPTNT11094inductive logicPT