n. the branch of logic that studies the syntactic properties of formal theories, especially the syntactic characterization of deductions as valid; this is in direct contrast with model theory, which studies semantic properties.