Arnold Koslow

This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran, Wilfrid Hodges, Laurence Horn, Lloyd Humbertsone, Dale Jacquette, David Makinson, Stephen Read, and Jan Woleński. It is a state-of-the-art source of cutting-edge studies in the new interdisciplinary field of universal logic. The papers touch upon a wide range of topics including combination of logic, non-classical logic, square and other geometrical figures of opposition, categorical logic, set theory, foundation of logic, philosophy and history of logic. This book offers new perspectives and challenges in the study of logic and will be of interest to all students and researchers interested the nature and future of logic.

Carnap in the 1930s discovered that there were non-normal interpretations of classical logic - ones for which negation and conjunction are not truth-functional so that a statement and its negation could have the same truth value, and a disjunction of two false sentences could be true. Church ar-gued that this did not call for a revision of classical logic. More recent writers seem to disa-gree. We provide a definition of "non-normal interpretation" and argue that Church was right, and in fact, the existence of non-normal interpretations tells us something important about the condi-tions of extensionality of the classical logical operators

A description is given of the quantitative-qualitative distinction for terms in theories of measurable attributes, and, adjoined to that account, a suggestion is made concerning the sense in which empirical relational systems have an empirical attribute as their topic or focus. Since this characterization of quantitative terms, relative to a partition, makes no explicit reference to numbers, concatenation operations, or ordering relations, we show how our results are related to some standard theorems in the literature. Analogs of representation and uniqueness theorems are proved, and the notions of exact quantitative term and the underlying attribute of a quantitative term, are described and studied.