Socrates is a Man Example

Socrates is a Man Example

There is a famous example of deductive logic.

All men are mortal.

Socrates is a man.

Therefore, Socrates is mortal.

In Blawx, “Man” is a category. “Socrates” is an object. “Mortal” is an attribute of the “Man” category. The phrase “All men are mortal” is a rule. The phrase “socrates is a man” is a fact. And you can ask Blawx whether or not the conclusion holds, essentially asking “is Socrates mortal?”

Here’s a short video showing how to do it.

No Comments

Add your comment