Lógica General

La lógica es la ciencia formal que estudia el pensamiento, nos permite razonar correctamente y determinar la validez de los razonamientos.

Introducción

UBICA LA LOGICA EN EL CONTEXTO DE LAS CIENCIAS.

DISTINGUE EL CONOCIMIENTO CIENTIFICO DEL NO CIENTIFICO.

IDENTIFICA LAS AREAS DE LA CIENCIA.

IDENTIFICA LAS AREAS DE LA LOGICA GENERAL

CONOCE LOS PRINCIPIOS LOGICOS CLACICOS Y LAS LEYES DIALECTICAS.

Objetivos de la Lógica

La CienciaCiencias Formales

Matematicas

Logica

Computacion Teorica

Ciencias FacticasCiencias Naturales

Fisica, Quimica, Biologia, etc…

Ciencias SocialesPsicologia, Sociologia,

Economia, etc…

La Ciencia y su Clasificacion

Trabajan con formas, es decir con objetos ideales, que son creados por la mente del hombre.

Estas ciencias establecen el razonamiento logico.

Ciencia formales:

Se encarga de estudiar hechos auxiliándose de la observación y la experimentación.

Trabajan con objetos reales que ocupan un espacio y un tiempo.

Ciencias fácticas:

Se define como lógica a la ciencia que

estudia el pensamiento. A diferencia de las otras ciencias, la lógica estudia nuestros pensamientos.

Definición de la lógica

Logica Formal

Logica Cuantificional

Logica Modal

Logica Trivalente

Logica Difusa

Logica de Predicados

Logica Proposicional

Logica Tradicional

Logica de Clases

Logica Dialectica

AREAS DE LA LOGICA

Logica Deontica

Logica Epistemica

Logica Doxastic

a

Logica Temporal

Principio Dialéctico de La Razón Suficiente “Nada hay sin razón” “No hay efecto sin

causa” Autor: Demócrito

Principios Lógicos

Principios Lógicos

Principio Formal de Identidad p p

“Toda proposición se implica a sí misma”

“Toda proposición es idéntica a sí

misma” Autor: Parménides

Principios Lógicos

Principio Formal de No Contradicción - ( p -p) “Es imposible que una proposición sea verdadera y falsa a la vez”

Autor: Platón

Principios Lógicos

Principio Formal del Tercio Excluido

(p -p) “Toda proposición es

verdadera o falsa. La tercera opción está excluida”

Autor: Aristóteles

LEYES DIALÉCTICASLey de la negación de la negación:

Esta ley plantea que la negación anterior de los opuestos resulta a su vez negada y se obtiene una nueva situación a un nuevo nivel.

Es la famosa "ley" del desarrollo en espiral, en la que la nueva situación repite algunos aspectos de la situación inicial.

LEYES DIALÉCTICASLey de la unidad y lucha de contrarios:

Esta ley afirma que la existencia de uno presupone la existencia del otro y en eso radica su unidad.

Bien, la carga positiva presupone la negativa, el electrón al positrón, la materia a la antimateria.

Lo que se estaría expresando en este sentido sería una característica simétrica del universo.

LEYES DIALÉCTICASLey de la transformación de la cantidad en calidad:

La filosofía comunista pone un énfasis especial en esta idea, porque permite definir cómo la suma de pequeños conflictos sociales lleva al salto cualitativo, a la revolución.

Sólo tenemos que pensar que la mayor parte de los cuerpos en el universo se componen de elementos que difieren por el número de partículas atómicas que los componen, aunque no sea el número la única diferencia o la diferencia más significativa, pues existe también una diferencia organizativa o estructural

EJERCICIOS DESARROLLADOS

01. Son características de las ciencias empíricas:1. Su método es el inductivismo.2. Son eminentemente axiomáticas.3. El método que emplea tiene que ver con los aportes de Francis Bacon.4. Son demostrativas y analíticas.5. La verificación y la refutación están íntimamente ligadas con estas ciencias.

 Son ciertas:a) 1, 2 y 3 b) solo 2 y 4 c) 1, 3 y 5d) 2, 3 y 4 e) 3, 4 y 5

 

Resolución

Ciencias empíricas = Ciencias fácticas:• Se basan en hechos• Investigan en base al fenómeno• Son predominantemente inductivistas• Francis Bacon, con su Novum Organon, aporta con el método inductivista• La verificación implica comprobación empírica y es una característica de estas ciencias.CLAVE “C”

