Topic: SCIENCE & NEWS
LOGIC NEWSGreg Restall is talking about his participation in the Logic Colloquium 2005. Here is a report about the second day.
Saul Kripke recently visited Argentine and Brazil, and delivered some talks at the Centre for Logic, Epistemology and the History of Science, during a Workshop on Semantics and Meaning. During the same workshop, Jean-Yves Béziau advanced his views on Many-Valued and Kripke Semantics. Itala D'Ottaviano, Zeljko Loparic, Marcelo Coniglio and Walter Carnielli, together with their (current and former) advisees, have also made very important contributions. Those contributions will be online sooner or later. The expected debate between Da Costa and Kripke did not take place though, the overall series of debates was very interesting and insightfull. João Marcos' talk on Non-truth functional Logics included things that were new to me and which I shall try to summarise in the near future.
 Soon Carnielli will publish his views on Fitch' paradox, which became the hottest event on Wednesday. (It almost
worked as if someone used a gallon of petrol to extinguish a bonfire! :P ) Some of his proposals were not only bold but fresh new and, after the responses of top senior Philosophers and Logicians and a great happy ending, everyone was eager to see what his paper will look like.
Posted by Tony Marmo
at 20:24 BST
Updated: Sunday, 31 July 2005 21:08 BST