Negation on the Australian Plan

Franz Berto, Greg Restall

Research output: Contribution to journalArticlepeer-review

26 Citations (Scopus)
5 Downloads (Pure)


We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan.
Original languageEnglish
JournalJournal of Philosophical Logic
VolumeIn press
Early online date22 Apr 2019
Publication statusE-pub ahead of print - 22 Apr 2019


  • Negation
  • Compatibility semantics
  • Kripke semantics
  • Non-classical logics
  • Many-valued logics
  • Modal logics


Dive into the research topics of 'Negation on the Australian Plan'. Together they form a unique fingerprint.

Cite this