02. De la lógica formal afirmamos:1. Es considerada como un instrumento intelectual.2. Es empleada en la validación de las hipótesis causalísticas, en el desarrollo de la ciencia.3. Su principal análisis se centra en la validez de los razonamientos y argumentos.4. Es una ciencia ya terminada y concluida.5. Según Aristóteles es conocida como lógica mayor.

 Son ciertas:a) 1, 2 y 3 b) solo 2 y 4 c) 1, 3 y 5d) 2, 3 y 4 e) 3, 4 y 5

 Resolución

• Lógica formal es una

ciencia formal y su objeto de

estudio es la validez del

razonamiento.•Las ciencias formales,

de acuerdo a Mario Bunge, sirven

para desarrollar, fundamentar y

explicar a las ciencias factuales.

•Según Aristóteles, la

Lógica Mayor es la Lógica

Dialéctica porque basa su análisis

en la realidad objetiva.CLAVE “A”

03. Son áreas de la Lógica formal:1. Lógica proposicional.2. Lógica dialéctica.3. Lógica cuantificacional.4. Lógica deóntica.5. Lógica intuitiva.

 Son ciertas:a) 1, 2 y 3 b) solo 2 y 4 c) 1, 3 y 4d) 2, 3 y 4 e) 3, 4 y 5

 Resolución

Logica formal•En base a la unidad de análisis: Lógica Proposicional (unidad = proposición) y Lógica de Predicados (unidad = término)• En base a su alcance: Lógica Cuantificacional (contexto), Lógica Modal (cualquier contexto) Lógica Deóntica (incluye juicios de valor) 

CLAVE “C”

04.De las ciencias formales afirmamos:1. Son eminentemente axiomáticas.2. Leibniz es uno de los representantes de estas ciencias.3. Son eminentemente demostrativas.4. Requieren de la experiencia y la verificación para determinar la verdad de sus conclusiones.5. Son inductivistas y falsacionistas en su método para determinar la

verdad de sus afirmaciones. 

Son ciertas:a) 1, 2 y 3 b) solo 2 y 4 c) 1, 3 y 5d) 2, 3 y 4 e) 3, 4 y 5

 Resolución:

CLAVE

“A”

• Lógica formal

es una ciencia formal y su

objeto de estudio es la validez del razonamiento.

•Las ciencias

formales, de acuerdo a Mario Bunge, sirven para

desarrollar, fundamentar y

explicar a las ciencias factuales.•

Según Aristóteles, la Lógica Mayor es la Lógica Dialéctica porque basa su

análisis en la realidad objetiva.

05. En el argumento: “´En el Perú – dijo el presidente – la inflación tiende a disminuir pero, por factores externos, la inflación sube, siempre que manejemos con seriedad la economía’. De esta afirmación, un periodista llegó a la conclusión que la economía no es manejada con seriedad”. Podemos afirmar:1. El periodista aplicó un método ya trabajado por Zenón de Elea.2. El periodista aplicó un método de demostración formal.3. La conclusión planteada por el periodista es un absurdo con el afán de desprestigiar al actual gobierno.4. El periodista demostró sus conocimientos de lógica dialéctica.5. El periodista aplicó un principio lógico formal planteado por Aristóteles.

 Son ciertas:a) todas b) solo 1 y 2 c) solo 3 y 5d) solo 1, 2, 4 y 5 e) 1, 2 y 5

 Resolución

Reducción al Absurdo: Se

supone una afirmación como

verdadera, si a partir de ella

se deriva algo imposible,

entonces el valor de verdad

asumido es el opuesto.Este método de

demostración es atribuido a

Zenón de Elea y es

considerado un método

formal.CLAVE “B”

01. La lógica deóntica incluye a que teorías o cálculos lógicos formales:1. Lógica proposicional.2. Lógica de predicados.3. Lógica de primer orden.4. Lógica modal.5. Lógica de sentencias.

Son ciertas:a) todas b) solo 1, 2 y 3 c) solo 3 y 4d) solo 1, 2, 4 y 5 e) solo 1, 2 y 5

PRÁCTICA DE CLASE

02. La investigación de las relaciones lógicas entre órdenes o entre afirmaciones de obligación pertenece al campo de estudio de la:

 a) lógica proposicional.b) lógica de predicados.c) lógica de primer ordend) lógica modal.e) lógica deóntica.

03. De los conceptos: posibilidad, necesidad y temporalidad; podemos afirmar que:

1. Fueron estudiados por los estoicos en la antigua Grecia.

2. Los conceptos son bases para la lógica modal.3. Quienes los plantearon fueron: Filón de Megara

y Diodoro Cronos.4. La lógica que los estudia es fundamental para

el Derecho.5. Aristóteles ya los estudió en el tratado:

