Stanisław Jaśkowski
Stanisław Jaśkowski| Nacimiento |
22 de abril de 1906 Varsovia |
|---|---|
| Muerte |
16 de noviembre de 1965(en 59) Varsovia |
| Entierro | Cementerio Powązki |
| Nacionalidad | polaco |
| Capacitación | Universidad de Varsovia |
| Ocupaciones | Matemático , filósofo |
| Trabajé para | Universidad Nicolás Copérnico |
|---|---|
| Campo | Lógica |
| Director de tesis | Jan Łukasiewicz |
Vista de la tumba.
Stanislaw Jaśkowski , nacido el22 de abril de 1906en Varsovia , murió el16 de noviembre de 1965en Varsovia, es un lógico polaco . Hizo importantes contribuciones a la lógica simbólica.
Biografía
Alumno de Jan Łukasiewicz , uno de los fundadores de la Escuela Lvov-Varsovia , Jaśkowski desarrolló en 1934 un sistema de lógica que refleja las técnicas de razonamiento de los matemáticos, un enfoque radicalmente diferente de los sistemas axiomáticos en boga en ese momento. Una notable coincidencia intelectual, un lógico alemán de la escuela de Hilbert, Gerhard Gentzen publicó un sistema comparable de forma completamente independiente y por razones muy diferentes en 1934. Estos sistemas se han convertido en herramientas estándar en la teoría de la prueba y en la enseñanza de la lógica.
Luego, Jaśkowski sorprende a la comunidad de lógicos al demostrar que ninguna tabla de verdad finita puede proporcionar una semántica adecuada para la lógica intuicionista. Este notable resultado subraya de manera rotunda las diferencias fundamentales entre la lógica clásica y la lógica intuicionista.
Su atrevimiento y originalidad son particularmente evidentes en su introducción de lo que ahora llamamos lógicas paracoherentes (o paraconsistentes). En ese momento, Jaśkowski llamó a sus sistemas lógicas tolerantes a la inconsistencia. De hecho, la lógica clásica satisface lo que se llama el principio de explosión: según este principio, si una teoría contiene una contradicción, entonces es posible probar absolutamente cualquier afirmación. Las lógicas tolerantes a las contradicciones no satisfacen este principio. Por tanto, es posible tener teorías inconsistentes que no sean triviales. Varios lógicos y filósofos de la ciencia están convencidos de que esta lógica es más fiel a la historia de la ciencia que la lógica clásica.
Jaśkowski fue rector de la Universidad Nicolás Copérnico en la ciudad de Toruń y murió en Varsovia en 1965.