logic - the branch of philosophy that analyzes inference

declaration - a statement that is emphatic and explicit (spoken or written)