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...