Logica - Copia
-
Upload
gabriel-quintero -
Category
Documents
-
view
12 -
download
0
description
Transcript of Logica - Copia
-
GABRIEL ZAMORA TORRES
LUIS GUSTAVO ROJAS PAREDES
PRACTICAS DE INFORMATICA
-
CLASIFICACION DE LOS JUICIOS
Cantidad
Universal
son aquellos que se refieren a todos los individuos de la
especie.
Particular
son aquellos que se refieren a varios objetos sin llegar a la totalidad es decir que se
refieren tan solo a una parte del todo.
Cualidad
Afirmativo
son aquellos juicios que expresan la compatibilidad
entre el sujeto y el predicado se realizan el
predicado.
Negativo
son aquellos que expresan la incompatibilidad entre el
sujeto y el predicado
Propiedad fundamental
Verdadero
Es el que posee la propiedad de decir solo la verdad en
cuanto a algo que esta respaldado.
Falso
Es el que dice algo considerado una mentira,
adquiriendo esta propiedad cuando se sabe lo
verdadero.
-
RACIOCINIO
Esta es la tercer foma mental:La razn es la facultad en virtud de la
cual el ser humano es capaz de identificar conceptos, cuestionarlos,
hallar coherencia o contradiccin entre ellos y as inducir o deducir otros
distintos de los que ya conoce
Hay diferentes tipos de raciocinio:
Deductivo
La conclusin en un razonamiento deductivo se obtiene de las premisas
dadas, es decir, no necesita recurrir de manera directa a la prctica o a la
experiencia. Por esta razn, se expresa que la conclusin en este tipo de
argumento se da una seguridad matemtica.
Inductivo
es un razonamiento inductivo es aquel de conclusin probable. Es decir, dadas
las determinadas premisas, la conclusin que de ellas infiere es nicamente
probable.
Analogico
Es cuando presenta las siguientes caractersticas sobre la base
del conocimiento que de dos o ms objetos son semejantes con respecto a una serie de cualidades que uno o ms
de ellos posee, adems alguna otra propiedad o atributo se afirma en la conclusin que el o los objetos restantes
tambin poseen esa nueva propiedad.
As, la razn humana, ms que descubrir certezas es una capacidad de establecer
o descartar nuevos conceptos concluyentes o conclusiones, en funcin de su coherencia con respecto de otros
conceptos de partida o premisas.
-
1
2
3
4
6
5
7
8
REGLAS DEL SILOGISMO
El silogismo consta nicamente de 3 trminos.
La conclusin siempre sigue a la parte ms dbil (lo particular y lo
negativo)
De dos premisas particulares no se obtiene conclusin.
De dos premisas afirmativas no se obtiene conclusin negativa.
De dos premisas negativas no se obtiene conclusin.
El trmino medio debe ser al menos una vez universal.
Ninguno de los trminos debe tener mayor extensin en la
conclusin que en las premisas.
Un trmino medio no debe estar en la conclusin.
-
FALACIA
Una falacia o sofisma es un razonamiento lgicamente incorrecto, aunque
psicolgicamente pueda ser persuasivo.
Cabe aclarar que un razonamiento falaz no necesariamente posee una conclusin falsa; as como un
razonamiento correcto no necesariamente tiene una conclusin verdadera. La crtica de un razonamiento no
tiene relacin con la validez de su conclusin.
La falacia lgica es un modo o patrn de razonamiento que siempre o casi siempre conduce a un argumento
incorrecto. Esto es debido a un defecto en la estructura del argumento que lo conduce a que este sea invlido.
Las falacias lgicas suelen aprovecharse de los prejuicios o sesgos cognitivos para parecer lgicas.
Todas las falacias son razonamiento que vulneran alguna regla lgica. As, por ejemplo, se argumenta de una manera falaz cuando en vez de presentar razones
adecuadas en contra de la posicin que defiende una persona, se la ataca y desacredita: se va contra la
persona sin rebatir lo que dice o afirma.
Generalmente los razonamientos falaces no son tan claros como los ejemplos. Muchas falacias
involucran causalidad, que no es una parte de la lgica formal. Otras utilizan estratagemas psicolgicas como el
uso de relaciones de poder entre el orador y el interlocutor, llamamientos al patriotismo, la moralidad o
el ego para establecer las premisas intermedias (explcitas o implcitas) necesarias para el razonamiento
El estudio de las falacias se remonta por lo menos hasta Aristteles, quien en sus Refutaciones sofsticas identific y clasific trece clases de
falacias. Desde entonces, cientos de otras falacias se han agregado a la lista y se han propuesto varios sistemas de
clasificacin.
Las falacias son de inters no solo para la lgica, sino tambin para la poltica, la retrica, el derecho,
la ciencia, la religin, el periodismo, la mercadotecnia, el cine y, en general, cualquier rea en la cual la argumentacin y la persuasin sean de especial
relevancia.
Las falacias son de inters no solo para la lgica, sino tambin para la poltica, la retrica, el derecho,
la ciencia, la religin, el periodismo, la mercadotecnia, el cine y, en general, cualquier rea en la cual la argumentacin y la persuasin sean de especial
relevancia.
-
CLASIFICACION
DE LAS FALACIAS
Argumentum ad bacilum (apelacin a la
fuerza)
Argumentum ad hominem (contra el
hombre)
Argumentum ad ignoratum (argumento a
la ignorancia)
Argumentum ad misericordiam
(argumento a la piedad o misericordia)
Argumentum ad populum (apelacin al
pueblo)
Argumentum ad verecundiam (apelacin a
la autoridad)
Se apela a la falacia para provocar la aceptacin de la
conclusin.
Se comete cuando se sostiene que una proposicin es
verdadera simplemente sobre la base de que no se ha
demostrado que es falsa porque es verdadera.
Razonamiento que en vez de representar razones
adecuadas para debatir una determinada posicin o
conclusin se ataca a la persona que defiende.
Se apela a la piedad para conseguir una determinada
conclusin.
Se comete un llamado emocional al pueblo con el fin
de ganar asentamiento para la conclusin y que no
est sustentado en pruebas.
Se da cuando se toman las conclusiones de una
persona famosa o reconocida, solo porque ella lo dijo,
se basa en la autoridad de cierto prestigio que les
otorga a ciertas personas.
-
PROPOSICIONES
Una proposicin es una cadena de
signos expresados en un
determinado lenguaje. En un lenguaje
natural, esos signos usualmente son
sonidos o caracteres escritos, mientras
que un tipo de lenguaje formalizado
pueden ser signos arbitrarios...
Escritos, mientras que
un tipo de lenguaje
formalizado puede ser
signos arbitrarios...
Tambin denominadas proposiciones
atmicas. Son aquellas proposiciones que no
se pueden dividir.
Ejemplo:
El cielo es azul.
-
Tipo de conectores bsicos Palabras conectivas
Negacin Palabras No No es cierto que No es verdad que Nunca Carece de Sin
Prefijos A Des In I
Conjuncin Y Aunque Pero Mas Tambin Sin embargo adems
Disyuncin inclusiva Una Otra o y/o O
Disyuncin exclusiva O.. O O bien o bien .a menos que .salvo que
La condicional Si..p..entonces. Si.pcuando. ..q..siemprep
La bicondicional Si y solo si, cuando y solo cuando Negacin conjunta Ni no.
-
TABLA DE VERDAD
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el
valor de verdad de una proposicincompuesta, para cada
combinacin de valores de verdad que se pueda asignar a sus componentes.
En realidad toda la lgica est contenida en las tablas de verdad, en ellas se nos
manifesta todo lo que implican las relaciones sintcticas entre las diversas proposiciones. No obstante la sencillez
del algoritmo, aparecen dos dificultades
La gran cantidad de operaciones que hay que hacer para una proposicin con ms
de 4 variables.
Esta dificultad ha sido magnficamente superada por la rapidez de los
ordenadores, y no presenta dificultad alguna.
Que nicamente ser aplicable a un esquema de inferencia, o argumento cuando la proposicin condicionada, como conclusin, sea previamente
conocida, al menos como
hiptesis, hasta comprobar que su tabla de verdad manifiesta una tautologa
Por ello se construye un clculo mediante cadenas deductivas: Las proposiciones que constituyen el
antecedente del esquema de inferencia, se toman como premisas de un
argumento. Se establecen como reglas de clculo algunas tautologas como tales
leyes lgicas, (pues garantizan, por su carcter tautolgico, el valor V)
Se permite la aplicacin de dichas reglas como reglas de sustitucin de frmulas
bien formadas en las relaciones que puedan establecerse entre dichas
premisas. Deduciendo mediante su aplicacin, como teoremas, todas las
conclusiones posibles que haya contenidas en las premisas
-
ELABORACION DE TABLAS DE VERDAD
-
CONCLUSION TAUTOLOGICA, CONTRADICTORIA Y CONTINGENTE
TAUTOLOGICA
es una frmula bien formada de un sistema delgica proposicional que resulta
verdadera para cualquier interpretacin; es decir, para cualquier asignacin devalores
de verdad que se haga a sus frmulas atmicas.12 La construccin de una tabla de
verdad es un mtodo efectivo para determinar si una frmula cualquiera es una
tautologa o no.2
En lgica, se le llama tautologa a toda frmula que es verdadera para toda
asignacin de valores de verdad. De un modo ms formal, podemos definir
una tautologa como sigue: la frmula A es una tautologa si y solo si para toda
asignacin v, v(A) = V.
CONTRADICTORIA
La oposicin contradictoria se da entre las proposiciones que difieren por la cantidad y
la cualidad.
de las cuales una solamente niega cuanto se requiere y es suficiente para destruir la
verdad de la otra.
CONTINGENTE
La teora de la contingencia pretende mas que nada ubicar principios relacionados
con las actividades situacionales, en ocasin de buscar principios universales
aplicables a cualquier situacin
en la aplicacin de la teora de la contingencia analizaremos adems del origen, la organizacin y sus niveles y la
apreciacin critica de la teora de la contingencia.
-
DIAGRAMA DE FLUJO
Un diagrama de flujo es una representacin grfica de un proceso.
Cada paso del proceso es representado por un smbolo
diferente que contiene una breve descripcin de la etapa de proceso.
Los smbolos grficos del flujo del proceso estn unidos entre s con flechas que indican la direccin de
flujo del proceso.
El diagrama de flujo ofrece una descripcin visual de las actividades
implicadas en un proceso mostrando la relacin secuencial ente ellas,
facilitando la rpida comprensin de cada actividad y su relacin con las
dems,
el flujo de la informacin y los materiales, las ramas en el proceso, la
existencia de bucles repetitivos, el nmero de pasos del proceso, las
operaciones de interdepartamentales Facilita
tambin la seleccin de indicadores de proceso
Permiten definir los lmites de un proceso. A veces estos lmites no son tan evidentes, no estando definidos los distintos proveedores y clientes (internos y externos) involucrados.
Proporciona un mtodo de comunicacin ms eficaz, al introducir
un lenguaje comn, si bien es cierto que para ello se hace preciso la
capacitacin de aquellas personas que entrarn en contacto con la
diagramacin.
-
TIPOS DE LOGICAS
DEL SIGLO XX
LOGICA DIALECTICA
LOGICA FORMAL
LOGICA DEONTICA
LOGICA INFORMAL
LOGICA MATEMATICA
LOGICA POLIVALENTE
La lgica dialctica (lgica de las diferencias y de las
oposiciones) es una mediacin entre la lgica formal
pura y el anlisis dialctico de las contradicciones en
el movimiento; este anlisis dialctico, mal situado,
poco cultivado, se ha oscurecido y su campo
desaparece
La lgica formal es la parte de la lgica que, a
diferencia de la lgica informal, se dedica al estudio de
la inferencia mediante la construccin de lenguajes
formales, sistemas deductivos y semnticas formales.
La lgica dentica es un tipo de lgica modal usada
para analizar formalmente las normas o las
proposiciones que tratan acerca de las normas.
La lgica informal, o lgica no formal, es el estudio de
los argumentos naturales y en oposicin al estudio de
los argumentos en una forma tcnica o artificial (lgica
formal).
La lgica matemtica es una parte de la lgica y
la matemtica, que consiste en el estudio matemtico
de la lgica, y en la aplicacin de dicho estudio a otras
reas de la matemtica y de las ciencias.
Una lgica plurivalente o lgica polivalente es
un sistema lgico que rechaza el principio del tercero
excluido de las lgicas bivalentes y admite ms valores
de verdad que los tradicionales verdadero falso
-
INTELIGENCIA ARTIFICIAL
La Inteligencia Artificial incluye varios campos de desarrollo
tales como: la robtica, usada principalmente en el campo industrial; comprensin de
lenguajes y traduccin; visin en mquinas que distinguen
formas y que se usan en lneas de ensamblaje; reconocimiento
de palabras y aprendizaje de mquinas; sistemas
computacionales expertos.
Una caracterstica fundamental que distingue a los mtodos de
Inteligencia Artificial de los mtodos numricos es el uso de smbolos no matemticos, aunque no es suficiente para distinguirlo completamente.
Otros tipos de programas como los compiladores y sistemas de
bases de datos, tambin procesan smbolos y no se
considera que usen tcnicas de Inteligencia ArtificiaL
El comportamiento de los programas no es descrito
explcitamente por el algoritmo. La secuencia de
pasos seguidos por el programa es influenciado por el problema
particular presente. El programa especifica cmo
encontrar la secuencia de pasos necesarios para resolver un problema dado (programa
declarativo)
El razonamiento basado en el conocimiento, implica que
estos programas incorporan factores y relaciones del
mundo real y del mbito del conocimiento en que ellos
operan.
Aplicabilidad a datos y problemas mal estructurados, sin las tcnicas de Inteligencia
Artificial los programas no pueden trabajar con este tipo
de problemas
-
JUICIO
La relacin de dos conceptos da lugar a la formulacin de un juicio. Si se da entre ambos una relacin de conveniencia decimos que el
juicio es afirmativo, y en caso contrario, negativo. El sujeto del juicio es el concepto del que se
afirma o niega algo; el predicado es el concepto que se afirma o niega del sujeto. Aristteles distingue en
los juicios la materia y la forma.
La materia o contenido del juicio son los conceptos que se relacionan; la
forma es la relacin que se establece entre ellos a travs del verbo ser.
Aristteles representa el sujeto del juicio con un signo (S) y el predicado con otro (P) para intentar separar la materia de la forma: as, la forma del juicio "Juan es alto" se representara como "S es P", y la forma del juicio "Juan no es alto" como "S no es P".
Al igual que ocurra con los conceptos, que son actos mentales que se expresan mediante trminos
lingsticos, los juicios son actos mentales que se expresan mediante proposiciones, es decir, mediante un
conjunto de palabras u oracin gramatical. El mismo juicio se puede expresar con distintas proposiciones
(por ejemplo, usando distintos idiomas), y a veces la misma
proposicin puede referirse a juicios distintos, ("sta es mi casa" dicha por
dos personas distintas).
El juicio es una comparacin de dos conceptos o imgenes esenciales
El juicio es un pensamiento en el que se afirma o se niega algo de algo.
Segn Aristteles, el juicio es el "pensamiento compuesto de ms de una idea, pero dotado, a la
vez, de una unidad especial que se logra por medio de la cpula".