Logic as Semiotic