I have attempted to show that many attributive adjectives can be dealt with within the framework of first-order predicate calculus by the method suggested in this paper. I've also supplied independent reasons for the claim that attributive adjectives that are not responsive to this method require a formal treatment different from the one that the adjectives successfully dealt with by that method require. Thus, if the method I've argued for is sound, then the scope of first-order predicate calculus was shown (...) to be wider than assumed by several logicians. This I take to be of interest from a logical point of view. (shrink)

Different logic systems are motivated by attempts to fix the counter-intuitive instances of classical argumentative forms, e.g., strengthening of the antecedent, contraposition and conditional negation. These counter-examples are regarded as evidence that classical logic should be rejected in favour of a new logic system in which these argumentative forms are considered invalid. It is argued that these logical revisions are ad hoc, because those controversial argumentative forms are implied by other argumentative forms we want to keep. It is impossible to (...) remove an argumentative form from a logical system without getting entangled in an intricate logical web, since these revisions imply the removal of other parts of a system we want to maintain. Consequently, these revisions are incoherent and unwarranted. At the very least, the usual approach in the analysis of counter-examples of argumentative forms must be seriously reconsidered. (shrink)