domain category
the branch of philosophy that analyzes inference
see also
of a proposition whose truth value is determined by observation or facts
"`all men are arrogant' is a synthetic proposition"
see also
involving reasoning from facts or particulars to general principles or from effects to causes
"a posteriori demonstration"