warpus
In pork I trust
nah. for 2+2=4, you have to possess memory of definitions, rules of inference, as well as the applicability of the rules of inference to the given definitions and propositional forms. memory and our inferential capabilities are both fallible. Its definitely not an instance of 100% certain knowledge.
I would say, however, that we have 100% knowledge of our own seemings at the time at which we apprehend them.
I'm not sure what you mean.
You are 100% certain of 2+2 being equal to 4, given that you have 100% control over how the axioms and tokens are defined. Once you assume that the axioms and tokens are 'right', the answer must be 4, always.