Pražský rodák Bernard Bolzano zasluhuje pozornost nejen jako významný matematik, ale i jako jeden z průkopníků tzv. logické sémantiky. Tato "věda o významu" se opírá nikoli o psychologii, ale o logiku. Řada Bolzanových myšlenek byla sice po jeho smrti pozapomenuta, z dnešního pohledu je však zřejmé, jak jasnozřivě předjímaly základy, na nichž byla...