lunes, 27 de junio de 2011
PONENDO PONES
En lógica, el modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
En lógica, el modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
- Si A, entonces B
- A
- Por lo tanto, B
- TODOS LOS HOMBFRES SON INFILES ENTONCES NINGUNO ES FELIZ
- SON HOMBRES
- SON SON FELICES
En lógica, el modus tollendo tollens (en latín, modo que negando niega), también llamado modus tollens y generalmente abreviado MTT o MT, es una regla de inferencia que tiene la siguiente forma:
SI NO SON DIFICILES
NO SON MUJERES
- si A entonces B
- No B
- Por lo tanto, no A
SI NO SON DIFICILES
NO SON MUJERES
Sorites o polisilogismo
Recibe también el nombre de Sorites la concatenación de silogismos (polisilogismo), de dos formas diferentes:
Recibe también el nombre de Sorites la concatenación de silogismos (polisilogismo), de dos formas diferentes:
- El predicado de cada proposición (como premisa) es el sujeto de la proposición siguiente (como premisa), siendo idénticos el sujeto de la premisa mayor y el de la conclusión.
- A es B; B es C; C es D; D es E; luego A es E. (Siendo A,B,C,D,E los términos de las premisas)
- Por ejemplo: Todos los ecijanos son sevillanos; todos los sevillanos son andaluces; todos los andaluces son españoles; todos los españoles son europeos. Por tanto todos los ecijanos son europeos.
- Otro ejemplo usado con humor: El amor es ciego, Dios es amor, Stevie Wonder es Dios.
- Un polisilogismo en el que se sobreentiende la conclusión de cada silogismo, salvo la última que se hace explícita.
- Por ejemplo: Los europeos son occidentales; los españoles son europeos; los andaluces son españoles; los sevillanos son andaluces. Por tanto los andaluces son occidentales.
razonamineto logico
En un sentido restringido, se llama razonamiento lógico al proceso mental de realizar una inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aun así dar lugar a un razonamiento, ya que un mal razonamiento aún es un razonamiento (en sentido amplio, no en el sentido de la lógica). Los razonamientos pueden ser válidos (correctos) o no válidos (incorrectos).
En general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión. Puede discutirse el significado de "soporte suficiente", aunque cuando se trata de un razonamiento no deductivo, el razonamiento es válido si la verdad de las premisas hace probable la verdad de la conclusión. En el caso del razonamiento deductivo, el razonamiento es válido cuando la verdad de las premisas implica necesariamente la verdad de la conclusión.
Los razonamientos no válidos que, sin embargo, parecen serlo, se denominan falacias.
El razonamiento nos permite ampliar nuestros conocimientos sin tener que apelar a la experiencia. También sirve para justificar o aportar razones en favor de lo que conocemos o creemos conocer. En algunos casos, como en las matemáticas, el razonamiento nos permite demostrar lo que sabemos; es que aquí hace falta el razonamiento cuantitativo
El termino razonamiento es el punto de separación entre el instinto y el pensamiento, el instinto es la reacción de cualquier ser vivo. Por otro lado el razonar nos hace analizar,y desarrollar un criterio propio, el razonar es a su vez la separación entre un ser vivo y el hombre.
En general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión. Puede discutirse el significado de "soporte suficiente", aunque cuando se trata de un razonamiento no deductivo, el razonamiento es válido si la verdad de las premisas hace probable la verdad de la conclusión. En el caso del razonamiento deductivo, el razonamiento es válido cuando la verdad de las premisas implica necesariamente la verdad de la conclusión.
Los razonamientos no válidos que, sin embargo, parecen serlo, se denominan falacias.
El razonamiento nos permite ampliar nuestros conocimientos sin tener que apelar a la experiencia. También sirve para justificar o aportar razones en favor de lo que conocemos o creemos conocer. En algunos casos, como en las matemáticas, el razonamiento nos permite demostrar lo que sabemos; es que aquí hace falta el razonamiento cuantitativo
El termino razonamiento es el punto de separación entre el instinto y el pensamiento, el instinto es la reacción de cualquier ser vivo. Por otro lado el razonar nos hace analizar,y desarrollar un criterio propio, el razonar es a su vez la separación entre un ser vivo y el hombre.
En sentido amplio, se entiende por razonamiento a la facultad humana y animal que permite resolver problemas, extraer conclusiones y aprender de manera consciente de los hechos, estableciendo conexiones causales y lógicas necesarias entre ellos. En sentido más restringido se puede hablar de diferentes tipos de razonamiento:
- El razonamiento argumentativo en tanto actividad mental se corresponde con la actividad lingüística de argumentar. En otras palabras, un argumento es la expresión lingüística de un razonamiento.
- El razonamiento lógico o causal es una operación lógica mediante la cual, partiendo de uno o más juicios, se deriva la validez, la posibilidad o la falsedad de otro juicio distinto. El estudio de los argumentos corresponde a la lógica, de modo que a ella también le corresponde indirectamente el estudio del razonamiento. Por lo general, los juicios en que se basa un razonamiento expresan conocimientos ya adquiridos o, por lo menos, postulados como hipótesis.[1] Es posible distinguir entre varios tipos de razonamiento lógico. Por ejemplo el razonamiento deductivo (estrictamente lógico), el razonamiento inductivo (donde interviene la probabilidad y la formulación de conjeturas) y razonamiento abductivo, entre otros.
DEDUCTIVO
Todos los hombres son estudiantes
Javier es hombres
Javier es estudiante
INDEDUCTIVO
Fernando es muy tranquilo
Carlos es tranquilo
Dante es tranquilo
Todos los hombres son tranquilo
ANALOGIA
El amor es como el dinero lo tienes en las manos y no sabes que aser con el se te pierde el dinero y lo necesitas como ela mor de alguien lo vuelves a encontrar y con lo que tu tienes de el cuando ya no lo tienes empizas a valorar y pensar que ubieras echo cuando lo tenias
ETINEMA
Todos los hombres son infieles
Daniel es infiel
EPIQUEREMA
Todas las mujeres son hermosas por que son alegres
Karla es mujer
Karla es alegre
POLISILOGISMO
Todos los niños son lindos
Pablo es niño
Pablo es lindo
Allan se llama pablo
Allan es lindo
HIPOTETICO
Si las mujeres son lindas entonces son fieles
Si son fieles entonces son sinceras
Sin son mujeres entonces son sinceras
Tipos de Lógica
Podemos clasificar los tipos de lógica desde dos puntos de vista, la lógica clásica y la moderna. Sin embargo dicha clasificación sólo sirve para efectos históricos, de ahí que mejor proponemos dividir, los distintos tipos de lógica, respecto a los objetos que trata.
La Lógica Formal es conocida también como lógica clásica o aristotélica, Se imputa al filosofo ARISTOTELES ser el creador de la misma, aunque ya existían antecedentes en PARMENIDES y ZELEO.. Así mismo con el paso del tiempo, con la evolución de algunas corrientes matemáticas, específicamente las aportaciones realizadas por los matemáticos EULER y BOOLE, a la álgebra, se da inicio a la Lógica Moderna, Matemática, Simbólica o Logística.
De esta lógica moderna, se desprende la semiótica, lógica deóntica, modal, cuantificacional y proposicional.
La Semiótica es la lógica de los símbolos y se divide en tres partes: sintaxis, semántica y pragmática. La primera trata de las relaciones de los símbolos entre si, prescindiendo de su contenido. La segunda trata de las relaciones entre el símbolo y lo que significa. La tercera trata de las relaciones entre el símbolo y el sujeto que lo utiliza.
La lógica deóntica se formaliza a través de conceptos relacionados con el deber. Este tipo de lógica se utiliza en el Derecho, infiriéndose del mismo, la denominada lógica de las normas.
La lógica modal lo hace en los conceptos de necesidad y posibilidad.
La lógica de clases relaciona conceptos con propiedades (sujeto y predicado), estudia además las implicaciones de unas clases con otras, las cuales suelen ser representados gráficamente mediante círculos (mejor conocidos como diagramas de Venn) empleando la denominada “álgebra booleana”.
La lógica cuantificacional que estudia de manera más detallada los predicados a través del uso de cuantificadores que expresan cantidad (todos ∀ o algunos ∃).
La lógica proposicional analiza los razonamientos formalmente válidos partiendo de proposiciones y conectivas proposicionales (operadores lógicos).
Esta lógica simbólica, de la que nos estamos refiriendo, emplea un lenguaje artificial en la que simboliza las proposiciones generalmente con las letras p, q, r, s, t utilizando de operadores lógicos, también llamados conectores, functores, juntores, para poder construir formulas operando sobre las variables proposicionales y las proposiciones complejas.[73]
Finalmente existe otro tipo de lógica que es la dialéctica, aunque ésta no la podemos considerar como integrante de la lógica moderna, toda vez que la misma no tiene un contenido formal, sino ideológico; ni es “pasiva” como la lógica formal, sino que es activa, al obtener principios racionales a través de la interpretación de la historia, utilizando como su estructura en su discurso, la tesis, seguida de la antitesis y su respectiva conclusión denominada síntesis; teniendo sus antecedentes desde los griegos con SOCRATES y PLATÓN quienes la concibieron como una técnica de discusión y de obtención de conclusiones, siendo la misma también estudiada y empleada por algunos filósofos como KANT, HEGEL, MARX, entre otros más.
El significado de la palabra verdad abarca desde la honestidad, la buena fe y la sinceridad humana en general, hasta el acuerdo de los conocimientos con las cosas que se afirman como realidades: los hechos o la cosa en particular;1 así como la relación de los hechos o las cosas en su totalidad en la constitución del TODO, el Universo.
Para el hebreo clásico el término `emuná significa primariamente «confianza», «fidelidad». Las cosas son verdaderas cuando son «fiables», fieles porque cumplen lo que ofrecen.2 3
Alfred Stevens: La Verdad y la Falsedad
El término no tiene una única definición en la que estén de acuerdo la mayoría de los estudiosos y las teorías sobre la verdad continúan siendo ampliamente debatidas. Hay posiciones diferentes acerca de cuestiones como:
- qué es lo que constituye la verdad
- con qué criterio podemos identificarla y definirla
- si el ser humano posee conocimientos innatos o sólo puede adquirirlos
- si existen las revelaciones o la verdad puede alcanzarse tan sólo mediante la experiencia, el entendimiento y la razón
- si la verdad es subjetiva u objetiva
- si la verdad es relativa o absoluta
- y hasta qué grado pueden afirmarse cada una de dichas propiedades.
Este artículo procura introducir las principales interpretaciones y perspectivas, tanto históricas como actuales, acerca de este concepto.
La pregunta por la verdad es y ha sido objeto de debate entre teólogos, filósofos y lógicos a lo largo de los siglos considerándose un tema concerniente al alma y al estudio de una llamada psicología racional dentro del campo de la filosofía.
En la actualidad es un tema de investigación científica así como de fundamentación filosófica:4
- La investigación científica de la función cognitiva5 introduce nuevas perspectivas acerca del conocimiento basado en la evidencia como creencia epistemológicamente verdadera con justificación válida.6
o
- Interesa a la Lingüística pues el lenguaje es expresión de la propia verdad.
- Interesa a la Antropología filosófica, pues parece evidente que los seres humanos prefieren la verdad a la mentira y la certeza a la duda o al error.
- Interesa a la Sociología, por cuanto el aprecio hacia la verdad y la condena de la mentira o del error varía en intensidad según las épocas y las culturas, pues tanto el concepto de verdad como su valoración no siempre es el mismo a lo largo de la Historia y de la cultura.
- Interesa a la Ciencia en cuanto tal7 en su pretensión de conocimiento válido.
- Etc.
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 del 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».
Tradicionalmente ha sido considerada como una parte de la filosofía. Pero en su desarrollo histórico, a partir del final del siglo XIX, y su formalización simbólica ha mostrado su íntima relación con las matemáticas; de tal forma que algunos la consideran como Lógica matemática.
En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica. Un cálculo definido por unos símbolos y unas reglas de inferencia.[1] Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática.
Hasta entonces la lógica no tuvo este sentido de estructura formal estricta. La tradición aristotélica y estoica,[2] mantuvo siempre una relación con los argumentos del lenguaje natural, concediendo por tanto a los argumentos una transmisión de contenidos verdaderos. Por ello aún siendo formales, no eran formalistas.[3]
Hoy, tras los progresos científicos relativos a la lingüística, y el concepto semántico de verdad en su relación con el lenguaje,[4] tal relación se trata bajo un punto de vista completamente diferente.
La formalización estricta ha mostrado las limitaciones de la lógica tradicional interpretada actualmente como una particularidad de la lógica de clases.[5]
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 del 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».
Tradicionalmente ha sido considerada como una parte de la filosofía. Pero en su desarrollo histórico, a partir del final del siglo XIX, y su formalización simbólica ha mostrado su íntima relación con las matemáticas; de tal forma que algunos la consideran como Lógica matemática.
En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica. Un cálculo definido por unos símbolos y unas reglas de inferencia.[1] Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática.
Hasta entonces la lógica no tuvo este sentido de estructura formal estricta. La tradición aristotélica y estoica,[2] mantuvo siempre una relación con los argumentos del lenguaje natural, concediendo por tanto a los argumentos una transmisión de contenidos verdaderos. Por ello aún siendo formales, no eran formalistas.[3]
Hoy, tras los progresos científicos relativos a la lingüística, y el concepto semántico de verdad en su relación con el lenguaje,[4] tal relación se trata bajo un punto de vista completamente diferente.
La formalización estricta ha mostrado las limitaciones de la lógica tradicional interpretada actualmente como una particularidad de la lógica de clases.[5]
Suscribirse a:
Entradas (Atom)