|
L1W1
Let's think about Logic first, try to see what it is, then return to the course details. So, What is logic? LOGIC = THE STUDY OF CORRECT REASONING
There are lots of ways to think about correctness of reasoning. We'll be interested in the FORM of argumentation. So we'll SYMBOLIZE. For example:
If the Earth is unmoving in space, then the stars will appear fixed (with respect to each other). However, the stars appear to move slightly from season to season. Thus, the Earth moves.
Notice that this reasoning is broken up into parts. You may be aware of this sort of terminology:
We'll symbolize an argument in various ways, that's to abbreviate the details to get at the important part of the reasoning. Premise One:
Or, in our symbols: ~M>F
Final Points on Symbols We will see that arguments of SL can get fairly complicated and difficult. Also, we will symbolize arguments for which we need to look at more than the logic of compound sentences. Example: "Every country has a leader" --> (^x)(Cx>(%y)Lyx) We symbolize to abbreviate and get at essentials of our thinking/logic.
Life is sacred. So one should respect all living beings for the sacred deserves respect.
Premises? Conclusion? Indicators? Life is sacred.
The sacred deserves respect One should respect all living beings.
Next Topic: ARGUMENT STRENGTH...what makes a good argument? Think about some examples: All whales are mammals.
All mammals are vertebrates. All whales are vertebrates.
No whale is a dolphin.
All mammals are dolphins. No whale is a mammal.
Some monkeys live in South America. Some inhabitants of South America are hunted. Some monkeys are hunted.
We will call 1 and 2 "valid" An argument is (deductively) valid if and only if it is not possible that all its premises be true while its conclusion is false.
Here's the idea: You can't coherently imagine it happening. Not just that you know it didn't happen. It’s inescapable given the evidence. Note: 1 and 2 are valid according to this definition. But 1 is better. WHY?
An argument is (deductively) sound iff it is both valid and has no false premises.
(Idea: garbage in, garbage out.)
More examples: 4) I own a "normal" house, with a normal attic. 5) There are over one million tickets to the There's something right about this sort of thinking. But it's not as though these arguments are valid. Their conclusion says somethig more than do their premises. Each argument takes certain evidenc and draws a conclusion that is new. An argument is inductively strong iff its conclusion is probably true given its premises.
Note: this "inductive" argumentation is not much treated in this class. (Ampliative vs. Conservative thinking) Cogent...
|