TALLER DE LOGIOCA Y TEORIA DE CONCEPTOS

LUIS EDUARDO SALINAS LACOUTURE

Estudiante

LEANETH PITRE RUIZ

Docente

UNIVERSIDAD DE LA GUAJIRA
SEDE PRINCIPAL
LOGICA Y TERORIA DE CONCEPTOS
RIOHACHA/LA GUAJIRA
2020
 QUE ES LÓGICA
La lógica, es una disciplina que se ocupa de los razonamientos o inferencias con el fin de
determinar su corrección de acuerdo a determinados criterios. Los seres humanos
razonamos, hacemos inferencias, extraemos conclusiones a partir dela información disponible.
Esta actividad de razonar es esencial para la vida humana: tanto para organizar el conocimiento
del que disponemos como para llevar a cabo acciones.
En todos los contextos de la vida humana es necesario hacer inferencias: la resolución de los
problemas cotidianos, la deliberación práctica, la toma de decisiones para realizar alguna acción,
la búsqueda de una explicación, la predicción de un evento futuro, la evaluación de una situación
determinada. Los razonamientos que resultan de esta actividad se hacen explícitos, normalmente,
a través del lenguaje. El lenguaje y, muchas veces, otros sistemas de signos son los canales
mediante los que nos comunicamos los seres humanos en sociedad.
La lógica es una disciplina muy antigua y con una tradición muy rica. De manera sistemática,
como una disciplina científica, digamos, surgió en la civilización griega de manera casi simultánea
con la matemática hace algo menos de 2500 años. La forma actual de la lógica, entendida como
teoría del razonamiento, es la lógica simbólica o lógica matemática. Esta forma actual considera a
la lógica como una disciplina exacta, habiéndose motivado por al menos dos cuestiones distintas:
(a) tratar los razonamientos en términos matemáticos, (b) encontrar una teoría general del
razonamiento, que abarque toda inferencia posible. En cuanto a (a), se puede comparar la lógica
con la teoría matemática de la probabilidad, la teoría de la decisión o la teoría de juegos. En cuanto
a (b), la idea de una teoría general o universal funciona como un ideal, y en los hechos lleva a
problemas ligados al nivel de complejidad de las inferencias. La matemática presupuesta en el
estudio introductorio de la lógica simbólica no es de gran complejidad. Las nociones usuales en
matemática discreta son más que suficientes para la comprensión básica de los aspectos
matemáticos de la lógica.
 BREVE RESEÑA HISTÓRICA DE LA LÓGICA COMO CIENCIA

La Lógica deriva su origen de la naturaleza misma racional del hombre; pues el hombre está dotado
de una facultad natural para alcanzar con sus actos la verdad y para evitar el error; de donde puede
también procurar la rectitud con unas reglas determinadas. Y ésta se llama Lógica Natural o
Vulgar. Pero la misma naturaleza humana, en cuanto esencialmente defectible, también es el
origen de la Lógica Artificial, o Científica, la cual se preocupa del modo de pensar rectamente y
de evitar los errores que, con mucha frecuencia se evitarían con enorme dificultad por medio de
nuestra lógica ordinaria. La historia de la lógica documenta el desarrollo de la lógica en varias
culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincados
sistemas de razonamiento, e, incluso, el pensamiento lógico estaba ya implícito en Babilonia en
algún sentido, la lógica como análisis explícito de los métodos de razonamiento ha recibido un
tratamiento sustancial solo originalmente en tres tradiciones: la Antigua China, la Antigua India y
la Antigua Grecia. Aunque las dataciones exactas son inciertas, particularmente en el caso de la
India, es probable que la lógica emergiese en las tres sociedades hacia el siglo IV a. C. El
tratamiento formalmente sofisticado de la lógica proviene de la tradición griega, especialmente del
Órganon aristotélico, cuyos logros serían desarrollados por los lógicos islámicos y, luego, por los
lógicos de la Edad Media europea. El descubrimiento de la lógica india entre los especialistas
británicos en el siglo XVIII influyó también en la lógica moderna.
La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la
demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que
significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος
(logos), «palabra, pensamiento, idea, argumento, razón o principio». La lógica examina la validez
de los argumentos en términos de su estructura, (estructura lógica), independientemente del
contenido específico del discurso y de la lengua utilizada en su expresión y de los estados reales a
los que dicho contenido se pueda referir. Esto es exactamente lo que quiere decir que la lógica es
una ciencia «formal».
OTRAS DEFINICIONES
Lógica es por consiguiente la parte de la filosofía que trata de las formas del pensamiento y de las
leyes por las que se rige para llegar a la verdad.
 Por lo tanto el pensamiento es un término general que designa todos los actos del
