Lgica II (L.S.

I)
Actividad 6.2.1) Realiza un informe sobre la vida de Luckasiewick y Kleene.
Jan ukasiewicz (21 de diciembre de 1878 - 13 de febrero de 1956) fue
un matemtico, lgico y filsofo polaco que naci en Lepolis, Galitzia (actual Ucrania). Su
trabajo se centr en la lgica. l pens innovar en la tradicional lgica, el principio de no
contradiccin y el principio del tercero excluido.
ukasiewicz trabaj en lgica plurivalente, incluyendo su propio clculo de tres valores de
verdad, la primera lgica de clculo no clsica. Tambin se dedic a otras reas de la filosofa,
aproximndose a los aspectos humanos de la creacin de la teora cientfica con ideas
similares a las de Karl Popper.
Es autor, entre otras obras, de Elementos de lgica matemtica, La silogstica de Aristteles
desde el punto de vista de la lgica formal moderna, Sobre la teora intuicionista de la
deduccin, Un sistema de lgica modal, y El principio de individuacin.
Stephen Kleene (n. Hartford, Connecticut, Estados Unidos; 5 de enero de1909 f. Madison, Wisconsin; 25 de enero de 1994) fue un lgico y matemtico estadounidense.
Introdujo la operacin Clausura de Kleene, denotada por el smbolo V*.
Kleene naci en Hartford, Connecticut, Estados Unidos. Recibi su ttulo de artes en el
Amherts College en 1930. Desde 1930 a 1935 fue un estudiante graduado y asistente
investigador en la Universidad de Princeton, donde recibi su doctorado en Matemticas en
1934, supervisado por Alonzo Church, por una tesis titulada Una teora de Enteros Positivos
en Lgica Formal. En 1935 ingres en el departamento de matemticas UW-Madison como
instructor. Se convirti en asistente de profesor en 1937.
Desde 1939 a 1940 fue un visitante escolar en Princeton del Institute for Advance Study
(Instituto para Estudio Avanzado), donde fund la teora de las funciones recursivas, un rea
de inters que sera investigada por l durante toda su vida. En 1941 regres a Amherst como
Profesor Asociado de Matemticas.
Durante la Segunda Guerra Mundial, Kleene fue teniente-comandante en la Armada de los
Estados Unidos. Adems, fue instructor de navegacin en la US Naval Reserves
Midshipmens School en New York, y despus director de proyecto en la Naval Research
Laboratory (Laboratorio de Investigacin de la Armada) en Washington, D.C.
En 1946 regres a Wisconsin, convirtindose en profesor en 1948. Ah fue presidente de
Matemticas y Ciencias Computacionales en 1962 y 1963, y decano del Colegio de Letras y
Ciencias desde 1969 hasta 1974. En 1964 fue llamado el profesor de Matemticas Cyrus C.
MacDuffee. Se retir en 1979.

Un vido escalador de montaas, Kleene tuvo fuerte inters en la naturaleza y el ambiente, y

particip en muchas causas a favor de Conservacin del Ambiente. Condujo varias
organizaciones profesionales, sirviendo como presidente de la Association of Symbolic Logic
(Asociacin de Lgica Simblica) de 1956 a 1958. En 1961 fue presidente de la Internacional
Union of the History and the Philosophy of Science. Muri en Madison, Wisconsin.

Actividad 6.2.2) Cmo se realiza tanto el anlisis sintctico como el semntico para
cada clculo. Especifique en qu consiste el estudio de cada una de estas ramas.

Mtodo semntico
En el mtodo semntico, se dice que un esquema de argumento es vlido cuando es
imposible que las premisas sean verdaderas y la conclusin falsa. Para determinar si esto es
el caso, se supone la verdad de las premisas, y aplicando las definiciones de verdad, se
intenta deducir la verdad de la conclusin. O tambin, se supone que las premisas son
verdaderas y la conclusin falsa, y aplicando las definiciones de verdad, se intenta deducir
una contradiccin (reduccin al absurdo).
En la lgica proposicional, un mtodo alternativo es transformar un argumento en su
correspondiente frmula, y construir su tabla de verdad. Si la frmula resulta ser una verdad
lgica, entonces el argumento es vlido. Esto se debe a que vale el teorema de la deduccin y
su converso, pero tambin a que la lgica proposicional es decidible, y por lo tanto siempre
admite de un procedimiento algortmico para determinar si una frmula cualquiera es una
verdad lgica o no.

Mtodo sintctico
En el mtodo sintctico, se dice que un esquema de argumento es vlido cuando existe
una deduccin de la conclusin a partir de las premisas del argumento y
los axiomas del sistema, utilizando slo las reglas de inferencia permitidas. En un sistema
de deduccin natural, como el conjunto de axiomas es vaco, un esquema de argumento
ser vlido cuando exista una deduccin de la conclusin a partir de las premisas,
utilizando slo las reglas de inferencia permitidas.