jazyk logika veda sousedik prokop