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
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Favorites infavorites:mine
infavorites:1234
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 user 2429

For questions about logic, whether it concerns syllogistic logic, mathematical logic or the nature of logic itself.

1
vote
∀x ∈ Man : x ∈ People ∃x ∈ Man : x ∈ Clever --------- ∀x ∈ People : x ∈ Clever Typing hint: ∀ - "for every" (HTML: ∀ Unicode: ∀) ∃ - "exists" (HTML: ∃; Unicode: ∃) ∈ - "elem …
answered Oct 31 '12 by bytebuster
5
votes
Even the phrase "Alice likes berries" may be impossible to evaluate. "Alice": colloquially, it means "a person from a certain community whose name is Alice". From the formal point of view, it may me …
answered Oct 6 '12 by bytebuster
7
votes
It was an old anecdote "It depends on a definition what is is", but it seems to answer your question. There are several formal meanings to is: A is B stands for "any object x that belongs to a cate …
answered Oct 5 '12 by bytebuster