Jan Łukasiewicz

De Wikipedia, le encyclopedia libere
Saltar a: navigation, cercar

Jan Łukasiewicz (21 de decembre, 1878 - 13 de februario, 1956) mathematico polonese que nasceva in Lwów, Galicia (al presente in Ucraina). Su travalio mathematic se focalisava in le logica mathematic. Ille pensava innovar in le traditional logica prepositional, le principio de non contradiction e le principio del tertie excludite.

Łukasiewicz travaliavo in logica polyvalente, includente su proprie calculo de tres valores, le prime logica de calculo non classic. Tamben se dedicava al philosophia, se approximante al aspectos human del creation del theoria scientific con ideas similar al de Karl Popper.

Es autor, inter altere obras, de Elementos de logica mathematic; Le syllogistica de Aristoteles del puncto de vista del moderne logica formal; Super le theoria intuitionistic del deduction; Un systema de logica modal; Le principio de individuation.

Vita[modificar | modificar fonte]

Axiomatisation del Logica Propositional[modificar | modificar fonte]

Uno del aspectos plus cognoscite del travalio de Łukasiewicz son su axiomatisationes del logica propositional. Un de istes axiomatisationes consiste a pena in tres axiomas que, in notation moderne, pote esser scribite del sequente forma:

  • (p\rightarrow q)\rightarrow ((q\rightarrow r)\rightarrow(p\rightarrow r))
  • p\rightarrow(\neg p\rightarrow q)
  • (\neg p\rightarrow p)\rightarrow p)


A partir duo axiomas, le formulas valide del logica propositional pote esser inferite via substitution e/o modus ponens. Łukasiewicz tamben presentava un revision de un systema axiomatic de Nicod que usa a pena un connective e possede a pena un axioma.

Altere grande attingimento de Łukasiewicz era un notation pro logica propositional non ambigue, sufficiente pro permitter a elimination de parenthesis e altere signos usate pro determinar le objetivo del connectives logic. Iste notation era cognoscite como notation polonese e in ille le connectives logic son prefixate in vice de infixate como accide in le notation usual. Iste notation ha importantia theoric pro le scientias del computation.

Ligamines externe[modificar | modificar fonte]

Lecturas in anglese[modificar | modificar fonte]

  • Aristotle & Łukasiewicz on the Principle of Contradiction, ed. by Frederick Seddon (Modern Logic, 1996) ASIN 1884905048
  • Philosophical Logic in Poland, ed. by Jan Wolenski (Kluwer, 1994) ISBN 0-7923-2293-2
  • Jan Łukasiewicz: Elements of Mathematical Logic, Warsaw, Państwowe Wydawnictwo Naukowe, 1963
  • Jan Łukasiewicz: Selected Works, Amsterdam, North-Holland, 1970
  • Jan Łukasiewicz. Aristotle´s Syllogistic. Oxford: The Clarendon Press (1957)
Logo

Iste pagina usa contento del Wikipedia in espaniol. Le articulo original se trova a es:Jan Łukasiewicz, e es usate secundo le mandatos del licentia de Wikipedia.