Logic Part 2 has been posted as a podcast and video. Here are the notes:
Argument Form
A pattern of reasoning.
Modus Ponens
1. If A, then B.
2. A.
So, 3. B.
Substitution Instance of an argument form
An argument that results from uniformly replacing the variables in that form with statements (or terms).
Valid Argument Form
One in which every substitution instance is a valid argument.
Argument Form
A pattern of reasoning.
Modus Ponens
1. If A, then B.
2. A.
So, 3. B.
Substitution Instance of an argument form
An argument that results from uniformly replacing the variables in that form with statements (or terms).
Valid Argument Form
One in which every substitution instance is a valid argument.