With an emphasis on the philosophy,this text examines formal ways of representing uncertainty (presented in terms of definitions and theorems) and considers various logics for reasoning about it.