Monthly Archives: March 2017

Logic without Bound Variables

I’ve already described the relatively simple Monadic Hybrid Calculus that allows you to say simple things formally without bound variables. For example, sG may mean “Socrates is Greek”, [G]M “all Greeks are Mortal”, and the conclusion “Socrates is Mortal”, sM. … Continue reading

Posted in Uncategorized | Leave a comment