A specific part of formal logic. It is characterized by (1) the non-contradiction of variables and the elimination of double-negative variables, (2) the acknowledging of multiple paths to the same answer, (3) that assumptions can be added and may be used to expand the original argument, and (4) that any logical argument may be freely interchanged with another logical argument as long as all interchanged arguments are true statements.

More On This Topic

Link to This Definition
Did you find this definition of CLASSICAL LOGIC helpful? You can share it by copying the code below and adding it to your blog or web page.
Written and fact checked by The Law Dictionary