The quantified relevant logic RQ is given a new semantics in which a formula for all xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are modelled as functions from variable-assignments to propositions, where a proposition is a set of worlds in a relevant model structure. A completeness proof is given for a basic quantificational system QR from which RQ is obtained by adding the axiom EC of 'extensional confinement': (...) for all x(A V B) -> (A V for all xB). with x not free in A. Validity of EC requires an additional model condition involving the boolean difference of propositions. A QR-model falsifying EC is constructed by forming the disjoint union of two natural arithmetical structures in which negation is interpreted by the minus operation. (shrink)

In part I, we presented an algebraic-style of semantics, which we called “content semantics,” for quantified relevant logics based on the weak systemBBQ. We showed soundness and completeness with respect to theunreduced semantics ofBBQ. In part II, we proceed to show soundness and completeness for extensions ofBBQ with respect to this type of semantics. We introducereduced semantics which requires additional postulates for primeness and saturation. We then conclude by showing soundness and completeness forBB d Q and its extentions (...) with respect to this reduced semantics. (shrink)

We present an algebraic-style of semantics, which we call a content semantics, for quantified relevant logics based on the weak system BBQ. We show soundness and completeness for all quantificational logics extending BBQ and also treat reduced modelling for all systems containing BB d Q. The key idea of content semantics is that true entailments AB are represented under interpretation I as content containments, i.e. I(A)I(B) (or, the content of A contains that of B). This is opposed to (...) the truth-functional way which represents true entailments as truth-preservations over all set-ups (or worlds), i.e. (VaK) (if I(A, a) = T then I(B, a)= T). (shrink)

The Mares-Goldblatt semantics for quantified relevant logics have been developed for first-order extensions of R, and a range of other relevant logics and modal extensions thereof. All such work has taken place in the the ternary relation semantic framework, most famously developed by Sylvan and Meyer. In this paper, the Mares-Goldblatt technique for the interpretation of quantifiers is adapted to the more general neighbourhood semantic framework, developed by Sylvan, Meyer, and, more recently, Goble. This more algebraic semantics (...) allows one to characterise a still wider range of logics, and provides the grist for some new results. To showcase this, we show, using some non-augmented models, that some quantified relevant logics are not conservatively extended by connectives the addition of which do conservatively extend the associated propositional logics, namely fusion and the dual implication. We close by proposing some further uses to which the neighbourhood Mares-Goldblatt semantics may be put. (shrink)

In the early seventies, several logicians developed a semantics for propositional systems of relevance logic. The essential ingredients of this semantics were a privileged point o, an ‘accessibility’ relation R and a special operator * for evaluating negation. Under the truth- conditions of the semantics, each formula A(Pl,…,Pn) could be seen as expressing a first order condition A+(pl,…,pn, o, R,*) on sets p1,…,pn and o, R, *, while each formula-scheme could be regarded as expressing the second-order condition ∀p1,…,∀pn A+(p1,…,pn, (...) o, R, *). It could then be shown that many standard systems of propositional relevance logic were complete in the sense that their theorems were just those formulas true in all models whose components o, R and * conformed to the second-order conditions expressed by the axioms of the system. (shrink)

The Routley-Meyer relational semantics for relevant logics is extended to give a sound and complete model theory for many propositionally quantified relevant logics (and some non-relevant ones). This involves a restriction on which sets of worlds are admissible as propositions, and an interpretation of propositional quantification that makes ∀ pA true when there is some true admissible proposition that entails all p -instantiations of A . It is also shown that without the admissibility qualification many of (...) the systems considered are semantically incomplete, including all those that are sub-logics of the quantified version of Anderson and Belnap’s system E of entailment, extended by the mingle axiom and the Ackermann constant t . The incompleteness proof involves an algebraic semantics based on atomless complete Boolean algebras. (shrink)

Mares and Goldblatt, 163–187, 2006) provided an alternative frame semantics for two quantified extensions of the relevant logic R. In this paper, I show how to extend the Mares-Goldblatt frames to accommodate identity. Simpler frames are provided for two zero-order logics en route to the full logic in order to clarify what is needed for identity and substitution, as opposed to quantification. I close with a comparison of this work with the Fine-Mares models for relevant (...) logics with identity and a discussion of constant and variable domains. (shrink)

Here, I combine the semantics of Mares and Goldblatt [20] and Seki [29, 30] to develop a semantics for quantified modal relevant logics extending ${\bf B}$. The combination requires demonstrating that the Mares–Goldblatt approach is apt for quantified extensions of ${\bf B}$ and other relevant logics, but no significant bridging principles are needed. The result is a single semantic approach for quantified modal relevant logics. Within this framework, I discuss the requirements a quantified (...) modal relevant logic must satisfy to be “sufficiently classical” in its modal fragment, where frame conditions are given that work for positive fragments of logics. The roles of the Barcan formula and its converse are also investigated. (shrink)

