Professional Documents
Culture Documents
Description
A is like B. M is in A. N is in B. So M is like N.
In analogical reasoning, an analogy for a given thing or situation is found, where
the analogy is like the given thing in some way. Other attributes of the analogical
situation are then taken to also represent other attributes of the given thing.
To use an analogy:
Start with a target domain where you want to create new understanding.
Find a general matching domain where some things are similar to the target
domain.
Find specific items from the matching domain.
Find related items in the target domain.
Transfer attributes from the matching domain to the target domain.
Example
This company is like a racehorse. It's run fast and won the race, and now
it needs feed and rest for a while.
Dating is like flying. At some point, your feet are going to leave the
ground.
Discussion
Our brains work by patterns and association -- if a perception fits roughly into an
existing pattern, then the existing pattern may be taken as definitive. For
example, we see a half-hidden person and 'recognize' them as someone we know.
SYMBOLIC LOGIC
Statements
• This section we will study symbolic logic which was developed in the late
17th century.
• All logical reasoning is based on statements.
• A statement is a sentence that is either true or false.
• Traditionally, symbolic logic uses lower case letters to denote statements.
Usually the letters p, q, r, s, t.
• Statements get labels.
• p: It is raining.
Compound Statements
Examples
NEGATION ~p
CONJUNCTION p ^ q
Answers:
a. p ^ q
b. ~p ^ ~q
DISJUNCTION p v q
• When you connect statements with the word or you form a disjunction.
• Or is represented by the symbol v.
• p v q is read as “p or q”.
• Using the p and q from the last slide, write out in words p v q, and p v ~q.
• p v q is “the lyrics are controversial or the performance is banned.”
• p v ~q is “the lyrics are controversial or the performance is not banned.”
CONDITIONAL p q
• A conditional is of the form “if p then q”. This is also known as an
implication. p is the hypothesis (or premise), and q is the conclusion.