A similarity relation is a reflexive and symmetric binary relation between objects. Similarity is relative: it depends on the set of properties of objects used in determining their similarity or dissimilarity. A multi-modal logical language for reasoning about relative similarities is presented. The modalities correspond semantically to the upper and lower approximations of a set of objects by similarity relations corresponding to all subsets of a given set of properties of objects. A complete deduction system for the language is presented.

This book presents modern logic as the formalization of reasoning that needs and deserves a semantic foundation. Chapters on propositional logic; parsing propositions; and meaning, truth and reference give the reader a basis for establishing criteria that can be used to judge formalizations of ordinary language arguments. Over 120 worked examples illustrate the scope and limitations of modern logic, as analyzed in chapters on identity, quantifiers, descriptive names, and functions. The chapter on second-order logic shows how different conceptions of predicates (...) and propositions do not lead to a common basis for quantification over predicates, as they do for quantification over things. Notable for its clarity of presentation and supplemented by many exercises, this volume will be invaluable for philosophers, linguists, mathematicians, and computer scientists who wish to better understand the tools they use in formal reasoning. (shrink)

It is well known that every propositional logic which satisfies certain very natural conditions can be characterized semantically using a multi-valued matrix ([Los and Suszko, 1958; W´ ojcicki, 1988; Urquhart, 2001]). However, there are many important decidable logics whose characteristic matrices necessarily consist of an infinite number of truth values. In such a case it might be quite difficult to find any of these matrices, or to use one when it is found. Even in case a logic does have a (...) finite characteristic matrix it might be difficult to discover this fact, or to find such a matrix. The deep reason for these difficulties is that in an ordinary multi-valued semantics the rules and axioms of a system should be considered as a whole, and there is no method for separately determining the semantic effects of each rule alone. (shrink)