Abstract:(l) I have enough evidence to render the sentence S probable. (la) So, relative to what I know, it is rational of me to believe S. (2) Now that I have more evidence, S may no longer be probable. (2a) So now, relative to what I know, it is not rational of me to believe S. These seem a perfectly ordinary, common sense, pair of situations. Generally and vaguely, I take them to embody what I shall call probabilistic inference. This form of inference is clearly non-monotonic. Relatively few people have taken this form of inference, based on high probability, to serve as a foundation for non-monotonic logic or for a logical or defeasible inference. There are exceptions: Jane Nutter [16] thinks that sometimes probability has something to do with non-monotonic reasoning. Judea Pearl [ 17] has recently been exploring the possibility. There are any number of people whom one might call probability enthusiasts who feel that probability provides all the answers by itself, with no need of help from logic. Cheeseman [1], Henrion [5] and others think it useful to look at a distribution of probabilities over a whole algebra of statements, to update that distribution in the light of new evidence, and to use the latest updated distribution of probability over the algebra as a basis for planning and decision making. A slightly weaker form of this approach is captured by Nilsson [15], where one assumes certain probabilities for certain statements, and infers the probabilities, or constraints on the probabilities of other statement. None of this corresponds to what I call probabilistic inference. All of the inference that is taking place, either in Bayesian updating, or in probabilistic logic, is strictly deductive. Deductive inference, particularly that concerned with the distribution of classical probabilities or chances, is of great importance. But this is not to say that there is no important role for what earlier logicians have called "ampliative" or "inductive" or "scientific" inference, in which the conclusion goes beyond the premises, asserts more than do the premises. This depends on what David Israel [6] has called "real rules of inference". It is characteristic of any such logic or inference procedure that it can go wrong: that statements accepted at one point may be rejected at a later point. Research underlying the results reported here has been partially supported by the Signals Warfare Center of the United States Army.

Modus Ponens Generating Function in the Class of ^-valuations of Plausibility

On Truth-Gaps, Bipolar Belief and the Assertability of Vague Propositions

Uncertain Entailment and Modus Ponens in the Framework of Uncertain Logic

Probability as a Modal Operator

On Probabilistic and Causal Reasoning with Summation Operators

On the unification problem for GLP

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Inductive Logic With Causal Modalities: A Probabilistic Approach

Algebraic structures identified with bivalent and non-bivalent semantics of experimental quantum propositions

Modeling Non-Monotonic Properties under Propositional Argumentation

Non-Monotonicity in Probabilistic Reasoning

Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics

A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic

An elementary belief function logic

A Logical Consequence Informed by Probability

Quasi Conjunction, Quasi Disjunction, T-norms and T-conorms: Probabilistic Aspects

Modal Logic and Invariance.

Probabilistic and Non-Monotonic Inference

Modal logic, fundamentally

Modalities combining two negations

A Modal Nonmonotonic Logic