DOUGLAS PATTERSON is a Visiting Scholar at the University of Pittsburgh, Pittsburgh, USA. His previous publications include a collection of essays on Alfred Tarski, edited volumes on inconsistency theories of understanding and on whether understanding language is a kind of knowledge. He has also published numerous articles on the philosophy of language and philosophical logic.

• Series Editor's Foreword Introduction Intuitionistic Formalism Tarski as Intuitionistic Formalist Semantics Truth Indefinability and Inconsistency Transitions: 1933-1935 Logical Consequence Conclusion Bibliography Index

DOUGLAS PATTERSON is a Visiting Scholar at the University of Pittsburgh, Pittsburgh, USA. His previous publications include a collection of essays on Alfred Tarski, edited volumes on inconsistency theories of understanding and on whether understanding language is a kind of knowledge. He has also published numerous articles on the philosophy of language and philosophical logic.

• Series Editor's Foreword Introduction Intuitionistic Formalism Tarski as Intuitionistic Formalist Semantics Truth Indefinability and Inconsistency Transitions: 1933-1935 Logical Consequence Conclusion Bibliography Index