A typical approach to semantics for relevance (and other) logics: specify a class of algebraic structures and take amodelto be one of these structures, α, together with some function or relation which associates with every formulaAa subset ofα. (This is the approach of, among others, Urquhart, Routley and Meyer and Fine.) In some cases there are restrictions on the class of subsets of α with which a formula can be associated: for example, in the semantics of Routley and Meyer [1973], (...) a formula can only be associated with subsets which are closed upwards. It is natural to take apropositionof α to be such a subset of α, and, further, to take the propositional quantifiers to range over these propositions. (Routley and Meyer [1973] explicitly consider this interpretation.) Given such an algebraic semantics, we call (following Routley and Meyer [1973], who follow Henkin [1950]) the above-described interpretation of the quantifiers theprimaryinterpretation associated with the semantics. (shrink)

A system FDQ of first degree entailment with quantification, extending classical quantification logic Q by an entailment connective, is axiomatised, and the choice of axioms defended and also, from another viewpoint, criticised. The system proves to be the equivalent to the first degree part of the quantified entailmental system EQ studied by Anderson and Belnap; accordingly the semantics furnished are alternative to those provided for the first degree of EQ by Belnap. A worlds semantics for FDQ is presented, (...) and the soundness and completeness of FDQ proved, the main work of the paper going into the proof of completeness. The adequacy result is applied to yield, as well as the usual corollaries, weak relevance of FDQ and the fact that FDQ is the common first degree of a wide variety of (constant domain) quantified relevant logics. Finally much unfinished business at the first degree is discussed. (shrink)

his paper provides a sound and complete axiomatisation for constant domain modal logics without Boolean negation. This is a simpler case of the difficult problem of providing a sound and complete axiomatisation for constant-domain quantified relevant logics, which can be seen as a kind of modal logic with a two-place modal operator, the relevant conditional. The completeness proof is adapted from a proof for classical modal predicate logic (I follow James Garson’s 1984 presentation of the (...) completeness proof quite closely), but with an important twist, to do with the absence of Boolean negation. (shrink)

Propositional modal logic over relational frames is naturally extended with propositional quantifiers by letting them range over arbitrary sets of worlds of the relevant frame. This is also known as second-order propositional modal logic. The propositionally quantified modal logic of a class of relational frames is often not axiomatizable, although there are known exceptions, most notably the case of frames validating the strong modal logic$\mathrm {S5}$. Here, we develop new general methods with which many (...) of the open questions in this area can be answered. We illustrate the usefulness of these methods by applying them to a range of examples, which provide a detailed picture of which normal modal logics define classes of relational frames whose propositionally quantified modal logic is axiomatizable. We also apply these methods to establish new results in the multimodal case. (shrink)

Logical omniscience states that the knowledge set of ordinary rational agents is closed for its logical consequences. Although epistemic logicians in general judge this principle unrealistic, there is no consensus on how it should be restrained. The challenge is conceptual: we must find adequate criteria for separating obvious logical consequences from non-obvious ones. Non-classical game-theoretic semantics has been employed in this discussion with relative success. On the one hand, with urn semantics [15], an expressive fragment of classical game semantics that (...) weakens the dependence relations between quantifiers occurring in a formula, we can formalize, for a broad array of examples, epistemic scenarios in which an individual ignores the validity of some first-order sentence. On the other hand, urn semantics offers a disproportionate restriction of logical omniscience. Therefore, an improvement of this system is needed to obtain a better solution of the problem. In this paper, I argue that our linguistic competence in using quantifiers requires a sort of basic hypothetical logical knowledge that can be formulated as follows: when inquiring after the truth-value of ∀xφ, an individual might be unaware of all substitutional instances this sentence accepts, but at least she must know that, if an element a is given, then ∀xφ holds only if φ is true. This thesis accepts game-theoretic formalization in terms of a refinement of urn semantics. I maintain that the system so obtained affords an improved solution of the logical omniscience problem. To do this, I characterize first-order theoremhood in US+. As a consequence of this result, we will see that the ideal reasoner depicted by US+ only knows the validity of first-order formulas whose Herbrand witnesses can be trivially found, a fact that provides strong evidence that our refinement of urn semantics captures a relevant sense of logical obviousness. (shrink)

Models are constructed for a variety of systems of quantified relevance logic with identity. Models are given for systems with different principles governing the transitivity of identity and substitution, and the relative merits of these principles are discussed. The models in this paper are all extensions of the semantics of Fine's Semantics for Quantified Relevance Logic (Journal of Philosophical Logic 17 (1988)).