“Categorías”. 

Son ciertas:a) 1, 2 y 3 b) solo 2 y 4 c) 1, 3 y 5d) 2, 3 y 4 e) 3, 4 y 5

04. Para la ciencia, la realidad es: 

a)Todo aquello que existe fuera de nosotros y que depende de nuestra conciencia para su existencia.

b)Todo aquello que existe fuera de nuestra conciencia pero que es factible su manipulación para su conocimiento y transformación.

c)Todo aquello que existe dentro de nuestro mundo objetivo y subjetivo, luego es interpretable.

d)Todo aquello que existe independientemente de nuestra conciencia y que no depende de ella.

e)Todo aquello que es conocido o que se está conociendo y que existe independientemente de nuestra conciencia.

05. De acuerdo a la epistemología un “objeto” es: 

a)Solo aquello que podemos ver, observar o manipular.b)Todo lo que puede ser materia de conocimiento o sensibilidad de parte del sujeto, incluso este mismo.c)Aquello que sirve de materia o asunto al ejercicio

de las facultades mentales.d)Fin o intento a que se dirige o encamina una

acción u operación.e)Es la realidad que el hombre ya conoce o está en proceso de conocerla.

06. De las afirmaciones:1.La función del ojo es traducir, o no, las vibraciones

electromagnéticas de la luz en un determinado tipo de impulsos nerviosos que se transmiten al cerebro.

2.Si el sistema límbico está formado por partes del tálamo, hipotálamo, hipocampo, amígdala, cuerpo calloso, septum y mesencéfalo obviamente que está formado por partes del tálamo, hipotálamo, hipocampo, amígdala, cuerpo calloso, septum y mesencéfalo.

3.No ocurre que; la orina normal contiene un 96% de agua y un 4% de sólidos en solución y que sea falso que la orina normal contiene un 96% de agua y un 4% de sólidos en solución.

4.Sistema inmunológico, también llamado sistema inmune, es el sistema corporal cuya función primordial consiste en destruir los agentes patógenos que encuentra.5.El tiroides es una glándula bilobulada situada en el cuello

aunque el tiroides no es una glándula bilobulada situada en el cuello. 

Representan principios de la Lógica Formal:a) 1, 2 y 3 b) solo 2 y 4 c) 1, 3 y 5d) 2, 3 y 4 e) 3, 4 y 5

07. Si colocamos un recipiente con agua en la cocina y cada minuto que pasa aumenta la temperatura del agua hasta llegar a los 100º centígrados, donde el agua cambia de fase líquida a fase gaseosa. En este proceso la ley de la lógica dialéctica que identificamos es:

 a) Unidad y lucha de contrarios.b) No contradicción.c) Reducción al absurdo.d) Cambios cuantitativos a saltos cualitativos.e) Tercio excluso.

08. En el argumento: “La democracia occidental está sustentada en las elecciones donde un grupo o partido asume el gobierno y otro grupo queda como la oposición, la cual es necesaria, su eliminación implicaría atraso y abuso del poder”. Queda manifiesta la ley lógica dialéctica de:

 a)Unidad y lucha de contrarios.b)No contradicción.c)Reducción al absurdo.d)Cambios cuantitativos a saltos cualitativos.e)Tercio excluso.

09. De las afirmaciones relacionadas con las tablas de verdad:

  1.Una aplicación importante es la de los circuitos lógicos, interpretando los valores lógicos de verdad como ‘1 =

pasa corriente’ y ‘0 = no pasa corriente’.2.Es una herramienta desarrollada por Charles Peirce en los años 1880.3.Se emplean en lógica para determinar los posibles

valores de verdad de una fórmula o de una proposición.4.A través de una tautología se demuestra la validez de

una inferencia.5.Se le define como un método probabilística.

 Son ciertas:a) 1, 2 y 3 b) solo 2 y 4 c) 1, 3 y 5d) 2, 3 y 4 e) todas

10. De las afirmaciones:1.Es obligatorio que todo peruano mayor de edad

acuda a las urnas a votar.2.Es posible que algún día la educación estatal se privatice.3.Es permitido que una familia adopte niños.4.Es necesario que todos reciban una buena

educación y cariño.5.Es ilícito en el Perú que una persona se case más

de una vez. 

Corresponden a la lógica deóntica:a) 1, 2 y 3 b) solo 2 y 4 c) 1, 3 y 5d) 2, 3 y 4 e) todas

