Documente Academic
Documente Profesional
Documente Cultură
FACULTAD DE FILOSOFA
DEPARTAMENTO DE LGICA Y FILOSOFA DE LA CIENCIA
TESIS DOCTORAL
ISBN: 978-84-8466-212-9
UNIVERSIDAD COMPLUTENSE
DEPARTAMENTO DE LOGIGA Y FILOSOFA DE LA CIENCIA
CONCIBIPCll~DN IDIELA
IPOILIIVAILIENCEA
lEN LA 1E~CU1EIUA ludE VAIR~YEA
Por
PABLO DOMNGUEZ PRIETO
Dirigida por el Prof. Dr.:
JOSE M. GAMBRA GUTIERREZ
MADRID, OCTUBRE DE 1993
pg.
LINIRODUCDON
1. LA CUESTIN DE LA POLIVALENCIA LOGICA
A) LGICA POLIVALENTE Y LGICA CLSICA
El Principio de Bivalencia
Clasificacin de los sistemas polivalentes
Denominacin y smbolos de los valores de verdad no
cllcos
-
B) CAUSAS DE LA
POLIVALENCIA LOGICA
APARICIN
DE
LA
40
1.
2.
B) ATEMPORALIDAD DE LA VERDAD
C) VERDAD LGICA E INTENCIONALIDAD
3. INTERPRETACIN Y CRTICA
A) INTRODUCCIN
B) CONCEPCIN IMPLCITA DE TWARDOWSKI
SOBRE LA LOGICA POLIVALENTE
III.
CONCEPCIN
DEL
<VALOR
LGICO
C) EL PRINCIPIO DE CONTRADICCIN Y SU
UNIVERSALIDAD
D) SENTIDO DEL SISTEMA POLWALENTE DE
LUKASIEWICZ
LBSNIBWSKI
161
SISTEMTICA
DE
LA
OBRA
DE
A) LA ESENCIA DE LA LGICA
La funcin simblica
Fonnalismc? y antifowalismo en Lenicwski
Crticas a las antinomias
-
IV
3. INTERPRETACIN Y CRTICA
A) INTRODUCCIN
B) LA CONCEPCIN DE LA LOGICA. DIFERENCIAS
ENTRE LU~S~WICZ Y LESNIEWSKL.
C)
CONCLUSIN: FUNCIN SIMBLICA Y
VERDAD0.
KOIAEBhSKI
227
B) EL EBSMO ONTOLOGICO
y
Introduccin
Comparacin de la nocin de cosa en Kotarbi6ski
con la de sustancia primera en Aristteles
Conclusin: nocin de cosa en Kotarbillski
-
C) EL REISMO SEMNTICO
3. INTERPRETACIN Y CRTICA
A) KOTARBISKI Y LA POLIVALENCIA LGICA EN
EL CONTEXTO DE LA ESCUELA DE LVVVARSOVIA
Introduccin
Precedentes de Kotarbiski: Lnie3rlcz y
Legniewski
Los valores de verdad en las oraciones con nombres
genuinos
los valores de verdad en las oraciones con
pseudonombres
-
VI. LENGUAJE y
VERDAD EN AJDUKIBWICZ
VI
279
3. INTERPRETACIN Y CRTICA
A) LOS VALORES DE VERDAD DE LOS JUICIOS EN
EL CONVENCIONALISMO RADICAL
Carcter apofntico de los juicios
Absolutismo del valor dc verdad dc un juicio
-
VII
IAfl~
1. PREMBULO
A) LA SEGUNDA GENERACIN DE LA ESCUELA DE
LVV-VARSOVIA
B) PUESTO DE JA~KOWSKI Y DE ZAWIRSKI EN LA
2 GEN. DE LA ESCUELA LVy-VARSOVIA
2. NOTAS BIOGRFICAS Y MARCO GENERAL DE
JAgKOWSKI
A) BOSQUEJO BIOGRFICO
B) LABOR DOCENTE E INVESTIGADORA
C) JAKOWSKI Y LA LGICA POLIVALENTE
B) LA CONTRADICCIN EN LA LGICA
Introduccin
Clases de contradiccin
El sistema bivalente y el discusivo
-
VIII
335
4. INTERPRETACIN Y CRTICA
A) CONCEPCIN DE LA INDETERMINACIN
LGICA EN JASKOWSKI
Relacin entre el sistema bivalente y el discusivo.
La indeterminacin en Ia~kowski
El Principio de Tercio Excluso
-
LESNIEWSKI,KOTARBINSKI
LIIkasie~ncz y Jakowski
Kotarbihski y Ialkowski
Legniewski y Jaowski
Ajdukiewicz y Jatkowski
Conclusin
Vm. COMCLIISIONBSflNALBS
407
Lx
D) CONCLUSIONES
C) CONCLUSIN
3.
IX.. BffiLKmL&EIA
470
1.
NIaS
El Principio de Bivalencia
Los sistemas lgicos polivalentes son aquellos que, por negar el Principio
de Bivalencia, poseen ms de dos valores de verdad. Por ello se incluyen entre los
sistemas no clsicos de la Lgica3.
3Las lgicas no-clsicas han recibido tambin otras denominaciones: por ejemplo,
lgicas peculiares o lgicas no-standard. Del mismo modo, la expresin lgica
polivalente es frecuentemente reemplazada por otras como: lgica multivalente,
lgica multivalorada, lgica plurivalente; corresponde a las expresiones manyvalued logic (del ingls) y mehrwertige Logilc (del alemn).
2
slo hubiera un tercer valor veritativo nos encontraramos ante un sistema trivalente
de Lgica; si fueran dos, ante uno tetravelente..., si fuesen infinitos, ante un
sistema infinito-valente.
excluyentes
decreciente veracidad
Logic,
(Sfr. Klenee, S.C. Qn a Notation for Ordinal Numbers The Journal ofSymbolic
Logic, vol.3 (1938), pp.150-155.
4
SMBOLOS
O:
ste es el primer texto en el que Lukasiewicz adopta el smbolo <46 para referirse
al valor de verdad indeterminado:
1:
2:
1:
DENOMINACIONES
Neutrum:
Este
Valor veritativo intermedio: Esta expresin -que emplearemos con frecuenciatiene la ventajosa propiedad de ser imparcial en la interpretacin, de
no prejuzgar concepcin alguna. Se limita a situar el nuevo valor
16
(...).
y es
(...)
valor de verdad>.
No han faltado tampoco los autores que excluyen este tipo de proposiciones de las
propiamente lgicas; por ejemplo, los Kneale. Cfr. Kneale, W. and M. TheDevelopnient
ofLogic, O.U.P. 1962.
~>
10
Frege, no
obstante, elabor una teora del lenguaje en la que no se dieran tales casos.
3) La mecnica cuntica.
(Sfr. Frege, Gottlob Ober Sinn und Bedeutung Zeitschriftfiir Pirilosopirie und
pirilosopiziscire Kritik, 100 (1892) pp.25-50.
Press, 1944.
11
inaceptables. Por ello afirman que todas aquellas proposiciones de la Fsica que
definen simultneamente la posicin y el momento de los tomos han de poseer un
tercer valor de verdad distinto de la verdad y de la falsedad.
(Sfr. Birkhoff, O. and von Neumann, J. The logic of quantum mechanies, Anals
ofMathematics (37), 1936.
~
(Sfr. Lambert, K. Logical truth and microphisics en Tire Logical Way ofDoing
Things, Yale U.P., 1969.
12
1) Monismo: Sostiene que hay un nico sistema correcto de Lgica. Los que
defienden esta postura pretenden investigar silos sistemas polivalentes son o no la
genuina Lgica, frente a la bivalente. sta, aparentemente, parece ser la postura
adoptada por Lukasiewicz cuando afirm:
(...)
si as relaciones
26
27
~>
(Sfr. Lewis, C.I. Alternative Systems of Logic Tire Monist, vol.41 (1931),
pp.481-5O7.
~
A estas tres posturas se le puede aadir una cuarta, que parece compendiar
algunos aspectos comunes a las tres anteriores:
4) Una logica lii systemarum varietate. Esta postura sostiene que la nica
Lgica se manifiesta en diversidad de sistemas. Tal es la teora que pretenden
defender algunos prestigiosos investigadores de la Lgica como: Zinovev32, Rutz33
yTharpt
Esta postura mantienen, por ejemplo, con los que postulan la necesidad de atribuir
el valor veritativo lgico intermedio a los juicios atinentes a la mecnica cuntica.
32Cfr, Zinovev,A.A. Die Universalitit da Logik en Uber mehrwetige Logik Em
Rescher, N. Many-vahued Logic, New York, Mc. Graw-HII Book C., 1969,
p .234.
~ (Sfr. Sanford, David Competing Semantics of Vagueness: Many Values Versus
Super-Truth, Synthese 33 (1976) p.2Ols. En este mismo planteamiento caben los
desarrollos lgicos de Bochvar.
16
D)
Pxchmtoa
p.57.
17
proposiciones acerca de los futuros contingentes39. As, por ejemplo, Duns Scoto
se refiri a este tipo de proposiciones. De especial importancia histrica es la obra
de Guillermo de Ockham en lo referente a la clasificin de proposiciones
40
Asimismo son relevantes por sus contenidos, aunque poco conocidos, los
debates acaecidos en la Universidad de Lovaina en el siglo XV41.
(Sfr. Resber, N. Studies in tire History ofArabic Logic, Pittsburgh, 1963, pp.43s.
~
18
podra ser
Cuarto Excuso, como axioma de su sistema trivalente; con esta nueva Ley daba
a entender que el Principio de Tercio Excluso no es el universal, sino el Principio
de n+1 Excluso.
(Sfr. Hartshorme and Weiss (eds.) Collected Papen of Charles Sanders Peirce,
Cambridge, 1931-1935, 4. 12-20 y 4.257-265.
~
algunos otros.
Siendo del todo correcta esta opinin que corona a Lukasiewicz como el
fundador de la polivalencia lgica; sin embargo, podra adoptarse como postura
complementaria aqulla que considerase no tanto a Lukasiewicz aisladamente,
cuanto a toda la escuela de Lvv-Varsovia como el primer mbito donde se abord
abiertamente el tema de la polivalencia lgica as como otras cuestiones
~ E.L. Post elabor un sistema trivalente parecido al de Lukasiewicz, sin
interferencia suya, casi simultneamente. (Sfr. Post, E.L. Introduction to a General
Theoy ofElementary Propositions, Americal Journal ofMathematics, 42(1921), 163185.
(Sfr. Salomaa, On Many-valued Systems of Logic Ajatus, vol.22 (1959),
pp.11555
~ (Sfr. Rosser & Turquette
Passim.
Por esta razn, podemos considerar que el estudio del conjunto de los
planteamientos sobre la Lgica y la Filosofa del Lenguaje que se dan en esta
escuela constituye un medio adecuado para entender con ms precisin la obra de
Lukasiewicz as como sus derivaciones histricas.
son las razones que nos han impulsado a realizar esta investigacin en un marco
ms amplio, esto es, en el de la escuela de Lvv-Varsovia:
1.- La labor de escuela creada por Lukasiewicz -las discusiones, las clases, las tesis
y trabajos que dirigi- influy en sus propios planteamientos, por lo que no
conviene separar todos estos autores como si de representantes aislados se tratase.
Pongamos dos ejemplos:
2.- Los distintos motivos que pueden causar una concepcin polivalente de la
Lgica, y que en este captulo hemos compendiado en tres, son abordados por los
diversos autores de esta escuela, por lo que se puede decir que en ella se trata
segunda generacin);
b) las paradojas semnticas por Legniewski, Kotarbiski, AjdukiewicZ, (y
Jaslcowski y Tarski en la segunda generacin);
c) y lo referente a la mecnica cuntica es abordado en la segunda
generacin por Zawirski, con planteamientos subyacentes heredados de
Ajdukiewicz.
sta es la razn por la que en el presente trabajo se ofrece una visin del
nacimiento y primeros desarrollos de la Lgica Polivalente en el contexto de la
escuela de Lvv-Varsovia. Tal enfoque no pretende erigir a todos los autores que
vamos a estudiar (Twardowski, Ajduldewicz, Le~niewski, Kotarbiski, Jaslcowski
y Zawirski) en co-fundadores de la Lgica Polivalente; incluso tampoco se pretende
incluirlos en la lista de los ms decisivos investigadores de Lgica Polivalente,
puesto que algunos de ellos casi no abordaron explcitamente tal cuestin. El
autntico sentido de este trabajo consiste en mostrar la estrecha e importante
relacin de los planteamientos de estos autores con su compafiero Lukasiewicz.
Adems, gran parte de estos miembros de la escuela de Lvv-Varsovia han sido
influidos por los planteamientos de la Lgica Polivalente de Lukasiewicz, por lo
que este estudio del conjunto de la escuela nos parece adecuado para comprender
los orgenes, el contexto y los primeros efectos de la concepcin polivalente de la
Lgica en sus inicios.
investigacin; el resto de los autores han sido incluidos en este estudio sobre la
Lgica Polivalente en la medida que poseen alguna relacin de causa o efecto de
la obra del maestro Lukasiewicz.
23
1989.
Szaniawski, K. (ed.) Tire Vienna Circle and the Lvov-Warsaw School, Dordrecht,
K.A.P. 1989.
-
24
A) INTRODUCCION
Twardowski y
interesaron por mbitos muy diversos del saber filosfico. Esto suscit una visin
armnica de problemas que, en apariencia, carecen de relacin. Twardowski
considera que todos los saberes filosficos han de conjugarse armnicamente~. Las
controversias que en Lgica surgen con el advenimientode los sistemas polivalentes
no se hallan aisladas de otras cuestiones filosficas; es ms, afectan directamente
a pilares de la Filosofa, como son la concepcin de la verdad y la posible unidad
de las ciencias. Dado que en esta escuela se abordaron simultneamente cuestiones
de Filosofa de la Ciencia, de Semntica y de Lgica, los resultados, una vez
conjuntados, formarn un todo armnico.
26
El factor seogr~fico-tempral
27
lingtilsticos y ontolgicos de la escuela de Lvv, se le uni la precisin matem6ticoformal de la escuela de Varsovia. En este contexto aparecen los intentos ms
relevantes de interpretacin de la polivalencia lgica. Tales intentos manifiestan que
el estudio del valor veritativo-lgico indeterminado no se trata de un problema
meramente formal, sino que posee interesantes conexiones con aspectos
psicolgicos, lingisticos e incluso metafsicos.
-,
175.
28
(...)
lo largo del presente trabajo se podrn apreciar las ricas conexiones entre los
diversos autores.
64
1 thmnk that is mucir better to treos tire Lvov-Warsaw School nol dualistically,
os Jordan did, but monistically os an analytic School. Tire School brought up
metirodological, or ratirer metaphilosophical, problems which are presently wzdely
discussed; tus applies in particular to tire applicability offormal logical analysis. Tire
basic analytic canon oftire Scirool was connected withformal logic. Butformal analysis
was notforced at any price, because it was heid tiros ordinay langage Ls only ni pan
controlled I~ logict (Woleski, Op. cit. p.3O6)
30
discontinua).
31
5;
o
00
E
4
(-3
oo
-J
-J 4
-o
Wz
Li
z-j
o>24
Do
<oE
Li
z
Lb
o
aii
B)
33
de los valores de verdad de algunos de los funtores. Dos claros ejemplos de esto
los tenemos en L ukasiewict y Ja~kowski67.
Lo labor ms
(Sfr. Lukasiewicz, J. Ober den Satz von Widerspruch bei Aristoteles. Bulletin
international de Acadmie des Sciences de Cracovie, Classe de Philosopbie (1910), Pp.
15-38. 0 logice trjwartosciowej, Rucir Filozoficzny, 5(1920) pp.l7O-l7l, (traduccin
en Selected Works, Amsterdan, N.H.P.(S. 1970, pp.87-88).
Philosophiscbe
Bemerkungen zu mehrwertigen Systemen des Aussagenkalkils, Comptes rendus de la
Societ des Sciences et des Lettres de Varsovie 23(1930), Cl.iii, pp.51 -77.
35
pp. 143-157.
36
37
38
39
LNQCI DE
VBWAfr EW TWM0OWSU
Teresiano de Educacin. All estudi, como todos los alumnos, el texto obligatorio de
Filosofa, escrito por Zimmermann, titulado Phlilosophische PropIdeutfk. Este libro
restaur en Austria la influencia de Bolzano, (autor que habla estado oficialmente
prohibido en ese pas); Twardowski -como tendremos ocasin de comprobar- no quedara
inmune a este encuentro con algunos planteamientos del bolzanismo.
Uno de los profesores del Teresiano era Alois H6fler, que sera posteriormente
coaborador de Meinong y editor de las obras de Bolzano. Si bien es cierto que
Twardowski no recibi clases de este profesor, no sera extrao que H8fler influyese en
Twardowski en la profundizacin de las posturas bolzanianas. Este particular, sin
embargo, no es ms que una mera conjetura.
40
1
1
Entre los aos 1885 y 1889 estudi Filosofa en la Universidad de Viena, donde
mantuvo decisivos contactos con Franz Brentano.
Filosofla es el mtodo de las ciencias naturales, por lo que la ciencia filosfica debe ser
fundamentalmente una psicologa descriptiva . Twardowski no se limit a repetir la
doctrina de su maestro Brentano, sino que, a partir de ella, realiz importantes
desarrollos7.
La personalidad magisterial de Twardowski comenz a notarse ya en su poca de
estudiante de Filosofa en la capital austriaca, pues empez a cooperar en la organizacin
de la Sociedad Filosfica de Viena.
En 1892 se doctor en Filosofa con la tesis titulada Idee und Pnzeption. Fine
Erkenntnistheoretische Studie aus Descartes t Esta tesis fue dirigida oficialmente por
el profesor Zimmermann, pues el puesto de Privatdocent de Brentano le impeda ejercer
tal papel. No obstante, la influencia de Brentano en esta tesis es manifiesta; en efecto,
Meinong,
Uber gegenstandstheorie
en
Unrersuchungen zur
existentes.
Se ha de decir, no obstante, que en ningn momento lleg Twardowski al extremo
de Meinong de afirmar la exterioridad del objeto <puro) al ser (Aussersein des
Gegenstandes) (cfr. idem. 4). Esta exterioridad -en Meinong- se da tanto respecto del
ser como del no-ser. Sin embargo Twardowski se opuso en sus escritos a la nocin de
no-ser, ya que la consideraba yana; para Twardowski todo objeto es en cierta manera
existente. En efecto, refirindose a los .objetos generales o universales (que
propiamente no poseen existencia) afirma Twardowski: it exists in the sense that it can
be detecred in tite objects ofthe corresponding mdlvidualpresentations (Op. cit. Versin
inglesa por Orossmann, Oir tite content and object ofPresentations, The Hague, Nijhoff,
1977, p.lOl).
42
profesor titular.
Nosotros queremos que todos los trabajosy opiniones de nuestra sociedad tengan
una nica meta, la clarificacin de la verdad Twardowski, K. Przemwienie na
~
objecr sas itselfoffagainst al others, cis dlfferentfrom oil others, ami ence as tite one
it is, as self-identical (Op. cit. p.86), afirma Barry Smith: Here Twardowski recalis
a central titeme ofscholastic pMlosophy: unum est indivisum un se et dvisum ab omnibus
allis. Rut titere is an oir ofkantianism too (Smith, B. Casimir Twardowsld: An Essay
on tite Boderlines of ontology, Psychology and Logic en Szaniawski (ed.) Tite Vienna
Circle and tite Lvov-Warsaw School, Dordrecht, Kluwer, 1989, p.326).
43
labor de la escuela de Lgica de Lvv, iniciada por un discipulo suyo: Jan tukasiewicz
con el que colaboraran Ajdukiewicz, Kotarbiski y Le~niewski.
Madrid, Revista de Occidente, 1975, p. 10. Puede pensarse, no obstante, que Deao
desconoca algunas de las decisivas aportaciones de Twardowski, pues ste fue mucho
ms que un mero estmulo -en contra de lo que declar Deaflo- para la escuela de
Lvv.
14
El no abord
sistemticamente esta cuestin, pero nos hemos centrado en ella pues consideramos que
es el punto del cual partieron las influencias ms importantes en lo que a la polivaleticia
lgica se refiere.
Los datos que aqu expondremos han sido extrados o derivados a partir del
estudio de las siguientes obras de Twardowski:
Eme
cmo sta no es separable de los objetos reales. Critica con firmeza los
formalismos de la Lgica y los tacha de vacos.
Viena, Hlder.
2.
A) ABSOLUTISMO DE LA VERDAD
-1nfrndu~4n
La cuestin primordial que se plantea Twardowski es si la verdad es absoluta
o relativa91.
Consideramos sta la principal obra de Twardowski en lo referente al tema que nos ocupa
en la presente tesis. Cuando nos refiramos a ella la paginacin corresponder a la
traduccin alemana.
~
47
Twardowski se opone a los que mantienen una postura relativista sobre la verdad.
En efecto, sostiene que el relativismo tiene exclusivamente una causa: las vaguedades de
los juicios de un entendimiento a la hora de juzgar los hechos reales, o las limitaciones
de las expresiones lingilsticas con las que se expresa el contenido de un juicio. Veamos
el desarrollo de la argumentacin de Twardowski.
Cfr. Twardowsld, Zur Lehere vom Inhalt und Oegenstand der Vorstellungen.
Eme psycbologische Untersuchung, 12.
(Sfr. Brentano, F. Psycitologie iom empirisciten Standpunkt, Leipzig, Duncker und
Humblot, 1874.
~
48
Twardowski afirma que muchas oraciones no consiguen con sus palabras expresar
todo el contenido del juicio absoluto que quieren transmitir.
En las oraciones se
producen abundantes elipsis que son suplidas con las circunstancias -el contexto- en el
que tal oracin es expresada. Por ejemplo, si me encuentro en Pars el 6 de febrero de
1991 y afirmo est granizando, tal oracin est omitiendo datos fundamentales del
juicio que se da en mi entendimiento: tales como que llueve en Pars y que llueve el
6 de febrero de 1991, en la hora it. (Son esta argumentacin defiende Twardowski esta
tesis en la que el relativismo de algunas oraciones (tales como las generalizaciones y las
hiptesis cientlficasY estn causadas por una deficiente formulacin.
49
50
recibida por Twardowski de Stumpf debe ser rescatado del anonimato: la ntima conexin
existente entreLgica y Gnoseologa. Esta misma teora es expuesta en su obra pstuma:
Erkenntnislehere (1939-40).
51
B) ATEMPORALIDAD DE LA VERDAD
atemporal.
52
53
En Lgica -sostiene este autor- todo smbolo (y toda relacin de smbolos) debe
estar puesto en lugar de un objeto. Por ello, Twardowski afirma repetidamente que todo
Con esta postura se anticipa, aunque desde otro punto de vista, a las aportaciones
de Gdel respecto de la imposibilidad de establecer una sintaxis pura0. La
comparacin de Twardowski con GtSdel puede resultar muy provechosa para comprender
an ms el alcance de tal postura0.
55
Lo que Gdel, por tanto, demuestra en su teorema es que en los sistemas lgicos
ofpositive results, only certain suppositions in tAre sorne direction, wich were basedpartly
on tny own investigations andpanly on tAr short repon Godel (.p.24.7).
Cfr. Gdel, K. Uber die Vollst?Jndigkeit des Logikkalkulus, 1930. ber formal
unentscbeidbare SIitze der Principia mathematica und verwandter Systeme, Monatshefte
flir Mathematik und Physik, 38 (1931), 173-98.
112
56
Esto muestra el fracaso del programa hilbertiano, pues los mtodos finitistas
utilizados por Hilbert para demostrar la no contradictoriedad de la aritmtica tambin son
formalizables en el interior del sistema axiomtico de la aritmtica.4
57
58
3. INTERPRETACIN Y CRTICA
A) INTRODUCCIN
concepciones aristotlicas.
b) Realismo metafisico por el cual sostiene que las leyes de la Lgica son subsidiarias de
las cosas reales. Dicho de otro modo, que la Lgica representa formalmente aspectos
de la realidad; la Lgica no constituye una nueva realidad, sino que es reflejo de ella.
Esta concepcin es la que subyace a esa frase que tanta importancia adquiere en sus
escritos: todo smbolo representa un objeto, pero no lo reemplaza.
OLJYALBliTh
En la concepcin de Twardowsld acerca de la verdad -la que se ha expuesto
anteriormente- se abordan una serie de cuestiones fronterizas con los problemas causantes
de la Lgica Polivalente. stas, como era de esperar, fueron conocidas por su discpulo
Jan Lukasiewicz.
veritativo no clsico
tendra que darse en las oraciones, pero no en los juicios, pues todo juicio es o bien
verdadero o bien falso. Por ello, los valores de verdad no clsicos responderan a
61
juicio
La concepcin relativista de la verdad, tal y como la describe Twardowski, es la
subyacente a los sistemas polivalentes de la Lgica. Dado que Twardowski sostiene que
la verdad se dice primaria y propiamente de los juicios y secundaria e impropiamente de
las oraciones, implcitamente podemos colegir que los sistemas polivalentes perteneceran
impropiamente a Ja Lgica, y los sistemas bivalentes propiamente.
62
INTENCIONALIDAD DE LA VERDAD
Ni los smbolos ni las leyes de la Lgica pueden separarse de las cosas reales; tal
divorcio produce un formalismo que es denominado por Twardowski simboloitiaflia y
pragmatofobia.
Twardowski slo cabra una respuesta: cuando no contiene los elementos necesarios para
entender su relacin con la realidad; esto es, cuando por limitaciones lingtIsticas
representa deficientemente algo de lo real; tal deficiencia conducir a suspender la
cuestin de su adecuacin o no adecuacin. Se convierte, entonces, en una oracin
vaga a la que, por esta razn, no se le puede asignar verdad o falsedad.
64
Esta misma pasin por la claridad expositiva ser trasmitida a todos sus
discpulos. Este fue el motivo por el que algunos miembros de esta escuela desarrollasen
-o utilizasen- los aparatos simblico-formales; este es el caso de Le~niewski.
~.
~Thereare, howewer, cerrain objects ofknowledge wich are more or less directly
revealed to us ~y both inrernal ant! external experience. 77ey include aboye ah most
relations, such as equaliry atid diterence, similarity and opposirion, agreemetir atid
disagreement, quantitative rel.ations, co-existence and sequence. Furriter rhere is a
number of concepts wArich we alsoform on tAre basis ofdata provided ~ experience of
botAr knds; diese include, among other things, rite concepts of change, substance,
accidence, causahiry. (...) Finally tAre results of research done in both spheres of
experience must be combined mro a sysrematic whole (Twardowski, K. Psychologia
wobec fizjologii i fllozofii, Lww, GiS, 1897. Traduccin por Woletski, Logic ami
PArhlosopAry in tite Lvov-Warsaw ScArool Dordrecht, K.A.P. 1989. pp.36s).
~
66
A) LUICSIEWICZ Y TWARDOWSKI
67
Comprense los textos: a) Twardowski, Op. cit. pp. 450ss.; b)L ulcasiewicz, J.
Elemeny logifl maemaycznej, Varsovia 1929, pp.1 lss. y Sobre el determinismo en
Estudios de Lgica y Filosofla, Madrid, Revista de Occidente, 1975, pp.47ss.
133
B) ETAPA METAFSICA
El perodo comprendido entre los aos 1902 al 1915 posee, en las
investigaciones de Lukasiewicz, un carcter primordialmente metafsico, dejando
las cuestiones atinentes directamente a la Lgica en un segundo lugar. Por esta
razn convenimos en denominarla etapa metafsica35.
Durante cinco aos visit varias universidades europeas y posteriormente,
a partir de 1906, ejerci como Privatdozent en la Universidad de Lvv hasta 1915.
Durante esteperodo abord variadas cuestiones filosficas que estn en la raz de
la labor de investigacin que sobre la Lgica efectu en la Universidad de
Varsovia.
Igual que en Twardowski, el inters por la Lgica surgi cuando se apreci en ella
el lugar para la resolucin de importantes cuestiones metafsicas. No es que la Lgica
ocupase un segundo lugar, sino que as como Twardowski se remontdesde la Psicologa
a la Lgica, Luikasiewicz pas de la Metafsica a la Lgica.
~ tukasiewicz, J.
O Zasaczie sprzecznosci uA,ystotelesa. Studium bytyczne,
Cracovia, 1910, resumen reeditado por l mismo :Uber den Satz von Widerspruch bei
Aristoteles Bulletin international de lAcadnaie des Sdences de Cracovie, Classe de
Philosophie (1910), pp. 15-38.
135
70
(...)
Cfr. Simons, Peter Op. cit. pp.258ss. Apenas hace dos alias se ha tenido acceso
a la correspondencia entre Meinong y Lukasiewicz (gracias a las peticiones de Peter
Simons). Este epistolario resulta de sumo mters para ir determinandotal cuestin. Es
de esperar que la biblioteca de la Universidad de (Maz vaya editando ms documentos
que aporten luz sobre este particular.
138
72
73
simultneamente por E.L. Post4t, ambos fueron realizados sin mutua interferencia
alguna.
En 1939 Varsovia fue bombardeada por la aviacin alemana. A causa de
este desgraciado acontecimiento se perdieron los manuscritos inditos de
Lukasiewicz. Finalizada la guerra, despus de pasar unos aos en Bruselas, parti
hacia Dubln donde, desde 1946, ejerci como profesor titular de Lgica
Matemtica en la Royal Ir/sAz Academy y profesor en las universidades de Belfast
y Manchester. Jan Lukasiewicz muri en Dubln el 13 de febrero de 1956.
1. ukasiewicz fue el fundador del primer sistema lgico trivalente; esto es,
de un sistema en el cual, adems de la verdad y la falsedad, aparece el un tercer
valor veritativo-lgico intermedio.
Segn la opinin de Bochenski2, este sistema trivalente, y otros de su
estilo, son de difcil interpretacin. Algunos lgicos3, incluso, han aducido
pruebas para mostrar que no poseen interpretacin posible, por lo que,
propiamente, no pertenecen a la Lgica. Otros, sin embargo, descubren en estos
sistemas trivalentes, como el de L ukasiewicz y el de Post, una posibilidad para
axiomatizar diversas teoras filosficas o cientficas1.
Pretendemos en este capitulo penetrar en el trasfondo del sistema trivalente
de este maestro de la escuela de Lvv-Varsovia con una doble finalidad: la de
aportar una interpretacin filosfica a tal sistema plurivalente5, y tambin
ahondar en la significacin del valor de verdad lgico simbolizado por Lu?kasiewicz
142
43
Por ejemplo: Bernays, Gonsetb (ed.), Les entretiens de ZUricAz, Z{irich, 1941,
pp. 104s.
La repercusin del tema de este estudio es amplia, por cuanto del sistema
trivalente de Lukasiewicz penden, en cierta medida, algunas de las concepciones
que posteriormente surgieron en la escuela de Lvv-Varsovia. Vatios autores son
influidos directamente por el magisterio de Lukasiewicz: ste es el caso de
Ajdukiewicz, Le~niewski, Slupecki, Jaslcowski y Tarski. Aunque algunos de
estos autores -Ajdukiewicz, I4niewski y St upecki- no se dedicaran al estudio de
la Lgica Polivalente, sus investigaciones son -en una medida importanteconsecuencia de los desarrollos de Lukasiewicz.
76
77
?)
147
79
(czp~4) tambin de
En efecto, si se ha
Esta interpretacin es compartida por Isaac Husic en: Aristotie on tite Law of
contradiction and the basis of the syllogism<, Mini! (XV), 1906 pp.21l5-222. Tambin
por Meier, Die Syllogistik des Aristoteles, Tilbingen, 1896 p.238.
~
En An. Pr. 1 24 b 18-23 expresa Aristteles en qu consiste la esencia del
silogismo:
131
la conclusin que tal trmino sea a a vez tal cosa y no tal cosa
Cfr. Isaac Husic Aristotle on tIte Law of contradiction and tIte basis of te
syllogism, Mini! (XV), 1906 p.222.
81
~
153
Esta
exterioridad se da tanto respecto del ser como del no-ser~. La existencia de los
objetos es, en terminologa husserliana, puesta entre parntesis57.
De esta exterioridad al ser, de esta pureza que separa el objeto puro de
toda realidad o irrealidad, se desprende la dificultad - acaso la imposibilidad - de
definir Ja nocin de objeto en Meinong. l mismo declara que, propiamente, no
es posible tal definicin. Su argumento sostiene que este trmino expresa el gnero
ms amplio en el que no cabe sefialar diferencia especfica alguna5.
la de la
exterioridad del objeto puro al ser - considera Meinong que la bteora del objeto
constituye un saber autnomo y ms amplio que la Metafsica,
Mientras Ja
existentes. Por ello, no han de confundirse las proposiciones lgicas con las existencias
a las cuales se refieren afirmando o negando algo. Cfr. Bolzano, Bernhard
Wissenschaftlehre, 1837 (reed. Hfler 1914) 122.
156
Cfr. idem. 4.
84
conciencia.
Dada esta supuesta mayor amplitud de la teora del objeto puro respecto
de la Metafsica, no extrafla que Meinong no la considere sujeta al Principio
metafsico de Contradiccin:
(...).
Junto a las dos caractersticas del objeto puro hasta ahora enunciadas ha
85
contradiccin.
objeto puro. Por carecer de todo apoyo metafsico, el objeto parece a veces
en Meinong una cosa desrealizada, sin ser irreal tampoco. Ese objeto es, en suma,
un neutrum, con el riesgo de ser hipostasiado como tal~1s. ste considera al
objeto puro como Lodo lo susceptible de ser sujeto de un juicio, sin tomar en
cuenta su carcter de existente real61.
a)
Son los objetos puros tal y como los concibe Meinong. Lukasiewicz los
denomina constructivos pues son construidos, creados, elaborados plenamentepor
el sujeto. Con el trmino constructivo quiere evitar Lulcasiewicz cualquier
presuposicin de existencia extralgica. Son tambin llamados por tukasiewicz
objetos incompletos (IJnvollstflndiget3egenstknde) u objetos libres
existencia
Milln Puelles, A. Teora del objeto puro, Madrid, Rialp, 1990. p.1 12s
162
(Daseinsfreie Gegenstlinde).
b)
Las cosas reconstructivas formadas a partir de las cosas actuales. Por ejemplo:
una flor del jardn bottdco y un rbol del mismo parque son objetos extralgicos
actuales; si reconstruyo mentalmente ambas cosas formando un imaginario
arbol en flor, tal objeto ser denominado reconstructivo aunque -en ltimo
extremo- responde a las mismas caractersticas de sus componentes.
mismo Meinong. ste public en 1915 la obra titulada ber Moglichkeit und
Erganzungsband.
90
EL PRINCIPIO DE CAUSALIDAD
91
primero presiono el botn del timbre, y el timbre suena despus, aunque nos
parezca que ambos hechos ocurren
...
F~, Fa.,,
...,
2, F1,
F.
72
93
t,
es
deduce tukasiewicz que pueden existir secuencias causales infinitas que no han
comenzado todava y que pertenecen enteramente al futuro5; Pone
bukasiewicz el siguiente ejemplo:
176
&.
96
cosas) en una situacin que puede darse o puede no darse, es decir, de algo cuyo
nico correlato objetivo es la posibilidad1 dado que su realidad no est
determinada antes de que tenga lugar. Si en un momento t afirmo que un suceso
que puede darse en el momento t+1 es ya o verdadero o falso, lo estoy
convirtiendo en un suceso futuro necesario. Por ejemplo, si hoy afirmo que
maana habr una batalla naval, y esta sentencia es ya verdadera, estoy haciendo
de tal batalla naval un evento necesario. La consecuencia inmediata de este
planteamiento, asevera L ukasiewicz, sera el determinismo. Por ello prefiere
adoptar otra postura que soslaye tal arrisco:
(...)
bien maana habr una batalla naval o bien maana no habr una
batalla naval. Tertium non datur.
(...)
~.
98
los hechos futuros, aun teniendo infinitas causas, tienen causas en el presente.
99
a)
1 amfully aware that other systems ofmodal logic are possible bcced on
different conceps ofnecessity andpossibility. Jfirmly beleve that we shall never
be che to decide which ofthem is tate. Systems of logie are instnmerns of
thought, md he more useful a logical sysem is, he more valuable it U
EF
EJ-p
102
El todo es mayor que la parte, luego es necesario que el todo sea mayor
que la parte
b)
(...)
104
c)
Este concepto de
simul esse et non esse: si enim aliquid est, impossibile est illud simul non esse; ergo
necesse est tunc illud esse0 lii Peri Hermeneias, L.I, 1, XV n.201.
105
De igual manera que en los otros casos, veamos dos ejemplos de esta
acepcin de posibilidad:
haya
concepciones de posibilidad
ir
Cuantificador universal.
+ ir
si en el consecuente de una
Cuantificador existencial,
La tesis 3 se
Las tesis 1 y 2 se refieren a los dos primeros teoremas explicados. Las tesis
3-6 expresan conocidas reglas de inferencia. Estas seis tesis son las premisas que
Adelantamos uno de estos desarrollos formales para la comprensin de este
ejemplo.
3q/Opx CI-7
7
Zptpx8
8
4q/px C8-9
9
6p/YYP, q/p, rl Op x C9-C7-IO
JO
27p-Op
11
~
Tngase en cuenta que, al igual que Legniewski, Lukasiewicz entiende por tesis
tanto los axiomas como los teoremas de un sistema deductivo, cfr. Lukasiewicz, 3. Op.
cit. pp.157-161.
109
Ti
-~,-rp
72
3
7p-rOp
(q~ph(p-q)
(p-~q)-*(q-*p)
5
6
(Consecuencias de Ti)
3q/Opx CJ-7
7
p-*Op
7pLpx 8
8
4 qI&p x C8-9
9
7Yp-p
qlp, rl Op x C9-C7-iO
10
~Or4
4p/OiP, q/Opx Ci0-ii
11
0p-<p
(Consecuencias de 72)
110
3q/p;p/Opx C2-12
12
Op->p
l2pLpxl3
13
O~p*~p
p*77p
Op/Op. q/p, rt7px C12-C14-1S
15
Op-r0~p
Sp/Op. q/<Ypx CJS-JO
16
&p-*7p
(Consecuencias de T3)
73 (17) Sp (OpAQp/0
18
~rp YOpA&pft2
111
19
(OpAOphOq
20
(o-.q)-*~q-rp)
20 pI 0pA0~p, qlOqx Ci9-2i
21
21 +,rx22
22
Ykq-rrp 7OpA&p)
Op
*a)
12
0p~>p
23
Op
12 x C23-24
24
*b)
25
p->(crp>
26
RpMp)
27
(g-*q)
.-*.
(r-*s)-*((pAq)-*(qAs))
(OpAOpq,Mp)
20 p/(OpAOp), q/pA~p x C28-C26-29
29
<}OpAOp)
25 p/(OpAcrp) x C29-30
30
q.-~C(OpAQp)
30 -l-,rx 31
31
q-*7rp (OpAOp)
31 q/p*(q-.*p) x C25-32
32
rip
(OpAOp)
=0;
1;
NirPAJKMpMATp
NKNKMOMNONKMIMIVI
=
NKNKMOMINJCM1MO
NKNKMOMINKMOM1
NNICMOMJ =KMOM1
<wptpAOp)=
(OF A
flOF A
T(OF A
T(OF A
0V))
(OFAOV).
por (p-.q)A(q-p)
116
Nx= 1-x
Axy= max
Kxy= mm <x,y94
Cxy= mm (1,1-x+y)
Exy= mm [mm (1,1-x+y), mm (1,1- y+x>I
Kaniaugh.
Se puede afirmar que son una extensin de los diagramas de Venn. Con los
diagramas de Venn-Euler pueden fratarse con facilidad operaciones elementales de
clases ylas relaciones entre elias por medio de las relaciones correspondientes entre
regiones de un plano. Estos autores usaban regiones sencillas, como interiores de
crculos o elipses.
Los mapas de Kamaugh coinciden en lo esencial con los diagramas de
117
IvT~1
215
118
b) Funtores didicos
Conjuncin: pAq
V
Disyuncin: pvq
F p/q
1
1
1
Ip
IP
VV
VI
FF
VI
Implicacin: p->q
y
IP
IF
VV
y
Equivalencia: poq
y
1
VV
VI
U
- .
1
Y
1
FI
(W1) a-(B-*a)
(W2) (a-4>.((B-.rY-*<a-n))
(W3) (i3-a)-(a-.l3)
(W4) ((cr-*<a)-*.a>-*
119
<
-*
ecuaciones:
Nx= 1-x
Axy= max (x,y)
Kxy= mm (x,y)
Cxy= mmn (1,1-x+y)
Exy= mm [mm (l,1-x+y), miii (1,1- y+x)]
120
de verdad indeterminado.
121
(...)
pueden escogerse
Hay problemas
(...)
122
(..,) El
(...)
objetivo.
Contradiccin.
124
Lukasiewicz generaliz su sistema trivalente, primera en uno infinitovalente. Este sistema fue elaborado casi simultneamente con el trivalente. La
interpretacin de ambos sistemas -como el mismo 1. ukasiewiz reconoce- es
semejante:
(...)
125
vemoslo:
tWe have no means to decide which of the n-valued systems of logic,
n=2,is true. Logic is not a science of the laws ofthought or of any other real
object; it is, in my opinion, only an instrument which enables us to draw asserted
conclusionsfrom asserted premisses. Tlze classical theoy ofdeduction which is
venfied by a two-valued matriz is the oldest ami simplest logical system, and
therefore the best known ami widely sed. Butfor sorne purposes, for instance iii
modal logic, an n-valued system, n> 2, might be more suitable rnd useful. The
more useful and richer a logical system i~ dr more valuable it Ls
~ CII. Lukasiewicz A System of Modal Logic The Journal ofComputlng Systems,
1(1953), pp.111-149; Arithmetic vid Modal Logic Idem (1954) pp. 213-219.
127
rm~
(...). El
Filosofo cient1fica~
~ Digo que excede lo meramente formal y no que era de tipo metafsca, pues
todava no hemos especificado cul es el motivo y, podra darse el caso, por ejemplo, de
que fuese la ciencia de los objetos puros de Meinong, que excede lo meramente formal
y no es de carcter metafsico.
~ Deaflo, A.
Presentacin en Lukasiewicz, J. Estudios de Lgica y Filosofia,
Madrid, Revista de Occidente, 1975, p. 14.
En favor de los profesores Simons y Woleiski hay que decir que ellos dedican
brevesreferencias a este planteamiento, aunque no extraen consecuencias relevantes; cft.
Simons, Peter bukasiewicz, Meinong and Many-Valued Logic en Szaniawski, K. (ed.)
Tire Vienna Circle and theLvov-Warsaw School, Dordrecht, Kluwer, 1989, pp.251-253.
CII. Woleski, J. Logic and Philosophy in he Lvov-Warsaw School Dordrecht, K.A.P.
1989 pp.119s.
~
En la
131
3. INTERPRETACIN Y CRTICA
Tal
1132
equivalencia ha
como tautolgico.
En efecto, puesto que cuando los valores del antecedente y del consecuente
de una implicacin son iguales el resultado veritativo es 1V,, para Lulcasiewicz
133
/1-4/ es /V/ puesto que las dos indeterminaciones de esta fnnula corresponden a
un mismo valor de verda&2, por eso el primero implica necesariamente el
segundo. En este contexto se sit6a la siguiente aseveracin de LukasiewicZ en la
que agrupa estos tres valores de verdad en un mismo conjunto: Ray tres valores
como una
L ukasiewicz
232
III = III;
La declaracin de que nos encontramos ante dos concepciones veritativolgicas divergentes de valor de verdad (y, a fortiori, de indeterminacin) se
corrobora por un hecho: los diecisis funtores didicos~ definidos a partir de la
negacin y la implicacin (CP3f~ resultan distintos de los definidos a partir de
la negacin y la disyuncin (CP1). Abordard ms adelante la dilucidacin de estas
235
aparentes anttesis.
divergentes:
VV
VI
F
CP1
CP3
(~WIdOUIhIMI&LJ.C.4C*
-.
py q
~4*
p-*q.
VI
F
1
F
1
1
F
-
CPI
(Ddtak1~
fljn*I dc LMka*i>
137
veritativo indeterminado.
La definicin de los
(L3) se pueden distinguir dos concepciones diversas del nuevo valor de verdad
lgico indeterminado:
TMValor de verdad
rmnad
138
Al comparar todas las funciones didicas definidas a partir de cada una de las dos
139
B)
Introduccin
140
L ukasiewicz,
Que sean juicios cuyo predicado se siga o se excluya per se del sujeto,
~
Que sean juicios cuyo predicado se siga o se excluya per accidens del sujeto,
(,praedicatum per accidens inest subjecto, ve! praedicatum per accideas non inest
subjecto). Puesto que estos objetos constructivos por definicin son ~objetoslibres
de existencia (Daseinsfreie Gegenstlinde), no ha lugar para establecer ni una
adecuacin ni una no-adecuacin con alguna cosa real (puesto que sta si es
existente); por ello Lukasiewicz le asigna el valor de verdad indeterminado. Un
ejemplo de este caso es el ya conocido de maflafla habr una batalla naval,
(siempre y cuando nos estemos refiriendo a la misma batalla naval de niafiana en
142
Silos juicios son aquellos en los cuales el predicado se sigue o se excluye per
se del sujeto slo caben uno de los dos valores de verdad clsicos. En efecto, si
la propiedad asignada por el predicado pertenece al sujeto, tal juicio es verdadero
<por ejemplo: los rboles son vegetales); si la propiedad del predicado no
pertenece al sujeto, el juicio sera falso (por ejemplo: El agua (li~O) est
compuesta de dos molculas de nitrgeno).
Si los juicios son aquellos en los cuales el predicado se sigue o se excluye per
accidens del sujeto, distinguimos, a su vez, dos casos: que sean referidas al
pasado o presente , y que sean referidas al futuro.
143
b) Si los juicios sintticos estn referidos al futuro, y dado que estamos ante
objetos actuales, habr que considerar el futuro bajo su aspecto de presente, de
actualidad (pues en caso contrario estaramos de nuevo ante objetos
constructivos: la consideracin en si mismo del futuro an inexistente). Esta es
la segunda manera de abordar las proposiciones de futuros contingentes (como
cosas actuales). Si me refiero a la batalla naval de maflana como cosa
actual (y no como una cosa constructiva), habr de buscar el correlato
extralgico actual, con el cual se pueda dar unarelacin de adecuacin. Es en este
contexto cuando t ukasiewicz afirma que el correlato de estas proposiciones es la
posibilidadY7
Explicar en qu medida la posibilidad es en acto.
La potencia
~.
can
o de objetos reconstructivos-actuales.
La
praedicatum per se non inest subjecto, solo caben los valores de verdad o
/V/ o /F/.
En los juicios en los cuales praedicatum per accidens inest subjecto, vel
indeterminacin pura.
146
eventualidades:
En los juicios del primer tipo slo caben los valores de verdad o
VI
FI.
En los juicios del segundo tipo, a su vez, distinguimos dos casos: los
(~A
147
/1/
/1/.
148
Cfr. Lukasiewicz, 3. ber den Satz des Widerspruchs bei Aristoteles, BuIl.
ntern. de 1 Academie des Sciences de Cracovie, Cl. dhistorie et de pbilosophie, 1910.
Traducido en Qn the principIe of contradiction in Aristotle The Review ofMetaphysics,
XXIV(1971) n.3, p.503.
~
149
construccin.
150
242
152
244
Una de las
243
153
imposible el ser y el no ser a la vez y bajo el mismo sentido a la que reza las
proposiciones contradictorias no son verdaderas simultaneamente.
(...)
el uno no es
objetos, realmente,
~ Aristteles, Metajisca, IV-2, 1003b 22-34; cfr. idem. X-2, 1053b 19-28; tOMa
9-19.
154
no son dos tipos rivales de objetos, sino dos distintos modos de entender las
cosas. Los primeros atienden a su carcter de no-existentes, los segundos a su
carcter de existentes.
155
156
Conjuncin: pq
VI
VV
VI
1
1
1
VI
IF
IF
Disyuncin: pvq
Implicacin: p-eq
Equivalencia: peq
VIF
Y
Y
Y
y
IF
VSI 1
VV
VI
~
- ~
1 ..\7 ~
FI
157
a) Funtor conjuncin
1
1
1
F
I
I
VI
F
F
1
1
F
F F
F
F
F
I
IP
P
CP1
CP3
<Ddnkl,aiginai de
b) Funtor disyuncin
V
V
y
VV
ig~k 1
1
F
CPI
23
(dofinuis
&tukukwkfl
Tomando como criterio los textos del propio Lukasiewicz <algunos de los
cuales han sido citados en el presente capitulo), puede considerarse que l fue
consciente, al menosen lneas muy generales, de esta dificultad en la interpretacin
de su sistema trivalente. Por ello, no lo estim como un sistema concluido, sino,
158
ms bien, un punto de comienzo a partir del cual ir acercndose aL que debiera ser
nico sistema lgico propio del mundo real. Por ello, escribe en el ao 1936,
dieciseis aos despus de elaborar su sistema trivalente:
sabemos qu sistema es
A) DQSQIJNO..BIQGEEICQ
251
5Cfr. S.J. Sunna, J.T. Srzednicki, Di. Barnett y V.F. Rickey Introduction~ en
Stanislaw Legniewsld; Collected Works Dordrecht, Kluwer Academic Publishers 1992,
p.X.
Algunas fuentes citan el 18 de marzo de 1886 como su fecha de nacimiento. La
razn de la confusin es sencilla: el 30 de marzo, datado por el Calendario Gregoriano,
corresponde al 18 de marzo en el Calendario Juliano de la Rusia prerevolucionaria. Cfr.
E.C. Luschei, 71w logical systems ofLeiniewsld, Amsterdam, N.H.P.C., 1962, p.308.
252
161
Zygmunt Janiszewski6.
Por otra parte, desde 1919, y hasta la fecha de su muerte, Le~niewski ocup
el puesto de profesor de Filosofa de las Matemticas en la Universidad de
Varsovia.
Ciertamente resulta muy arbitrado fijar la fecha de disolucin de una escuela como
sta. Sobre tal momento final no he encontrado referencias explcitas en ninguno de los
estudiosos de sta poca: Resher, Rutz, Smith, Szaniawski, Bochenski, Haas, Zecha, etc.
No obstante, hemos de reconocer en todos ellos una implcita aseveracin de esta
opinin, dado que un comdn denominador en todos estos investigadores consiste en la
pauprrima presencia de referencias histricas sobre esta escuela a partir de la muerte de
Legniewski. La referencia ms clara respecto de esta opinin la encontramos en Jan
Woleuski:
258
~V1hile
1 have assumed thai he activity ofihe Lvov-Warsaw Sehov qua
school carne to cm end in 1939, it nevertheless seems necessay to describe the
fonunes (and misfortunes) of jis representatives, an of he School os a whole,
afier 1939. Iii May 1939 ihe death occurred ofStanislaw UAniewski, one ofthe
rnost eminent representatives of the School~ (Cfr. Woletlski, J. Logic an
163
(~,)59
Describir, penetrar y
Los temas y planteamientos abordados por este autor en esta primera etapa pueden
ser englobados en los siguientes:
262
165
YAESQY]A
t,z ihe course ofthe las ten years, iii which ny ontology has been known
to others from ny manuscr<pts, university lectures ami papers, (.4 haii he
opporunity to hear a number ofpublic statements about the theory which was
constructin~, (1 wish o mention here iii concreto the lecture entitied On Prof
Le.fniewsld s Ontology, which was delivered by Dr. Jan Lukasiewicz, Professor
of Philosophy at Warsaw Philosophical Institute on 24th March, 192)).
Le~niewski, On the foundations of Mathematics en Selecied Works, pi7l.
~ Respecto a Kotarbiski, LeMiiewski sostiene -incluso- ser uno de los fundamentos
de su doctrina:
obstante, ste fue mucho ms lejos en las conclusiones que su maestro Kazimierz
TwardowskF~.
influyeron en Leewski:
Twardowski -como se recordar- era este Principio uno de los axiomas sobre el que
se sustentaba la creencia en el absolutismo de la verdad. Para Le~niewski ser un
axioma conocido intuitivamente, tambin indubitable.
Le~niewski reconoce que uno de sus estmulos fue la lectura de algunos artculos
de Lukasiewicz, fundamentalmente: Uber den Satz des Widerspruchs bei
Aristoteles~ y Sobre la Lgica bivalente (original polaco)
~.
169
273
lgica:
Por diversas razones centraremos nuestro estudio en los escritos de la etapa
inicial de Le~niewski; resummoslas en tres:
a)
275
Quiz sea sta otra de las razones por las que la concepcin de la polivalencia
b)
asentada en el alio 1928279, por lo que todos los escritos posteriores -sin dejar de
reconocer su gran importancia- no influyen en lo fundamental de su concepcin
acerca de esta cuestin. No obstante, a la hora de estudiar el tema no ignoraremos
estos escritos posteriores. De los trabajos de la poca de madurez, que fueron
recopilados por Eugene C. Luschei destacamos los siguientes, en el contexto
de nuestra investigacin:
propiedad ~ni,
277
Przegladfilozoficzny, 16 (1913).
278
Przegladfilozoficzny, 17 (1914).
En los artculos del alio 1929, L4niewski aporta ya criterios rotundos y sentados,
que pernianecerdn invariables hasta el final de su labor investigadora.
279
2$
262
5La mereologia en Ldniewski es una teora de los todos y las panes y de las
relaciones ms generales posibles entre ellos; algunos la han denominado clculo de
individuos.
La ontologa en Legniewski no tiene el sentido comnmente acuado para ese
trmino. Aqu es una lgica de nombres, de verbos y de funtores de expresiones
nominales y verbales.
La protottica es ana lgica proposicional indefinidamente extensible; esto es,
una lgica de constantes y variables de todos los tipos semnticos posibles, con un
sistema de conectivas y funtores por medio de los cuales se engendran conectivas.
254 As como de esas tres partes de su obra existen numerosos estudios, de la nocin
de polivalencia lgica no nos consta la existencia de ninguno.
236
173
Los cuatro apartados de los que consta esta primera parte po4rfan parecer,
a primera vista, inconexos, pero ser en la segunda parte donde se descubra su
mdtua relacin.
A) LA ESENCIA DE LA LGICA
La funcin simblica
Legniewski sostuvo que todo sistema formalizado debe afirmar algo sobre
algo29. l se opuso en sus investigaciones a toda manifestacin de puro
formalismo; esto es, rechaz aquella concepcin en la que los sfmbolos carecen de
relacin con el mbito de lo extralgico. En esta postura fue claro deudor de las
argumentaciones de Twardowsk9~.
Le~niewskicriticaLluellaS construcciones
Cfr. Zermelo, E. ber die Grundiagen der ArithmnetilC, Ant del IV Congresso
internazionale del matematid, Roma 6-11 Aprile 1908, Vol.2 (1908), 8-11.
291
Works, idem.)
295
The arrangement ofdefinitions and ruths, which 1 established lvi thepresen work
dedicated to the most generalproblems ofhe theory ofses, hasfor me, in comparison
to oherpreviously known arrangemensofdefiniflons ant! truths <Zermelo, Russell, etc.,)
This advantage, that it eliminates he antinomies ofhe general theory of sas. (.4
Legniewski, 8. Foundations of the general theory of sets. 1, Preface.
176
fundamentar que los signos de la Lgica no son caracteres vacos, sino que
reemplazan a palabras, y stas, a su vez, reeplazan a conceptos de cosas. Por esto,
la postura formalista de Von Newmann es tachada por Le~niewski de irreal y de
acientfict.
formalismos -como el de Von Newman- no hacia sino reafirmar aquella postura que
implcitamente lata en su maestro Lukasiewicz; esto es, que los objetos
constructivos dependen siempre de los objetos actuales (los extramentales,
extralgicos, reales...). Ningn sistema de Lgica -partiendo de esta postura de
Le~niewski- es una mera construccin arbitraria y convencional, sino que ha de
constituir una descripcin del mundo real.
296
cenado en si mismo297.
En defmitiva, la Lgica -en Le~niewski- posee una funcin simblica, por
lo que no se entiende en si misma, sino en conexin con los seres reales.
~
Hemos encontrado en el conjunto de los escritos de Legniewski una nica
referencia explcita oponindose al convencionalismo en el conjunto de las obras de
Le~niewski. No obstante, son abundantes las citas implcitas.
Pero, dado que nuestro acceso al mundo real se da por medio del
entendimiento, y el contenido de los juicios del entendimiento se expresa con
oraciones, la Lgica necesita codificar tal lenguaje coloquial9 y, a travs de l,
acceder a lo absoluto del mundo.
representa el lenguaje coloquial, ms propiamente hay que sostener que sta tiene
como fm representar lo absoluto del mundo a travs del lenguaje coloquial.
179
realldad30t Esta trabazn con los seres del mundo real hizo que Letniewski
fuese calificado por su discpulo Sobociisld ms de metafsico que de lgico, o,
Esta postura de Ldniewski nos remite a la Aristteles. No hemos de olvidar que
LeSniewski -por influencia de Twardowski- recibi una slida formacin aristotlica. Es
necesario que la ciencia demostrativa -afirma Aristteles- pana de premisas verdaderas,
primeras, inmediatas, mds conocidas que la conclusin 6>) anterioreS a ella.
(Aristteles, Segundos analticos, 1,2; cfr. 11,19).
a
lenguaje- los juicios absolutos acerca del mundo; pero este sentido es el opuesto al
intuicionismo de Brouwer, dado que para ste tales leyes carecen de relacin con
lo estrictamente extramatemtico. Desde este segundo punto de vista tambin poda
haberse calificado a este autor como un anti-intuicionista.
Aunque se puedan descubrir ciertas conexiones entre ambas formas de
intuicionismo, la postura de Brouwer no preocup -ni interes- a Leaniewski. No
encontramos en sus escritos ninguna referenciaexplcita. Jan Woleiski se refiri tambin
a este aparente parentesco en los siguientes trminos:
a
(...)
valor cientfico310
Slo si partimos de las intuiciones que nos acercan a las cosas reales se
3,3
mferen cias
intuitivo
Cfr. Luschei,
1962, p.50.
314
E.C.
186
~.
consiste en una descripcin formal del mundo, dndosenos ste de modo intuitivo,
l designa su propio sistema con la expresin: formalismo intuitivo.
169s.
187
B)
CARCTER
PRIMORDIAL
DEL
PRINCIPIO
DE
inicialmente, parece admitir dos tipos de objetos: los constructivos (que, igual
que los objetos puros de Meinong, por ser ajenos a la dimensin de la existencia,
no estaban sometidos al Principio de Contradiccin), y los reconstructivos-actuales
(insertos en el mbito de la existencia y, por ende, regidos por el Principio de
Contradiccin)3~. De esta primera divisin se deduce que el Principio de
Contradiccin no es tratado por Lukasiewicz como un dato originario, (pues de
haberlo considerado originario, no habran tenido lugar en su sistema los objetos
constructivos)21.
~ Cfr. Lukasiewicz, 3. Ober den Satz des Widerspruchs bei Aristoteles, Bul.
Inern. de 1 Academie des Sciences de Cracovie, Cl. dhistorie et de philosophie, 1910.
Traducido en On the principIe of contradiction in Aristotle The Review ofMetaphysics,
Evety proofofhe princ~le of contradiction must take rito account hefact that
ere are contradictory objects (e. g. the greatest prime number). In the most general
formulation: the sanie characteristic cannot belong ant! not belong o an object <it he
sanie time ix in temis ofthe principie ofcontradiction most cerainlyfalse. It coukl only
be mee, ant! then it woukl <uso be provenformally, ~f he word object ix o designate
only objects whch are freefrom contradiction. 77k question <irises, however, whether
such objects are available <it alt especially whether the possible and he real contain no
contradiction. (Lukasiewicz, Op. cit. pp. 506s).
321
Dicho de otro modo: los objetos constructivos no son objetos simples, sino
construcciones artificiales en cuyo fundamento estn los objetos actuales.
189
Dos son, por unto, los ejes de la postura de Lukasiewicz en este tema: a)
la nocin de objeto es definible, y b) de la defmicin de objeto se deduce la
validez universal del Principio de Contradiccin.
(..)~
alguna que est fuera del ente, porque el no ente no puede ser un
elemento diferenciado?
327
ni
The expresion by he word object - mean something which cannot both ave
ant! not ave he same property (...) canno be he definition ofhe word object
because it does not contain he expression which could be generic with respect to he
word object (ix it does not satisfy he condition ofspec<fying genus ant! djfferetiae
specificae) Legniewski, lbidem.
329
192
~
Recurramos una vez ms a Aristteles para entender la postura de este autor de
realismo aristotlico:
194
C)
195
2.-El sujeto puede ser un trmino con denotacin o sin ella. Si posee
denotacin se dice que tal trmino posee funcin simblica (es decir,
que representa un objeto)32. Veamos un texto de Le~niewski donde
explicite el trmino denotacin:
Le~niewski, 5. Thidem.
196
connotantes
Otra de las teoras a la que hay que hacer referencia para entender el
desarrollo de la obra de Legniewski es la concerniente a los niveles del lenguaje.
mismo caballo.
338
1 - Una proposicin con un sujeto que denota puede ser verdadera o falsa.
.
2.-
circulo
(...)
mortal~.
342
Caballo tiene
no llene cola. Distinto caso habra sido decir: El centauro es un trmino de tres
slabas, pues nos hallaramos en el tipo de proposiciones cuyo sujeto posee
denotacin en el nivel metalingisticoTM5. Otros ejemplos de esta clase de
proposiciones son: el cuadrado redondo tiene las propiedades de cuadrado, el
~.
El fondo de esta
Cracovia, 1910.
Le~niewski distingue con claridad el sujeto predicativo del extralgico; si bien es
cierto que existe una correspondencia entre ellos, pues no puede nombrarse algo si no
existe en algn modo, sin embargo, no puede identificarse inmediatamente todo sujeto
351
205
-Un hombre que mata a todos los que no se suicidan, debe matarse a xl
mismo?.
lgico con una realidad extralgica. El siguiente texto de Zubiri muestra con claridad
tal concepciit
206
(...)
No existe, por ende, contradiccin si ninguna de las frases que posea tal
sujeto es verdadera.
El sujeto puede ser un trmino con denotacin o sin ella. Si posee denotacin
se dice que tal trmino poseefuncin simblica (es decir, que representa un objeto).
Una proposicin con un sujeto que denota puede ser verdadera a falsa. Si lo
connotado por el predicado pertenece al objeto denotado por el sujeto, se dice que
esta proposicin tiene funcin simblica; las proposiciones con funcin simblica
208
ser
En este artculo comenta alguna de las posturas de su compaflero Kotarbinski, que sobre
este tema hab~ publicado un articulo pocos meses antes: Zagadnienie istnienia
przyszlo~ci (El problema de la existencia delfuturo) PrzegladFilozoficzny 16 (1913) pp.
74-92. Tambin en Nowe Tory, n.X.
~
SSS
El hecho de que toda verdad lo sea sin comienzo alguno aduce Legniewski- no quiere decir que la libre creatividad sea
superflua.
~ Le~niewski, 5. Ibidem.
~ Legniewski, 5. Op. cit. p.113. A continuacin mostraremos el texto que sirve de
conclusin a Le~niewski a toda su exposicin sobre este tema:
multivalentes; sin embargo, deja sin resolver otro problema s superado por
Lukasiewicz: el del determinismo y los juicios sobre eventos futuros contingentes.
La conexin entre algunas cuestiones de la Lgica se manifiesta con claridad en
esta relacin de Lukasiewicz con Le~niewski dado que, en efecto, a los sistemas de
Lgica Polivalente le acompaflan necesariamente algunas doctrinas de otros campos
de la Lgica, (y de otras disciplinas filosficas).
212
3. INTERPRETACIN Y CRITICA
A) JNIEQl2UCCIQN
213
Otra de las lagunas existentes en los estudios sobre este autor consiste en la
exigua investigacin acerca de la relacin de Legniewski con otros autores de su
escuela. Esta cuestin -en nuestra investigacin- ser indisociable de la anterior.
B)
~ Aunque no de un modo explicito, s podemos apoyar nuestra tesis con este juicio
de Sobocisld:
~Thereis an ineresdng contras on this score beween he two grea
figures of he Warsaw School of Logic, Lukasiewicz andLeiniewski. (..) Thus,
in a sense, though he nevermendons philosophy, Leiniewsld rnay be regarded as
a philosopker oflogic<...). 1. ukasiewicz Izad no such preoccupations. He did no
ny fo consructa definite systern of hefoundations ofhe dedudve sciences . He
aims were, on he other hand, o provide exac ant! elegan srucuresfor many
domains of our 1nking, where such had efther been wanting or insufficient; and
on he other, o restore he vital itistorical dimension to logic Sobociuski, Op.
cit. pp.SSs
215
216
nene ser~), y que tales eventos al ser an futuros no son en acto sino en
potencia, el valor de verdad de los juicios referidos a ellos no podrn ser de igual
modo verdaderos que si nos refirisemos a eventos actuales.
que es, es cognoscible. De ello se sigue que, si la verdad se dice en la medida del
ser, y dado que no todos los entes son sempiternos, no todas las verdades son
sempiternas.
per se ve!per accidens( .4, consequens est quod sub elus cognitione
cadant res sub rationi praesentis, praeterfti e! finuri.
PSi ideo
secundum quod est iiipotentia, sed solum secundum est in actu, uit
pate per Philosophum Sn IX Meraphysicae.
223
compartida por Leaniewskicada cosa tiene verdad en la misma medida que tiene ser37>. La falsedad, al
contrario, se refiere a la ausencia de ser. La falsedad, por tanto, es un concepto
-
Desde esta
interpretacin secomprende par qu Le~niewski sostiene que los juicios con sujeto
no denotante son lsos: porque no simbolizan lo que
372
371
Aristteles,
sino siempre actual (ya que slo ahse concibe una verdad absoluta). Por ejemplo,
aunque la frase niafiana habr una batalla naval pueda ser analizada, ella misma
no es objeto de la Lgica sino la batalla naval de maflana en sf misma considerada
(en acto y atemporalmente); esta proposicin para Leniewski, pues, seda
accidentalmente objeto de la Lgica (objeto instrumental), mientras que para
l~ukasiewicz lo era propiamente. De esta diferencia en la concepcin de la Lgica
se deriva su diferente postura ante las cuestiones atinentes la Lgica Polivalente.
**
metafsico lgico
225
226
0,sn
A) BOSQUEJO BIOGRAFICO
~
Kotarbiiski defendi en 1912 la tesis titulada: Utilitarismo en la tica de Mill
y Spencer, publicada en 1915. Su aficin por la tica no desaparecera. En ese
contexto elaborarla la Praxiologfa como la ciencia de la accin eficaz (o ciencia que
investiga las condiciones de las cuales depende la mxima eficacia); cli T. Kotarbiski,
Pro.xiology An introduction fo t~ze Scence ofEfficent Action, Oxford, 1965; tambin:
Tite Concept of Action, Joarnal of Philosopky, LVII, n.7 (1960>.
-
227
<.
228
310
B) KOTARBISKI Y TWARDOWSKI
La influencia de Twardowski -al igual que en Lukasiewicz y Legniewsldfue tambin decisiva en KotarbiiskisW. Aunque no se encuentren en sus escntos
muchas referencias explcitas a las obras de su maestro, Kotarbhlski s manifiesta
abiertamente su dependencia -y gratitud- hacia Twardowski381.
~
influencia fue siempre reconocida por Kotarbiiski; en varias ocasiones realiz
escritos sobre su maestro en los que manifest su profundo respeto; clix Kazimierz
Twardowski Pion 21(1936) p.3; Przemwienie u truniny Kazimierza Twardowskiego
(Oracin funeral en memoria de Kazimierz Twardowski), Ruch Filozoficzny 14 (1938),
PP. 12-13.
El siguiente texto de aquel autorretrato de Kotarbinski ya mencionado puede
considerarse un buen ejemplo de este reconocimiento de Kotarbisld hacia Twardowski:
381
230
~ Se entiende, por ello, que sus alumnos escribieran abundantes artculos sobre su
concepcin filosfica. Una buena coleccin de ellos se recogen en un libro publicado
con motivo de su quince aniversario como profesor en Varsovia; este libro, publicado en
polaco, se titula ~Fragmenos
filosficos, Estudios en honor de Tadeusz Kotarbiski, en
la celebracin de su 15 aniversao de labor docente en la universidad de Varsovia
(Varsovia 1934).
A los 40 aos de su labor docente se volvi a publicar otro volumen de estudios
en honor de T. Kotarbiriski; tal volumen fue escrito fundamentalmentepor sus discpulos.
Aun, un tercer volumen apareci en el 80 aniversario de su nacimiento. Su labor
magisterial de escuela es manifiesta.
Cfr. Twardowski, K. O jasnym i niejasnym stylu filozoficznym (Sobre los
estilos claros y oscuros de los escritos filosficos) Ruch Filozoficzny 5 (1919), pp.25-27.
~
231
Un filsofo
(..)
~
Comprense estos dos textos, el primero de Twardowski y el segundo de
Kotarbiski, para descubrir una comn concepcin de fondo en lo referente a las
conexiones entre las diversas disciplinas de la Filosofa. Este punto va a tener mucha
importancia a la hora de entender cmo la cuestin de la polivalencia lgica hunde sus
races en aspectos de tipo metafsico y gnoseolgico:
A) 7here are, howewer, certain objects of knowledge wich are more or less
directy revealed o us ty bol> interna) ant.! exernal experience. lYsey induje
aboye al! most relations, such os equality and d(fference, sirnilarity and
opposition, agreemen and disagreemen, quantitoaive relo4ons, co-existence ami
sequence. Furher diere is a number ofconceps which we alsoform on the basis
of data provided L~, experience ofboth kinds; these include, a.mong otirer hings,
tire concepis of change, subsance, accidence, causality. (...) Finally tire resids
ofresearch done itt bol> spheres ofexperience mus be combined mio a systeznatic
whole (Twardowski, K. Psychologia wobec fiziologil / fllozofil, Lww, GiS,
1897. Traduccin por Woleski, op. cit. pp.36s).
B) Por my lectures ami classes were concelved os an organon in the classical
sense of he erm, for philosophers os well os for tizase who, hay/ng completed
iheir caurse of study, would espause he cause of disseminaing humanisfic
knowledge md ihinldng (...). Por ti seems especioily imporan when tire
problems ofatt organon ofUit kind are conce/ved hisiorically ami U quite cruda!
when pondering he original Organon ofAristotie (or o be more caultaus, ofhe
pen~osetic school) ami lis coniinuaors. Conceived itt Uds manner logic was lzy
no means confined o formal logic, but carne o comprise he problems of
epistemoogy, semantics ami methodology (Kotarbi6ski, T. 1hilosopbical selfPortrait en Woleski, Jan Koarbiski: Logic, Semanties ami Ontology,
Dordrecht, Kluwer, 1990, p.3.)
233
~-
A pesar de haberla
C)
1.-
que aconteci alrededor del ao 1913- ser una de las ms ricas en matices y
resultados de las dadas en el seno de la escuela de Lvv-Varsovia. El tema de
fondo sigue siendo el mismo: la temporalidad de la verdad, tesis de la que disentir
Kotarbidski. No obstante -como veremos-, las investigaciones de L4niewski
impulsaron a Kotarbiski a ir precisando su propia postura.
(...)
~ Cfr. Jordan Logical Determinism Notre Dame Jaurnal ofFormal Logic 1963,
X, 1-38; Greniewski 1-1. Tadeusza Kotarbi6skiego Wyklady z dziejw logiki
(Lecciones de Kotarbiiiski sobre historia de la Lgica), Studia Filozofiezne 1958, 3(6).
~ Cfr. Woleski, J. Kotarbiski, Many-Valued Logic, and Truth en Logic,
Semanfles md Ontology, Dordrecht, Kluwer, 1990, pp.l91-197.
237
Las pocas referencias directas del propio Kotarbiski a esta cuestin. Por
Kotarbiski~.
239
240
2.
KQIARBINSM
-Inlroducdn
.,
241
(...)
(.4.
243
244
245
E) EL REISMO ONTOLGICO
-Inbhodu~n
(...)
De un fragmento del texto antes mencionado (aqul que dice: Por otra
parte, las sustancias primeras, cosas en el sentido primado de la palabra, y
para nosotros simplemente cosas(.. .)
*INDIflDUALIDAD
70414.
Todas las categoras se dicen siempre de una sustancia primera que, por ser
Aunque no son las nicas entidades individuales, pues los accidentes tambin
pueden serlo.
414
249
tal, es individual; esto es, detrs de toda categora ha de existir siempre una
sustancia primera4U. Las sustancias primeras no son predicables de un
sujeto, ni estn presentes en un sujeto.
b) Cosa en Kotarbiilski
Me simil ask now wheter a general ter, denotes the set or he class of
its own designata. The answer Ls obvious ~fwe ave 1 mmd the distributive
meaning of the terms, ~fset aud class occur as apparent terms, In such a
case there ix no object which would be a set or a class ofMe designata of a given
tenn. Menee such a term cannot denote any such thing, and cannot bepredicated
about any such thing in a mie sentence (Elementy teorii poznania, logiki
formalnej i metodologii nauk, Wroclaw-Warsaw-Cracow, 1929, Gnosiology
Wroclaw-Oxford, Pergamon Press, 1966, p.l4).
250
CARCTER MATERIAL
251
b) Cosa en Kotarbhski
252
Todo
cuerpo,
asiente
Kotarbiiisld,
es tri-
Cfr. Aristteles, Fis. IV, 4, 204b, 205b; V,l; 208 b; VIII, 2, 253 a),
77us, reis,, thai is concretism (orsomatism -os idenuf y oil objecrs with
bodies and ita Cred soma means body) proves to be a certain tunoyaba of
tny organon (Kotarbiski, T. Philosophical self-Portrait en Woledski, Jan
Kotarbiski: Logic, Semanties atad Ontology, Dordrecht, Kluwer, 1990, pi).
Clix Kotarbiski, T.Gnosiology Wroclaw-Oxford, Pergamon Press, 1966, pp.
327ss.
Valga este texto de Kotarbiiski para mostrar que esa identificacin que efectua
entre sustancias materiales y cosa:
425
are society, nation, social class and alt oher instiutions (On the Phases of
Reism en Kotarbiski: Logic, Semantics and Ontoogy Dordrecht, Khuwer,
1990, Pp.154-155).
~ De no exisir las sustancias primeras, seria imposible que existiera nada de lo
dems Aristteles, Cat. 5, 2b 5-6.
427
(1964),
Cft. Sinis, Vito F. Kotarbiskis theoq ofgenuine names, Theoria vol. XXX
p.SO.
Una vez que ya hemos concluido cul es la relacin que existe entre
sustancia primera de Aristteles y cosa de Kotarbidski, podemos establecer de
un modo ms preciso cules son la notas de sta en el reismo dc Kotarbinki, (nos
fijaremos en aquellas que necesitamos para abordar la cuestin de la polivalencia
lgica). Estas son, pues, las caractersticas que consideramos ms relevantes de la
nocin de cosa en Kotarbiftski:
Son en acto
Estn sujetas a temporalidad. Por eso Kotarbiski sostiene que una cosa
25>7
258
lingtisticamente
La labor de un reista, en la consideracin de KotarbiAski, obliga a reducir
sistemticamente todas las categoras ligtiisticas a la categora de cosa~. Por
259
Slo las .cosas* son nombrables, reza uno de los principios centrales
del reismo semntico de Kotarbhlski. Para entender adecuadamente el alcance de
esta postura semntica hemos de profirndizar en la concepcin que tiene Kotarbiski
de la categora semntica nombre. Una distincin realizada por Kotarbiski se
impone como central: los nombres genuinos frente a los pseudo nombres. Con
estas especificaciones se puede delimitar con mayor exactitud qu~ es la categora
semntica nombre.
Los nombres genuinos son los que denotan alguna cosa. Sin embargo,
Nombres singulares: son aquellos que denotan una, y slo una cosa, (por
Nombres comunes: son los que denotan a la vez ms de una cosa; (por
Nombres vacos: son aquellos que no denotan nada (por ejemplo: el Rey
Francisco VI de Soria). No han de confundirse estos nombres con los pseu<lonombres. Mientras que las oraciones construidas con pseudo-nombres carecen de
sentido y, por tanto, de significado, las construidas con nombres vacos son falsas,
pero con significado443. Aquf, como veremos ms adelante, anticipa Kotarbiski
una clave de interpretacin para las oraciones con valor lgico indeterminado.
Cfr. Sinisi, Vito F. Kotarbiiskis theory of genuine names, Theoria vol. XXX
(1964), p.82.
4M
ejemplo:
concepto,
disposicin,
movimiento,
mtodot.,
En general, son los nombres referidos a propiedades y
relaciones445. Estas palabras, aunque pueden figurar coherentemente como II en
una oracin de estructura A es W, no realizan sino una misin de sustitucin
446
~ Cfr. Sinisi, Vito F. Kotarbillskis theory of genuine names, Titeoria vol> XXX
(1964), p.S0.
~ En este punto se separa radicalmente de Le~niewski, pues las propiedades y
relaciones las comprendfa ste como objetos simples. Cfr. Grzegorczyk, A. The
systems of LeAniewski iii Relation to Contemporary Logical Research, Studia Logica 3
(1955). Apreciemos esto en un texto del mismo Kotarbi6ski:
Iii my innei-nwst intentions, when calI he words relation, propei-ly,
etc., opparent names mean o certain condition of he ruth of sentences in any
languoge it which, accarding o he intention ofhe speaker, hose words do not
denote hings. Now iii any sach language any uaerance which fornally impEles
he existence of designata of sucis words can be rna oid> hz so far os it ix
substiruve or twa literal it nature it has a secondary interpretalion En whch
such a proof of existence would no be possible.
Consider, for instance, tite
sentence Wldteness Es arz altribute ofsnow. Fonnally, he existen ce ofwhiteness
floowsfi-am it, on he srengh of tize formuta: A est II ex A. Now we soy
thai un titis sentence he word whiteness Es arz apparent tome. iJ?> saying tuis
(...) we cloim hat (filiEs sentence Ls o be rae En he spealcers knguage, it must
be inerpreted in a substinaive, secondwy sense (...). for in its literal
interpretation we could prove he existence of whireness oit tite strength of tizis
sentence (Kotarbiski, Selectd Works pp. lOEs>
-
(...)
nosotros decimos
nada ms, y nada menos, que el padre es mayoi- que el hijo. Esto
es todo44
263
~.
3. INTERPRETACIN Y CRTICA
-inuoeucdn
45
452
266
Le4newski
a) LUKASIEWICZ
b) LE=NIEWSKI
Dado que tanto las cosas pasadas, como las presentes y las futuras, desde
esa Lgica atemporal, son vistas en su actualidad (en tanto presentes), cabe predicar
siempre la verdad o la falsedad de todas las cosas, y no es preciso otro valor
intermedio para las cosas que aun no son, pues esa perspectiva de futuro es
inexistente desde la Lgica.
atemporalmente la verdad de las cosas en tanto que son en acto; mientras que el
determinismo consiste en predicar la verdad de lo que todava no es en acto. A
su vez -como hemos visto- Le~niewski rechaza el recurso de tukasiewicz a la
palivalencia.
269
En las oraciones con nombres vacos el caso es bien distinto. Los nombres
vacos -en Kotarbitski- son aquellos que no denotan. Estas oraciones -afirma- no
son ni verdaderas ni falsas, sino vacias de significado pues no representan juicio
~
Los nombres comunes denotan a la vez m~s de una cosa; por ella, su
consideracin a este respecto no difiere de la de los nombres singulares.
~ En su libro de 1929 Kotarbiflski explica en estos trminos lo que entiende por
adecuacin con la realidad:
alguno4~. En efecto, dado que slo los juicios poseen valor de verdad, una
oracin (pseudo-oracin) que no represente a un juicio no tiene valor de verdad
alguno, pues no hay juicio.
de
Legniewski,
segn
la
cual,
cabe
estudiar
los
objetos
327ss.
~ Kotarbiuski, Op. cit. p.435.
273
atemporaLmente4
Veamos una consecuencia derivada de esto: desde esta perspectiva
kotarbiskeana, un juicio sobre un evento futuro contingente de los que trata la
Lgica Trivalente de Lukasiewicz no puede contemplarse atemporalmente (como
en Le~niewski), pues la dimensin temporal es inherente a la Lgica.
2) La Lgica y la existencia
Cfr. Le~niewski, 5. Czy prawda jest tylko wieczna czy tez i wieczna
odwieczna? Nowe Tory 18 <1913) pp.493-528. Versin inglesa: ls ah truth only true
etemally or is it also true without a beginning? en CollectedPapers, Dordrecht, Kluwer,
1988, Pp. 86-114. Como ejemplos:
4
4~
274
Puesto que slo se predica la verdad de lo que es, a lo que adn no existe
no se le puede asignar verdad o falsedad (postura abiertamente detractora de la de
Le4niewski). Kotarbiski, a estas oraciones sobre el futuro, ni siquiera le asigna
un valor indeterminado como hipottico valor de verdaP~ (como lo hiciera
Lukasiewicz), pues lo que no es (lo que no es cosa) no es sujeto de atribucin,
no es ni nonibrable por ello se sobreentiende que detrs de tales oraciones
(pseudo-oraciones) no existe juicio alguno.
Las ftases con trminos referentes a objetos que no son cosas estn
compuestas por pseudonombres.
oraciones. Son, por tanto, expresiones que no interesan a la Lgica. Con esta tesis
refuerza su oposicin a los juicios de eventos futuros contingentes de Lukasiewicz.
En efecto, Kotarbisld considera imposible referirse al evento futuro en si (como
aconteca en Le4niewski y, en parte, en Lukasiewicz).
atinente a la formalidad del ser, ala BvcrMlc roO roteN). Por ellQ no es que
para Kotarbiski estos juicios no tengan significado, tal y como suceda en las
~- Los valares de verdad slo son asignables a los juicios; pero dado que las
oraciones representan a los juicios, cabe -impropiamente, empleando una elipsis- asignar
un valor de verdad a una oracin.
oraciones con nombres vacos, sino que no son propiamente juicios; es decir, son
pseudo-oraciones. Lo futuro no es, y, por ende, no es tampoco nombrable.
Kotarbiski, est sujeta a temporalidad; segn Le~niewski no. En uno y otro caso,
las descripciones no son deterministas; son subsidiarias siempre de lo que es, de
lo en acto, de lo presente. En Ldniewski el futuro es considerado en acto; en
Kotarbiski el futuro no existe, no cabe hablar de l.
Este aspecto, aunque no tratado con gran precisin por Kotarbiski, s nos
permite situar la cuestin de la polivalencia lgica en un mbito muy interesante
y comn a los de la escuela de Lvv-Varsovia: en el de la relacin de la Lgica
con el mbito del mundo ~real~a. Los planteamientos de Kotarbirski, entre otras
aportaciones, alejan la tentacin de considerar como meramente formales los
problemas de la Lgica Polivalente.
~ Woledski expone con las siguientes palabras una reflexin sobre el lugar del
relsmo en la escuela de Lvv-Varsovia:
~Reismmay be reated as a su generis deviadon from he general
tendencies which prevailed En he Lvv-Warsaw School. It certainly was because
Twardowski and man ofhis disciples avoided radical soludons. Such endencies
of reism as behaviourism and naruralism have also been deviations because he
school on he whole stoodfor inrospection and he versehende approach o he
humanides. Bis autoimitation and he preservadon of intentionality of mental acts
(or raher of wha he reiss rea u mental acts) shaw Kotarbiski s connections
wllh Twardowski s radition, despite he raher revitionist solutions sugges:ed l~
he philosophy of he concrete (Woleiski, J. Logic and Phllosophy in he LvvWarsaw School Dordrecht, K.A.P. 1989, p.243).
278
VI.
A) BOSQUEJO BIOGRFICO
280
P.c., 1974.
la Universidad de Varsovia.
282
tal escuela
Kazimierz Ajdukiewicz no fue nicamente un concienzudo y profundo
investigador, sino que, adems, segn sus amigos, compaeros y discpulos, era un
personaje de sincera amabilidad, sensible a las injusticias, excelente organizador y
un hombre de accin. Uno de sus ms importantes discpulos -Jerzy Giedynhinescribi:
alas cualidades deAjdukiewicz que m4s me han impresionado
personalmente (..j cuando yoperteneca al cfrculode sus discpulos
y, consiguientemente, al de sus jvenes colegas, fue su dignidad,
independencia de mente, y una peculiar habilidadpara abordar con
nueva luz problemas aparentemente gastados ~.
283
Ajdukiewicz was nol only a deep ant!conscientious thinker. Afriendly man, with
a strong feeling for justice, att excelent organizer, he was also a man of action. His
merits have beenfully acknowledged by his compatrio:s. He has 141 a gap that will not
befiledfor a long time (Kokoziulska, M. Kazimierz Ajdukiewicz en Contemporary
Phflosophy, Florencia, La Nuova Italia Editrice, 1968, p.206>.
284
convencionalismo radical.
-
285
Titere are in Poland no absolute ad/zerents of the Vienna Crcle. ido not know
any Polish philosopher who wouldave assimilared md accepted he material heses of
he Vienna Circle. The affinity beween sorne Polish philosophers ant! he Vienna CircIe
consiss in he similariy of he fundamental methodological atUude md he affinty af
the problems analysed~ (Ajdukiewicz, K. Der logistiche antirrationalisnius in Polen,
Erkenntnis, 5 (1935) p. 151).
481
En efecto, a lo largo de sus escritos apenas se encuentran citas explt~itas sobre esta
cuestin. Algunas de sus citas, no obstante, muestran con claridad que este
problema no le era ajeno. Quiz una de las ms claras que encontramos en su obra
es sta en la que enjuicia la postura de Lukasiewicz sobre la Lgica Polivalente
(corresponde a una postura de su poca de convencionalista radical):
287
Ajdukiewicz, Empiricism and the concept of meaning, The Scien4flc WorldPerspecive and Other Essays, 1931-1963, D. Reidel, Dordrecht, 1978. -Editado por J.
Giedymin-, p.316.
288
inWzdn~Ma
289
Experiencia (1934)~
(1934)~
-
utilizar.
Retrato del mundotm: con esta expresin se refiere al conjunto de juicios que
Ajdukiewicz, Kl. Op. cit. p.72. Esta postura puede ser comparada con la tesis de
Benjamn Lee Whorf (1897-1941) fundamentalmente en su obra Languaje, Thought ami
Realiy, 1956. (Sobre las semejanzas entre Ajdukiewicz y la tesis de Whorf:
Skolimowski, Herryk, Polish Analitical Philosophy, A Survey and a Comparison wih
British ,4nalytical Philosophy, London, Routledge & Kegan Paul, 1967, p.151.).
La tesis de Whorf, que por asemejarse a las de Edward Sapir es conocida como
tesis de Sapir-Whorf sostiene que la estructura de un lenguaje determina los modos de
pensar del grupo que lo usa; segn sea el lenguaje empleado, as ser la imagen del
mundo y la actitud frente a 1. Esta tesis se elabor especialmente investigando en
lenguas de indios americanos. (Sobre esta tesis cfr. Penn, Julia M. Linguisnic Relativiiy
versus Innate Ideos: Tite Origins of tite Sapir-Whorf Hypo:hesis in Gennan 7houghz,
1972).
Si bien la tesis de Sapir-Whorf podra confirmar la postura convencionalista
radical de Ajdukiewicz, no pueden soslayarse las abundantes crticas que esta tesis ha
recibido, Entre tales reprobaciones destacamos las que aducen no existir concepciones
distintas de la realidad (por ejemplo en experimentos realizados con colores) adn
emplendose lenguas muy distintas. Tambin parece volverse contra la tesis misma el
hecho de que para entender las concepciones distintas acerca del mundo, producidas a
partir de lenguas diversas de la propia, sea necesario comprender tales concepciones: slo
si se conocen ambas posturas se las puede comparar; si se entienden ambas por un nico
sujeto es que han podido ser aprendidas y, por tanto, tales lenguas no son absolutamente
ajenas entre s. De todo esto se deduce que la imagen del mundo que producen no tienen
por que ser radicalmente distintas. (Cfr. Ferrucio Rossi-Landi, Ideologies of linguistic
Relativity, 1974).
294
Para Kant, aunque el origen de todos nuestros conocimientos estt en los sentidos,
el entendimiento aplica a tales datos sensoriales (materia) unas categoras que los
organizan5~. La cosa en s(nonmeno) no es conocida, lo nico accesible es el
fenmeno:
El primer camino no se da en
aparato conceptual que se emplee. Lo conocido esun retrato del mundo~, no una
copia de ste:
~.
la concepcin kantiant. Afirma ste que mientras Kant considera ]as categoras
como integradas en la naturaleza humana (son conceptospuros del entendimiento),
l, sin embargo, concibe el aparato conceptual que se emplea independiente a ella.
La de Adjukiewicz es una posicin ms flexible, pues aunque e! hombre est
obligado a pensar desde un aparato conceptual, no est forzado a hacerlo con uno
concretos:
297
cverdad*
(.4,
~.
Ajdukiewicz arguye que, dado que todo retrato del mundo es relativo al
aparato conceptual que se emplea, del mismo modo, la verdad que se atribuye a
los juicios que constituyen un retrato del mundo es relativa a tal aparato
conceptual. Adems, puesto que no es plausible referirse al mundo si no es con
el auxilio de un aparato conceptual, la verdad es siempre relativa a un lenguaje;
siempre que se atribuye la verdad a un juicio, inxplfcitamente se est afiadiendo a
es verdadero la clausula en mi lenguaje:
En efecto, si el retrato de la
515
ifl~QdU&flfl
(1936Y~
304
XVI,
~ Cfr. Ajdukiewicz, 1<. Sprache und Sinn, Erkenntnis, IV(1934), 4-5, Pp. 105116. Versin inglesa en Tite Scienufic World-Perspective and Otiter Essays, 1931-1963,
D. Reidel, Dordrecht, 1978, pp. 111-117.
305
esto es, slo existan criterios a priori -no empricos- pertenecientes a los mismos
aparatos conceptuales, ahora -en el empirismo moderado- tambin son admitidas
las reglas empfricas (las reglas que proceden del conocimiento experiencialyz.
(..)
528
conceptual, por esta razn, la verdad sobre stos sigue estando en alguna
medida dominada por l.
309
radical:
311
Sultcs analficos,
EMPIRISMO:
-fladlcsl
SI
NO
NO
-ModerftdQ
SI
SI
NO
SI
SI
140
SI
SI
APRIORISMO
-Moderado
1973, p.39).
~ Cfr. Ajdukiwicz, K. Op. cit. pp.3O7s.
~ Cft. Ajdukiewicz, K. Logica a do~wiadczenie Prieglad Filozoficzny XLIII
(1947). Versin inglesa en Logic and Experience Tite Scientjflc World-Perspective an
Other Essays, 1931-1963, D. Reidel, Dordrecht, 1978, p. 174.
312
~Ajdukiewicz, K. Epistemologia i semiotyka PrzegladFilozoficzny XLIV, 4, 336347. Epistemology anO semanties en Proceedings ofhe Xth Congress international of
Philosophy, Amsterdam, pp.6O7-609.
Ajdukiewicz, K. Epistemology and senantics en Proceedings of he Xilh
Congress International of Philosophy, Amsterdam, pp.607-609.
313
sino tambin expresiones que denoten las cosas que son los objetos
de tales pensamientos ~
315
Podemos resumir en las siguientes dos tesis los aspectos nucleares de esta
postura que Ajdukiewicz denomina realismo lgico7:
a) Todo juicio expresa algo que sucede en la esfera de los objetos reale?;
por ende, todo lenguaje es reductible a enunciados sobre entidades concretas.
Ajdukiewicz aduce que toda autntica proposicin posee un referente que es una
entidad objetiva. Es decir, que para la formacin de proposiciones, as como
para la delimitacin de su significado, es imprescindible considerar su referencia
a la esfera de los objetos reales51
317
Sin
Problemas de significado
Las
3. INTERPRETACIN Y CRTICA
A.
LOS
VALORES DE
VERDAD DE
LOS JUICIOS
EN
EL
321
logical Way of Doing Things, Yale U.P., Lambert, 1969. Ni Poincar~ ni Ajdukiewicz
emplean esta expresin de hueco de valor de verdad; esto responde a una interpretacin
que presento sobre Ajdukiewicz.
Ajdukiewicz, K. TIte World-Picture and tIte Conceptual Aparatas Tite Scien4/lc
World-Perspective ant! Other Essays, 1931-1963, D. Reidel, Dordrecht, 1978. p.88.
322
La verdad que se atribuye a los juicios que constituyen un retrato del mundo es
Cfr. Ajdukiewicz, 1<. The World-Picture and ihe Conceptual Aparatus The
Scient(/lc World-Perspective <md OtherEssays, 1931-1963, D. Reidel, Dordrecht, 1978.
5
324
325
326
Ajdukiewicz, K. The Scientiflc World-Perspective Tite Scientlftc WorldPerspedflve md Otiter Essays, 1931-1963, D. Reidel, Dordrecht, 1978. p.l 17.
327
IDLWdU~d1~R
cualquier otro valor veritativo de los juicios que no sea la verdad o la falsedad.
328
objetos reales.
Como conclusin podemos aseverar que todos los juicios de la Lgica han
de ser determinados; no cabe la indeterminacin como genuino valor de la
Lgicatm.
329
Ante expresiones en las que alguno de sus trminos posean una denotacin
existente pero desconocida para el que la investiga, podra afirmarse que su valor
veritativo es latente, y que al desconocerlo se le asigna el valor de verdad
indeterminado. sta puede ser una de las causas de las que se puede desprender
la as llamada Teora de conjuntos difusos o Lgica borrosa~. En efecto,
cuando uno de los trminos de un enunciado es de extensin o intensin difusa, se
puede estabcer una probabilidad de que se refiera a una u otra realidad. En la
Lgica de enunciados difusos caben enunciados como los siguientes: Juan es en
cierto modo calvo; La casa del marqus tiene ms o menos quince
habitaciones...
~ Cfr. Dubois, U. y Prade, II. Fuzzy Sets and Systems: Theory and Applications
Nueva York, Academic Press, 1980.
330
como Van
331
admitida, sensu stricto, las expresiones vagas entre aquellas de las que se ocupa la
Lgica, pues, igual que en el caso anterior, no representan nada de lo que sucede
en la esfera de los objetos reales.
334
1. ra~AMBULO
NARSOXIA
La Segunda Generacin de la escuela de Lvv-VarSOVia est compuesta por
el conjunto de investigadores que se formaron con los inmediatos seguidores de
TwardowSkl; esto es, con LukasiewicZ, Legniewski, Kotarbiski y Ajdukiewicz.
fi
-DANIELA GROMSKA
Daniela Tenner -ms tarde conocida como Daniela Gromska- naci en 1889
y falleci en 1973. Mantuvo contactos especialmente con Kotarbiski y
Ajdukiewicz. Gromska, a pesar de haber sido conocida ms como traductora e
historiadora de Ja Lgica, efectu, en sus anlisis, algunos interesantes comentarios
sobre la Lgica Polivalente. Destacamos entre sus trabajos:
JANINA HOSIASSON-LINDEMBAUM
Janina Hosiasson -que naci en 1899 y falleci trgicamente en 1942-
Aunque con menor relacin respecto de los estudios sobre la polivalencia lgica,
si hemos de reconocer algunas referencias de Maria Ossowska (1896-1974), Mojzesz
Presburger (?-1943?), Jan Salamucha (1903-1944) y Wladyslaw Tatarkiewicz (18861980).
~
de la Probabilidad.
JANINA KOTARBISKA
Janina Kotarbiska, nacida en 1901, ha analizado y desarrollado con
referentes a la ~temporaIidad
como dimensin de la Lgica, aspecto que -como ya
expusimos- ha dado origen a algunas corrientes de polivalencia lgica. Entre sus
artculos de investigacin destacamos:
582
En Pelc, Semotics
ti
226.
337
MORDECHAJ WAJSBERJ
Mordechaj Wajsberj naci en 1902 (su fecha de defuncin es desconocida).
SheffernSM
-
HENRYK MEHLBERG
El lgico y fsico Henryk Mehlberg (1904-1978) prest especial atencin a
ANDRZEJ MOSTOWSKI
Andrzej Mostowski (1913-1975) se preocup especialmente de la
59
calculi m
-
392
JERZY SLUPECKI
Jerzy Stupecki, nacido en 1904, es uno de los miembros destacados de la
estos aos, hasta 1939 -fecha en la que, tras el bombardeo alemn de la ciudad,
1. ukasiewicz abandon la universidad- Siupecki trabaj muy estrechamente con l.
Estudi a fondo los planteamientos polivalentes de L ukasiewicz; el mismo
Lukasiewicz descubri en Siupecki un posible continuador de su lnea
investigadora, por lo que apoy pUblicamente algunos de los trabajos que el joven
lector Siupecki estaba efectuando.
Logic
-
596
Calculus of Propositions.
BOLESII. AW SOBOCISKI
Boles 8w Sobociski (1906-1980), discipulo de Ldniewski y L ukasiewicz,
analiz y compar las posturas de estos dos maestros suyos. De sus numerosas
publicaciones podemos destacar alguna obra dedicada a Lukasiewicz as como
abundantes artculos analizando la concepcin de Le~niewski:
deduction
ALFRED TARSKI
Alfred Tarski (1901-1983), autor influyente en las investigaciones de
598
valente:
343
B)
LdkQWSU
Varias son las razones que apoyan la eleccin de JaSkowsld como ejemplo
Internacional de Filosofla de Pars; las ponencias de estos dos autores dieron origen
a variadas discusiones casi hasta la muerte de ambos (acaecidas con apenas dos allos
de diferencia). 1. ukasiewicz y Le~niewslci fueron sus directores de estudios en la
universidad; la influencia que de ellos recibi fue decisiva. Tambin -como
tendremos ocasin de comprobar- son importantes los paralelismos con Kotarbi6ski,
344
escuela de Lvv-Varsovia, por lo que puede asegurarse que no fue ajeno a las
discusiones que en el seno de esta escuela se estaban dando.
preocupacin por los problemas filosficos, por lo que se puede decir que ntegra
las sensibilidades procedentes de las primitivas escuelas de Lvv y de Varsovia.
345
ZawMi
Por no ser ya esta segunda generacin objeto directo de esta tesis nos
limitaremos a una breve exposicin de este autor, lo suficiente para entender estas
dos posturas opuestas acerca de la polivalencia.
A) BOSQUEJO BIOGRFICO
Stanis3aw Ja~kowsk?06 naci en Varsovia el 22 de abril de 1906 dentro de
una familia de una cultura profundamente humanista. Su abuelo fue Jan Nepomucen
Ja=kowski,un prestigioso escritor y poeta polaco. La herencia de su abuelo pes
bastante en su formacin: Jaskowski supo conjugar el inters en los estudios
cientficos, con la preocupacin por temas humanistasWl.
A pesar del inters con que los padres del joven Stanisl aw Jagkowski
insistan para que dirigiese ste sus estudios hacia las letras o las leyes, su profunda
vocacin a la Lgica y a la Matemtica le condujo a iniciar sus estudios
universitarios en estas materias en el alio 1924.
~ Cfr. Jagkowski, 5. Oit tite mes of suppositions lii formal logic Studia Logica,
Warszawa 1934, pp. 1-34. La originalidad de su estudio se vid eclipsada por la
publicacin de un trabajo similar de Gerhard Gentzen que, aunque elaborado con
posterioridad al de Ja~kowski, fue publicado antes; cft. Untersuchungen <iber des
logische Schliessen Moshemazische Schnft, 39 (1935) pp. 176-210; 405-431. (Este
artculo de Cfentzen constitua una leccin inagural en Gttingen).
Cfr. JaSkowski, 5. Recherches sur le syst~me de la logique intuitioniste Actes
du Congrfl Internacional de Philosophie Scientfique, vol. VI, Pars 1936, pp. 58-61.
348
polivalencia lgica.
350
617
Destacamos las siguientes publicaciones (de entre las que no tienen que ver
directamente con la Lgica Polivalente):
Sur les variables propositionnelles dpendantes Studia Societatis
Scientiarum Torunensis, Sec. A. 1(1948), Pp. 17-22.
On the modal and causal knctions iii symbolic logic Studia
Philosophica, 4(1951), pp.7i-92.
ber Tautologien in welchen keine variable meir sis zweimal
vorkommt Zeitschnft ilir mahemo.tische Logik md Grundiagen der
Mwhematik, 9(1963), pp.219-228.
-
351
p.24
Cfr, Haack, 8. Lgica Divergente, Madrid, Paraninfo, 1980, p, 140.
Cfr. Zinovev, A. Philosophicalproblems of Many-Valued Logie, Dordrecht,
1963, pp.9, 23-27
621
La excesiva brevedad y concisin de sus exposiciones sobre este tema. Ello nos
en Ja~kowski.
La existencia de dos perspectivas desde las cuales aborda esta cuestin: desde el
estudios.
353
Congr~s international de Pidiosopirie Sciennfique, vol. VI, ParIs 1936, Pp. 58-61.
Jaslcowski, 8. Rachunek zdax da systemw dedukcyjnych sprzecznych Siudia
Socieracis Scientiarum Torunensis, Sec. A. 1<1948), Pp. 57-77. (Traduccin inglesa en
Studia Logica 24(1969) pp. 143-157). En este trabajo no slo se realiza un amplio
desarrollo formal, sino que -como veremos- cabe descubrir implcitamente una
interpretacin sobre la polivalencia lgica, visin que trataremos de extraer en este
capitulo.
621
628
Los tres son citados en la ponencia del mencionado Congreso de 1936. Tales
trabajos son:
-
65).
Tambin, al menos indirectamente por medio de Heyting o Lukasiewicz,
influyeron otras interesantes publicaciones inmediatamente anteriores a esta ponencia suya
pronunciada en 1935. Destacamos dos de GSdel que, aunque Jaslcowski no las cita
directamente, no es arriesgado suponer que las conoca, dado que los planteamientos de
Gdel estn muy conectados con los de Kolmogorov:
G6del,
Lgica en Jagkowski
356
-Inftodic~n
La matriz veritativa
da
emple Lulcasiewicz:
=fV~,a
de verdad bsico -la verdad- se representa con 1. Por ello, todas sus
operaciones de extensin de matrices partirn del valor 1 para a y y.
632
633
Se dice
<f,
1 a y>
p
n
a(tJ)
Expliquemos cmo ha de unterpretarse este cuadro. Para un sistema nvalente, la matriz a de la negacin de p, (esto es: N0p,) adquiere los siguientes
valores:
n.
p N0,p
p N,,~4p
p N55p
13
14
15
22
23
24
31
32
33
41
42
51
361
ltpq
p~q
a(=n)=y
a+l
y(=n)=a
y+l
<Kay>
n+1
n+1
n+1
A~pq
y(=n)=a
<Aay>
y+l
a
n+1
7< =n)= a
<Cay>CCay>+1
ji
Por
a) CONJUNCIN
Paso 1) La primera aplicacin de estas reglas (en la que ha de partirse del punto
en el que confluyen a y y con el valor 1) da como Inico resultado completo la
matriz bivalente:
362
K~pq
p/q 1234
12 34
22
33
44
K.~,pq
p/q 123
11
12 34
22 34
33 3
44
363
K~,4pq
plq 123
123
223
333 4
444 4
Kr.spq
IQ-4Pq
p\q 123
1234
12345
123
1234
12345
223
2234
22345
333
3334
33345
4
5
4444
44445
55555
364
b) DISYUNCIN
A~pq
p\q 1 2
11
12
A~3pq
A..5pq
12345
p\q 1 2 3
1234
111
1111
11111
122
1222
12222
123
1233
12333
4
5
1234
12344
12345
365
c) IMPLICACIN
C,pq
p\q 1 2
11
12
C,5pq
p\q 123
1234
12345
123
1234
12345
112
1123
11234
111
1112
11123
4
5
liii
11112
11111
366
CA (ir),A [P(r)r
Esta ley de Ja~kowslci -publicada en 1936- aparece seis anos despus de que
367
368
En el aflo 1948, trece aflos despus de sus estudios sobre las matrices de los
sistemas n-valentes, se enfrenta Jagkowski auno de los problemas lgico-filosficos
que m~s preocuparon en el seno de la escuela de Lvv-Varsovia: el de la
contradiccin.
370
Clases de contradiccin
Por eso todas las demostraciones se remontan a esta Utirna creencia; pues ste
es, por naturaleza,principio (ap~4) tambin de todos los dems axiomas (cte eoar> y)
(Aristteles Met r3, 1005b 32-34)
643
Jagkowski analiza con profundidad las diversas posturas detractoras del Principio
de Contradicin en Zagadnienia logiezne a matematyka Myl Wsplczesna r. 1947, it.
7-8 pp.57-70.
Cft. Ja~kowski, 3. Propositional Calculus For Contradictory Deductive Systems
SiudiaLogica 24(1969) p.143.
~
371
Otra de las
Cfr. Woleski, J. Logic and Philosophy iii tite Lvv-Warsaw School Dordrecht,
K.A.P. 1989, p.137.
A los niveles del lenguaje, aunque con un desarrollo distinto, se habla ya referido
Letniewski; cfr. TIte critique of tite Logical Principie of the Exciuded Middle en
~ollected Works, Dordrecht, Kluwer, 1992.
641
372
adecuadamente su signiflcadot
momento6
653
Russell5t
El sistema bivalente
el discusivo
contradicciones discusivas, ya que -en su opinin- son las que han creado
problemas en la historia de la Lgica.
El sistema
bivalente L2, al ser slo extensional, carece de matices modales que permitan
mostrar que no todos los trminos de igual forma poseen idntico sentido.
376
clculo lgico: el sistema discusivo a. Tal clculo debe cumplir los siguientes
requisitos57:
Podr admitir simultneamente como tesis en tal clculo oraciones del tipo
nawre of tire treses, whiclz Mus sIrall no Ionger reflect a un41onn opinion. Tite
same happens ~ftite eses advanced by severa! participants tu a discourse are
conibined mio a single sysem, or foneperson s opinions are so pooled hito one
sysem although thatperson is not sure wheer tite emnis occurring in iris various
iteses are not slightly differentiated it titeir meanings (Ja~kowski, Op. cit.
Fnally it Ls known
it
Por esta razn, en cada una de las tesis discusivas debe quedar claro de
algn modo su carcter de no absoluta, (esto es, de posible). En efecto, el
sistema discusivo incluye una implcita reserva ante los teoremas que elabora, por
lo que les antepone el calificativo de posible. Bajo esta perspectiva tendr que
interpretarse el sistema de la lgica discusiva.
marked by periods
iii
witich are no always consisen wftir one anotiter, o explain the vanous groups
ofpitenomena. Titis applies, for insrnnce, to physics in frs presen-day stage.
Sorne hypotheses are even termed working hyporheses when they result in cenain
correc predicions, but ave no chance to be acce.ptedfor good, since theyfail
ir, sorne otiter cayes. (Ja~kowski, 5. Op. cit. p.l45).
~
378
379
contexto modal. Los nuevos funtores los simbolizar de igual manera aunque
atiadindole el subndice d56 Estas son las nuevas definiciones (cuya
interpretacin analizaremos ms adelante):
Ed 1
KdCdpqCdqp
380
4. INTERPRETACIN Y CRTICA
A)
CONCEPCIN
DE
LA
INDETERMINACIN
LGiCA EN
L~EWSL
381
(KpMNp)
CMpq, tendramos
es grande (CMpNp).
661
1)2
es una
669
La indeterminacin en Jagkowski
f,~,
sino
f,..,,.
no es un sistema finita-valente ~.
384
o IFI.
tantos tipos de
~<For
ah n, Ita man with n itairs on Ms itead is bali!. titen a man with
(n-4-d) hairs on itis itead Es bah) will be false jfd Es large enougit. On tite
se,nantics favor, it is nofalse when d= 1, altougir it Es closer o beingfalse tiran
to being rrue. There Es no correct answer jo tite question Exactly itow large rnust
d be jo render tite statement fully false? 51111, it Es natural jo regard tite
statement os approaciting falsity as d increases. Sucir Enequauities between
intermediate truth-values can be accommodated by arz mnfinzte-V2lue semantlcs but
no ~ tite super-trutit approacir. Titis Es ha lan reason sitaul offer itere itt favor
of att inflnite-vahue semantics for a logic of vagueness (Sanford, DM.
Competing Semantics of vagueness: many values versus super-truth Synthese
33(1976) pp.2O95).
385
623
-1ntmdu~dn
Bajo esta esta concepcin de la polivalencia lgica en Ja.4kowski, igual que
en sus colegas de la escuela de Lvv-Varsovia, se encuentra una concepcin
ontolgica5.
Mostraremos a continuacin de qu manera recoge Jagkowski la herencia de
los miembros de la primera generaci6n de la escuela de Lvv-Varsovia; esto es, en
qu se manifiesta la influencia de cada uno de ellos.
SEnce rite term metaphysicx ix nororiously ambiguous, the claim that tite
philosophers menfioned have, En fact, been engaged En some meraphysical
specularions might well be quesrioned. To remove possible misundersrandings.
ler us speak ritett, instead ofmetaphysics, ofontology. Tite rerm is more defiriEre
and corresponds o some of tite meanings En whicit tite rerm meraphysEcs Es
being used. By ontology 1 mean here (following Korarbiski) a general theory
of being or (according o Lukasiewicz s enninology) a general selence of
objecrs. (The approach to metaphysics iii tbe Lvdv-Warsaw School en Tire
Vienna CErche md rite Lvv-Warsaw Scitool, Dordrecht, Kluwer, 1989, p.57).
388
T.ukasiewicz y Ja~kowski
~2
es una generalizacin de
1.2,
~ Cfr. Lukasiewicz, J. ber den Satz des Widerspruchs bei Aristoteles, Buil.
Intern. de hAcademie des ScEer,ces de CracovEe, Cl. dhistorie et de philosopbie, 1910.
390
VI y la FI son valores de
-Kotarbiski y Jagkowski
1 no contiene
vaguedad alguna (pues no contiene ms que dos valores de verdad). Por ello, toda
contradiccin -formalizada en un sistema a- es susceptible de ser despejada
remontndose al sistema bivalente
(X2).
392
es
Legniewski y jagkowski
Las leyes de la Lgica poseen funcin simblica; esto es, afirman algo sobre
algo2. Las contradicciones aparentes en la Lgica aparecen cuando se elimina
-
~~
686
6*7
1931.
395
Aidukiewicz y Jaflcowski
Ajdukiewicz, en su
Estas semejanzas nos pueden ayudar a entender que en la ltima de las obras
de Ajdukiewicz -Pragmatic Logic- aparezcan muchos paralelismos con las
adoptadas por Ja~kowski. Veamos lo ms representativo:
El
Conclusin
398
5.
investigaciones recientes .~
-
Ksiega
400
401
Sin embargo, no podemos pasar por alto el hecho de que Zawirski -uno de
los miembros de la segunda generacin de la escuela de Lvv-Varsovia- no se
mostrase en acuerdo con la interpretacin del valor de verdad indeterminado
como mero valor gnoseolgico ni, por su puesto, como valor lingilistico.
.-..
/(ADb)/
8~=V
~j
3O.
(1963), p.
403
La
La respuesta a esta postura, en el seno mismo de la escuela de Lvv-Varsoviano se dejar esperar: Janina Hosiasson defender -oponindose a Zawirski- la postura
subjetivista de la indeterminacin lgica.
~0
404
Jagkowski y Zawirski -miembros ambos de la segunda generacin de LvvVarsovia- presentan dos posturas contrapuestas de polivalencia lgica. Como se
posible establecer un nexo entre todas las posiciones de los miembros de la escuela
de Lvv-Varsovia.
406
VIII.
1.
RNSUS
EN LA ESCUELA DE LVV-VARSOVIA
A) INTRODUCCIN
II
407
ya hemos visto, la resolucin de esta cuestin fue una de las razones por las que
408
-infloJn~n
Twardowski -pilar y origen <le esta escuela- es el primero en abordar Ja
relacin entre la verdad, la temporalidad y el lenguaje. Aunque parezca un
detractor de la temporalidad como dimensin de la Lgica, una lectura ms
profunda de sus posturas aleja esta versin y muestra el genuino contenido de sus
afirmaciones.
-Luidtozacia
A lo largo del presente estudio han aparecido diversas acepciones de
juicio
~.
Dado que las oraciones representan a los juicios, slo utilizando una elipsis
las oraciones pueden ser consideradas como juicios.
411
Quede claro que esta necesidad es la que se refleja en el primer sfmbolo de cada
uno de estos cuatro casos: Eflh, EJ0p, OD-p, OO-p; en efecto, no eslo mismo E~ que
OOp, pues mientras en el primer caso el funtor modal necesidad se afecta a p, en el
segundo afecta a su posibilidad.
~
412
712
Aristteles, De nterpretatione, 9. 19a ss. Toms de Aquino -como vimosconsidera que el ndcleo de esta argumentacin es el Principio de Contradiccin: Et haec
necessitasfundatur super hocprincipium: Jmpossibile est simul esse et non esse: si enim
aliquid est, impossibile est illudsimul non esse; ergo necesse est tunc illud esse lix Peri
Hermeneias, L.I, 1, XV n.201.
713
413
414
Como vimos anteriormente, los objetos constructivos -para Lukasiewiczdependen subsidiariamente de los objetos actuales (Volistlindige OegenstUnde).
Y, por consiguiente, tambin en Lukasiewicz, las oraciones dependen
subsidiariamente de los juicios (que tienen como correlato algo existente).
1904, 4.
Cuando Twardowski afirmaba que una verdad absoluta era aquella que es
siempre, y desde esta interpretacin de Lukasiewicz, no quera decir que lo fuese antes
de que algo acontezca, pues de lo no existente (objeto consructivo) propiamente no
existe juicio.
719
416
y la
Las desarrollos de Ajdukiewicz sobre este tema estn en conexin con los
de Twardowski y 1. ukasiewicz; no es casual el hecho de que estos dos personajes
dirigieran los estudios de Filosofa de Ajdukiewicz en la universidad de Lvv entre
los aos 1908 y 1912.
La postura de Ajdukiewicz en su etapa de convencionallsmo radical (19211934) y en la del empirismo moderado (1935-1946) sostena la dependencia
417
conceptuaL~
aparato conceptual
Cfr. Ajdukiewicz, K. Progmatic Logic, Dordrecht, D. Reidel P.C., 1974. pp. 4557.
419
Condashun
Tras la postura de Twardowski -la que afinna que toda verdad es absoluta-
~
Desde la perspectiva twardowskiana, la Lgica Polivalente sera una Lgica
imprecisa interpretada como clculo de probabilidades, cfr. Twardowski, K. Uber
sogennante relative Wharheiten, Archiv ftr systematische Philosophe 8 (1902), Pp.
420ss.
421
Kotarbiski- son sustituciones abreviatorias de nombres genuinos, que son los que
Hin
representan cosas
En su doctrina, las indeterminaciones provienen tambin del hecho de que
las oraciones no expresen claramente las ~~cosas
tal y como se dan en los juicios.
En este caso, igual que en el empirismo radical de Ajduldewicz, la
indeterminacin refleja un problema estrictamente lingilistico.
cosas
lenguaje
De modo semejante, Kotarbski se preocup de ello. As, su reismo
semntico puede interpretarse como un esfuerzo de clarificacin lingflistica0.
~ Cfr. Sinisi, Vito E Kotarbislds theory of genuine ames, Theoria vol, XXX
(1964), p.Sl.
Cfr. Twardowski, K. O jasnym i niejasnym stylu filozoficznym (Sobre los
estilos claros y oscuros de los escritos filosficos). Ruch Filozoficzny 5 (1919), pp.25-27.
729
423
424
inU~4us~in
En la presente conclusin, hasta ahora hemos expuesto los diversos mbitos
425
sus causas. En el caso de que un conjunto de cosas actuales puedan dar lugar a
un evento futuro, un juicio sobre tal hipottico evento tendra como genumo
correlato la posibilidadt actual. Volvamos al ejemplo de la batalla naval de
mailana; en tal juicio nos estaamos refirindo a la posible batalla naval de
maana, pues lo futuro contingente tiene como correlato actual su posibilidad.
El siguiente texto de Lukasiewicz adopta con claridad tal postura:
verdad3
Por ejemplo, si ahora me refiero a algo futuro que adn no existe, pero no
en lo que tiene de relacin con el presente (sus causas o posibilidad), sino a ese
algo en si mismo considerado, me estada moviendo en esta segunda
interpretacin. Pues bien, de la futura batalla naval, en s misma considerada y
desde el momento presente, y dado que no ha acontecido (no existe adn) no
podemos afirmar nada, no cabe sostener i su existencia ni su no existencia, pues
ahora los eventos futuros ni existen ni no existen, sencillamente tal tiempo (o tal
momento) an no soporta ni el ser ni la ausencia de ser; falta, valga la
expresin, el mbito donde el ser se d o deje de darse. El futuro contingente est
~
Resulta ciro que Ja concepcin del valor de verdad asignado en cada una
de las interpretaciones del correlato variar notablemente. En efecto, como ya
vimos en nuestro anlisis de la postura de L ukasiewicz, el primero de los casos
correspondea una indeterminacin de caracter gnoseolgico: un desconocimiento
de un valor de verdad. En el segundo de los casos corresponde a una
indeterminacin como genuino valor de verdad, dado que a un juicio referido
a lo que no es, no cabe asignarle propiamente ni verdad ni falsedad; era la que
hablamos denominado indeterminacin pura. En el primer caso la batalla naval
de maana
428
ontolgicot
~
Siendo fieles a la segunda ptica que hemos descrito, habramos de sostener que
la indeterminacin de juicios acerca de futuros contingentes, interpretados como
objetos puros, ms que indicar una limitacin gnoseolgica indican un supuesto lmite
con lo ontolgico. Estaramos plenamente dentro de la Ciencia del Objeto Puro tal y
como la describi Meinong, ya que sta que era ms amplia que la Metafsica.
429
Los dos distintos tipos de sujeto que hacen variar esta interpretacin son:
430
Sujeto que habra de ser -en palabras del Aquinate- omnino extra ordinem
temporis, quasi in arce aeternitatis constitutus, quae e.u tota simul, ciii subiacet totus
temporis decursus secundum unum et simplicem eius tntuitum Toms de Aquino, Idem,
n.195. Cfr. Toms de Aquino, Suar. Li 1, qi a.7; De veritate q.1, a.5.
736
~.
431
432
As,
D) CONCLUSIONES
434
AIflVR
~1
~iflto.: 1 IWAG DULA.
1 .cc
Luknw.n
Tctnp
Fst,iro ~a ats,
SUJHW
LOMdN
GRAMAflCAb
Ca oosrjctva
-~iincfl
Sf
~flflc -
ODSERVAtnONES
:.vAtoftIiz.:.:::
I~JWA
No
/1/ PWS
ml. coiddgka
uk.,inioz
Tcmp.
Pstn ~~
Ca
St
St
/I ontddWc?
(Pcsbah
Lchkti
II AWmF.
SC
USso<n fl
SI
KowtIkl
Tcmp
Ptcdto op.sdo
Pueudoooinfrt
No
No
KahtIMkI
Tcm>p
PnenW o jsado
Nosnbct ,wt
St
No
jhikkwli
Tcmnp
AJkIOWIC
Tesp
Tmino .ablguo
No
SI
435
Jwck4t~
(V/d FI
ESFIAJJrOR.dCJ
/i) LIn$LSia
AUTOR
ZawlMd
SUElTO
Tempwui
TIUI.4PO DE
SUrnTO
ORAC.=
JUS. =
LA COSA
GRAMATICAL
JUICIO?
REAL?
No.hu de
SI
St
OBSURVAC.
VALOR DE
VERDAD
Nos rduimc.
il/(oo pw.owgia nl
UnglJ6tLa,to
prqks de la
Fsica
a----
436
jetl4n)
2.
A) INTRODUCCION
439
B) SMBOLOS Y OBJETOS
Ya cosa en bruto, la cosa en st, es, con solo pensar en ella, transmutada
en objeto (...). Objeto es a VTEXE 1 ve ti, obj-jecum, Gegensand, algo que estd
ah( frente a nosotros, precisamente porque algo est aqu y puede surgir entre
uno y otro una peculiar/sima relacin que hace que entrambos trminos sean
correlativos (Y.) Objedver es redere cognftum, volver algo desconocido en
conocido, gracias a la capacidad del
(Fioso.fla del saber, Lib.Ill, e. 1.1)
~ En efecto, dado que las cosas que existen realmente no son indeterminadas, su
representacin tampoco puede sera.
Cfr. Twardowski, K. tlber sogennante relative Wharbeiten, Archiv flir
systematische Philosophie 8 (1902), p.420.
750
442
pp .60-101.
Dado que una cosa -como se recordar del estudio que hicimos de
Kotarbirski- corresponda a la irp6rf~ oa(a tIAncti de Aristteles, y sta era
siempre en acto (vepydcx 6v), en la concepcin de Kotarbiski no cabe que
un juicio se refiera directamente a una realidad futura, pues tal realidad no es
cosa alguna; dicho de otro modo, los futuros contingentes en s mismos
considerados no son un mbito de la realidad pues no hay realidad alguna que
acotar.
existen.
444
Los juicios expresan algo que sucede en la esfera de los objetos reales7U~;
por esta razn, todo lenguaje es reductible a enunciados sobre entidades concretas.
Ajdukiewicz afirma que todo autntico juicio posee un referente que es una
entidad objetiva
447
C) QNCLUSIJ,I
alternativo a la Lgica Bivalente, sino que los valores de verdad intermedios poseen
una interpretacin gnoseolgica y, por tanto, son indicativos slo del
desconocimiento del genuino valor de verdad (VI F/).
Bit
Pero tras estas dos posturas extremas que plantea Jordan, y que surgen en
la escuela de Lvciv-Varsovia, apreciamos un trasfondo comn: la relacin de Ja
Lgica con el mbito de las cosas. En efecto, todos estos autores, para admitir
y defender su postura acerca del valor de verdad indeterminado, parten de una
concepcin comn de la Lgica: una Lgica conectadada intencionalmente a lo
real, tambin Zawirski.
Cfr. Lech Dubikajtis The life and works of S.Legniewski Stu4ia Logica
XXXIV(1975), p.ll2.
~
3.
A) INTRODUCCCION
monismo
pluralismo
instrumentalismo
En el caso del monismo, las razones por las cuales un sistema habra de
ser juzgado invlido en favor de otro no pueden ser estrictamente internas a cada
sistema de Lgica, pues dos sistemas incompatibles podran ser vlidos
individualmente si el nico criterio de validez fuese la correccin entre los
supuestos axiomticos de un sistema y los teoremas de ellos derivados. Por ello,
si se sostuviese el monismo, se derivara la siguiente tesis acerca de la naturaleza
misma de la Lgica: un sistema de Lgica tiene su fundamento en algo distinto
de l mismo, supuesto que legitima sus supuestos axiomticos y deslegitima los de
sus sistemas rivales7.
Segn la terminologa utilizada por Susan Haack, un sistema rival es aqul que
es incompatible con el esandard; cf?. Haack, 5. Lgica Divergente, Madrid, Paraninfo,
1974, p.l7.
~
de criterios internos, sino de la finalidad para la que se haya concebido. Por esa
razn, la concepcin acerca de la naturaleza de la Lgica que pende tras el
instrumentalismo es la de un mero pragmatismo771; la Lgica -en este caso- no
Por supuesto que las causas de la divergencia entre sistemas de Lgica son ms
amplias que la cuestin del nmero de valores de verdad; es decir, dos sistemas pueden
ser tambin divergentes por otros motivos. Cfr. Haack, S. Idem, passim.
~
correspondera a una ciencia, sino a un mero mtodo cuya validez vendra medida
por su utilidad.
453
454
(...)
B) LA UNIDAD DE LA LGICA
Titere are, howewer, certain objects ofknowledge wich are more or less
directly revealed o es 1~ both internal ant! external e.xperience. frey include
aboye alt most relations, such as equality and djfference, similarity and
opposition, agreement and disagreement
1 quantitative relations, co-existente and
sequence. Furtiter diere is a number of concepts which we alsoform oir tite basis
of data provided l~ experience ofboth kinds; diese include, among otiter hings,
he concepts of change, substance, accidence, causality. (...) Finally tite results
of research done iii boh spiteres ofexperence must be combined mio a systemaic
whole (Twardowski, K. Psycitologia wobec fizjologii i filozofii, Lww, GiS,
1897. Traduccin por Woleski, Logic ant! Philosophy un he Lvov-Warsaw
School Dordrecht, K.A.P. 1989. pp.36s).
Cfr. Twardowski, K. ber sogennante relative Wharheiten, Archiv ffir
systematiscite Pitilosopitie 8 (1902), p.420ss.
776
456
Cfr. Twardowski, Zur Lehere vom Inhalt und Gegenstand der Vorstellungen.
Eme psychologische Untersuchung, 12; Twardowski, K. Uber sogennailte relatwe
Wharheiten, ArchivflJr systematiscite Pitilosopitie 8 (1902)Twardowski, p.447.
~ Para Twardowski -como ya hemos visto- los juicios son, propiamente hablando,
los juicios absolutos, aunque tambin podamos referirnos a los juicios del entendimiento.
457
Los sistemas polivalentes no son rivales del bivalente, sino que guardan entre si
Segn
~
dr. L ukasiewicz, J. Ober den Satz des Widerspruchs bei Aristotelest BuIL
Jnern. de 1 Academie des Sciences de Cracovie, Cl. dhistorie et de philosophie, 1910.
Traducido en Qn tIte principle ofcontradiction lii Aristotle Tite Review ofMetaphysics,
XX1V(1971) n.3 pp.506s.
458
en aqul precedente capftulo a esto dedicado: que, puesto que los objetos
constructivos son reductibles a los reconstrudilvos o actuales, los sistemas
polivalentes son reductibles al bivalente; es decir, un sistema polivalente de
Lgica es siempre definible en funcin del bivalente.
polivalentes
pp. 6Oss.
784
~
Puesto que, para Kotarblski, las verdaderas oraciones -y, a fortiori, sus
expresiones formales en un sistema dado de Lgica- representan siempre algn aspecto
de las cosas. Cft. Kotarbiski, T. Philosophical self-Portrait en Woleski, Jan
Kotarbiski: Logic, Semantics and Ontology, Dordrecht, Kluwer, 1990, pp. 4s.
463
Ja~kowski -representante de la segunda generacin de la escuela de LvvVarsovia- desarrolla formalmente lo que sus antecesores de esta escuela haban
tratado de decir respecto de la unidad de la Lgica.
2; esto era lo que indic con aquella ley que explic en 1935:
757. Jagkowski concluye, pues, que los sistemas polivalentes se
CAO,A[IOr)1
definen a partir del bivalente y nunca a la inversa.
-InWodwd~In
Como hemos comprobado, todos estos autores de Ja escuela de LvdvVarsovia sostienen, de una u otra manera, una serie de puntos comunes en lo que
a Ja unidad de Ja Lgica respecta:
La Lgica es una.
que surgen otros subsidiarios. (La mayora de los autores sostienen que ese
sistema es el bivalente, pero hay excepciones como la postura de Zawirski).
465
466
Ja~kowski sostiene que todos esos sistemas poseen una unidad, pues su
origen es el mismo: el sistema bivalente, aunque sus aplicaciones sean diversas.
Ja~kowski, en este punto, parece un autor paradigmtico en el seno de la escuela
de Lvv-Varsovia. En l, adems, parecen conjugarse todas las anteriores posturas
de la primera generacin.
(Formal?) Logik istjene Wissenschaft, die die Struktur von Aussagen und
galagen Schltissen untersucht, deren Zusanimenhange in logischen
Systemen klar darstellt, KalkUle konstruiert und deutet und Eigenschaftefl
und Beziehungen zwischen verschiedenen Systemen und XalkUlen e,forscht.
libre Stt7rkere liegt ini Formalismus, md re Sane sind durchwegs
metasprachlich formuliert.
2.
BIDUQQRAN& CITAD
.1
470
471
Ajdukiewicz, Rl. The axiomatics systems ftom the methodological point of view
Studia Logica IX(1960) 205-220.
-
472
Aristteles Metafisica, U 4
473
Cajori, A history of mathematics, New York, Chelsea P.C. 1919 (3 ed. 1980)
p.4Ol.
-
Reports on
Crombie, I.M. Anlisis de las doctrinas de Platn (2), Madrid, Alianza, 1979.
Method and Meaning. Essays in Honor ofH. M. S/ieffer. 1951, pp. 3-24.
-
Cracovia, 1912
Chwistek, Leon Tite Theory of Constructive Types (PrincipIes of Logie and
Mathematics) Part. 1. General Principies of Logic. Theory of Classes aud
Relations Annales de la Socit Mathematique de Pologne, Cracow, 1923.
-
Pablan, R.
& HaBer,
R.(eds.)
Frege, Oottlob fJber 5km und Bedeutung Zeftschnfi flir Phllosophie und
philosophische Ktik, 100 (1892) pp.25-5O.
-
475
Heelan, Patrick Quantum and classical logic: their respective roles en Synthese
21(1970) pp.2-23.
-
476
Husic, 1. Aristotle on the Law of contradiction and the basis of tite syllogism,
Mmd (XV), 1906 pp.215-222.
-
lii
477
limits of logical
479
Le4niewski, 5. Czy prawda jest tylko wieczna czy tez i wieczna i odwieczna?
Nowe Toiy 18 (1913) pp.493-528. (Versin inglesa Is all truth only true eternally
or is it also true without a beginning? en Collected Papen, Dordrecht, IK.luwer,
1988, Pp. 86-114).
-
480
Przeglad
Le~niewski Sobre los diversos caminos para entender expresiones como clase
y propiedad (en polaco) Idem, vol.30, pp. 190-206.(Traduccin en Collected
Works...).
-
481
Lewis, C.I. Alternative Systems ofLogic Tire Monist, vol.41 (1931), pp.481507.
-
482
Mehlberg, H. Essai sur la thorie causale du temps Siudia Pirilosopirica (19357)1 (pp.1l9-26O) y 2 (pp.lll-23l).
-
Mehlberg, H. lime, Causality and tire Quantum Theovy Dordrecht, Reidel, 1980.
Milln Puelles, A. Teora del objeto puro, Madrid, Rialp, 1990. p.112s.
Nelson & Grelling, Bemerkungen zu den paradoxien von Russell und Burail
Ford Abhandlugen der Friessciren Schule 2,(1908), pp.300-324.
-
484
Penn, Julia M. Linguistic Relativity versus Inflase Ideas: Tire Origins of tire
Sapir-WlrorfHypotiresis in German Thought, 1972.
-
Reichenbach, H.
Wairrscireinlichkeitsleirre, Leiden, 1935; Pirelosopdc
foundations of quantum meciranics, Berkeley & Los Angeles, University of
California Press, 1944.
-
Rescher, Nicholas
Company, 1969.
-
Many-Valued Logic
486
Szaniawski, K. (cd.) Tire Vienna Circie ant! tire Lvov-Warsaw School, Dordrecbt,
Kluwer, 1989.
-
487
Stut!ia
488
Veath, H.B. Concerning the Ontological Status of Logical Forms fle RevieW
ofMetaphysics, 1948.
-
Wick, W.A. Metaphysics and tire New Logic, Chicago, University of Chicago
Press, 1942.
-
489
490
491