Antes de las cenizas

Derivaciones lógicas resueltas y enlaces sobre lógica

Bertrand Russell

Ya está disponible pinchando AQUÍ o en el apartado de la derecha «FOTOCOPIAS Y APUNTES DE CLASE FILOSOFIA» una pequeña colección de derivaciones lógicas resueltas, para poder practicar la lógica esta Semana Santa, entre saeta y saeta.
Ya puestos aprovecho para colgar una selección de links de lógica muy interesantes:

Recursos para lógica de Bachillerato

Curiosa página de algún profesor de Filosofía de Bachiller que se ha tomado la molestia de recolectar no sólo una gran cantidad de material para la lógica, sino para la filosofía de bachillerato en general. No vendrá mal echarle un vistazo a la página principal de su web: http://gutenberg-e.iespana.es/

Sección de Lógica de Cibernous

Cibernous es una página web especializada en la filosofía de Bachillerato. Esta es su sección de lógica. Es muy adecuada para este nivel y puede aportar cosas interesantes, aunque está incompleta.

Cálculo lógico

Manual de lógica formal online con ejercicios y soluciones. Muy completo. No viene mal un vistazo.

Proyecto Aracne

Se trata de la página de lógica de la Universidad de Salamanca.

The Power of Logic

Interesante manual de lógica con ejercicios online. Muy completo y aunque está en inglés, se entiende con facilidad.

Ayudantes

En esta página podemos bajarnos una serie de ‘helpers’ o ayudantes. Se trata de unos programitas para practicar con ellos la lógica, desde los clásicos silogismos hasta las derivaciones lógicas, pasando por las tablas de verdad. Son interesantes, pero debido a la notación especial que utilizan resultan algo liosos.

Applet de Lógica

Otro programa online para trastear con las fórmulas de la lógica de enunciados.

Logic Toolbox

Una colección de herramientas online para diversos ámbitos de la lógica.

Recursos de lógica

Un portal con un montón de enlaces y materiales para el estudio y la enseñanza de la lógica. Me ha parecido interesantísimo y, desde luego, un buen comienzo para profundizar en las distintas ramas de la lógica. Hay que visitarlo.

Tutorial sobre pensamiento crítico

Se trata de un manual online sobre las estrategias lógicas del análisis crítico de un texto. Está en inglés, pero también es muy sencillo, además, al ser muy visual se entiende todo perfectamente.

Mission Critical

Otro exhaustivo sitio sobre pensamiento crítico.

Red Ilógica

Web de investigación lógica de la universidad de Alicante

Tutorial de programación en Prolog

El Prolog es el lenguaje de programación lógica por excelencia (PROgramación LÓGica). Es fácil y potente. Requiere estar algo (no mucho) familiarizado con la lógica de predicados. Se trata de un lenguaje de programación muy usado para representar el conocimiento y para aplicaciones de inteligencia artificial. Hay que dedicarle algo de tiempo pero merece la pena.

Glossary of First-Order Logic

Completísimo diccionario de términos y conceptos lógicos. Contiene muchas entradas y las explicaciones son muy breves y claras. Como antes, está escrito en un inglés fácil de entender aunque sólo contemos con los rudimentos de esta lengua.

Reglas derivadas de la lógica de enunciados demostradas

Cuelgo, por fin, en la sección de FOTOCOPIAS Y APUNTES DE CLASE (FILOSOFÍA) las reglas derivadas de la lógica de enunciados demostradas. También podéis descargarlas pinchando AQUÍ. La mayoría han sido vistas en clase, pero algunas no. En todo caso será cómodo tenerlas ahí.
Para preparar el examen de lógica es conveniente, además de hacer muchos ejercicios, comprender bien estas demostraciones, que funcionarán a modo de heurísticas.

Pero para que no todo sea estudiar (!) os propongo que penséis en la siguiente tautología:

Mero Facilitador

Un buen precepto que no voy a cumplir: No dar ideas.

Leo, en alguna web dedicada a la enseñanza, que en algunos centros para los problemas de disciplina están poniendo en práctica o planteándose algo así como “carnets por puntos”, y “contratos” para estudiantes – con acertada ironía plantea el autor del artículo que tal vez debería entrecomillarse esta última palabra- . Les invito a que intenten proponer una baremación, especial regocijo produce imaginar lo bien que se lo pasará más de uno de los poseedores de tal carnet racionando las tropelías, con la consiguiente mejora en cálculo -una bondad adicional de la medida-. Imaginar en cambio al cráneo privilegiado que propone la medida no les resultará difícil aunque menos divertido. Ignoro si tal propuesta se ha llevado a cabo en realidad, pero no es difícil pensar en algún posible promotor y en quienes fervientemente la secundarían. -«De diez cabezas nueve embisten y una piensa» ,Antonio Machado.-

Cualquier estudiante de lógica lo sabe, claro lo dejó Aristóteles: “una vez aceptado un absurdo se siguen todos los demás, no hay dificultad en ello”.

Ahí estriba toda la dificultad: alcanzar al primer absurdo. Pero no es nada fácil porque está bien protegido; la reducción al absurdo no sirve con los defensores de este sistema, estos te aceptan uno y mil absurdos y se quedan tan panchos.

Orwell en estado puro. Y lo que nos queda por ver.

Acompáñelo con un buen vino blanco y que aproveche.