Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
30 Cards in this Set
- Front
- Back
Logic
|
art of reasoning well
|
|
proposition/claim
|
something that must be either true or false, but can be neither true and false.
|
|
argument
|
set of two or more claims one of which (the conclusion) is taken to be supported by the remaining claims, which are premises. NEVER TRUE/FALSE
|
|
consistent
|
when two claims/propositions can both be true together
|
|
inconsistent
|
when two claims/ propositions cannot both be true together
|
|
possible world
|
technical concept designating a complete way things might be.
|
|
actual world
|
(our world) set of all actually true propositions. designates the way things are, have been, or will be. is also a POSSIBLE world
|
|
valid argument
|
when it is impossible for the premises to be true while the conclusion is false
|
|
invalid
|
WTF- true premises and false conclusions
|
|
counterexample to an argument
|
consistent situation where the situation shows how it is possible for ALL of the premises of the argument to be true while the conclusion is false.
a WTF= counterexample |
|
counterexample to a claim/proposition
|
actual situation indicating how the claim/proposition is in fact false.
what would it take for it to be false? |
|
conjunction
|
claim resulting from joining two other claims with the operator.
only true when both conjuncts are true |
|
disjunction
|
claim resulting in joining two other claims with the operator. true when and only when at least one disjunction is true.
|
|
What is this an example of:
Ted is happy. Henry is happy. Ted and Henry are happy. |
conjunction
|
|
What is this an example of:
Ted or Henry is happy. |
disjunction
|
|
conditional
|
is an if-then claim/proposition.
|
|
antecedent
|
if-clause
|
|
consequent
|
then-clause
|
|
What is this an example of:
If Ted is happy, then Henry is happy. |
conditional
|
|
contradictory
|
when one claim/proposition is in denial of another
|
|
What is this an example of:
Ted is on Mars. It is not the case that Ted is on Mars. |
contradictory
|
|
equivalent
|
two claims/propostions are equivalent when the truth of either one guarantees the other one.
|
|
sound argument
|
the argument is valid AND all premises are true
|
|
cogent
|
when an argument is OBVIOUSLY sound
|
|
deductive argument
|
argument in which the premises are intended to provide absolute support for the conclusion
|
|
inductive argument
|
argument in which the premises are intended to provide some degree of support for the conclusoin
|
|
material conditional
|
conditional claim that is false when and only when the antecedent is true (in the actual world) and consequent is false (in the actual world)
|
|
strict conditional
|
conditional claim that is true precisely when it is impossible for the antecedent to be true while the consequent to be false
|
|
What is this an example of:
If Ted thinks, then someone thinks. |
strict conditional
|
|
counterfactual conditional
|
claim that is nearly always expressed by sentences in the subjunctive mood. True if and only if in the most similar world where the antecedent is true, the consequent is true in that nearby world as well
|