[Koglist] Logic and Philosophy of Science Seminar, M. Gomori and G. Hofer-Szabo