Filosofické a logické kořeny informatiky

Řešení tohoto projektu bude vycházet z filosofických, logických a matematických poznatků výynamných myslitelů, jejichž dílo mělo a má zásadní výynam pro základy dnešní informatiky.  Hlavní pozornost bude věnována pracem těchto logiků - Rudolf Carnap, Kurt Gödel, Bertrand Russel, Ludwig Wittgenstein, Alan Turing, Berttrant Otto Neurath, Herbert Feigl, Philipp Frank, Friedrich Waismann, Hans Hahn, Hans Reichenbach, Gustav Hempel, Alfred Tarski, Willard Van Orman Quine a Alfred Ayer. Cílem je vytvoření systematického pojednání, které vyloží základy současné informatiky na bázi filosofie a logiky. Výsledky budou publikovány v časopisech na mezinárodní úrovni s cílem projekt uzavřít publikací knižní v prestižním nakladatelství Springer.