Logic and NEB Flashcards

1
Q

Argument A is VALID =df

A

In virtue of A’s logical form, A’s Conclusion must be true, if A’s premises are all true.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Argument A is SOUND =df

A

A is valid, and all of A’s premises are true.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Modus Ponens (MP)

A

P
if P, then Q
Therefore, Q

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Multiple Modus Ponens (MMP)

A

P
If P, then Q
If Q, then R
Therefore, R

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Modus Tollens (MT)

A

If P, then Q
Not -Q
Therefore, Not-P

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Multiple Modus Tollens (MMT)

A

if P, then Q
if Q, then R
not-R
Therefore, not-P

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Disjuntive Syllogism (DS)

A

P or Q
not-Q
Therefore, P

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Fundamental project

A

Attempt to discover, properly formulate, and defend a criterion of moral rightness for act tokens

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Act type

A

Repeatable action

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Act token

A

Non repeatable action performed by one person at a specific date and time

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

An act token, x, is morally wrong =df

A

It would be morally wrong to preform x

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

X is a sufficient condition for moral rightness=df

A

If an act satisfies x, then that act is morally right

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

C is a criterion of morally right action =df

A

C is a statement of interesting necessary and sufficient conditions for the moral rightness of act tokens

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Conditionals

A

If P, then Q statements

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

T or F : you reject the conditional if the antecedent is False

A

Fasle

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Antecedent

A

The independent clause that comes after the word “if”

17
Q

Consequent

A

The independent clause that comes after “then”