Here I show that the one-variable fragment of several first-order relevant logics corresponds to certain S5ish extensions of the underlying propositional relevant logic. In particular, given a fairly standard translation between modal and one-variable languages and a permuting propositional relevant logic L, a formula $$\mathcal {A}$$ A of the one-variable fragment is a theorem of LQ (QL) iff its translation is a theorem of L5 (L.5). The proof is model-theoretic. In one direction, semantics based on (...) the Mares-Goldblatt [15] semantics for quantified L are transformed into ternary (plus two binary) relational semantics for S5-like extensions of L (for a general presentation, see Seki [26, 27]). In the other direction, a valuation is given for the full first-order relevant logic based on L into a model for a suitable S5 extension of L. I also discuss this work’s relation to finding a complete axiomatization of the constant domain, non-general frame ternary relational semantics for which RQ is incomplete [11]. (shrink)

This paper sets out a philosophical interpretation of the model theory of Mares and Goldblatt (The Journal of Symbolic Logic 71, 2006). This interpretation distinguishes between truth conditions and information conditions. Whereas the usual Tarskian truth condition holds for universally quantified statements, their information condition is quite different. The information condition utilizes general propositions . The present paper gives a philosophical explanation of general propositions and argues that these are needed to give an adequate theory of general information.

In "An Alternative Semantics for Quantified Relevant Logic" (JSL 71 (2006)) we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complete semantics to the quantified extensions, both with and without the Barcan formula, of every proposi- tional modal logic S. If S is canonical our models are based on propositional frames that validate S. (...) We employ frames in which not every set of worlds is an admissible proposition, and an alternative interpretation of the uni- versal quantifier using greatest lower bounds in the lattice of admissible propositions. Our models have a fixed domain of individuals, even in the absence of the Barcan formula. For systems with the Barcan formula it is possible to preserve the usual Tarskian reading of the quantifier, at the expensive of sometimes losing va- lidity of S in the underlying propositional frames. We apply our results to a number of logics, including S4.2, S4M and KW, whose quantified extensions are incomplete for the standard semantics. (shrink)

Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general 'admissible semantics', using models in which there is a restriction on which sets of worlds count as propositions. This requires a new interpretation of quantifiers that takes into account the admissibility of propositions. The author sheds new light on the celebrated Barcan Formula, whose role becomes that of legitimising the Kripkean (...) interpretation of quantification. The theory is worked out for systems with quantifiers ranging over actual objects, and over all possibilia, and for logics with existence and identity predicates and definite descriptions. The final chapter develops a new admissible 'cover semantics' for propositional and quantified relevant logic, adapting ideas from the Kripke-Joyal semantics for intuitionistic logic in topos theory. This book is for mathematical or philosophical logicians, computer scientists and linguists. (shrink)

Under a proper translation, the languages of propositional (and quantified relevant logic) with an absurdity constant are characterized as the fragments of first order logic preserved under (world-object) relevant directed bisimulations. Furthermore, the properties of pointed models axiomatizable by sets of propositional relevant formulas have a purely algebraic characterization. Finally, a form of the interpolation property holds for the relevant fragment of first order logic.

R. K. Meyer once gave precise form to the question of whether relevant implication can be defined in any modal system, and his answer was `no'. In the present paper, we extend S4, first with propositional quantifiers, to the system S4π+; and then with definite propositional descriptions, to the system S4π+ lp . We show that relevant implication can in some sense be defined in the modal system S4π+ lp , although it cannot be defined in S4π+.

R. K. Meyer once gave precise form to the question of whether relevant implication can be defined in any modal system, and his answer was `no'. In the present paper, we extend $\mathbf{S4}$, first with propositional quantifiers, to the system $\mathbf{S4\pi}+$; and then with definite propositional descriptions, to the system $\mathbf{S4\pi}+^{lp}$. We show that relevant implication can in some sense be defined in the modal system $\mathbf{S4\pi}+^{lp}$, although it cannot be defined in $\mathbf{S4\pi}+$.

Sedlár and Vigiani [18] have developed an approach to propositional epistemic logics wherein (i) an agent’s beliefs are closed under relevant implication and (ii) the agent is located in a classical possible world (i.e., the non-modal fragment is classical). Here I construct first-order extensions of these logics using the non-Tarskian interpretation of the quantifiers introduced by Mares and Goldblatt [12], and later extended to quantified modal relevant logics by Ferenz [6]. Modular soundness and completeness are proved for (...) constant domain semantics, using non-general frames with Mares–Goldblatt truth conditions. I further detail the relation between the demand that classical possible worlds have Tarskian truth conditions and incompleteness results in quantified relevant logics. (shrink)

Elimination of quantifiers is shown to fail dramatically for a group of well‐known mathematical theories (classically enjoying the property) against a wide range of relevant logical backgrounds. Furthermore, it is suggested that only by moving to more extensional underlying logics can we get the property back.

