lukeprog comments on Philosophy that can be “taken seriously by computer scientists”

[lukeprog]

Formal epistemology is a subfield within formal philosophy, probably the largest.

[JonathanLivengood]

Larger than logic? Hmm … maybe you’re thinking about “formal philosophy” in a way that I am unfamiliar with.