@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024}, author = {Field,Hartry}, subject = {Decidability}, note = {II 343 Decidability/finiteness/mathematics/Field: the operator F ("only a finite number") makes undecidable propositions in a finite range decidable. - Regardless of specific finiteness we have no specific term anamyore of e.g. a sentence of a given language, e.g. a theorem of a given system, e.g. a formula of a given language, e.g. the consistency of a system. Because since Frege all evidence must be formalized. >Gottlob Frege, >Formal language, >Formalization, >Proofs, >Provability.}, note = { Field I H. Field Realism, Mathematics and Modality Oxford New York 1989 Field II H. Field Truth and the Absence of Fact Oxford New York 2001 Field III H. Field Science without numbers Princeton New Jersey 1980 Field IV Hartry Field "Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67 In Theories of Truth, Paul Horwich, Aldershot 1994 }, file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=216586} url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=216586} }