123
logic
× 39 |
8
induction
× 2 |
4
propositional-logic
|
1
computation
|
47
philosophy-of-mathematics
× 16 |
7
paradox
× 4 |
4
ontology
|
1
turing
|
37
philosophy-of-logic
× 8 |
7
proof
× 2 |
3
validity
× 2 |
1
pascal
|
30
modal-logic
× 10 |
6
infinity
× 2 |
3
possible-worlds
× 2 |
1
reference-request
|
26
symbolic-logic
× 7 |
5
quantification
× 2 |
3
paraconsistency
× 2 |
1
skepticism
|
24
philosophy-of-mind
|
5
atheism
× 2 |
3
theology
|
1
simulated-universe
|
24
intuitionistic-logic
|
5
truth
|
3
philosophy-of-religion
|
1
brain-in-a-vat
|
21
predicate-logic
× 5 |
5
negation
|
3
ontological-argument
|
1
propositions
|
18
set-theory
× 6 |
5
definitions
|
2
universe
|
1
analytic-philosophy
|
13
foundations-of-mathematics
× 4 |
4
metaphysics
× 2 |
2
history-of-philosophy
|
1
semantics
|
10
epistemology
× 3 |
4
good-and-evil
|
2
metaphilosophy
|
1
formal-theory
|
9
goedel
× 4 |
4
materialism
|
2
argumentation
|
1
formalisation
|
9
natural-language
|
4
ethics
|
1
arithmetic
|
0
philosophy-of-science
|