Abstract
There are two fundamentally different attitudes to the methods of formal logic in the logical tradition at least since Frege. On one hand, a logical formalization of some part of mathematics, or some other domain, is meant to articulate conceptually essential features of that domain as it exists. The formalization is fundamentally the result of a conceptual investigation, and not just the application of a certain technique for transforming informal notions into formal ones. Logical analysis is clarification of given concepts and conceptual relationships. And in this conception of logic, it is taken for granted that logical and conceptual problems, arising in some domain, concern something about which one can be absolutely right or wrong.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
