Search Results
| 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 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| 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 logic
Search options not deleted
user 13745
Use this tag for general questions about logic that are not categorizable under some more specific tag, like "mathematical logic", "informal logic", "classical logic", etc.
2
votes
"This sentence is true". Is there a word for this class of statement?
I'm not sure that that particular kind of sentence has a name. This could just be for historical reasons - it's not obvious that there is anything philosophically interesting to say about these kinds …
- 1,090
1
vote
How to find redundant premises?
What you're picking up on is the monotonicity of sentential logic. A logic is monotonic just in case if A |- C, then A, B |- C, for any B (pardon the formatting). …
- 1,090
2
votes
Accepted
Is the Completeness of a logical system considered an integral part any 'good' logical system?
By their lights, what logic is for is formalizing arguments (at first-order). … These philosophers won't regard second-order logic as having 'failed', even though it's semantically incomplete, because it does precisely what they want it to: precisely characterize structures. …
- 1,090
2
votes
Prove A ∨ D from A ∨ (B ∧ C) and (¬ B ∨ ¬ C) ∨ D ( LPL Q6.26) without using --> or material ...
The proof is going to be a big v-elim on A v (B ^ C). You could just have easily done the v-elim on (~B v ~C) v D, however. I've tried to make the notation match what's in the textbook, though I admit …
- 1,090
3
votes
Shouldn't statements be considered equivalent based on their meaning rather than truth tables?
I think what you're picking up on is the Fregean distinction between sense and reference. The referent of a term t is the object that t picks out 'in the world', whereas the sense of t is, roughly, so …
- 1,090