Propositions and categorical syllogism

A proposition asserts something true or false, while validity concerns the form of an argument, not the truth of its premises. For example, from All humans are mortal and Socrates is human, it validly follows that Socrates is mortal. This chapter explains the square of opposition, the laws of thought, and the rules that make a categorical syllogism valid.