2 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz
em Biblioteca Digital de la Universidad Católica Argentina
Resumo:
Resumen: La vera intenzione teologica di Anselmo d’Aosta nello scrivere il Proslogion e il vero significato del suo celebre unum argumentum vanno visti nella funzione che la ragione svolge necessariamente all’interno della vita di fede del cristiano. Anselmo, come Tommaso d’Aquino, non sostiene che l’esistenza di Dio sia un “articulus fidei” ma piuttosto uno dei “praeambula fidei”. La ragione naturale ha la certezza che Dio esiste, ancora prima della dimostrazione metafisica, e questo non fa che confermare l’assurdità di pensare che non esista il fondamento reale di tutte le cose esistenti.
Resumo:
Resumen: Michael Behe y William Dembski son dos de los líderes de la Teoría del Diseño Inteligente, una propuesta surgida como respuesta a los modelos evolucionistas y anti-finalistas prevalentes en ciertos ambientes académicos e intelectuales, especialmente del mundo anglosajón. Las especulaciones de Behe descansan en el concepto de “sistema de complejidad irreductible”, entendido como un conjunto ordenado de partes cuya funcionalidad depende estrictamente de su indemnidad estructural, y que su origen resulta, por tanto, refractario a explicaciones gradualistas. Estos sistemas, según Behe, están presentes en los vivientes, lo que permitiría inferir que ellos no son el producto de mecanismos ciegos y azarosos, sino el resultado de un diseño. Dembski, por su parte, ha abordado el problema desde una perspectiva más cuantitativa, desarrollando un algoritmo probabilístico conocido como “filtro explicatorio”, que permitiría, según el autor, inferir científicamente la presencia de un diseño, tanto en entidades artificiales como naturales. Trascendiendo las descalificaciones del neodarwinismo, examinamos la propuesta de estos autores desde los fundamentos filosóficos de la escuela tomista. A nuestro parecer, hay en el trabajo de estos autores algunas intuiciones valiosas, las que sin embargo suelen pasar desapercibidas por la escasa formalidad en que vienen presentadas, y por la aproximación eminentemente mecanicista y artefactual con que ambos enfrentan la cuestión. Es precisamente a la explicitación de tales intuiciones a las que se dirige el artículo.