What kinds of things are we certain about?. Mathematical and logical truths.
Introduction to Artificial Intelligence LECTURE 8 : First Order Logic
A Modern Logic Primer vol. 1
The Basics: Some Familiar Territory
Emotions: Part 1