The Power of Language: Philosophy and Society

Time in The Wilderness

In normal modal logic, system K is the minimal (or weakest) system. System K is characterized by the necessitation rule , ⊨ A → ⊨ □A ("...

John McFarlane (2004) asks, "In what sense (if any) is logic normative for thought?" He explains that it is surprisingly difficult...

Classical logic is characterized by such rules as (1) the principle of bivalence  (that a proposition can only be assigned one of two truth ...

Theodore Sider (2009) presents a sequent proof for a "DeMorgan" sequent as follows: ∼(P ∨ Q) ⇒ (∼P ∧ ∼Q): 1. ∼(P ∨ Q) ⇒ ∼(P ∨ Q)  ...