The formalisation tag has no wiki summary.
7
votes
1answer
226 views
What formal logical systems “resolve” the Liar Paradox?
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 ...
3
votes
1answer
78 views
Collecting any formalisations of morality
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 ...
0
votes
2answers
119 views
Descartes's *Cogito* from a modern, rigorous perspective
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 ...
13
votes
4answers
326 views
Is Philosophy formalisable?
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 ...
