the branch of philosophy that analyzes inference