Professional Documents
Culture Documents
Reviewer
Reviewer
Sentences
The units of language that express complete thoughts
4 categories: declarative, interrogative, imperative,
exclamatory
4 functions: asserting, questioning, commanding, exclaiming
USES OF LANGUAGE
Principal Uses Grammatical Forms
1. Informative 1. Declarative
2. Expressive 2. Interrogative
3. Directive 3. Imperative
4. Exclamatory
Linguistic forms do not determine linguistic function. Form
often gives an indication of function – but there is no sure connection
between the grammatical form and the use/uses intended. Language Patricia
serving any one of the 3 principal functions may take any one of the 2014-02-26 03:52:25
4 grammatical forms --------------------------------------------
Patricia
2014-02-26 03:37:36
essential difference: its definition may
3.4 Emotive and Neutral Language --------------------------------------------
be true or false, depending on whether
Emotive Language The literal meanings
that meaning and or
is correctly theincorrectly
emotional
Appropriate in poetry meani ngs
reportes of a word are largely
Language that is emotionally toned will distract independent of one another. The very
Language that is “loaded” – heavily charged w/ emotional same thing can be referred to by words
meaning on either side – is unlikely to advance the quest for
truth having very different emotive impacts.
Neutral Language
The logician, seeking to evaluate arguments, will honor the
use of neutral language.
3.5 Agreement & Disagreement in Attitude & Belief
SIENNA A. FLORES LEGAL TECHNIQUE & LOGIC
- 3–
Five Kinds of Definitions and their Principal Use
4.1 Disputes and
1. Stipulative Definitions
Definitions Three Kinds of a. A proposal to arbitrarily assign meaning to a newly
introduced symbol
b. a meaning is assigned to some symbol
Disputes
c. not a report
1. Obviously genuine disputes d. cannot be true or false
e. it is a proposal, resolution, request or instruction
there is no ambiguity present and the disputers do
to use the definiendum to mean what is meant by
disagree, either in attitude or belief the definiens
2. Merely verbal disputes f. used to eliminate ambiguity
there is ambiguity present but there is no genuine
disagreement at all 2. Lexical Definitions
3. Apparently verbal disputes that are really genuine a. A report – which may be true or false – of the
there is ambiguity present and the disputers meaning ofPatricia
a definiendum already has in actual
disagree, either in attitude or belief language use
2014-02-26 04:45:09
b. used to eliminate ambiguity
--------------------------------------------
Criterial Dispute
a form of genuine dispute that at first appears to be merely 3. prime number
Precising Definitions
verbal a. A report on existing language usage, with
additional stipulations provided to reduce
4.2 Definitions and Their vagueness
b. Go beyond Patricia
ordinary usage in such a way as to
Uses Definiendum eliminate 2014-02-26
troublesome uncertainty regarding
04:08:31
a symbol being defined borderline cases
c. --------------------------------------------
Its definiendum has an existing meaning, but that
Definiens planets tas yung isa skyscraper
meaning is vague
d. What is added(buildto achieve
ings) Everyprecision
generalisterm
a matter of
has both.
the symbol (or group of symbols) that has the same
stipulation
meaning as the definiendum The extension of a term is determined
e. Used chiefly to reduce vagueness
Ambiguity: Uncertainty because a word or phrase has more by its intension
meaning than one 2. Ostensive definitions
a demonstrative definition
Vagueness: lack of clarity regarding the “borders” of a a term is defined by pointing at an object
term‟s meaning We point to or indicate by gesture the extension of
the term being defined
4. Theoretical Definitions
a. An account of term that is helpful for general 3. Quasi-ostensive Definitions
understanding or in scientific practice A denotative definition that uses a gesture and a
b. Seek to formulate a theoretically adequate or descriptive phrase
scientifically useful description of the objects to
The gesture or pointing is accompanied by some
which the term applies
descriptive phase whose meaning is taken as being
c. Used to advance theoretical understanding
known
5. Persuasive Definitions
4.5 Intension and Intensional Definitions
a. A definition intended to influence attitudes or stir
the emotions, using language expressively rather
Subjective Intension
than informatively
What the speaker believes is the intension
b. used to influence conduct
The private interpretation of a term at a particular time
4.3 Extensions, Intension, & the Structure of
Objective Intension
Definition Extension (Denotation) The total set of attributes shared by all the objects in the
word‟s extension
the collection of objects to which a general term is correctly
applied
Conventional Intension
The commonly accepted intension of a term
Intension (Connotation)
The public meaning that permits and facilitates
the attributes shared by all objects, and only those objects to communication
which a general term applies
Intensional Definitions
4.4 Extension and Denotative
1. Synonymous definitions
Definitions Extensional/Denotative a. Defining a word with another word that has the same
meaning and is already understood
Definitions
a definition based on the term‟s extension
this type of definition is usually flawed because it is most
often impossible to enumerate all the objects in a general
class
1. Definitions by example
We list or give examples of the objects denoted by
the term
& ineffective that reliance D4: Hasty D2: Appeal toTHE Inappropriate
MAJOR INFORMALAuthority (ad verecundiam)
FALLACIES
upon them is a blunder. Generalizations FallaciesAoffallacy
Theinmost
which a conclusion
numerous and is based on thetojudgment of
R1: Appeal
Fallacies of Mistakes that arise P1: Accident a supposed
Relevance most authority who has Emotion
frequently no legitimate claim to
Presumption because too much has P2: Complex expertise in the matter.
encountered, are those in R2: Appeal to Pity
been assumed in the Question which the premises are R3: Appeal to Force
premises, the inference P3: Begging the D3: False Cause (causa
simply notpro causa)to
relevant R4: Argument Against
to the conclusion Question the conclusion
A fallacy drawn.
in which something thatthe
is Person
not really a cause, is
depending on that treated as a cause. R5: Irrelevant
unwarranted assumption. Conclusion
Fallacies of Arise from the equivocal A1: Equivocation Fallacies of Those in w/c the mistake D1: Argument from
Ambiguity use of words or phrases A2: Amphiboly Defective arises from the fact that Ignorance
in the premises or in the A3: Accent Induction
o the Hoc
Post premises of the
Ergo Propter Hoc:D2: Appeal
“After to
the thing,
conclusion of an A4: Composition argument,
therefore because although Inappropriate
of the thing”; a type of false cause
argument, some critical A5: Division relevant
fallacy in whichtoan eventthe is Authority
presumed to have been
term having different conclusion,
caused are soevent
by another weak that D3:
cameFalse Cause
before it.
senses in different parts o Slippery Slope: A type of false cause fallacy in which
of the argument. change in a particular direction is assumed to lead
inevitably to further, disastrous, change in the same
5.3 Fallacies of direction.
Fallacies of Ambiguity
(sophisms)
Fallacies caused by a shift or confusion of meaning within
an argument
A1: Equivocation
A fallacy in which 2 or more meanings of a word or phrase
are used in different parts of an argument
A2: Amphiboly
A fallacy in which a loose or awkward combination of words
can be interpreted more than 1 way
The argument contains a premise based on 1 interpretation
while the conclusion relies on a different interpretation
A3: Accent
A fallacy in which a phrase is used to convey 2 different
meaning within an argument, and the difference is based on
changes in emphasis given to words within the phrase
A4: Composition
A fallacy in which an inference is mistakenly drawn from
the attributes of the parts of a whole, to the attributes of
the whole.
The fallacy is reasoning from attributes of the individual
elements or members of a collection to attributes of the
collection or totality of those elements.
A5: Division One of the 2 classes of arguments
A fallacy in which a mistaken inference is drawn from the Every deductive argument is either valid or invalid
attributes of a whole to the attributes of the parts of the
whole. Valid Argument
o 1st Kind: consists in arguing fallaciously that what is A deductive argument which, if all the premises are true, the
true of a whole must also be true of its parts. conclusion must be true.
o 2nd Kind: committed when one argues from the
attributes of a collection of elements to the attributes of Theory of Deduction
the elements themselves. Aims to explain the relations of premises and conclusions in
valid arguments.
CHAPTER 6 Aims to provide techniques for discriminating between valid
CATEGORICAL PROPOSITIONS and invalid deductions.
Deduction Deductive Class: The collection of all objects that have some specified
characteristic in common.
Argument o Wholly included: All of one class may be included in all of
An argument that claims to establish its conclusion another class.
conclusively o Partially included: Some, but not all, of the members of one
SIENNA A. FLORES LEGAL TECHNIQUE & LOGIC
- 6–
class may be included in another class. 6.4 Quality, Quantity, and Distribution
o Exclude: Two classes may have no members in common.
Quality
Categorical Proposition
An attribute of every categorical proposition, determined by
A proposition used in deductive arguments, that asserts a whether the proposition affirms or denies some form of
relationship between one category and some other category. class inclusion.
o If the proposition affirms some class inclusion,
6.3 The Four Kinds of Categorical Propositions whether complete or partial, its quality is
affirmative. (A and I)
1. Universal affirmative proposition (A Propositions) o If the proposition denies class inclusion, whether
Propositions that assert that the whole of one class is complete or partial, its quality is negative. (E and
included or contained in another class. O)
Opposition Opposition
Any logical relation among the kinds of categorical
propositions (A, E, I, and O) exhibited on the Square of
Opposition.
Contradictories
Two propositions that cannot both be true and cannot both
be false.
A and O are contradictories: “All S is P” is contradicted by
“Some S is not P.”
E and I are also contradictories: “No S is P” is contradicted
by “Some S is P.”
Contraries
Two propositions that cannot both be true
If one is true, the other must be false.
They can both be false.
Contingent
Propositions that are neither necessarily true nor
necessarily false
CONTRAPOSITION
Premise Contrapositive Mood
A: All S is P. A: All non-P is non-S. One of the 64 3-letter characterizations of categorical
E: No S is P. O: Some non-P is not non-S. (by limitation) syllogisms determined by the forms of the standard-form
I: Some S is P. (Contraposition not valid) propositions it contains.
O: Some S is not P. O: Some non-P is not non-S. The mood of the syllogism is therefore represented by 3
letters, and those 3 letters are always given in the
standard-form order.
6.7 Existential Import & the Interpretation of Categorical
The 1st letter names the type of that syllogism‟s major
Propositions
premise; the 2nd letter names the type of that syllogism‟s
minor premise; the 3rd letter names the type of its
Boolean Interpretation conclusion.
7.2 The Formal Nature of Syllogistic Argument 7.6 Deduction of the 15 Valid forms of Categorical Syllogism
7.3 Venn Diagram Technique for Testing Syllogism 7.4 Reduction to Standard Form
Reformulation of a syllogistic argument into standard for.
Syllogistic Rules and Syllogistic Fallacies
Standard-Form Translation
Syllogistic Rules and Fallacies
Rule Associated Fallacy The resulting argument when we reformulate a loosely put
argument appearing in ordinary language into classical
1. Avoid four terms. Four Terms
syllogism
A formal mistake in which a
categorical syllogism contains more than
3 terms.
Different Ways in Which a Syllogistic Argument in Ordinary
2. Distribute the middle Undistributed Middle
Language may Deviate from a Standard-Form Categorical
term in at least one A formal mistake in which a
Argument:
premise. categorical syllogism contains a middle
term that is not distributed in either
First Deviation
premise.
The premises and conclusion of an argument in ordinary
3. Any term distributed Illicit Major
in the conclusion must language may appear in an order that is not the order of
A formal mistake in which the major the standard-form syllogism
be distributed in the
term of a syllogism is undistributed in Remedy: Reordering the premises: the major premise first,
premises.
the major premise, but is disturbed in the minor premise second, the conclusion third.
the conclusion.
Illicit Minor Second Deviation
A formal mistake in which the minor
A standard-form categorical syllogism always has exactly 3
term of a syllogism is undistributed in
the minor premise but is distributed in terms. The premises of an argument in ordinary language
the conclusion. may appear to involve more than 3 terms – but that
appearance might prove deceptive.
4. Avoid 2 negative Exclusive Premises
premises. A formal mistake in which both Remedy: If the number of terms can be reduced to 3 w/o
premises of a syllogism are negative. loss of meaning the reduction to standard form may be
5. If either premise is Drawing an Affirmative Conclusion successful.
negative, the conclusion from a Negative Premise
must be negative. A formal mistake in which one Third Deviation
premise of a syllogism is negative, but The component propositions of the syllogistic argument in
he conclusion is affirmative. ordinary language may not all be standard-form
6. From 2 universal Existential Fallacy propositions.
premises no particular As a formal fallacy, the mistake of Remedy: If the components can be converted into
conclusion may be inferring a particular conclusion from 2
S IENNA A. FLORES
drawn. universal premises. LEGAL TECHNIQUE & LOGIC
- 9–
standard-form propositions w/o loss of meaning, the
reduction to standard form may be successful.
III. Propositions having main verbs other than the copula “to Enthymeme
be” An argument containing an unstated proposition
E.g. All people seek recognition. An incompletely stated argument is characterized a being
o Reformulated: All people are seekers or recognition. enthymematic
E.g. Some people drink Greek wine.
o Reformulated: Some people are Greek-wine First-Order Enthymeme
drinkers. An incompletely stated argument in which the proposition
that is taken for granted is the major premise
IV. Statements having standard-form ingredients, but not in
standard form order Second-Order Enthymeme
E.g. Racehorses are all thoroughbreds.
An incompletely stated argument in which the proposition
o Reformulated: All racehorses are thoroughbreds.
that is taken for granted is the minor premise
E.g. all is well that ends well.
o Reformulated: All things that end well are things
Third-Order Enthymeme
that are well.
An incompletely stated argument in which the proposition
V. Propositions having quantifiers other than “all,” “no,” and that is left unstated is the conclusion
“some”
E.g. Every dog has its day. 8.6 Sorites
o Reformulated: All dogs are creatures that have their
days. Sorites
E.g. Any contribution will be appreciated. An argument in which a conclusion is inferred from any
o Reformulated: All contributions are things that are number of premises through a chain of syllogistic inferences
appreciated.
8.7 Disjunctive and Hypothetical
VI. Exclusive Propositions, using “only or “none but”
A proposition asserting that the predicate applies only to the Syllogism Disjunctive Syllogism
subject named A form of argument in which one premise is a disjunction
E.g. Only citizens can vote. and the conclusion claims the truth of one of the disjuncts
o Reformulated: All those who can vote are citizens. Only some disjunctive syllogisms are valid
E.g. None but the brave deserve the fair.
o Reformulated: All those who deserve the fair are Hypothetical Syllogism
those who are brave. A form of argument containing at least one conditional
proposition as a premise.
Pure Hypothetical Syllogism With symbols, we can perform some logical operations almost
A syllogism that contains conditional propositions exclusively mechanically, with the eye, which might otherwise demand great effort
A symbolic language helps us to accomplish some
Mixed Hypothetical Syllogism intellectual tasks without having to think too much
A syllogism having one conditional premise and one
categorical premise Modern Logic
Logicians look now to the internal structure of propositions
Affirmative Mood/Modus Ponens (“to affirm”) and arguments, and to the logical links – very few in
A valid hypothetical syllogism in which the categorical number – that are critical in all deductive arguments
premise affirms the antecedent of the conditional premise, No encumbered by the need to transform deductive
and the conclusion affirms its consequent arguments in to syllogistic form
It may be less elegant than analytical syllogistics, but is
Fallacy of Affirming the Consequent
more powerful
A formal fallacy in a hypothetical syllogism in which the
categorical premise affirms the consequent, rather than the 9.2 The Symbols for Conjunction, Negation, &
antecedent, of the conditional premise
Disjunction Simple Statement
Modus Tollens (“to deny”) A statement that does not contain any other statement as a
A valid hypothetical syllogism in which the categorical component
premise denies the consequent of the conditional premise,
and the conclusion denies its antecedent Compound Statement
A statement that contains another statements as a
Fallacy of Denying the Antecedent component
A formal fallacy in a hypothetical syllogism in which the 2 categories:
categorical premise denies the antecedent, rather than the o W/N the truth value of the compound statement is
consequent, of the conditional premise determined wholly by the truth value of its
components, or determined by anything other
8.8 The Dilemma than the truth value of its components
Symbols p q pq
Greatly facilitate our thinking about arguments T T T
Enable us to get to the heart of an argument, exhibiting its T F F
F T F
F F F
essential nature and putting aside what is not essential
Negation/Denial/Contradictory (~) In general, “q is a necessary condition for p” and “p only
symbolized by the tilde or curl (~) if q” are symbolized as p q
often formed by the insertion of “not” in the original
statement
Disjunction/Alteration (v)
A truth-functional connective meaning “or”
It has a “weak” (inclusive) sense, symbolized by the wedge
(v) (or “vee”), and a “strong” (exclusive) sense.
2 components combined are called disjuncts or alternatives
p q pvq
T T T
T F T
F T T
F F F
Punctuation
The parentheses brackets, and braces used in symbolic
language to eliminate ambiguity in meaning
In any formula the negation symbol will be understood to
apply to the smallest statement that the punctuation permits
Conditional Statement
A compound statement of the form “If p then q.”
Also called a hypothetical/implication/implicative statement
Asserts that in any case in which its antecedent is true, its
consequent is also true
It does no assert that its antecedent is true, but only if its
antecedent is true, its consequent is also true
The essential meaning of a conditional statement is the
relationship asserted to hold between its antecedent and
consequent
Antecedent (implicans/protasis)
In a conditional statement, that component that immediately
follows the “if”
Consequent (implicate/apodosis)
In a conditional statement, the component that immediately
follows the “then”
Implication
The relation that holds between the antecedent and the
consequent of a conditional statement.
There are different kinds of implication
Horseshoe ()
A symbol used to represent material implication, which is
common, partial meaning of all “if-then” statements
p q ~q p~q ~ (p~q) p q
T T F F T T
T F T T F F
F T F F T T
F F T F T T
Material Implication
A truth-functional relation symbolized by the horseshoe )
( that may connect 2 statements
The statement “p materially implies q” is true when either p
is false, or q is true
p q p q
T T T
T F F
F T T
F F T
In general, “p is a sufficient condition for q” is of statements for statement variables in an argument form
symbolized by p q
Specific Form of an Argument
9.4 Argument Forms and Refutation by Logical The argument form from which the given argument results
when a different simple statement is substituted for each
Analogy Refutation by Logical Analogy different statement variable.
Exhibiting the fault of an argument by presenting another
argument with the same form whose premises are known 9.5 The Precise Meaning of “Invalid” and “Valid”
to e true and whose conclusion is known to be false.
Invalid Argument Form
To prove the invalidity of an argument, it suffices to formulate An argument form that has at least one substitution
another argument that: instance with true premises and a false conclusion
Has exactly the same form as the first
Has true premises and a false Valid Argument Form
conclusion An argument form that has no substitution instances with
true premises and a false conclusion
Note: This method is based upon the fact that validity and invalidity
are purely formal characteristics of arguments, which is to say that 9.6 Testing Argument Validity on Truth
any 2 arguments having exactly the same form are either both valid
or invalid, regardless of any differences in the subject matter which Tables Truth Table
they are concerned. An array on which the validity of an argument form may be
tested, through the display of all possible combinations of
Statement Variable the truth values of the statement variables contained in that
A letter (lower case) for which a statement may be form
substituted.
9.7 Some Common Argument Forms
Argument Form
An array of symbols exhibiting the logical structure of an Disjunctive Syllogism
argument, it contains statement variables, but no A valid argument form in which one premise is a
statements disjunction, another premise is the denial of one of the two
disjuncts, and the conclusion is the truth of the other
Substitution Instance of an Argument Form disjunct
Any argument that results from the consistent substitution
Modus Ponens Substitution Instance of Statement Form
A valid argument that relies upon a conditional premise, and Any statement that results from the consistent substitution
in which another premise affirms the antecedent of that of statements for statement variables in a statement form
conditional, and the conclusion affirms its consequent
p q
Specific Form of a Statement pvq ~p
pq
T form
The statement T from which
T the Fgiven statement results
pq
T
when a different F T
simple F
statement is substituted
consistently F T different
for each T statement
T variable
F F F T
p q p q Tautologous Statement Form
T T T A statement form that has only true substitution instances
T F F A tautology:
F T T
F F T p ~p p v ~p
T F T
Modus Tollens F T T
A valid argument that relies upon a conditional premise, and
in which another premise denies the consequent of that Self-Contradictory Statement Form
conditional, and the conclusion denies its antecedent A statement form that has only false substitution instances
A contradiction
pq
~q Contingent Form
~p A statement form that has both true and false substitution
instances
p q p q ~q ~p
T T T F F Peirce’s Law
T F F T F
A tautological statement of the form [(p q) p] p
F T T F T
F F T T T
Materially Equivalent ( )
A truth-functional relation asserting that 2 statements
)
Hypothetical Syllogism connected by the three-bar sign have the same truth
A valid argument containing only conditional propositions
pvq
~pq
q
r
pr
( value
p q pq
T T T
T F F
F T F
p Q r p q q r p r F F T
T T T T T T
T T F T F F Biconditional Statement
T F T F T T A compound statement that asserts that its 2 component
T F F F T F statements imply one another and therefore are materially
F T T T T T equivalent
F T F T F T
F F T T T T The Four Truth-Functional Connective
F F F T T T Truth- Symbol Proposition Names of
Functional (Name of Type Components of
Connective Symbol) Propositions of
Fallacy of Affirming the Consequent
that Type
A formal fallacy in which the 2nd premise of an argument affirms the And (dot) Conjunction Conjuncts
consequent of a conditional premise and the conclusion of its Or V (wedge) Disjunction Disjuncts
argument affirms its antecedent If…then (horseshoe) Conditional Antecedent,
pq consequent
qp If and only if (tribar) Biconditional Components
Principle of Identity
If any statement is true, it is true.
Every statement of the form p p must be true
o Every such statement is a tautology
Principle of Noncontradiction
No statement can be both true and false
Every statement of the form p~p must be false
o Every such statement is self-contradictory
CHAPTER 10
METHODS OF DEDUCTION
Rules of Inference
The rules that permit valid inferences from statements
assumed as premises
Natural Deduction
A method of providing the validity of a deductive argument
by using the rules of inference
Using natural deduction we can proved a formal proof of the
validity of an argument that is valid
Invalid Arguments
For an invalid argument, there is no formal proof of invalidity
An argument is provided invalid by displaying at least one
row of its truth table in which all its premises are true but its
conclusion is false
We need not examine all rows of its truth table to discover an
argument‟s invalidity: the discovery of a single row in which
its premises are all true and its conclusion is false will suffice
10.4 Inconsistency
circumstances, to prove validity more quickly than would The process of forming a proposition from a propositional
be possible without it function by substituting an individual constant for its
individual variable
10.6 Shorter Truth-Table
Technique
An argument may be tested by assigning truth values
showing that, if it is valid, assigning values that would
make the conclusion false while the premises are true
would lead inescapably to inconsistency
Proving the validity of an argument with this shorter truth
table technique is one version of the use of reductio ad
absurdum – but instead of suing the rules of inference, it
uses truth value assignments
Its easiest application is when F is assigned to a
disjunction (in which case both of the disjuncts must be
assigned) or T to a conjunction (in which case both of the
conjuncts must be assigned)
o When assignments to simple statements are thus
forced, the absurdity (if there is one) is quickly
exposed
CHAPTER 11
11.1 The Need for
QUANTIFICATION THEORY
Quantification Quantification
A method of symbolizing devised to exhibit the inner logical
structure of propositions.
Affirmative Singular
Proposition
A proposition that asserts that a particular individual has
some specified attribute
Individual Constant
A symbol used in logical notation to denote an individual
Individual Variable
A symbol used as a place holder for an individual constant
Propositional Function
An expression that contains an individual variable and
becomes a statement when an individual constant is
substituted for the individual variable
Simple Predicate
A propositional function having some true and some false
substitution instances, each of which is an affirmative
singular proposition
Generalization
The process of forming a proposition from a propositional
function by placing a universal quantifier or an existential
quantifier before it
Existential Quantifier
A symbol “( x)” indicating that the propositional function
that follows has at least one true substitution instance.
Instantiation
11.4 Traditional Subject-Predicate Propositions
Normal-Form Formula
A formula in which negation signs apply only to simple
predicates
Asyllogistic Arguments
Arguments containing one or more propositions more
logically complicated than the standard A, E, I or O
propositions