The tag has no usage guidance.

learn more… | top users | synonyms

0
votes
1answer
48 views

How to infer ¬Q when there seems to be no way to

Rule #1: No man shall hit another man. Rule #2: If someone breaks Rule #1, then Rule #1 does not apply to such a one. My specific question is: How can someone infer that Rule #1 does apply to him? ...
0
votes
1answer
34 views

Help understanding possible world formalism

I am a total novice to philosophy trying to make sense of a computer science article which makes reference to possible world theory. I don't really understand the formalization in the last sentence ...
3
votes
3answers
117 views

What's formal philosophy?

Some great logicians and mathematicians (e.g. Gödel) in the past have pointed (perhaps implicitly) to the possibility of formal philosophy (can be referred to as "exact philosophy" as well). I read it ...
4
votes
2answers
325 views

How does abstraction/generalization in mathematics fit into inductive reasoning?

I have a question about the nature of generalization and abstraction. Human reasoning is commonly split up into two categories: deductive and inductive reasoning. Are all instances of generalization ...
1
vote
2answers
70 views

Formal philosophy

I heard that there are philosophy classes that teach philosophy in a very rigorous and formal and mathematical manner. Are there books that do this? I would like some recommendations.
1
vote
0answers
56 views

What are the biggest advances in formal philosophy? [closed]

e.g. Is the formalization of occam's razor as minimum description length (Solomonoff induction) an example of this? Or the formalization of complexity as kolmogorov complexity?
4
votes
2answers
96 views

Rigorous resources on the philosophy of language

I would like to find some introductory resources on the philosophy of language that are also rigorous, as I come from a mathematical background with my interests rooted in mathematical logic. Ideally ...
6
votes
6answers
276 views

Is there any formal language such that any problem in the Universe can be described unambiguously using this language?

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 ...
12
votes
2answers
944 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
93 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
320 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 ...
17
votes
4answers
480 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 ...