Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinatorIvo PezlarSold outTrack