Independence-friendly logic was invented around fifteen years ago by Hintikka and Sandu, and has consistently attracted controversy about whether it is useful or interesting. The arguments are not helped by the numerous subtle details of its semantics that were unclear or disputed. Recently there has been a flurry of activity, with three Ph.D. theses devoted to the fundamentals of IF logic. In this talk, I will introduce IF logic and its many interesting, not to say weird, properties, review the recent work in philosophical logic, and mention my own work on computer science versions of IF logics. The audience may then decide whether IF logic is user-friendly, where we are the users.

Registration required:

No

Free:

Yes