Formalismo

(del latín «forma»). 1. Denominación generalizada del método antirrealista; abarca numerosas corrientes y escuelas en el arte y la estética de la sociedad burguesa de la época imperialista (abstraccionismo, cubismo, surrealismo, dadaísmo, purismo, primitivismo, fauvismo, tachismo, &c.). Todas estas corrientes, pese a que presentan ciertas diferencias entre sí, poseen rasgos característicos comunes: contraposición entre arte y realidad, escisión entre forma artística y contenido ideológico, proclamación de la autonomía y del primado de la forma en las obras de arte. El formalismo parte de la concepción idealista del goce estético, que se presenta como al margen de las ideas sociales, de los esenciales intereses vitales, del ideal estético y social, y, por ende, como dependiente por entero del «juego de las formas puras». Por lo común, sin embargo, el formalismo revela, en la práctica, que el contenido de sus obras se halla en completa dependencia de la ideología burguesa. Al mismo tiempo, el separar del contenido la forma lleva inevitablemente a la destrucción del arte, aunque ello se presente bajo el rótulo de «creación formal». El P.C.U.S. siempre ha luchado contra el formalismo como fenómeno hostil al arte socialista. 2. En matemática, es una corriente que aspira a resolver los problemas de la fundamentación de esta ciencia recurriendo a construcciones formalmente axiomáticas. El formalismo surgió a comienzos del siglo XX [193] (matemático alemán David Hilbert y sus colaboradores W. Ackermann, P. Bernays, Johannson Neumann). En contraposición al intuicionismo, Hilbert busca la salida de la crisis de los fundamentos de la matemática, en el método axiomático formalizado de rigurosa elaboración. Interpreta la veracidad de la teoría obtenida por dicho método como lo no contradictorio a la misma. Así reduce la veracidad de la matemática a su nocontradicción y procura demostrar esta última en la propia matemática. No obstante, dicha tentativa está en contradicción con los resultados de la matemática moderna (segundo teorema de Gödel). También desde el punto de vista filosófico, el formalismo es inconsistente, dado que, en última instancia, la teoría matemática, como cualquier otra teoría, encuentra su fundamentación en la práctica, en la concordancia con el objeto. Ahora bien, intentar inferir –como hace Hilbert respecto a la matemática– la veracidad de una teoría partiendo de la conformidad interna de los pensamientos, significa defender de uno u otro modo las posiciones del idealismo. Esto no excluye que los representantes del formalismo hayan alcanzado resultados positivos en la teoría de las demostraciones matemáticas.