In 1977, R. B. Angell presented a logic for analytic containment, a notion of relevant implication stronger than Anderson and Belnap's entailment. In this paper I provide for the first time the logic of first degree analytic containment, as presented in [2] and [3], with a semantical characterization—leaving higher degree systems for future investigations. The semantical framework I introduce for this purpose involves a special sort of truth-predicates, which apply to pairs of collections of formulas instead of individual formulas, and (...) which behave in some respects like Gentzen's sequents. This semantics captures very general properties of the truth-functional connectives, and for that reason it may be used to model a vast range of logics. I briefly illustrate the point with classical consequence and Anderson and Belnap's tautological entailments. (shrink)

Aboutness has been studied from any number of angles. Brentano made it the defining feature of the mental. Phenomenologists try to pin down the aboutness-features of particular mental states. Materialists sometimes claim to have grounded aboutness in natural regularities. Attempts have even been made, in library science and information theory, to operationalize the notion. But it has played no real role in philosophical semantics. This is surprising; sentences have aboutness-properties if anything does. Aboutness is the first book to examine through (...) a philosophical lens the role of subject matter in meaning. A long-standing tradition sees meaning as truth-conditions, to be specified by listing the scenarios in which a sentence is true. Nothing is said about the principle of selection--about what in a scenario gets it onto the list. Subject matter is the missing link here. A sentence is true because of how matters stand where its subject matter is concerned. Stephen Yablo maintains that this is not just a feature of subject matter, but its essence. One indicates what a sentence is about by mapping out logical space according to its changing ways of being true or false. The notion of content that results--directed content--is brought to bear on a range of philosophical topics, including ontology, verisimilitude, knowledge, loose talk, assertive content, and philosophical methodology. Written by one of today's leading philosophers, Aboutness represents a major advance in semantics and the philosophy of language. (shrink)

Relevance logics came of age with the one and only International Conference on relevant logics in 1974. They did not however become accepted, or easy to promulgate. In March 1981 we received most of the typescript of IN MEMORIAM: ALAN ROSS ANDERSON Proceedings of the International Conference of Relevant Logic from the original editors, Kenneth W. Collier, Ann Gasper and Robert G. Wolf of Southern Illinois University. 1 They had, most unfortunately, failed to find a publisher - not, it appears, (...) because of overall lack of merit of the essays, but because of the expense of producing the collection, lack of institutional subsidization, and doubts of publishers as to whether an expensive collection of essays on such an esoteric, not to say deviant, subject would sell. We thought that the collection of essays was still (even after more than six years in the publishing trade limbo) well worth publishing, that the subject would remain undeservedly esoteric in North America while work on it could not find publishers (it is not so esoteric in academic circles in Continental Europe, Latin America and the Antipodes) and, quite important, that we could get the collection published, and furthermore, by resorting to local means, published comparatively cheaply. It is indeed no ordinary collection. It contains work by pioneers of the main types of broadly relevant systems, and by several of the most innovative non-classical logicians of the present flourishing logical period. We have slowly re-edited and reorganised the collection and made it camera-ready. (shrink)

We explore in an experimental spirit the prospects for extending classical propositional logic with a new operator P intended to be interpreted when prefixed to a formula as saying that formula in question is at least partly true. The paradigm case of something which is, in the sense envisaged, false though still "partly" true is a conjunction one of whose conjuncts is false while the other is true. Ideally, we should like such a logic to extend classical logic - or (...) any fragment thereof under consideration - conservatively, to be closed under uniform substitution (of arbitrary formulas for sentence letters or propositional variables), and to allow the substitutivity of provably equivalent formulas salva provabilitate. To varying degrees, we experience some difficulties only with this last ('congruentiality') desideratum in the two four-valued logics we end up giving our most extended consideration to. (shrink)

This paper develops a semantical model - theoretic account of (logical) content complementing the syntactically specified account of content developed in "A New Theory of Content I", JPL 23: 596-620, 1994. Proofs of Completeness are given for both propositional and quantificational languages (without identity). Means for handling a quantificational language with identity are also explored. Finally, this new notion of content is compared, in respect of both logical properties and philosophical applications, to alternative partitions of the standard consequence class relation (...) proposed by Stelzner, Schurz and Wiengartner. (shrink)

I propose a new semantics for intuitionistic logic, which is a cross between the construction-oriented semantics of Brouwer-Heyting-Kolmogorov and the condition-oriented semantics of Kripke. The new semantics shows how there might be a common semantical underpinning for intuitionistic and classical logic and how intuitionistic logic might thereby be tied to a realist conception of the relationship between language and the world.

Contents: Preface VII; Introduction 1; 1. The General Framework 5; 2. Some Standard Systems 61; 3. Systems in General 147; 4. Non-Standard Systems 177; Bibliography 210; General Index 215; Index of Symbols 219-220.

A-LOGIC is a full-length book (600+ pg). It functions as a system of logic designed to: 1) solve the standard paradoxes and major problems of standard mathematical logic; 2) minimize that logic's anomalies with respect to ordinary language, yet; 3) prove that all theorems in mathematical logic are tautologies. It covers lst order logic the logic of the words "and", "or", "not", "all" and "some". But it also has a non truth functional "if...then" and differs in its definition of validity, (...) its semantics and its theorems. In the book A-logic is contrasted step by step with standard mathematical logic as presented and defended by Quine. All of standard logic's theorems are proven tautologies in A-logic. But some argument-forms called "valid" in standard logic are not valid in A-logic -- notably non-sequiturs like "(P and not-P), therefore Q". In addition A-logic has many tautologies with its non-truthfunctional "if ... then" that standard logic can not derive -- e.g., "Not-(if P&Q then not-P)." A-logic's semantics is based on syntactically defined concepts of logical synonymy and containment of meanings rather than on truth-values and truth-functions. Its "if...then" sentences (called "C-conditionals") are valid if and only if (i) the meaning of the consequent is logically contained in that of the antecedent, and (ii) the antecedent and consequent are jointly consistent. The predicate "valid" holds only of C-conditionals and arguments. No valid C-conditionals are translatable into standard logic though all of them imply tautologies of standard logic. (shrink)

In this article, we consider variations of Nuel Belnap’s ‘artificial reasoner’. In particular, we examine cases in which the artificial reasoner is faulty, e.g. situations in which the reasoner is unable to calculate the value of a formula due to an inability to retrieve the values of its atoms. In the first half of the article, we consider two ways of modelling such circumstances and prove the deductive systems arising from these two types of models to be equivalent to Graham (...) Priest’s first-degree entailment with an ‘emptiness’ value and Richard Angell’s analytic containment, making computational interpretations of these systems possible. The Belnap-type semantics for AC bring FDE φ and AC in line with other containment logics in their neighborhood. The second half of the article examines formal questions, such as whether AC admits an analysis along the lines of that given to the related system of William Parry’s system of analytic implication, as suggested by Kurt Gödel and confirmed by Kit Fine. Furthermore, a natural means of extending these systems to languages with an intensional implication connective is investigated. (shrink)