Today we're going to talk about Symbolic AI - also known as "good old-fashioned AI". Symbolic AI is really different from the modern neural networks we've discussed so far, instead, it represents problems using symbols and then uses...

We just introduced a lot of notation in order to understand post-Fregean predicate logic. So now let's look at some concepts behind this type of logical thought so that we can compare it to earlier types of logic. In doing so we will...

How did logic continue to develop as the modern period in philosophy progressed? Mill and Comte discussed the inverse deductive method. But then a huge figure arose, George Boole. He innovated new logical symbology that got us closer to...

Previously we outlined Aristotle's enormous contributions in establishing logic as a formal field of inquiry. So what happened after that? How did the minds that followed, many directly in his lineage, develop this field further? What is...