Once the Kripke semantics for normal modal logics were introduced, a whole family of modal logics other than the Lewis systems S1 to S5 were discovered. These logics were obtained by changing the semantics in natural ways. The same can be said of the Kripke-style semantics for relevant logics: a whole range of logics other than the standard systems R, E and T were unearthed once a semantics was given (cf. Priest and Sylvan [6], Restall [7], and Routley et (...) al. [8]). In a similar way, weakening the structural rules of the Gentzen formulation of classical logic gives rise to other ‘substructural’ logics such as linear logic (as in Girard [4]). This process of ‘strategic weakening’ is becoming popular today, with the discovery of applications of these logics to areas such as linguistics and the theory of computation (cf. van Benthem [1]). Until now no-one has (to my knowledge) examined what the process of weakening does to the Kripke-style semantics of intuitionistic logic. This paper remedies the deficiency, introducing the family of subintuitionistic logics. These systems have some appealing features. Unlike other substructural logics such as linear logic (which lack distribution of extensional disjunction over conjunction) they have a very natural Kripke-style worlds semantics. Also, the difficulties with regard to modelling quantification in these systems may be able to shed some light on the difficulties in naturally modelling quantification in relevant logics, as it must be admitted that the semantics currently available for quantified relevant logics are rather baroque (cf. Fine [3]). But most importantly, delving in the undergrowth of logics such as intuitionistic logic gives us a ‘feel’ for how such systems are put together, and what job is being done by each aspect of the modelling conditions in.. (shrink)

In discussing propositional quantifiers we have considered two kinds of variables: variables occupying the argument places of connectives, and variables occupying the argument places of predicates.We began with languages which contained the first kind of variable, i.e., variables taking sentences as substituends. Our first point was that there appear to be no sentences in English that serve as adequate readings of formulas containing propositional quantifiers. Then we showed how a certain natural and illuminating extension of English by prosentences did provide (...) perspicuous readings. The point of introducing prosentences was to provide a way of making clear the grammar of propositional variables: propositional variables have a prosentential character — not a pronominal character. Given this information we were able to show, on the assumption that the grammar of propositional variables in philosopher's English should be determined by their grammar in formal languages (unless a separate account of their grammar is provided), that propositional variables can be used in a grammatically and philosophically acceptable way in philosophers' English. According to our criteria of well-formedness Carnap's semantic definition of truth does not lack an ‘essential’ predicate - despite arguments to the contrary. It also followed from our account of the prosentential character of bound propositional variables that in explaining propositional quantification, sentences should not be construed as names.One matter we have not discussed is whether such quantification should be called ‘propositional’, ‘sentential’, or something else. As our variables do not range over (they are not terms) either propositions, or sentences, each name is inappropriate, given the usual picture of quantification. But we think the relevant question in this context is, are we obtaining generality with respect to propositions, sentences, or something else?Because people have argued that all bound variables must have a pronominal character, we presented and discussed in the third section languages in which the variables take propositional terms as substituends. In our case we included names of propositions, that-clauses, and names of sentences in the set of propositional terms. We made a few comparisons with the languages discussed in the second section. We showed among other things how a truth predicate could be used to obtain generality. In contrast, the languages of the second section, using propositional variables, obtain generality without the use of a truth predicate. (shrink)

Some fifteen years ago, research on generalized quantifiers was con sidered to be a branch of mathematical logic, mainly carried out by mathematicians. Since then an increasing number of linguists and philosophers have become interested in exploring the relevance of general quantifiers for natural language as shown by the bibliography compiled for this volume. To a large extent, the new research has been inspired by Jon Barwise and Robin Cooper's path-breaking article "Generalized Quantifiers and Natural Language" from 1981. A (...) concrete sign of this development was the workshop on this topic at Lund University, May 9-11, 1985, which was organized by Robin Cooper, Elisabet Engdahl, and the present editor. All except two of the papers in this volume derive from that workshop. Jon Barwise's paper in the volume is different from the one he presented in connection with the workshop. Mats Rooth's contribution has been added because of its close relationship with the rest of the papers. The articles have been revised for publication here and the authors have commented on each other's contributions in order to integrate the collection. The organizers of the workshop gratefully acknowledge support from the Department of Linguistics, the Department of Philosophy and the Faculty of Humanities at Lund University, the Royal Swedish Academy of Sciences (through the Wallenberg Foundation), the Swedish Institute, and the Letterstedt Foundation. (shrink)

