Talk:Independence-friendly logic
From Wikipedia, the free encyclopedia
 |
This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details. | ||||||||
| ??? | This article has not yet received a rating on the quality scale. | ||||||||
| ??? | This article has not yet received an importance rating on the importance scale. | ||||||||
|
|||||||||
This entry should be carefully reviewed by an expert in the field.
[edit] Clarifying or shortening?
Nortexoid changed (among other things)
- This is because c may depend on a and d may depend on b, so these existential quantifications (∃) must come after the corresponding universal quantifications (∀). First-order logic could express either independence by reordering the quantifiers (say by putting ∃c ∀b instead of ∀b ∃c to express ∀b ∃c/b), but it cannot express both independences at once.
(written by me as 76.84.155.213) into
- This is because c depend only on a and d depends only on b. First-order logic cannot express these independences by any linear reordering of the quantifiers.
with the edit summary "clarifying".
This doesn't seem clearer to me, quite the opposite in fact. However, brevity is also a reasonable goal, so I won't change it back; however, I'm preserving my version here, in case others want to think about how short and/or clear it should be. (However, I will fix the grammar, and revert an unwarranted spelling change while I'm at it.)
—Toby Bartels 11:28, 31 October 2007 (UTC)
On a second look, the word "only" (in both places) certainly does make it clearer, so anybody that prefers my longer version should still include Nortexoid's "only"s. —Toby Bartels 11:44, 31 October 2007 (UTC)
[edit] Feferman
I added a cite to an interesting article of Feferman that criticises IF logic and Hintikka's claims for it.[1] IF-logic at first sounded too good to be true and Feferman's article cleared things up somewhat for me. I don't think I explained the issue very well though. Maybe someone more expert than I am could take a look. —Preceding unsigned comment added by 75.62.4.229 (talk) 09:05, 21 November 2007 (UTC)
