Tolthar wrote:
Knowledge is just some fact, reached through either induction, or using deduction on some induction. And all this process of reason implies an observer. Knowledge can not exists without someone to have that knowledge.
It probably depends on what you mean by 'fact' in the above, but I would propose that Knowledge is a statement or concept, arrived at through induction or deduction by an observer, but which also contains an element of truthfulness.
By truthfulness I mean "corresponding directly to an observation, or arrived at through deduction from a direct observation".
Anyone can make a statement based on what they see, but for it to be 'Knowledge', it must be a true statement. That may be what you mean when you say the word 'fact', but rather than assume it, I'll spell it out explicitly. Otherwise, I think we'd agree on the use of this definition for knowledge.
Tolthar wrote:
No, deduction is only as certain as the induction it is based on. They do not hold equal value at all. Induction is the primary that allows for deduction. Without induction, one couldn't even use deduction because there would be no facts to deduce from.
Tolthar wrote:
Certain to who? I can be certain about my own knowledge. It doesn't mean I didn't made an error however. Taking certain out of the context of 'certain to who' is a false concept.
I believe you above statement contains a couple of errors that must be carefully parsed.
First "deduction is only as certain as the induction it is based on" - In Logic, a deduction is a logical construction that yields conclusions from a set of premises, such that, if the premises are true, the conclusion
must be true. That is the definition of certainty. If X then Y is certain, provided proper logical form is used. You seem to be using the term 'certain' in a common venacular meaning, meaning "I'm sure of it". That's a personal opinion and, as you say, could be held in error. But in Logic, there is a definition of "certain" that is based not on the person, but on the logical form itself. That is the definition of certain I am using. A piece of knowledge is "certain" if it is the end result of proper application of logical form.
Now, saying that a deduction is only as
true as its premises, and saying that those premises are the result of a logical induction arrives at something close to your statement that I could agree with. If the initial premises we start with are false, then any deduction we arrive at from them would also be false, but it would be
certainly false, because that is the outcome demanded by proper logical form.
When I say that deduction is more valuable than induction, I mean the following:
Logic demands that if the premises of a deduction are true, and proper logical form is maintained, the conclusion
must also be true.
There is no corresponding rule for induction.
In fact, premises based on logical induction cannot be said to be 'certain' in the same way, because induction itself is based on a logical fallacy (generalization from the specific to the general). The outcome of this fact is that any knowledge which ultimately rests on a logical induction cannot be said to be 'certain', if by certain you mean flowing from proper logical form. Their foundation is shaky, so the whole edifice is also shaky. That was the argument I was attempting to make to Olek when I said that Knowledge was not certain. I did not mean that I was 'not sure of it', using your common use. I meant that Knowledge based on induction is not guaranteed to be true
by means of appeal to logical form.
Tolthar wrote:
Certainty has a context. Its context is the induction and deduction used by the person who claims certainty. If it is certain to him/her, then it is certain to him/her.
I argue above that you are not using the same definition of certainty that I am - probably the cause of some of our misunderstanding. I am using 'certainty' as defined by a result that must be obtained if proper logical form is applied. You are using it as a measure of confidence a person has in 'what they know'. I would prefer to call what you are describing exactly that - "confidence". The "Confidence" a person has in the truth-value of a particular piece of knowledge, based on their own observations and reasoning skills, could be a "value" we could discuss - a value that may or may not be correct, based on the
individual's perceptions/reasoning.
My problem with your method is that its goal is to have some omnipotent knowledge. But accepting that you can't, and ever working towards it still. That seems pointless and backwards. You are trying to clear up the facts towards some false concept called 'absolute truth' (in the platonic fashion) even though you use different words.
One should work to understand and discover new facts, and re-evaluate old ones only when a contradiction is found. It is to use logic as an affirmative, not as a negative. New facts and discoveries bring new knowledge, and finds old errors. Even if someone deduces some contradiction, that deduction is based on induction anyways. It is pointless to give deduction any more usefulness than induction.
In your first paragraph, you ascribe to me the exact opposite view from the one I hold. I have never claimed anything about 'omnipotent knowledge' (by which, I think you mean, ominscience). I have said all along that knowledge is uncertain - that we don't know anything about 'Absolute Truth'. Olek is the one asking me if I am 'absolutely sure' of such statements. You need to direct your criticism of absolute truth to him, not me.
Your second paragraph is more puzzling - you say we should work to discover 'new facts' and 're-evaluate old ones when contradictions are found'.
Isn't that what I have been describing this whole time? The whole point of falsification is finding contradictions between hypotheses (groupings of logical inductions) and physical observations - when a contradiction occurs, one must re-evalutate the hypothesis in light of this new observation. I have been describing exactly what you just wrote, but you seem to think I am talking about something completely different.
What makes falsification work is that it is based on logical certainty. Again, if we assume that premises are true, then a deduction flowing from those premises must also be true. So, if we make a deduction from a grouping of premises (hypothesis), and that deduction (prediction) is contradicted by physical observation, then at least one of the premises within the hypothesis
must be false. We then go back and change the hypothesis. This all works because of the rules of deduction. Our Knowledge (the sum of our hypotheses) get's better and better because we are removing false ones as we go.
To relate that back to 'absolute truth', are you suggesting that the goal of making 'better and better hypothesis' is to achieve some 'omniscient truth' about reality? Because if that is what you are ascribing to me, then what do you call your own statments about learning from your errors? Wouldn't that be the same thing? I would not say that the goal of Popper is to achieve some 'absolute truth', because that would require absolute certainty (in the logical sense) of all of our Knowledge, which is not achievable. The goal of Popper is NOT absolute truth - it's making better and better hypothesis about something for which there is always uncertainty.
But whatever you think is the goal of what you are describing, you can't achieve better hypotheses by induction alone. I don't understand what you mean by stating that logic is an 'affirmative' process. Because knowledge gained by induction is not certain, in the logical sense, you have no way of discerning truth from falsehood in your premises. You can only achieve that via deduction and falsification.
I believe, however, that you are 'missing the trees by concentrating on the forest' - you have described the idea that you can learn new things and remove old errors by observation over time. What I think you are failing to describe is exactly
how you achieve those two objectives. If you examine your methods more closely, I think you'd see that any improvement you make to your premises based on contradiction is actually based on the rules of deduction. Adding new ideas may be induction, but you never obtain a measure of their truth-value without testing them, and testing them again involves deduction and falsification.
AT