Philosophy for Geeks, part 1