Area 51 » Science

69
followers

Logic

Proposed Q&A site for those interested in examining the principles of valid inference and correct reasoning apart from the many fields to which this knowledge is applied.
flag

25 Example Questions

active oldest votes
up vote 16 down vote
What is the difference between deductive arguments and inductive arguments?
added by Flimzy Nov 1 '11 at 7:30
link|flag
2  
Please note that only 10 upvotes are needed for a question to qualify to move this proposal forward. Please consider using your vote quota on questions currently voted <10. – Caleb Apr 24 at 9:23
up vote 11 down vote
How should I informally understand Peirce's Law compared to more common foundational axioms such as the law of the excluded middle?
added by Joe Wreschnig Nov 2 '11 at 17:00
link|flag
up vote 11 down vote
What is the difference between modus ponens (⊢) and implication (⇒)?
added by MattiSG Nov 18 '11 at 12:52
link|flag
up vote 10 down vote
What is the difference between a premise and a presupposition?
added by Caleb Oct 31 '11 at 14:12
link|flag
up vote 10 down vote
Can you give an example of the existential fallacy (or <insert favourite fallacy here>)?
added by Yuttadhammo Nov 1 '11 at 12:17
link|flag
up vote 10 down vote
How would a philosophical logician and a mathematical logician differ in their treatment of [the Axiom of Choice]?
added by Joe Wreschnig, edited by Dori Nov 2 '11 at 18:15
link|flag
up vote 8 down vote
When is it valid to build an argument using philosophical logic using a presupposition?
added by Caleb Oct 31 '11 at 14:02
link|flag
up vote 6 down vote
George W. Bush said "You're either for us or against us." This doesn't seem logical, but is there a name for this fallacy?
added by Flimzy Nov 1 '11 at 7:02
link|flag
up vote 5 down vote
Does K only matter as an upper limit to the strength of a modal proof or are there real modes of reasoning best captured by no frame conditions?
added by Joe Wreschnig Nov 2 '11 at 17:07
link|flag
up vote 5 down vote
Which benefits does the Skolem normal form bring to a logic statement?
added by MattiSG Nov 18 '11 at 12:56
link|flag
up vote 5 down vote
How can I express statement[/argument] [X] in [Y] logic?
added by Hrafn Dec 30 '11 at 7:53
link|flag
up vote 3 down vote
If no explicit parentheses are included in a logic statement and quantified variables are factored, which quantifiers have precedence over others?
added by MattiSG Nov 18 '11 at 12:58
link|flag
up vote 3 down vote
What is the difference between [X:{classical, constructivist, relevance, modal, etc.}] and [Y] logics? When should I consider using one over another?
added by Hrafn Dec 30 '11 at 7:45
link|flag
up vote 3 down vote
How to prove that some statement is unprovable given a set of premises?
added by Victor Feb 14 at 23:55
link|flag
up vote 2 down vote
Given the following informal statements, how to formalize them and get a proof or counter-proof of the hypothesis?
added by Victor Mar 2 at 22:12
link|flag
up vote 2 down vote
What makes ZFC immune to Russel's paradox?
added by Victor Mar 14 at 4:42
link|flag
up vote 1 down vote
What does it mean for an answer to "beg the question"?
added by Caleb Oct 31 '11 at 14:05
link|flag
4  
Wouldn't that be more of a question for english.stackexchange.com (or for a dictionary lookup)? – Keith Thompson Nov 2 '11 at 1:27
2  
Depends on if we are talking about its use in English, or what the fallacy (petitio principii) means. If it is the former, then I'd argue for English. If it is the latter, then I'd argue that it is as on-topic here as any question regarding informal fallacies. – Hrafn Dec 30 '11 at 7:38
up vote 1 down vote
Are there any limitations to the use of deduced statements, as compared to axioms, once in the middle of a reasoning?
added by MattiSG Nov 18 '11 at 13:01
link|flag
up vote 1 down vote
What properties does the entailment relation have to have for the quotient algebra to be well behaved?
added by Seamus Feb 14 at 14:30
link|flag
up vote 1 down vote
What applications are there for linear logic?
added by Seamus Feb 14 at 14:31
link|flag
up vote 1 down vote
What is a "natural deduction" system?
added by Seamus Feb 14 at 14:33
link|flag
up vote 1 down vote
What kind of logical argument/proof is used in [example argument]?
added by commando Feb 23 at 1:03
link|flag
up vote 1 down vote
Given the following contradicting statements given by different persons, where exactly one of them is lying, how to discover who is the lier?
added by Victor Mar 2 at 22:18
link|flag
The lier is the one crouching behind the bush. – Flimzy May 6 at 23:34
up vote 1 down vote
How to prove [X] by diagonalization?
added by Victor Mar 14 at 4:43
link|flag
up vote 1 down vote
What is the difference between formal and informal fallacies and why does it matter?
added by Caleb Apr 30 at 14:55
link|flag

Log in or register to propose your own example question!