Académique Documents
Professionnel Documents
Culture Documents
DEDICATORIA
Dedicamos este trabajo a
nuestros padres que le debemos
la vida y familiares que nos
apoyan y nos dan la fortaleza para
continuar cuando estamos a punto
de caer; por ello con toda la
humildad de nuestros corazones
podemos emanar.
De igual forma a nuestros
compañeros y amigos que nos
apoyan les agradecemos con todo
el cariño y su comprensión
incondicional.
INDICE
INTRODUCCION
LOGICO FORMAL
HISTORIA DE LA LOGICA
Fue Aristóteles en el siglo iv quien puso las bases de la ciencia lógica. Sus estudios
fueron durante mucho tiempo orientación fundamental en el desarrollo de la disciplina
lógica: nos ha legado magníficos estudios sobre falacias informales, y lógica formal a
través de la teoría de los silogismos los filósofos megáricos y estoicos continuaron estos
estudios: inician la lógica de enunciados o proposiciones. desde entonces, y salvo
excepciones no hubo más aportaciones originales hasta el siglo xix, y la lógica se limitó
a desarrollar las teorías griegas: esta es la llamada lógica tradicional aunque descartes
y leibniz quisieron generar un lenguaje automático para el razonamiento, la lógica no
avanza hasta la contribución de matemáticos como boole (1815-1864), frege (1848-
1925) cantor ( conjuntos ) y peano ( clases ) que inician la llamada lógica simbólica (que
se diferencia por su simbolismo) russell introduce la lógica simbólica: se sustituyen
términos y enunciados , así como los elementos que señalan relaciones entre distintos
símbolos. Es una lógica formalizada, puesto que utiliza un lenguaje en el que aparecen
símbolos perfectamente definidos que nos permite formular los resultados.
CONCEPTO
La lógica es la disciplina que estudia el razonamiento. El antiguo filósofo Aristóteles fue
quien primero trató con ella. La palabra lógica proviene del vocablo griego 'logos', que
significa 'razón' o 'pensamiento'. Aristóteles definió al ser humano como un animal
racional. Si nos guiamos por esta definición, llegamos a la conclusión de que la lógica
es imprescindible para que el ser humano pueda vivir de acuerdo a su naturaleza.
Los componentes principales de todo proceso lógico son tres: las premisas, el
razonamiento, también conocido como argumento lógico, y la conclusión. La lógica nos
garantiza que, si utilizamos premisas verdaderas, mediante un razonamiento válido
podemos llegar a conclusiones verdaderas, es una ciencia muy importante para el
aprendizaje ya que nos ayuda con el orden en nuestro razonamiento, y esto nos ayuda
a la vez a la resolución de nuestros problemas.
Es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de
la inferencia mediante la construcción de lenguajes formales, sistemas deductivos
y semánticas formales. La idea es que estas construcciones capturen las características
esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser
estructuras formales y susceptibles de análisis matemático, permiten
realizar demostraciones rigurosas sobre ellas.
El contenido formal es objetivo refleja tan solo leyes objetivas las relaciones más
generales y simple, pero no guarda ninguna relación directa con las propiedades
concretas de un objeto determinado, que se refleja en uno u otro juicio concreto.
Una de las tareas primordiales de la lógica formal es el estudio del contenido de nuestra
mente a fin de utilizarlo para perfeccionar las formas deductivas anteriores y establecer
otras nuevas.
LÓGICA DE ENUNCIADOS
Estudia la validez formal de los razonamientos teniendo en cuenta el valor de verdad
(verdadero o falso) de cada uno del enunciado. Toma el enunciado como un todo, y no
los analiza internamente en sujeto y predicado. Esto comporta algunas limitaciones en
aquellos comportamientos cuya validez no puede averiguarse sin analizan los
enunciados que lo componen. Veamos esta inferencia, que es válida: analizado de esta
forma, es posible conocer qué hay en la estructura de la inferencia que haga que ésta
sea válida. Tanto la lógica de predicados como la lógica de clases analizan internamente
los enunciados en sujeto y predicado, y pueden demostrar la validez de este tipo de
razonamientos por lo tanto.
LÓGICA DE PREDICADOS
Esta lógica analiza la estructura interna de los enunciados, a los que considera
proposiciones en los que una propiedad (dada mediante el predicado) se atribuye o
predica del sujeto el individuo a es terrible ta el individuo a es un pelmazo para todo x,
si x es un pelmazo, entonces x es terrible x (px tx)
LÓGICA DE CLASES
Parecida a la anterior, cambia de punto de vista y considera que los enunciados son
proposiciones que expresan lazos entre individuos y clases: son analizados como
propiedades que comparten todos los individuos que pertenecen a una misma clase o
conjunto. Aunque son tipos de lógica similares la forma en que presentan los
razonamientos puede variar: a pertenecer a la clase de los terribles acp a pertenecer a
la clase de los pelmazos acp para todo x, si x pertenece a la clase de los pelmazos,
entonces x pertenece a la clase de los terribles x (xcp xct)
LÓGICA DE RELACIONES
Estos tipos de lógica cuentan con una severa limitación: la incapacidad para expresar
relaciones; estas se dan al menos entre dos elementos y el orden de los elementos
importa para la relación. Así por ejemplo, la relación amar a se establece entre dos
elementos, y no es igual Eva ama a Santi que Santi ama a Eva. La lógica de relaciones
incorpora a su lenguaje los elementos, símbolos y reglas que son necesarios para
expresar el orden en la relación existen en la actualidad nuevas formas de lógica que
se conocen con el nombre de nuevas lógicas, y que incluyen la lógica difusa, la lógica
borrosa, la lógica divergente, las lógicas polivalentes (frente a las lógicas bivalentes) la
lógica de la argumentación.
LOGICA PROPOSICIONAL
la lógica de enunciados o proposicional es el tipo de lógica más elemental, y su objetivo
es analizar las relaciones que se dan entre los enunciados, es decir, las conexiones que
nos permiten obtener una conclusión válida y necesaria a partir de unos enunciados que
actúan como premisas las proposiciones se consideran aquí como un todo , por lo que
esta lógica se centra en el estudio de las inferencias mediante las que se deduce un
enunciado tomado en bloque de otro u otros enunciados tomados igualmente en bloque
característica de las proposiciones es que son enunciados que pueden ser verdaderos
o falsos . pueden ser de dos tipos enunciados simples o atómicos : no pueden
EJEMPLOS:
Los insectos son artrópodos; los dípteros son insectos; por tanto, los dípteros son
artrópodos. Todas las ranas son anfibios. Todos los anfibios son vertebrados. Luego
todas las ranas son vertebradas. Al lógico sólo le interesa su validez o corrección (que
es formal) expresada en la estructura vacía de contenido Todo Aes B; todo C es A; por
tanto, todo C es B.
IMPORTANCIA
El estudio de la lógica como ciencia nos permite conocer las leyes, reglas y
procedimientos de nuestro pensamiento, o cuales tienen carácter objetivo.
La ciencia ha demostrado que todo hombre, al igual que cualquier materia, se encuentra
en movimiento ininterrumpido, movimiento permanente del devenir y del perecer. Como
el sujeto (Manuel) es hombre, también es mortal. Entonces, observamos que estos
juicios, ya se han demostrado.
38) – “…que las categorías del pensar no son un instrumento del hombre, sino la
expresión de la sujeción a leyes de la naturaleza y del hombre.”
B. Juicio
Desde el punto de la lógica formal, afirma Gorski (1998), el juicio es un pensamiento en
el que se afirma o se niega algo de algo. Se ocupa sólo del estudio de su estructura. El
objeto del juicio puede ser, cualquier cosa, propiedad o relación de las cosas, clase de
objetos o varios objetos de una clase, existentes en la realidad. Por ejemplo: Lima es la
Capital de Perú.
1. Cualquier representación mental de unos u otros objetos. Por ejemplo: El concepto
de Lima es un concepto singular.
2. Cualquier envoltura verbal del pensamiento. Por ejemplo, la palabra Lima consta de
cuatro letras.
Claramente Perceptivo: Se fija en un sólo valor, “Porque está aquí está”, “Porque es
como ésta” (indicando con el dedo)
Series Numéricas
Matrices Lógicas
Deducción
Refutación
Argumentación
CONCLUSIONES
es una ciencia muy importante para el aprendizaje ya que nos ayuda con el orden en
nuestro razonamiento, y esto nos ayuda a la vez a la resolución de nuestros problemas.
El pensamiento humano se utiliza para crear ideas relacionadas dentro del pensamiento
para cada situación de nuestra vida ya sea en los matemáticas, deportes, química, física
y todo en nuestro sentido común.
Se podría decir que el pensamiento lógico formal nos permite clasificar el pensamiento,
nos permite hacernos preguntas y analizarlas preguntas como ¿Qué? ¿Cómo? ¿Por
qué? Etc, también nos permite crear nuestras propias ideas. Nos invita a hacer
investigaciones a seguir rastros y huellas.
BIBLIOGRAFIA
http://logicakiimika.blogspot.pe/2011/04/importancia-de-la-logica-formal-para-el.html
https://reguloantezana.files.wordpress.com/2013/07/pensamiento-lc3b3gico-formal-pdf.pdf
https://es.slideshare.net/Chechito5/lgica-del-pensamiento-humano-y-la-razon
http://repositorio.utp.edu.co/dspace/bitstream/handle/11059/1484/37235C287.pdf?sequenc
e=1