Wyniki wyszukiwania:

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...

This selection of research papers written by Hans Kamp presents the core of his scientific research on natural language semantics and its relation to logic, philosophy and linguistics. Arranged in six sections, the topics range from philosophical reflection on the foundational issues in the ancient Sorites Paradox with a formal account of its solution, to a detailed account of presuppositions in dynamic semantics. Ranking among the philosophers with great and lasting influence on formal semantics, Hans Kamp contributed early foundational research to core theoretical topics like temporal...

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 -...