I provide a truthmaker semantics for Angell’s system of analytic implication and establish completeness.

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.

I discuss Yablo’s approach to truthmaker semantics and compare it with my own, with special focus on the idea of a proposition being true of or being restricted to some subject-matter, the idea of propositional containment, and the development of an ‘incremental’ semantics for the conditional. I conclude with some remarks on the relationship between truth-maker approach and the standard possible worlds approach to semantics.

Say that two sentences are factually equivalent when they describe the same facts or situations, understood as worldly items, i.e. as bits of reality rather than as representations of reality. The notion of factual equivalence is certainly of central interest to philosophical semantics, but it plays a role in a much wider range of philosophical areas. What is the logic of factual equivalence? This paper attempts to give a partial answer to this question, by providing an answer the following, more (...) specific question: Given a standard propositional language with negation, conjunction and disjunction as primitive operators, which sentences of the language should be taken to be factually equivalent by virtue of their logical form? The system for factual equivalence advocated in this paper is a proper fragment of the first-degree system for the logic of analytic equivalence put forward in the late seventies by R. B. Angell. I provide the system with two semantics, both formulated in terms of the notion of a situation’s being fittingly described by a linguistic item. In the final part of the paper I argue, contra a view I defended in my “Grounding and Truth-Functions”, that the logic for factual equivalence I advocate here should be preferred to Angell’s logic if one wishes to follow the general conception of the relationships between factual equivalence and the notion of grounding put forward in the 2010 paper. (shrink)

What are facts, situations, or events? When Situation Semantics was born in the eighties, I objected because I could not swallow the idea that situations might be chunks of information. For me, they had to be particulars like sticks or bricks. I could not imagine otherwise. The first manuscript of “An Investigation of the Lumps of Thought” that I submitted to Linguistics and Philosophy had a footnote where I distanced myself from all those who took possible situations to be units (...) of information. In that context and at that time, this meant Jon Barwise and John Perry. (shrink)

Kleene’s well-known strong three-valued logic is shown to be one of a family of logics with similar mathematical properties. These logics are produced by an intuitively natural construction. The resulting logics have direct relationships with bilattices. In addition they possess mathematical features that lend themselves well to semantical constructions based on fixpoint procedures, as in logic programming.

While Kripke's original paper on the theory of truth used a three-valued logic, we believe a four-valued version is more natural. Its use allows for possible inconsistencies in information about the world, yet contains Kripke's development within it. Moreover, using a four-valued logic makes it possible to work with complete lattices rather than complete semi-lattices, and thus the mathematics is somewhat simplified. But more strikingly, the four-valued version has a wide, natural generalization to the family of interlaced bilattices. Thus, with (...) little more work, the theory is extended to a broad class of settings. Indeed, a result like Theorem 6.2 would not even be possible to state without the interlaced bilattice machinery. We hope the notion of interlaced bilattice will make apparent further such connections. (shrink)

Part 1 sets out the logical/semantical background to ‘On Denoting’, including an exposition of Russell's views in Principles of Mathematics, the role and justification of Frege's notorious Axiom V, and speculation about how the search for a solution to the Contradiction might have motivated a new treatment of denoting. Part 2 consists primarily of an extended analysis of Russell's views on knowledge by acquaintance and knowledge by description, in which I try to show that the discomfiture between Russell's semantical and (...) epistemological commitments begins as far back as 1903. I close with a non-Russellian critique of Russell's views on how we are able to make use of linguistic representations in thought and with the suggestion that a theory of comprehension is needed to supplement semantic theory. (shrink)

ABSTRACT In the paper we present a survey of some approaches to the semantics of many-valued propositional systems. These approaches are inspired on one hand by classical problems in the investigations of logical aspects of epistemic activity: knowledge and truth, contradictions, beliefs, reliability of data, etc. On the other hand they reflect contemporary concerns of researchers in Artificial Intelligence (and Cognitive Science in general) with inferences drawn from imperfect information, even from total ignorance. We treat the mathematical apparatus that has (...) emerged recently: algebraic structures related to the new logical systems in the same way Boolean algebras correspond to classical logic. (shrink)

It is routinely observed in NLP that sentences seem to “evoke” situations (where I use this term comprehensively to cover events, episodes, eventualities, processes, etc.). Much like discourse entities evoked by explicit noun phrases, these evoked situations can be referred to anaphorically, as for instance in (1) and (3) below, and can be modified in various ways, for instance by supplying their duration and location, as in (2) and (4).

The article concerns the treatment of the so-called denoting phrases, of the forms ?every A?, ?any A?, ?an A? and ?some A?, in Russell's Principles of Mathematics. An initially attractive interpretation of what Russell's theory was has been proposed by P.T. Geach, in his Reference and Generality (1962). A different interpretation has been proposed by P. Dau (Notre Dame Journal, 1986). The article argues that neither of these is correct, because both credit Russell with a more thought-out theory than he (...) actually had. The conclusion is mainly negative: at this date Russell has no coherent theory of these phrases. An appendix notes that his understanding of the quantifiers in predicate logic is also, at this date, not entirely secure. (shrink)

Philosophers of science as divergent as the inductivist Carnap and the deductivist Popper share the notion that the (logical) content of a proposition is given by its consequence class. I claim that this notion of content is (a) unintuitive and (b) inappropriate for many of the formal needs of philosophers of science. The basic problem is that given this notion of content, for any arbitrary p and q, [(p ∨ q)] will count as part of the content of both p (...) and q. In other words, any arbitrary p and q share some common content. This notion of content has disastrous effects on, for instance, Carnap's attempts to explicate the notion of confirmation in terms of probabilistic favorable relevance, and Popper's attempts to define verisimilitude. After briefly reviewing some of the problems of the traditional notion of content I present an alternative notion of (basic) content which (a) better fits our intuitions about content and (b) better serves the formal needs of philosophers of science. (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)