Chapter 5: Categorical Logic: Statements

5.1 Identifies the four standard forms of categorical statements: All S are P, No S are P, Some S are P, and Some S are not P. Also discusses stylistic variants for each of the four forms.

5.2 Explores the logical relationships associated with the Traditional Square of Opposition: contradictories, contraries, subcontraries, superalterns, and subalterns.

5.3 Treats the following immediate inferences: conversion, obversion, and contraposition (including conversion by limitation and contraposition by limitation).