This book offers an introduction to the language of law from the perspective of logical semantics. As a logical tool, Boguslaw Wolniewicz's formal ontology of situations is adapted. The central issue addressed is the meaning of normative statements, primarily legal norms. The main outcome of the book consists in explications of several legal notions (including legal events, legal acts and legal rules) in terms of the formal ontology of situations. In addition, the book concludes that legal norms are sentences in a logical sense, so some are true, while others are false, and that their logical value does not depend on whether or not they were adopted in the law-making process. Lastly, the book contends that there are semantic relations between orders that are similar to entailment, contradiction, opposition, and sub-opposition, despite the fact that orders are not sentences in a logical sense, i.e., they are neither true nor false.The book alsopresents some original Wittgenstein-style deontic logics built on the first order logic. The formal results are applied to selected problems in the theory of law, including the problem of the possibility of algorithmic application of legal norms.