Ctedra: Pensamiento Cientfico

Ao: 2016

Apuntes de ctedra: Sobre El lenguaje de la Ciencia, Teora y otros temas.

Lenguaje de la Ciencia:
El presente escrito, es un apunte de ctedra, una gua orientadora para el estudio
de algunos de los contenidos estudiados en la materia, para nada suple al recurso
bibliogrfico. La organizacin de los temas corresponde a una eleccin y seleccin
general con fines didcticos.
Como bien dice Kliomovsky, la actividad cientfica cristaliza y se comunica por
medio del lenguaje. Por tanto resulta fundamental estudiar sus elementos:
Trmino (concepto): es una clase lgica. Una clase es una coleccin de
elementos que tienen alguna caracterstica especfica en comn. Como tal, tiene
extensin (un nmero x de elementos que la componen) y comprensin
(propiedades distintivas que demarcan la clase). Un trmino puede estar
compuesto por ms de una palabra para expresar una clase lgica: alumnos de
pensamiento cientfico de la carrera de Ciencias de la Educacin del ao 2016.
Son ms de 10 palabras que demarcan una sola clase lgica.
A todo trmino es preciso definirlo. Esta actividad intelectual en ciencias nos
acerca a la exactitud semntica.
LA DEFINICIN siempre consta de dos partes:
DEFINIENDUM: el trmino que quiero definir.
DEFINIENS: y el o los trminos/s que utilizo para definir.
D (Definiendum): d (definiens) 1
D: (definiendum): d (definiens) 2
D (definiendum): d (definiens) 3

Problemas lgicos de la definicin:

LA REGRESIN AL INFINITO: Al definir tomamos la decisin de establecer un
lmite en la definicin Hasta dnde defino un trmino? Es decir desde la lgica
cuando dejamos de definir ya sea en el definiens 2, o 3, es como si no
hubisemos definido nada. Y por otra parte es imposible definir infinitamente.

DEFINICIONES CIRCULARES: Tomemos como ejemplo a un diccionario. Los

diccionarios son circulares necesariamente, quiere decir: si en un diccionario
buscas una palabra, encontramos un conjunto de palabras que son equivalentes a
ella; si buscas una de esas palabras equivalentes, encontraremos tarde o
temprano- aquella palabra por la que comenzaste la bsqueda. Un ejemplo de ello
es que en los diccionarios ms pequeos cuando buscamos hiptesis dice
conjetura, supuesto y, cuando buscas conjetura dice hiptesis. Esto es la
circularidad y hace fracasar en su propsito a la definicin, que es explicar el
significado del definiendum.
Para evitar la circularidad, sera necesario definir cada palabra a partir de un
conjunto de palabras equivalentes pero sin repetirlas nunca, es decir, sin caer en
circularidad. El regreso al infinito, solucionara la circularidad pero, resulta
irrealizable porque implica un conjunto infinito de palabras en tanto deberamos
definir el trmino A (Definiendum) por medio de la palabra B (definiens1), B
(Definiendum) por medio de C (definiens 2), C (Definiendum) por medio de D
(definiens 3) y as, al infinito
Cules son los propsitos de la definicin?
-Aumentar el vocabulario
-Eliminar la ambigedad: polisemia (poco usual) el contexto lo aclara.
-Reducir la vaguedad: trmino conocido que necesita especificacin. No se puede
establecer lmites en el uso. es bueno es blanco.
-Explicar tericamente: brindar una explicacin cientfica; propiedades de objetos
con el fin de enriquecer la teora.
-Influir en actitudes: valor emotivo, expresivo del lenguaje.
Irving Copi (2001), nos describe cinco tipos de definicin:
1) Tipo Estipulativa: el trmino es nuevo, el autor estipula su significado. Lo
desviste de familiaridad.
2) Definiciones Lexicogrficas (o real): cuando se pretende definir un trmino en
uso, informa acerca de su significado. Puede ser V o F. Cuestin estadstica del
uso.
3) Definiciones aclaratorias: elimina la vaguedad de un trmino. Se respeta el
significado original.
4) Definiciones tericas: formula una caracterizacin tericamente adecuada
(ciencia o filosofa). Presupone aceptacin de una teora. Definiciones analticas
5) Definiciones persuasivas: expresivas.

