LA CONCEPCIN HEREDADA

(Receved Vew).
Resumen
INTRODUCCIN.
Desde e punto de vsta de Crcuo de Vena, as teoras centcas se
nterpretan como un ccuo gco o un sstema axomtco. Consecuentemente, os
componentes de as teoras son con|untos de eyes tercas y de eyes emprcas.
Las eyes tercas se reaconan con os hechos medante regas de
correspondenca, y as emprcas son generazacones emprcas de hechos. A su vez,
as eyes emprcas han de poder deducrse gcamente de as tercas. Las eyes
tercas se fundamentan en e mtodo hpottco-deductvo, de modo que son
conrmadas o desconrmadas por a contrastacn de hptess.
Las tess de Crcuo de Vena se veron sometdas a dura crtca por otros
sofos de a cenca que, aunque concdan en os aspectos bscos ya panteados,
dsentan en otros ms especcos (Oune, Putnam, Toumn, Hanson, Nage, etc.).
En esenca, se abandon e "emprsmo ngenuo" mpcto en as tess ncaes;
se rea|ust e concepto de "regas de correspondenca" entre os panos terco y
observacona.
Hanson: toda observacn est "cargada de teora".
Se amp e modeo de as teoras centcas para dar cabda a otras opcones
vdas.
Todas estas revsones y a|ustes conformaron una dferente nterpretacn que se
dvug ba|o e trmno "Receved Vew" o "Concepcn Heredada" que, en pocas
paabras, consst en una versn menos radca y ms reexva de as tess de Crcuo
de Vena".
Hary Putnam fue e prmero en poner en crcuacn e concepto "concepcn
heredada", en su famoso artcuo "What Theores Are Not?", y Frederck Suppe quen a
consagr en su The Structure of Scientifc Theories.
1

En resumen, es a manera como entenderon a naturaeza de as teoras
centcas os autores de postvsmo gco o de Crcuo de Vena. Tambn se e ha
amado concepcn estndar.
2. VERSIONES.
Suppe,
2
a versn nca de a C H. es a sguente:
Una teora centca debe ser axomatzada segn a gca matemtca (ccuo
de predcados de prmer orden ms dentdad).
3
1
Rederick Suppe, The Structure of scientific Theories. University of Illinois Press, Urbana and Chicago,
19. !ersi"n castellana #rederick Suppe, La estructura de las teoras cientficas, $adrid, %ditora &acional,
199.
'
#rederick Suppe, La estructura de las teoras cientficas, p. '.
(
)a lgica de primer orden, ta*bi+n lla*ada lgica de predicados o clculo de predicados, es un
siste*a for*al dise,ado para estudiar la inferencia en los lengua-es de pri*er orden. )os lengua-es de
pri*er orden son, a su ve., lengua-es for*ales con cuantificadores /ue alcan.an s"lo a variables de
individuo, y con predicados y funciones cuyos argu*entos son s"lo constantes o variables de individuo.
'
Los trmnos de a axomatzacn gca deben dvdrse en tres cases:
1) Trmnos gcos y matemtcos,
2) Trmnos tercos y
3) Trmnos observaconaes a os que se da una nterpretacn fenomnca u
observacona
Axomas de a teora: son formuacones de eyes centcas y especcan
reacones mantendas entre os trmnos tercos.
Los trmnos tercos son meramente abrevaturas de descrpcones
fenomncas (es decr, descrpcones que usan ncamente trmnos observaconaes).
Por tanto, as axomatzacones deben ncur varas dencones expctas de os
trmnos tercos de a forma:
Tx Ox
T: trmno terco.
O: trmno observacona.
Taes dencones expctas se aman reglas de correspondencia porque
coordnan trmnos tercos con as combnacones correspondentes de trmnos
observaconaes.
Los trmnos observaconaes se suponen que se reeren a fenmenos
especcos o a propedades fenomncas, y a nca nterpretacn dada de os
trmnos tercos es su dencn expcta por medo de regas de correspondenca.
4
Prmera versn pubcada de a C. H.: parece ser a de Carnap (1923).
5

