Now a language [in the form of first-order predicate calculus] is extensional, in this … interchangeable salva veritate [without change in truth value, Leibniz]. In an extensional language, … [p. 31] There is no assurance here that the … of fact, as the extensional agreement of "creature … If a language contains an intensional adverb "necessarily" … [as in "Necessarily all and only bachelors are unmarried men"] in such a language does afford a … the notion of analyticity is already understood in …
Google-1
Google-2
Copyright clearance needed for quotation.