Universidad Simn Bolvar Filosofa de la Lgica

Resumen Parte B1

Integrantes: Gabriel Austin 09-10066 Simon Castillo 09-10147 Carlos Marquez 07-41158

En este captulo, Mitchell se enfoca en exponer las ideas, formas y reglas que conforman al clculo proposicional como modelo de representacin de la lgica proposicional Para empezar, Mitchell introduce las formas de razonamiento reconocidas por la lgica tradicional, el modus ponens y el modus tollens. Muestra su forma para mostrar en principio el clculo proposicional. Expone que La lgica de las proposiciones comprende aquellas leyes de necesidad lgica vigentes entre proposiciones, cualquiera que sea la estructura interna de estas. Explica que estas leyes que permiten determinar la veracidad o falsedad de una relacin entre proposiciones puede presentarse con un vocabulario lgico compuesto por signos: la negacin, la conjuncin, la disyuncin, la relacin de antecedente y consecuente y smbolos que representes variables proposicionales. Al adentrarse en el clculo proposicional lista los signos que utiliza, que significado tienen para la lgica proposicional y de qu manera se pueden construir relaciones entre ellos a partir de sus definiciones. La veracidad o falsedad de estas proposiciones compuestas es decretada por la verdad o falsedad de las proposiciones no compuestas con las que estn construidas. Luego, Mitchell plantea un mtodo para determinar la veracidad de una proposicin en clculo, la tabla de la verdad. En esta tabla se despliegan la proposicin compuesta que se desea verificar y las proposiciones que la componen, se le asignan un valor de verdad (V) o falsedad (F) a las proposiciones no compuestas en la tabla. Con esta informacin se comienza a calcular el valor de verdad de las subsiguientes proposiciones construidas. Esto se realiza con diferentes permutaciones de los valores hasta obtener todas las posibilidades. Esta herramienta lleva Mitchell a mostrar que es posible ordenar la formulas del clculo proposicional. El habla de leyes lgicas, imposibilidades y formulas contingentes. Adems, hablas de establecer relacin de compatibilidad o incompatibilidad entre formulas lgicas mediante los resultados de las tablas de la verdad. Para lograr esto explica que deben de decretar ideas o conceptos que se acepten como primitivos de los cuales al determinar smbolos e para expresar relaciones entre la ideas se establecen ciertas proposiciones como axiomas o leyes primitivas. Estas servirn como premisas para deducir todas las restantes leyes de la lgica de proposiciones. Mitchell continua y muestra los axiomas aceptados para e proposicional y expone las 3 leyes de inferencia con las que se deducen el resto de las leyes de la lgica. Ms adelante se adentra en el significado de cada uno de los smbolos del clculo proposicional, explicando su relacin con el lenguaje ordinario o ms bien cmo podemos relacionarlos y que forma de proposicin abarca cada uno. Finalmente, Mitchell cierra el captulo asegurando que el clculo proposicional es un genuino modelo de sistema lgico.

En el siguiente captulo, Mitchell nos habla del lenguaje que utilizamos para comunicarnos y su importancia para la lgica. l explica que a la lgica no le importa la enunciacin sino, el significado que existe en dentro de ella. Mitchell nos dice que el significado que engloban las anunciaciones es lo que denominamos proposicin, luego, se adentra en qu es el significado. l manifiesta que es el significado se puede clasificar de dos maneras en una enunciacin: el significado general y la cosa significada. El significado general es el sentido, lo que quiere decir la expresin. Luego tenemos la cosa significada, esta hace referencia al sujeto al cual hacemos objeto del significado. Por ejemplo, El rector fue electo. El signifi cado general de esta expresin es que un rector fue electo, mientras que la cosa significada es algn rector que fue electo. Las proposiciones son las cosas significadas aunque tambin puede ocurrir que son los significados generales si la cosa significada es un significado general. Pero no basta con que pensemos en el significado de los enunciados como proposiciones, Mitchell, discute que en la lgica proposicional se deben estudiar son los hechos. l no nos habla de los hechos vistos como eventos fsicos sino vistos como proposiciones lgicamente verdaderas que permite su evaluacin a nivel lgico.