Resutaba muy t en tanto proporconaba una manera de evtar ntroducr
entdades metafscas. Estas, en tanto no son fenmenos o entdades de
observacn, no pueden descrbrse en trmnos observaconaes; en consecuenca, os
trmnos utzados para descrbras deben ser trmnos tercos. E probema est en
que os trmnos tercos soo se aceptan s pueden corresponder a entdades
observaconaes, o que no es apcabe a a metafsca.
Frederck Suppe, en e traba|o menconado, The Structure of Scientifc Theories
|1974|, resume a versn na de a concepcn heredada, promovda prncpamente
Decmos gca de prmer orden cuando a varabe ndenda o ndetermnada,
que representa as "cosas", est ncorporada a campo de cuantcador. Se dce
tambn "Lgca cuantcacona mondca de prmer grado". E|empo:
(x) (y) (x=y .. Fx Fy)
La gca de segundo orden es cuando a varabe de predcado puede ocupar e
campo de un cuantcador. Se dce tambn "Lgca cuantcacona ddca de
segundo grado". E|empo:
1) (f) (x) (y) (x=y .. Fx Fy)


0
#rederick Suppe, Op. cit., pp. '1'2.
3
Loc. Cit.
(
por Carnap y Hempe -y con a contrbucn de otras personadades, de a sguente
manera:
1) Exste un engua|e de prmer orden, L (susceptbe de ampacn con
operadores modaes) en trmnos de cua se formua a teora, y un ccuo gco K,
dendo en trmnos de L.
2) Las constantes prmtvas, no gcas o descrptvas (esto es, os 'trmnos') de
L, se dvden en dos cases ds|untas:
Vo, que contene so os trmnos de observacn;
Vt, que contene os trmnos no-observaconaes o tercos;
Vo debe contener a menos una constante ndvdua.
3) E engua|e L se dvde en os sguentes subengua|es, y e ccuo K se dvde
en os sguentes subccuos:
a) E engua|e de observacn, Lo, es un subengua|e de L que no contene
cuantcadores n operadores modaes, y contene trmnos de Vo, pero nnguno de Vt.
E ccuo asocado Ko es a restrccn de K a Lo y debe ser ta que todo trmno
no-Vo (esto es, no prmtvo) de Lo est expctamente dendo en Ko; adems de esto,
Ko debe admtr a menos un modeo nto.
b) E engua|e de observacn ampado gcamente, Lo, no contene trmnos Vt
y puede consderarse que est formado a partr de Lo, aadndoe os cuantcadores,
operadores, etc., de L. Su ccuo asocado Ko' es a restrccn de K a Lo'.
c) E engua|e terco, Lt, es e subengua|e de L que no contene trmnos Vo; su
ccuo asocado Kt, es a restrccn de K a Lt.
Estos subengua|es |untos no agotan a L, porque L tambn contene enuncados
mxtos esto es, aqueos en os que a menos aparece un trmno Vt y otro Vo.
Adems se supone que cada uno de os subengua|es anterores tene su propo stock
de predcados y/o de varabes funconaes y que Lo y Lo' tenen e msmo stock, e cua
es dstnto de de Lt.
4) Lo y sus ccuos asocados recben una nterpretacn semntca que
satsface as condcones:
a) E domno de nterpretacn consta de acontecmentos, cosas, o momentos
concretos y observabes; as reacones y propedades de a nterpretacn deben ser
drectamente observabes.
b) E vaor de cada varabe Lo debe desgnarse medante una expresn de Lo.
De aqu se sgue que cuaquera de estas nterpretacones de Lo y Ko, ampada
medante apropadas regas adconaes de verdad, se convertr en una nterpretacn
de Lo' y Ko'. Se pueden concebr as nterpretacones de Lo y Ko como nterpretacones
semntcas parcaes de L y K, y se requere adems que no se d nnguna
nterpretacn semntca observacona de L y K dstnta de as dadas por taes
nterpretacones.
5) Una nterpretacn parca de os trmnos tercos y de os enuncados de L
que os contenen se consgue medante as dos cases de postuados sguentes: os
postuados tercos T (esto es, os axomas de a teora) en que so aparecen os
termnos de Vt, y as regas de correspondenca o postuados C, que son enuncados
mxtos. Las regas de correspondenca C deben satsfacer as sguentes condcones:
0
a) E con|unto de regas C debe ser nto.
b) C debe ser gcamente compatbe con T.
c) C no contene trmnos extragcos que no pertenezcan a Vo o Vt.
d) Cada rega de C debe contener, esenca o vacuamente, a menos un trmno
Vo y a menos otro Vt.
Sea T a suma de postuaos tercos y C a de as regas de correspondenca.
Entonces a teora centca, basada en L, T, y C. consste en a suma de T y C y es
desgnada como "TC".
BIBLIOGRAFA
Suppe, #rederick La estructura de las teoras cientficas, p. '.
Herder, Dcconaro de osofa Empresa Edtora Herder S.A., Barceona. 1996.