SeguimosLos trminos son ladrillos fundamentales del lenguaje cientfico, sin

embargo, para transmitir conocimiento e informacin deben estar en relacin con
otros. El conocimiento cientfico este se expresa en enunciados y estos a su vez
en estructuras de razonamientos.
ENUNCIADO (proposicin juicio): es una estructura conformada por trminos
de tal manera que afirmen (en sentido amplio) algo. No es una mera yuxtaposicin
de trminos, sino una relacin entre ellos que conforma una estructura
aseverativa. Estn vinculados a la funcin informativa del lenguaje.
Los
enunciados tienen como posibilidad ser verdaderos o falsos (definicin dada de
verdad, como propiedad de la enunciacin) Segn Aristteles, su forma general es
S es P (sujeto es predicado). PENSAMOS EN FORMA DE ENUNCIADOS.
-Los Enunciados expresan ideas: interrogativos, exclamativos, imperativos,
desiderativos y declarativos.
-La ciencia se expresa mediante enunciado declarativos, afirmaciones que
proporcionan informacin y conocimientos.
-El sujeto de ciencia es el que enuncia y tiene pretensiones explicativas: qu
quiere transmitir?
Es preciso discriminar los diferentes tipos de enunciados, estos pueden ser;
singulares o generales, referirse a base emprica o a la zona terica.
1er nivel : Enunciados empricos bsicos (singulares)
2do nivel: Enunciados empricos generales o generalizaciones empricas:
-Universales
-Existenciales
-Mixtos
-Estadsticos o Probabilsticos
3er Nivel: Enunciados tericos (generales):
-Puros
-Mixtos
Qu es un razonamiento?
Razonamiento (argumento): es la relacin entre enunciados de tal manera, que
uno de ellos se infiera a partir de otro u otros. Para que exista razonamiento, debe
existir el proceso inferencial que permita extraer conclusiones a partir de uno o
ms enunciados dados. Los enunciados dados se llaman antecedentes o
premisas; el enunciado obtenido se denomina consecuente o conclusin. Es la
estructura lgica que permite generar nuevos enunciados (conocimientos) a partir

de los ya establecidos. Los razonamientos son vlidos, cuando la conclusin est

fundamentada por los antecedentes enunciados e invlidos, cuando esos
antecedentes no son suficientes para sostener la conclusin.
Vase Zeballos, sobre Lgica, verdad y validez.
Hiptesis
La tarea de la ciencia es descubrir hechos, poder explicarlos, comprenderlos y
predecirlos.La ciencia explica por medio de hiptesis, es decir slo se considera
digna de aceptacin en la medida que hay pruebas de ella.
La concepcin hipottica de la ciencia supone que los enunciados cientficos son
histricos y son aceptados en su carcter de hiptesis (provisoria) y no como
enunciados absolutos, acabado y definitivos (justificados).
Una hiptesis es una conjetura provisoria de la realidad, susceptible de ser
mejorada, corregida, y/o cambiada.
Caracterizacin:
1) Hiptesis es un enunciado afirmado o formulado por alguien, en cierto lugar y
en cierto momento de la historia. El status de hiptesis de un enunciado
depender de quien la haya formulado, en algn tiempo.
2) La hiptesis se halla en estado de problema, se desconoce su valor de verdad.
No est verificada ni refutada.
a) Si se verifica deja de ser una hiptesis y se convierte enunciado verdadero
b) Si es refutado tambin deja de ser una hiptesis.
La hiptesis es sometida a pruebas. PRUEBA por medio de la experiencia.
La hiptesis no son directamente verificables: a) se deduce de la proposicin que
se quiere verificar consecuencias observacionales y estas son sometidas a
pruebas.
Nota: Se realizaron las diferentes distinciones entre verificacin, corroboracin y
contrastacin.
3) Se supone que la hiptesis es verdadera
Criterios para aceptar una hiptesis:
a) Atinencia: corresponderse con el hecho que pretende explicacin.
b) Posibilidad de ser sometida a prueba (indirecta)
c) Compatibilidad con hiptesis previas confirmadas (ausencia de contradiccin)
d) Poder predictivo y explicativo: puede dar cuenta de un conjunto de hechos

