Top network posts

• 45 Why should we care about syntactic proofs if we can show semantically that statements are true?
• 33 Why is it that the statement "All goblins are yellow" does not contradict the statement "All goblins are pink?"
• 30 How do you differentiate between At least one X and Exactly one X in predicate logic?
• 29 Could we rank languages, saying one is superior to the other?
• 21 What exactly is a contradiction and how does it differ from falsity?
• 14 Is this conception of countable vs. uncountable infinity adequate?
• 14 Why is $\{\emptyset\} \not = \emptyset$?
• View more network posts →