TY - JOUR T1 - Která formule je ta pravá? (Kritéria adekvátnosti logické analýzy) JF - Organon F Y1 - 2012 A1 - Peregrin, Jaroslav A1 - Svoboda, Vladimír KW - argument KW - logic KW - logical form KW - reflective equilibrium AB - Transforming natural language sentences into formulas of a formal language (such as that of classical predicate logic) is a common practice that underlies most applications of logic to analysis of our reasoning/argumentation. Is this practice guided by any well established criteria? We argue that the answer is negative. The way from natural language to a formal one is much more tricky and much more arduous than it prima facie seems. We sketch a roadmap of this way and strive to explicate the criteria of adequacy of logical formalization that are implicit to the relevant practices. These considerations lead us to conceive logic as a project based on a search for a reflective equilibrium. Any formal system deserving the name logic must reach a balance between the authority of logical laws over individual arguments and their answerability to intuitive correctness of the bulk of such arguments. IS - 1 VL - 19 SP - 163-179 UR - http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2012/1/163-179.pdf U2 - Papers U3 - 163179 U5 - 1 TI - Which Formula is the Right One? (Criteria of Adequacy of Logical Analysis) ER -