user avatar
user avatar
user avatar
Mauro ALLEGRANZA
  • Member for 8 years, 9 months
  • Last seen this week
40 votes
Accepted

Why does "Daisy has four legs" not entail "Daisy has more than two legs"?

30 votes

How is First Order Logic complete but not decidable?

21 votes

Where did Machiavelli say that "the ends justify the means"?

20 votes
Accepted

Is rejecting A not equivalent to accepting ~A?

18 votes
Accepted

What's the word for anything is true if the antecedent is false?

18 votes
Accepted

What's the name of the logical fallacy where a debater extends a statement far beyond the original statement to make it true?

15 votes
Accepted

In predicate logic, does existential quantification (∃) include universal quantification (∀), i.e. can 'some' imply 'all'?

14 votes
Accepted

Is 1=2 a logical contradiction, or merely a false statement?

14 votes

What is the origin of the truth table in logic?

14 votes

How is 0 defined?

13 votes
Accepted

Why was the horseshoe symbol (⊃) selected for Material Implication?

13 votes
Accepted

What's the right term in logic for this phenomenon?

13 votes

Is "I cannot imagine a mechanism for X to happen, so X can never happen" a named logical fallacy?

12 votes

Is every sentence we write or utter either true or false?

11 votes
Accepted

Are "If P then Q" and "Q only if P" equivalent?

11 votes

What is the truth value of the proposition 'All unicorns are beautiful'?

11 votes

Selection of logical connectives {¬,∨,∧,⇒,⇔} in set theory?

11 votes
Accepted

Why does Wittgenstein have a problem with writing “f(a, b). a = b"?

11 votes
Accepted

Is a set containing itself already a paradox?

11 votes
Accepted

How come intuitive thinking is related to constructing a proof?

10 votes
Accepted

Is it true that (P∧Q≡P)⇔(Q≡⊤)?

10 votes

What did Kant say on the invention of new terms?

10 votes

Three statements that contradict each other

10 votes

Is Wittgenstein right when he criticises recursion theory in the Tractatus 3.333?

9 votes
Accepted

Why is the darapti syllogism invalid?

9 votes
Accepted

"→" is the symbol for material implication. Is there such a thing as "immaterial implication"?

9 votes

Does Gödel's argument that minds are more powerful than computers have the inconsistency loophole?

9 votes

How do we know if a mathematical proof is valid?

9 votes
Accepted

What's the origin of this quote from Plato? "To suffer the penalty of too much haste, which is too little speed"

9 votes

Is the argument below valid?

1
2 3 4 5
32