In this 1992 book, Professor Koslow advances an account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple, but insightful way. The study has four parts. In the first two parts the various sources of the general (...) concept of an implication structure and its forms are illustrated and explained. Part 3 defines the various logical operations and systematically explores their properties. A generalized account of extensionality and dual implication is given, and the extensionality of each of the operators, as well as the relation of negation and its dual, are given substantial treatment because of the novel results they yield. Part 4 considers modal operators and studies their interaction with logical operators. By obtaining the usual results without the usual assumptions this new approach allows one to give a very simple account of modal logic minus the excess baggage of possible world semantics. (shrink)
We shall try to defend two non-standard views that run counter to two well-entrenched familiar views. The standard views are the universal and existential quantifiers of first-order logic are not modal operators, and the quantifiers are extensional. If that is correct then the counterclaims create genuine problems for some traditional philosophical doctrines.
. On a structuralist account of logic, the logical operators, as well as modal operators are defined by the specific ways that they interact with respect to implication. As a consequence, the same logical operator (conjunction, negation etc.) can appear to be very different with a variation in the implication relation of a structure. We illustrate this idea by showing that certain operators that are usually regarded as extra-logical concepts (Tarskian algebraic operations on theories, mereological sum, products and negates of (...) individuals, intuitionistic operations on mathematical problems, epistemic operations on certain belief states) are simply the logical operators that are deployed in different implication structures. That makes certain logical notions more omnipresent than one would think. (shrink)
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. (shrink)
The book has two parts: In the first, after a review of some seminal classical accounts of laws and explanations, a new account is proposed for distinguishing between laws and accidental generalizations. Among the new consequences of this proposal it is proved that any explanation of a contingent generalization shows that the generalization is not accidental. The second part involves physical theories, their modality, and their explanatory power. In particular, it is shown that Each theory has a theoretical implication structure (...) associated with it, such that there are new physical modal operators on these structures and also special modal entities that are in these structures. A special subset of the physical modals, the nomic modals are associated with the laws of theories. The familiar idea that theories always explain laws by deduction of them has to be seriously modified in light of the fact that there are a host of physical theories that we believe are schematic. Nevertheless, we think that there is a kind of non-deductive explanation and generality that they achieve by subsumtion under a schema. (shrink)
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. (shrink)
The original motivation of D. Gabbay’s concept of Fibring concerned the combination of logics, and initially it involved the syntactic introduction of modals into formulations of intuitionistic logic in which modals are syntactically absent. We show, using the notion of structural modals that there are many modals of intuitionism, and logics for subjunctive and epistemic conditionals which are not syntactically evident in our best formulations of them. We discuss some cases when the attempt to make them syntactically evident can have (...) undesirable consequences. (shrink)
The initial part of this paper explores and rejects three standard views of how scientific laws might be systematically connected with physical necessity or possibility. The first concerns laws and their consequences, the second concerns the so‐called counterfactual connection, and the third concerns a possible worlds construction of physical necessity. The remaining part introduces a neglected notion of possibility, and, with the aid of some examples, illustrates the special way in which laws reduce or narrow down possibilities.
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. (shrink)