What is FORMAL PHILOSOPHY?

Formal methods are everywhere today, if you are curious about how coding can be used in philosophy, then you have found the right place!
Welcome to a brief introduction to the concept of Formal Philosophy. In this video, we explore the intersection of formal methods and philosophy.
Formal philosophy is not limited to formal logic, those methods are useful to tackle the problems that arise from the problem of induction. They are of particular interest in formal epistemologies in formal representations of beliefs (e.g. probabilism), formal theories of truth, decision theory, and game theory.
🔍 What You'll Learn:
- What's formal philosophy?
- In which branches those formal methods are used in philosophy?
- Why do we use formal methods in philosophy?
- What is the difference between formal philosophy and analytical philosophy?
📚 Main Areas Where Formal Methods Are Used:
- Reasoning and Inference (e.g. formal logic)
- Philosophy of Science
- Epistemology (formal epistemology - bayesian epistemology)
- Metaphysics and Philosophy of Language
- Value Theory and Moral Philosophy
- Decision Theory and Social Philosophy
📖 Mentioned Book:
'Introduction to Formal Philosophy'
link.springer....
Follow me on:
/ niklewa.philosophy
/ nikodem08752961
👍 Don't Forget to Like, Comment, and Subscribe!
If you enjoyed this video, don't be shy-subscribe for more thought-provoking content and share your thoughts in the comments about the subject.
-----------------------------
#philosophy #logic #epistemology #argument #philosophyofscience #formal #science #maths #math #reasoning #selfimprovement #education #decisionmaking #university #coding #psychology #culture #meditation #stoicism #experiments #criticalthinking #classics #decisionmaking #gametheory #bayesianism #deduction #induction #knowledge #truth #bayestheorem