Monthly Archives: March 2017

Logic without Bound Variables [200 views]

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