Problem: Do you think that the benefits of Rusellian/Whiteheadian/Fregean Predicate Logic's achievement in combining the strengths of Aristotelian Categorical logic and Stoic Propostional logic--combining quantifiers, predication and relations with sentential operators--outweigh the costs of such logic? What costs do you have in mind and why are they insignificant? Do you ever think it would be possible to reconcile system K modal logic with Aristotelian logic? What about merging all the glorious achievements of set theory with Aristotelian logic? OR what movies or television shows have you watched lately?