Tag: classical

Free Logic

Free logic is a formal system that permits terms without existing referents,…

Steven Haynes

First-Degree Entailment (FDE)

FDE is a logical system that allows propositions to be both true…

Steven Haynes

Explosion Principle in Logic

The Explosion Principle, also known as ex falso quodlibet, states that from…

Steven Haynes

Ex Falso Quodlibet: The Principle of Explosion

Ex falso quodlibet, or the principle of explosion, is a logical tenet…

Steven Haynes

The Law of Excluded Middle

The law of excluded middle states that for any proposition, it is…

Steven Haynes

Double Negation Introduction

The principle of double negation introduction states that for any proposition P,…

Steven Haynes

Double Negation Elimination

Double negation elimination is a core principle in classical logic. It states…

Steven Haynes

Double Negation

Double negation is the logical principle where applying negation twice to a…

Steven Haynes

Disjunctive Syllogism

A valid deductive argument form where if a disjunction (P or Q)…

Steven Haynes

Disjunction Property

The disjunction property in intuitionistic logic asserts that if a statement P…

Steven Haynes