Topics in Philosophical Logic

Glossary of logic

This is a glossary of logic. Logic is the study of the principles of valid reasoning and argumentation.

Temporal logic

In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am always…

Truth

Truth is most often used to mean being in accord with fact or reality, or fidelity to an original or standard.

Finite-valued logic

In logic, a finite-valued logic (also finitely many-valued logic) is a propositional calculus in which truth values are discrete.