Skip to main content

Posts

Showing posts from February, 2013

This sentence is refutable (dualizing Goedel)

While the standard informal interpretation of Goedel's sentence:
[G]   I am (/This sentence is) not provable. is quite well-known, it's dual sentence:
[DG] I am (/This sentence is) refutable. studied, for instance, by Smullyan, isn't. Yet, pretty much like you can run an argument for incompleteness using the former, you can also run a parallel argument using the latter. Just because it's fun to see how this works (if you're geeky enough), here's how it goes (it's quite easy). 
For simplicity let's assume the background theory is sound (it proves only truths) and sufficiently expressive.
One of the easiest arguments for incompleteness using [G] goes like this.

Suppose [G] is false. Then (because of what it says) it is provable, which contradicts soundness. So [G] is true.If [G] is true, it is not provable, so we have the first half of incompleteness.Given that [G] is true, its negation is false.If ~[G] is false, it cannot be provable, given soundness. Th…

CFP: Entia et Nomina III

The third conference within a series of logico-philosophical workshops I've been organizing is coming up. It will take place in Gdańsk, Poland (July 15-17, 2013). Accordingly, a call for papers is due. (The fourth one will take place in 2014 undercover as a Trends in Logic conference.) So here it is. Please distribute this information among your potentially interested colleagues. (PDF version here.) 
Gdańsk University (Poland) and Centre for Logic and Philosophy of Science at Ghent University (Belgium) invite submissions of papers related to the application of formal methods in philosophy, especially outside the narrow field of philosophy of logic and language. 
DETAILS

We plan around 12 presentation slots.Each speaker will be given 30-60 minutes to present, depending on the length of the paper.Each paper will be sent ahead of time to a participant who isn't its author with a request for a commentary.Each presentation will be followed by 10-15 minutes of a commentary by anothe…