Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and model theory. The section on algebra is presented with an emphasis on lattices as well as Boolean and Heyting algebras. Background for recent research in natural language semantics includes sections on lambda-abstraction...

On Conditionals provides the first major cross-disciplinary account of conditional (if-then) constructions. Conditional sentences directly reflect the language user's ability to reason about alternatives, uncertainties, and unrealised contingencies. An understanding of the conceptual and behavioural organisation involved in the construction and interpretation of these kinds of sentences therefore provides fundamental insights into the inferential strategies and the cognitive and linguistic processes of human beings. The present volume brings together studies from several perspectives -...