@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 28 Mar 2024}, author = {Gödel,Kurt}, subject = {Universal Validity}, note = {Berka I 314 Universal Validity/Goedel: universal validity leads to universal quantification: for formulas with free individual variables A(x,y,...w) this means the general validity of (x)(y)...(w) A(x,y,...w). >Universal quantification, >Quantification, >Existential quantification. Def Satisfiability/Goedel: "satisfiability" leads to >existence quantification. ((s)"there is a model".) This is then correspondingly the fulfillability of (Ex)(Ey)...(Ew) A. Then one can say: "A is universally valid" means: "~A is not fulfillable". >Satisfaction, >Satisfiability.Refutability: refutability is the provability of negation. >Negation, >Proofs, >Provability. I 310 Provability/universal validity/Goedel:... here we have proved the equivalence between "universally valid" and "provable". Over-countable/Goedel: N.B.: this equivalence contains a reduction of the over-countable to the countable for the decision problem because "generally valid" refers to the over-countable totality of the functions, while "provable" presupposes only the countable totality of the proof figures.(1) >Decision problem, >Countability, >Overcountable. 1. K. Gödel: Die Vollständighkeit der Axiome des logischen Funktionenkalküls, in: Mh, Math. Phys. 37 (1930), pp. 349-360.}, note = { Göd II Kurt Gödel Collected Works: Volume II: Publications 1938-1974 Oxford 1990 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 }, file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=395160} url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=395160} }