This paper reformulates and decides a certain conjecture in Dunn's 'Relevant Predication 1: The Formal Theory' (Journal of Philosophical Logic 16, 347-381, 1987). This conjecture of Dunn's relates his object-language characterisation of a property's being relevant in a variable x to certain grammatical characterisations of relevance, analogous to some given by Helman, in 'Relevant Implication and Relevant Functions' (to appear in Entailment: The Logic of Relevance and Necessity, vol. 2, by Alan Ross Anderson, Nuel (...) Belnap, and J. Michael Dunn et al.) In the course of the investigation this paper also investigates Kit Fine's semantics for quantified relevance logics, which appears in his appropriately titled 'Semantics for Quantified Relevance Logics'. (shrink)

The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, (...) formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert’s program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights. Key Features - Written by leading logicians and philosophers - Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic - Clear, in-depth expositions of technical detail - Progressive organization from general considerations to informal to symbolic logic to nonclassical logics - Presents current work in symbolic logic within a unified framework - Accessible to students, engaging for experts and professionals - Insightful philosophical discussions of all aspects of logic -Useful bibliographies in every chapter - Written by leading logicians and philosophers - Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic - Clear, in-depth expositions of technical detail - Progressive organization from general considerations to informal to symbolic logic to nonclassical logics - Presents current work in symbolic logic within a unified framework - Accessible to students, engaging for experts and professionals - Insightful philosophical discussions of all aspects of logic - Useful bibliographies in every chapter. (shrink)

We here examine the expressive power of first order logic with generalized quantifiers over finite ordered structures. In particular, we address the following problem: Given a family Q of generalized quantifiers expressing a complexity class C, what is the expressive power of first order logic FO(Q) extended by the quantifiers in Q? From previously studied examples, one would expect that FO(Q) captures L C , i.e., logarithmic space relativized to an oracle in C. We show that this is (...) not always true. However, after studying the problem from a general point of view, we derive sufficient conditions on C such that FO(Q) captures L C . These conditions are fulfilled by a large number of relevant complexity classes, in particular, for example, by NP. As an application of this result, it follows that first order logic extended by Henkin quantifiers captures L NP . This answers a question raised by Blass and Gurevich [Ann. Pure Appl. Logic, vol. 32, 1986]. Furthermore we show that for many families Q of generalized quantifiers (including the family of Henkin quantifiers), each FO(Q)-formula can be replaced by an equivalent FO(Q)-formula with only two occurrences of generalized quantifiers. This generalizes and extends an earlier normal-form result by I. A. Stewart [Fundamenta Inform. vol. 18, 1993]. (shrink)

In 1988, Kit Fine published a semantic theory for quantified relevant logics. He referred to this theory as stratified semantics. While it has received some attention in the literature, 1–20, 1992; Mares & Goldblatt, Journal of Symbolic Logic 71, 163–187, 2006), stratified semantics has overall received much less attention than it deserves. There are two plausible reasons for this. First, the only two dedicated treatments of stratified semantics available are, 27–59, 1988; Mares, Studia Logica 51, 1–20, 1992), (...) both of which are quite dense and technically challenging. Second, there are a number of prima facie reasons to be worried about stratified semantics. The purpose of this paper is to revitalize research on stratified semantics. I will do so by giving a ‘user friendly’ presentation of the semantics, and by giving reasons to think that the prima facie reasons to be worried about it are too simplistic. (shrink)

"Philosophical logic" describes two distinct areas: the investigation of the fundamental concepts of logic, the formal investigation of alternatives and extensions to classical logic. The first is a philosophical discipline, concerned with notions like truth, propositions, necessity, logical consequence, vagueness, and reasoning. The second is a technical discipline, devoted to developing formal logical systems-modal logics, second-order logics, intuitionistic logics, relevance logics, logics of vagueness and conditionals-and proving things about them. Most texts in philosophical logic focus on (...) one of these areas, but in this book John MacFarlane treats them together in an integrated way, showing how philosophical considerations motivate the technical projects, and how the constraints revealed by the technical projects illuminate the philosophical issues. Topics covered include quantifiers, modal logic, indicative conditionals, model-theoretic and proof-theoretic characterizations of logical consequence, intuitionistic logic, fundamental logical disagreement, relevance logic, the relation of logic and reasoning, and vagueness. Each chapter is organized around suggested readings and includes exercises. Key Features: An integrated treatment of the technical and philosophical issues comprising philosophical logic Written by a leading authority on logicism and logical form and a successful expositor and teacher Designed to serve students taking only one course in logic beyond the introductory level Provides tools and concepts necessary to understand work in many areas of analytic philosophy Includes exercises, suggested readings, and suggestions for further exploration in each chapter. (shrink)

It is known that propositional relevant logics can be conservatively extended by the addition of a Heyting (intuitionistic) implication connective. We show that this same conservativity holds for a range of first-order relevant logics with strong identity axioms, using an adaptation of Fine’s stratified model theory. For systems without identity, the question of conservatively adding Heyting implication is thereby reduced to the question of conservatively adding the axioms for identity. Some results in this direction are also obtained. The (...) conservative presence of Heyting implication allows the development of an alternative model theory for quantified relevant logics. (shrink)

