In [6] proof tableau formulations were given of the implication/negation fragments of the important zero-order relevant logics E and R and the semirelevant logic RM . The main purpose of this paper then, is to extend results by giving proof tableau formulations of the distribution-free fragments of E, R and RM and of their first order extensions EQ, RQ and RMQ. Where X is one of these logics, we shall follow [13] in calling its distribution-free fragment OX – the ‘O’ (...) standing for ‘ortho’ which is meant to signify the kinship of these logics to quantum logics or ortho-logics as they now tend to be known. Hence in what follows we shall refer to the logics OX simply as relevant ortho-logics. (shrink)

A bivalent valuation is snt iff sound (standard PC inference rules take truths only into truths) and non-trivial (not all wffs are assigned the same truth value). Such a valuation is normal iff classically correct for each connective. Carnap knew that there were non-normal snt valuations of PC, and that the gap they revealed between syntax and semantics could be "jumped" as follows. Let $VAL_{snt}$ be the set of snt valuations, and $VAL_{nrm}$ be the set of normal ones. The bottom (...) row in the table for the wedge 'v' is not semantically determined by $VAL_{snt}$ , but if one deletes from $VAL_{snt}$ all those valuations that are not classically correct at the aforementioned row, one jumps straights to $VAL_{nrm}$ and thus to classical semantics. The conjecture we call semantic holism claims that the same thing happens for any semantic indeterminacy in any row in the table of any connective of PC, i.e., to remove it is to jump straight to classical semantics. We show (i) why semantic holism is plausible and (ii) why it is nevertheless false. And (iii) we pose a series of questions concerning the number of possible steps or jumps between the indeterminate semantics given by $VAL_{snt}$ and classical semantics given by $VAL_{nrm}$. (shrink)

Here is an important new theory of human action, a theory that assumes actions are founded on choices made by agents who face an open future.

In this rigorous investigation into the logic of truth Anil Gupta and Nuel Belnap explain how the concept of truth works in both ordinary and pathological..

Following von Wright, ``transitions'' are needed for understanding agency. I indicate how von Wright's account of transitions should be adapted to take account of objective indeterminism, using the idea of branching space-time. The essential point is the need to locate transitions not merely in space-time, but concretely amid the indeterministic, causally structured possibilities of our (only) world. (This is a ``postprint'' of Belnap 1999, as cited in the paper. The page numbers do not, of course, match those of the (...) original.). (shrink)

permits a sound and rigorously definable notion of ‘originating cause’ or causa causans—a type of transition event—of an outcome event. Mackie has famously suggested that causes form a family of ‘inus’ conditions, where an inus condition is ‘an insufficient but non-redundant part of an unnecessary but sufficient condition’. In this essay the needed concepts of BST theory are developed in detail, and it is then proved that the causae causantes of a given outcome event have exactly the structure of a (...) set of Mackie inus conditions. The proof requires the assumption that there is no EPR-like ‘funny business’. This seems enough to constitute a theory of ‘causation’ in at least one of its many senses. Introduction The cement of the universe Preliminaries 3.1 First definitions and postulates 3.2 Ontology: propositions 3.3 Ontology: initial events 3.4 Ontology: outcome events 3.5 Ontology: transition events 3.6 Propositional language applied to events Causae causantes 4.1 Causae causantes are basic primary transition events 4.2 Causae causantes of an outcome chain 4.3 No funny business Causae causantes and inns and inus conditions 5.1 Inns conditions of outcome chains: not quite 5.2 Inns conditions of outcome chains 5.3 Inns conditions of scattered outcome events 5.4 Inus conditions for disjunctive outcome events 5.5 Inns and inus conditions of transition events Counterfactual conditionals Appendix: Tense and modal connectives in BST. (shrink)

This is part I of a two-part essay introducing case-intensional first order logic, an easy-to-use, uniform, powerful, and useful combination of first-order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus. CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity is extensional. Definite descriptions are context-independent terms, and lambda-predicates (...) and -operators can be introduced without constraints. These logical resources allow one to define, within CIFOL, important properties of properties, viz., extensionality and absoluteness, Bressan’s chief innovation that allows tracing an individual across cases without recourse to any notion of “rigid designation” or “trans-world identity.” Thereby CIFOL abstains from incorporating any metaphysical principles into the quantificational machinery, unlike extant frameworks of quantified modal logic. We claim that this neutrality makes CIFOL a useful tool for discussing both metaphysical and scientific arguments involving modality and quantification, and we illustrate by discussing in diagrammatic detail a number of such arguments involving the extensional identification of individuals via absolute properties, essential properties, de re vs. de dicto, and the results of possible tests. (shrink)

