Jan Łukasiewicz

Jan Łukasiewicz

Jan Łukasiewicz (21 de diciembre de 1878 - 13 de febrero de 1956) fue un matemático polaco que nació en Lwów, Galicia (actual Ucrania). Su trabajo matemático se centró en la lógica matemática. Él pensó innovar en la tradicional lógica proposicional, el principio de no contradicción y el principio del tercero excluso.

Łukasiewicz trabajó en lógica polivalente, incluyendo su propio cálculo de tres valores de verdad, la primera lógica de cálculo no clásica. También se dedicó a la filosofía, aproximándose a los aspectos humanos de la creación de la teoría científica con ideas similares a las de Karl Popper.

Es autor, entre otras obras, de Elementos de lógica matemática, La silogística de Aristóteles desde el punto de vista de la lógica formal moderna, Sobre la teoría intuicionista de la deducción, Un sistema de lógica modal, y El principio de individuación.

Contenido

Biografía

Axiomatización de la lógica proposicional

Uno de los aspectos más conocidos del trabajo de Łukasiewicz son sus axiomatizaciones de la lógica proposicional. Una de esas axiomatizaciones consiste apenas en tres axiomas que, en notación moderna, podrían ser escritos de la siguiente forma:

  • (\phi \to (\psi \to \phi)) \,
  • ((\phi \to (\psi \to \chi)) \to ((\phi \to \psi) \to (\phi \to \chi))) \,
  • ((\neg \phi \to \neg \psi) \to (\psi \to \phi)) \,

A partir de estos tres axiomas, todas y sólo las fórmulas válidas de la lógica proposicional pueden ser inferidas vía substitución y/o modus ponens. Łukasiewicz también presentó una revisión de un sistema axiomático de Nicod que usa apenas un conectivo y posee un axioma:

Otro gran logro de Łukasiewicz fue una notación no ambigua para la lógica proposicional, suficiente para permitir la eliminación de paréntesis y otros signos usados para determinar el alcance de los conectivos lógicos. Esta notación es conocida como notación polaca y en ella los conectivos lógicos son prefijados en vez de infijados como ocurre en la notación usual. Esta notación tiene importancia teórica para las ciencias de la computación.

Véase también

Notas y referencias

  1. "El año pasado conseguí encontrar el axioma más corto de este cálculo.En la notación libre de paréntesis que he diseñado tiene sólo trece letras y la siguiente forma: CCCpqrCCrpCsp".
    Łukasiewicz, Jan. Estudios de logica y filosofía. Revista de Occidente. ISBN 84-292-8710-8, pág 135.

Bibliografía adicional

  • Frederick Seddon, ed (1996) (en inglés). Aristotle & Łukasiewicz on the Principle of Contradiction. Modern Logic Pub. pp. 142. ISBN 978-1884905049. 
  • Jan Wolenski, ed (1994). Philosophical Logic in Poland. Kluwer. ISBN 0-7923-2293-2. 
  • Łukasiewicz, Jan (1963). Elements of Mathematical Logic. Warsaw: Państwowe Wydawnictwo Naukowe. 
  • Łukasiewicz, Jan (1970). Selected Works. Ámsterdam: North-Holland. 
  • Łukasiewicz, Jan (1957). Aristotle´s Syllogistic. Oxford: The Clarendon Press. 
  • Łukasiewicz, Jan (1977). La silogística de Aristóteles desde el punto de vista de la lógica formal moderna. Tecnos. pp. 180. ISBN 84-309-0725-4. 
  • Łukasiewicz, Jan (1974). Para una historia de la Lógica de Enunciados. Cuadernos teorema. pp. 41. ISBN 84-600-6513-8. 
  • Łukasiewicz, Jan. Estudios de logica y filosofía. Revista de Occidente. pp. 143. ISBN 84-292-8710-8. 

Wikimedia foundation. 2010.

Игры ⚽ Нужна курсовая?

Mira otros diccionarios:

  • Jan Łukasiewicz — [jan wukaˈɕɛvʲitʃ] (* 21. Dezember 1878 in Lemberg; † 13. Februar 1956 in Dublin) war ein polnischer Philosoph, Mathematiker und Logiker. Inhaltsverzeichnis 1 Wirken 2 Werke …   Deutsch Wikipedia

  • Jan Łukasiewicz — (pronounced|ˈjan wukaˈɕɛvʲitʂ) (21 December, 1878 ndash; 13 February, 1956) was a Polish mathematician born in Lemberg, Galicia, Austria Hungary (now Lviv, Ukraine). His major mathematical work centred on mathematical logic. He thought… …   Wikipedia

  • Jan Łukasiewicz — Jan Łukasiewicz, né le 21 décembre 1878 à Lwów, mort le 13 février 1956 à Dublin, est un philosophe et logicien polonais. Sommaire 1 Éléments biographiques 2 Travail mathématique …   Wikipédia en Français

  • Jan Lukasiewicz — Jan Łukasiewicz [jan wukaˈɕɛvʲitʃ] (* 21. Dezember 1878 in Lemberg; † 13. Februar 1956 in Dublin) war ein polnischer Philosoph, Mathematiker und Logiker. Inhaltsverzeichnis 1 Wirken 2 Werk …   Deutsch Wikipedia

  • Jan Lukasiewicz — Jan Łukasiewicz Jan Łukasiewicz, né le 21 décembre 1878 à Lvov, mort le 13 février 1956 à Dublin, est un philosophe et logicien polonais. Sommaire 1 Éléments biographiques 2 Travail mathématique …   Wikipédia en Français

  • Łukasiewicz — ist der Familienname folgender Personen: Ignacy Łukasiewicz (1822–1882), polnischer Chemiker, Apotheker und Erfinder Jan Łukasiewicz (1878–1956), polnischer Philosoph, Mathematiker und Logiker Diese Seite ist eine Begriffsklärun …   Deutsch Wikipedia

  • Łukasiewicz logic — In mathematics, Łukasiewicz logic is a non classical, many valued logic. It was originally defined by Jan Łukasiewicz as a three valued logic;Łukasiewicz J., 1920, O logice trójwartościowej (in Polish). Ruch filozoficzny 5:170–171. English… …   Wikipedia

  • Łukasiewicz — Notable people named Łukasiewicz include:* Ignacy Łukasiewicz (1822 1882), a Polish pharmacist and first distiller of clear kerosene * Jan Łukasiewicz (1878 1956), a Polish mathematician …   Wikipedia

  • Łukasiewicz —   [u̯uka ɕɛvitʃ], Jan, polnischer Logiker und Philosoph, * Lemberg 21. 1. 1878, ✝ Dublin 13. 2. 1956; nach längeren Auslandsaufenthalten (Berlin, Leiden, Graz) 1911 Professor in Lemberg, 1915 in Warschau, 1918 20 in Regierungs Ämtern, danach mit… …   Universal-Lexikon

  • Jan Zeh — (* 2. Juli 1817 in Łańcut; † 26. Januar 1897 in Boryslaw) war ein polnischer Phamarzeut.[1] Seine Eltern waren der Apotheker Johann Ludwig und Kristine. Die Familie war zwei Generationen zuvor aus Ungarn eingewandert. Jan Zeh absolvierte das… …   Deutsch Wikipedia

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”