I asked similar question on the "Theoretical Computer Science" board and theoretical computer scientists advised me ask it here, in "Philosophy". So... Is there any formal language such that any ...
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 ...