Terms in Logic

The following are some commonly used terms in logic:

• completeness
• consequentia mirabilis
• contingency
• contradiction
• counterexample
• dialetheism
• equivalence
• equivalence class
• forces relationship
• formula
• implication
• law of non-contradiction
• law of non-triviality
• law of the excluded middle
• possible worlds
• power set
• proposition
• provability
• satisfiability
• set complement
• set intersection
• set membership
• set union
• soundness
• tautology
• therefore
• trivialism
• validity
• valuation
• variable

(A list of philosophical terms in general is also maintained on this site.)

• Philosophers
• Philosophy Texts