Donald Kalish

Donald Kalish (4 de diciembre de 1919 - 8 de junio de 2000) fue un lógico , educador y activista contra la guerra estadounidense .

Nacido en Chicago, Illinois , Kalish obtuvo su licenciatura y maestría en psicología y su doctorado en filosofía en la Universidad de California, Berkeley . Después de enseñar en el Swarthmore College y en la UC Berkeley , se unió al cuerpo docente de la Universidad de California, Los Ángeles en 1949. ^{[1] [2]}

Kalish fue quizás más conocido por su abierta oposición a la guerra de Vietnam y, más tarde, por su oposición a la intervención militar estadounidense en Nicaragua y Granada . Como presidente del departamento de filosofía de la UCLA , Kalish contrató a la activista política marxista Angela Davis , un acto que generó una considerable controversia en su momento. En 2001, el Departamento de Filosofía de la universidad inició el Premio Donald Kalish a la excelencia intelectual, otorgado al estudiante universitario más prometedor del departamento.

Kalish fue uno de los fundadores de la Facultad de Asuntos Preocupados de la UCLA. Fue miembro del Comité Universitario sobre Vietnam y vicepresidente del Consejo de Acción por la Paz de Los Ángeles. Es conocido por su papel de líder del Consejo de Acción por la Paz en una protesta de 1967 contra las políticas del presidente Lyndon Johnson en Vietnam en el Century Plaza Hotel de Los Ángeles, que reunió a 10.000 personas. También fue organizador de la Marcha sobre el Pentágono de 1967 para protestar contra la guerra de Vietnam y sus actividades fueron narradas de forma destacada en The Armies of the Night (1968) de Norman Mailer .

En 1967, Kalish firmó una carta declarando su intención de negarse a pagar impuestos en protesta contra la guerra de Estados Unidos contra Vietnam e instando a otras personas a adoptar también esta postura. ^[3]

Kalish era un experto en lógica, teoría de conjuntos e historia de ambas disciplinas. Junto con Richard Montague , desarrolló un método innovador y elegante para realizar demostraciones lógicas formales mediante deducción natural.

Kalish era un profesor de primera clase y devoto, que enseñaba con precisión, compasión y entusiasmo. Era el proverbial "maestro de maestros", con la rara habilidad de poder hacer que incluso los conceptos más complejos y arcanos fueran fácilmente comprensibles para sus alumnos. A la mayoría de sus alumnos les encantaban sus clases. En sus clases de lógica y teoría de conjuntos, los estudiantes no veían nada de sus opiniones políticas. Regularmente les daba a sus alumnos el número de teléfono de su casa con la instrucción de que si alguna vez querían hablar sobre una tarea, lo llamaran a cualquier hora, de día o de noche. ^{[ cita requerida ]}

Cuando se realiza una demostración con el método de Kalish y Montague, las líneas tienen una estructura sangrada de "pruebas dentro de pruebas". La primera línea de la demostración más externa siempre comienza con la palabra "Mostrar" seguida del enunciado que se va a demostrar. Pueden aparecer líneas "Mostrar" adicionales en cualquier parte de la demostración, iniciando así subpruebas. Inmediatamente después de una línea "Mostrar", las líneas subsiguientes se sangran un nivel. Cuando se completa una demostración en cualquier nivel, se dibuja un recuadro alrededor de las líneas en esa sangría, haciéndolas inaccesibles a partir de entonces, y se cancela la palabra "Mostrar", con lo cual el enunciado después del "Mostrar" cancelado se convierte en una línea activa, accesible en el siguiente nivel. Una demostración está terminada cuando todas las líneas excepto la primera están encerradas en uno o más recuadros, y se cancela la palabra "Mostrar" en la primera línea. El método es extremadamente elegante y ayuda en gran medida a la comprensión y enseñanza de la lógica.

El sistema de prueba se explica en detalle en Logic: Techniques of Formal Reasoning de Richard Montague y Donald Kalish, que se publicó en 1964. Montague murió en 1971. Kalish publicó una segunda edición del libro en 1980 con Gary Mar. Desde finales de la década de 1960, estos libros se han utilizado como libro de texto en muchas universidades, incluida la UCLA.

• Lógica: técnicas de razonamiento formal , de Donald Kalish y Richard Montague , 1964
• Lógica: técnicas de razonamiento formal , de Donald Kalish, Richard Montague y Gary Mar , 1980