Let's think about Logic first, try to see what it is, then return to the course details.
So, What is logic?
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:
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:
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.
Premises? Conclusion? Indicators?
ARGUMENT STRENGTH...what makes a good argument?
Think about some examples:
We will call 1 and 2 "valid"
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?
(Idea: garbage in, garbage out.)
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.
Note: this "inductive" argumentation is not much treated in this class.
(Ampliative vs. Conservative thinking)