entendimiento.
 Es la ciencia que de manera estructurada organiza nuestros razonamientos.
 Estudia la forma y el contenido de los pensamientos.
 Tiene objeto, método, propio y tiene por objeto determinar pensamientos verdaderos y
desechar los falsos.
 Es la forma de organización del pensamiento de acuerdo con un principio, para conseguir
una determinada racionalidad.

ARISTÓTELES: “La lógica es la ciencia de la demostración, porque se preocupa de dar reglas

para alcanzar la verdad de evidencia inmediata, que conocemos promedio de la demostración“.
KANT "Es la ciencia de las leyes necesarias del entendimiento y de la razón general.

HEGEL "La lógica es la ciencia de la idea pura, esto es, de la idea en el pensamiento abstracto
del pensamiento“.
IMPORTANCIA DE LA LOGICA
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. Un elemento importante de la lógica es el Silogismo. Se trata de
un tipo especial de razonamiento en el que se infiere una conclusión a partir de dos premisas.

DAR 5 O MAS RAZONES DEL PORQUE ES IMPORTANTE LA LÓGICA EN LAS

CIENCIAS COMPUTACIONALES O EL DESARROLLO DE SOFTWARE.

En la fase actual del desarrollo de las Ciencias Computacionales se conoce cuál es el conocimiento
y qué parte de la lógica es el que debe adquirir un graduado en informática, y se llegó a la
conclusión que tanto en el currículo como en la formación básica se le debe capacitar en lógica
proposicional y de primer orden, a través de un enfoque orientado al lenguaje, el alfabeto, la
sintaxis, la semántica, las reglas de re-escritura, la noción de consecuencia semántica, el teorema
de demostración de problemas, el problema de la decisión, la solución semántica de la prueba de
teoremas, el tratamiento sintáctico de la lógica y el principio de los sistemas de deducción.
Además, que se debe incluir el cálculo de resoluciones y el método arbitrario, conectados por el
sistema de Hilbert (Goguen & Goubault, 2000), como el más aceptado de los dos sistemas de
deducción conocidos.
También se deben abarcar las nociones de correctitud y completitud, de tal manera que se sienten
las bases necesarias para la introducción de la lógica temporal de Hoare, la lógica de unidad, la
lógica de punto fijo y la lógica descriptiva (Küsters, 2001), utilizadas en la formación en diversas
áreas de las Ciencias Computacionales. En cierta medida se puede utilizar en la formación en bases
de datos, la teoría de la programación y la Inteligencia Artificial, y son un punto de partida para
introducir las lógicas no clásicas (Qualls & Sherrell, 2010). Después de esta fundamentación se
podrán introducir los lenguajes de programación funcionales (Hoare, 2004). Los cursos de
pregrado enfocados en la teoría de base de datos o la Inteligencia Artificial no son los únicos que
requieren el conocimiento de la lógica fundamental, también algunos cursos de posgrado se deben
fundamentar en ella, y luego de analizar los currículos relevantes de algunas universidades en las
que se imparte la lógica en la formación en posgrados, se concluye que los campos más importantes
de formación en esta área son:
  Los fundamentos teóricos y los métodos de prueba de teoremas.
 Los problemas de formalización y axiomatización: problemas de las teorías axiomatizadas.
 La programación lógica y sus fundamentos teóricos: lógica de punto fijo y el modelo
Herbrand de un programa.
 Cálculo en el marco de la programación funcional.
 Lógicas no clásicas: lógica temporal, lógica polivalente, lógica difusa, lógica descriptiva,
entre otras.
Estos temas son importantes para incluirlos en el marco de un programa de posgrado, al tiempo
que se justifica la existencia de temas como lógica no clásica a nivel de pregrado, al menos como
curso electivo.