Online research in philosophy

Draft of a paper for the Sinn und Bedeutung 14 conference. Explains how to capture the link between conditionals the probability of indicative conditionals and conditional probability using a classical semantics for conditionals. (Note: some introductory material is shared with a twin paper, "Capturing the Relationship Between Conditionals and Conditional Probability with a Trivalent Semantics".).

THE INDICATIVE CONDITIONAL. A PROBABILISTIC CRITERION OF SOUNDNESS FOR DEDUCTIVE INFERENCES Our objective in this section is to establish a prima facie case ...

In this paper we set out a semantics for relevant (counterfactual) conditionals. We combine the Routley-Meyer semantics for relevant logic with a semantics for conditionals based on selection functions. The resulting models characterize a family of conditional logics free from fallacies of relevance, in particular counternecessities and conditionals with necessary consequents receive a non-trivial treatment.

This collection introduces the reader to some of the most interesting current work on conditionals. Particular attention is paid to possible world semantics for conditionals, the role of conditional probability in helping us to understand conditionals, implicature and the material conditional, and subjunctive versus indicative conditionals. Contributors include V.H. Dudman, Dorothy Edgington, Nelson Goodman, H.P. Grice, David Lewis, and Robert Stalnaker.

The aim of the paper is to draw a connection between a semantical theory of conditional statements and the theory of conditional probability. First, the probability calculus is interpreted as a semantics for truth functional logic. Absolute probabilities are treated as degrees of rational belief. Conditional probabilities are explicitly defined in terms of absolute probabilities in the familiar way. Second, the probability calculus is extended in order to provide an interpretation for counterfactual probabilities--conditional probabilities where the condition has zero probability. Third, conditional propositions are introduced as propositions whose absolute probability is equal to the conditional probability of the consequent on the antecedent. An axiom system for this conditional connective is recovered from the probabilistic definition. Finally, the primary semantics for this axiom system, presented elsewhere, is related to the probabilistic interpretation.

Mental probability logic is a psychological competence theory about how humans interpret and reason about common-sense conditionals. Probability logic is proposed as an appropriate standard of reference for evaluating the rationality of human inferences. Common-sense conditionals are interpreted as “high” conditional probabilities, P(B|A) > .5. Probability logical accounts of nonmonotonic reasoning and inference rules like the modus ponens are explored. Categorical syllogisms with comparative and quantitative quantifiers are investigated. A series of eight experiments on human probabilistic reasoning in the framework of the basic nonmonotonic system p corroborate the psychological plausibility of the proposed approach.

Nonmonotonic conditionals (A |∼ B) are formalizations of common sense expressions of the form “if A, normally B”. The nonmonotonic conditional is interpreted by a “high” coherent conditional probability, P(B|A) > .5. Two important properties are closely related to the nonmonotonic conditional: First, A |∼ B allows for exceptions. Second, the rules of the nonmonotonic system p guiding A |∼ B allow for withdrawing conclusions in the light of new premises. This study reports a series of three experiments on reasoning with inference rules about nonmonotonic conditionals in the framework of coherence. We investigated the cut, and the right weakening rule of system p. As a critical condition, we investigated basic monotonic properties of classical (monotone) logic, namely monotonicity, transitivity, and contraposition. The results suggest that people reason nonmonotonically rather than monotonically. We propose nonmonotonic reasoning as a competence model of human reasoning.

We show that the implicational fragment of intuitionism is the weakest logic with a non-trivial probabilistic semantics which satisfies the thesis that the probabilities of conditionals are conditional probabilities. We also show that several logics between intuitionism and classical logic also admit non-trivial probability functions which satisfy that thesis. On the other hand, we also prove that very weak assumptions concerning negation added to the core probability conditions with the restriction that probabilities of conditionals are conditional probabilities are sufficient to trivialize the semantics.

I’ll describe a range of systems for nonmonotonic conditionals that behave like conditional probabilities above a threshold. The rules that govern each system are probabilistically sound in that each rule holds when the conditionals are interpreted as conditional probabilities above a threshold level specific to that system. The well-known preferential and rational consequence relations turn out to be special cases in which the threshold level is 1. I’ll describe systems that employ weaker rules appropriate to thresholds lower than 1, and compare them to these two standard systems.

I will describe the logics of a range of conditionals that behave like conditional probabilities at various levels of probabilistic support. Families of these conditionals will be characterized in terms of the rules that their members obey. I will show that for each conditional, , in a given family, there is a probabilistic support level r and a conditional probability function P such that, for all sentences C and B, C->B holds just in case P[B|C] is greater than or equal to r. Thus, each conditional in a given family behaves like conditional probability above some specific support level.