CAPITULO 1: CONSIDERACIONES SOBRE EL LENGUAJE

1.1 Lenguaje y Teoras cientficas

Aristteles sobre la base de las capacidades humanas de contemplar, obrar
y hacer, distingue entre:

Ciencias Teorticas: fsica, matemtica, biologa.

Ciencias Prcticas: tica, derecho, poltica.

Ciencias Productivas: ingeniera, medicina.

El positivismo sobre la base de la dualidad razn-experiencia, distingue
entre:
Ciencias deductivas o racionales: matemtica, lgica
Ciencias inductivas o empricas: fsica, qumica, biologa
Una clasificacin aceptada actualmente establece una bsica distincin
entre ciencias formales y ciencias fcticas. Esta clasificacin apunta a exponer
las diferencias centrales en el tipo de lenguaje que utilizan tanto como en el
mtodo para poner a prueba sus proposiciones.
Ciencias
Ciencias
formales
fcticas
Tipo de objeto de
Entes formales
Entes empricos
estudio
Proposiciones
Tautologas
Contingencias
Verificacin, confirmacin o
Modo de validacin
Demostracin
corroboracin, refutacin
Niveles semiticos
Sintctico
Semntico, pragmtico
Tipos de razonamiento
Deductivo
Deductivo, inductivo, analgico
Mtodo
Axiomtico
Inductivo, hipottico, dialctico, etc.
Nomolgico-deductivo, estadsticoModelo de explicacin
inductivo, gentico, teleolgico
Los modos de validacin se refieren a las distintas estrategias para poner a
prueba los enunciados de partida donde demostrar alude a la prueba
deductiva y verificar al Inductivismo, luego sustituida por confirmacin.
1.2 Lenguaje y Realidad
Lo propio del pensamiento mgico o primitivo es la idea de que existe una
conexin natural e inmediata entre el nombre y la cosa nombrada.
Crtilo es una obra de Platn donde se discute el origen del significado de
las palabras.
Cratilo = rectitud natural
Hermgenes = rectitud radicada en el convenio (depende del hbito de
los hablantes)
Scrates = solucin: posicin intermedia (Las palabras nos indican la
esencia de las cosas).
Platn considera que el conocimiento estricto o absoluto necesita referirse a
entidades absolutas que no cambian, a las que llamar Ideas. Los trminos
universales como los nombres comunes, los adjetivos o los sustantivos
abstractos no se refieren directamente a las cosas individuales que se ofrecen
a los sentidos sino a entidades universales como la Belleza, el Bien, el Hombre.
Estas entidades son lo que tradicionalmente se denominan esencias de las
cosas que estn separadas de las cosas individuales, las cuales participan o
imitan dichas Formas. Platn parte de la existencia del conocimiento para
demostrar la existencia de objetos no sensibles e inmutables:

Las cosas sensibles estn en continuo cambio

La ciencia no puede hacerse de lo que est en continuo cambio
Luego la ciencia no se puede referir a las cosas sensibles sino a
entidades que no cambian. (Ideas o Formas)
El conocimiento absoluto slo se puede alcanzar si existen entidades
absolutas (las Ideas). Esta tesis fue denominada disputa de los universales.
Tesis rival: Teora nominalista. Afirma que las especies, los gneros y los
universales no son realidades anteriores a las cosas sino simples nombres con
los que se identifican objetos. Navaja de Ockham: dice que fuera del alma
(extra nimia) no existe nada que no sea estrictamente individual, por lo tanto, el
universal queda recluido al plano del intelecto (in nimia), es decir, del lenguaje
que lo utiliza como signo apto para se predicado de varios individuos. Para l,
el ejercicio de la razn humana queda reducido a descubrir como son las cosas
y no como deberan ser. Para resolver el problema de la universalizacin de los
conceptos universales sin admitir ningn tipo de entidad universal extra anima,
introduce una novedosa concepcin del signo. Dice que slo lo individual es
real y lo general solo existe in nima.
Saussure: Recurre a la nocin de signo lingstico y reconoce la
presencia de dos elementos: uno material (significante) y otro inteligible
(significado). La relacin es convencional, es decir, funciona a partir de la
aceptacin o del acuerdo acerca de esta identificacin. Para que haya
comunicacin entre los usuarios de un lenguaje, es necesario que compartan
esta convencin. Se puede modificar la convencin, pero es necesario hacer
explcitos los cambios.
1.
2.
3.

1.3 Uso y mencin del lenguaje

Diferencia entre uso y mencin
Hay uso del lenguaje cuando nombramos entidades extralingsticas. En
cambio cuando el enunciado se refiere a objetos lingsticos o a propiedades
predicables del propio lenguaje, all hay mencin. Se usan comillas para
sealar aquellas porciones del lenguaje que resultan mencionadas (mesa
tiene 4 letras, nos referimos a la palabra y no al objeto).
Teora de las suposiciones: una expresin est en suppositio formalis
(Suposicin formal - uso) cuando se refiere a la entidad y en suppositio
materialis (Suposicin material - mencin) cuando se refiere al nombre de la
entidad.
Teora de la jerarqua de lenguajes: Distinguir entre un lenguaje,
usualmente llamado lenguaje-objeto (uso) y el lenguaje de este lenguaje,
usualmente llamado metalenguaje (mencin). El metalenguaje es el lenguaje
en el cual hablamos acerca del lenguaje-objeto. El lenguaje-objeto es siempre
un lenguaje inferior al metalenguaje, lo es solo con relacin al metalenguaje, y
este solo con relacin a aquel. Un metalenguaje se llama inferior con respecto
a otro metalenguaje en que se habla de l. Siempre se puede predicar algo
ms acerca de lo ya dicho. La serie de metalenguajes es infinita.
1.4 La semitica
Es la disciplina que se ocupa de elaborar una teora general de los signos.
Los signos son representaciones o representantes de distintos tipos de
entidades que pueden o no ser reales. Es signo todo aquello que tiene la
capacidad de reemplazar o sustituir algo.

Charles Sanders Peirce distingui tres tipos de signos:

1. El indicio o signo natural que es el que mantiene una relacin casual
entre el representante y lo representado. (Fiebre de enfermedad)
2. El icono es un signo que representa una relacin de semejanza o
parecido de algn tipo con lo representado. (Mapa)
3. El smbolo es aquel signo donde la conexin entre el signo y lo
representado es arbitrario y convencional. Es el que afecta a los signos
lingsticos y a los lenguajes cientficos (Luces de semforos). Es
impuesta por los usos de los lenguajes.
Llamamos lenguaje a un conjunto reglado de smbolos que se utilizan para
la comunicacin. Es el proceso por el cual algo funciona como signo. Para ello
es necesario que concurran tres factores:
a. El vehiculo signito, la seal, fenmeno o cosa que acta como signo (S)
b. El designatum, el significado del signo (D)
c. El interprete (I)
Algunos fenmenos funcionan como signo de otros en la medida en que un
intrprete es capaz de adjudicarles un significado. Una palabra, un numero,
una formula lgica o matemtica, claramente son smbolos, en la medida en
que pertenecen a un lenguaje creado intencionalmente para trasmitir
significados usando cdigos convencionales.
La semitica esta constituida por otras disciplinas que estudian los
diferentes aspectos o dimensiones de los signos. Puede ser considerada como
un metalenguaje, pero los metalenguajes tienen 3 dimensiones de estudio
semitico:
Dimensin sintctica: Se ocupa de revisar las relaciones entre signos,
las reglas que los ordenan. Gran importancia dentro de los lenguajes
formales, ya que dentro de un sistema axiomtico, para que una
expresin se admita debe cumplir con las reglas bsicas de formacin
de enunciados.
Dimensin semntica: Se ocupa de la relacin entre el signo y su
significado. La lgica llama trminos a estas unidades de significado
que tambin llamamos nombres o smbolos. Caractersticas:
Designacin: Es el conjunto de caractersticas definitorias que
constituyen el criterio de uso del nombre.
Extensin: Es la clase compuesta por todos aquellos individuos a los
que puede aplicarse dicho trmino. Cuando la clase no es
existencialmente vaca, cuando est constituida por individuos
ubicables en espacio y tiempo, la extensin coincide con la
denotacin.
Denotacin: Es el conjunto de los ejemplares de la clase, localizables
en espacio y tiempo (Cosas que podemos tocar, no como lo
nmeros).
Desconocer estos distintos aspectos del significado puede dar lugar
a argumentos falaces.
En el caso de las ciencias formales, ordenadas segn sus propios
sistemas axiomticos, la referencia extralingstica carece de
importancia, por lo tanto, sus signos no tienen denotacin mientras que
en el caso de las ciencias fcticas es de la mayor importancia las
distintas interpretaciones semnticas de los signos y la ubicacin de las

entidades a las que se refieren en el plano de la realidad.

Son trminos sin denotacin los que nombran:
a. Entes formales (un triangulo)
b. Entes de ficcin (un hada)
c. Entidades abstractas (la justicia)
d. Cualidades o atributos (joven)
Entre designacin y extensin hay una relacin inversa: en un
sistema clasificatorio, de inclusin de unas clases a otras, a la clase que
incluye a otra se la llama gnero y a la incluida, especie.
El gnero tiene mayor extensin (numero de ejemplares) que la
especie, pero menor designacin (notas definitorias) ya que la especie
necesita toda la designacin del genero ms sus propias notas
especificas. La especie tiene mayor designacin que el gnero y menor
extensin. Esta clase de inclusin lgica no debe confundirse con
algn tipo de inclusin real que se reconoce cuando una entidad est
dentro de otra (Jaulas dentro de zoolgico).
Dimensin pragmtica: Se ocupa del uso que se haga del signo, es
decir, intenta determinar la funcin que cumple el lenguaje para el
hablante. Las funciones bsicamente son tres:
Funcin informativa: Transmitir informacin. Es la que usamos
cuando afirmamos o negamos algo. Forman las teoras cientficas
que estn compuesta por proposiciones.
Funcin expresiva: Expresa estados de nimo, emociones, opiniones
o juicios de valor. Las metforas y el lenguaje potico son los casos
ms claros de lenguaje expresivo. No tiene sentido predicar la verdad
o falsedad. No proposicional.
Funcin directiva: Comunican rdenes, mandatos, pedidos o ruegos.
No es ni verdadera ni falsa por lo que no puede ser considerada
como proposicin.
Las funciones del lenguaje no se cumplen de un modo puro. En el
caso de los lenguajes cientficos, debe ser posible determinar la verdad
y la falsedad de los enunciados.
La proposicin es una unidad de enunciacin, es lo que engrana con el
concepto de verdad y est en un sentido determinado por las reglas de
formacin oracional y en otro sentido por el uso del signo en el juego del
lenguaje. El hecho de que un enunciado exprese una proposicin no depende
del propio enunciado, sino del papel que cumple dentro de un juego del
lenguaje, es decir del uso que tenga cada caso, es decir, el para qu lo digo.
Teora de la correspondencia: Una proposicin es verdadera si describe un
estado de cosas real. Si describe un estado de cosas posible, pero no real, es
falsa. Aristteles afirmo que la verdad consiste en decir de lo que es, que es o
de lo que no es, que no es y la falsedad consiste en decir de lo que no es,
que es o de lo que es, que no es.
La oracin la nieve es blanca es verdadera si, y slo si la nieve es blanca
X es verdadera si, y slo si p.
Aqu hay 2 lenguajes: un lenguaje-objeto del que se habla y un
metalenguaje donde X representa el nombre de la oracin usada en p.
1.5 Nombrar y clasificar. Vaguedad y ambigedad.
Usar un lenguaje es disponer de un sistema clasificatorio que nos permita

identificar conjuntos o clases de objetos. Hay vaguedad cuando no podemos

