Kniha Jan Caramuel z Lobkovic, Vybrané aspekty formální a aplikované logiky, pojednává o filosofické logice barokního učence Jana Caramuela z Lobkovic (1606–1682). Theolog, matematik a logik Caramuel ve své formální logice předjímal některé charakteristické prvky moderní matematické logiky, které došly rozvoje až v polovině 19. století. Caramuelovo dílo také vykazuje zajímavé aplikace logického přístupu v celé řadě filosofických a theologických námětů. Kniha poskytuje systematický vhled do myšlenkového světa vysoce originálního raně novověkého scholastického autora a poukazuje na trvalou aktuálnost mnoha jeho závěrů.