Search Results

Since you can completely fill out a truth table for "not A", "A and B", and "A or B", but not for "if A then B", can it really be a logical connective? The only thing that can be confirmed about the …

I just got the hang of using truth tables as a method to test for validity and invalidity. Now I'm learning the natural deduction method, and been told that it can test for validity, but not invalidit …

I'm hearing that predicate logic replaces term logic, but teaching of predicated logic assumes knowledge of term logic. … What are essential to know from term logic before studying propositional and predicate logic? …

I don't understand how a theory can be undecidable (there is no effective procedure for determining if a sentence of the language is a theorem) and also be complete. How do we know all sentences are p …

"Homer Simpson is Marge Simpson's husband." Is this a true statement since it accurately describes the fictional character, Homer Simpson, or is it false since there is no Homer Simpson in reality to …

Would "this sentence is false" make a theory containing it both undecidable & incomplete, while "this sentence is unprovable" make a theory containing it incomplete(syntatically) but not necessarily u …

I think most would agree that: P or !P !(P and !P) are always true. This allows us to have certainty no matter what we're talking about. Does that make the logical connectives the most fundament …

I've looked at several resources to learn about logic and metalogic, and they first present syntactic consequence and semantic consequence as separate things and then try to show how each implies the other … I'm sure there is a good reason, but I would like to get a good intuitive sense of why, and these kinds of "soft" issues are usually glossed over in learning materials about logic that I've come across …

Is there something analogous to this for logic and mathematics as a whole? A collection of concepts that are more fundamental than found in logic and mathematics that give insight into both? …

This question is in context of the umbrella view of objects, that there exists a general category that everything falls under. Here are the quote and link that peaked my curiosity. Finally, note t …

I'm interested in Priest's solution using paraconsistent logic, but before I embark on that, I wanted to know if there was a generally agreed upon solution in more "classical" schools of thought. … If this is so, I'm inclined to think that maybe paraconsistent logic is required for a better way of systemizing thought. …