decidir con exactitud cuales son los lmites para la inclusin de individuos en
una clase. La ambigedad se presenta cuando una misma palabra tiene ms
de una designacin, es decir, varios significados posibles.
Los lenguajes cientficos persiguen la univocidad de los trminos, es decir,
intentar limitar en lo posible los casos de aplicaciones mltiples o vagas. Para
ello, se proponen criterios para clasificar, en condiciones ideales:
a. Es necesario preservar siempre el mismo criterio. (Vertebrados,
invertebrados, ovparos)
b. La clasificacin debe ser completa (Incluir todos los modos de
reproduccin de animales existentes)
c. Las partes deben excluirse mutuamente (Vertebrados, invertebrados,
mamferos - ya incluida en vertebrados-).
1.6 La definicin
Definir es limitar el significado de un trmino, y esto no implica realizar
afirmacin alguna acerca de la realidad. Al definir hacemos mencin del
nombre a definir (el que se seala entre comillas), al que llamamos
definiendum y el definiens es la definicin propiamente dicha. El definiens es un
conjunto de palabras que se utilizan para aclarar el significado del definiendum.
Esto implica que, al definir, aclaramos el significado de un trmino y no de una
cosa.
Reglas de la definicin:
1. No debe ser circular: No se debe definir una palabra usando la misma
palabra u otra palabra de la misma familia.
2. No debe ser demasiado amplia ni demasiado estrecha: La extensin del
definiendum debe ser igual a la del definiens.
3. No debe ser metafrica: No debe estar formulada con trminos
ambiguos o excesivamente vagos.
4. No debe ser negativa cuando puede ser afirmativa: Salvo que la
expresin misma parezca obligar una definicin negativa (Ceguera).
5. No debe recurrirse a sinnimos
Aristteles, en el marco de una posicin esencialista, propone la definicin
por gnero prximo y diferencia especifica. Lewis Carroll: un miembro de una
especie puede ser representado mediante un nombre compuesto de dos
partes: una que sea un nombre que designe cualquier miembro del gnero, y
otra que exprese la diferencia de esa especie. (Hombre = animal -gneroracional -diferencia-)
Desde el punto de vista pragmtico, las definiciones son proposiciones
tautolgicas donde definiendum y definiens son equivalentes.
En el caso de los diccionarios encontramos definiciones lexicogrficas, que
son informacin verdica sobre las convenciones (aclara o introduce trminos
ya existentes en las convenciones, pero puede guardar cierto grado de
vaguedad o ambigedad). No se pueden utilizar los lenguajes sin poseer una
destreza para reconocer los significados y los casos anmalos de aplicacin de
los trminos, es decir, sin dominar una forma de vida.
En el caso de los lenguajes cientficos el significado de los trminos y la
posibilidad de definirlos se propone dentro de un lenguaje propio, tcnico o
formal, donde los signos tienen definiciones precisas. Aqu se utilizan las
definiciones estipulativas.

Cuando la definicin cumple una funcin expresiva o directiva, es decir,

cuando el propsito consiste en influir sobre la conducta de los dems, decimos
que es una definicin persuasiva. Este tipo de definiciones no se consideran
proposiciones si transmiten juicios de valor.
La definicin tambin puede ser connotativa, cuando establece la
connotacin, designacin o intencin de un nombre, o denotativa, cuando
nombra a los ejemplares de la clase.
CAPITULO 2: APROXIMACIN A LA LGICA
2.1. Las leyes lgicas
Las leyes lgicas son reglas del lenguaje (el lenguaje se supone es un
conjunto de convenciones, de smbolos por medio de los cuales hablamos
acerca de lo real), son asimismo reglas que regulan el uso de esas
convenciones.
Las operaciones lgicas y en particular las leyes lgicas se aplican al orden
de la realidad o a los diferentes rdenes de la misma. Por eso podemos hablar
lgicamente acerca de lo real sin por ello suponer ni que imponemos
(por convencin o por necesidad) nuestro pensar lgico a la realidad, ni que
nos limitamos a reflejar pasivamente las estructuras de sta realidad.
Se considera a Aristteles el fundador de la lgica. ste llam principios
lgicos a sus reglas o leyes. Consider que no necesitaban demostracin y se
deberan admitir como verdades evidentes. En la concepcin actual de la
lgica, estas leyes se admiten como las leyes ms generales de la lgica. En la
lgica simblica no se admite el criterio de evidencia.
Las proposiciones que se admiten como punto de partida de un sistema son
las llamadas axiomas y las proposiciones que se deducen, dentro de un
sistema de reglas, se llaman teoremas.
La ley de identidad admite varias formulaciones:
toda proposicin es equivalente a s misma
si p, entonces p p p si llueve entonces llueve
toda tautologa es una proposicin verdadera
La ley de no contradiccin se puede formular como:
Si una formula es verdadera, su negacin es falsa, y recprocamente
Una proposicin no puede ser verdadera y falsa
- (p - p) (no se da p y no p) (no es posible que llueva y no llueva)
Toda contradiccin es una proposicin falsa
La ley de los terceros excluidos se formula indistintamente como:
Dadas p y no p, entonces, o bien p es verdadera o bien lo es no p
p v - p (p o no p) (llueve o no llueve)
Toda proposicin es verdadera o falsa
Una ley lgica es una formula que, interpretada, da como resultado una
proposicin verdadera. Se denomina ley lgica a toda forma proposicional tal
que al sustituir sus variables por constantes da por resultado una proposicin
verdadera.
2.2. Tautologas, contradicciones, contingencias
Las tautologas son formas proposicionales que corresponden a
proposiciones lgicamente verdaderas, es decir, verdaderas por su estructura
lgica. Todas las leyes lgicas son tautologas. La verdad se juzga no por la
correspondencia con la realidad sino por la coherencia, no contradiccin o

