Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 1259

Use this tag for general questions about logic that are not categorizable under some more specific tag, like "mathematical logic", "informal logic", "classical logic", etc.

1 vote

What is the logical distinction between “the same” and “equal to?”

It seems an irrational logic but what is the actual logical distinction between things which have the same answer but are not “the same” - while having equal solutions? …
Sophie Swett's user avatar
  • 1,498
12 votes

If math is so deductive, why is it so hard to discover new math?

I think the premise of the question is false. Actually, it's easy to discover new math. Here's one way to find some new math. Take a sheet of paper and write down a bunch of "nonsense" equations with …
Sophie Swett's user avatar
  • 1,498
4 votes

Can a totally ordered set with a last element but no first element exist, or is this contrad...

Your friend's reasoning doesn't hold up. The argument that your friend is making is the following. Suppose that a totally ordered set with a last element, but no first element, exists. Then: Each ele …
Sophie Swett's user avatar
  • 1,498
1 vote

What does it mean to have a truth value of a 'nothing' type instance?

understand this "in a logical and philosophical way," because this programming language feature is designed based on what will be most convenient for the programmer, not based on any kind of underlying logic
Sophie Swett's user avatar
  • 1,498