Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Bochenski
Los mtodos
actuales del
pensamiento
%
g
PENSAMIENTO
DECIMOTERCERA EDICION
EDICIONES R IA LP, S. A .
MADRI D
T tu lo origina!:
Die zeitg en o ss is ch cn U e n k m c lh a d e n
(A. F r a n c k e Verlag. B crn. Leo L chnen V e rlag .' Mtinchen)
T ra d u c c i n de
R
a im und o
r u d is
B a u >r i c . h
P r i m e r a e d ic i n e sp a o la : e n e ro de 1957
S e g u n d a edicin e sp a o la : o c t u b r e de 1958
T e r c e r a edic i n e sp a o la : e n e r o de 1962
C u a r ta edic i n espa o la : o c t u b r e de 1965
Q u in ta edicin espa ola : j u n i o de 1968
S e x ta edicin espa o la : s e p t ie m b r e de 1969
S p t i m a e d ic i n e sp a o la : ju lio de 1971
O c tava e dic in e sp a o la : fe b re r o de 1973
N ove n a e d ic in esp a ola : fe b re r o de 1974
D cim a e d ic i n e sp a o la : fe b re r o de 1975
U n d c im a edic in e sp a o la : m a y o d e 1976
D u o d c im a edic i n e sp a o la : n o v ie m b r e de 1977
D e c i m o t e r c e r a edicin e sp a o la : e n e ro de 1979
P re c ia d o s, 34 - M a d rid
IS B N : 84-321-0106-0
C lo sa s-O r c o y e n ,
I.
Terminologa.
C ontenido
cog
Concebir
Juzgar
Concepto
objetivo
Proposicin
objetiva
Concepto
subjetivo
Proposicin
subjetiva
Nombre
Enunciado
Orden d e r e a l:
Una pro
posicin objetiva y , por lo tanto, tambin
n enunciado , es siempre verdadera o falsa.
A continuacin, queremos determinar la sig
nificacin de estas expresiones : una proposi
cin es verdadera, si corresponde a algo, es
decir, si el Sachverhalt a que se refiere se da,
existe. E s falsa, a su vez, si no corresponde
a algo, es decir, si el contenido a que alude no
existe, t,a palabra verdad significa una pro
piedad de una proposicin o de u n enunciado,
que consiste en que su co rresp o n d iere conte
nido se da en la realidad. Anlogamente, pue
de definirse el sentido de la palabra falsedad.
E s ta es, naturalmente, una de las mltiples
significaciones de la palabra verdad : pues
no slo en el lenguaje artstico tiene otras sig
nificaciones, sino que incluso dentro de la l
gica se viene usando esta palabra en varios
sentidos. A parte de ello, algunos filsofos
dan a est palabra otras significaciones ms
o menos legtimas.
Sin embargo, nosotros escogemos la signifi
cacin indicada ms arriba porque, en primer
lugar, sta se da en toda ciencia, al menos al
lado de las otras', y , en segundo, porque, se
gn parece, todas las dems definiciones la
suponen de alguna m anera. A s, por ejemplo,
T e r m in o l o g a
g n o s e o l g ic a
2.
te r m in o lo g a
filo s fic a
m s
a m b ig u a s
q u e l a p a l a b r a l g i c a . D e j a n d o d e la d o t o
d a s a q u e lla s s ig n if ic a c io n e s q u e n a d a tie n e n
q u e v e r c o n e l r a c io c in io , n o s q u e d a n to d a v a
m u ch as m s,
m e jo r d i c h o , r e s t a
una
trip le
d iv is i n d e l o r d e n c a r a c te r iz a d o p o r e s t a p a
la b ra .
La
l g ie a r -c o m o c ie n c ia
o rd en ad a
al
L gica frma\
ii
tu d i
la s
l la m a d a s
le y e s
La
l g ic a fo r m a l e s
l g ic a s ,
es
d e c ir,
a q u e lla s le y e s s e g n la s c u a le s s e d e b e c o n
c lu ir e n c a s o de q u e re r lle g a r d e u n a s p ro p o
s ic io n e s
v erd ad eras
a o tra s
v e r d a d e r a s .') L a
s e n d a d e la l g ic a f o r m a l p r e s e n ta " p r o b ie -
3.
Generalidades.
A n o t a c i o n e s h i s t r i c a s . L a palabra
fenomenologa parece haber sido empleada
primeramente por J . H . Lam bert en su N eues
Organon (1764). Ms adelante la encontramos
en,K ant (M etaphysische A n fa n gsgr n d e d er
Naturwissenschaft, 1786), Hegel (Phnomenolge des Geistes, 1807), Renouvier (F r a g ments de la philosophie de S i r W . H am ilton,
1840), W . Hamilton (L ectu res on L o g ic ,
1860), Amiel (Journal intim e, 1869), E . von
Hartm ann (Phdnomenologie des sittlichen Be~
wusstscin, 1879), y otros. Su significacin es
muy distinta en cada uno de estos autores,
v,
1ivcsligmioiirs l.^nids
e s e n c ia l e s
de
la
fen o m e
E l mtodo fenomenolgico es un
procedimiento especial de conocimiento. E sen
cialmente consiste en cuna visin intelectual
del objeto basndose e~una iUuicin. E sta
intm cisej^fieD eLA Ja^ado[Ja re g la g rin c^
p a ljde la fenomenologa reza asT^7(Tcia 1 as
cosas mismas)!, entendindose por cosas)>~Io
dado. E s to requiere, ante todo, una* triple eliminacin_o-adjKcj^n, Tlmada epoch :
primeramente! de todo lo subjetivo * la postu
ra ante el objeto^ebe~ser_puramen\e objeti va ; e g Jg g ttSdoTermioj exclusin de todo lo
terico,(hiptesis, demostraciones u otra cual
quier forma de saber ya adquirido), de mane
ra que tan slo entre en cuestin lo dado ; y ,
efl^tereefc-tagar.) exclusin de toda tradicin,
n o l o g a
del
m todo
fen om en o l
/I ntuicin e id t ic a ^ La ya mencionada
y prilicipar'regla del mtodo fenomenolgico
F e n m e n o . E l objeto de la intuicin e in
terpretacin fenomenolgica ha sido llamado
por Husserl y sus discpulos ((fenmeno. E s
de
la
e x is t e n c ia
1.
L a palabra esencia se emplea co
rrientemente en expresiones como stas : el
hombre es una esencia (Wesen) m ortal. E n
este sentido, esencia significa casi lo mis
mo que cosa ; aunque sea una cosa viva.
E n el vocabulario fenomenolgico no se llama
esencia a una cosa como sta (hombre).
Llam an esencia slo a ciertos aspectos, ele
mentos o contenidos de tal cosa.
2'. Se habla tambin de la esencia de
una cosa, por ejemplo, la esencia de la vida.
Tampoco sta es la significacin que los fenomenlogos dan a la palabra. Mientras que
la esencia de la vida, por ejemplo, es algo
muy difcil de concebir, la esencia fenome
nolgica es lo que yace claramente ante los
ojos del observador; no es una esencia ocul
ta, sino al contrario, un fenmeno, un mos
trarse a s mismo.
3.
Finalm ente hay que distinguir la esen
cia en sentido fenomenolgico dej eloq aris
totlico. E l .concepto fenomenolgico es ms
amplio. Aristteles admite, junto con su sSoq f
otras determinaciones en conexin necesaria
con l, las propiedades ( iia ). L a fenomeno
loga, en cambio, designa como ((esencia todo
lo que necesariamer^te est unido al fenmeno,
incluso las propiedades aristotlicas.
s ig n if ic a c i n
de
la s
pa la
F e n o m e n o l o g a d e l a e x i s t e n c i a . Des
pus de lo que acabamos de exponer, parecer
extrao que la gran mayora de los actuales
discpulos de H usserl se ocupe precisamente
de la existencia. L a palabra existencia tie
ne entre los filsofos de la existencia, disc
pulos de H usserl, una significacin ms con
creta y precisa que en los otros filsofos, y
significa slo la existencia humana.
E s ta existencia es concebida expresamente
como Dasein es decir, aparentemente al re
vs del procedimiento husserliano y se eli
mina de su consideracin al ser as, la esencia;
al menos, as lo afirman estos filsofos. Mas,
si observamos de cerca cmo proceden, queda
de manifiesto que en el fondo apenas han
abandonado el punto de vista de H usserl. V a
mos a determinarlo a continuacin.
6.
Generalidades.
O b s e r v a c i o n e s m e t o d o l g i c a s i V amos
a justificar la inclusin de este captulo sobre
el lenguaje dentro de la exposicin de los m
todos actuales de pensamiento. Ante todo,
sanos permitido aludir brevemente a dos
puntos concretos de la metodologa.
PudeTpreguntarse por qii~ta~discusin de
los problemas lingsticos sigue a la del m
todo fenomenolgico. L a razn es que el an
lisis lingstico, si bien tiene inters paira el
conocimiento directo, es mucho ms impor
tante para el conocimiento mediato. E n l no
se niefsvda el objeto ni el proceso del pensa
miento ; es algo mucho ms complejo.; tanto,
que es necesaria una precisin en smbolos.
Como veremos ms adelante, se puede llegar
a procedimientos en los que el uso del len
guaje se hace completamente imprescindible.
h i s t r i c a s . -Ya
Form alism o.
O r i e n t a c i n i n t r o d u c t o r a . T al vez lo
mas importante de la metodologa moderna es
el haberse dado cuenta de que, operando con
el lenguaje en su plano sintctico (y prescin
diendo, por tanto, de los otros dos), se facilita
enormemente el trabajo intelectual. E ste modo
de operar se llama fornmlisiiip. Consiste en
hacer abstraccin del significado de los signos
que se emplean y considerarlos exclusivamen
te como signos grficos : en su forma grfica.
se llama lenguaie formalizado a todo lengua
je construido segn tales normas. Suele lla
marse tambin ((formalismo : pero es ms
correcto dar este nombre al mtodo, para evi
tar confusiones .1
E n la aplicacin del formalismo se deben
distinguir dos cosas : de una parte, tenemos
ei
945
DX
del
m a te m a t ic o s .
c lc u lo
o b je t o s
no-
(premisa mayor)
(premisa menor)
3) 8 e P
(conclusin)
C o n s t r u c c i n d e l l e n g u a j e . Sintcti
camente considerado, un lenguaje consta de
una multitud de expresiones para las que tie
nen validez unas determinadas reglas. Para
hacer ms fcil la cosa, nos limitamos al len
guaje e scrito ; si bien lo que vam o a decir
'
de
c a te g o r a
s in t c tic a .
de
n o -s e n tid o
s in t c tic o .
9.
L a s d o s f u n c i o n e s s m n ti< ? a s d e l s i g
n o . Vamos
E x p r e s i n d e l o i n e f a b l e . Qu ocu
rre si se trata de algo que (en principio o para
nuestro entendimiento de hombres) es incog
noscible y , por lo tanto, tambin inefable ?
Sobre esto, los metodlogos actuales tienen
opiniones distintas. Cabe distinguir tres g ru
pos :
I.
Partidarios del primero son especial
mente H . Bergson y K . Jaspers. Con otros
muchos (dentro de la lnea tradicional neoplatnica), opinan que lo inefable no se puede
decir, no se puede representar vncomunicar
mediante signos objetivos, pero puede sernos
asequible con ayuda de un lenguaje sin con
tenido objetivo. A s, Bergson ensea que el
verdadero saber acerca de los ms importan
tes factores de la realidad (por ejemplo, el
devenir) solamente es posible mediante la in
tuicin)). Su contenido no puede comunicarse
a otros, pero gracias a determinadas imgenes
se puede saber que otros tambin pueden vi
virlo. Por eso no encontramos en las obras de
Bergson ninguna descripcin fenomenolgica, ninguna demostracin, sino imgenes que
estimulen la intuicin. Tambin K . Jaspers
dice que sus palabras no significan nada ;
tan slo son seales que indican un camino al
que quiere encontrar lo inefable en una expe
hay
y s i g n i f i c a c i n . - D e
nue
q u e d i s t i n g u i r d o s c o s a s e n l a f u n c i n
10.
S ig n ific a c i n
b l e m a . Como
m e to d o l g ic a
d el
p ro
Q u SIGNIFICA ((VERIFICABLE. L a s ig
nificaci n de los vocablos ((verificable y ve-
DE
LAS
P R O P O SIC IO N E S
Se preguntar, con-razn,
y las proposiciones universales? Tales pro
posiciones no pueden ser verificables jams
por medio de una observacin sensible. Se po
dra, por ejemplo, verificar que un fenmeno
se da en 10 0 . 10 0 . 000 . 10 0 . 000.000 casos,
pero es imposible lgicamente verificar que
as sea en todos los casos. E n el plano de la
verificabilidad sensible, todas las proposicio
nes universales aparecen sin sentido. Pero,
por otra parte, una ciencia natural sin pro
posiciones universales es imposible, pues
consta de ellas y no podra ser ciencia natural
sin ellas.
Los metodlogos distinguen dos clases de
proposiciones universales : las llamadas' pro
posiciones universales lgicas y las empricafc. L a s primeras, segn creencia general, no
pueden ser verificadas por medio de la ob
servacin, aunque.no lo necesitan para tener
sentido. Cmo, a pesar de ello, es posible
que una tal proposicin tenga sentido ? E so es
tema de discusin entre los filsofos, de
u n iv e r s a l e s .
11.
A.
VERDADERO
^ DE
ENUNCIADO
CORRIENTE (* )
enunciado verdadero,
nan), etc.
((nombre,
((desig
12.
E s tru c tu ra
Generalidades.
d e l c o n o c im ie n to m e d ia to .
dos
fo rm a s
fu n d a m en ta les
de
la
duccin
reduccin. \E sta divisin ser el
marco de nuestra ulterior exposicin de los
modernos mtodos de pensamiento.
Se supone que en toda demostracin las
premisas pueden transformarse de forma que
una de ellas pueda ser un enunciado condi
cional de la forma si A , tambin B , y la
otra puede ser conclusin del enunciado. De
hecho, as ocurre : la lgica matemtica per
mite siempre esa transformacin.
Ambos casos pueden representarse a s :
1)
S i A , tambin B ,
E s as que A ,
L u ego B.
2)
S i A , tambin B ,
E s as que B ,
L uego A .
consecuencia de u n a condicional es u n p ro
cedim iento no vlido en L g ica. E s ta regla
segunda es, sin em bargo, u sa d a m u y a m e
nudo en la ciencia.
Lukasiew icz dem ostr q u e la induccin no
es m s que u n caso de la red u cci n ; veamos
un ejem plo : se h a com probado que tres pe
dazos de fsforo, a, b, y c, a rd e n a los 60;
de ello inducim os que el fsforo se inflam a a
los 60. E l esquem a de este proceso conclu
sivo es el sig u ien te :
R e g l a s i n f a l i b l e s y f a l i b l e s . C onsi
derando de cerca las dos form as de concluir
arrib a esquem atizadas, se ve u n a diferencia
fu n d am en tal en tre ellas : el modus ponendo
ponens, regla de deduccin, es absolutam en
te infalible ; pero no as la regla de la reduc
cin.
C undo es infalible u n a regla de conclu
sin? Cuando, de ser verdaderas las p rem i
sas lo es tam bin la conclusin sacada de ellas
m ediante la regla ; esto vale p ara todas las
prem isas posibles m ien tras ten g an la form a
d escrita. Se tra ta , pues, de una validez g e
neral estricta, a veces llam ada a p riori,
que pertenece al dom inio lgico o form al-lgico en sentido riguroso. N o toda regla de
conclusin pertenece propiam ente al orden
lgico, pero una reg la infalible corresponde
siem pre a una ley, que, por su p arte, tiene
validez absoluta gracias a los principios l
gicos.
Sobre la relacin e n tre la lgica form al y
m etodologa del conocim iento m ediato, hay
que hacer las sig u ien tes observaciones :
1.
H a y que d is tin g u ir claram ente la l
gica de la m etodologa ; la p rim era versa slo
sobre los enunciados de validez g eneral, m ien
Debemos limitarnos a lo ms
esencial y sencillo del vasto campo de la axio
m tica. E n primer lugar, damos unas indi
caciones generales sobre la situacin actual
de la lgica m atem tica, exponiendo despus
la axiom tica en sus rasgos esenciales. Dado
que una de las rps importantes consecuen
cias de la axiomtizacin es la determinacin
dl concepto, aadimos un artculo sobre la
construccin de los conceptos y la definicin.
Finalm ente, se estudian algunos detalles del
sistema axiomtico.
13.
C O N C E P ^
E l sistema axiomtico
PREV IO
d el
s is t e m a
a x io m t ic o
d e l o s e n u n c i a d o s . E n la construccin de
un sistema axiomtico se procede actualmen
te as : primeramente se escoge una clase de
enunciados que deben hacer las veces de axio
D e d u c c i n
p r o g r e s iv a
r e g r e s iv a
14.
Lgica matemtica.
S ig n ific a c i n
m e t o d o l g i c a . N o es
propsito de este libro ofrecer un resum en de
la lgica m atem tica, ya que es lgica fo r
mal y aqu tratam os de m etodologa, que,
como ya se ha dicho, se d istin g u e de la lgica
form al. S in em bargo, puede que no est fu e
ra de lu g a r exponer brevem ente algunas de
sus caractersticas generales.
L a lgica m atem tica (como toda lgica
form al) puede ser considerada bajo dos p u n
tos de v ista. P or una p arte, como ciencia te-
rica que se preocupa de sus problem as pro
pios, p u ram en te tericos. Como ta l, busca el
nico y m s sencillo axiom a, del que todas
las leyes lgicas sean deducibles, o busca un
fu n cto r nico m erced al cual puedan d efin ir
se todos los functores de un determ inado
cam po de la lgica. A s considerada, la lgica
m atem tica es una ciencia especial, que no
interesa aqu.
Por otra parte, la ilgica formal ofrece el
fundamento para las reglas de la conclusin
deductiva y juega un determinado papel en
las concepciones cientficas. Los defensores
de la lgica matemtica sostienen que sta es
lgica formal, ms an, que es la nica 16-
de
la
l g ic a
m a t e m t ic a .
e s e n c ia l e s
de
la
l g ic a
de
la
l g ic a
m a t e m t ic a
e l s i s t e m a e x t r a l g i c o . Si se quiere
construir un sistema axiomtica formalizado
en cualquier campo del saber, por ejemplo,
en fsica, astronoma, biologa o teologa, no
es posible hacerlo sin recurrir a la lgica ma
temtica. Puede emplearse de dos maneras
1 ) se puede construir el sistema de modo que
todos, los axiomas^pertenezcan al dominio de
que se trata, sin'que se incorpore ley lgica
algun. Pero, para poder concluir hay que
servirse de ciertas reglas que, como ensea
la prctica, son bastante numerosas en estos
casos, y De dnde obtendr el cientfico estas
reglas?' De la lgica, evidentemente, que
ofrece de hecho, o reglas ya determinadas (de
en
d e l fu n d a m e n to l g ic o .
1)
2)
3)
D m SIC )N F U N D A M E N T A L D E L A S D E F I N I C I O
N E S .
nmina]
( sem ntica
j
{ sintctica
anaUUca
\ sinttica.
Cla ses
de
d e f in ic io n e s
s in t c t ic a s .
A N Df.
po r
m e d io
de
un
s is t e m a
a x io m t ic o
. L
s e m n t i c a s .
L ,a
d efin i-
c i n 's e T rx n tic a r e S u n a c o s a t o t a l m e n t e d i s t i n
ta
de
la
s in t c tic a ;
a b rev ia ci n :
sta
es
p o r m e d io de la
una
re g la
sem n tica
de
se
16.
de
la
l g ic a
p ro p o si-
H lL B E R T -A C K E R M A N N .
8.1.
Definicin
8.21. Np = Dpp
8.22. Apq = DNpNq
8 .2 3 . Cpq
= ANpq
8 .2 4 . Kpq = NANpNq
8 .2 5 . Epq
= KCpqCqp
8 .2 6 . Bpq
= Cpq
8 .2 7 . Jpq = NEpq
8 .3 . Reglas de deduccin
8.31. Reglas de sustitucin: Una variable
puede ser sustituida por un enunciado ; en
este caso deben ser sustituidas todas las va
riables isoformas de la expresin correspon
diente por el mismo enunciado.
8 .3 2 . Regla de separacin: Cuando un
Axiomas
CAppp
CpApq
CApqAqp
CCpqCArpArq
Deduccin
8 .5 1 .
CCpqCCrpCrq
8 .5 2 .
Cpp
8 .5 3 .
ANpp.
8.43 p/Np, q/p = C 8.53 8.54
8.5 4 .
ApNp.
8.54 p/N p x 8.23 q/NNp = 8.56
8.5 5 .
CpNNp.
8 .5 6 .
ApNNNp.
8 .5 7 .
CNNpp.
8.44 q/NNp, r/N q = C 8.65 8.58
8 .5 8 .
CANqpANqNNp.
8 .5 9 .
CANqpANNpNq.
8 .6 0 .
CCpqCNqNp.
8.41 p/N p x 8.23 q/N p = 8,61
8 .6 1 .
CCpNpNp.
8 .6 2 .
CpAqp.
8.B2 q/Nq x 8.23 p /q ( q /p = 8.63
8 .6 3 .
CpCqp.
8.63 q/N p = 8.64
8 .6 4 .
CpCNpp
180
8.65.
8.44
8 .66.
CAqrAqApr.
p/Aqr, q/AqApr, r/p = O 8.65 8.66
CApAqrApAqApr.
8.67.
CApAqrAAqAprp.
8.51 p/Apr, q/AqApr, r/p =
-= C 8.62 p/A pr C 8.42 q /r 8.68
8.68.
A pA qA p r.
8 .6 9 .
8.51
8.70.
CAAqAprpAAqAprAqApr.
p/AAqAprAqApr, q/AqApr, r/AAqAprp =
= O 8.41 p/AqApr O 8.698.70
CAAqAprpAqApr.
8.51 p/AAqAprp, q/AqApr, r/ApAqr =
= O 8.70 C 8.67 8.71
8 .7 1 .
CApAqrAqApr.
8.72.
CApAqrApArq.
181
8 .7 3 .
CApAqrArApq.
8.51 p/ArApq, q/AApqr, r/ApAqr =
= C 8.43 p/r, q/Apq C 8.738.74
8 .7 4 .
CApAqrAApqr.
8.51 p/AqAprt q/AqArp, r/ApAqr =
= C 8.72 p/q, q/p C 8.71 8.75
8 .7 5 .
CApAqrAqArp.
8.51 p/ArApq, q/ArAqp, r/ApAqr =
= C 8.72 p/r, q/p, r/q C 8.73 8.76
8 .7 6 .
C A p A q rA rA q p .
17.
Generalidades
O b s e r v a c i o n e s h i s t r i c a s . A ristteles
fu quien ech el fundam ento de la teora de
los mtodos reductivos como de las otras p a r
tes de la lgica. E s verdad que se interes
ms por la deduccin que por la induccin,
pero se sirvi de sta en la p raxis cientfica e
incluso se ocup tericamente de ella de u n
modo especial. Los mtodos reductivos, en
su forma moderna, fueron introducidos por
F r a i i d ^ Bacon, cuyas tabulae representan
los primeros intentos de dar sus reglas. E n
tiempo de Bacon y hasta la m itad del si
glo X I X , se confunda la lgica formal con
la metodologa; hasta tal punto que casi todos
los metodlogos crean que era necesaria otra
A t i r a t t a r de ]. Lukasiewicz indicbamos ya
la diferencia fundam ental entre deduccin y
reduccin. E n - l a deduccin se concluye su
premisa m enor de un enunciado condicional
y de su prem isa m ayor.
Si A, entonces B,
E s as que A .
L uego B.
E n la reduccin, por tl contrario, se con
cluye al revs : de un enunciado condicional
y de su premisa menor, su m ayor :
Si A , entonces B,
E s as que B,
L uego A.
Orillamos, de momento, la justificacin de
tal procedimiento que, evidentem ente, n^
concluye , vamos a ocuparnos brevem ente
de la divisin de la reduccin. E x iste n dos
posibilidades de tal divisin :
a)
t n p rim er lugar, cabe dividir la re
duccin en progresiva y regresiva, como h i
cimos con la deduccin. E n am bas se conoce
la premisa menor, pero no la m ayor : en la
reduccin progresiva se comienza por la premisa 'thayor desconocida segn su valor de
verdad y se procede hacia la premisa menor
conocida o comprobable. L a reduccin p ro
gresiva se llama tambin
fcaclrt). P or
el contrario, la reduccin regresiva comienza
en la premisa m a o r ,^ o b c id y procede hacia
r eg resiv a y concepto de e x
plic a c i n . Nos
Si A , entonces B ,
E s as que no B ,
Luego no A.
sino que es :
Si A y T , luego'B ,
E s as que no B,
Luego o no-A, o no-Tu.
Tericamente, se tiene siempre la posibili
dad de rechazar A o T. Prcticam ente, es tal
la importancia de T , que se decide a rechazar
A , mantenindose as otra vez la mencionada
disimetra.
L a s c i e n c i a s r e d u c t i v a s . E l concepto
de reduccin permite reunir un gran nmero
de ciencias en una sola clase. E n tre las que
usan tal mtodo principalmente, estn las
ciencias inductivas. Una importante clase
de ellas Jsi bien no la nica es la de las
ciencias empricas de la naturaleza. E s sabido
que la induccih (en sentido propio) tiene al
gunas aplicaciones, incluso en la matemtica ;
as, por ejemplo, en la teora de los nmeros
primos.
O tra clase de ciencias reductivas est
formada por las histricas. Sin el concepto de
reduccin no sera posible ordenarlas : cierta-
18.
E n u n c i a d o p r o t o c o l a r i o . Y a hesnos
dicho* que las ciencias de la naturaleza cons
tituyen una subclase de las empricas, de las
quvvtambin son parte las histricas. L as
ciencias empricas se caracterizan por el he
cho de que en todos sus enunciados sobre fe
nmenos tenemos enunciados protocolarios ;
ms an, stos constituyen en cierto sentido
el fundamento d todo el sistema.
V e r if ic a c i n . Se hizo ya mencin de un
im portante factor sin que se explicara : la
verificacin de. las hiptesis.
E n la construccin de las ciencias n a tu ra
les se emplean indistintam ente la explicacin
y la verificacin. Despus de haber fo rm u
lado las hiptesis que deben explicar los
enunciados protocolarios, se deducen de ellas
enunciados protocolarios todava no ex isten
tes, es decir, enunciados que, teniendo la for-
.vis*
, *m
i v
I I
s-'
. ' n i ' i
in
c u
t i >*i
de !rt? oicncin.
'
> ..v
co pern ica n a .
suponiendo
que
lo", p u n t o s
In
*v que l os
planeta^ se mueven en torno al sol a lo largo
de una determ inada curva. E sta descripcin
simplifica naturalm ente el proceso real de la
investigacin cientfica ; en realidad se trata
de un conjunto ms complejo de enunciados
matemticos, derivados en parte de la geo-,
metra y de la fsica y que constituyen ta m
bin, en parte, la teora correspondiente.
De este conjunto complejo son deducidas
por clculo todas las leves antes formuladas
y algunas que todava no lo fueron ; y de s
tas se deducen nuevos enunciados protocola
rios sobre los procesos constatables en el f ir
mamento. Si estos enunciados corresponden
a la observacin] se da por verificada la teo
ra. Se la formaliza y aparece como un enor
me sistema axiomtico en el que la teora copernicana construye los enunciados con ayuda
de las mencionadas teoras matemticas y f
sicas, deducindose de stas los enunciados
protocolarios.
mi no, sos
son
cstirilns
planetas
E je m p lo s DE v e r i f i c a c i n . E l ejemplo
aducido puede ampliarse con el nuevo progre
so cientfico y permite la siguiente constata
cin :
I , o s r a y o s de
N|u o \ tu.'M i
l uz de
n I si >1 c u
o l i o s , s e i l r s v l i m iiIjm.
las e s t r e l l a s ,
>;u e . i n l i n o
q u e se
linein
mi s
list'i d e s v i a c i n e s , s i n
lii'l
l i ly o 'i
I ti l i l i l i o ' t M l
I )< c t l i i
Irri
19.
In tro d u cc i n . L a e s t r u c t u r a g e n e r a l de
las c ie n c ia s rc d u c tiv a s es m s c o m p le ja q u e
la d e l a s d e d u c t i v a s . H e m o s d i c h o ( p i e e n l a s
r i c i x i ' i " , ii i I ni ii I fi I m v q u e (I i '1! i ii)M( i , j ><>i lc>
m e n o s, ( t es c la se s de e n u n c ia d o s : los p r o to
c o l a r i o s , l a s h i p t e s i s (o l e y e s ) y l a s t e o r a s .
H a y q u e a a d ir q u e , a e x c e p c i n d e los p r o
to c o la r io s , todos los e n u n c i a d o s d e u n s i s t e m a
re d u cliv o
pueden
su b d iv id irse
en
d iferen tes
c l a s e s . E n e s t e a s p e c to , la m e t o d o lo g a a n t i
g ua nos parece in s u fic ie n te ; in te n ta sie m p re
r e d u c i r t o d o s io s e n u n c i a d o s a u n t i p o n i c o .
M u c h o s c r e y e r o n , p o r e je m p l o , q u e to da e x
p lica ci n
red u ctiv a
e in d u ctiv a se h ace m e
d ia n te la fo rm u la c i n de la s lla m a d a s le y e s
c a u s a le s ; o tro s a fir m a r o n q u e tod e x p l i c a
ci n c o n s is te e n h a lla r la s co n d icio n es. A u n
hoy
ap arecen
ten d en cia s
m o n ista s
s e m e ja n
te s , a u n q u e se reco n o ce g e n e r a lm e n te q ue en
las cie n c ia s re d u c tiv a s
(lo m i s m o q u e e n las
n a tu r a le s ) se e n c u e n t r a n d ife r e n te s c la s e s de
ley e s y te o ra s , y d ife re n te s cla se s de e x p l i
caci n .
Y a q u e d is tin g u ir la s c la se s de e n u n c ia d o s
ex p lica to rio s
tien e
im p o rta n cia
para
en ten
b rev em en te
los m s i m p o r t a n
te s d e ta le s e n u n c ia d o s , s e g n la s c o n c e p c io
nes a ctu a le s. S e d istin g u e n :
a)
le y e s de co n c o m ita n c ia y ley es fu n c io
n a les ;
b)
c)
e x p lica cio n e s
cau sales
te le o l g ica s.
L a s c o n d ic io n e s y s u s c l a s e s . E n
ge
nos
por lo m e
u n a co n d ici n del fe n m e n o q u e h a y q u e
1 . C o n d ic io n e s suficientes: Pecimos
que A es condicin suficiente de B , cuando
son vlidos estos enunciados : si A , tambin
B . En este caso, basta que A est dado para
que lo est tambin B.
2 . Condiciones necesarias.- Decimos que
A es una condicin necesaria de B , cuando
vale el enunciado inverso: si B , luego A .
Pues de no estar dado A , tampoco lo podra
estar B ; A es la condicin necesaria de B.
3.
E x p l ic a c i n
causal
t e l e o l g ic a
Induccin.
I n d u c c i n p r o p i a e i m p r o p i a . U n a f o r
ma
im p o rta n te
de
la
red u cci n ,
em p lea d a
m s q u e o t r a s e n las c i e n c ia s de la n a t u r a l e
z a , e s la in d u c c i n . H a y q u e d is t i n g u i r a n te
to d o los d ife r e n te s p ro c e d im ie n to s de p e n s a
m ie n to lla m a d o s ta m b i n
n o son red u ccio n es),
ci n .
(( in d u c c i n ) ) ( y q u e
d e la v e rd a d e r a
in d u c
de la
in du cci n .
A, B, C.
1. Mtodo de concordancia : a aparece
tanto en A B como en A C. Supuesto que 1 )
para cada a se d una condicin y que 2 ) slo
A B entran en cuestin, se sigue que A es la
condicin suficiente de a.
2.
I n d u c c i n y s i s t e m a . S i se considera
ms de cerca cmo se procede en la investiga
cin cientfica, se ve claram ente que para
restablecer leyes, lo decisivo no son los s u
puestos de Mili, sino la conexin axiomtica
y la simplicidad'.
L a conexin axiomtica ser explicada en
un sencillo ejemplo : se sabe que todos los
hombres nacidos antes de un determinado
ao, han' m uerto ; basta esto para establecer
la hiptesis ser ms im portante si se sabe
adems y esto por otras inducciones que
todos los hombres son animales vertebrados,
y que todos los vertebrados son mortales. De
esta m anera, la hiptesis no slo es inducida
del enunciado protocolario, sino que es deducible de ua ley general, y esto la re fu e r
za considerablemente. L a conexin axiom
tica con otras leyes y con la totalidad del s is
tem a cientfico es, en este caso, un factor que
au m en ta la credibilidad de una hiptesis. Se
g n ciertos metodlogos, llega, incluso, a ser
una condicin nefcesaria para la tran sfo rm a
cin de u na hiptesis en ley, y segn algunos
es el nico fundam ento a favor de la acepta
cin de u na hiptesis en las ciencias n a tu ra
les. E s evidente que esto es ya exagerado,
pero que la conexin axiomtica jue^a un
t P
i
ii
ni
filo s fi
Probabilidad y estadstica
d os sig n ific a c io n e s
p r o b a b ilid a d . La
de la
p a la b ra
probabilidad hipotti
ca no tiene fundam ento ltim o distinto del de
los dem s enunciados establecidos reductivam ente : los enunciados protocolarios. Con
todo, la probabilidad hipottica no se apoya
directam ente en cada uno de estos enunciados,
sino en la estadstica. P o r estadstica se en
tiende una captacin num rica de los casos en
que aparecen (sim ultneas o en una determ i
nada sucesin) dos clases de fenmenos. Un
enunciado estadstico tiene siem pre la s i
guiente form a : De m casos del fenmeno de
la clase A , n casos pertenecen al mismo
|
|
x
z
no C
y
t
La variable x , y, z y t se consideran s u s
tituidas por los nmeros mencionados.
La prim era cuestin que se plantea es la
siguiente : en qu relacin se enco ntraran
los valores x , y , 2 y i e n tre s, en el caso
de que B y C no tuvieran relacin m u tu a
alguna, es decir, que B no fuera u n a condi
cin de C, y viceversa ? U n a sim ple consi
deracin nos m uestra que, en este caso, la
relacin de los nios enfermos vacunados (x),
con respecto a la totalidad de los vacunados
(x + y), debera ser la m ism a que la que
existe entre los nios enferm os en general
(x + z), con relacin a la totalidad de los
nios considerados (x + y + z + t), e s to e s :
x : (x + y) = (x 4 z) : (x + y + z + t)
y z
y z
"B o
B 10
B*
B*
B<o
Co
CfO
x tn
X|0
*50
Xoi
X;o
Xll
X ji
X ji
X ji
C jo
Xra
Xu
Xn
X jj
*03
Xw
Xa
XS3
X jj
Xni
Xu
xM
X 34
X
x,o y
x,i
x.
x,,.
xio
Xu, x, x,
x,,, x,
x,i,
xt>
x<><,- x
x, X0i.
C o r r e l a c i n y p r o b a b i l i d a d . Q u nos
ensea el mtodo descrito? E n realidad, tan
slo representa una agrupacin de enunciados
protocolarios : tantos y tantos casos de corres
pondencia de tales y tales m agnitudes entre
dos fenmenos de una clase limitada. Cmo
se consigue form ular una ley general que se
refiera a un nm ero indefinido de casos p a r
tiendo de estas constataciones de un liecho, es
decir, una ley que se refiera a todos los casos
del fenmeno en cuestin ?
22.
Mtodo histrico.
C iencia n a tu r a l e h i s t o r i a . Se acos
tum bra decir que dos son las diferencias f u n
dam entales en tre las ciencias de la naturaleza
y la historia. 1) L as prim eras tienen como
objeto cosas no espirituales (materiales) y
acontecimientos, la segunda tra ta de objetos
espirituales. 2) M ientras que las ciencias n a
turales establecen leyes supratem porales,
ciencias histri
cas son ciencias empricas. Sus fundamentos
constan tambin de enunciados protocola
rios sobre fenmenos en el sentido cientficonatural de la palabra, e s to e s , sobre procesos
observables. E l hecho de que sean fen
menos pretritos no modifica el estado de
cosas. No slo es posible pensar lo mismo en
el caso de las ciencias naturales, sino que as
es en realidad. Lo cual trae consigo una com
plicacin esencial en el procedimiento reductivo. M ientras que el cientfico tiene ante s,
en general, enunciados protocolarios, fo rm u
lados en un lenguaje preciso por otros inves
tigadores de su mismo crculo cultural v que,
en principio, no ofrecen dificultad alguna
para su interpretacin, el historiador se ve
obligado a comenzar con los llamados docu
mentos, que difieren considerablemente, en
este sentido de los enunciados protocolarios.
T I C
Bavink, B., E rgebnlsse und P roblem e A N aturw issensch a/ten , 1.* edicin, 1914. U ltim a edicin, de 1949.
B e c k e r , O., E infhrung in d ie L ogistlk, 1950.
B e r g s o n , H., (1) Essai sur les don n es Im m d lates d e la
conscence, 1.* edicin 1899. U ltim a edicin, de 1949.
(2) L'Evolutlon cratrlce, 1907.
Beth, E. W., (1) S ym bolische L ogik und G rundlegung d er
ex akten W lssen schaften , Bern, Francke, 1948.
(2) L es fon d em en ts loglques des m ath m a tlq u es, 1950.
B
o c h k n s k i,
I.,
e n n e
A .,
Abriss d e r m a th em a tlsc h en
Logik, 1954.
, B . , W lssen schaftslehre, 4 volmenes, 1831. U lti
ma? edicin, de 1929.
B R A i T t \ W A i T H , R. B., S cien tific ex p la n a tio n , 1953.
B r o a D ; ' . D., S cien tific T h ou g ht , 1923.
o lza n o
C a r n a p , R ., (1 )
a r spe r s
a rcel
rada, de 1949.
^
M aritain, G., P etite Logique 15, edicin de 1946.
M erlea - P o n t y , M,, P hen om n ologie d e la perception ,
1945.
M ill, J. St., A system o f Logic, parte 2.*, 1843.
M i s e s , R., W ahrschein lichkeit, S tatistlk un d
W ahrheit,
1928. Ultim a edicin, de 1951.
M orris, Ch., (1) Foundatlons o f th e th eory o f signs, en
ln tem . Encycl. o f U nlfied S cien ce, II, 2, 1938.
(2) Signs, langu aye an d beh av ior , 1946.
Nagel, E., Principies o f th e th eory o ] ProbabiHty, en 7ntern. Encycl. o f U nlfied Science, 1, 6, 1939.
Nicod, J., L e problm e logique d e linduction, 1923.
O g d e n , C . K., y R i c h a r d s , I . A., T h e m ean ig o f M eanlng,
1
, A., Logik, 1929.
K., Die L ogik d er Forschung, 1935.
fa en d er
o pp e r
o st
u in e
43, 1921.
V. W., M athem atical Logic, 1940. U ltim a edicin
ampliada, de 1951,
R e ic h e n b a c h ,
R o b in s o n , R .,
S c h eler,
M.,
m ateriale
D efinilion , 1950.
T a r s k i,
1936.
(2) Grundzge des S ystem en kalkiils, primera parte en
Fundam enta mathematicae, 25, 1935.
(3) E infhrung in die m a th em a tisch e Logik und die
M ethodologie der M athem atik, 1937. Hay traduccin cas
tellana.
T h o r n d ik e , L,., A history o f
Science, 6 v o l m e n e s , 1923.
V an B red a , H . L .,
logie, 1952.
G eschich tsiv issen sch ajt , 1951 .
H., P hilosophie der M ath em atik und Naturwissen-
W a g n er, F r .,
W eyl,
sch a/t, 1 9 2 8 ;
W h it e h e a d , A.
n u e v a e d ic i n , s in l e c h a .
I N D I C E
DE
M A T E R I A S
axiomtico,
142,
169,
198,
248, 249.
abreviacin, 170.
abstraccin, 44, 215.
abstracto, 75.
accidental, 59
aceptabilidad, 229.
actitud emocional, 62
contemplativa, 46.
anlisis, 174.
anlogo, 102, 103.
angustia, 49.
antinomia, 102, 130.
apariencia, 55.
aprehensin, 45.
a priori, 227.
argumento, 94.
aritmtico},!^),
arte, 69.
astronoma, 82, 201.
atmico, 91, 166.
autoridad, 51.
axioma, 86, 142.
axiomtica, 47.
axiomatizacin, 151.
B
Barbara, 26.
C
histrica, 191.
natural, 55, 191.
objetiva, 30.
subjetiva, 29.
cifra, 101.
comillas, 108, 123.
coMe/ 17, 58, 72.
objetivo, 18.
.subjetivo, 18.
concluir^ 5, 131.
deductivo, 36.
reductivo, 36
conclusin, 50, 135.
concomitancia, 206.
condicin, 206.
necesaria, 207.
suficiente, 206.
condicional, 212.
confirmacin, 189.
conjuncin, 134.
conocimiento, 18, 19, 256.
directo, 24, 35.
discursivo, 44.
cientfico, 33. '
indirecto, 24, 34, 35.
consecuencia, 161.
constitutivo, 147.
contemplativo, 46.
contenido, 18, 104.
contradiccin, 160.
correccin, 66.
cosa, 14, 40, 43.
credibilidad, 229-
critica, 248.
criticistas, 43.
cuerpo, 72.
D
deber, 52.
deduccin, 137, 149, 185.
progresiva, 149, 185.
regresiva, 149, 185.
deducir, 133.
deductibilidad, 161, 162, 164
deductivo, 186.
definicin, 164.
analtica, 164.
apodctica, 171.
axiomtica, 168.
directa, 166.
implcita, 167.
nominal, 164, 165.
real, 164, 165.
recursiva, 167.
semntica, 121, 165, 170
sintctica, 165.
sinttica, 165.
demostracin, 135.
descriptivo, 54.
designacin, 103.
designatum, 104.
determinismo, 220.
ontolgico, 220.
fenomnico, 220.
riguroso, 220.
Dios, 100.
dualidad, 67.
E
eidtico, 80.
emocional, 47, 49. 62.
emprico, 111;
mtodo, 56.
medio, 131.
ciencia, 117, 197.
empiristas, 43, 59.
ente, 14, 20.
ideal, 94.
enunciado,
metalingstico, 249.
del lenguaje-objeto, 249
pragmtico, 249.
protocolario, 191, 217,
241, 242, 250.
singular, 250.
verdadero, 22, 26, 129.
escepticistf\c, 161, 257, 227.
escpticos, 227.
escolsticos, 19, 67.
esencia, 14, 57, 63, 174.
determinacin de la, 174.
fenomenologa, 58.
espritu, 239.
objetivo, 17.
esquema, 178.
estadstica, 228.
esttico, 117, 159.
estilo, 246.
estoicos, 67, 103, 143.
estructura, 63, 238.
ethos, 242.
euclidiano, 87.
exclusin, 46.
exgesis, 54.
existencia, 49, 56, 59.
humana, 23.
experiencia, 196.
experimentacin, 250.
experimento, 189, 196.
explicacin, 186, 195, 251.
teleolgica, 206, 208.
gentica, 251.
causal, 206, 208.
expresin, 91.
extensional, 104 .
extensivo, 104.
F
falsificacin, 189.
falso, 22.
fenomnico, 209.
fenmeno, 44, 54, 192, 221
cientfico-natural, 55.
econmico, 240.
fenomenologa, 37, 40.
fenomenolgico, 54, 58, 174
241.
gentico, 251.
gelogo, 209.
geometra, 93.
euclidiana, 87i
heterodoxo, 160.
hermenutica, 54.
hiptesis, 50, 186, 194, 246.
de trabajo, 224.
hipottico, 230.
deductivo, 186.
historia, 191, 239.
historiador, 209, 242.
histricas (fuentes), 242.
ciencias, 191, 239.
historiografa, 187.
I
idntico, 96.
identidad (principio), 73.
idiogrdfico, 245.
imagen, 18.
implicacin, 161.
indeterminstico, 213.
'induccin, 11, 186, 214, 244.
inclusiva, 217.
exclusiva, 217.
matemtica, 214.
cientfica, 215.
primaria, 216.
secundaria, 216.
cualitativa, 217, 226.
cuantitativa, 217, 219.
estadstica, 217.
incondicionada, 217.
sumativa, 214.
propia, 215.
impropia, 214.
completa, 216.
problema de la induc
cin, 216, 256.
inefable, 100.
intensional, 104.
intensivo, 104.
interpretacin, 75,
246.
J
juicio,
19.
lenguaje,
modo.
B a r b a r a , 26.
p o n en d o p o n en s, 2 6 , 134.
p o n en s, 134.
molecular, 91, 166.
moral, 46.
multiplicacin, 76.
N
negacin, 86.
sign o d e n eg aci n , 161.
neopositivismo, 155.
neopositivista, 97.
nombre, 21, 110, 130.
e n tre co m illa d o , 123, 128
e s tr u c tu r a l - d e scrip tiv o ,
123.
nom ettico, 245.
O
objetivism o, 45.
objetivo, 18.
objeto, 48.
observacin, 192.
ontologa, 83.
operacional, 80.
P
pensamiento,
196
ra c io n a l, 257.
te r ic o , 29.
pensar, 19, 20, 256.
percepcin, 192.
posibilidad
lgica, 1*14.
fsica, 114.
tcnica, 113.
m etaem pric, 114.
postu lado
del determ inism o, 220.
de Euclides, 86.
del
sistem a
concluso
220 .
de dualidad, 87.
metodolgico, 33.
de tolerancia, 115.
de identidad, 73.
probabilidad, 10, 45,
256.
probable, 45.
procedimiento, 150.
producto, 134.
psquico, 18.
progresivo, 149, 185.
promedio, 230.
propiedad, 14, 58.
propio, 92.
proposicin, 19.
falsa, 18, 22.
objetiva, 18.
subjetiva, 18.
228,
v e rd a d e ra , 22.
a t m ica , 91, 166.
u n iv ersal, 250, 118.
protocolario, 191, 217, 242,
250.
psicologa, 117, 240.
in tro sp e ctiv a , 116.
psiclogos, 209.
Q
quididad,
41.
R
racional, 257.
reduccin, 137,
regla, 13.
184.
de se p a ra ci n , 177.
de d efin icin , 176, 149.
de sim p licid ad , 225.
de fo rm a ci n , 92, 149,
176.
de la co n clu si n , 85, 157.
t de sen tid o, 91.
s in t c tic a , 90.
su stitu tiv a , 177.
d e tra n s fo rm a c i n , 173.
de ab'ftV iacin, 170.
regresiva, 149, 185.
relacin, 14.
p ra g m tic a , 70."
se m n tica , 70, 72.
s in t c tic a , 70, 72.
relativismo, 257.
de los s is te m a s l g ico s,
159, 256.
religioso, 46.
residuo, 219.
S
fo rm a l, 84.
c o n c lu s o , 220.
l g ico , 256.
co n s titu tiv o , 147.
social.
sociologa, 245.
sofistas, 66.
subjetivo, 18, 246.
sustancia, 14, 93.
sustitucin, 177.
T
tabulae, 217.
tcnica, 227.
teleoTogica, 208.
teora, 50, 194, 250.
terico, 198.
terminologa, 13.
trasposicin,
tringulo, 59.
78.
U
universal, 250.
e m p ric o , 118.
lgico, 118.
V
valor, 46.
valoracin,
valorativo,
verbo, 93.
verdad, 22,
246.
246.
246, 256.
d efin ici n de, 122.
co n c e p to de, 107.
verdadero, 22.
verificabilidad, 110.
verificacin, 188, 195.
verificar, 249.
voluntad, 47.
visin intelectual, 40.
Y
yo,
48.
Pgi.
P rlogo ...........................................................................................................
I.
T erm in o lo g a ....................................................................
T e r m in o lo g a
T e r m in o lo g a
T e r m in o lo g a
T e r m in o lo g a
2.
o n t o i g i c a .......................................
p s ic o l g ic a .....................................
s e m i t ic a ......................................
g n o s e o l g i c a ...............................
L g i c a ...............................................................................
1.
2.
II.
9
13
13
14
16
20
22
25
25
25
26
27
M e t o d o l o g a ....................................................................
C ie n c ia ................................................................................
C ie n c ia y l g i c a ...........................................................
D iv isi n ..............................................................................
27
29
32
35
37
3.
G e n e r a lid a d e s ................................................................
"A n o ta c io n e s h is t r ic a s ......................................
O b s e r v a c io n e s m e to d o l g ic a s ............ ...
C a r a c t e r e s e s e n c ia le s d e la fe n o m e n o
lo g a ............................................................................
J u s t i f i c a c i n d e l m to d o fe n o m e n o l g i c o ...............................................................................
37
37
39
40
4L
III.
L o s MTODOS SEMITICOS...........................................
43
43
45
47
50
53
54
54
56
57
59
61
65
6. G en eralidades .......................................................
65
O b s e rv a c io n e s m e to d o l g ic a s ' .................
O b s e rv a c io n e s h i s t r ic a s ...........................
J u s tif ic a c i n ge n era l del anlisis lin
gstico ............................................................
L a s a r e s d im e n s i o n e s del signo ...............
ICoLncept^tsemiticH de la p a la b r a ... ...
65
66
7.
68
69
72
74
O rie n ta ci n i n t r o d u c t o r i a ............................
Clculo .................................................................
Aplicacin del clcu lo a o b je to s nom a t e m ti c o s ..................................................
S e n tid o e id tic o y o p e rac io n a l ...............
M odelo .................................................................
E se n c ia de! f o r m a l i s m o ............................
J u s tif ic a c i n del f o r m a l i s m o .....................
L e n g u a je artificial ............................ .........
74
76
78
80
82
83
85
88
90
90
92
8.
Pdgs.
9.
F u n c to r e s y a r g u m e n t o s ..............................
E je m p lo s de n o -se n tid o sin t c t ic o .........
94
96
98
98
101
103
106
108
110
Significacin m e to d o l g ic a del p r o
b le m a .................................... .......................
El p rincipio de la v e rifica b ilid a d .........
Qu significa verificabltj?......................
1.
tcnica ...........................
fsica ...............................
lgica ..............................
m eta-em p rica ...............
114
114
114
115
Princip io de la i n te r s u b j e ti v i d a d .........
V erifi cab ilidad d e las p r o p o s i c io n e s
un iv ers ales .....................................................
116
117
121
A. T arsk i: ConcejTtgJtlel e n u n c i a d o v e r
d a d e r o e n el le n g u a j e c o r r i e n t e .........
122
................................ ...............
133
133
E s t r u c t u r a del c o n o c im ie n to m e d ia to .
Ley y regia .........................................................
Las dos fo r m a s f u n d a m e n ta l e s de la
co nclusin ......................................................
Reglas infalibles y falibles ......................
O b serva cione s m e to d o l g ic a s .................
D i v i s i n ...............................................................
133
135
2.
3.
4.
lV .' E l
P osibilidad
P osibilidad
Posibilidad
Posibilidad
110
112'
113
mtodo axiomtico
136
139
140
142
143
143
144
146
148
150
152
152
153
165
166
1.
2.
3.
4.
.....
155
157
159
162
169
171
174
176
176
183
183
186
188
190
191
191
193
195
196
199
200
203
205
205
206
19.
1.
2.
3.
183
184
207
207
207
209
209
209
211
213
214
214
217
219
1.
2.
1.
2.
3.
4.
5.
21.
22.
M to d o
de
c o n c o r d a n c i a s ........ 219
M to d o
da
d ife r e n c ia s ................219
M to d o s u n id os d e la c o n c o r d a n
cia y d e la d ife r e n c ia ........................
219
M to d o
de
r e sid u o s .
220
M to d o
de
las v a ria cio n es c o n c o
m ita n te s ......................................................
220
P r e s u p u e s to s d e lo s m to d o s de M ili ...
I n d u c c i n y s is te m a ............................................
R e g la d e la s im p lic id a d .................................
R e s u m e n . I n t e r p r e t a c io n e s f ilo s f ic a s .
221
224
225
226
228
L a s d o s s ig n if ic a c io n e s d e la p a la b r a
p r o b a b ilid a d ....................................................
E s t a d s t i c a s ...............................................................
D e p e n d e n c ia d e lo s fe n m e n o s .................
T a b la s d e c o r r e la c i n .......................................
C o r r e la c i n y p r o b a b ilid a d .........................
228
230
232
235
238
M to d o h is t r ic o .......................................................
239
C ie n c ia n a t u r a l e h is t o r ia ...............................
239
P u n to d e p a r t i d a ....................................................
242
S e le c c i n ... ...................... ........................................
244
I n t e r p r e t a c i n .........................................................
247
C r t i c a h is t r i c a .....................................................
249
E x p li c a c i n h is t r i c a ..................................... 250
O b s e r v a c io n e s fin a le s ................ . ..................
253
E p l o g o .................................... ' ...................................................................
N otas b ib l io g r f ic a s ..
. .................. ... .................................
B ib l io g r a f a ...................................... ..........................................................
I ndice de m a t e r ia s ......................... ................ .................................
255
261
263
267
E s t e l ib r o , publicad o p o r E d ic io n e s
R ia l p , S. A., P r e c ia d o s , 34, M a d r id ,
se
t e r m in
O r c o y e n , S.
de i m p r i m i r
en
Clo sa s-
L., M a r t n e z P a je , 5,
M a d r id , e l da 10 de e n e r o de 1879