The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introducti
Towards Non-Being presents an account of the semantics of intentional language - verbs such as 'believes', 'fears', 'seeks', 'imagines'. Graham Priest's account
Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intel