Formalization as the Immanent Part of Logical Solving

Nikolai N. Nepejvoda
2018 Logical Investigations  
The work is devoted to the logical analysis of the problem solving by logical means. It starts from general characteristic of the applied logic as a tool: 1. to bound logic with its applications in theory and practice; 2. to import methods and methodologies from other domains into logic; 3. to export methods and methodologies from logic into other domains. The precise solving of a precisely stated logical problem occupies only one third of the whole process of solving real problems by logical
more » ... ans. The formalizing precedes it and the deformalizing follows it. Also it is shown by example how Arnold's principle works in logic: too "precise" formalization often becomes less adequate than more "rough".
doi:10.21146/2074-1472-2018-24-1-129-145 fatcat:ifgxfvssgze5zoibim7sruqnxi