 category theory |  God, arguments for the existence of: moral arguments |  Hume, David: moral philosophy |  logic: algebraic propositional |  logic: classical |  logic: deontic |  logic: intuitionistic |  logic: many-valued |  logic: modal |  logic: paraconsistent |  logic: temporal |  logical consequence 