1. Analytic Philosophy
2. Theology
3. Metaphysics
4. Metaethics
5. Epistemology
6. Physics
7. Cosmology
8. Advanced Mathematics
9. Biblical Studies
10. A.I.
#promosky
1. Analytic Philosophy
2. Theology
3. Metaphysics
4. Metaethics
5. Epistemology
6. Physics
7. Cosmology
8. Advanced Mathematics
9. Biblical Studies
10. A.I.
#promosky
1: If ¬∃x(x = God), then atheism is true
2: ∀y(∃x(x = y) → Being(y)) (if an individual exists, then it is a being)
3: It is not the case that God is a being
4: ¬∃x(x = God)
5. Therefore, atheism is true
1: If ¬∃x(x = God), then atheism is true
2: ∀y(∃x(x = y) → Being(y)) (if an individual exists, then it is a being)
3: It is not the case that God is a being
4: ¬∃x(x = God)
5. Therefore, atheism is true
Thoughts? 💭
Thoughts? 💭
Thoughts? 💭
Thoughts? 💭
• (∀x ∀y x=y) ∧ (∃x ∃y ([x=x] > [y = y]))
"All animals are equal, but some animals are more equal than others" — Animal Farm by George Orwell
• (∀x ∀y x=y) ∧ (∃x ∃y ([x=x] > [y = y]))
"All animals are equal, but some animals are more equal than others" — Animal Farm by George Orwell
• ∀p(¬W(p) → ¬S(p))
"He who does not weep does not see" — Les Misérables by Victor Hugo
• ∀p(¬W(p) → ¬S(p))
"He who does not weep does not see" — Les Misérables by Victor Hugo
Let's explore them. 🧵
Let's explore them. 🧵