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.
VL - 19
UR - http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2012/1/163-179.pdf
U2 - Papers
U3 - 163179
U5 - 1
ER -