Predictiva es la hiptesis que tiene un nmero mayor de hechos observables que

se pueden deducir de ella y permiten anticipar otros hechos.
e) Simplicidad: Es difcil de definir, podemos decir que entre dos teoras/hiptesis
se elegirn aquellas menos compleja que explique todos los hechos conocidos.
Ejemplo: grfico de un sistema hipottico deductivo: La deduccin como proceso
de derivacin lgica.
En el diagrama
H1 hiptesis de partida o hiptesis fundamental

H2

H3

H4 hiptesis derivadas: mltiple inters.

H5

H6

O1

O2 Consecuencias Observacionales

--------------------------------------------------------------------------Observaciones pertinentes

El Inters: explicativo, sistemtico y vinculado al contexto de descubrimiento.

Consecuencias observacionales: es un enunciado emprico bsico. La ciencia va a
buscar comparar lo enunciado y la base emprica.
Cmo sometemos a prueba una hiptesis?
Examinando una consecuencia observacional de la misma: CONTRASTACIN.
Vamos a obtener o bien su corroboracin o refutacin.
Sobre la corroboracin: no sabemos sobre su verdad, pero resisti todo intento de
ser refutada y ha probado NO ser falsa.
La Concepcin Heredada de la Ciencia.
Esta concepcin es fruto de un conjunto de ideas, postulados, preceptos cnones
y juicios difundidos y establecidos por diferentes filsofos, epistemlogos, y
pensadores que durante siglos han ido conformando una visin fragmentada,
limitada, esttica y contradictoria sobre la actividad cientfico-tecnolgica. Aunque
til para su tiempo y momento histrico. Es necesario analizar esta visin

desentraando a plenitud el entramado histrico-social de esta peculiar y

multifactica forma de actividad humana; la ciencia.
La concepcin heredada de la ciencia ha sido conformada por varias corrientes, se
destacan: empirismo lgico (concepcin inductivista) y el racionalismo crtico (o
falsacionismo).
Sobre el empirismo lgico: la experiencia y los sentidos como origen y fundamento
del conocimiento. La observacin como garante de la objetividad. La verificabilidad
como criterio para distinguir enunciados cientficos de pseudoenunciados.
Sobre el racionalismo crtico: La verdad del enunciado es puesta en tela de juicio
no habla de verificacin sino de corroboracin, mediante la falsacin de la
hiptesis.
Las corrientes comparten ncleo duro:
-La ciencia como la forma ms legtima de conocimiento.
-Las teoras cientficas conjuntos de enunciados de distintos niveles.
-La observacin como instancia ultima de fundamentacin del conocimiento
cientfico.
-La ciencia centrada en el mtodo como saber neutral
-La verdad garantizada por el buen uso del mtodo cientfico.
-El progreso cientfico (la ciencia refleja la realidad)
Sobre los Contextos de la Ciencia
La distincin entre el contexto de descubrimiento y el contexto de Justificacin ha
tenido un papel fundamental en la filosofa de la ciencias del siglo XX,
Reichembach (1938) PROPONES ESTA DISTINCIN. Esta distincin dice
Echeverra (1998), nace de un mal entendido fundamental: la reduccin de la
ciencia al conocimiento cientfico, sobre todo a sus aspectos lgicos.
Contexto de descubrimiento y de justificacin
1. Contexto de descubrimiento: Adems del descubrimiento interviene la
inspiracin y el azar y dice que escapa al anlisis lgico. Todo lo que el cientfico
realiza es analizar la relacin que existe entre los hechos dados y la teora
presentada en relacin a dicha funcin. Contexto de descubrimiento, creencias,
historia, la cultura, el azar, todo lo que escapa a la lgica. El proceso de
descubrimiento, su historia, avatares.
2. Contexto de justificacin: (lgica) justificar las creencias cientficas. Para los
filsofos de la concepcin heredada solo en este contexto se tematizada

reflexiones epistemolgicas seria. Esto combina experimentacin y razonamientos

