1. Introduction

1.1. Formal deductive logic

1.1.0. Overview

In this course we will study reasoning, but we will study only certain aspects of reasoning and study them only from one perspective. The special character of our study is indicated by the label formal deductive logic, and we will begin our study by seeing what this label means. Each of the terms formal and logic indicates something about the way in which we will study reasoning while the term deductive indicates the sort of reasoning we will study. In the subsections listed below, we will look at each of these three terms in a little more detail.

1.1.2. Inference and arguments
The key form of reasoning that we will consider is inference; the premises and conclusion of an inference make up an argument.

1.1.3. Notation for arguments
We will often use some compact ways of stating generalizations about arguments and their components.

1.1.4. Deductive vs. non-deductive inference
An inference is deductive when its conclusion extracts information already present in its premises, and such an inference is risk free.

1.1.5. Deductive bounds on inference
The sentences that constitute risk-free conclusions from given premises form a lower bound on what can be reasonably concluded, and sentences that are absolutely incompatible with those premises form an upper bound.

1.1.6. Entailment, exclusion, and inconsistency
Entailment is the relation between the premises and conclusion of a deductive inference, and the terms exclusion and inconsistency are tied to the idea of absolute incompatibility.

1.1.7. Formal logic
Many cases of entailment can be captured by generalizations concerning certain linguistic forms, and we will use a quasi-mathematical notation to express these forms.

Several topographical features of the page you are looking at will be reflected throughout the text. A special font (this one) is used to mark language that is being displayed rather than used; the text will frequently use this sort of alternative to quotation marks. Another font (this one) is used for special terminology that is being introduced; the index to the text lists these terms and provides links to the points where they are explained. In the list of subsections that appears above, headings have a special formatting (like this) that will be used for links. The links above are links to the subsections themselves, and cross-references in the text with similar formatting will also function as links to portions of the text.