Shared Flashcard Set

Details

Symbolic logic
SL concepts
22
Philosophy
Undergraduate 4
02/10/2009

Additional Philosophy Flashcards

 


 

Cards

Term
Logic
Definition
"not the process of reasoning but the rules for correct reasoning."
Term
argument
Definition
An argument consists of a finite sequence of sentences, called premises, together with another sentence, the conclusion, which the premises are taken to support.
Term
deductively valid argument
Definition
An argument is deductively valid if and only if its conclusion is true whenever (in any possible circumstance) its premises are all true.
Term
sound argument
Definition
An argument is sound iff (1) it is valid and (2) all its premises are true.
Term
A set of sentences IMPLIES a given sentence just in case...
Definition
...the truth of that sentence is guaranteed by the truth of all the members of the set.
Term
A sentence A IMPLIES another, B, iff...
Definition
...A's truth guarantees B's truth.
Term
A sentence A is EQUIVALENT to a sentence B iff..
Definition
...A and B always agree in truth value.
Term
A sentence is CONTINGENT iff...
Definition
...it is possible for it to be true and possible for it be false.
Term
A sentence is VALID (or tautologous, or logically true) iff...
Definition
...it is true in every possible circumstance.
Term
A sentence is CONTRADICTORY iff...
Definition
...it is impossible for it to be true.
Term
A sentence is SATISFIABLE iff...
Definition
...it is not contradictory.
Term
A set of sentences is CONTRADICTORY iff...
Definition
...it is impossible for all its members to be true. A set is SATISFIABLE otherwise.
Term
One sentence is a COMPONENT of another if...
Definition
(a)it is a proper part of that sentence, and (b) replacing it with another sentence yields something meaningful.
Term
A sentence is COMPOUND (or molecular) if...
Definition
...it has components. It is SIMPLE (or atomic) if it does not.
Term
An N-ARY connective...
Definition
...is a word or phrase that forms a single, compound sentence from N component sentences.
Term
A connective is TRUTH-FUNCTIONAL iff...
Definition
...the truth values of the component statements the connective joins always completely determine the truth value of the compound statement formed by the connective.
Term
An N-ARY TRUTH FUNCTION...
Definition
...is a function taking N truth values as inputs and producing a truth value as output.
Term

Negation

¬

Definition
Transforms the truth value of the component sentence into its opposite.  An English connective that has this effect is the logical particle not.
Term

conjunction

&

Definition

Is true just in case both its components--called conjuncts--are true.

 

Equivalent English expressions: and, both...and, but, though, although

Term

disjunction

ν

Definition

Is true just in case either of its components--called disjuncts--is true.

 

Equivalent English expressions: or, either...or, unless

Term

the conditional

Definition

composed of two components: the antecedent and the consequent.

A conditional is true just in case it does not have a true antecedent and a false consequent.

 

Equivalent English expressions (roughly): B if A, if A then B, A only if B, B so long as A

Term

biconditional

Definition

Biconditionals are true just in case their components agree in truth value.

 

Equivalent English expressions: iff, when and only when, is a necessary condition for, just in case

Supporting users have an ad free experience!