Short version of my question. What formal logical systems can represent, and seem robust against, the Liar Paradox? N.B. I would like to avoid reference to truth-values, except inasmuch as they ...
I'm collecting formalizations of "morality" of any philosophical school. (My special wishes is anything for Kant, which I don't understand and for whom I didn't find anything seriously formal, at ...
In Descartes's Meditations, in order to establish a firm foundation upon which he could build a framework to determine philosophical and material truths, he begins by removing all of his then-current ...
This is something that has irked me for quite some time, especially since I come from a mathematically oriented background. Can the field of Philosophy be formalised in the sense that Mathematics is ...