Mentat
- 3,935
- 3
Originally posted by Tom
I'm going to ask that we forget about god in this thread. It really has nothing to do with the topic.
Continuing along this line...
All systems of logic can be put into one of two categories:
1. Deductive
2. Inductive
I explained all this in detail in my Logic Notes thread, but let me give a rundown here.
Deductive Logic
An argument is deductive if its premises necessarily imply[/color] its conclusions. With a mandate to construct such a system of logic, one is led directly to a formal structural language that strongly resembles mathematics. It contains rules for types of inferences that can always be trusted. This should not be misunderstood to mean that deductive logic can be used to derive absolute truths about reality. In fact, deductive logic is completely silent in this regard. It should be understood as follows:
I may not know whether the premises are correct, but I do know for certain that: If the premises are true, then the conclusion must be true.[/color]
That conditional statement expresses the only idea of which we can be confident using only deductive logic. Deductive logic does not contain a procedure for testing the truth or falsity of propositions (except for some propositions about deductive logic, of course).
Inductive Logic
An argument that is not deductively valid is inductive. The premises of an inductive argument provide only partial support for its conclusion, and as such the conclusions of inductive arguments are accepted only tentatively. This may prompt one to ask, "Why bother with inductive logic?" Good question. The answer is that it is impossible to reason about anything that cannot be known a priori without inductive logic. So, the price we pay for inductive reasoning may be the lack of absolute support for the conclusion, but the benefit is that we obtain the ability to say something meaningful about reality.[/color] In other words, inductive logic provides a means to judge the truth or falsity of propositions, but only in a probable (as opposed to absolute) sense.
The discipline of implementing these two kinds of reasoning to learn about reality is called science.
Isn't there a paradox, when it comes to deductive logic (as you've defined it)? To say that the acceptance of premises A and B means that you must accept Z, is to create another premise (premise C), which states: If you accept A and B, you must accept Z. But, let's say that I were to accept premise C, what then? Well, there is no premise that says that by accepting A, B, and C I must accept Z, so we make one (premise D): If you accept A, B, and C you must accept Z. However, there is no premise that says that accepting A, B, C, and D means I must accept Z...and so on, and so on, forever.
I guess Deductive Logic still works, but there is that little paradox, isn't there?