Logic and NEB Flashcards
Argument A is VALID =df
In virtue of A’s logical form, A’s Conclusion must be true, if A’s premises are all true.
Argument A is SOUND =df
A is valid, and all of A’s premises are true.
Modus Ponens (MP)
P
if P, then Q
Therefore, Q
Multiple Modus Ponens (MMP)
P
If P, then Q
If Q, then R
Therefore, R
Modus Tollens (MT)
If P, then Q
Not -Q
Therefore, Not-P
Multiple Modus Tollens (MMT)
if P, then Q
if Q, then R
not-R
Therefore, not-P
Disjuntive Syllogism (DS)
P or Q
not-Q
Therefore, P
Fundamental project
Attempt to discover, properly formulate, and defend a criterion of moral rightness for act tokens
Act type
Repeatable action
Act token
Non repeatable action performed by one person at a specific date and time
An act token, x, is morally wrong =df
It would be morally wrong to preform x
X is a sufficient condition for moral rightness=df
If an act satisfies x, then that act is morally right
C is a criterion of morally right action =df
C is a statement of interesting necessary and sufficient conditions for the moral rightness of act tokens
Conditionals
If P, then Q statements
T or F : you reject the conditional if the antecedent is False
Fasle