Gabriele Scarlatti
  • Member for 4 years, 3 months
  • Last seen more than a month ago
3 answers
33 votes
4k views
27 bookmarks
How did first-order logic come to be the dominant formal logic?
3 answers
32 votes
4k views
32 bookmarks
Is First Order Logic (FOL) the only fundamental logic?
6 answers
26 votes
44k views
17 bookmarks
What is the difference between a statement and a proposition?
4 answers
15 votes
8k views
17 bookmarks
Semantic vs syntactic consequence
4 answers
13 votes
18k views
14 bookmarks
What is the difference between intensional and extensional logic?
8 answers
11 votes
6k views
5 bookmarks
What is the truth value of the proposition 'All unicorns are beautiful'?
5 answers
8 votes
13k views
2 bookmarks
Difference between Tautology and Circular Reasoning
3 answers
8 votes
4k views
4 bookmarks
What's the difference between Aristotle's logic and Frege's logic especially with regard to predicates?
1 answers
6 votes
578 views
2 bookmarks
Why substitutivity doesn't work in an intensional context?
3 answers
5 votes
2k views
2 bookmarks
Are axioms tautologies?
8 answers
3 votes
450 views
1 bookmarks
Is it ethical for a country to give "refugees" free housing and benefits while many of its own citizens are homeless and starve?
2 answers
2 votes
177 views
1 bookmarks
Problem with existential import in syllogisms (Barbara)