FICHAS DE L GICA LIBRO DE LECTURAS 1er PARCIAL
Lógica Proposicional
La Lógica de Frege
La Lógica de Frege
Pg. 161-165
Gottlob Frege (1848-1925), desarrolla un primer sistema axiomático, simbolizado, consistente y completo, de lógica de 1er orden.
Sus formulaciones filosófico-matemáticas acerca de diversos problemas tanto epistémicos comoónticos que rebasan el terreno relacionado solamente con los fundamentos de las matemáticas es causa de interés a la obra de Frege. Vale la pena mencionar su importante discusión de la distinción semántica entre sentido y referencia.
El Begriffsschrift y el origen de la Lógica contemporánea.
En 1879, Frege publica una breve obra, su Begriffsschrift, que se convertiría en la obra que marca elcomienzo de la Lógica formal contemporánea. Introduce una modificación radical en el análisis de las proposiciones. Propone verlas bajo la forma de función y argumentación.
Se caracteriza por el rigor en la presentación de sus demostraciones.
La manera más confiable de llevar a cabo una prueba es seguir la lógica pura, depende de las leyes en que se funda todo conocimiento.
Para los propósitoscientíficos que fue creado, el mismo facilitaría el proceso del análisis y de ello se seguirá una mayor facilidad para descubrir nuevas verdades, propiciara un mayor avance en la ciencia.
Frege propone la idea de una de matriz de evaluación para los enunciados de cálculo proposicional.
Jorge González Sánchez. Lógica Selección de Lecturas, México D.F.: JGS González- Sánchez, Enero de 2015
La Lógica comoCiencia Formal
Tipos de Proposiciones
Conectivas Lógicas
Pg. 166-177
Se denominan conectivas lógicas las expresiones que sirven para formar proposiciones compuestas, a partir de las proposiciones simples.
1. <
2. <
3. <
4. <
Negación. Dada una proposición, es posible negar su sentido en variasformas.
La negación puede reducirse a la palabra <
Conjunción. Cuando la conectiva <
Disyunción. La conectiva <
Condicional. Se simboliza << >>, se escribe entre las dos proposiciones relacionadas por esta conectiva. Señala que si la proposición antecedente es verdadera, también la consecuente.
Bicondicional. Es una conectiva lógica que se simboliza <<>>, y que al relacionar dos proposiciones, indica que el valor de verdad enambas es el mismo.
Jorge González Sánchez. Lógica Selección de Lecturas, México D.F.: JGS González- Sánchez, Enero de 2015
Tablas de Verdad
Tablas de Verdad
Tablas de Verdad
Pg. 181-183
Nos interesa analizar las formas en que se relacionan unas proposiciones con otras, independientemente de su contenido.
Abstraer: (p V q) ^ (q r).
Una vez abstraída la forma de una proposición, hemos de determinaren qué casos es verdadera y en qué caso es falsa, lo cual depende de los valores de verdad de las proposiciones simples que intervienen en la proposición compuesta, así como las conectivas lógicas empleadas.
Pueden formarse proposiciones compuestas:
A partir de una proposición simple, como en (~p )
A partir de dos proposiciones simples, como en (p ^ q)
De tres proposiciones simples, como en (p Vq) ^ (q r)
O, aún más, como en (p V q) V (r V s)
En cualquier Tabla de verdad han de anotarse en primer lugar los posibles valores de verdad de las proposiciones simples que en ella intervienen.
Si en la proposición compuesta solo hay una proposición simple (como en ~p), únicamente hay dos posibles valores de verdad;
Si en la proposición compuesta hay dos proposiciones simples (como en pq),...
Regístrate para leer el documento completo.