INSTITUTO DE INVESTIGACIONES FILOSOFICAS GOTTLOB FREGE,
ESCRITOS SOBRE LOGICA, SEMANTICA,
Y FILOSOFIA DE LAS MATEMATICAS
“Taueiones:
Xavier de Donat, Cats Ulises Moulines,
igo Pia yCatlos Poveda
Selecciin de texto:
Maite Beuria, Mario Gomer Torrente
‘y Margarita M. Valdés
CCompilacin,coorinacn,presentcinyrevisin weak
‘Maxcantt4 M, VALDES
on . LUsIvERsiDAD NACIONAL AUTONOMA DE-MESICO
Galen: FILOSORIA CONTEMPORANEA INSTITUTO Dr NVESTIGACIONISIILOSONCAS
Serie ANTOLOGIAS Mx 2016 3248
TIRET Peg, Guth, 148-1025, ano, (Obras, Slecones
S016 Espana
ett see ig, ems y ool de eaters
than/ Goto Pegaso Kare de Don Caos
ies Nonlin, ago Pala Cros ere de
tenor Mate Heard, Mato Gomer Torrente y arate
Na pi in cn
in nica Maria Me Vl = Pir ec
“as pgs = (Coen Flot Cater, Se
ie Aeon
18 98-007-02-7:88-5
1 Liga 2 Lge sols y mate 8: Mises
loti Donat, ar aso H. Moana Ca
ios es tender Pl Hoge ada. Pee
4 Gal 184" eaduct ¥.PtlMale,compiae
Vi.Gémer Torre Mui 1967 compadn ay
Margate (lds Vile, compan
oemacin dpi
|FaAlbene Rartion
aida de in:
Margi Vali, rw Mery} Aero Baran
ier ei 1 de abl 016,
DR. © 2916 Univesdad Nao Adon de México
roti a eproducisn tl pars por opie medio
Sinton seria del rd ot dest pail
INSTITUTO DE INVESTIGACIONES ILOSOMCAS
ind Unhenitri, Daegu Coes,
{Eh 04510, Mose, Dani eters
“es 822797 982 oa 08 491
Corso ee cus: rien nme
gia peta
npr yhechoen Meio
ISBN o78-407-02-78-5 FUNCION ¥ CONCEPTO*
(801)
pROLOGO
Publica aqut esta conférencia separad, con lt experana de
{que encuentze as algunos lectores, para los cuales permane-
ceria ignorada si se quedase entre las disertaciones de a So-
led de Meslcinay Ciencias Naturales de Jena. Como ya he
indicado anteriormente, il propésito es exponer, en un futuro
préximo, el modo como expreso las definiciones fundamenta
les de lx aritmética en mi eoneeptografia,y el modo como, a
partir de ells, puedo evar a cabo demostraciones tan $6
‘con mis signos. Con este fin, me interesa poderme veferir a
‘sta conferencia para no verme precisido 4 entrat all en dis
‘usiones que quis disgustarian a algunos por no ser directa
Imente pertinentes al tema, mientras que podrian ser echadas
‘de menos por otros, Mi conferencia, como lo requeria el gar
fen que five dada, no ya dig tnicamente a matemsticon y
hie tratado de usar un modo de expresidn comprensible para
todos, tanto como lo permitan el tempo disponible yet tema
tratado. Aeaso por este medio se despertar un interés por la
‘cestin en cirélos mes amplios de estudiosos, especialmente
también de Kgieos,
Th ovina: Renton snd Barf. Conference ssi
de} - 1-181 de i Soci de Medan y Chan Nate Jra Fae
Pubic en 101 por Hermann Po ne
Wain de Ct les Man, pads gc on ee 225 FUNCION ¥ coNCEPTO
ace ya basta tempo! tive el honor de dar una conn
Gia en esta Sociedad sobre cl ode de simbolzacion que he
‘lenomitado coneepograi Hoy qui anima esa ces
tin dese oto dnguloy comic algunoscompementos
oncepeones aera caja necsdad ge me ha hecho evidemte
dead enonce, Conlon pretend dar un epost com
let demi conceptografi ino solo hacer piles algunas
‘ideas basicas. epee lia
arto de lo queen temic se Hama fan, Esta po
Lbra note a principio wn sign tn apo come
«que hn obtenido mds tae, Seré bueno empezar por dita
nuestaatencin hacia os modo de so organ coe
so comsiderar ss extconionespotriores, ore momento Yoy
"Thabo inane fancies de wn solo argue, Un
spe enn spree en ssid mira
Corl donde prec de exe sia uy arn expres
na iy general can de nny ev oui con
descent dl ais superior En exe at ante to
Ate esablecer eyes que aisen pars as funcones en genera
Hay que reoceder pc, Ia epoen del destined
anil mperion at ¢gure saber que facto primero qe se
foneriéen mated port palabra “uncon, A eat pre
untae ete certamente fa repent "po funcion dese
fniende wna expresin matemstica [Rednanansdec que
omenga sna formals que inca ten Sein et,
por gemplo,laexpreion
aes
seria una funcion des y
Be ae
sera una func de 2, Ea rexpueta no puede satisfiers,
Duesto que en ela no se distngen foray contend, sigs
¥ desig, un errr com el ge, atalncne,seenevetra
‘uno ahora muy eesenemente en escrito mates ie
So deautoves de renombre. En ottos agar he sei alos
fos de stor ora corienie de la vimetcn Et
{21110 enero de 171 y 27d ener de 18%
Le finden de artes hc on ee wen, pp 961-487),
TUNCION ¥ CONcEPTO a
classe habla de sgnos que no tienen ningsin contentdo, ni to
{chen tenes, pero luego se le atsbuye, no obstante, propieda
{des que slo pueden correspond razonablemeni 2 un con
tenido det sigho, Lo mismo ocurre también aqui: una mera ex
presi, la forma de un contenido, no puede ser lo esencial de
Fa eosa, sino que so lo puede ser el contenido mismo, Ahora
bien, zal es el contenido, la referencia de"2 2° + 2°7 FT mis:
mo que el de I" 0 de "3-6". En la igualdad 22° -+ 2 = 18,
‘se expresa que hs referencia de la cadena de signos que esti a
Ta inqulerda es Ia minma que lade la derecta. Debo salir aqui
alpato de la opinion sgn la cual 2+ 534, por ejemplo,
‘Som clertamente igus, pero no lo mismo, La raz de esta opi
hidn es nuevamente I Confusiin entre forma y contenido, en-
tresigno y designndo, Es lo mismo ques se quisiera considerar
lavioleta olorosa como diferente dela Viola ederata, porque ss
nombres suenan distintos, La diferencia de designacign por si
Solano basta para fundamentar una diferencia de designados
En muestr caso la cuestiGn es menos transparent tan solo por
lnecho de qu kr referencia del numeral [Zahlsichen] 7 n0
6: sensiblemente perceptible, La tendencia acualmente muy
‘lifandida a no considerar como objeto mis que lo que puc
ide ser perelbido con los sentidos induce erréneamente 4 1
far por niimeros los nusnerales mismos, a consideraros los
terdaderos objetos de estudio:' y entonces, naturalmente, 7 y
25 serian distintos. Pero tal concepein no puede mante-
ners, porque no pertemos hablar en absoluto de eualesquiera
propietdadesaritmétieas de los nimeros sin remitirnos a la re
Terencia de fos numerales. La propiedad del 1, por ejemplo, de
‘que, al multiplicarse por sf mismo, se da otra vez a sf mismo,
‘Svs prs fas ninguna investiga mirscpien
{quimica, por exbaustiva que fuse, podria deseubrir nunca esta
propiedad en la inocente figura que lamamos e! numeral uno,
8926 vrei soe de Soil e Mein y Clea
Se en 37
at ey cnsidcaioe piece” de son Helo
To)“ den Zag Se concep de nero) de Ler
ee ria ne am me in
foi pont nse fla i bnad Yale acc
(erie det coy, ee, 1ST 28 FUNCION ¥ 6
ro
Quis se haba de wna defini; per ninguna deine
rears ene ei de que pct contr nua cose po.
Piedader que no tangy, furs ce a propedal de expense
> design agoclo pra lo que deiiion tno com
Signo or el etait igwras que amos merle
tienen propiedad fica qutniess que dependen dl meio
det ede ine que sg er noua
Signo totalmente nuews, loko que lo sigoos
, de moxlo que po
‘dré hablar, por ejemplo, dela funcién + = 1, em fa que como
antes, representa el argumento, La primera Cuestibn que su.
ie aqui es ln de cudles son los valores de a funcion pare stn
{or argumentos.Siordenadanente thse pot 1,012,
De estas ecuaciones,s6lo la primera y la tercera son verd
eras. Asi, pues, digo: Yl valor de nuestra funcin es un valor
vertativo"y dstingo el valor veritaive de lo verdadero del de
4o fabo, Para abreviar, a uno lo Hanwo lo verdadero, yal otro lo
falso.Segin exto,"2" = 4", por ejemplo, refiere alo verdadero,
al igual que “2”, por ejemplo, reflere a, Y°2! = 1" relieve &
To fabo. Sein esto,
sgt
eS ata
refieren a lo mismo, a saber lo verdadero, de manera que
@=)=@>1
‘es una igualdad comrecta
Es natural aqui la objec de que, no obstante, “2! = 4" y
“2 > T" afirman algo completamente distin, expresan pen
samientoy completamente distints; pero también °2* = 4°" y
"4-4 = 4 expresan pensamientos distin; , a pesar de ello,
FUNCION ¥ CONCEPTO 285
se puede sustinuir "2" por "4-4", porque ambos signos tienen
Ja misma referencia. En consecuencia, eambign "2" = 4° y
“Ld = 42 refieren alo mismo. A partir de esto, se compren-
de que la igualdad de relerencia no tiene como consecuencia
fa igualdad’ de pensamiento, Cuando decimos "el hucero ves
perino es un phaneta cuya dxbita es menor que lade fa The
fra, hemos expresado un pensamientos distino al de lz or
‘in “cl astro matatno exh planeta cya debia es menor que
la de la Tierra"; pues quien no sepa que el ucero matutino
ce el hicero vespertino, podria suponer que uno es verdadero
yee otro false; y, con todo, la referencia de ambas oraciones
tiene que ser Ia misma, puesto que s6lo xe han intercambia
do las palabras “Iucero vespertino”y “Iucero matutino” que
Bienen ambas fa misma referencia, es deci, son nombres pro-
pilos del mismo cuerpo celeste. Hay que distinguir sentido y
y 4-4" tienen cirtamente la misma reeren
a: es decit, son nombres propios del mismo miimero; pero
zo tienen el mismo sentido, y de ahi que tengan "2! = 4° y
“£-4= 42" certamente la misma relerencia, pero no. mismo
sentido; es decir, en este cao 0 coatienen el mismo pens
‘As, pues, con el mismo derecho con que escribimos
“at
podemos tambign escribir
“ete e)
=a) =2> 0"
Sigulendo por este camino, podifa preguntarse con qué fin
se admitieron los sgnos =, >, < en el eteulo de Tos que com
tribuyen a formar tina expresin funcional. Parece que en la
sctsaldad gana cada ver mis partdarios bx opinin de que’
Inaritmetict cs liga extensamente dessrrollada, que una fa
dlamentacin rigurosa de las leyes artméticas nos retrourae a
‘So gnor que ete wong pede parecer de momento aio
Yara yg e psi exg wa fistiacon ms dee Conse
Pat tuo" sen eleren Cp. 20-275, 236 FUNCION ¥ 6
leyes puramente légicasy slo a tales. También yo soy de esta
‘opinién yen estobaso a exgencia de que el lenguaje sible
arimético debe ampliarse en uno logic. Gémo ocr esto en
!mcsto cao lo indicaremos a continuacin,
‘Vimos que el valor de nuestra. funcién x? — 1s siempre
Juno de tos dos valores veritativos. Abora bien, si para tn de
{erminado argumento, por ejemplo 1, el valor de la funcion
«slo verdadero, podemos expresar esto as "el mimeto —I tie
ne la propiedad de que su cuadrado es I", 0 ms brevemente
"1 es una ralz euadrada de I 0 "1 cae bajo el concepto
de rair cmadrada de 1, Si el valor de la fancion #2 = 1 es lo
falso para un argumento, por ejemplo, 2, podcemos entonces
cexpresar esto asi "2 no es rat evairada de T° bien "2 no
‘ie bajo el concepto de rat euadrada de 1”. Con esto vemos
‘ui extrechamente relacionado est lo que en liga se Hama
‘concepto con Io que nosotros lamamos fuckin Incluso po
ddr decirseverdaderamente: 1m concepto es una funcin cuyo
valor es siempre un valor veritativo, También valor de la
fnelén
(e+ = 264)
¢ siempre un valor veritatvo. Obtenemos lo verdadero, por
«jemplo, para el argumento —1 y podremosexpresar esto ta
bign asf 1 es un miimero que ex menor que Ten un mimero
cuyo cuadrado es igual a su duplo. Gon esto, se ha expresade
‘que el mimero =1 cae bajo un concepto. Las funciones
Fol y @HD=26+0)
tienen para el mismo argumento siempre el misiiovalor as
ber, o verladero, para Ly +I; To flso, para todos los demas
angumento. Segin lo establecidoanteriormente, diremos, por
tanto, que estas funciones tienen el mismo rango de valores y
lo expresaremios asi en signos:
2(@=1)=4 (la+ IF =2Ia +1).
En logica se cenomina a esta eewacidin la extensin de los con
ceplos. Segiin esto, podemos designar como extensiGn del
concepto el rango de valores de una funcion cuyo valor para
‘cada argumento es un valor veritatvo
PUNCION ¥ CONCERTO 27
Nomos quedaremos en as cevacionesc inecuaciones. La for
sma lingUistiea dels ecvaciones es una oracinafirmativa, Una
bracién tal contiene como sentido un pensamiento 0, por lo
‘menos, pretende contener alguno-* y este pensimiento es, et
general, verdadero o flo: esto es iene en general un valor
‘eritativo que puede concebirse asimismo como referencia de
la oracin, asf como el némero 4 es la referencia de Ia expr:
sin “2 +2", o como Londres et la referencia de la expresiin
“in capital de Inglatenes
Las oraciones afimativas en general pueden concebire, lo
‘mimo que las ecuaciones o las expresiones del ani, de
ompuestasen dos partes una ce Ins cuales ext completa en s
‘misma, mientras que la otra precisa de complement, es n0 si
‘ural As, por ejemplo, la orncion
ar conquists ks Gali
puede ser descompuesta en “César” y *conguists las Galias'
Ja segunda parte es no saturada, Heva consigo un lugar Ya
clo, y Unieamente cuando se llena este lagar por medio de un
nome propio o de una expresion que remplace aun nombre
propio, parecer un sentido completo. También ahora lamo
Fancin al significado de esta pare no satura, En este caso,
‘largumento es Césit.
Como vemos, agut se ha emprendide al mismo tiempo tna
‘extension en la otra dircccin, 0 se, con respecto alo que pe
de parecer como argument, Ya no hay que admit tan lo
-rimeros, sino objetos en general, teniendo que contar también
‘alas personas entre ls objtos. Como valores de fancin post
bles estin los dos valores vertaivos que acabamos de intro
cir. Hemos de seguir adelante y smite objetos sin liitacion
como valores de wna nein, Para iastrar esto, consieremos,
por ejemplo, I expresin
“tn capital del Imperio alemin”
Esta expresin representa evidentemente un nombre propio
se reiere aun objeto, Sila descomponemos en partes,
“la capital de" 238 FUNCION ¥ coNcEPTO
€“Imperioalemsn’, con lo ual consdero dentro dea primera
parte la forma del gentivo, esula que exta primera parte e«
no saturada, mientras que la otra es completa en sf misma
Seg lo antes dicho, Hamo pues
“ta capital de
Ja expresién de una funeién. Si tomamos como argument
suyo el Imperio alemzn, obtendremos como valor de I fun
cin, Berlin,
‘A haheradmitido asf objeto sin limitacién como argumen
tos y como valones de faneion, lo que se pregunta entances es
a qué lamamos aqui objeto. Considero que es imposible una
‘efinicién académica, puesto que en este caso tenemos alo
‘que, por su simplicidad, no permite una descomposicin lig
‘ex Tan slo es posible aludir lo que se quiere deci, Breve
mente, aguf s6lo se puede deci: objeto es todo To que no es
funcién, eaya expresin, por tanto, bo Heva consigo un liga
‘Una oracién afirmativa no contiene ningin lugar vacio, y
pporeso hay que considerar que ss referencia e un objeto, Esta
referencia, empero, es un valor verliauwo, Poo tanto, sabe
valores veritatis son objetos.
‘Anteriormente hemos presentado ecuaciones entre rangos
de valores, por eemplo
Gere
Podemos descomponer ext en °E(@8 — de)" y*() = &
(ale =) sta i parce scone, al era consigo
toga vc a ing del igo de pied La primera
pare,“ (@ — 4)" etd totalmente completa en a misma,
vex, que efere an objeto, Lor rangos de valores de las
funclones wn objetos mientras que a fancioner mismas nolo
son, También taanosdenominadarangoa& (e=
también lo podtamon desgnat como extensin del concept
Tale cundrada de 1. También lt extensones de conceptos som,
les, bjetos aunque los concepts miss no lo son
‘Después de haber ampliad ecco de To ue psd ser
tomade como argument, habe’ que hacer esipulaciones is
(ala ~4)
FUNCION ¥ CONCEPTO 339
sas sobre las efrencios de fos sgvos que y on usuaes
lca se consdenen comm objeto sient lon nieros
nro dea artnet s tras oy b de a lo aden
{Thuneros entero, sla ay que expla el signo “+ ene
ion mtmeros enero. Cada spinon del rut de bs je
ton lon quese lade con "e "" ce precisa wa nieve
pcan signs anda gr tio
‘ene de eerenci, pare nee alae, st nota, on
{goosacion aj creel de que xtamon rato con ob
lon Enel pao ae tiniron experiencia desgradables con
‘eres divergenesinfnitas, Es necesaro, pues, hacer estipal
Sones de seals se desprend, por empl qués rere
torr
si°0° refiere al So. El modo como se den exas esipulaci=
fected eel emer oe
SShagan ue fa 1 Benga una Tere, ea cles Sean
Tovsgos de ues deterinados que reemplacen "=" y“P-
Parson cones Ponemor h ean de qe, para todo
ume tengan por valor un valor veritatis de qv. para
itt objeto, quae determina sca bajo el concept © no:
{on ears palsies: pars Tos concepos,poneros Ia eigen
fade que etendaramentedtinitadn: sine ample
{Towa xine, seri imposible extableet eyes Toles com
‘on Para todoargumentor, parse quc s+ Uno vera
ferencia tampocotendrs nn vale Ia ncn xt 110
porls tint, ampoco ning valor erat, de modo que
Sone
Yo que aumentado en 1d 1,
no tendria ing limite precio. a evigenda de delmitacn
pr dels sncepts tae, pe, congo In eigen
Unpara las fuciones en genta, de que eenen que tener un
‘alo para odo argument
Tats tors ison considerad kon valores veritatis 50-
ett cme es dein nh oc geo
Seyi To que atbanos de deci una anon ee que tener
Shen aor para cada lor lores eration m= 240 FUNCION ¥ CONCEPTO
«do.como argumento; pero en la mayors de los casos, si deter
minamos este valor sera por ganas de determinaro, sin que
Jmporte mucho cual sea el valor determinado, Sin embargo,
‘amos a considerar algunas funciones que nos interesa prec
snmenteexainar en ef easo en que su argument es un valor
veritativo, Como una funcin tal ntroduzco
‘stipulndo que el valor de esta func debe ser To verdadero
cuando se tome como argumento lo verdadero, mientras que
en todos os dems casos el valor de esta funcin ser lo aso; 0
$8, pues, tanto cuando el argument elo faso, como cuando
‘oes ningsin valor vertativo. Sega esto, es, por ejemplo,
ess
Jo verdadero, mientras que tanto
148
=
son lo fio. sta fanci6ntene como valor el aumento mis
to euando éte es un valor vert, Ea otra easton habla
lamado esta bara horizontal barra de conten" ome
ae ahora ya no me parece aero. La amar shore si
Dlemete “hs horizon
‘Conndo sesrbe uns ecco una Inecuaci, por eem-
plo 5 >, hubiumente con ello se que al mismo tempo
{xpresar ‘judo; en ene caso, se quiere airman que Bt
imor que 4 Sein la concep que he caps a com
$53 (0-1 +3 =5" ae tenen solamente expreione dev
lores vertaivos, sn que eon ellos quiraairmarse naa, Eta
separacn ene el jngaryaquelo qu se juga parece nel
Aible, porque en caso cosrario no sera expresble fa mera
supose de un eso, el postal, sin hace simultane
{etn ico sobre sf ocrre ono, Precaos, pes, dun sig
Portela para poder amo igo, Paseo tio una bara
UNCION ¥ CONCEFTO an
vertical al extreme iaquerdo de Ia horizontal de modo que,
a Paesas
aGrmamos 2+ Ses igual a 5.0 se, que no slo see ati
Ain valor erat, como en caso de
snesee,
sino qu al mismo tempo se dice tambien que exe valor ver
tates To vertader”
Ta siguiente fein sence puede ser aqua cuyo valor
so fab justamente para fs arguments para lo cals et
Stlorde resto verdadero yrecprocamente, co aor ex
TDhcrdader par ov argues para ones ear de
ee lo.
Tadesigno as
amo ala pequeta bara verte, barra de negacn. Conse
Ueto cue fiom como wa fund con el argrmento —=
Coders
horizontales se han fasionado.
imaginando que las dos ba
Pero también tenemos
orque el valor dex sempre un valor vertatvo, Cons
ert pcs queen =r as ds partes dea Bras dere
‘Susy la mierda delabatra de negacén son horizontals en
tl seni de esta plsbra que acabamos de exter. A partt
detado exo,
Rae
por ejemplo, se referiné a to verdadero, y podemos afar la
Darra de uiio:
“betas
"ata dejon ae aa praflormaram rei
sion pore pete Cn, aso on os slgno a Sesgrain
‘leanabjem,f-2 435 nodsignamada sno qe sieves a me FUNCION ¥ CONCEPTO
on lo cual afirmamos que 2 = 5 no es lo verdadero, 6 que
no es 5. Pero tambien
=
‘so verdadero, puesto que —2 elo fas:
bee
decir, 2 no es lo verdadero.
BH modo como epreeto generac vert mejor
con un ejemplo. Supongamos que hay que expressr que todo
‘objeto es igual astmismo. Ea /
fenemos una funciin, cuyo argumento se indica por medio
fe "x". Hay que decir ahora que el valor de esta funcion
siempre lo verdadero, sea cual sea el argumento que ae tome
Con el signe
“ser
‘entenderé ahora to verdadero cuando la funcién f(s) tiene
sempre como valor lo verdadero, sea cual sea su atyumento
en todos os demis casos,
“estoy
habit de referirse a To falso. Para nuestra funcion x = x se
‘cumple el primer caso. Por lo tant,
‘slo verdadero; y exo to eeribimos as
be
[Las barras horirontales a derecha eiquierda de la caval de-
ben ser tomadas como horizontals en nuestro senda, En ver
de “a”, podrfa excogerse cualquier otra letra gots, a excep.
nde guclas ey como fy 9, ha de servi com iene
fimiones a ian
FUNCION ¥ CONCEFTO 23
Esta notacion offece la posibilidad de negar ln generals:
én, como en
Pues ~2-a = 1 es lo fas, ya que no para todo argumento
valor de a funcién = I eslo verdadero. Pues, por emmplo,
nlangumento 2 obenemos =; elo Ana
en, si-e-a? = 1 er lo flo, enoncer rere? = Lea to
‘erdader, sen fo ques hn explo ates sobre barra
Uenoyacin.Fenemor pues
breetat:
8 decs, “no todo objeto es rae euadrada de 1", 0 bien “hay
‘objets que no son rate aiadrada de 1. Puede expresare
también que hay races cuadradas de 1? Sin duda! Basta con
tomar, en vee de la faneién x
De
sto refere alo falso, porque no para todo argumento eset
valor de la finein r
to verdadero, Por ejemplo,
—t
‘slo verdadero. Asi pus, dado
eo falko, puesto que 1?
que
esto fas,
seri por tanto lo verdadero:
bee 4 TUNCION ¥ coNcePrO
{ed no leas que pars tod argument el oe dea
w8=1
cso verdadero”, o bien “el valor de la funcién x? = 1 no para
. Poet
fo angen es fas" 0 en hay por menos une a
ccuadrada de 1", ype “
1A comin demo todavia algunos empos en sigoos
¥ palabras: s — i.
beraze,
hay orto menos un nmero pas:
brace,
bay porto menos un nimero negate:
Fea! — 80? + 20
tay por lo menos una ra de eee
Boe 4 2e=0.
A partir de aqut puede comprenderse cémo pueden expre-
pane ls oraciones existences ta impottes, iindcanos
Indeenindamente un cone por medi delta defi
0)
la forma en qu estn contenidos os simos empl, presi
diendo de la barra de juicio, Las. expretioncs co
rad 0 ac
“et Bat 200"
earareaees
‘elgg ys meth cel
Se ccrercat umes ane
ae
sla"
vy coxcrrro 5
cs expresion de una funcién, euyo argumento se indica por
tnedio de "/*, Una funei6n tal es, evidentemente, fundamen
talmente distints de Ias hasta ahora consideradas, pues, como
argumento suyo s6lo puede entrar una funcién. Asi como ls
fianciones son fundsmentalmente distintas de los abjetos, asi
también aquellas unciones cuyos argumentos son y teen que
ser fonciones son fundamentalmence distntas de las funciones
fcuyos argumentos son objetos y no pueden ser otra cost, A
‘Sst dtinas ls llamo foneiones de primer nivel, las otras
lasllamo funciones de segundo nivel. Igualmentedistingo con-
‘eptos de primero y segundo nivel® De hecho, hace ya tempo
fque en el ans se tenia funciones de segundo nivel, por
emplo, con las integrates definidas, en ln medida en que se
Consilere la fanei6n que va axe ntegrada como argument.
Puede afadirse todavia algo sobre fanciones con dos argu
‘menos. Obtavimos fa expresién de una funcidn al partir el
Signo compuesto de un objeto en una parte saturada y otra
ho stturads. As descompusimos, por empl, el signo de lo
verdadero
“se
en "3" ye > 2 Podemos seguir descomponiendo la parte
‘no saturada “> 2° dl mismo modo en "2" y
> ys
donde ahora “y" indica el lugar yack, que antes habia sido
enado por "2%. Con
x>y
tenemos una funcién con dos arguments, uno de fos evales se
indica por medio des,
tenemos el valor de esa fein para los argumentos 8 y 2
"Tenemos aqut una funcin cuyo valores siempre un valor Yer
tatvo. Alas funciones de este tipo con un argumento las hemos
* vee mis Fat dea rena Sal del 58. La prueha om
ug de excl Dite ace dl err de gue tala exes
om un case de primer ic. 246 FUNCION ¥ CONcEPTO
Tamado concepts: a las que tienen dos argumentos as am
‘mos elaciones. También tenemon relaciones en el ese de
2400
Btytog,
mientras que la funcin
yde
ety
eno por vas, Fr fo ana nob aro
mos a consderar ahora una ncn que noes pecai
de Ia aritmétiea. Sea la funeién io a
TG
«ayo valor eso falbo cuando se tomato verdadero como a
menioy yal mismo dempe se toma un objeto que mo sen lo
‘ere como arguments en tos lan dems ean el
lor de esta ncn sero verdadero. a barra hor onl inf
rior y las dos parts en que queda dvidida a superior por la
bara vertical eben consderrse brine, En eonsecc
Gi, sempre se pueden tomar comme angumentos de muctra
fancién ry yes dec, valores vera.
~Enne hs felones de un argument daingumos las de
primero y segundo rive. En ete caso es pile tna mio
‘ariedd, Une func con dos arguments puede se, com re
lain a sos, dl minnooce distntente funciones eel
igual o de nivel desigual. Tas que hemos cosiderado asta
anu eran de nivel igual ina ncion de el sigue
or Gemplo, ol cocente dierenca, cuando e oman coms
ngumentos ia fancin que ay que diferencia angement
Para leva aque diferencia o bien angral defi,
siempre que se tomen como arguenfos la funlon que hay
You might also like
