Od jazyka k logice