IF logic

[gusl]

Dear logicians, I would like to see a sentence in IF logic that has indeterminate truth-value. Is this a misunderstanding?

I am interested in the question of whether FOL is ever insufficient for modeling finite or countably-infinite domains.

Comments

[marknau.livejournal.com]

Do you mean that the structure of the argument renders it inherently indeterminate?

Because any if-logic statement can be made indeterminate by slipping in an indeterminate statement.

"If Gustavo will never die, then my grandchild will be King of Mexico."

[gustavolacerda.livejournal.com]

By IF logic, I mean http://en.wikipedia.org/wiki/Independence-friendly_logic .

[marknau.livejournal.com]

Whoa, facinating. Looks like you've unwittingly killed my productivity for the rest of the work day.

[fancybred.livejournal.com]

since I only first read about IF logic yesterday, I don't have an answer to your question. However, I read about it in a fascinating article by Samson Abramsky on "Socially responsive, environmentally friendly logic".

[lordspaz.livejournal.com]

Odd, I just read both of those articles yesterday too. Do I know you?

[fancybred.livejournal.com]

Do I know you?

Yes, this is Noam.

Odd, I just read both of those articles yesterday too.

Sorry, that might be my fault. Do you work with Miro?