This episode is recorded live in front of an audience at theInternational Association for Computing and Philosophy (IACAP)2014 conference in Thessaloniki, Greece. The guests are four of the most interesting participants at that conference: Selmer Bringsjord, Gregory Chaitin, Mariarosaria Taddeo and Wilfried Sieg. They represent both diversity, all of them having quite different backgrounds and main research area, but they all have a common denominator in logic and formal methods. This forms the backdrop for many of our discussions, in addition to background stories, more or less strange side-projects as well as future hopes and desires. The whole thing was an experiment, but it worked out quite well. I can only hope that the recording can do some justice to the event.