lgicos. Interesa el mtodo, la estructura terica el alcance de los enunciados.
Con qu objetivo plantea Echeverra los cuatro contextos de la ciencia? Vea su
texto Filosofa de la Ciencia.
-Contexto de enseanza/ educacin: fundamental para pensar cientficamente.
-Contexto de innovacin (descubrimiento): engloba aspectos de innovacin y de
descubrimientos en la investigacin cientfica.
-Contexto de valoracin (justificacin): fundamentacin metodolgica y racional de
la ciencia. Valoracin o evaluacin de la actividad tcnocientfica.
-Contexto de aplicacin: mbito de accin de la ciencia, contexto donde se
producen los cambios y transformaciones. (Poltica y gestin cientfica).
Explicacin Cientfica: Dos tradiciones, Explicacin y Comprensin.
Vase Von Wright (1997).
El dualismo Explicacin vs Comprensin tiene sus races en la historia de las
ideas, y Wright sostiene que este problema parte de dos tradiciones:
A) Tradicin aristotlica: que se vincula Con los esfuerzos del hombre por
comprender cosas teleologicamente
B) Tradicin galileana: se vincula con las explicaciones causales.
Las dos partes de la explicacin:
Explanandum: que es aquello que requiere de una explicacin y el explanans que
es proporciona la explicacin.
El Mtodo Cientfico
La ciencias (fcticas) pretenden explicar y comprender el mundo y lo hacen a
partir de la investigacin cientfica, que a su vez necesita de un/os mtodo
cientfico para llegar al conocimiento.
Cmo se relacionan lo emprico y lo terico? El mtodo cientfico responde. Y es
preciso acotar esta respuesta al contexto: de descubrimiento o de justificacin.
Mtodo Inductivo (contexto descubrimiento)
Inductivismo: de base filosfica empirista. (observacin y experiencia).
La induccin es un tipo de razonamiento que a diferencia de la deduccin nos
lleva de premisas de los casos particulares a una conclusin. Los datos
observacionales tienen prioridad sobre la hiptesis.
Pasos del mtodo:

1) Observacin de todos los hechos referentes al problema.

