As C.J. Martin (1991) has shown, Boethius himself lacked the conceptual apparatus to think in terms of sentence logic.
A modern reader will be inclined to see (4 6) as a piece of simple sentence logic: p→q; ¬q; therefore ¬p.
Since it was the Stoics who, in antiquity, developed a sentence logic, by contrast with Aristotle's term logic, it would appear that Boethius's treatise on hypothetical syllogisms is the tributary of Stoic logic.
In matching a few inputted keywords to its sentence database Ginger's algorithm is taking a big logic leap by anticipating where the sentence is actually going, and also generating some very formal-sounding suggestions — which can also steer the sentence logic way off course.
Al Jazeera, which plans to appeal, said the sentencing "defies logic, sense, and any semblance of justice".
On the second page of my book you will find this sentence, "The logic is that there are no innocent people in a guilty nation".
An issue that Frege's criterion didn't address is the status of the basic sentences of logic themselves.
In particular, it applies to the sentences of logic and mathematics as much as any other subject.
In a statement, al-Jazeera English's managing director Al Anstey said the sentence "defies logic, sense, and any semblance of justice".
In this he was following Frege and Russell, who likewise did not envisage an external source as somehow conveying a meaning upon expressions and truth upon sentences of logic.