“Flat pre-semantics” lets each parameter of truth (etc.) be considered sepa-rately and equally, and without worrying about grammatical complications. This allows one to become a little clearer on a variety of philosophical-logical points, such as the use fulness of Carnapian tolerance and the deep relativity of truth. A more definite result of thinking in terms of flat pre-semantics lies in the articulation of some instructive ways of categorizing operations on meanings in purely logical terms in relation to various parame- ters (...) of truth (etc.); namely, closing vs. leaving open, local vs. translocal, and anchored vs. unanchored. Basic relations among these categories are established. (shrink)

“Flat pre-semantics” lets each parameter of truth be considered separately and equally, and without worrying about grammatical complications. This allows one to become a little clearer on a variety of philosophical-logical points, such as the usefulness of Carnapian tolerance and the deep relativity of truth. A more definite result of thinking in terms of flat pre-semantics lies in the articulation of some instructive ways of categorizing operations on meanings in purely logical terms in relation to various parameters of truth ; (...) namely, closing vs. leaving open, local vs. translocal, and anchored vs. unanchored. Basic relations among these categories are established. (shrink)

There is no EPR-like funny business if (contrary to apparent fact)our world is as indeterministic as you wish, but is free from theEPR-like quantum mechanical phenomena such as is sometimes described interms of superluminal causation or correlation between distant events.The theory of branching space-times can be used to sharpen thetheoretical dichotomy between EPR-like funny business and noEPR-like funny business. Belnap (2002) offered two analyses of thedichotomy, and proved them equivalent. This essay adds two more, bothconnected with Reichenbachs principle of (...) the common cause, theprinciple that sends us hunting for a common-causal explanation ofdistant correlations. The two previous ideas of funny business and thetwo ideas introduced in this essay are proved to be all equivalent,which increases ones confidence in the stability of (and helpfulnessof) the BST analysis of the dichotomy between EPR-like funny businessand its absence. (shrink)

This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that that (...) moment is part of. This framework allows us to define the familiar Ockhamist temporal/modal connectives, most notably for past, future, and settledness. The novelty of our framework becomes visible in our discussion of substances in branching histories, i.e., in its first-order part. That discussion shows how the basic idea of tracing an individual thing from case to case via an absolute property is applicable in a branching histories framework. We stress the importance of keeping apart extensionality and moment-definiteness, and give a formal account of how the specification of natural sortals and natural qualities turns out to be a coordination task in BH-CIFOL. We also provide a detailed answer to Lewis’s well-known argument against branching histories, exposing the fallacy in that argument. (shrink)

An informal sketch is offered of some chief ideas of the (formal) ``branching histories'' theory of objective possibility, free will and indeterminism. Reference is made to ``branching time'' and to ``branching space-times,'' with emphasis on a theme that they share: Objective possibilities are in Our World, organized by the relation of causal order.

Greenberger. Horne. Shimony, and Zeilinger gave a new version of the Bell theorem without using inequalities (probabilities). Mermin summarized it concisely; but Bohm and Hiley criticized Mermin's proof from contextualists' point of view. Using the branching space-time language, in this paper a proof will be given that is free of these difficulties. At the same time we will also clarify the limits of the validity of the theorem when it is taken as a proof that quantum mechanics is not compatible (...) with a deterministic world nor with a world that permits correlated space-related events without a common cause. (shrink)

This paper follows Part I of our essay on case-intensional first-order logic ). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events that that moment is part of. This framework allows us to define the familiar (...) Ockhamist temporal/modal connectives, most notably for past, future, and settledness. The novelty of our framework becomes visible in our discussion of substances in branching histories, i.e., in its first-order part. That discussion shows how the basic idea of tracing an individual thing from case to case via an absolute property is applicable in a branching histories framework. We stress the importance of keeping apart extensionality and moment-definiteness, and give a formal account of how the specification of natural sortals and natural qualities turns out to be a coordination task in BH-CIFOL. We also provide a detailed answer to Lewis’s well-known argument against branching histories, exposing the fallacy in that argument. (shrink)

The conditional,if an agent did something, then the agent could have done otherwise, is analyzed usingstit theory, which is a logic of seeing to it that based on agents making choices in the context of branching time. The truth of the conditional is found to be a subtle matter that depends on how it is interpreted (e.g., on what otherwise refers to, and on the difference between could and might) and also on whether or not there are busy choosers that (...) can make infinitely many choices in a finite span of time. (shrink)

Branching space-time is a simple blend of relativity and indeterminism. Postulates and definitions rigorously describe the causal order relation between possible point events. The key postulate is a version of everything has a causal origin; key defined terms include history and choice point. Some elementary but helpful facts are proved. Application is made to the status of causal contemporaries of indeterministic events, to how splitting of histories happens, to indeterminism without choice, and to Einstein-Podolsky-Rosen distant correlations.