within the context of cognitive science, certainty is an emotional state. Truths of logical systems analogize well to machines that do certain things. This is why computers do them so well. As do levers, hydraulics, etc. Again, limited context. If they were true in all contexts, then how could I say it was not true?