Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lógica: es una ciencia formal que utiliza el lenguaje simbólico y se encarga de la validez
de los razonamientos. Según Copi es el estudio de los principios y métodos usados para
distinguir entre el razonamiento correcto e incorrecto.
El objeto de la lógica es:
Distinguir entre el razonamiento correcto e incorrecto, es un problema central que
debe tratar la lógica.
determinar si las premisas brindan fundamentos adecuados para aceptar la
conclusión, es decir, si el razonamiento es correcto, entonces se puede afirmar que
las premisas son verdaderas garantías de que la conclusión es verdadera, de lo
contrario el razonamiento es incorrecto.
Determinar si la conclusión a la que se llego es correcta o no.
Símbolo: signo que mantiene, con el objeto mencionado una relación convencional, cuando
la relación que se establece entre el signo y el objeto es por convención, hablamos de
símbolos (realidad).
Signo: unidad mínima de análisis del lenguaje, el objeto físico dice o significa algo en la
medida en que exista un intérprete o decodificador.
1
Según Morris, S es un signo de D para I en la medida en que I tenga en cuenta a D en
virtud de la presencia de S.
Por ejemplo:
S => signo => Humo
D => designado => Fuego
I => interprete => yo
Tipos de signos:
Signo natural: se caracteriza porque la relación S-D no es el resultado de ninguna
creación humana, es decir, el signo es producido por la cosa a la que remite. Por
ejemplo, la fiebre es signo de enfermedad.
Signo artificial: el signo no se remite a algo por medio de convenciones explícitas
construidas por el hombre.
Signo icónico: representan una semejanza con la realidad, la relación S-D es creada
por el hombre. Por ejemplo: foto.
Signos convencionales: no existe semejanza entre el signo y el designado, la
relación es por convención. Por ejemplo, billete de $ 10.
Semiosis: disciplina que estudia los signos y analiza las relaciones que se dan entre los tres
componentes, signo, designado e interprete, este proceso abarca tres tipos de dimensiones:
Sintáctica: relación entre los signos, es decir, coordinación de las palabras en las
oraciones, por ejemplo, mate tiene dos silabas.
Semántica: relación entre el signo y el designado, es decir, el significado de las
palabras, por ejemplo, el hábito de tomar mate es una costumbre argentina.
El signo se relaciona, a través, de la designación y denotación, entonces un signo
siempre tiene designado, pero no siempre denotado, como por ejemplo el unicornio,
tiene designación, pero no denotación porque es un ser mitológico.
Pragmática: relación entre el signo y el intérprete, es decir, utiliza el valor práctico
como criterio de veracidad, por ejemplo, hoy desayune mate.
Lenguajes formales: no tienen dimensión semántica (no existe relación con el símbolo).
Son símbolos no interpretados y están compuestos por:
Vocabulario primitivo o signo primitivo: son signos numéricos elementales, a
partir de los cuales se van a construir las expresiones en ese lenguaje, es por
convención. Como por ejemplo:
o Lenguaje escrito => las letras.
o Lenguaje de lógica proposicional => variables proposicionales,
conectivas o signos de puntuación.
Reglas de formación: como puedo combinar los signos primitivos para formular
formulas bien formadas, como por ejemplo, entre el sujeto y predicado tiene que
haber un verbo.
o Lenguaje español => reglas ortográficas.
o Lógica proposicional
Conectores diádicos (son las que une las variables).
Conectores gonádicos (la negación va delante de la variable).
Signos de puntuación, deben indicar el alcance de la conectiva.
Signos definidos: se pueden agregar nuevos signos o definiciones.
Reglas de transformación: me indican como puedo transformar unas formulas en
otras bien formadas. Están dadas por aquellos razonamientos que permiten inferir en
teoremas a partir de los axiomas.
Lenguaje escrito: sujeto de voz activa y pasiva, por ejemplo:
Mery pinta la pared (a), la pared es pintada por Mery (p).
Lenguaje Proposicional.
Axiomas: es un enunciado o proposición que se tomo como punto de partida, son
enunciados verdaderos por decisión del que construye el sistema axiomático.
Sistemas axiomáticos: formado por un conjunto de enunciados que se toman como punto
de partida (axiomas) y otros enunciados que se deducen de ellos (teoremas), dar un sistema
axiomático es dar:
Un lenguaje.
Un conjunto de axiomas.
2
Un conjunto de reglas de transformación.
TEOREMA: proposición que afirma una verdad de mostrable, parte de una H se afirma
una tesis que no es evidente por sí misma.
3
UNIDAD II: Lógica proposicional y de términos.
Valido – invalido:
Razonamiento válido: se da cuando no existe ningún ejemplo de sustitución de su
forma lógica que partiendo de premisas verdaderas obtenga una conclusión falsa.
Razonamiento inválido:
Variables Proposicionales: letras que uso para formalizar enunciados simples, por
convención son las minúsculas a partir de p.
4
Conectivas: expresión lingüística que aplicada a uno o dos enunciados permite
obtener un enunciado complejo.
TABLAS DE VERDAD: es una forma gráfica de consignar los valores de verdad que
toma una forma proposicional.
De la negación: p - p *en la negación se invierten los valores
V F
F V
5
CONTINGUENCIA: si en el resultado de una tabla hay un valor falso
(p ۸ q ) → -q
V V V F F
F F V V F
V F F V V
F F F V V
Condicional asociado: es un método en el cual se emplean las tablas de verdad para probar
la validez de los argumentos.
Pasos:
1. Formalizar el argumento: Ejemplo: “si suben los precios hay inflación, pero en
realidad no hay inflación, por lo tanto no suben los precios”
1ra Premisa p → q
2da Premisa -q
Conclusión - p
2. Transformar el argumento en proposición para lo cual se utilizan las
conectivas. Ejemplo:
[(p→q)۸–q]→-p
3. Aplicar la tabla de verdad
[(p → q) ۸ -q] → -q
V V V F F V F
F V V F F V V
V F F F V V F
F V F V V V V
1_ p ۸ q
2_ p v q → t/ ۸ t
3 p eliminación de la conjunción 1
6
4 pvq introducción de la disyunción 3
5 t Modus Ponem (eliminación de la implicación) 2 y 4
Razonamiento valido
Eliminación de la implicación:
Formas invalidas:
A → B la afirmación del consecuente, también llamado error inverso, es una
B_____ falacia formal, Los argumentos de esta forma son inválidos, porque
A la verdad de las premisas no garantiza la verdad de la conclusión: podría ser
que las premisas fueran todas verdaderas y la conclusión aun así sea falsa. Como por
ejemplo:
Aun cuando ambas premisas sean verdaderas, la conclusión podría ser falsa, porque no
siempre que hace frío está nevando. En algunos casos, los argumentos de la misma forma
pueden parecer convincentes. Por ejemplo:
7
3. Por lo tanto, no hace frío.
Aun cuando ambas premisas sean verdaderas, la conclusión podría ser falsa, porque podría
no estar nevando y aun así hacer frío.
Introducción a la implicación:
Teorema de la deducción: “si tengo una hipótesis cualquiera “A” que de ella se sigue “B”,
entonces puedo escribir como una nueva fórmula: A → B”. En este caso se emplea una
suposición subsidiaria, la cual es la hipótesis de la que se parte que es cancelada cuando
pasa a ser antecedente de una implicación.
A
.
. Forma de suposición subsidiaria
.
B__
A→B
Introducción a la conjunción:
Teniendo dos premisas separadas puedo inferir en la conjunción de ambas
A
B__
A۸ B
Introducción de la disyunción:
Teniendo una premisa, le puedo agregar otro que necesito
A__
Av B
Resulta que para que cuadren los teoremas de la lógica, toda sub-demostración ha de
tener una conclusión (no dos); y en esta hipótesis que sale en la regla de arriba, no queda
claro cuál es la conclusión (si B o -B). La forma correcta de escribirlo sería usar
la introducción de la conjunción para decir que B ۸ –B, y ésta es la conclusión que nos
hace ver que la hipótesis inicial era errónea.
8
Conectivas: se utilizan como ejemplo:
a b M
Cuantificadores: (x, y, z)
o Universal (X): todo, cualquiera, nada, ninguno
o Existencial (Ǝx): hay, existen, algunos
Individuo indeterminado:
a. Ejemplo: X es contador F x (x es variable libre) Forma de función
proposicional, cuando determine “x”, se trasformará en una forma
proposicional: Joel es contador F a (a es una constante)
b. Ejemplo: todo cambia (x) Fx = para todo x, Fx
c. Ejemplo: algo cambia (Ǝx) Fx = hay por lo menos un individuo que
tiene la función de cambiar.
Forma de función proposicional: (x) Fx . Gx “x” no está determinada ni
Deben coincidir por una constante de
Variable libre individuo ni por un
cuantificador.
Forma proposicional: (x) (Fx . Gx) “x” ya no es variable libre, está
determinado al alcance del cuantificador por el paréntesis.
Log.Prop Log de term.
Todo alumno es inteligente Todo “s” es “p” P (x) (Sx→Px)
Ningún alumno es inteligente Ningún “s” es “p” Q (x) (Sx→-Px)
Algunos alumnos son inteligentes Algún “s” es “p” R (Ǝx) (Sx ۸ Px)
Algunos alumnos no son inteligentes Algún “s” no es “p” S (Ǝx) (Sx ۸ –Px)
LEYES:
1. Reglas de Ejemplificación Universal: (Eu) (x) Fx Todo Cambia.
Fa Cualquier individuo cambia
9
UNIDAD III: Constitución del sistema científico.
Características de la ciencia:
Comunicable: debe poder informarse, transmitirse para aquellos que están en
condiciones de entenderla, cada disciplina tiene sus propios lenguajes técnicos y se
comunica a través de éstos.
Generalización: estas leyes son enunciados universales generales que no pretenden
decir como deber ser las cosas (normativo) si no que dice como son (descriptivo).
Metódico: no hay conocimiento científico al azar, siempre es producto de la
aplicación de un método, lo que va a llevar a producir un conocimiento con valor.
Precisión: cada disciplina delimita su campo de estudio.
Provisorio: es auto correctivo, no hay verdades definitivas ya que las teorías más
importantes han sufrido cambios, han caído.
Sistemático: no se pueden tener conocimientos sueltos, por lo que en un campo de
estudio hay varias teorías que se relacionan, los conocimientos científicos se
ordenan en un sistema.
Verificable: se verifican sus enunciados, se demuestra la verdad, tiene que ver con
lo metodológico y lo lógico. Hay suficiente evidencia empírica para suponer que es
verdadero, lo que pone a prueba son enunciados.
Legal: la ciencia apunta a la formulación de las leyes.
10
Nivel II: Afirmaciones Empíricas Generales
Son enunciados generales observacionales. Son afirmaciones acerca de fenómenos
observables que tienen un alcance universal, teniendo en cuenta que se ha llegado a
eso creativamente. Menos deducción, salto creativo.
Nivel III: Leyes teóricas
o Enunciados teóricos puros: principios internos que contienen términos
teóricos que surgen de la teoría
o Enunciados teóricos mixtos: principio puente que contienen términos
observables que relacionan el nivel I y III.
o Se llega mediante un salto creativo y un puente que permite conectar
términos teóricos con observacionales.
Tipos de hipótesis:
11
o Explicativa: responde al ¿por qué?, no se limita a relacionar, sino que busca
relaciones, causales, son más difíciles de probar.
Otros tipos de hipótesis:
o Investigación: proposiciones tentativas acerca de las posibles relaciones de
dos o más variables.
o Nulas: proposiciones acerca de la relación entre variables, solamente que
sirven para refutar o negar lo que afirma la hipótesis de investigación.
o Alternativas: son posibilidades antes de las hipótesis de investigación y
nulas, solo pueden formularse teniendo la primera y la segunda.
o Estadísticas: son la transformación de las hipótesis de investigación en
nulas y alternativas en símbolos estadísticos, se usa para probar o disprobar
que las hipótesis son cuantitativas. (porcentajes, promedios y números).
o Audaz: desafía el conocimiento ya existente, la ventaja es que si fracaso no
me perjudica, pero si triunfa pueda cambiar la historia.
Variables: aspecto describible de un objeto de estudio, que puede tomar distintos valores
para distintos casos.
Operación de las variables: el fin de este proceso permite acercar los conceptos teóricos a
la realidad empírica, posibilitando su medición, las variables deben ser traducidas a la
realidad empírica, posibilitando su medición, las variables deben ser traducidas a conceptos
mensurables, es decir, es necesario definir las variables teóricas contenidas en una hipótesis
en términos de variables empíricas llamadas indicadores.
La elección de los indicadores depende del marco teórico con el que se está trabajando. La
cantidad de indicadores va a depender de la dimensión.
Los pasos son los siguientes:
Definición nominal de la variable a medir.
Definición real: enumeración de sus dimensiones, unidimensional (genero,
hombre, mujer), multidimensional (social, económico, biológico).
Definición operacional: selección de indicadores.
Categoría: son los valores probables que puede adquirir una variable y las dimensiones
que son determinados aspectos de una variable. (Son mutuamente excluyentes).
Escalas: se utilizan para medir las variables, consiste en asignación de símbolos a eventos
de acuerdo a determinadas reglas en función de un principio ordenado lógico. Los tipos de
escalas pueden ser:
Cualitativas: se miden atributos o propiedades. (nominal)
Cuantitativa: se miden magnitudes.
o Ordinal: no solo mide ausencia o presencia de propiedad, si no que además
establece un orden jerárquico.
o Interés: mide ausencia y presencia de propiedad. Se fijan intervalos
numéricos entre los distintos momentos a medir y no se mantiene una
proporcionalidad entre ellos, el cero es arbitrario.
12
o Razón o proporción: los argumentos toman valores de proporcionalidad y
el cero no es arbitrario, representa valores de ausencia de cantidad.
Estructura:
Premisas: enunciados de la teoría. (Explorans o explicans)
Conclusión: enunciado observacional que se quiere explicar. (explorandum).
Clasificación:
Nomológica deductiva: las premisas expresan una condición suficiente de la
verdad, las premisas se constituyen por tres elementos:
o Leyes generales que expresan conexiones empíricas uniformes.
o Las condiciones iniciales o circunstancias concretas.
o Enunciados singulares.
Este método encaja al fenómeno que se trata de explicar en un patrón de leyes y
mostrar que era de esperar que se produjera tal hecho, dadas esas condiciones y esas
leyes concretas.
Según Hempel concibe la explicación como un razonamiento deductivo cuyas
premisas son leyes universales y ciertos enunciados singulares que hacen
afirmaciones acerca de hechos concretos que reciben el nombre de condiciones
iniciales cuya conclusión es el enunciado que describe el fenómeno que se pretende
explicar.
Explicación Causal: son muy comunes en la vida cotidiana. La ley es causal ya que
es una relación de causa – efecto, la ocurrencia de un hecho se explica a partir de la
ocurrencia de otro ya que este se debe al primero.
Explicación teleológica: los hechos son explicados a partir de propósitos o
finalidades. Se tienen enunciados que establecen cierta finalidad, en lugar de leyes.
Establecida la finalidad y si se dan ciertas condiciones se puede explicar por que
causo tal cosa o no.
Predicción: me anticipo a los hechos y doy cuenta de que no sucedió, pero que va a
suceder, en virtud de que cuento con los demás elementos de la estructura.
13
un contexto general y específico, señala su importancia y la necesidad de resolverlo.
Los problemas se presentan con cierta vaguedad de modo que hay que debilitarlos.
Delimitación del problema:
o Definición: establecer con claridad que es lo que se va a investigar y con
que alcance, para ello se establecen dos criterios:
Precisión: requiere que el problema sea definido en forma tal que se
univoco y con límites conceptuales claros.
Extensión: requiere que el problema sea específico y no tan amplio
y definido que sea imposible llegar a resultados concretos.
o Valoración: significa analizar si es posible resolver el problema y si vale la
pena hacerlo, para ello ayudan tres criterios:
Originalidad: exige que el problema no haya sido investigado
anteriormente, si ya ha sido investigado la originalidad puede
consistir en un nuevo enfoque o en menor aspectos.
Relevancia: requiere analizar la importancia del problema, su valor
teórico o experimental.
Factibilidad: analizar las posibilidades de resolver el problema con
los recursos y medios disponibles.
14
UNIDAD IV: El método en las ciencias fácticas.
Requisitos de la inducción:
Se debe observar un número suficientemente amplio de casos (de enunciados
singulares).
Las condiciones de la observación deben ser variados.
Ningún enunciado observacional debe contradecir a la conclusión.
Estos requisitos si bien son necesarios para aumentar el grado de probabilidad de la verdad
de la conclusión, no constituyen suficiente respaldo lógico para esta, dado que en este tipo
de razonamiento la conclusión siempre agrega información respecto de las premisas,
aunque ellas sean verdaderas, siempre existe la posibilidad de que la conclusión sea falsa.
Dicho de otro modo la inferencia inductiva nunca será necesaria, forzosa, si no más o
menos probable.
Cabe aclarar que las hipótesis son subsidiarias de la recolección de datos particulares, dado
que su formulación significa el pasaje de ese conjunto formado por un número limitado de
enunciados singulares a una proposición universal.
Criticas al inductivismo:
A pesas de todas las criticas, no se puede deja de señalar el valor que la inducción tiene en
el proceso de investigación científica. En la inducción como en la vida cotidiana no podrá
darse un solo paso sin hacer suposiciones y generalizaciones inductivas, debemos
apoyarnos en la inducción para admitir una teoría cierta, aunque sea solo provisionalmente.
15
observación de los hechos a los cuales se refieren esos enunciados y que tomamos
como premisas esos enunciados observacionales verificados, es posible verificar
también, mediante razonamiento inductivo, enunciados universales nomológicos.
De acuerdo a l concepción del verificanismo el conocimiento científico es
conocimiento probado, consta de afirmaciones cuya verdad ha sido demostrada, es
decir, de leyes establecidas de modo definitivo, no sujetas a ninguna revisión
anterior.
Las dificultades que nos presenta este método científico nos lleva a otra versión más actual
y completa que se denomina método hipotético deductivo o concepción falsacionista de
la ciencia.
En este tipo de método la ciencia no parte de la observación, sino de problemas, ante los
cuales científicamente proponen hipótesis como intentos de solución. Estas hipótesis no se
obtendrán mediante la generalización de datos (inductivistas) sino que serán el resultado de
la formación y capacidad creativa del investigador. Luego estas soluciones tentativas
habrán de ser puesta a prueba mediante contrastación empírica para poder ser aceptados.
Los pasos a seguir para este método son:
Planteamiento del problema: un problema surge cunado los conocimientos que
poseemos no alcanzan para explicar determinados hechos. Es justamente esta
dificultad o problema el que guía la búsqueda de regularidades. (La observación no
es el punto de partida). Para que el problema adquiera carácter científico debe ser
planteado sobre un transfondo científico y ser estudiado con medios científicos,
desajuste entre la teoría disponible y la realidad.
Formulación de la hipótesis: frente a un problema el científico busca una solución
posible que guíe y oriente el desarrollo de la investigación. Esa solución tentativa o
conjetura es la hipótesis.
Deducción de las consecuencias observacionales: la hipótesis habrá que
contrastarla empíricamente para someter a prueba. Al ser la hipótesis enunciados
universales y no observacionales, el primer paso será el de deducir las
consecuencias de la misma ¿Qué sucedería de ser verdadera la hipótesis? A este
enunciado verificable inferido deductivamente de la hipótesis se lo denomina
consecuencia observacional.
Contrastación empírica: una vez obtenidas las consecuencias observacionales, se
procederá a constatar si ellas se verifican o no en la realidad, si así sucede la
hipótesis será confirmada provisoriamente. De ser negativo el resultado, se
reformulara o se abandonará la hipótesis.
Posible formulación de leyes o teorías: si la hipótesis pasa la prueba de una
cantidad de contrastaciones es posible tomarla como ley.
16