. . . "('term-functor logic', TFL) shares with Aristotle's syllogistic the insight that the logical forms of statements that are involved in inferences as premises or conclusions can be construed as the" .