Since the time, about a century ago, when DeMorgan, Boole and Jevons, inaugurated the study of the logic of numerically definite reasoning, no one has been concerned to establish the validity rules for a very general type of numerically definite inference which is a strong analogue of the classical syllogism. The reader will readily agree that the traditional rules of syllogistic inference cannot even begin to decide whether the following proportionally quantified syllogism is a valid argument: at most (...) 4/7 p are at most 2/3 not-m and at least 3/5 s are precisely 7/8 m, hence, at most 1/3 s are p. Likely reasons, of broad methodological interest, why this readily definable type of formal inference has been neglected will presently be proposed. Among the masters of twentieth century logic, Hilbert and Bernays have, to be sure, meticulously shown how such numerically definite propositions as “at least 7 individuals have the property p” can be expressed in the predicate calculus with the use of the identity relation. They do not, since their concern with such propositions is indirect, proceed to establish a systematic calculus of classes whose “size” or extent is numerically definite. As we shall always notice, traditional logic and even ordinary Boolean algebra prefer to generalize about the laws governing the interrelationship of classes in inference systems without making any hypotheses concerning class “size” or extent except by the classical quantifier “some”, which quantifier admits the measure or extent of a class only in terms of the proposition that a given class contains or does not contain at least one member. Such a restricted admission of the relevance for inference of class size is among the fundamental reasons for the neglect of proportional quantifiers, i.e., quantifiers where numerical value is any rational number r such that 0/100 ≤ r ≤ 100/100. It can, of course, also be pointed out that the traditional syllogism and ordinary Boolean algebra do not i.e. measure, numerically define, the degree of inclusion of one class in another. Inclusion is taken either as total or partial, with no discrimination of the degree of partial inclusion. (shrink)

Aristotle's syllogistic is extended to include denumerably many quantifiers such as 'more than 2/3' and 'exactly 2/3.' Syntactic and semantic decision procedures determine the validity, or invalidity, of syllogisms with any finite number of premises. One of the syntactic procedures uses a natural deduction account of deducibility, which is sound and complete. The semantics for the system is non-classical since sentences may be assigned a value other than true or false. Results about symmetric systems are given. And reasons are given (...) for claiming that syllogistic validity is relevant validity. (shrink)

Originally published in 1966. Professor Rescher's aim is to develop a "logic of commands" in exactly the same general way which standard logic has already developed a "logic of truth-functional statement compounds" or a "logic of quantifiers". The object is to present a tolerably accurate and precise account of the logically relevant facets of a command, to study the nature of "inference" in reasonings involving commands, and above all to establish a viable concept of validity (...) in command inference, so that the logical relationships among commands can be studied with something of the rigour to which one is accustomed in other branches of logic. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the (...) imagined non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

This book concerns the philosophical analysis of modal sentences. David Lewis' Modal Translation Scheme 'translates' sentences of quantified modal logic into sentences of predicate logic supplemented by counterpart theory. A number of theoretical advantages are thereby secured. One component of the translation scheme makes reference to non-actual but possible worlds i.e. the primitive predicate "at a world(s), w". The author addresses the problem of advanced modal sentences which threaten this predicate and so the ability of genuine realism (...) to secure the aforementioned theoretical benefits. The problem of advanced modal sentences is a relatively new field of philosophical research. This ground-breaking book will primarily be of interest to researchers in modality, particularly those working in this field. (shrink)

In his book Knowledge and Belief, Jaakko Hintikka uses a model-theoretic approach of modal semantics as a theoretical basis for investigating the principles of epistemic logic. I shall first summarize the main points of Hintikka’s classic work and then address the most disputed themes raised by it in the 60s and later, such as logical omniscience and the KK-thesis, as well as Hintikka’s modifying his views on the basis of criticism. The last part of the book treats quantified (...) epistemic logic, particularly quantifying into “intensional” or “referentially opaque” epistemic contexts defended against Quine’s objections. I deal with this topic in Sect. 17.3 and add some relevant comparisons with John Buridan’s medieval approach in Sect. 17.4. A survey of Hintikka’s later theory of modelling knowledge acquisition is presented in Sect. 17.5; this includes the semantics of questions and inquiry in terms of game-theoretical semantics and their application to the logic of epistemology and scientific reasoning in the interrogative model of inquiry. Combining these results with the theory of independence friendly logic provides, Hintikka argues, a promising improvement of general epistemology which he calls a second-generation epistemic logic. The subject of the last section is “knowing who” in the sense of a basic epistemic attitude associated with identification which is the key notion in Hintikka’s epistemic theory of questions and answers, reference, and quantification. A central issue in this context is Hintikka’s discovery of the duality of cross-identification methods, the public or descriptive and the perspective ones. (shrink)

