Saltar al contenido

Cu谩les son los dos tipos de analisis l贸gico formal

Inferencia deductiva: Es la que marca una necesidad l贸gico-formal de un enunciado a otro. Sus premisas son fuertes en pos de la conclusi贸n. Inferencia no deductiva: Es la que no marca una necesidad l贸gico-formal de un enunciado a otro.

Ejemplos de l贸gica

  1. La l贸gica simb贸lica mantiene que si una proposici贸n (p) es ver铆dica y otra proposici贸n (q) es ver铆dica, el enunciado terminado es la conjunci贸n ( p 鈥 q) es ver铆dica.
  2. En l贸gica simb贸lica se mantiene que si entre las 2 proposiciones es falsa, toda la declaraci贸n de la conjunci贸n es falsa. De este modo, si p es ver铆dica y q es falsa, entonces p 鈥 q es falsa.
  3. Seg煤n la l贸gica simb贸lica, la negaci贸n (indicada por el s铆mbolo 藴) de un enunciado verdadero se considera falsa (si p es ver铆dica, entonces 藴p es falsa) y la negaci贸n de un enunciado falso es ver铆dica (si q es falsa, entonces 藴q es ver铆dica).
  4. Seg煤n la l贸gica simb贸lica, una disyunci贸n 煤nica (p 鈯 q) es falsa si las dos proposiciones, p y q, son verdaderas.
  5. Seg煤n la l贸gica simb贸lica, una disyunci贸n 煤nica (p 鈯 q) es ver铆dica si uno de sus enunciados es verdadero y el otro falso.
  6. Seg煤n la l贸gica simb贸lica, una disyunci贸n 煤nica (p 鈯 q) es falsa si los dos enunciados, p y q, son falsos.
  1. Todos y cada uno de los mam铆feros cuidan de sus cr铆as (idea 1), el perro es un mam铆fero (propuesta 2); en consecuencia, el perro protege a sus cr铆as (conclusi贸n).
  2. Todos y cada uno de los pensadores estudian la presencia (propuesta 1), Arist贸teles fue pensador (propuesta 2); por consiguiente, Arist贸teles estudi贸 la presencia (conclusi贸n).
  3. Todas y cada una de las pinturas de Van Gogh son geniales (idea 1), 鈥淕irasoles鈥 es una pintura de Van Gogh (propuesta 2); por ende, 芦Los Girasoles禄 es una pintura incre铆ble (conclusi贸n).
  4. En d铆as radiantes la ropa se seca mucho m谩s veloz (propuesta 1), el d铆a de hoy hace sol (idea 2); por consiguiente, la ropa se secar谩 mucho m谩s veloz (conclusi贸n).
  5. Los planetas gaseosos tienen atmosferas muy espesas (propuesta 1), J煤piter es un mundo gaseoso (idea 2); por consiguiente, la atm贸sfera de J煤piter es muy espesa (conclusi贸n).
  6. Los felinos tienen buen o铆do (propuesta 1), el le贸n es felino (idea 2); en consecuencia, el le贸n tiene buen o铆do (conclusi贸n).
  7. Todos y cada uno de los art铆culos de esta tienda son de calidad (idea 1), este sof谩 es de esta tienda (idea 2); en consecuencia, este sof谩 es de calidad (conclusi贸n).
  8. Las estrellas arden todo el tiempo (idea 1), el Sol es una estrella (idea 2); en consecuencia, el Sol arde todo el tiempo (conclusi贸n).
  9. Las escalas de intervalo tienen ceros relativos (propuesta 1), el sistema de grados Celsius es una escala de intervalo (idea 2); en consecuencia, el sistema de grados Celsius tiene un cero relativo (conclusi贸n).
  10. Los bosques tibios tienen una precipitaci贸n promedio que fluct煤a entre 600 mm y 1200 mm (propuesta 1), los bosques canadienses son tibios (propuesta 2); por consiguiente, los bosques en Canad谩 tienen una precipitaci贸n promedio que fluct煤a entre 600 mm y 1200 mm (conclusi贸n).

驴Qu茅 es un razonamiento?

Un razonamiento es la expresi贸n de un razonamiento, as铆 sea oral o escrito, como una parte del intento l贸gico de probar la validez o invalidez de una proposici贸n o proposici贸n vincul谩ndola a una secuencia de conclusiones.

En otras expresiones, un razonamiento es una manera de razonamiento que justifica una situaci贸n con relaci贸n a algo, mediante un grupo de premisas y una conclusi贸n como resulta l贸gico extra铆da de ellas. Argumentar, en consecuencia, significa ofrecer razonamientos al otro, como lo hacen los abogados en el transcurso de un juicio para intentar seducir al jurado.

Metal贸gica

Los l贸gicos procuran idiomas formales por el hecho de que tienen tres caracter铆sticas consideradas deseables: rigidez, completitud y solidez. Estas caracter铆sticas se estudian con el apoyo de un lenguaje de orden superior que usamos para charlar de un sistema formal dado: el metalenguaje. Puede ser cualquier lengua natural o formal, m谩s all谩 de que se acostumbran a usar lenguas naturales con alguna expansi贸n (ejemplos: alem谩n, espa帽ol, etc茅tera.).

El estudio de estas caracter铆sticas se conoce como metal贸gico, y un vanguardista en el tema fue el matem谩tico italiano Eugenio Beltrami, quien prob贸 la rigidez de la geometr铆a hiperb贸lica de Lobachevsky al interpretarla en concepto de geometr铆a euclidiana.

Deja una respuesta

Tu direcci贸n de correo electr贸nico no ser谩 publicada. Los campos obligatorios est谩n marcados con *