User Dennis

22 votes

Accepted

How is Gödel's incompleteness theorem interpreted in intuitionistic logic?

answered Jun 7, 2013 at 19:23

17 votes

Quantum Mechanics and Logic

answered Jun 19, 2013 at 1:01

10 votes

Is there any formal language such that any problem in the Universe can be described unambiguously using this language?

answered Jul 10, 2013 at 23:18

10 votes

Accepted

What is the difference between formalism and logicism

answered Mar 26, 2013 at 13:53

9 votes

Accepted

Is Nothing actually imaginable?

answered Jan 7, 2013 at 3:33

9 votes

Accepted

What was the impact of the discovery of non-euclidean geometry on Kantian thought?

answered Feb 18, 2013 at 7:00

9 votes

Accepted

How would you explain the implication - disjunction equivalence?

answered Jul 30, 2013 at 15:21

8 votes

Accepted

What is the difference between logic and mathematics?

answered Mar 7, 2018 at 3:02

7 votes

Accepted

In predicate logic, do we necessarily have to restrict the domain of discourse?

answered Oct 5, 2017 at 17:37

7 votes

Accepted

How do I go from ◊∃x□[∃y(y=x) ∧ Mx] to ∃x□[∃y(y=x) ∧ Mx]?

answered Jul 12, 2013 at 2:37

7 votes

Why is Ayn Rand's Objectivism philosophy dismissed by academics?

answered Feb 18, 2013 at 8:15

7 votes

Accepted

What did Acton mean by saying "absolute power corrupts absolutely"?

answered Feb 20, 2013 at 18:43

7 votes

What is modal logic for?

answered Feb 1, 2013 at 5:55

7 votes

Accepted

Modal Logic: a question concerning accessibility

answered Mar 13, 2013 at 14:00

6 votes

Accepted

How does Logic define "true" and "false"?

answered Feb 14, 2013 at 5:58

6 votes

Accepted

How does one differentiate between premise and proposition?

answered Feb 16, 2013 at 8:40

6 votes

Accepted

The coherentist solution to Agrippa’s Trilemma and the possibility of pure/impure justification?

answered Mar 27, 2013 at 4:29

6 votes

Accepted

What determines accessibility of possible worlds?

answered May 23, 2013 at 14:10

6 votes

Accepted

How to distinguish between 'a priori/posteriori' and 'analytic/synthetic'?

answered May 26, 2013 at 5:19

5 votes

Is there any connection between Structuralism and Category Theory?

answered Apr 12, 2013 at 22:23

5 votes

Is semantic truth independent of inference rules?

answered Mar 4, 2013 at 18:33

5 votes

Accepted

What is the logic in the Tractatus-Logico Philosophicus in modern terms?

answered Feb 2, 2013 at 5:52

5 votes

Accepted

Does modal realism dispense with Occams razor or embodies it?

answered Feb 13, 2013 at 2:17

5 votes

Authors on many-valued logics

answered Jan 7, 2013 at 2:41

5 votes

Accepted

What did Hume and Russell have to say about atheists and morality?

answered Jan 22, 2013 at 8:57

5 votes

Accepted

What is the status of the statement: "I am here now"?

answered Oct 14, 2015 at 17:20

5 votes

Accepted

In Gödels Incompleteness theorem what is the notion of truth?

answered Jun 14, 2013 at 20:18

5 votes

Is there any consequentialist moral theory aside from utilitarianism?

answered Oct 6, 2020 at 20:28

4 votes

Accepted

Do wholes tell us what the parts are?

answered Jan 18, 2018 at 2:33

4 votes

Accepted

Why does the philosophy concerned with the problem of negative existential statements not make use of mental representations to solve it?

answered Jan 17, 2016 at 22:34

Stack Exchange Network

70 Answers

How is Gödel's incompleteness theorem interpreted in intuitionistic logic?

Quantum Mechanics and Logic

Is there any formal language such that any problem in the Universe can be described unambiguously using this language?

What is the difference between formalism and logicism

Is Nothing actually imaginable?

What was the impact of the discovery of non-euclidean geometry on Kantian thought?

How would you explain the implication - disjunction equivalence?

What is the difference between logic and mathematics?

In predicate logic, do we necessarily have to restrict the domain of discourse?

How do I go from ◊∃x□[∃y(y=x) ∧ Mx] to ∃x□[∃y(y=x) ∧ Mx]?

Why is Ayn Rand's Objectivism philosophy dismissed by academics?

What did Acton mean by saying "absolute power corrupts absolutely"?

What is modal logic for?

Modal Logic: a question concerning accessibility

How does Logic define "true" and "false"?

How does one differentiate between premise and proposition?

The coherentist solution to Agrippa’s Trilemma and the possibility of pure/impure justification?

What determines accessibility of possible worlds?

How to distinguish between 'a priori/posteriori' and 'analytic/synthetic'?

Is there any connection between Structuralism and Category Theory?

Is semantic truth independent of inference rules?

What is the logic in the Tractatus-Logico Philosophicus in modern terms?

Does modal realism dispense with Occams razor or embodies it?

Authors on many-valued logics

What did Hume and Russell have to say about atheists and morality?

What is the status of the statement: "I am here now"?

In Gödels Incompleteness theorem what is the notion of truth?

Is there any consequentialist moral theory aside from utilitarianism?

Do wholes tell us what the parts are?

Why does the philosophy concerned with the problem of negative existential statements not make use of mental representations to solve it?