Hacker News new | ask | show | jobs
by dborg 4421 days ago
Yes of course we can get away from defining any new systems of logic by simply taking working with different kinds of relations or functions in our classical logic. This doesn't show that non-classical logics are useless but that classical logic and classical mathematics are incredibly powerful and can describe practically anything.

Note that this article is very far from the wishy washy hippie claims like "Everything is connected! And you have your truth man and I have my truth". Instead it gives a popular-science description of some non-classical systems of logic, their historical background and how they relate to Buddhist philosophy and certain problems of reference. Personally I don't really think the logics presented solve these problems in a satisfactory way, but they are definitely of philosophical interest (o/w Cambridge University Press wouldn't have published his "An Introduction to Non-Classical Logic").