There are certainly mathematical logicians who are formalists, even in the light of the incompleteness theorems. |
You do not want linguistic theory to analyze all coordinate structures the way logicians do, in terms of binary coordinators. |
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. |
This book is an introduction to logic, as contemporary logicians now understand the subject. |
Less is known about the Megarian logicians, but they seem to have been particularly interested in conditionals, and also in logical paradoxes. |
How, exactly, does the terminology usually regarded by logicians as logical work in making it the case that one sentence follows from others? |