Filozofie Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator Jiří Raclavský