2) Anlisis y clasificacin de los datos obtenidos.
3) Formulacin de la hiptesis a partir de una generalizacin inductiva.
4) Sucesivas contrastaciones de la hiptesis.
A1 es B
A2 es B
A3 es B
--------------------Todo A es B
Siguiendo un proceso inductivo:
Para obtener el enunciado de segundo nivel se debe:
Se debe observar un nmero suficiente de casos
Tener variadas condiciones de observacin.
Ningn enunciado observacional debe contradecir la conclusin.
CRTICAS al mtodo inductivo (contexto descubrimiento):
No hay observaciones puras
Ausencia de hiptesis
Imposibilidad de formular enunciados de 3er nivel.
Mtodo Inductivo (contexto de Justificacin):
Las hiptesis deben contrastarse empricamente: La ciencia comienza por el nivel
1, de ah (por induccin) se elabora enunciados de nivel 2, y se debe volver al
nivel 1 (mediante deduccin para ser contrastados empricamente.
Contrastacin de Hiptesis: de muchas premisas particulares, llegamos a una
conclusin general.
El progreso cientfico se asienta en la acumulacin (continua e inacabada)
CRITICAS:
Las sucesivas contrastaciones exitosas de una hiptesis no aumentan su
probabilidad de verdad.
La Induccin cae en crculo vicioso.

El progreso cientfico no es por acumulacin de conocimiento corroborado. Popper

dira por descarte de hiptesis falsadas.
MTODO HIPOTTICO DEDUCTIVO
(Descubrimiento)
Estos cientficos y filsofos asientan su base en dos crticas a los inductivistas:
suponer que las hiptesis surgen de observaciones puras y que son puras y
objetivas.
Hiptesis principales (leyes puras o mixtas)

Leyes empricas

Consecuencias observacionales

Hechos

Coincidencia

Sin coincidencia

CORROBORACIN

REFUTACIN

Nuevas puesta a prueba

Correcciones

Planteamiento del problema: La observacin no es el punto de partida, lo es el

PROBLEMA.
Formulacin de Hiptesis Principales: Frente a un problema el investigador
propone una solucin tentativa que guie y oriente su desarrollo.
Deduccin de leyes empricas y de las consecuencias observacionales: una vez
formuladas las hiptesis habr que contrastarlas empricamente. Aunque si
partimos de leyes tericas es difcil hacerlo directamente. Habr que deducir un
enunciado 2, y de ah un enunciado nivel 1.
Los cuerpos caen en virtud de los efectos de la gravitacin.
Todo cuerpo al ser soltado caer al piso
Entonces si suelto la tiza, caer al piso

Contrastacin emprica: se corroboran las C.O con los hechos: realizo la

experiencia, tiro una tiza al piso.

El mtodo hipottico deductivo (justificacin):

Anlisis de la forma lgica de la refutacin
Modus Tollems

Si p entonces q
No q (consecuencia)

Modus tollems

---------------------------No p (hiptesis)

Donde p sera la hiptesis y q la consecuencia observacional

Si la hiptesis p es verdadera, entonces se dar tal consecuencia observacional q
No se da tal caso de consecuencia observacional q
-------------------------------------------------------------------------------------------------------------La hiptesis p no es verdadera

En el mtodo hipottico deductivo, cuando la hiptesis se encuentra en problemas

se puede salvar a partir de otra, llamada hiptesis ad hoc.
Falacia de la afirmacin del consecuente: (verificacin)

Si p entonces q
q
----------------------------P

Se da tal consecuencia observacional q

---------------------------------------------------------

Por lo tanto la hiptesis es verdadera p

Si me saco la lotera, me compro un auto, entonces me compro un auto
conclusin- se gan la lotera. Y pude haber comprado el auto porque cobr una
indemnizacin.
Da a lugar a la corroboracin: una hiptesis se corrobora si se cumplen sus
consecuencias observacionales. Mientras que la verificacin solamente se puede
lograr de un enunciado de nivel 1.

Esta diferencia entre la seguridad (basada en la necesidad lgica) de la refutacin

y la provisoriedad o contingencia de la verificacin es lo que se denomina
Asimetra de la contrastacin; y a partir de la observancia de las consecuencias
de tal defasaje Popper formular la correccin falsacionista del mtodo hipottico
deductivo.
En respuesta a la ASIMETRIA DE LA CONTRASTACIN ( refutacin-verificacin)
Popper formula el Falsacionismo:
1) Las investigaciones siguen el modelo hipottico deductivo. Parten de un
problema, y proponen una hiptesis que gua su trabajo.
2) En una contrastacin el nico que caso que garantiza la necesidad lgica es la
refutacin.
3) El mtodo cientfico, para Popper est orientado NO a la corroboracin, sino a
la refutacin de la hiptesis
4) La ciencia progresa por refutaciones, a partir del error.
5) Las hiptesis refutadas sern abandonadas, y la corroboradas tienen carcter
provisorio.
CRITICAS:
La imposibilidad de refutar definitivamente una hiptesis (ej hiptesis ad hoc)
La subvaloracin de lo histrico en la comprensin del quehacer de la ciencia
(hiptesis histrica).
TEORA
Para abordar este apartado temtico retomaremos los aportes realizados por
Bunge (2004), Bruce (2015) y Klimovsky (2001), entre otros autores.
La palabra teora deriva de un vocablo griego que significa contemplar, ver,
contemplacin intelectual.

Para Campbell, el trmino se reserva para designar un conjunto de hiptesis

