Tiny introduction to logic

Henry S. Thompson

HCRC Language Technology Group
School of Informatics
University of Edinburgh

Architecture Domain
World Wide Web Consortium

Extracted from Towards a logical foundation for XML Schema, XML Europe 2004

What is a logic, anyway?

A famous example from Frege

Famous example, cont'd

Famous example, cont'd 2

Famous example, concluded