11. El argumento: “Todas las mariposas son congresistas y todos los congresista son leales a la mermelada; por lo tanto, todas las mariposas son leales a la mermelada”. Formalmente es:1. Un razonamiento correcto.2. Una falacia.3. Un razonamiento verdadero.4. Un razonamiento válido.5. Un razonamiento falso.

 Son ciertas:a) 1, 2 y 3 b) solo 1 y 4 c) 1, 3 y 5d) 2, 3 y 4 e) todas

12. En: “Hamlet, en la obra del mismo nombre, dice ‘Ser o no ser he allí el dilema…’ ”; Shakespeare, autor de dicha obra, hace alusión al principio lógico formal de:

 a) Unidad y lucha de contrarios.b) No contradicción.c) Reducción al absurdo.d) Cambios cuantitativos a saltos cualitativos.e) Tercio excluso.

13. El caso: “Con la condición inicial de que ‘una persona puede elegir una de dos opciones si encuentra una diferencia que le permita tomar la decisión’, además, se sabe que a Carlos, un voluntario para el experimento, se le ofrece dos porciones de comida exactamente iguales y se le pide que elija cuál de dichas porciones deberá comer para no morir de hambre – siguiendo la condición inicial -, viéndose éste imposibilitado de poder elegir – por no hallar diferencia alguna –, termina muriendo de hambre” El principio lógico que se presente contradecir es:

 a) No contradicción b) Razón suficientec) Identidad d) Tercio excluidoe) Reducción al absurdo

14. De la lógica formal afirmamos:1. Facilita el uso de herramientas para el desarrollo de otras ciencias.2. Estudia todo lo objetivo para poder comprender el mundo en el que vivimos.3. Utiliza hipótesis que, en su mayoría, son temporales.4. Se le utiliza para determinar, formalmente, la verdad de un conocimiento.5. Utiliza un lenguaje simbólico para las demostraciones de verdad y también para las de validez.

 Son ciertas:a) 1, 3 y 4 b) 2, 3 y 5 c) 1, 2 y 5d) 1, 4 y 5 e) 2, 3 y 4

15. Con relación a los aportes importantes para el desarrollo de las lógicas, son adecuadas las correspondencias:1. Gottlob Frege – Lógica Modal2. Saúl Kripke – Lógica Modal3. Megáricos – Lógica Deóntica4. Henrik von Wright – Lógica Deóntica5. Bertrand Russell – Lógica Combinatoria.

 Son ciertas:a) solo 1 y 3 b) solo 2 y 4 c) sólo 3 y 5d) 1, 3 y 5 e) 2, 4 y 5

16. Son expresiones que condujeron a la aparición de las Lógicas Multivaluadas:1. El vaso está semi lleno de agua2. El plátano tiene tono amarillento3. Tres es un número natural4. El conjuntor es un operador lógico5. Carlos es mayor que Inés

Son correctas:A) 1, 2 y 3 B) 2, 3 y 4C) 3, 4 y 5 D) 1, 2 y 5 E) 1, 4 y 5

17. Son aplicaciones computacionales de la Lógica Formal:1. Interpretación de la realidad2. Análisis y síntesis de programas3. Representación del conocimiento4. Optimización de sistemas5. Descripción de hechos concretos

Son correctas:A) 1, 2 y 3 B) 2, 3 y 4C) 3, 4 y 5 D) 1, 2 y 5 E) 1, 4 y 5

18. La lógica formal se caracteriza porque:1. Valida los razonamientos solo teniendo en

cuenta su estructura2. Analiza la correspondencia de nuestros

pensamientos con la realidad 3. Es una ciencia empirica4. Es utilizada por la ciencia para conseguir

precisión formal en sus investigaciones5. Utiliza el método deductivo

Son falsas, excepto:A) 5 y 3 B) 3 y 4 C) 1, 2 y 5D) 1, 4 y 5 E) 3, 4 y 5

19. De los principios lógicos formales, es correctos afirmar que:

A) Son contingentesB) Son contradictoriosC) Son indeterminadosD) Son tautológicosE) Son dialécticos

20. A la lógica dialéctica le interesa:

A)La forma lógica de nuestros pensamientosB)Los razonamientos empíricos que puedan producirseC)El contenido lógico de nuestros pensamientosD)La correspondencia de nuestros pensamientos con la realidad

E)C y D son correctas

Frases El ignorante afirma, el sabio

duda y reflexiona.

Considero más valiente al que conquista sus deseos

que al que conquista a sus enemigos, ya que la

victoria más dura es la victoria sobre uno mismo.

Integrantes:◦ Domínguez Gavidia José Rodolfo◦ Guanilo Celis Dennis Christopher◦ Noriega Zapata Juan Marco◦ Trigoso Lozano Erwin Larzon

Gracias