Roman Suszko (Podobora, 9 de noviembre de 1919 - Varsovia, 3 de junio de 1979) fue un lógico y filósofo polaco, asociado a la tradición de la Escuela de Leópolis-Varsovia.Es conocido principalmente por la creación de la lógica no fregeana, una extensión de la lógica clásica que rechaza el llamado "axioma de Frege", según el cual todas las oraciones verdaderas tienen la misma referencia y todas las oraciones falsas tienen igualmente una referencia común.
Biografía Suszko nació en Podobora, cerca de Cieszyn (actualmente en Polonia). Su padre, Jerzy Suszko, fue químico, profesor universitario y rector de la Universidad de Poznań.
En 1937 inició estudios de física, matemáticas y química en la Universidad de Poznań. Durante la ocupación alemana vivió en Cracovia, trabajó como vigilante nocturno y telefonista, y continuó sus estudios de física, matemáticas y filosofía bajo la orientación de profesores de la Universidad Jaguelónica. En 1945 obtuvo el grado de magíster en filosofía en esa universidad con un trabajo sobre la lógica polaca dirigido por Zygmunt Zawirski.
En 1946 se trasladó a Poznań, donde trabajó en la cátedra de teoría y metodología de las ciencias dirigida por Kazimierz Ajdukiewicz. En 1948 obtendría ahí el doctorado con una tesis basada en sus trabajos "O analitycznych aksjomatach i logicznych regułach wnioskowania" y "Z teorii definicji". Su supervisor fue Ajdukiewicz. En 1951 obtuvo la habilitación con Canonic axiomatic systems.
Desde 1953 trabajó en la Universidad de Varsovia, donde fue decano de la Facultad de Filosofía entre 1960 y 1963 y dirigió la cátedra de Lógica II hasta 1965. También estuvo vinculado al Instituto de Filosofía y Sociología de la Academia Polaca de Ciencias. Entre 1967 y 1969, y nuevamente entre 1970 y 1973, fue profesor visitante en el Instituto de Tecnología Stevens. Murió en Varsovia el 3 de junio de 1979.
Obra En sus trabajos tempranos sobre "lógica sin axiomas" y teoría de la definición, Suszko investigó la posibilidad de reemplazar axiomas lógicos por reglas genuinas de inferencia. Estos problemas fueron tratados en "W sprawie logiki bez aksjomatów" (1948), "O analitycznych aksjomatach i logicznych regułach wnioskowania" (1949) y "Z teorii definicji" (1949).
En teoría de modelos colaboró con Jerzy Łoś y Jerzy Słomiński en trabajos sobre extensión de modelos, sumas infinitas y teoremas de inmersión para modelos relacionales.
Otra línea relevante fue la llamada lógica diacrónica, orientada a aplicar herramientas de teoría de modelos al análisis formal del desarrollo del conocimiento. En "Logika formalna a niektóre zagadnienia teorii poznania" (1957) y "Formal logic and the development of knowledge" (1968), Suszko representó el desarrollo cognitivo mediante transformaciones de lenguajes, teorías y modelos.
Su contribución más característica fue la lógica no fregeana. En "Ontology in the Tractatus of L. Wittgenstein" (1968), "Non-Fregean Logic and Theories" (1968), "Identity connective and modality" (1971), "Investigations into the sentential calculus with identity" (1972) y "Abolition of the Fregean Axiom" (1975), desarrolló una lógica en la que las oraciones conservan valores de verdad clásicos, pero no se identifican sus referencias bivalentemente. La idea central es que una oración no solo posee un valor de verdad, sino que describe una situación. Dos oraciones pueden tener el mismo valor de verdad y, sin embargo, referir a situaciones distintas. Por ello, el cálculo sentencial con identidad —SCI— introduce un conectivo de identidad proposicional para expresar que dos oraciones describen la misma situación. En "The Fregean axiom and Polish mathematical logic in the 1920s" (1977), Suszko situó históricamente esta crítica al axioma fregeano dentro de la tradición lógica polaca.
Recepción y legado A juicio de Mieczysław Omyła, Suszko es uno de los lógicos polacos más destacados de la segunda mitad del siglo . Su influencia se extendió a la lógica no fregeana, la semántica situacional, la lógica abstracta y los estudios sobre la relación entre lógica, lenguaje y ontología. Su lógica no fregeana habría sido menos conocida de lo que merecía, pese a la importancia de su programa de "abolición del axioma de Frege".
Su obra fue continuada por discípulos y colaboradores como Barbara Stanosz, Donald J. Brown, Mieczysław Omyła, Stephen L. Bloom y Ryszard Wawrzyńczak, entre otros. También influyó en autores vinculados a la semántica situacional y a las aplicaciones filosóficas de la lógica no fregeana, entre ellos Bogusław Wolniewicz, Ryszard Wójcicki y Jerzy Perzanowski.
Suszko fue uno de los fundadores de Studia Logica en 1953, editor ejecutivo de su primer volumen y miembro de su comité editorial hasta su muerte. En 1970 participó brevemente en la película satírica polaca Rejs, dirigida por Marek Piwowski, interpretándose a sí mismo como lógico y filósofo.
Publicaciones seleccionadas
"W sprawie logiki bez aksjomatów". Kwartalnik Filozoficzny, vol. 17, 1948, pp. 199-205. "O analitycznych aksjomatach i logicznych regułach wnioskowania". Poznańskie Towarzystwo Przyjaciół Nauk. Prace Komisji Filozoficznej, vol. 7, n.º 5, 1949, pp. 1-30. "Z teorii definicji". Poznańskie Towarzystwo Przyjaciół Nauk. Prace Komisji Filozoficznej, vol. 7, n.º 5, 1949, pp. 31-59. "Canonic axiomatic systems". Studia Philosophica, vol. 4, 1951, pp. 301-330. "Formalna teoria wartości logicznych. I". Studia Logica, vol. 6, 1957, pp. 145-237. "W sprawie antynomii kłamcy i semantyki języka naturalnego". Zeszyty Wydziału Filozoficznego Uniwersytetu Warszawskiego, n.º 3, 1957, pp. 49-56. "Syntactic structure and semantical reference. I". Studia Logica, vol. 8, 1958, pp. 213-244. "Syntactic structure and semantical reference. II". Studia Logica, vol. 9, 1960, pp. 63-93. "Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations". Studia Logica, vol. 11, 1961, pp. 185-216. Wykłady z logiki formalnej. Część I. Varsovia: PWN, 1965. "Formal logic and the development of knowledge". En Problems in the Philosophy of Science, Ámsterdam: North-Holland, 1968, pp. 210-222, 227-230. "Ontology in the Tractatus of L. Wittgenstein". Notre Dame Journal of Formal Logic, vol. 9, 1968, pp. 7-33. "Non-Fregean Logic and Theories". Analele Universităţii Bucureşti. Acta Logica, vol. 11, 1968, pp. 105-125. "Identity connective and modality". Studia Logica, vol. 27, 1971, pp. 7-41. "Investigations into the sentential calculus with identity", con S. L. Bloom. Notre Dame Journal of Formal Logic, vol. 13, n.º 3, 1972, pp. 289-308. "Abstract logics", con D. J. Brown. Dissertationes Mathematicae, vol. 102, 1973, pp. 9-41. "Abolition of the Fregean Axiom". En Logic Colloquium, Lecture Notes in Mathematics, vol. 453, Berlín: Springer, 1975, pp. 169-239. "The Fregean axiom and Polish mathematical logic in the 1920s". Studia Logica, vol. 36, 1977, pp. 376-380.
Véase también
Lógica no clásica Lógica matemática Lógica filosófica Teoría de modelos Gottlob Frege Ludwig Wittgenstein Kazimierz Ajdukiewicz Escuela de Leópolis-Varsovia
Referencias
Enlaces externos
Roman Suszko en Mathematics Genealogy Project. Roman Suszko and the non-Fregean Logics, en Theory and History of Ontology. Bibliografía seleccionada de Roman Suszko en Theory and History of Ontology.
Categoría:Filósofos de Polonia Categoría:Lógicos Categoría:Lógicos de Polonia Categoría:Profesores de la Universidad de Varsovia Categoría:Fallecidos en Varsovia Categoría:Hombres