Skip to main content
JDH's user avatar
JDH's user avatar
JDH's user avatar
JDH
  • Member for 12 years, 11 months
  • Last seen more than a week ago
98 votes
Accepted

Is Gödel's incompleteness theorem a cheap trick?

24 votes
Accepted

What are some works that apply an axiomatic method to something other than mathematics?

20 votes
Accepted

How does one tell apart left from right?

16 votes
Accepted

Could a sentient machine suffer?

11 votes

What are some works that apply an axiomatic method to something other than mathematics?

9 votes

Are there any philosophical works consisting entirely in conditional propositions?

8 votes

Is there such a thing as provability of provability?

8 votes
Accepted

Is it possible to determine an object's nonexistence?

7 votes
Accepted

Are there foundational theories of mathematics without constants?

7 votes

Strong AI vs Gödel's Theorem?

6 votes

Are there paradoxes involved in allowing for an unrestricted domain in predicate logic?

4 votes

Are there JTB epistemologies which reject the knowledge of some Gettier problems, but in which religious experiences still justify belief?

4 votes
Accepted

Which fallacy is this? "For every A, there is a B. Therefore, for every B there is an A."

3 votes

formula which is k-valid for only k > 2

3 votes

Does the idea that saving someone's life makes you responsible for them have any real philosophical roots, or is it merely a Hollywood trope?

2 votes

Can someone objectively demonstrate that their moral values are better than someone else's?

1 vote

Satisfiability proofs