An axiomatization of Herzberger's 2-dimensional presuppositional semantics

The purpose of this paper* is to axiomatize two 4-valued propositional logics suggested by Herzberger in [l], section VI. They are of philosophical interest because their interpretation makes use of two ideas inspired by Jean Buridan: (1) a proposition may correspond to the world and yet be untrue because it is semantically deviant, and (2) logically valid… CONTINUE READING