12230811
Description
Mind Map by LORENA SANTOS, updated more than 1 year ago
|
Created by LORENA SANTOS
almost 7 years ago
|
|
LOGICA SIMBOLICA
- También se conoce como lógica matemática. A veces, por
oposición a la lógica tradicional o aristotélica, también se le
llama lógica moderna, ya que sus primeros intentos inician a
mediados del siglo xix.
- G. W. Leibniz, fue el primero en proponer un lenguaje simbólico y universal.
- George Boole y Augusto de Morgan. En 1847, el primero publicó su obra El análisis matemático de la
lógica y el segundo, Lógica formal. En ambas obras se mostraban intentos leibnizianos de manejar la
lógica como cálculo.
- El representante principal de este movimiento fue Gottlob Frege, a quien todos consideraron como el fundador de la
lógica matemática. Su obra principal, La concepto grafía, se publicó en 1879. La obra más amplia de lógica simbólica:
Principia matemática, fue escrita por Bertrand Russell y Alfred Whitehead. Dicha obra fue publicada en 1910-1913.
- Las tablas de verdad tienen
mucha importancia dentro de
la lógica proposicional porque
son instrumentos para
demostrar la validez de los
argumentos que dicha lógica
maneja.
- Representación
esquemática de
las relaciones
entre las
proposiciones.
- Representación
esquemática de
las relaciones
entre las
proposiciones.
- Los conectivos lógicos principales son:
1. Y (conjunción). 2. O (disyunción
inclusiva). 3. O… o (disyunción
exclusiva). 4. Si… entonces
(condicional). 5. Si y sólo si
(bicondicional). 6. No (negación).
- Enunciados atómicos y moleculares. Se llaman
atómicos (simples) los enunciados que no tienen
conectivos. Si en un enunciado intervienen uno o
más conectivos, entonces dicho enunciado se
llama molecular (o compuesto).
- LOGICA MATEMATICA TRADICIONAL O NO
FORMAL
- Distingue un razonamiento correcto de un
razonamiento incorrecto como un producto
de la experiencia humana.
- Distingue un razonamiento correcto de un
razonamiento incorrecto como un producto
de la experiencia humana.
- Manipula las palabras como
signos, sin tener en cuenta su
sentido.
Media attachments
Want to create your own Mind Maps for free with GoConqr? Learn more.