The Stack Overflow podcast is back! Listen to an interview with our new CEO.
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 886

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

6
votes
Temporal logic tries to account for the affect that time has on the truth value of sentences. It's an extension of classical logic that adds some new operators. Classical logic is tenseless, meaning … by two with no remainder." This kind of logic was developed to help analyze mathematical arguments, so this makes sense. There never was a time that even meant anything other than "divisible by 2 …
answered Sep 30 '11 by Nathan