"S&W choose to call entailment the semantical consequence relation generated by a matrix. They are not the only ones to do so, but this option is especially confusing in a book connected to the work of Anderson and Belnap, who have written a book called Entailment with subtitle The logic of relevance and necessity (cf. see [2] and also [17]) strongly linking “entailment” to a special kind of consequence relation, different from the the general one. It is well-known that the general definition presented by S&W as “entailment” is due to Alfred Tarski and that he uses the word “consequence” for it, and later on developing model theory he uses the symbol “|=” for it, which in latex is in fact called “models”. (a good name encompassing its double use in model theory, as a relation between models and formulas and as a consequence relation between theories and formulas generated by the first use)."
Review on Truth and Falsehood - An Inquiry into Generalized Logical Valuesby Yaroslav Shramko and Heinrich Wansing a aparecer em Studia Logica A razao por a qual os relevantistos gostam de usar a palavra entailement e ligada ao sentindo desta palavra em ingles (que vem do frances) e que muito difficil traduzir em portugues Entail (v.) mid-14c., "convert (an estate) into 'fee tail' (feudum talliatum)," from en- (1) "make" + taile "legal limitation," especially of inheritance, ruling who succeeds in ownership and preventing it from being sold off, from Anglo-French taile, Old French taillie, past participle of taillier "allot, cut to shape," from Late Latin taliare. Sense of "have consequences" is 1829, from notion of "inseparable connection." Jean-Yves _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