consistencia con las leyes lgicas. Son tiles para los lenguajes formales y, por
ello, para las ciencias formales. (p v - p)
Las contradicciones son forma proposicionales que corresponden a
proposiciones lgicamente falsas, es decir, falsas por su forma lgica, ya que
violan o niegan alguna de las leyes lgicas. Toda negacin de una tautologa
es una contradiccin. Entonces, cualquier enunciado que implique una
negacin de alguna ley lgica es un enunciado necesariamente falso. (p - p)
Las contingencias son formas proposicionales que corresponden a
proposiciones lgicamente indeterminadas, es decir, proposiciones que pueden
ser verdaderas o falsas con relacin a algn referente emprico. (p q(
2.3. Los razonamientos. Verdad y validez
El razonamiento es una unidad de argumentacin. Los razonamientos
pueden ser correctos (o vlidos) o incorrectos (o invlidos): Ser correcto si las
premisas apoyan la conclusin y ser incorrecto si no la apoyan. Las premisas
y conclusin de un argumento pueden ser verdaderas o falsas pero el
argumento mismo no. Los razonamientos invlidos admiten cualquier relacin
entre verdad y falsedad de las premisas y conclusin
En el caso de los razonamientos validos, en cambio, no puede darse
cualquier combinacin de verdad y falsedad de premisas y conclusin. Algunos
razonamientos validos pueden tener premisas y conclusin verdaderas:
Si es un tigre, es un mamfero
Si es un mamfero, tiene pulmones
Si es un tigre, tiene pulmones
De la misma manera, puede tener premisas y conclusin falsas:
Si es una araa, tiene ms de ocho patas
Si tiene ms de ocho patas, tiene alas
Si es una araa, tiene alas
Los razonamientos validos no garantizan la verdad de sus proposiciones,
as como la verdad de las conclusiones no prueban la validez del
razonamiento. Pero no puede haber nunca razonamientos validos con
premisas verdaderas y conclusin falsa.
2.4. Razonamientos deductivos
Si los razonamientos son deductivos:
Todo lo que se dice en la conclusin esta contenido en las premisas.
La verdad de las premisas garantiza la verdad de la conclusin.
Si las premisas son verdaderas la conclusin no puede ser falsa.
Su validez puede decidirse definitivamente por mtodos puramente
lgicos.
La validez de los argumentos depende de la forma lgica del
razonamiento y no de su contenido.
Dependen del uso de expresiones lgicas como todos, algunos, y, o.
2.5. Reglas lgicas
Las reglas lgicas son formas de razonamiento cuyas variables, al ser
sustituidas por constantes, dan por resultado un razonamiento valido. Cuando
interpretamos una regla lgica obtenemos un razonamiento vlido. Las reglas
lgicas ms importantes son:
Modus Ponendo Ponens (MP)

AB
A
B
Modus Tollendo Tollens (MT)
AB
-B
-A
Silogismo Hipottico (SH)
AB
BC
AC
El simboliza condicional, que sirve para formalizar hiptesis, enlazando
una proposicin llamada antecedente con otra llamada consecuente.
Una proposicin condicional es verdadera en todos los casos de verdad o
falsedad de p o q excepto cuando el antecedente es verdadero y el
consecuente es falso.
Si se afirma la verdad del antecedente, entonces implica la verdad del
consecuente. La verdad del consecuente, en cambio, no implica la verdad del
antecedente.
Confundir el uso del condicional con el bicondicional (p q, si y slo si)
supone incurrir en falacias, que se parecen a las reglas lgicas pero son
invlidos. Las ms importantes son:
Falacia de afirmacin del consecuente
AB
B
A
Falacia de negacin del antecedente
AB
-A
-B
En todo razonamiento deductivo, la conclusin no dice nada que no haya
estado implcito en las premisas. Lo que hace el argumento es hacer esto
explicito. Estos argumento son explicativos o explicitativos, pero no ampliativos.
Las reglas lgicas no nos proporcionan conocimiento fctico, informacin
acerca del mundo, lo que no implica que el conocimiento que aportan poco
interesante para la ciencia. Permiten demostrar (probar conclusivamente la
verdad) enunciados en las ciencias formales y apoyan la contrastacin de
hiptesis en el caso de las ciencias fcticas.
2.6 Es formal la induccin? El intento de Carnap
Los argumentos deductivos son slo explicativos, no dan informacin nueva
sobre el mundo. En cambio, los inductivos son los todos los argumentos en los
que se transita desde un enunciado (o conjunto de ellos) a otro, de modo que el
primer enunciado (o la conjuncin de enunciados) no implica al segundo.
Esquema de un argumento inductivo:
Todos los A hasta ahora observados son B.
Por lo tanto, todos los A son B
A este tipo de inferencia se la denomina induccin por enumeracin
simple (A1 es B, A2 es B, An es B). El primer todos no es el cuantificador
universal de la lgica de primer orden, slo representa una suma de

enunciados particulares sobre una subclase.

A partir del reconocimiento emprico de la presencia de una determinada
propiedad en una muestra de individuos, se traslada ese reconocimiento a la
totalidad de la poblacin. La evaluacin de la solidez del razonamiento
inductivo debe realizarse de acuerdo con normas inductivas. En un
razonamiento inductivo las premisas solo respaldan a la conclusin, prestan un
apoyo parcial, proporcionan alguna evidencia a favor de la conclusin. Lo que
caracteriza a la induccin es que las predicciones nunca se garantizan
totalmente, sino que poseen un grado ms o menos alto de confirmacin,
entendido como probabilidad.
Ventaja fundamental de la induccin: informacin ampliada (aumento del
conocimiento). Ventaja fundamental de la deduccin: certera validez del
razonamiento, preservacin segura de la verdad, verificacin total de la
conclusin.
Carnap no pudo formalizar la induccin en el sentido de lograr cuantificar el
grado de confirmacin aisladamente de la evidencia emprica por mtodos
mecnicos. Su esquema de intento de formalizacin era:
X1 es A
X2 es A

Xn es A
Todos los X son A
El esquema expuesto es el mismo para buenas y malas inducciones, por lo
que es imposible evaluar su aceptabilidad si no es acudiendo a constataciones
empricas.
La concepcin del argumentar inductivo era defendida a partir del concepto
de grado de confirmacin, a travs de tres alternativas:
Una perspectiva subjetiva del grado de confirmacin como incremento
de la probabilidad (alta, baja)
Una probabilidad comparativa ( e confirma mas que e)
Una interpretacin del grado de confirmacin a la luz de la concepcin
estadstica de la probabilidad
Estas no conformaban a Carnap. En lugar de conclusin hablar de
hiptesis y en vez de premisas se referir a los enunciados que exponen la
base evidencial que la apoya. Como no existe la posibilidad de pasar
automticamente de los hechos a las teoras, l consideraba que dadas ciertas
observaciones e (base evidencial) y una hiptesis h, debera ser posible
determinar, por procedimientos mecnicos, la probabilidad lgica o grado de
confirmacin de h sobre la base de e.
La funcin de la lgica inductiva no consistira en inferir generalizaciones,
sino que su tarea comienza cuando ya se dispone de una hiptesis explicativa
de fenmenos dados, de modo que la lgica inductiva solo debe indicar en que
medida (grado de confirmacin) la hiptesis es apoyada por los datos
empricos disponibles.
Mientras que la lgica deductiva puede considerarse como la teora basada
en la consecuencia lgica o deductibilidad, la lgica inductiva es la teora
basada en el grado de confirmacin.
El intento de Carnap consiste en alejar a la induccin de su impronta
emprica y su carcter incierto, aproximndola al rigor deductivo. La relacin
de confirmacin inductiva es una relacin lgica, confirmar inductivamente es

semejante a implicar deductivamente. Que ambas sean relaciones lgicas

significa simplemente que no son empricas. Esto permitira que se pudiera
establecer mecnicamente el grado de confirmacin de una hiptesis general
sin depender de procedimientos empricos.
Probabilidad estadstica (emprica): Son enunciados empricos expresados
en el lenguaje de la ciencia (como las hiptesis estadsticas en economa). Los
enunciados acerca de probabilidades estadsticas no pueden ser demostrados
mediante la lgica, sino que se basan en investigaciones empricas. Es decir, la
probabilidad estadstica se da dentro de la ciencia, mientras que la probabilidad
lgica (formal) se da en un nivel externo de la ciencia.
Para que sea posible determinar numricamente el grado de confirmacin
es necesario que el lenguaje en el que estn formulados e y h permita exponer
adecuadamente la evidencia disponible, de modo que el lgico inductivo este
en condiciones de establecer el coeficiente numrico por medio del mero
anlisis lgico (semntico) de los enunciados en relacin.
Criticas: Popper se opone a cualquier intento de justificacin probabilstica
del apoyo evidencial de hiptesis cientficas, considerando que cuando el grado
de apoyo de una proposicin por otras no es total (lo que solo proporciona la
deduccin), no se puede medir el apoyo parcial con una funcin probabilista.
Carnap sostiene que el concepto de probabilidad lgica efectivamente
satisface ciertos axiomas, entre otros, el principio de multiplicacin. Advierte
Popper que una consecuencia elemental de este principio es que cuanto ms
afirma un enunciado, menos probable es. Entonces, la alta probabilidad no
puede ser uno de los propsitos de la ciencia, porque el cientfico esta
centralmente interesado en teoras con un alto contenido.
Si un alto grado de confirmacin es uno de los propsitos de la ciencia,
entonces el grado de confirmacin no puede identificarse con la probabilidad.
Esto es:
a. Si es un propsito cientfico el alto contenido, entonces no es un
propsito cientfico la alta probabilidad.
b. Si perseguimos un alto grado de confirmacin (o corroboracin),
necesitamos un alto contenido y, por ende, una baja probabilidad.
Se considera la induccin como una transicin de una o ms premisas a
una conclusin que no es su consecuencia lgica.
El problema de la induccin es que quien formula un razonamiento de esta
ndole, esta cautivo por la informacin hasta ahora disponible (es decir por las
premisas expuestas). Adems, ninguna informacin aadida puede modificar la
pertinencia de un argumento de deductivo, pero s de un argumento inductivo.
Lo que si, un argumento inductivo evaluado como slido no pasa a ser
automticamente malo porque la experiencia aporte desdichados
contraejemplos que hagan falsa la conclusin, pero tal como es as, tampoco
un buena induccin puede garantizar un buen resultado.
Falacia de estadstica insuficiente: Algunas inferencias inductivas con
premisas que exponen un nmero de casos relativamente reducido (siempre
que su conclusin no sea una generalizacin sino el prximo caso particular),
pueden ser aceptables, en la medida en el peso de la aceptabilidad no repose
slo en el nmero de casos sino en la calidad de los mismos.
Falacia de estadstica sesgada: Debe incluir en su muestra, no slo un
tamao acorde, sino tambin un nmero suficientemente variado de casos.

2.7 Analoga
El razonamiento por analoga es un razonamiento no deductivo (Por lo
tanto, inductivo). Este parte de la similaridad de dos o ms entidades en
algunos aspectos para concluir la similaridad de esas entidades en otra
propiedad. El modelo es:
A y b tienen las propiedades P, Q y R
A tiene adems la propiedad S
Luego, es probable que b tenga tambin la propiedad S
La inferencia analgica parte de una similitud conocida de dos o ms
elementos en algunos aspectos o propiedades, para concluir que tambin
deberan compartir la similitud en otro. La conclusin, en el mejor de los casos,
podra establecerse como probable, ya que sobre la ltima propiedad solo se
posee informacin de que la tiene el primer individuo. Por ende, las premisas
no implican a la conclusin, que es ampliativa.
Criterio de evaluacin para argumentos analgicos:
El nmero de individuos o entidades entre los que se afirma la analoga:
La conclusin no pretende generalizar, sino establecer una conclusin
ampliativa para un solo individuo
El numero de aspectos o propiedades en consideracin: Si la cantidad
de propiedades comunes es grande, parecera que la probabilidad de la
conclusin, crece.
Las propiedades comunes consignadas deben tener una clara relacin
con la conclusin: Una sola analoga atinente es ms importante que un
plexo de analogas irrelevantes respecto de la propiedad establecida
como comn en la conclusin. ste criterio es excluyentemente
emprico.
Falacia analgica: Es posible discutir si las propiedades en cuestin son o
no suficientes, pero es evidente que no existe una atenencia entre los aspectos
consignados y la propiedad contraer Sida.
La inferencia analgica parte de la similaridad de dos o mas entidades en
algunos aspectos para concluir la similaridad de esas entidades en otra
propiedad. Como en todo razonamiento no deductivo, la analoga no aporta
pruebas concluyentes. Como la induccin, constituye un razonamiento del que
se puede afirmar que las premisas proporcionan a la conclusin un apoyo
evidencial parcial. Apoyo parcial que puede entenderse asimismo en trminos
de mayor o menor probabilidad. Son frecuentes las analogas cientficas entre
el cerebro humano y una computadora. La lgica informal es la disciplina que
se ocupa de establecer la correccin de los razonamientos inductivos.
CAPITULO 3: ARGUMENTACIN: EL ESCENARIO INFORMAL
3.1 Lgica informal y falacias materiales
Unos dicen que naci con Aristteles y otros en el siglo XX con los aportes
de Copi y Hamblin. La lgica informal se dedica al anlisis y evaluacin de los
argumentos incorrectos formulados en el lenguaje ordinario, es decir, al estudio
de las falacias materiales.
Entonces, una falacia informal es:
Un argumento no-pertinente
Psicolgicamente persuasivo
Construido intencionalmente para engaar
La fuerza persuasiva es una condicin de eficacia que permite explicar por

qu tantas personas tragan el anzuelo de argumentos ntidamente falaces.

Existen 2 tipos de falacias materiales:
Falacias de inatinencia: Las premisas no son atinentes para establecer
la conclusin que no sigue de ellas. La inatinencia no depende de la
falsedad de las premisas, sino de la deficiente transicin a la conclusin.
Argumentum ad verecundiam: (Argumento de autoridad) Consiste en
considerar como premisa justificatoria una apelacin a la autoridad
de alguien que sostenga la conclusin que se desea imponer. No
sera falaz un argumento en el que se justifica la conclusin mediante
el respaldo de un experto, siempre que el tema del argumento caiga
dentro del rea profesional en la que es experto.
Falacia ad populum: Alguien que quiere reforzar el valor de una
afirmacin al sostener que todos los dicen.
Argumentum ad ignorantiam: (Argumento de ignorancia) Consiste en
dar por verdadera una proposicin por el slo hecho de que no ha
sido probada su falsedad (Fantasmas). En ciertos casos, es
razonable (no falaz) tomar la ausencia de pruebas como prueba
positiva de que algn hecho nunca sucedi.
Argumentum ad hominem: (Argumento contra la persona) Consiste
en enfrentar a un actor social que formula un razonamiento, no
refutando su discurso, sino agravindolo personalmente.
Pos hoc ergo propter hoc: (Despus del hecho, por lo tanto debido al
hecho) El argumento consiste en inferir que un acontecimiento es la
causa de otro sobre la base de que el primero ocurri antes que el
segundo: Ayer me extraje una muela de juicio. Minutos ms tarde
llovi copiosamente. Por lo tanto, es claro que los tratamientos
odontolgicos producen precipitaciones. Dificultades:
1. Reconocer si los hechos estn ligados casualmente (connected:
uno es causa del otro) o conjoined (aparecen juntos)
2. Interpretar adecuadamente del concepto de causa presente en
cada argumento:
La causa como condicin necesaria: Circunstancia en cuya
ausencia aqul no puede producirse.
La causa como condicin suficiente: Circunstancia en cuya
presencia el acontecimiento debe ocurrir.
La presencia de oxigeno es una condicin necesaria para que
haya combustin, pues en ausencia de oxigeno no puede haber
combustin alguna. Pero no es condicin suficiente, dado que puede
haber oxigeno sin que se produzca la combustin.
Se demuestra la falacia del razonamiento probando que el efecto
se habra producido aun sin la presencia de la presunta causa, o
probando que el efecto se produjo por una causa distinta de la
propuesta.
Falacia de efecto conjunto: Dos acontecimientos que aparecen juntos
(conjoined) son evaluados como ligados casualmente (connected:
uno es causa del otro) mientras que en realidad ambos son efectos
de una causa comn.
Argumentum ad baculum: (Falacia del garrote) Consiste en intentar
forzar una conclusin inatinente utilizando como base de
sustentacin una velada amenaza. Es decir, se intenta lograr la

retractacin de la otra persona mediante una amenaza, que no sigue

de una secuencia lgica. No toda amenaza es una falacia.
Argumentum ad misericordiam: (Argumento a la piedad) Consiste en
apelar a la piedad para lograr que se acepte una determinada
conclusin.
Ignoratio elenchi: (Conclusin irrelevante) Cuando un argumento que
pretende establecer una conclusin determinada es utilizado para
probar una conclusin diferente.
Falacias de ambigedad: Incluye a todas las falacias construidas a
partir del uso ambiguo o indeterminado de las palabras o de las
afirmaciones que integran el argumento.
Falacia de equvoco: Instrumentacin falaz de los trminos relativos.
Las palabras tienen distinto significado segn el contexto.
Falacia de composicin: A partir de las propiedades de elementos o
individuos se infiere que tales propiedades son asimismo de las
totalidades a las que pertenecen: los soldados del regimiento
son fuertes, entonces el regimiento es fuerte o todas las partes de
esta mquina son livianas; por lo tanto, esta mquina es liviana.
Falacia de divisin: Se asume una caracterstica de las partes a partir
de la caracterstica de la totalidad: esta maquina es pesada; por lo
tanto, todas las partes de esta maquina son pesadas.
No existen en la lgica informal estndar procedimientos mecanizables
para, a partir de la caracterizacin de cada falacia, evaluar cada argumento
particular: solo un anlisis contextual especifico determinara cual razonamiento
ser falaz y cual aceptable por tanto identificar un argumento como ad
hominem, post hoc, etc., no es suficiente para decretarlo falaz.
3.2. Toulmin, sobre los usos argumentativos
The uses of argument (2002), su propsito bsico pone en el ojo de la
tormenta a la lgica formal como criterio central de anlisis y evaluacin de
argumentos.
Un argumento slido es el que resiste las crticas. Las reglas lgicas,
aplicadas a los argumentos, pueden medir la eficacia y el logro del objetivo
propuestos.
Esquema de un argumento:
a. La afirmacin o conclusin que tratamos de justificar (C). C es aquello
que demandamos sea tenido en cuenta, y se supone estamos
dispuestos a fundamentar
b. Los elementos probatorios que proporcionamos como base de la
afirmacin efectuada, es decir de los datos (D), fundamentos (Premisa
particular)
c. Las proposiciones hipotticas que autorizan la transicin de datos a la
conclusin, es decir la garanta (G). Son las reglas, enunciados
generales, etc., que evidencian como a partir de los datos se transita a la
conclusin de manera apropiada y legitima. (Premisa universal, es
explicativa, tiene el objetivo de explicitar la transicin hacia la
conclusin)
d. Modalizador (M) matiza la afirmacin central (Probablemente,
supuestamente)
e. Condiciones de excepcin o refutacin que establecen en que caso

f.

la garanta deja de justificar a la conclusin (E)

Los datos de respaldo (R) son generalmente los documentos legales
que respaldan la garanta.

Juan Carlos S. naci en Salta, que es una provincia argentina (D)

Por lo tanto, supuestamente, (M)
Porque
Si una persona naci en una provincia argentina, entonces esa persona es generalmente argentina (G)
Teniendo en cuenta
Las siguientes leyes y provisiones legales (R)
A menos que
Haya sido naturalizado espaol (Canadiense, o venezolano, etc.) (E)
Juan Carlos S. es ciudadano argentino (C)

Hay discusiones sobre si Toulmin hizo ms que cambiarle el nombre a las

cosas (una garanta no es ms que una premisa universal, y un dato no es ms
que una premisa particular). En su defensa, dice que la lgica formal tiende a
generar una apariencia de uniformidad con el rtulo comn de premisa a los
diversos elementos que apoyan a la conclusin. En su lgica prctica permite
hacer transparente la diferencia central entre las denominadas premisas.
Adems, sostiene que la lgica formal tiene un modelo engaoso y estrecho
que no contemplan las variedades que el habla establece respecto de los
enunciados cuantificadores (Casi todos los A son B).
Toulmin contrasta dos tipos de argumentos:
Argumentos analticos (Tericos): Su conclusin no agrega nada al
material contenido en las premisas. Son los razonamientos deductivos
de la lgica formal. Independientes del contexto.
Argumentos sustanciales (Prcticos): Proporciona datos o evidencia
emprica para apoyar la conclusin. Son los argumentos prcticos de la
vida social. Dependiente del contexto.
Concepto de campos argumentativos: Un argumento prctico se
ajustara siempre al esquema bsico con que l lo caracteriza, vara en algunos
aspectos al ser utilizado en campos diferentes. Toulmin afirma que los
argumentos tericos no son tiles para la vida cotidiana. No todos los campos
de la actividad humana estn basados en los principios y supuestos
matemticos, los argumentos analticos son frecuentemente irrelevantes o
ineficaces en el mundo de la racionalidad prctica. De todas formas Toulmin
no propone que desaparezcan los argumentos analticos sino que juzga que su
rango de aplicabilidad es muy estrecho.
CAPTULO 4: LAS CIENCIAS FORMALES
4.1. La matemtica: constructos formales y realidad
Una demostracin es una prueba lgica, no supone una prueba emprica ni

afirma ni niega nada acerca de la verdad fctica de las premisas o conclusin

involucradas. En lgica, aritmtica, matemtica, la verdad de las proposiciones
no se demuestra mediante ningn mtodo experimental. Una demostracin
puede verse como un argumento cuyas premisas son axiomas o postulados, y
la conclusin, la conjuncin de todos los teoremas deducidos. Entonces, los
axiomas son proposiciones asumidas como punto de partida que no necesitan
demostracin, mientras que los teoremas son proposiciones derivadas
lgicamente de los axiomas que requieren demostracin. Slo los vacos
teoremas deducidos de los axiomas son verdaderos.
Aristteles destaca los 3 supuestos fundamentales de la creencia
demostrativa:
Supuesto de deducibilidad: La ciencia debe partir de ciertos principios
(indefinibles) que sirven para definir otros trminos, y debe partir de
axiomas para demostrar teoremas, mediante el empleo de reglas.
Supuesto de evidencia: Los axiomas tienen que ser evidentemente
verdaderos, deben aceptarse como verdaderos sin demostracin.
Supuesto de realidad: La ciencia trata de la realidad.
El prototipo de esta presentacin axiomtica son los Elementos de la
Geometra de Euclides. La geometra, que hasta entonces era una reunin de
reglas empricas para medir o dividir figuras, se convierte en ciencia deductiva:
el conocimiento emprico pasa a ser conocimiento formal. Euclides emplea
postulados, sumando otras reglas de inferencia a las reglas de la silogstica
aristotlica. Euclides proporciona un grupo de postulados y un grupo de
axiomas. Los axiomas tienen un carcter general, mientras que los postulados
son considerados como los puntos de partida especficos de cada ciencia.
Tanto los axiomas como los postulados, son considerados verdades
evidentes que no tienen ni necesitan demostracin. Sobre la base de ellos
demuestra un conjunto de proposiciones. Estas proposiciones demostradas
son los teoremas.
Saccheri demostr que existen otras geometras no compatibles con la
euclideana. Gauss, Lobachevsky, Bolyai, Riemann desarrollaron geometras no
euclideanas. Boole y De Morgan revolucionaron la lgica. La teora de
conjuntos de Cantor y la lgica de Frege aumentaron la generalizacin.
Whitehead y Russell axiomatizan la matemtica. Un matemtico deriva
teoremas a partir de axiomas, no decide si los axiomas son verdaderos.
El carcter formal de la lgica, se revela en el hecho de que sta disciplina,
se ocupa nicamente de estructuras formales y de las relaciones entre tales
estructuras.
4.2. Sistemas axiomticos
Los componentes de los sistemas axiomticos son:
Los trminos primitivos
Las definiciones
Los axiomas
Reglas (razonamientos deductivos)
Teoremas
Los trminos primitivos no se definen pero sirven para definir otros trminos.
En un sistema axiomtico se seleccionan ciertos conceptos como primitivos o
sin definicin, y se definen a partir de ellos todas las dems nociones
necesarias.

Una demostracin es un conjunto finito de enunciados donde cada uno de

ellos es un axioma o es una consecuencia lgica de otros enunciados
anteriores, en virtud de una regla de inferencia. Dado que los axiomas se
admiten como enunciados verdaderos y las reglas de inferencia son
razonamientos deductivos, es decir, inferencias que trasmiten la verdad entre
premisas y conclusin, los teoremas son enunciados verdaderos.
4.3. Propiedades de los sistemas axiomticos
Consistente: Un sistema es consistente si, desde los axiomas, no se
puede derivar una formula y su negacin (Principio de no contradiccin).
Si se admitiera una contradiccin, entonces el sistema podra aceptar
cualquier enunciado, admitira todo los enunciados posibles, incluso los
que niegan y afirman lo mismo.
Independiente: Los axiomas deben ser independientes entre si. Ningn
axioma debe derivarse de otro o del conjunto de axiomas. El mismo
requisito rige para los trminos, es decir, no deber considerarse trmino
primitivo a aquel que contenga expresiones que puedan definirse.
Completo: Esto permite derivar de los axiomas todas las leyes del
sistema. En un sistema completo el agregado de una ley no derivable
hace inconsistente el sistema, es decir que, todas las leyes del sistema
son derivables de los axiomas.
Kurt Gdel descubri la imposibilidad de demostrar ciertas proposiciones
fundamentales en la aritmtica. Adems, oblig a advertir y reconocer que
nunca se lograr construir una disciplina deductiva completa y exenta de
contradicciones que contenga, entre sus enunciados, todas las proposiciones
ciertas de la aritmtica y la geometra. Esto hace crecer la posibilidad de
aparicin de inconsistencia e incompletitud. En definitiva, descubri que
existan afirmaciones verdaderas (teoremas) que no podan ser probados
dentro del sistema. l prob que todo sistema formal que contuviera a la
aritmtica elemental es incompleto. Adems, descubri que la consistencia de
dichos sistemas era imposible de probar.
Las ciencias formales actualmente conforman una ciencia deductiva. La
semitica aporta una estructura conceptual til para ellas.
4.4. Interpretacin y modelo de los sistemas axiomticos
Un mismo sistema axiomtico pueda tener varias interpretaciones. Cada
interpretacin se denomina un modelo. Se interpreta un concepto primitivo
cuando se le atribuye un sentido, y se obtiene un modelo de un sistema
axiomtico cada vez que uno de tales conceptos se ha interpretado de manera
que son ciertas proporciones que resultan de los axiomas.
Si dos modelos corresponden a un mismo sistema axiomtico, se dice que
son isomorfos. Y si dos modelos son isomorfos, se admite que tendrn las
mismas propiedades formales.
CAPTULO 5: LAS CUESTIONES DEL MTODO EN LAS CIENCIAS
FCTICAS
5.1 El lenguaje de una teora fctica
Teora emprica: Conjunto de hiptesis de partida y sus consecuencias
lgicas. Una teora es un sistema de enunciados y es, a su vez, oracin que
vincula trminos.
Tipos de trminos de una teora fctica:
Trminos lgicos: Vocabulario formal (todos y, sientonces) su

misin consiste en ser enlaces sintcticos.

Trminos observacionales: Entidades, propiedades y relaciones
observables (azul, fro, mas pesado que).
Trminos tericos: Entidades, propiedades y relaciones no directamente
observables (electrn, campo elctrico, gen)
Trminos no lgicos o designativos:
Enunciados tericos: Contienen como vocabulario descriptivo
nicamente trminos tericos (Los genes tienen dos pares de alelos).
Enunciados observacionales: Contienen como vocabulario descriptivo
trminos observacionales (El trozo de papel tornasolado vir al rojo).
Enunciados mixtos: (Reglas de correspondencia) Contiene tanto
trminos tericos como observacionales (Diferencias en el color de ojos
van acompaadas de diferencias en los genes). Proporcionan la carda
de interpretacin emprica.
Esquema de estructuras de las teoras:
1. Enunciados empricos bsicos: Condiciones: Los trminos no lgicos
que incluye son empricos y son enunciados que hablan de una sola
entidad o de un conjunto infinito de ellas (Papel tornasolado).
2. Generalizaciones empricas: Condiciones: No incluyen trminos tericos,
son afirmaciones generales que establecen similitudes en conjuntos
amplios. (Todos los cuerpos se dilatan con el calor).
3. Enunciados tericos: Condicin: Contener al menos un trmino terico.
Hiptesis tericas, que no contienen trminos empricos.
Las tendencias pesadas de la epistemologa descartaron a la induccin
como mecanismo productor de hiptesis tericas, por lo que deberamos
invertir el orden (Mtodo hipottico-deductivo).
Una hiptesis cientfica es un enunciado conjetural cuyo valor de verdad se
ignora.
5.2 Estructura de las teoras empricas
Una teora emprica es concebida con la imagen dual de ser una estructura
lgica asimilable a un sistema axiomtico y, a la vez, un puente con la realidad
a travs de la experiencia.
Nagel, componentes de una teora:
1. Un clculo abstracto, que es el esqueleto del sistema explicativo.
2. Un conjunto de reglas que asignan un contenido emprico al clculo
abstracto ponindolo en relacin con la observacin y experimentacin.
3. Una interpretacin que provea al esqueleto de carne, es decir, de
materiales conceptuales.
Popper sostena que los sistemas tericos deben estar formulados de un
modo claro, definido y riguroso que tienda a la forma de un sistema
axiomatizado. Los dems enunciados pertenecientes al sistema terico podrn
deducirse de los axiomas por medio de transformaciones lgicas o
matemticas. Concibe al sistema axiomtico como un sistema de hiptesis
donde su verdad o falsedad depender de la constatacin emprica. Un sistema
terico debe ser consistente e independiente, y sus axiomas deben ser
suficientes (para deducir todos los enunciados pertenecientes a la teora) y
necesarios (no deben contener supuestos superfluos)
Estructura de una teora emprica: La formulacin de una hiptesis; a
partir de ella se construirn deducciones para extraer hiptesis derivadas, de
las cuales se inferirn las consecuencias observacionales.

Condiciones:
No puede haber tautologas entre las hiptesis porque no aportan
conocimiento emprico.
No puede haber contradicciones en las hiptesis (Inconsistente).
La teora debe ser contrastable, es decir, que debe poder inferir en
consecuencias observacionales y debe poder confrontarse con los
hechos; de lo contrario no es una teora emprica.
Visin diacrnica de Kuhn:
Las teoras empricas:
Son entidades complejas y dctiles que evolucionan en el tiempo.
Como totalidad no pueden calificarse como verdaderas o falsas, aunque
tienen enunciados empricos verdaderos o falsos.
Tienen un componente formal (Las leyes) y otro emprico (Los sistemas
a los que pretende explicar).
Su ncleo se considera intocable por razones metodolgicas.
Su concepcin axiomtica se aleja de la perspectiva de Popper y de la
concepcin heredada.
5.3 Concepto de mtodo cientfico en las ciencias fcticas
Mtodo cientfico: Es el estudio sistemtico, controlado, emprico y crtico
de hiptesis acerca de presuntas relaciones entre fenmenos, destinado a
producir un nuevo conocimiento o convalidar uno ya aceptado. Lo comn de
todos los mtodos cientficos es la bsqueda persistente de la verdad por
medio de consideraciones lgicas. Un mtodo es plausible si resiste a las
dudas. Sin embargo, la reiterada contrastacin emprica no garantiza la certeza
de que lo que pas hasta ahora, pase en el futuro.
Etapas: El contexto de descubrimiento de teoras (Modo en que los
cientficos arriban a las hiptesis) y el contexto de justificacin de esas teoras
(Lo relativo a la validacin del conocimiento). Klimovsky agrega el contexto de
aplicacin de las teoras. Para algunos, el mtodo cientfico debe quedar
confinado al contexto de justificacin, ya que no tiene sentido buscar un
mtodo en el descubrimiento de ideas.
Para Popper en el contexto del descubrimiento todo est permitido
(Intuicin, imaginacin, observacin, etc.); el problema radica en justificar las
hiptesis.
Para Kuhn no existe la distincin entre contextos, porque la justificacin es
parte constitutiva del descubrimiento y el anlisis de una teora consiste en
comprender los procesos que permitieron su aparicin.
Tambin estn los anarquistas epistemolgicos que sostienen que todo
vale y que no deberan estar obligados por las reglas del metodlogo.
5.4 Estrategias metodolgicas bsicas de las ciencias fcticas
Las ciencias fcticas buscan explorar, describir, explicar y predecir aquello
que tiene lugar en el mundo. Sus enunciados slo son aceptables si estn
fundados en una base emprica. Se distinguen segn el mtodo que utilizan
para probar sus enunciados: ciencias naturales (Realidad no modificada por el
hombre), a su vez divididas en las que estudian la naturaleza inorgnica (fsica)
y la orgnica (biologa), y ciencias humanas (Realidad producida por el hombre,
como la historia, economa, psicologa, lingstica, etc.).
Para Nagel la falta de objetividad afecta a las ciencias fcticas.
Schuster propone la clasificacin en ciencias formales, de ndole sintctica
(lgica y matemtica), las ciencias naturales, de ndole semntica (fsica,

qumica y biologa) y las ciencias sociales, de ndole pragmtica.

El pluralismo metodolgico sostiene la independencia y la necesidad de
evaluar cada mtodo para las ciencias fcticas por separado y admite que
puedan utilizar (las naturales y las humanas) mtodos distintos en momentos y
situaciones diferentes. Se debe evitar el monismo metodolgico cuando atenta
contra la autonoma de los distintos campos de investigacin.
5.5 Mtodo inductivo: inductivismo estrecho e inductivismo
sofisticado
Segn el Inductivismo, la observacin cuidadosa y desprejuiciada est al
comienzo de todo proceso cognitiva. Surge a partir de los siglos XVI y XVII,
alcanzando su mximo exponente en Newton.
Engloba todas las corrientes que sostienen las siguientes tesis:
Solamente es fecundo el conocimiento de los hechos.
Las certezas estn dadas por las ciencias experimentales.
El contacto con la experiencia es necesaria para evitar el error.
La induccin es el razonamiento donde las premisas contienen informacin
acerca de algunos miembros de una clase y, sobre esa base, se arriba a una
generalizacin acerca de toda la clase. Admite que la observacin y la
experiencia son el lugar donde captar la realidad y el primer paso del mtodo
cientfico. Para Bacon la ascensin a partir de los hechos sensibles hasta
llegar a los conceptos es la genuina senda de la ciencia.
John Stuart Mill, mtodos de la induccin cientfica: bajo qu condiciones
podemos afirmar que A es causa de B.
Mtodo de la concordancia: Si los casos del fenmeno que se investiga
tienen una sola circunstancia comn, es circunstancia es la causa del
fenmeno (Intoxicacin).
Mtodo de la diferencia: Si un caso en el cual el fenmeno que se
investiga se presenta y un caso en el que no se presenta tienen las
mismas circunstancias excepto una para el primer caso, la circunstancia
en que difieren es la causa o el efecto del fenmeno. (Picadura de
mosquito)
Ambos son impracticables si no se suponen hiptesis previas acerca de
cuales son las variables pertinentes a mantener constantes y cuales no.
Mtodo conjunto de la concordancia y la diferencia: Combinacin entre
ambos (Arroz).
Mtodo de los residuos: Consiste en restar a un fenmeno la parte de la
cual se sabe, por inducciones anteriores, que es el efecto de ciertos
antecedentes y el residuo del fenmeno es el efecto de los antecedentes
restantes. (Neptuno y Urano).
Los mtodos anteriores son eliminatorios, y no pueden usarse, ya que hay
situaciones donde no es posible eliminar ciertas variables.
Mtodo de las variaciones concomitantes: Un fenmeno que vara de
cualquiera manera, siempre que otro fenmeno vara de la misma
manera es, o una causa o un efecto de este fenmeno, o esta
conectado por el por algn hecho de causalidad. (Marea alta, luna y
estrellas) Es el nico mtodo cuantitativo, es por ello que presupone
algn procedimiento para medir lo grados en que el fenmeno vara.
Los mtodos son reglas para la prueba, tiles para las ciencias fcticas.
Decidir cules son las variables pertinentes y cules no supone el uso de
hiptesis previas.

Esquema tradicional del mtodo cientfico por el inductivismo:

1. Observacin y registro de los hechos.
2. Anlisis y clasificacin de estos hechos.
3. Derivacin inductiva de generalizaciones, estableciendo enunciados
generales.
4. Contrastacin emprica de las conclusiones.
Este esquema (Concepcin inductivista estrecha de la investigacin
cientfica), para Hempel es impracticable, ya que es imposible observar todos
los hechos que existen en el mundo. Debe existir una idea previa que
determine los hechos relevantes a observar. Igualmente, el problema de la
induccin se ubica en la justificacin, ya que no se garantiza el pasaje de
verdad entre premisas y conclusin por lo que no se puede justificar en una
base lgica el pasaje de un hecho particular a un enunciado universal (Leyes,
teoras).
En su defensa, la observacin del movimiento de algunos planetas
estableci algunas leyes para predecir la aparicin de eclipses.
Hume rechaza la justificacin de cualquier forma de inferencia, ya que
deberamos aceptar un principio de uniformidad de la naturaleza que dijera los
casos de los que no hemos tenido experiencia son semejantes a los casos de
los que hemos tenido experiencia. Esta demostracin no sera formal.
Por ello, Carnap y Hempel tienen una versin ms sofisticada del
inductivismo, llamada confirmacionismo, donde se suplanta la pretensin de
verificacin, por la de confirmacin. No hay apuestas verdaderas o falsas, sino
ms o menos probables de que se cumplan: as, busca fundamentar la apuesta
maximizadora.
Segn Reichenbach la posibilidad de prediccin presupone la posibilidad
de clasificacin de acontecimientos tal que la induccin repetida conduzca al
xito. Si las predicciones son posibles, la induccin es una condicin suficiente
para encontrarlas. Los resultados se deben someter a un continuo control
experimental, conservando la incertidumbre y el riesgo, pero permitiendo el
grado de confirmacin estadstico. Es posible que la naturaleza no tenga un
curso regular pero, si lo tiene, entonces la induccin es una jugada correcta.
Carnap concuerda con Reichenbach que no hay un mtodo que permita
pasar, sin error, de los hechos a la ley, por lo que tanto la lgica inductiva como
la deductiva no pueden garantizar la verdad material de la conclusin de un
razonamiento.
5.6 Mtodo hipottico-deductivo
Es el mtodo de la fundamentacin de las generalizaciones tericas,
adoptadas como hiptesis, con ayuda de la deduccin de consecuencias
empricas comprobadas. Presupone la evaluacin de la hiptesis desde el
punto de vista de las posibilidades de lograr, con su ayuda, la explicacin de
los hechos existentes y la previsin de otros nuevos. Consiste en contrastar
hiptesis mediante consecuencias observacionales y establecer la falsedad de
una proposicin, pero no su verdad. Se mantendrn si son corroboradas o se
descartarn si resultan refutadas.
Secuencia:
a. Hiptesis fundamentales, que buscan responder a un problema.
b. Hiptesis derivadas, deducidas de las anteriores.
c. Consecuencias observacionales, enunciados del ms bajo nivel,
extrados de las hiptesis fundamentales y derivadas, que se someten a

prueba emprica para su refutacin o corroboracin.

Llamamos verificacin a la prueba de que un enunciado es verdadero y
refutacin a la prueba de que es falso. El Modus Tollens es la regla lgica que
permite ejemplificar esta ltima.
H > C.O.
- C.O.
-H
Si la consecuencia observacional fuera verdadera:
H > C.O.
C.O.
H
Pero esto es una falacia de afirmacin del consecuente: podran ser
verdaderas las premisas y falsa la conclusin, por lo que no verifica la
hiptesis, sino que simplemente la confirma.
Confirmacionismo: (Carnap y Hempel) La deduccin de consecuencias
observacionales verdaderas permite confirmar la hiptesis; si se obtiene gran
cantidad de consecuencias observacionales verdaderas, por induccin, puede
considerarse probablemente verdadera.
Refutacionismo: (Popper) Parte del rechazo a la induccin. Se considera a
la falsabilidad el camino para segregar a la ciencia de la metafsica. No se
busca confirmar la hiptesis, sino la refutacin o falsacin de stas, por medio
del Modus Tollens. Una hiptesis puede ser falseada por la experiencia, por
ello se debe buscar intentos de refutacin, y la resistencia a los mismo genera
aceptabilidad provisoria. Las hiptesis deben correr el riesgo de ser falsas, es
decir, ser falsables: que tengan contenido emprico, que diga algo acerca del
mundo y que no est prevenida contra la refutacin. Entonces, una hiptesis
falsable puede resultar falsada o corroborada.
El grado de falsabilidad de una hiptesis depende de la generalidad de su
sujeto y de la precisin de su predicado: el enunciado universal ofrece mayores
posibilidades de refutacin. No son falseables los enunciados probabilsticos, ni
las tautologas (No ofrecen informacin precisa acerca del mundo) y tampoco
los trminos sin denotacin (ngel, bruja, energa positiva).
Requiere hiptesis auxiliares para servir de premisas adicionales (Ya que
las fundamentales no son suficientes), que deben ser falsables y poder
contrastarse con independencia de la hiptesis fundamental. Si no cumple con
esto, se trata de una hiptesis ad hoc, que puede ser algo que se especula que
debera ocurrir para que se cumpla lo que afirma la hiptesis principal.
El esquema sera H y Ha1 y Ha2 y Ha3 > C.O.
La concepcin falsacionista sofisticada traslada su centro de atencin de los
mritos de una sola teora a los mritos de teoras enfrentadas. Segn Lakatos,
el problema metodolgico se centra en la evaluacin entre teoras rivales. Una
teora es cientfica slo si tiene ms contenido emprico corroborado que su
rival. Una teora nunca puede ser falsada por la observacin ni por experimento
alguno, pero s por otra teora, siempre y cuando la supere en realizar
predicciones exitosas.
CAPTULO 6: EXPLICACIN Y PREDICCIN EN LAS CIENCIAS FCTICAS
6.1 Significado de explicar
En nuestra vida diaria encontramos diferentes intenciones significativas:
Narracin, adiestramiento en procedimientos, explicitacin de significados,

elucidacin conceptual y distincin conceptual.

6.2 Concepto de explicacin cientfica
Diferencia entre describir y explicar: Describir es responder a la pregunta
acerca de cmo es algo, mientras que explicar es responder a la pregunta
acerca de por qu algo es como es.
Segn Salmon la explicacin cientfica es un intento por hacer comprensible
eventos particulares o hechos generales apelando a otros hechos de alguna
rama de la ciencia emprica.
Explanandum es aquello que requiere una explicacin y explanans aquello que
proporciona la explicacin.
6.3 Modelos de explicacin cientfica de Hempel
Explicacin nomolgica-deductiva: La explicacin de un enunciado (E)
est integrada por dos tipos de enunciados: las condiciones antecedentes
(C) que describen las circunstancias iniciales en las que se produce el
enunciado y las leyes generales (L) que explican el enunciado. Los
antecedentes y las leyes funcionan como premisas de una inferencia
deductiva cuya conclusin es el enunciado. Esquema:
L1, L2,Ln
Explanans (lo que explica)
C1, C2,Cn
E
Explanandum (lo explicado)
Condiciones de adecuacin:
El explanandum debe ser consecuencia lgica del explanans.
El explanans debe contener las leyes generales.
El explanans debe tener contenido emprico.
Los enunciados que componen el explanans deben ser verdaderos.
El tipo de explicacin nomolgica-deductiva es la fundamental, las otras
formas sern pertinentes en la medida que se aproximen a ella.
Explicacin estadstica-inductiva: Las leyes no son leyes generales, sino
generalizaciones estadsticas. Las premisas apoyan a la conclusin con
probabilidad (p, de valor entre 0 y 1) y el explanans no implica lgicamente
al explanandum, solo le otorga cierto grado de probabilidad. Esquema:
L1, L2,Ln
C1, C2,Cn
i
E
Explicacin gentica: Consiste en explicar un hecho histrico, sealando
una sucesin de hechos anteriores, encadenndolos de modo que integren
un proceso que termina en el hecho a explicar. Registran slo los hechos
que tienen relevancia causal en el desarrollo del proceso. Para Hempel es
una secuencia de explicaciones ND o EI.
Explicacin teleolgica: (Intencional) Establece una relacin explicativa
intenciones-fines. Se explica un hecho presente por algo que ocurre en el
presente, por la implementacin de los medios a partir de las intenciones.
No es asimilable a la relacin causa-efecto porque no siempre se genera el
efecto.
Silogismo prctico: (Von Wright) La premisa mayor menciona una meta, la
premisa menor un acto conducente al logro de la meta, un medio dirigido al
fin y la conclusin consiste en el uso de ese medio para alcanzar el fin.
Esquema:
A se propone dar lugar a p

A considera que no puede dar lugar a p a menos que haga a

Por consiguiente, A se dispone a hacer a
No puede evaluarse en trminos de validez lgica porque la verdad de las
premisas no garantiza la verdad de la conclusin, puedo arrepentirme o
cambiar de idea y no iniciar la accin.
6.4 Elster: intencionalidad y explicacin por mecanismos
La explicacin intencional o teleolgica es el tipo de explicacin por
excelencia en las ciencias sociales: la accin est guiada por alguna intencin
que tiene lugar para lograr un fin. Se explica una accin intencionalmente
cuando podemos especificar el estado futuro que se pretenda crear. Est
relacionada con el futuro en el caso de que este guiada por una meta ausente.
Se comprende en una relacin tridica: accin-deseo-creencia. El actor
acta por una razn, eso implica: que la razn es suficiente para producir la
accin y que la razn causa la accin, excluyendo la casualidad. Nos conduce
a la nocin de racionalidad.
La explicacin por mecanismos considera que no existen explicaciones
legaliformes (explicacin nomolgico-deductiva) en las ciencias sociales.
La idea de mecanismo escapa de la mera descripcin y el enfoque
narrativo. Son pautas causales de ocurrencia frecuente provocadas en
condiciones desconocidas.
Esquema: Si se dan C1, C2,Cn, entonces a veces se da E.
Explica el fracaso de predicciones en el mundo social y se asocia a la
intencionalidad y a las reacciones animales.
La explicacin legaliforme es mejor, pero tambin ms difcil. L idea de
mecanismo podra ofrecer cierto poder explicativo. La explicacin por
mecanismos funciona en la medida en que estemos en condiciones de
identificar una pauta causal reconocible en diferentes situaciones.
6.5 Dimensin explicativa y dimensin predictiva
En el mtodo nomolgico-deductivo, se diferencian en que en la explicacin
disponemos del explanandum y buscamos el explanans, mientras que en la
prediccin anticipamos deductivamente el explanans; adems la prediccin se
proyecta a futuro. En la explicacin estadstica no puede predecirse en un
sentido estricto casos individuales.
Para Lenk, antes que predicciones legaliformes, se desarrollan los
pronsticos condicionados, donde la aparicin del evento depende de la
aparicin pendiente de condiciones antecedentes. Puso nfasis en los
pronsticos tecnolgicos, vinculados con condiciones influenciables por los
actores sociales, incluyen variables temporales y demuestra dependencia
respecto de una situacin construible.
La identidad estructural es poco significativa en las ciencias sociales.
La complejidad de las accin humana admite perspectivas explicativas
alternativas. El pluralismo metodolgico de las ciencias sociales obedece a la
exigencia misma.
Las condiciones de pertinencia terica, explicativa y predictiva tienen que
ver con dimensiones de relevancia, fecundidad explicativa y simplicidad.
El problema de la explicacin en las ciencias sociales
(Texto: La tensin entre explicacin y comprensin. El problema de la
explicacin en las ciencias sociales, G. Beraldi)

La ciencia debe explicar y no describir

El problema de la explicacin en las ciencias fcticas
Segn Hempel la explicacin histrica aspira a demostrar que los hechos
no ocurren por azar, pero no se puede establecer leyes debido a la complejidad
de las mismas. Para Popper las leyes las damos implcitamente por supuestas.
Von Wright seala 2 actitudes con respecto al problema del mtodo: el
monismo metodolgico (Hay un solo modelo tanto para las ciencias naturales
como para las sociales) y el pluralismo metodolgico
Dualismo explicacin-comprensin: Tiene sus comienzos en la historia de
las ideas, la tradicin aristotlica con una comprensin teleolgica y la galileana
de explicacin causal.
Corriente positivista: (Comte y Stuart Mill) Vinculada a la tradicin
galileana por su monismo metodolgico, tiende a subsumir el mtodo de
las ciencias sociales al de las naturales y se establece como ideal
metodolgico las ciencias exactas. Resalta nfasis en la explicacin y
prediccin. La explicacin es causal, rechazando las finalistas o
teleolgicas como acientficas.
Corriente antipositivista: (Hermenutica Dilthey/Max Weber) Tendencia
diversificada y heterognea. Rechaza el monismo metodolgico y a las
ciencias exactas como nico regulador. Tiende a sostener un contraste
entre las ciencias que aspiran a generalizaciones sobre fenmenos y las
ciencias que buscan comprender las particularidades.
La comprensin en las ciencias sociales
La corriente antipositivista sostiene que el objetivo de las ciencias naturales
es explicar y el de las ciencias sociales es comprender los fenmenos.
La comprensin posee un significado psicolgico, una forma de empata
en la mente sobre el mbito y objetos de estudio. Adems la comprensin se
encuentra ligada con la intencionalidad. Dilthey quiso desarrollar una
metodologa para entender las obras humanas, eludiendo el reduccionismo y
mecanicismo de las ciencias naturales. Adems, se dice que las ciencias
naturales se apoyan en el concepto de fuerza, mientras que las sociales
descansan en el sentido.
Comprender es la capacidad de entender a otro ser humanos en una
situacin no vivida personalmente (Ponerse en el lugar del otro). Tanto el
sentido histrico (Pasado) como el temporal (Futuro), son inevitables para toda
comprensin. El sentido es histrico, dinmico y contextual, es parte siempre
de una determinada situacin.
La tradicin antipositivista procura sustituir las nociones cientficas de
explicacin, prediccin y control por las interpretativas de comprensin,
significado y accin.
La explicacin y la comprensin son complementarias; la comprensin en el
lenguaje de la hermenutica debera diferenciarse de la empata, derivndola a
una categora semntica o no psicolgica.
Las explicaciones funcionales (causales) son cuasi teleolgicas:
explicaciones que pueden formularse en trminos teleolgicos pero cuya
validez depende de las leyes (Cmo es? Cmo llega algo a ser posible?).
Predominan en las ciencias humanas.
El modelo comprensivista de Von Wright
La causalidad se origina en nuestro conocimiento inmediato, ntimo de la
accin humana, pero la conducta humana es diferente a los hechos cotidianos.

Causalmente primero esta la decisin, segundo el proceso cerebral y

tercero la accin. Pero temporalmente, primero est el proceso cerebral y
segundo la accin. La accin es la produccin de cambios que no hubieran
sucedido de no haber tenido nuestra intervencin. A su vez, la omisin es una
accin negativa.
Esquema aristotlico (Interpretacin e intencin): Distinto al de Hempel
(Leyes). Silogismo prctico: Es el modelo de explicacin comprensiva para
entender las acciones humanas. Funciona a travs de la idea de hacer cosas
se llega a comprender las ideas de causa y efecto.
El modelo pragmtico de van Frassen
Es explicar el modelo de comprensin vinculado al contexto donde surgen
las circunstancias para las expresiones. La comprensin se realiza en base a
nuestra experiencia. Puede haber respuestas varias a una pregunta, todas
correctas segn cada contexto. Al aceptar un contexto, se legitima una
explicacin y no la otra. Las explicaciones no constituyen uno de los objetivos
de las ciencias, ya que una explicacin no puede ser juzgada de correcta o no.
Aportes posteriores
Para Schtz la comprensin es la reconstruccin de las perspectivas
individuales de los individuos referente a la sociedad. La accin social es una
vivencia guiada por un plan y la interpretacin surge de los motivos del actor,
pero el lmite es la imposibilidad de generalizar y predecir.
Para Gadamer hay una tensin entre la objetividad del texto y la
subjetividad del intrprete, la forma de resolver la tensin es con un acuerdo de
ajuste de los prejuicios. La hermenutica es la teora de la interpretacin.
Para Habermas la comprensin es una experiencia comunicativa que
implica una actitud reflexiva y la posibilidad para cambiar y formar actitudes.
CAPTULO 7: CORRIENTES EPISTEMOLGICAS CONTEMPORNEAS
7.1 La epistemologa del siglo XX: problemas fundamentales
Concepcin heredada: (Positivista) Considera a las teoras cientficas como
clculos axiomticos con los que se interpreta parcialmente el material emprico
por medio de reglas de correspondencia. En los aos 20 se busc el mtodo
cientfico nico y universal, es decir, la bsqueda de axiomatizacin de las
ciencias empricas.
En los aos 50 se acenta el inters por la historia de la ciencia y se
demostrara que las ciencias fcticas muestran una estructura que difiere de
inductivista y falsacionista, como Kuhn y Lakatos, quien adopt resultados del
primero para elaborar su metodologa de los programas de investigacin
cientfica, intentando superar las limitaciones del falsacionismo popperiano.
Epistemologa gentica de Piaget: Estudia el origen y desarrollo de las
capacidades cognitivas desde su base orgnica, biolgica y gentica. Describe
el curso del desarrollo intelectual desde la fase del recin nacido hasta la etapa
adulta. Considera al pensamiento y la inteligencia como procesos cognitivos
que tienen su base en un sustrato orgnico-biolgico determinado, que va
desarrollndose junto con la maduracin y el crecimiento biolgico.
La historicidad de la ciencia evidencia la historia de la racionalidad, cuya
construccin no es ajena al poder, es decir a la constitucin de instituciones
sociales que regulan la vida. La epistemologa es el lugar mismo de la verdad y
de la construccin de la racionalidad.
7.2 La concepcin epistemolgica del positivismo lgico

Los positivistas del Crculo de Viena integraron la fsica y la biologa en una

ciencia unificada, emprica e inductiva, que pueda legitimar sus mtodos en la
observacin. Se basa en el fenomenalismo segn el cual todas las ciencias
pueden reducirse al estudio de las sensaciones, medio para evitar la
introduccin de entidades metafsicas.
Su punto de partida fueron las proposiciones protocolares (u
observacionales), que constituyen las descripciones inmediatas de las
sensaciones.
Requisitos para que una palabra tenga significado:
Deben se conocidas las notas empricas de la palabra.
Conocimiento las proposiciones protocolares de las que derivan.
El establecimiento de las condiciones de verdad de las proposiciones
protocolares.
El conocimiento sobre el mtodo de verificacin de las proposiciones
protocolares.
Los trminos metafsicos no satisfacen estos requisitos, siendo las palabras
carentes de sentido (Dios, infinito), ya que no pueden especificarse condiciones
empricas de verdad puesto que constituyen pseudo proposiciones que sirven
para la expresin de una actitud emotiva ante la vida. As, quedan para el
anlisis slo las proposiciones empricas, tautologas y mtodos deductivos.
El lenguaje protocolar utiliza un lenguaje fisicalista en el que se tratan cosas
materiales, con propiedades observables y considerado universal.
Un exponente del fisicalismo fue Neurath, quien busc una sociologa libre
de metafsica para lograr la libertad del socilogo: ste ser libre para encontrar
sus propias reglas, siempre que se ubiquen en tiempo y espacio, librndose de
trminos como el de conciencia. El marxismo responde al positivismo lgico.
En la prctica cientfica produjo dificultades por lo cual se estanc el programa
fisicalista de lenguaje unificado y del principio del verificabilidad (No se puede
establecer un criterio para distinguir entre ciencia y no ciencia).
El positivismo lgico busc elucidar la forma lgica de las afirmaciones
cientficas antes que su contenido.
7.3 Las perspectivas falsacionistas: Popper y Lakatos
Para Popper, mediante la contrastacin, de las hiptesis con los hechos
observables, la ciencia pretende refutar sus hiptesis. En esto consiste el
racionalismo crtico, en utilizar la lgica deductiva (En este caso el Modus
Tollens) para demostrar que estamos equivocados, ya que sta no confirma,
sino que slo refuta. Solo con apoyo evidencial se logra un grado de
corroboracin, una aproximacin a la verdad que sirve de gua para la accin.
Los enunciados observacionales dependen de la teora, por lo que son
falibles y su aceptacin es provisoria; as, la teora no se puede falsar de modo
concluyente. Por ello cambio del principio monoterico donde la falsacin de la
teora se produce por la confrontacin bipolar teora experiencia al
multiterico, en el que la falsacin se produce por la confrontacin entre dos
teoras rivales y la experiencia.
Tesis del tercer mundo: el primer mundo es el de los objetos fsicos, el
segundo el de los estados mentales y tercero el de los contenidos objetivos del
pensamiento; ste ltimo es el de la ciencia.
Realismo crtico: La realidad existe independientemente de las capacidad
humanas para conocerla. El conocimiento cientfico es intersubjetivo, la
objetividad de la ciencia no se funda en el lenguaje fisicalista, ni en una base

emprica inconmovibles, sino que es un objeto social y surge a partir de la

cooperacin y competicin entre cientficos.
El desarrollo de Lakatos de los programas de investigacin surge como un
intento por mejorar el falsacionismo popperiano y superar las crticas, tomando
como punto de partida a las crticas de Kuhn. stos estn compuestos por un
ncleo central formado de hiptesis tericas generales, infalsable por decisin
de sus iniciadores, y protegido por un cinturn protector de hiptesis
auxiliares.
La heurstica permite resolver problemas por medio de la disolucin de
anomalas y la conversin en evidencia positiva. La heurstica negativa consiste
en la exigencia de que durante el desarrollo del programa, el ncleo quede
intacto, no apartndose del programa de investigacin. La heurstica positiva
indica a los cientficos cmo modificar el cinturn protector refutable. El
desarrollo de un programa supone la incorporacin de hiptesis auxiliares.
Se deben desviar las falsaciones a la teora principal hacia la red de
supuestos. El programa requiere tiempo y sus xitos determinan su carcter
progresivo; cuando no puede producir fenmenos se vuelve degenerativo. La
ciencia progresa por la competencia entre programas de investigacin, un
programa es mejor que otro si es ms progresista.
Un rasgo comn entre inductivistas y falsacionistas es la bsqueda de un
criterio universal y ahistrico para juzgar los mritos entre teoras rivales.
7.4 La ruptura: del racionalismo de justificacin al anlisis de la historia
de la ciencia
El cambio de la concepcin heredada a la nueva epistemologa iniciada
por Kuhn es en la manera de concebir la naturaleza de la epistemolga y en
una visin diferente de la ciencia emprica.
Visin comn entre el verificacionismo y el falsacionismo:
La ciencia como empresa racional.
Lo racional entendido como orden lgico en un contexto terico.
El mbito cientfico es el contexto de justificacin y no de descubrimiento
Coinciden en la visin axiomtica de la ciencia.
La justificacin de una teora es su remisin a una base emprica externa
e independiente de ella.
El conocimiento cientfico tiene que ver con la bsqueda de la verdad.
Transformacin de la imagen de la ciencia emprica a partir de Kuhn:
Las teoras dejan de ser ejemplo de racionalidad objetiva y se convierten
en un consenso racional tentativo.
Los hechos son definidos dentro de su contexto terico y no externo a
ste
La dualidad terico-observacional ya no se resuelve en trminos lgicoalgortmicos.
Se abandona la concepcin popperiana de la ciencia como proceso de
aproximacin progresiva a la verdad.
El instrumento de la lgica matemtica es reemplazado por la historia de
las ciencias.
La misin de la nueva epistemologa es el examen del proceso histrico del
conocimiento cientfico y no el del anlisis de los modos de justificacin.
7.5 El pensamiento de Kuhn en perspectiva
Modalidades de produccin cientfica histrica:
Modo normal, como procede la mayor parte del tiempo la ciencia.

Modo no-normal o revolucionario.

En el modo normal los cientficos comparten presupuestos de ndole terica
y metodolgica que les permiten dedicarse a al resolucin de enigmas. Se
buscan nuevas explicaciones a nuevos fenmenos pero no se cuestionan los
supuestos. Con la presencia de anomalas que se resisten al aparato terico
sobrevienen crisis donde se cuestionan los supuestos guas, se organizan
nuevos supuestos, se adopta una nueva perspectiva y con ello se produce
una revolucin cientfica.
Paradigmas: Sirve de modelo para casos del mismo tipo. Conjunto de
supuestos compartidos por una comunidad cientfica que guan la investigacin
normal; cuando se produce una revolucin se da el paso de un paradigma a
otro incompatible.
Dos sentidos para los paradigmas:
1. El paradigma como una Matriz disciplinar: (Global) La ciencia realizada
por una comunidad que comparte un cuerpo de creencias, valores y
tcnicas, es decir, comparten una matriz disciplinar comn.
2. El paradigma como Ejemplar: (Concreto y especfico) Los ejemplares
son aplicaciones empricas especficas del aparato formal que sirven del
modelo gua, aceptados por una comunidad cientfica. Una teora se
acompaa de diversos ejemplares como modelos de aplicacin de la
teora a los fenmenos. A travs de stos se cargan de contenido
emprico a las generalizaciones. Seran las reglas de correspondencia.
La ciencia normal es la ciencia practicada por una comunidad cientfica que
posee en comn una matriz disciplinar, basada en ejemplares compartidos. El
cambio revolucionario se produce por la aceptacin de una nueva matriz lo cual
implica un cambio conceptual. La inconmensurabilidad de las teoras, refiere a
que si una teora suplanta a otra, ambas no pueden ser compatibles, por lo
tanto son incomparables, entonces ningn argumento racional puede decidir
entre ambas teoras.
Crticas a Kuhn:
Es dudoso que la ciencia normal se de realmente.
La distincin entre ciencia normal y no normal no es aplicable a todas las
ciencias.
La descripcin del cientfico normal es la de un sumiso que no pone en
duda la doctrina dominante.
Al no poder resolverse por argumentacin lgica el conflicto
revolucionario, la ciencia se convierte en irracional.
Existe una contradiccin entre la tesis de inconmensurabilidad y la tesis
de incompatibilidad de teoras rivales. Si los paradigmas son
incomparables, no puede haber competencia entre ellos.
Si la matriz disciplinar configura los datos, el mundo emprico no puede
controlar objetivamente las afirmaciones de la ciencia.
Es indemostrable que todo cambio de matriz disciplinar origina un
cambio en el significado de los trminos bsicos utilizados por la ciencia.
UNIDAD 7: CIENCIA Y SOCIEDAD
Poltica cientfica: problemas y perspectivas
(Texto: Poltica cientfica: problemas y perspectivas, M. B. Contratti)
Introduccin y conceptos fundamentales
Poltica cientfica: Conjunto de disposiciones gubernamentales destinadas a

organizar el potencial investigador de un pas y orientarlo en su crecimiento y

aplicacin en otras reas y el aparato productivo. Se fue desarrollando a travs
de la historia: a partir de la segunda mitad del siglo XX aparece el proceso de
innovacin y competitividad que cobra impacto en la vida social y econmica.
Se consolida su institucionalidad en la Segunda Guerra debido a su ndole
blica, aunque tambin por la expansin del inters por la ciencia y la
tecnologa, as como tambin juega un papel importante en el desarrollo
econmico de un pas, etc. En Argentina, la ciencia y la tecnologa se han
acercado al mbito poltico por razones hegemnicas e intereses propios.
La planificacin de la poltica cientfica
Las planificaciones deben ser a largo alcance, resultado del consenso de
diferentes fuerzas polticas de un pas, de modo de conseguir la estabilidad
necesaria para el logro de los objetivos propuestos. stas abarcan cuestiones
que van desde los genrico a lo especfico y diferentes actores intervinientes.
Factores para los planes de polticas cientficas:
a. El monto total de inversin.
b. La seleccin de objetivos mayores.
c. La seleccin de reas prioritarias cientficas y tecnolgicas.
d. La organizacin del sistema de investigacin.
e. La evaluacin de los planes implementados en relacin a la
transferencia de informacin hacia los sectores productivos.
f. La promocin y organizacin de las relaciones cientficas
internacionales.
La inversin en investigacin y desarrollo (I+D): Corresponde a una decisin
poltica en base a las necesidades presupuestarias y la importancia del avance
cientfico y tecnolgico en el desarrollo econmico-social del pas. No se aplica
de modo uniforme en todos los pases. Tambin de tenerse en cuenta el
mantenimiento de los institutos de investigacin y universidades, el aumento
del personal, la renovacin de instrumental de alto costo, etc., poniendo
prioridades en cuanto a la importancia de cada una de stas. Sin embargo, el
objetivo prioritario de la poltica cientfica debe subordinarse a sus necesidades
sociales y econmicas y no perseguir el incremento de investigacin cientfica.
La comunidad cientfica deber adaptar sus objetivos a los problemas
tecnolgicos, econmicos y sociales de su pueblo.
Para Bunge se denomina practicismo (o anticientificismo) a la posicin
segn la cual los intereses nacionales deben orientar la poltica cientfica de un
pas. Rechaza esta posicin debido a que se pierda la necesidad del
conocimiento y la promocin de la independencia intelectual de la poblacin. La
investigacin cientfica bsica es necesaria en los pases en desarrollo que no
pueden costear avances tcnicos, ya que slo es necesario un papel y un lpiz.
Adems que es posible que no posea demanda de los avances tecnolgicos
que pretende realizar.
La libertad de investigacin debe estar contemplada en la poltica cientfica.
Este postulado de libre investigacin es apoyado por muchos especialistas,
pero en la actualidad es difcil de llevar a cabo.
La poltica cientfica se orienta al desarrollo para priorizar actividades que
permitan al pas alcanzar competitividad internacional y sustentabilidad. En los
pases desarrollados la atencin se dirige al potencial investigador de las
empresas; por otro lado, en los pases en vas de desarrollo el estado
concentra las polticas de desarrollo tecnolgico.

En los pases en desarrollo la falta de regulacin del Estado en la

adquisicin de patentes genera ausencia en la coordinacin con los planes de
desarrollo. Es preciso formular polticas de innovacin en respuesta a la
demanda de modernizacin tecnolgica de las empresas.
Plan Plurianual de Ciencia y Tecnologa: Comienza el Sistema Nacional de
Investigacin (SNI), que involucra a diversos actores (Estado, empresas,
mercado, sistema de investigacin, universidades), dejando de lado el laissez
faire (dejar hacer, neoliberalismo). ste pone en evidencia la necesidad de
desarrollar internamente la investigacin cientfico-tecnolgica (no depender
slo de la inversin extranjera) y su vinculacin con el sector productivo con la
articulacin del Estado y los dems sectores.
Se debe aplicar los resultados del avance tecnolgico a los sectores
productivos, tales como el sector agrcola e industrial; es obligacin del Estado
realizarlo. En los pases desarrollados el Estado participa en la financiacin de
la investigacin realizado por las empresas, en cambio, en los pases
subdesarrollados es el Estado el que debe costear las investigaciones,
teniendo que importar las tecnologas necesarias, lo que provoca atraso en la
innovacin y el desequilibrio en la balanza de pagos.
Innovacin tecnolgica: Transferencia de la labor de los institutos de
investigacin a la industria. Se encuentra sujeta a factores de incertidumbre.
La formacin del investigador
Lo ideal es que el nmero de investigadores no implique ms que un 65%
de gasto global. La escasez de investigadores es a la vez causa y efecto del
bajo desarrollo; de este dilema solo se puede salir con decisiones polticas.
Segn Ciapuscio la revolucin cientfico-tecnolgica actual tienen al
conocimiento o recursos humanos como factor principal.
El nuevo modelo educativo universitario fomenta una actitud crtica e
independiente del alumno, favoreciendo su creatividad y cuestionamiento.
Esquema de la innovacin: Investigacin bsica
investigacin aplicada
desarrollo tecnolgico
introduccin de nuevos productos al mercado. ste ya
no es vlido, slo lo era con grandes innovaciones excepcionales; actualmente
las innovaciones son incrementales, es decir, una serie de pequeas mejoras.
El actual modelo interactivo responde a las variadas relaciones que se
establecen entre los actores que intervienen en el proceso de innovacin.
SNI: sistema de interaccin de empresas del sector pblico y privado, de
universidades y organismos estatales orientado a la produccin de ciencia y
tecnologa dentro de fronteras nacionales. sta interaccin puede ser tcnica,
comercial, jurdica, social o financiera, siempre que el objetivo sea el desarrollo,
la proteccin, el financiamiento o la reglamentacin de ciencia y tecnologa.
Caractersticas de la poltica cientfica argentina
En el perodo de organizacin nacional se mostr un gran inters por la
ciencia dentro de un marco de proyecto poltico (Sarmiento), aunque no se
logr un desarrollo cientfico alto. En el siglo XX la actividad cientfica se
intensific pero fue perdiendo su centralidad poltica. (Houssay, positivista).
En la segunda posguerra se consolida la institucionalizacin de la ciencia,
mientras que en Latino Amrica se centra la investigacin aplicada y la
transferencia de tecnologa. Un rasgo propio es la oscuridad respecto de los
vnculos entre ciencia y cambio tecnolgico.
El modelo se agota con el avance de la ciencia de la comunicacin, la
informtica y la ingeniera gentica que permite un acercamiento entre la

investigacin cientfica y el aparato productivo. En Argentina, recin en los 90 y

principios del siglo XXI se vieron los frutos del trabajo de polticos, tcnicos e
investigadores en proyectos que buscan armonizar el sistema argentino de I+D
al internacional, propiciando el despegue poltico, social y econmico.
La investigacin cientfico-tecnolgica en la Universidad
En la Argentina hay deficiencia en el sistema de investigacin. La
universidad debe asumir en todos los niveles el fenmeno de las nuevas
tecnologas, pero debe adaptarse a las brechas tecnolgicas respecto de los
pases primero industrializados, lo cual genera la divisin internacional del
trabajo. Tambin hay un dualismo tecnolgico: empresas multinacionales de
tecnologa de punta y otras retrasadas y obsoletas, debido a la infrautilizacin
de la capacidad productiva y la falta de incentivos a la inversin local.
La universidad refleja incapacidad para adaptarse a la incertidumbre del
cambio tecnolgico. Para alcanzar el nivel adecuado, es necesario adecuar a la
universidad al dinamismo del cambio tecnolgico, es decir, tornarla flexible y
cambiante.
La responsabilidad social del cientfico
(Texto: tica y ciencia, M. B. Contratti)
La ciencia y la tecnologa se independizan de la sociedad a la que
pertenecen y cobran un poder autnomo, dejando de servir a la humanidad
para convertirse en sus amos.
La tica y sus relaciones con la ciencia y la tecnologa
Se debe asumir una perspectiva tica donde se considere el riesgo desde
una dimensin humana. La tica se ocupa de la justificacin de las normas
morales que regulan la conducta humana y, relacionado con la ciencia y la
tecnologa, nos adhiere al concepto de responsabilidad. La intencionalidad
aparece en la responsabilidad como consecuencia de una accin.
Responsabilidad colectiva: Los problemas socio-ambientales causados por
la ciencia y la tecnologa no son slo responsabilidad de los individuos que
intervienen circunstancialmente en la produccin del fenmeno dado.
tica aplicada: Seala la relacin que hay entre ciencia, tecnologa y tica,
siendo los 2 primeros los que han elevado la necesidad de apelar a la tica
para resguardar los derechos a la vida de los habitantes de la Tierra expuestos
a diversos peligros por el accionar de aquellas.
Distincin entre responsabilidad retrospectiva referida al resultado de
acciones ya realizadas y responsabilidad prospectiva basada en la exigencia
de prever los resultados de las acciones.
Muchas veces las mismas tcnicas que permiten salvar vidas o mejorarlas,
tambin provocan otros malestares o dolencias que pueden terminar en daos
irreversibles (Medios de transporte).
Se debe asumir el control de la ciencia y la tecnologa, desde una
perspectiva tica y no meramente tcnica de dicho control.
La tica de la investigacin cientfica
Cuestiones sobre la responsabilidad cientfica del investigador:
Errores cometidos en el transcurso de la investigacin: Pueden ser
errores honestos debido a las circunstancias, errores debidos a la
negligencia del investigador, o errores que involucran engao por parte
del cientfico.
La adjudicacin de crditos o recompensas: Es reconocido en tres

lugares: en la lista de autores, en el reconocimiento por las

contribuciones de los otros o referencias en las citas textuales.
El tratamiento de las tcnicas experimentales: Permite la verificacin
independiente de los datos pero debe someterse a continua revisin.
La publicacin y la apertura: Para la publicacin de los trabajos se debe
haber superado el control de calidad de los colegas.
Conflictos de intereses: El juicio de los cientficos se ve influenciado por
sus valores. Se combate con mecanismos correctivos de la ciencia y con
la formacin profesional del cientfico.
La tica de la investigacin es insuficiente, debido a que mide la adecuacin
moral del cientfico sobre la ciencia como una entidad autosuficiente y certera.
El dar una formacin amplia que permita reflexiona al cientfico sobre sus
inclinaciones para lograr un conocimiento objetivo y neutral respecto de los
valores ticos, provocara la deshumanizacin del investigador, ya que no
todos los intereses son negativos en la labor cientfica.
El cientificismo, el anticientificismo y la tica
El cientificismo es la disciplina que tiene la idea de que el conocimiento
cientfico debe ser racional, objetivo y ticamente neutral, es decir, no
atravesado por intereses o valoraciones de ningn tipo. Considera a la ciencia
independiente de la sociedad y su rectora. ste es representado por el
positivismo y empirismo lgico. Luego fue perdiendo vigencia y fueron
superadas por perspectivas ms humanas.
Para Bunge (cientificista) la ciencia ofrece una comprensin fundamentada
de la realidad y en s misma la ciencia es modelo de tica.
A su vez, el anticientificismo considera a la ciencia como conocimiento
construido, provisorio y negociable, histrica y culturalmente contextualizada y
ticamente comprometida junto con la tecnologa.
Objeciones contra el cientificismo:
La fragilidad del conocimiento inductivo: Son factores no epistmicos los
responsables de las teoras aceptadas.
Relativismo: Una teora cientfica encuentra justificacin segn su
contexto particular.
La carga terica de la observacin: Lo que se percibe proviene de las
impresiones sensibles y del conocimiento previo.
Infradeterminacin: La evidencia emprica es insuficiente para
determinar la solucin de un problema dado.
Clausura metodolgica: Se produce un vaco entre la evidencia emprica
y las teoras respectivas, para llenarlo se recurre a factores no
epistmicos.
Se debe ver a la ciencia como una actividad humana ms, lejos de la
idealizada perspectiva del cientificismo y la anticiencia. Se debe disminuir su
pretensin hegemnica para ponerla al servicio de la sociedad.
Ciencia bsica, ciencia aplicada, tcnica y tecnologa
Ciencia bsica: Obtencin del conocimiento mediante el mtodo cientfico,
trabaja por motivos que le interesan (Cognoscitivos). Es independiente de
cualquier inters externo y su conocimiento es descriptivo.
Ciencia aplicada: Obtencin del conocimiento mediante el mtodo cientfico,
estudiando problemas de inters social. Se puede planear.
Tcnica: Su propsito es controlar la realidad empleando el conocimiento, el
mtodo cientfico. Se encarga de resolver problemas prcticos, no

cognoscitivos y produce efectos reales en el mundo.

Mientras que en las ciencias el conocimiento es el producto final, en la
tcnica ste es un artefacto o plan de accin con valor prctico. Asimismo, la
ciencia es carente de valor, mientras que la tecnologa debe ser sometida a
controles morales y sociales para determinar su valor positivo o negativo.
Para Rescher el conocimiento cientfico es solo descriptivo, mientras que el
conocimiento tecnolgico presenta una vertiente cognitiva referida al saber
cmo hacer y otra vertiente normativa al saber si es razonable hacer algo
respecto de las circunstancias. La ciencia s es tica.
Para Agazzi la constitucin de la tecnologa es consecuencia de la ciencia
moderna. Por ello, la diferencia es slo conceptual y no real: tecnociencia.
Diferencia entre tcnica y tecnologa: La tecnologa es una rama de la
tcnica, su ciencia aplicada. La tcnica sigue siendo la fabricacin de
dispositivos tiles descubiertos empricamente sin un conocimiento cientfico.
La tcnica genera una integracin paulatina de los artefactos al ambiente
natural de las condiciones humanas, se adaptaba la naturaleza a las
necesidades humanas. En cambio en la tecnologa la naturaleza es sustituida
por los artefactos de un mundo artificial, creado de forma independiente
respecto la naturaleza. En cuanto a la tica, en la tcnica sta estaba implcita
en las reglas del oficio, pero en la tecnologa se necesita de regulacin por
parte de los seres humanos en forma de normas que aseguren la armona y
sabidura de la naturaleza.
El control responsable del cientfico no es suficiente, se necesita control
tico- poltico y social.
Para Oliv y su principio de precaucin se debe suspender la
implementacin de determinadas tecnologas si existen bases razonables de
que una innovacin puede provocar daos al medioambiente. La nica solucin
justa para esto es la discusin y participacin de todos los afectados por esa
tecnologa, incluso la comunidad ms amplia.
Reflexiones generales
Los beneficios sociales de la ciencia y tecnologa son varios pero estn
rodeados de riesgo, relacionados a una responsabilidad cientfica. La sociedad
toma conciencia de los riesgos y los descubrimientos (Protocolo de Kyoto); sin
embargo, los controles son resistidos por la autonoma de la ciencia. El
conocimiento cientfico carece de objetividad, sujeto a sus fuentes de
financiacin o fines polticos.
La solucin consiste en que la investigacin y el desarrollo tecnolgico sean
puestos a consideracin de los afectados por ellos.