Frege's 1879 concept notation gave a formal system that made it possible for logicians to come up with a strict definition of a proof. |
|
We had made a mistake in setting ourselves up as predictors rather than as systematic thinkers or logicians. |
|
There are certainly mathematical logicians who are formalists, even in the light of the incompleteness theorems. |
|
How, exactly, does the terminology usually regarded by logicians as logical work in making it the case that one sentence follows from others? |
|
You do not want linguistic theory to analyze all coordinate structures the way logicians do, in terms of binary coordinators. |
|
Less is known about the Megarian logicians, but they seem to have been particularly interested in conditionals, and also in logical paradoxes. |
|
This book is an introduction to logic, as contemporary logicians now understand the subject. |
|
Any one of the ordinary, everyday proofs mathematicians deal with in their work can be re-written in a formal way that fits into this framework the logicians have axiomatized. |
|
Venn extended Boole's mathematical logic and is best known to mathematicians and logicians for his diagrammatic way of representing sets, and their unions and intersections. |
|
Arab logicians had inherited Greek ideas after they had invaded and conquered Egypt and the Levant. |
|
His contributions to semantics, especially to the maturing theory of supposition, are still studied by logicians. |
|
Boole's work and that of later logicians initially appeared to have no engineering uses. |
|
The sense of these propositions is very plain, though logicians might squabble a whole day whether they should rank them under negative or affirmative. |
|
It was the early hope of modern logicians that various branches of mathematics, perhaps all of mathematics, could be derived from a consistent collection of basic axioms. |
|
He is widely held to be one of the 20th century's premier logicians. |
|
Logicians disagree about what additional axioms and revisions are needed to make more of our beliefs about time be theorems of a symbolic logic of time. |
|
Logicians analyze how analogical reasoning is used in arguments from analogy. |
|