Is There a Difference Between if and Ant?

When the stoics actually start doing logic proper they take a very different approach to what we find in aristotle's prior analytics. As we saw, aristotle's logic is a theory of predication. It examines the relationships we can draw between claims like a is b and sum b is not c. The stoics tend to give examples involving claims like it is day, or this man walks. They call these simple assertions complete because they can be either true or false. An incomplete assertion would be, for instance, this man. You have to add something further, like walks, or hosa podcast, or is devastatingly handsome, to get something that can be true orfalse.