discipline

logic; phenomenology; pragmatics; predicate logic; propositional logic; syntactics;