Based on a distinction according to each philosopher's choice, while a part of contemporary logic named "symbolic logic" is accepted as a tool for philosophy, another part called "mathematical logic", is regarded as a part of mathematics. Although mathematician-logicians agree upon the issues that mathematical logic should cover, that they do not have a reliable definition of mathematical logic can be seen in the two 'definitions' provided by Crossley and Shoenfield.
-