tericas puras.
Klimovsky, por el contrario, incluye enunciados DE DISTINTOS NIVELES, desde
enunciados tericos a empricos bsicos o consecuencias observacionales.
Para Popper, siguiendo a Aristteles, una teora est conformada slo por
enunciados generales, aunque de distintos niveles .desde generalizaciones
empricas hasta enunciados tericos puros.
La teora es la unidad mnima de sistematizacin en el campo cientfico por eso
puede ser utilizada como demarcacin; ese fue el caso al emplearla para
sealar la aparicin sucesiva de los diferentes espacios disciplinares.
La fundamentacin de estos enunciados generales o de estas organizaciones de
elementos, requieren que el conocimiento vaya sistematizando una red
enunciativa, vaya descubriendo relaciones que permita su justificacin.
BENEFICIOS QUE PROPORCIONA LA TEORIZACIN, LOS SIGUIENTES:
A) provee a los enunciados de mayor poder de contrastacin (ajuste emprico)
B) proporciona mayor rigor (ajuste lgico)
C) otorga mayor significacin (ajuste semntico) Como consecuencia de estos
atributos:
D) acrecienta el poder explicativo y/o predictivo de las enunciaciones
E) posibilita orientar la investigacin (visualizar nuevos problemas y trabajar para
su solucin)
CLASIFICACION DE LAS TEORIAS:
La actividad intelectual de clasificar, implica el agrupamiento de elementos en
clases. Las teoras como unidades enunciativas sistemticas- pueden ser
clasificadas de diversas maneras:
FORMALES:
Sus enunciados fundamentales son frmulas. La frmula es una clase
muy particular de enunciados que relaciona variables y constantes. No es ni
verdadera ni falsa, hasta tanto se la interprete: X+Y=Z, 2+2=4 VERDADERA
2+2=5 FALSA
CARNAP: Los enunciados propios de Cs Formales, son enunciados analticos
TAUTOLGICOS (lgicamente verdaderos)
NO FORMALES:
Estn expresadas en enunciados de las lenguas habladas (espaol, ingls).

CARNAP: Los enunciados propios de las Cs Fcticas son los enunciados

sintticos--son contingentes, y su verdad depender del ajuste con la realidad.
Nota: Las teoras formales pueden servirse de enunciados propios de las no
formales y viceversa.
ESTRUCTURA DE LA TEORIA
Teora como conjunto de afirmaciones conjeturales que pretenden explicar una
parcialidad o un sector de problemas de la realidad.
Imaginemos tres lneas. Cada una de ellas indica un nivel enunciativo:
1) la primera fila se reserva a los enunciados fundamentales
2) el segundo nivel corresponde a enunciados tericos y,
3) podramos pensar que la lnea inferior contiene generalizaciones empricas.

ENTONCES:
Una teora est constituida por ENUNCIADOS, que a su vez se pueden
desagregar en TRMINOS.
3) Pero, para poder relacionar trminos entre s y enunciados entre s, es
preciso contar con un conjunto de prescripciones que regulen esa tarea
REGLAS.
4) La teora fija los mecanismos de prueba que permitan, segn los resultados,
aceptarlas o rechazarlas. PRUEBAS.

EN UNA TEORA SE DECIDE OBTURAR UNA REGRESIN AL INFINITO Y

FIJAR COMO PRINCIPIOS A CIERTAS HIPTESIS MUY GENERALES.
1) Estos principios de la derivacin enunciativa, se denominan axiomas,
postulados, principios generales o hiptesis fundamentales. Son las hiptesis ms
generales y abstractas de la teora. Se exige que sean las menos posibles por
ser el nivel enunciativo indemostrable- pero simultneamente, deben ser ricas y
fructferas en su capacidad de desprender multiplicidad de enunciados.
2) Las otras lneas de enunciados corresponden a los llamados teoremas, leyes o
simplemente hiptesis. Son generalizaciones empricas o enunciados tericos
(distintos niveles) que quedan explicados o demostrados en relacin con los
enunciados que lgicamente los anteceden.
En las ciencias fcticas con mayor presencia an en las sociales- existen otro
tipo de enunciados que son llamados LEMAS. Estos son enunciados que

utilizamos como antecedentes para la derivacin, pero pertenecen a otra teora.

