Český logik a filozof. Jeden z průkopníků analytické filozofie a filozofie jazyka u nás. Ve svém díle se zabývá Ludwigem Wittgensteinem. Působí v Akademii věd, na Filozofické fakultě Karlovy Univerzity a na Univerzitě v Hradci Králové. Je popularizátorem svého oboru, například titulem Co je nového v logice.