n this paper, a non-classical axiomatic system was introduced to classify all moods of Aristotelian syllogisms, in addition to the axiom "Every a is an a" and the bilateral rules of obversion of E and O propositions. This system consists of only 2 definitions, 2 axioms, 1 rule of a premise, and moods of Barbara and Datisi. By adding first-degree propositional negation to this system, we prove that the square of opposition holds without using many of the other rules of (...) classical logic (including double negation elimination). We then show that the Propositional Substructural Logic SLe is the best logic to study Aristotelian Syllogisms. Also, based on the IFLe square of opposition, the rules of conversation and the rules of negation are completely proved in Muzaffar's logic. For this purpose, we used the monadic first-order logic with the same standard deductive apparatus of quantifiers in classical logic, plus the axioms of "some a is an a" and "some not-a is a not-a". Finally, to show that there is no existential commitment to general terms in categorical logic, the Strong Four-Valued Relevant-classical Logic KR4 was used. With the same existential interpretation of the quantifiers and the standard translation of the quarter quantified. (shrink)

This paper is partly inspired by a well-known debate between Ruth Barcan Marcus, Terence Parsons and W. V. 0. Quine in the sixties> concerning the extent to which Quantified Modal Logic is committed to Essentialism; the issue nevertheless goes back to the origins of "analytic philosophy'', to the reflections of Frege, Russell, and the earlier Wittgenstein on the nature of logic. By elaborating on a suggestion by Quine, we purport to show that there is a relevant (...) and interesting way to look at the ontological commitments of logical systems such that they are stronger than they are usually taken to be. (shrink)

Fundamental problems of the uses of formal techniques and of natural and instrumental practices have been raised again and again these past two decades, in many quarters and from varying viewpoints. We have brought a number of quite basic studies of these issues together in this volume, not linked con ceptually nor by any rigorously defined problematic, but rather simply some of the most interesting and even provocative of recent research accomplish ments. Most of these papers are derived from the (...) Boston Colloquium for the Philosophy of Science during 1973-80, the two exceptions being those of Karel Berka (on scales of measurement) and A. A. Zinov'ev (on a non-tradi tional theory of quantifiers). Just how intriguing these results (or conjectures?) seem to us may be seen from some brief quotations: (1) Judson Webb: ".... the abstract machine concept has many of the appropriate kinds of properties for modelling living, reproducing, rule following, self-reflecting, accident-prone, and lucky creatures... the a priori logical results relevant to the abstract machine concept, above all Godel's, could not conceivably have turned out any better for the mechanist. " (2) M. L. Dalla Chiara: "... modal interpretation (of quantum logic) shows clearly that it possesses a logical meaning which is quite independent of quantum mechanics. " (3) Isaac Levi: (as against Peirce and Popper) "... infallibilism is con sistent with corrigibilism, and a view which respects avoidance of error is an important desideratum for science. (shrink)

Let us assume that you are entrusted by UNESCO with an important task. You are asked to devise a universal logical language, a Begriffsschrift in Frege's sense, which is to serve the purposes of science, business and everyday life. What requirements should such a “conceptual notation” satisfy? There are undoubtedly many relevant desiderata, but here I am focusing on one unmistakable one. In order to be a viable lingua universalis, your language must in any case be capable of representing (...) any possible configuration of dependence and independence between different variables. For if such a configuration is possible in principle, there is no guarantee that it might not one day show up among the natural, human or social phenomena we have to study.But how are dependencies and independencies between variables expressed in our familiar logical notation? Every logician worth his or her truth-table knows the answer. Dependencies between two variables are expressed by dependencies between the quantifiers to which they are bound. For instance, inthe variable y depends on x, while inz depends on x but not on y, while u depends on both x and y.But how is the dependence of a quantifier on another one expressed in familiar logical languages? Obviously by occurring in its scope, indicated by the pair of parentheses following it. But the nesting of scopes is a transitive and antisymmetrical relation which allows branching only in one direction. Hence other kinds of structures of dependence and independence between variables are not representable in the received logical notation. Such previously inexpressible structures form the subject matter of what has been referred to as independence-friendly logic. (shrink)

We present an embedding of quantified multimodal logics into simple type theory and prove its soundness and completeness. A correspondence between QKπ models for quantified multimodal logics and Henkin models is established and exploited. Our embedding supports the application of off-the-shelf higher-order theorem provers for reasoning within and about quantified multimodal logics. Moreover, it provides a starting point for further logic embeddings and their combinations in simple type theory.