Es decir, entretejo una teora con otra, para poder derivar ajustadamente ciertas
hiptesis.
En CIENCIAS SOCIALES escasean las teoras estrictamente deductivas, pero
existen junto a ellas lo que se llaman teoras factoriales de rango medio.
Las teoras de alcance intermedio tratan aspectos delimitados de los fenmenos
sociales. Su principal utilidad radica en constituir un soporte terico que sirva para
orientar la investigacin emprica. Pero tambin se entiende por teora en el
mundo cientfico social, cosas diversas como: esquemas de clasificacin,
marcos conceptuales, sistemas interpretativos de datos o enfoques generales
acerca de cmo se producen los hechos y los cambios sociales.
REGLAS:
Existen tres tipos de reglas relacionadas con la actividad terica. Ellas son:
1) reglas de formacin,
2) reglas de interpretacin y,
3) reglas de derivacin.
Las reglas DE FORMACIN, son las reglas sintcticas que nos permiten
relacionar trminos para conformar enunciados. Sealan condiciones para
combinar, disponer y ordenar los elementos para el logro de una unidad
enunciativa coherente. (Por ej. una regla sintctica obliga a concordar en gnero y
nmero nombre y adjetivo)
Las reglas de INTERPRETACIN, SON SEMNTICAS. Nos permiten leer los
enunciados y las frmulas adjudicando a los mismos un significado. En el caso de
las teoras no-formales, o los trminos tienen carga semntica en la lengua o est
adjudicado de manera pertinente el significado en la actividad de definir los
trminos tcnicos propios. En las teoras formales, al generar un lenguaje
altamente artificial, se debe prescribir significados para dar posibilidad de lectura y
comprensin de las frmulas.
Las REGLAS DE DERIVACIN, son lgicas. Brindan la posibilidad de la inferencia
deductiva de manera vlida. Formas del razonamiento deductivo e inferencial. Si
hay desnutricin infantil aumenta la tasa de mortalidad infantil. Si llueve habr
humedad.
PRUEBAS:
Toda teora cientfica debe revisar la correccin de su entramado relacional.
En el caso de teoras que refieren al mundo, la mejor prueba es la emprica. Si,
entendemos que postulamos los principios de la teora como verdaderos, sus

consecuencias sern verdaderas. Si, derivamos hasta el nivel de las

Consecuencias Observacionales y estas estn desajustadas con el mundo,
decimos que no pasan la prueba emprica. Nos vemos obligados a revisar la
teora, el caso o las inferencias.
Ejemplo de la vida cotidiana: Un recuerdo de la escuela primaria, servir para
mostrar una prueba aritmtica. Realizada la operatoria de la multiplicacin o de la
divisin, hacamos la prueba del nueve para controlar que el resultado fuese
correcto
PROPIEDADES DE LAS TEORIAS:
La evaluacin positiva de las teoras requiere el cumplimiento de un
conjunto de propiedades que se entienden deseables:
I) independencia de los axiomas o hiptesis fundamentales: La primera
aclaracin que tenemos que realizar en relacin a esta exigencia, es que la
independencia de las hiptesis fundamentales es una independencia derivativa y
no conceptual. Vamos a comenzar explicando esta negativa. No puede haber
independencia conceptual, porque si cada una de las hiptesis fundamentales o
axiomas expresan cosas que no tienen nexos entre s, se hace imposible
la derivacin.
II) Consistencia: Es quizs la propiedad ms importante que deben tener
las teoras. Se entiende por consistencia la ausencia de contradiccin. Dicho de
otra manera: una teora es consistente cuando, dentro de los enunciados que
forman parte de ella no existe contradiccin alguna.
III) Completitud: Esta es quizs la ms complicada y controvertida de las
propiedades que se enuncian. Se entiende por completitud o complecin a la
propiedad de la teora de no poder ampliarse sin incurrir en contradiccin; una
teora es completa si todos los enunciados posibles de ser derivados, estn
contemplados en ella. En el campo de las ciencias del mundo, esta propiedad no
ha sido nunca tenida muy en cuenta, porque se sostiene la necesidad de apertura
de las teoras, para poder incluir en ellas nuevas hiptesis emparentadas con las
fundamentales, con las derivadas y con los datos empricos. En el territorio de las
ciencias formales, a partir de la demostracin que realiza Kurt Gdel en 1931,
tambin queda en evidencia que, salvo ciertas teoras elementales, no existe
posibilidad de completitud sin caer en contradiccin.
IV) Rigor: esta propiedad es equivalente a la exactitud lgica. Es decir que un
sistema terico es riguroso, en la medida que sean ajustadas las derivaciones. El
buen uso de las reglas de derivacin es lo que hace riguroso el conocimiento
terico. Todas las ciencias y todas las teoras que a ellas pertenecen deben
cumplir esta condicin.