La lgica es una disciplina filosfica que estudia lo que expresa y se hace mediante la
palabra, no todo lo que decimos pertenece al anlisis lgico. Estudia los mtodos y
principios usados para distinguir el buen (correcto) razonamiento del malo (incorrecto).
Esto no debe interpretarse en el sentido de que solo el estudio de la lgica puede
razonar correctamente, que aquello que nunca ha pensado en los principios generales
implicados en ellos. Una parte tradicional del estudio de la lgica consiste en el examen
y anlisis de los mtodos incorrectos de razonamientos, o sea, falacias.
PENSAMIENTO Y RAZONAMIENTO:
Las ventajas que ofrece es que permite una efectiva y correcta forma de pensar,
reconoce cuando un razonamiento es correcto o incorrecto, nos permite evitar futuros
errores. Las distinciones entre el razonamiento correcto o incorrecto es el problema
central que debe tratar la lgica, sin tomar en cuenta su contenido.
RAZONAMIENTO DEDUCTIVO:
RAZONAMIENTO INDUCTIVO:
LGICA SIMBLICA:
La semitica es una ciencia que se ocupa del estudio de los signos en todo tipo de
lenguaje y en cualquier ciencia. Es la teora general de los signos. Los signos son las
unidades mnimas del lenguaje que no reconocen un anlisis ulterior interno.
1
Segn San Agustn, un signo es algo que cuando se me presenta hace que algo que no
est presente acuda al pensamiento. Es decir, el signo hace que otra cosa acuda por si
sola al pensamiento, es todo aquello que tiene la capacidad de evocar (hacer acudir)
las cosas que l mismo reemplaza o sustituye.
TIPOS DE SIGNOS:
Signo Artificial: son aquellos signos que el hombre crea o establece, entre los
que se pueden sealar:
2
Smbolo No Lingstico: tambin operan como smbolo.
Como el color magro, smbolo de accidente de luto y el
blanco para los chinos simboliza el estado de nimo.
cono: es un signo que cuando una relacin de semejanza en algn aspecto con
la cosa representada. Algunas propiedades del objeto para poder
representarlas.
Intrprete: que es el individuo que usa el signo. El sujeto que se toma como
referencia para establecer la relacin que se produce entre el signo y lo que el
signo designa.
Todo signo tiene un designado, pero no todo signo tiene denotado. Todo signo puede
ser designado, nombrado, pero puede no existir en la realidad (no est, no lo veo).
Designado: yo hago referencia a algo, lo nombro (puede no existir). Denotado: lo que
est en la realidad, se puede ver.
USO Y MENCIN:
3
Una palabra o una expresin estn usadas cuando se la emplea teniendo en cuenta lo
que ella significa, y est mencionada cuando se la considera en su materialidad en
tanto signo. Como seal indicativa de esta diferencia, es costumbre encerrar entre
comillas simples los signos o palabras mencionadas.
DIMENSIONES DE LA SEMITICA:
Pragmtica: se ocupa de los usos que hacen los hablantes de los signos. Es la
relacin que se da entre un signo o sistema de signos y los intrpretes de estos.
Ej: Matas es un nombre muy usado en la realidad.
LENGUAJE:
Cuando los signos constituyen un sistema, una totalidad organizada segn ciertas
reglas, que sirve a la comunicacin. Conjunto de smbolos, sonidos, gestos, seales,
letras u otros objetos capaces de comunicar un mensaje, por estar compuesta de
smbolos, tiene carcter artificial. Es un instrumento inevitable con el que el
conocimiento cientfico puede ser comunicado.
CLASES DE LENGUAJES:
4
Lenguaje Artificial: por oposicin al natural. Entre ellos se distinguen el lenguaje
tcnico y formal.
5
Un conjunto de signos primitivos o vocabulario primitivo: smbolos que elijo
como definidos (primarios) a partir de las cuales voy a construir mi lenguaje. Se
llama signos primitivos a las entidades significativas de un lenguaje que
requieren ser definidas explcitamente mediante otros signos del mismo
lenguaje.
CIENCIAS FORMALES:
SISTEMAS AXIOMTICOS:
En las ciencias formales se trata con sistemas axiomticos. Estos sistemas estn
formados por un conjunto de enunciados que se toman como punto de partida
(axiomas) y otros enunciados que se deducen de ellos (teoremas)
6
Axiomas: son enunciados que no demuestran dentro del sistema sino que son
verdades iniciales que no entran en discusin, se los toma como punto de
partida.
Teoremas: son enunciados cuya verdad debe ser demostrada. Son enunciados
que se deducen de los axiomas, aplicando reglas de inferencia a las reglas
bsicas las puedo volver axiomas.
LGICA PROPOSICIONAL:
Rama de la lgica que tiene como objeto de estudio las proposiciones y los
razonamientos proposicionales, ella provee mtodos adecuados para establecer la
verdad o falsedad de una proposicin dada, y la validez o invalidez de los
razonamientos proposiciones.
7
o Enunciados compuestos o moleculares: son aquellos que estn
compuestos por uno o ms proposiciones atmicas o simples.
RAZONAMIENTOS DEDUCTIVOS:
8
garanta suficiente para la verdad de la garanta para la verdad de la conclusin.
conclusin.
Si las premisas son verdaderas y el Aunque las premisas sean verdaderas, la
razonamiento es vlido, la conclusin no conclusin puede ser falsa.
puede ser falsa.
Su validez puede decirse por mtodos Su validez no puede decirse por mtodos
puramente lgicos y de manera definitiva. lgicos; se necesitan mtodos extralgicos
para establecerla, y solo provisoriamente.
La validez depende de la forma lgica del La validez depende del contenido
razonamiento y no de su contenido. informativo de sus proposiciones y de su
adecuacin a los hechos u objetos a los
cuales dichas proposiciones hacen
referencia.
LEYES LGICAS:
Una ley lgica es toda forma proposicional tal que si sustituimos sus variables por
constantes descriptas de la categora semitica que ellas determinan, el resultado ser
siempre una proposicin lgicamente verdadera.
De aqu se desprende que una ley lgica est compuesta por trminos lgicos y no
lgicos. Entre los primeros estn todas las conectivas y todas las constantes lgicas que
aparecen en la frmula, entre los trminos no lgicos estn las variables y el dominio
de estas variables est constituido por constantes descriptas categricamente.
TABLAS DE VERDAD:
9
Las tablas de verdad son una forma grfica de asignar diferentes valores de verdad que
toma una forma proposicional. Me indica que valor tiene la compuesta una vez que
conozco el valor de las proposiciones simples que lo conforman.
Lgica Tri-valente: utilizo 3 valores de verdad que son verdadero (1), falso (0) y
probable (1/2).
Una forma proposicional es consistente cuando tiene por lo menos una interpretacin
verdadera, y es inconsistente cuando no tiene ninguna interpretacin verdadera. Las
tautologas y las contingencias son formas consistentes, mientras que las
contradicciones son inconsistentes. La negacin de una tautologa es una
contradiccin, la negacin de contradiccin es una tautologa, y la negacin de una
forma contingente es tambin contingente.
CONECTIVAS:
Conjuncin:
o Signos: ^ o (.).
o Usos lingsticos: y, pero, aunque, sin embargo, ni, adems, etc.
10
o Verdad: la conjuncin de 2 proposiciones es verdadera si y solo si son
verdaderas las 2 proposiciones y es falso si uno de los 2 componentes es
falso.
Disyuncin:
o Signo: v
o Usos lingsticos: o, o bien, o lo uno o lo otro (o ambos), etc.
o Verdad: la disyuncin de 2 proposiciones es verdadera cuando 1 de los
componentes simples es verdadero o cuando ambos son verdaderos
(tolera 1 falsedad), y es falsa cuando ambos componentes son falsos.
Condicional (implicador):
o Signo:
o Usos lingsticos: si, entonces, es condicin suficiente para, implica, por
lo tanto, luego, es suficiente que, solo si, etc.
o Verdad: si el antecedente es verdadero y el consecuente falso, el
condicional es falso.
Bicondicional (coimplicador):
o Signo:
o Usos lingsticos: si y solo si, es condicin necesaria y suficiente para, es
equivalente, es lo mismo que, si... entonces, cuando y solo cuando,
etc.
o Verdad: un Bicondicional es falso cuando uno de los componentes es
verdadero y el otro es falso, y es verdadero cuando ambos son
verdaderos o ambos falsos.
Negador o Negacin:
o Signo: o ~
o Usos lingsticos: no, no es verdad, no se da el caso, no es cierto, ni
esto ni lo otro, nunca, etc.
o Verdad: la negacin de un enunciado verdadero es falso y la de un
enunciado falso es verdadero.
Un razonamiento es vlido cuando su forma es tal que no tienen ningn ejemplo con
premisas verdaderas y conclusin falsa. Por otro lado un condicional es tautolgico
11
cuando en su tabla de verdad no hay ninguna fila que tenga antecedente verdadero y
consecuente falso. El mtodo del condicional asociado consiste en lo siguiente:
El Mtodo Demostrativo:
Si bien el mtodo del condicional asociado es adecuado ya que permite decidir en cada
caso si un razonamiento proposicional es vlido o no, presenta el inconveniente de que
en razonamientos que contienen varias proposiciones siempre distintas, las tablas de
verdad se hacen muy extensas y por lo tanto difciles de manejar. El mtodo de prueba
que resuelve esta dificultad se denomina mtodo demostrativo.
Hay una diferencia importante entre este mtodo y el mtodo del condicional
asociado. Este ltimo es un mtodo mecnico que nos permite resolver en cada
razonamiento si su forma es vlida o no. En cambio, el mtodo demostrativo no es
mecnico ni nos garantiza en el caso de arribar a la conclusin que el razonamiento sea
invlido; podra ocurrir sobre todo en razonamientos muy complejos que se nos ocurra
la manera de resolverlo a pesar de ser un razonamiento vlido, de modo que el hecho
de no haber obtenido la conclusin no nos permite concluir que el razonamiento
proposicional sea invlido.
12
El mtodo consiste en que dada una forma proposicional se opera en ella una serie de
transformaciones mediante el reemplazo de formas equivalentes hasta obtener otra
ms siempre que contengan las conectivas ^, v,
GRUPO DE CIENCIAS:
Ciencias Formales:
Son aquellas que tienen como objeto de estudio formas puras o enunciados formales o
que se manejan con un lenguaje puramente formal. Un lenguaje formal es un lenguaje
simblico cuyos signos no tienen dimensin semntica. Las ciencias formales
(matemtica, lgica) no se ocupan de los hechos que dan informacin acerca de la
realidad.
Ciencias Fcticas:
13
Son aquellas que se ocupan de los hechos y fenmenos, y de la relacin de los
fenmenos en la medida en que esas relaciones me den regularidades universales.
Dentro de este grupo encontramos a las Ciencias Naturales y a las Ciencias Sociales.
PROBLEMA:
El problema es una situacin que no puedo explicar con los conocimientos que poseo,
dispongo de la carga terica que me da el ttulo, sin embargo hay algo que no puedo
explicar, esto me obliga a investigar. En este caso el cientfico inventa una explicacin,
inventa una hiptesis porque supone que es verdadera, para estudiar sus
consecuencias.
Los problemas se presentan con cierta vaguedad, de modo que hay que delimitarlos, es
decir, sealar los lmites entre los que se va a investigar y lo que no, esto no quiere
decir que se excluye todo, pues sirve tambin de marco al mismo.
14
o Relevancia: este criterio requiere analizar la importancia del problema,
su valor terico o experimental, normalmente esto se encuentra en los
antecedentes que justifican el problema.
3) El problema planteado debe ser original, es decir que debe representar alguna
novedad, sea en el contenido o en el enfoque. En todo caso debe presentar un
avance con respecto a lo que se ha logrado hasta el momento.
TEORA:
15
fenmenos. La utilidad de la teora es ordenar nuestro anlisis, a fin de cumplimentar
el fin ltimo del pensamiento cientfico, que es descubrir la realidad.
16
FUNCIONES DE LAS TEORAS:
Consistencia lgica, es decir, debe tener una estructura lgica y las hiptesis
que la conformen deben estar interrelacionadas, ser mutuamente excluyentes y
no caer en contradicciones internas. Siempre presupone un encadenamiento
lgico y no azaroso.
HIPTESIS:
17
Tiene que estar fundada en conocimiento previo o ser compatible con l.
Falsable: indica con claridad cules seran las condiciones que las falsaran
(Popper).
GENERACIN DE HIPTESIS:
3. Gua de Investigacin.
4. Explicacin.
TIPOS DE HIPTESIS:
Hiptesis Explorativas: por ser una hiptesis inicial posee cierto grado de
vaguedad, estas se ocupan de ver de que trata el fenmeno y muestran que
variables son relevantes.
18
Hiptesis Descriptiva: establece la relacin entre 2 variables y responde a la
pregunta Cmo?
Hiptesis de Segundo Grado: (ad hoc o auxiliares) son aquellas que carecen de
fundamentacin terica, pero tienen confirmacin de hechos. Su uso es
prctico y a ello se recurre en las aplicaciones tcnicas porque permiten
predecir la eficacia de los resultados que se llaman tambin hiptesis aisladas,
es decir, que no forman un cuerpo sistematizado de conocimiento. Pertenecen
tambin a este grupo de hiptesis auxiliares ad hoc que se utilizan para reforzar
una teora cientfica, para llenar ciertas lagunas o explicar ciertos hechos que no
alcanzan a explicar la teora que los incorpora.
Hiptesis de Tercer Grado: (de ensayo o trabajo) son aquellas suposiciones con
una fundamentacin terica aceptable pero que no han sido aceptadas por los
hechos enraizados con los conocimientos precedentes, y formando cuerpo con
otras hiptesis dentro de la teora que las incorpora, estas introducen novedad
y permanecen a la espera de confirmacin objetiva.
19
lugares y tiempos no considerados. Son las verdades ptimas y provisionales de
las ciencias. Cualquier tipo de hiptesis puede alcanzar la categora de ley
cientfica.
PUESTA A PRUEBA:
Hemos deducido un enunciado de observacin (de nivel 1) a partir de una ley emprica
(enunciado de nivel 1). Enunciado de observacin deducido de la ley llamada
consecuencia observacional (C.O.).
Pero la ley pretenda ser verdadera para todos los casos de modo que si en uno de los
casos no se observa lo que percibe la ley, diremos que en principio es falso. Para ser
ms exactos, diremos que si una de sus consecuencias observacionales es falsa,
entonces la ley ha sido refutada. Consiste en que una de sus consecuencias
observacionales no se cumpla.
Diremos que una hiptesis ha sido corroborada cada vez que una de sus consecuencias
observables se verifique (siempre que no haya sido refutada previamente). Podemos
confirmar muchas de sus C.O. y todava quedara la posibilidad de que en el futuro
alguna C.O. no verificada indique una refutacin. Por esos no podemos verificar una
ley.
VARIABLES:
20
de aspectos discernibles de esa variable, aspectos a los que se les ha dado el nombre
de dimensiones.
Las variables son conceptos que asumen distintos valores y permiten clasificar a
las unidades de anlisis, de acuerdo a las diversas posiciones que puedan
asumir dentro de la variable considerada.
Para poder medir las variables, es decir, poner a prueba la hiptesis es necesario
operacionalizar las variables, lo cual consiste en avanzar desde conceptos tericos a
conceptos que tengan referentes empricos inmediatos (experimentados).
3. Seleccin de indicadores.
21
Si se trata de un estudio descriptivo, las variables se clasifican en:
Variables Principales.
Variables Secundarias.
22
tipos de instrumentos. Pueden existir variables que no necesitan indicadores
porque son directamente observables.
TEORA CIENTFICA:
Una teora en ciencia permite explicar las relaciones entre hechos sociales y ordenarlos
de modo que adquieran sentido, es decir, que las observaciones en la ciencia no se
hacen al azar, sino guiadas por una teora, o sea, por un principio ordenado.
Todo prctico cientfico involucra distintos tipos de actividades de las cuales pueden
distinguirse 2 mbitos diferentes:
23
En el primero de los mbitos encontramos la actividad que los cientficos desarrollan
cuando necesitan dar cuenta de algunos fenmenos y generan alguna propuesta
explicativa. Cada propuesta se evala por sus consecuencias de modo que el tiempo
que se proponen las hiptesis, estas se van poniendo a prueba frente a las nuevas
observaciones.
El segundo del os mbitos da cuenta de cmo se usan las teoras para resolver
problemas, ya sean tcnicos o problemas que al ser resueltos completan la descripcin
del mundo que esa teora pretende dar. En este mbito no se pretende poner a prueba
la teora, sino que se cuenta con ella para obtener ciertos resultados tcnicos o
prcticos.
Podramos decir que una teora cientfica pretende dar explicaciones de ciertos sucesos
ocurridos o que tienen lugar frecuentemente, y adems predecir acontecimientos que
todava no han ocurrido, de modo de tener una aplicacin directa sobre la porcin de
naturaleza o la que la teora se refiere.
24
Verificacin: es poner a prueba la hiptesis y compararla con la realidad,
ciencias fcticas.
Leyes:
Explicacin y Prediccin:
Las hiptesis son sugeridas por experiencias que ya se tienen, y lo primero que se pide
de una hiptesis es que tales experiencias puedan deducirse a partir de ella, si es as,
se dir que la hiptesis es la explicacin de duchas experiencias.
Pero adems de deducir las experiencias anteriores, tambin debern poder deducirse
de las hiptesis en cuestin nuevos enunciados bsicos desconocidos hasta el
momento, que sern predicciones sobre lo que ocurrir. Si se ve que esas predicciones
no se contradicen por la experiencia se las mantiene para obtener nuevas a partir de
ellas. Una buena hiptesis ser aquella que tenga mayor poder explicativo y predictivo.
Las ciencias fcticas tienen como principal objetivo la explicacin y la prediccin del os
hechos. Estas hablan acerca de los hechos del mundo, por eso deben confrontar sus
afirmaciones con los hechos del mundo.
Comprensin:
TIPOS DE EXPLICACIN:
25
Explicacin Monolgica Deductiva:
1. Las leyes (L1 L2... Ln) deben ser enunciados generales abarcantes, de modo que
el hecho que se pretende explicar quede abarcado como un caso de ellas.
3. Tanto las leyes como las condiciones iniciales deber tomar contenidos
empricos, es decir, deben ser contrastables.
4. Tanto las leyes como las condiciones iniciales deben ser enunciados verdaderos.
5. El explanans debe contener al menos una ley que sea necesaria para la
deduccin del explanandum, es decir, una ley cuya eliminacin convertir el
razonamiento en uno invlido.
1. Las leyes que forman parte del explanans son ahora leyes probabilsticas.
Por lo tanto, el explanandum puede ser falso aun cuando sean verdaderos todos los
enunciados que componen el explanans.
26
Explicaciones Teolgicas:
As nos preguntamos por qu los seres humanos tienen pulmones, la respuesta usual
es dada al papel que desempean los pulmones al transportar el oxgeno del aire a la
sangre. A estas explicaciones se las llama funcionales y teolgicas.
Las leyes de las que se parte no indican relaciones entre fenmenos, sino que indicarn
finalidades de la accin.
Explicaciones Genticas:
MTODO INDUCTIVO:
Algunas de los casos a los que alude la hiptesis no han sido observados, y lo que
afirma la hiptesis sobre ellos permite obtener una prediccin.
27
denominado mtodo inductivo, este es el mtodo por el cual los cientficos
descubren las leyes empricas.
La teora (la carga terica) sera el punto de partida de todo conocer. Podrn formar
parte de la ciencia solo aquellas afirmaciones posibles de refutacin, o tambin
falsables. Esto significa que afirmaciones como las de la religin o la astrologa no
podrn ser cientficas ya que no es posible pensar ninguna experiencia u observacin
que las haga falsas.
Este criterio falsacionista no considera las afirmaciones que no sean cientficas como
afirmaciones sin sentido, solo sostiene que no podrn reclamar legtimamente
pertenecer al corpus de la ciencia.
28
El conocimiento no comienza con la observacin sino con una conjetura (o hiptesis).
Esta conjetura puede ser de cualquier naturaleza, ya que despus de todo, ser la
contrastacin emprica la que decidir su corroboracin o su falsacin (y su eventual
abandono). Segn el inductivismo, el cientfico parta de la experiencia y obtena leyes,
en cambio en la ptica de Popper se parte de una teora o conjetura y la instancia
emprica (experiencia) operar como control de nuestras especulaciones.
El hombre intenta explicar el mundo que lo rodea. Ellas son conjeturas o hiptesis,
verdaderos intentos de explicacin o de solucin de problemas. La especificad del
conocimiento cientfico no estar dado por otra cosa que no se la refutabilidad y el
intento efectivo de falsearlo por parte de la comunidad cientfica.
Si cumple con los requisitos del mtodo ser cientfico. Es posible, apelando a los
resultados de la observacin, demostrar que una teora es falsa, aunque
asimtricamente no es posible mostrar que sea verdadera.
Un enunciado universal puede ser falsado con un enunciado singular, pero ningn
nmero finito de observaciones singulares asegura la verdad del universal
correspondiente.
Cuando la prueba pasa la prueba del control emprico, es decir, ha sido corroborada, se
puede afirmar que ha resistido, y en la medida que resista gran cantidad de
contrastaciones, ella se har ms y ms confiable para el trabajo de los cientficos,
aunque nunca se haga verdadera.
29
El falsacionismo adquiere el carcter de prueba de honestidad cientfica, ya que la
labor del cientfico debe ser tratar de refutar constante y honestamente su teora.
30