I didn't think you thought that. I was just frustrated because I couldn't word my position in a way that was clear to all y'all.
Well, "well-known" is a bit relative. I guess you could say it's well-known to the few people who care about informal logic . But yeah, it's called the "reconstructive deductivist" position because the idea is to reconstruct informal (and typically so-called inductive, conductive, or abductive) arguments into syllogisms by making the unstated premise explicit. Basically what you described.
I was going to say more, but I think I need to go to sleep for now (lest I type out something totally incoherent and regret it later).
Artes, Scientia, Veritasiness
Heh, I've never heard of informal logic until your mention of it. After doing a quick scan of Wikipedia, it sounds like what I'd call "poor man's logic". I.e. a person can make a reasonable argument without formally studying logic, or they can use colloquial language rather than formal language and still have a reasonable argument. It sounds something like this to me. (I may be off.)
This has been bugging me since I've read it. It's quite possible to have induction without an assumption like this. Although for an INxJ the majority of their personal induction probably does use this assumption.Originally Posted by dissonance
My wife and I made a game to teach kids about nutrition. Please try our game and vote for us to win. (Voting period: July 14 - August 14)
http://www.revoltingvegetables.com
Well, my logic class talks substantially more about informal logic than formal logic. We did cover a lot of important things for formal logic, but my professor explained that through most of life. It's honestly a more practical skill than formal logic. Not that I dislike formal logic, but it's a bit ivory tower.
While that's true, I think we can agree that a strong inductive argument does usually work on the premise of some kind of repetition or large numbers. This is known as induction by enumeration. It is simple. and almost surely the most common form of inductive logic used. Sadly, it might be the most common form of logic used by humans in general.
It is true however that there are other kinds of inductive argument, Dissonance, but I would return to Laser by pointing out that they are all very similar to induction by enumeration. Reasoning by analogy, for instance, is still based on the notion that something happening before tells us what will happen now. The fact is, and I think this might be what Dissonance was trying to say, is that for induction to be useful on any complex level almost always requires it to be concatenated with deduction again. The value of statistics heavily lies in the concept of inductive logic, but to get them right, you'll need mathematical reasoning, which is deductive. To ultimately prove that your inductive arguments make more sense than someone else's, you'll have to run the premises through a test of cogency, which will again require deduction.
Go to sleep, iguana.
_________________________________
INTP. Type 1>6>5. sx/sp.
Live and let live will just amount to might makes right
You've never heard of it? Most critical thinking and even intro to philosophical logic classes are based around informal logic. The study of fallacies? That's part of informal logic.
I don't know what you mean when you say that a person "can make a reasonable argument without formally studying logic, or they can use colloquial language rather than formal language and still have a reasonable argument." It is indeed the study of reasoning in natural language...the type that would be used in everyday examples of argument. People don't reason formally unless they're talking specifically about an issue within a formal language (that is, if we happen to be formal philosophers). Everything else is couched in natural language and in discourse.
The usefulness of studying formal logic (in terms of being able to reason better as a result of having studied it) is yet to be determined...but I would not be surprised if most people didn't really find it useful for "real" argument. The application of formal logic to "real world" argument is its own philosophical issue. In fact, there are some logicians that question whether formal notions of validity even really serve as good models by which to judge correctness in reasoning.
Artes, Scientia, Veritasiness
All of my logic training comes from a mathematical context, so that is why I'm not familiar with it. Formal logic is very useful within the context of mathematics, but it's true that it's too rigorous to use formally among most people.
Example: I hear that five of the people who are taking a piano class are Mary, Betty, Jennifer, Rachel, and Heidi. I conclude that only females take piano class.Originally Posted by dissonance
My wife and I made a game to teach kids about nutrition. Please try our game and vote for us to win. (Voting period: July 14 - August 14)
http://www.revoltingvegetables.com
Ah. I see what you're saying.
I guess I would say it's still a hidden premise because you wouldn't make that inference if you hadn't made similar guesses and been right in the past.
Say you're in a universe with 8 possible worlds:
000
001
010
011
110
111
100
101
If you're trying to make an algorithm for guessing the third number from the first two, it's never going to be better than the opposite algorithm. This is a universe in which the future is not necessarily like the past. But if you chop off one of the possible worlds, you can make an algorithm that works, because you assume that the future is like the past, and you're right some of the time.
See what I'm saying?
Maybe my wording of the premise was a bit misleading.