We study definability in terms of monotone generalized quantifiers satisfying Isomorphism Closure, Conservativity and Extension. Among the quantifiers with the latter three properties - here called CE quantifiers - one finds the interpretations of determiner phrases in natural languages. The property of monotonicity is also linguistically ubiquitous, though some determiners like an even number of are highly non-monotone. They are nevertheless definable in terms of monotone CE quantifiers: we give a necessary and sufficient condition for such definability. We further identify (...) a stronger form of monotonicity, called smoothness, which also has linguistic relevance, and we extend our considerations to smooth quantifiers. The results lead us to propose two tentative universals concerning monotonicity and natural language quantification. The notions involved as well as our proofs are presented using a graphical representation of quantifiers in the so-called number triangle. (shrink)

This book introduces the reader to relevant logic and provides the subject with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used in deriving its conclusion. The logic is placed in the context of possible world semantics and situation semantics, which are then applied to provide an understanding of the various logical particles and natural language conditionals. The book ends by examining various (...) applications of relevant logic and presenting some interesting open problems. It will be of interest to a range of readers including advanced students of logic, philosophical and mathematical logicians, and computer scientists. (shrink)

A conversational implicature is an inference that consists in attributing to a speaker an implicit meaning that goes beyond the explicit linguistic meaning of an utterance. This paper experimentallyinvestigates scalar implicature, a paradigmatic case of implicature in which a speaker's use of a term like Some indicates that the speaker had reasons not to use a more informative one from the samescale, e.g. All; thus, Some implicates Not all. Pragmatic theorists like Grice would predict that a pragmatic interpretation is determined (...) only after its explicit, logical meaning is incorporated (e.g. whereSome means at least one). The present work aims to developmentally unpack this prediction by showing how younger, albeit competent, reasoners initially treat a relatively weak term logically beforebecoming aware of its pragmatic potential. Three experiments are presented. Experiment 1 presents a modal reasoning scenario offering an exhaustive set of conclusions; critical among these isparticipants' evaluation of a statement expressing Might be x when the context indicates that the stronger Must be x is true. The conversationally-infelicitous Might be x can be understood logically(e.g. as compatible with Must) or pragmatically (as exclusive to must). Results from five-, seven-, and nine-year-olds as well as adults revealed that a) seven-year-olds are the youngest to demonstratemodal competence overall and that; b) seven- and nine-year-olds treat the infelicitous Might logically significantly more often than adults do. Experiment 2 showed how training with the modal taskcan suspend the implicatures for adults. Experiment 3 provides converging evidence of the developmental pragmatic effect with the French existential quantifier Certains (Some). Whilelinguistically-sophisticated children (eight- and ten-year-olds olds) typically treat Certains as compatible with Tous (All), adults are equivocal. These results, which are consistent with unanticipatedfindings in classic developmental papers, reveal a consistent ordering in which representations of weak scalar terms tend to be treated logically by young competent participants and morepragmatically by older ones. This work is also relevant to the treatment of scalar implicatures in the reasoning literature. (shrink)

Despite overwhelming evidence suggesting that quantifier scope is a phenomenon that must be treated at the pragmatic level, most computational treatments of scope ambiguities have thus far been a collection of syntactically motivated preference rules. This might be in part due to the prevailing wisdom that a commonsense inferencing strategy would require the storage of and reasoning with a vast amount of background knowledge. In this paper we hope to demonstrate that the challenge in developing a commonsense inferencing strategy is (...) in the discovery of the relevant commonsense data and in a proper formulation of the inferencing strategy itself, and that a massive amount of background knowledge is not always required. In particular, we present a very effective procedure for resolving quantifier scope ambiguities at the pragmatic level using simple quantitative data that is readily available in most database environments. (shrink)

Let us assume that you are entrusted by UNESCO with an important task. You are asked to devise a universal logical language, a Begriffsschrift in Frege's sense, which is to serve the purposes of science, business and everyday life. What requirements should such a “conceptual notation” satisfy? There are undoubtedly many relevant desiderata, but here I am focusing on one unmistakable one. In order to be a viable lingua universalis, your language must in any case be capable of representing (...) any possible configuration of dependence and independence between different variables. For if such a configuration is possible in principle, there is no guarantee that it might not one day show up among the natural, human or social phenomena we have to study.But how are dependencies and independencies between variables expressed in our familiar logical notation? Every logician worth his or her truth-table knows the answer. Dependencies between two variables are expressed by dependencies between the quantifiers to which they are bound. For instance, inthe variable y depends on x, while inz depends on x but not on y, while u depends on both x and y.But how is the dependence of a quantifier on another one expressed in familiar logical languages? Obviously by occurring in its scope, indicated by the pair of parentheses following it. But the nesting of scopes is a transitive and antisymmetrical relation which allows branching only in one direction. Hence other kinds of structures of dependence and independence between variables are not representable in the received logical notation. Such previously inexpressible structures form the subject matter of what has been referred to as independence-friendly logic. (shrink)