FORMALIZACINDELLENGUAJENATURALENPRIMERORDEN

Cuestionesprcticas
1.Cmodeterminocundounpredicadoesmonarioobinario?
Ladistincinserefierealnmerodehuecosqueelpredicadopide:1losmonarios,2
losbinarios,etc.Enlneasgenerales,lospredicadosmonarioscorrespondena
predicadosexpresadosconelverboseryausosintransitivosdelosverbos(perohay
usostransitivosquepuedenexpresarseconmonarios,vaseapartado3,abajo):
1.Aureliaesartista
2.Blaspasea
3.Cirocome

R_serartista
P_pasear
C_comer

Lospredicadosbinarioscorrespondentpicamenteausostransitivosdelosverbos(i.e.,
conobjetodirecto):
1.Aureliaamaalosartistas
2.Blaspaseaasuperro
3.Cirocomeelbollo

A_amara_
P_paseara_
C_comer_

Nteseladiferenciaentrecomeren3,quehacereferenciasimplementealaactividad,
ycomerX,en3,dondesemencionaaquelloquesecome.
Porotraparte,hayusosintransitivosquetambinseformalizarancomounpredicado
binario:
2.BlaspaseaconCiro

P_pasearcon_

Nteseque,desdeunanlisisgramatical,pasearestanintransitivoen2comoen2.
LapreposicinconformapartedelsintagmapreposicionalconCiro.Perodesdeel
puntodevistalgico,pasearconfuncionacomounrelatorquesellenacondos
argumentos,quienpaseayaquelconquiensepasea.
Tambinseformalizanconrelatoresbinariosaquellasconelverboserqueestablecen
relacionesentredosindividuosogruposdiferentes,comolasoracionescomparativas:
4.AureliaesmayorqueBlas
5.BlasestanaltocomoCiro

M_sermayorque_
T_sertanaltocomo_

2.Cuntodelaestructuradelaoracindebotraducir?
Laideagenerales:todoloqueseaposible.Elproblemaesdeterminarquesposible.
Hayciertascosasdelasquenormalmenteseprescinde,comoadverbiosociertostipos
decomplementos:

1b.Aureliaamaalosartistasconlocura
1c.Aureliaamaalosartistasdevezencuando

A_amara_
A_amara_

Alreconstruirlaestructuradelasoracionesenlgicadeprimerorden,intentamos
manteneraquelloselementosqueserepitenyquesonrelevantesdecaraaculessonlas
consecuenciaslgicasdeaquelloquesedicey,portanto,quesonclaveparadeterminar
lavalidezdeunargumento.Enfuncindelasnecesidadesdenuestratraduccin,nos
puedeinteresarmantenersimplementeelpredicadoamaracomolocomna1by1c,
sinentrarenmsdetalles.Peroquizsqueramosrecogerlasideasconlocuray
cuandoestdebuenhumor;enestecasopodramosformalizarestosdosmodosde
amarcomodospredicadosdiferentes:
1b.Aureliaamaalosartistasconlocura
1c.Aureliaamaalosartistasdevezencuando

A1_amarconlocuraa_
A2_amardevezencuandoa_

Porotraparte,siempreseraposibletraducircomomonariocualquierpredicadobinario.
Laestrategiaesmeterdentrodelrelatortodoaquelloqueaparezcaenelpredicadode
laoracin,bienseaelobjetodirectoocualquiercomplemento:
1.Aureliaamaalosartistas
1.Aureliaamaalossirios
5.BlasestanaltocomoCiro

A_amaralosartistas
S_amaralossirios
T_sertanaltocomoCiro

Elproblemaconestaestrategiasimplificadoraesquehacedesaparecerdela
formalizacinmuchoselementosquesonclaveparatenerargumentosvlidos:
DeAureliaamaalosartistasyTodoslospintoressonartistas,sesiguequeAurelia
amaalospintores.Siexpresamoslaprimerapremisacomo1,ladeduccinfunciona,
perosilaexpresamoscomo1,yanofunciona:
Formalizacinbinaria:
Aureliaamaalosartistas
Todoslospintoressonartistas

Aureliaamaalospintores

1.x(RxAax)
2.x(PxRx)
3.RbAab
4.PbRb
5.Pb
6.Rb
7.Aab
8.PbAab
9.x(PxAax)

premisa
premisa
EU1
EU2
hip.
MP4,5
MP3,6
ICd57
IU8

(Ntesequeotromododeleerlapremisa1es:siunoesartista,Aurelialeama
Formalizacinmonaria:
Aureliaamaalosartistas

1.Aa

premisa

Todoslospintoressonartistas
2.x(PxRx)
premisa
Nohaymododeobtenerlaconclusindeseadadesdeestasdospremisas.Laraznes
que,enestaformalizacintansimplificada,amaralosartistas,amaralossirios,
amaralospintores,etcnotendrannadaencomn.
Portanto,unaspectoimportanteesextraerlaestructurabinariadelospredicados.
3.Cuntospredicadosmonariosdeboextraerdelaoracin?
Esteesotroaspectoimportanterelacionadoconlaspreguntas1y2.Engeneral,
identificamosconunrelatormonariocadapropiedadmonariaseparableque
identifiquemosenlaoracin.Estocorresponder,enlneasgenerales,asustantivos,
adjetivosyoracionesderelativo:
Ejemplos:
Muchosnoruegossonaltosyrubiosx(NxAxRx)
Nsernoruego
Aseralto Rserrubio
Losempiristasirlandesesfumandemasiadox((ExIx)Fx)
Eserempirista
Iserirlands
Ffumardemasiado
Notodoslosfilsofosquebebenmuchosoninsomnesx((FxBx)Ix)
Fserfilsofo
Bbebermucho
Iserinsomne
Enocasioneshayverbostransitivosquepodemostraducircomomonarios:Sienla
oracinanteriorsustituimossoninsomnesportieneninsomniolacosanocambia
mucho.Laideaesquetenerinsomniopuedeentendersecomounpredicadomonario
simple.PodemosverestosiconsideramosladiferenciaentreJuantieneinsomnioy
Juantieneunbocadillo:deestaltimasesiguequeJuantienealgo,perodela
primerasera,cuandomenos,extraodecirquesesiguequeJuantienealgo.
Porotraparte,tenerunhermanopodratraducirsesinmuchoproblemaaserhermano
de.
Tambinhayquetenercuidadoconlosadjetivosquenoidentificanunapropiedad,sino
uncuantificador:
Losnoruegosmorenossonescasosx((NxMx)Ex)???
Serescasonoesunapropiedadcomoserrubio.Laoracinpuedeparafrasearse
como:
Hayescasosnoruegosmorenosx(NxMx)
Recurdesequenotenemosrecursosenlgicadeprimerordenparadistinguirescasos
debastantesomuchos.
Tambinhayquetenerencuentaquehaypropiedadesquepuedenveniridentificadas
porunsintagmaproposicional:

LoseuropeosdelNortesonaltosx((ExNx)Ax)
Esereuropeo
NserdelNorte
Aseralto
LaexpresindelNortepuededesempearalgnpapelenladeduccinyporesola
traducimos.
4.Cuntasvariablesdebousar?
a)Parapredicadosmonarios:
Debemospreguntarnos:seaplicaelpredicadoaunindividuoconcreto?
a.1)S:Nonecesitamosvariable,sinoconstante
Ejemplos:
AureliaespintoraPa
LaGiraldaesbellaBa1
BlassudamuchoSb
PerestlejosLa2
CiroesttrabajandoTc
TuhermanoduermeDa3
a.2)NO:necesitamosunasolavariable
Ejemplos:
AlguienespintorxPx
TodossudanmuchoxSx
NadieesttrabajandoxTx
b)Parapredicadosbinarios:
Elpredicadobinarioadmitedoshuecos.Ahoradebemospreguntarnossialgunode
ellosestllenoporunindividuoconcreto.
b.1)Los2estnllenosporunindividuoconcreto
Ejemplos:
AureliaamaaBlasAab
BlaspaseacontuhermanoPba3
CiroderribalaGiraldaDca1
b.2)Unhuecoestllenoporunindividuoconcreto,elotroporungrupode
individuos:identificamosesteltimoconunavariable
Ejemplo:
TodosamanaBlasxAxb
BlaspaseaconalguienxPbx
AlgunoderribalaGiraldaxDxa1
b.3)Amboshuecosestnllenosporgruposdeindividuos:necesitamosuna
variablediferenteparacadauno.
Ejemplo:
TodosamanatodosxyAxy
AlguienpaseaconalguienxyPxy
TodosderribanalgoxyDxy(nteselaambigedadde
alcanceenesteltimo,dependiendodequecadaunoderribeunacosadiferente
otodoslamisma.Paraesteltimocaso:yxDxy)
c)Estasconsideracionessepuedenseguirextendiendopararelatoresdeariedad
superior:
Ejemplo:
AureliaprefiereaBlasantesqueaCiroPabc

AureliaprefiereacualquieraantesqueaCiroxPaxc
AlguienprefiereaBlasantesqueacualquierotroxyPxby
TodospreferimosaalguienantesqueaalguienxyzPxyz
5.Cmosquvariablevaconqupredicado?
Enprimerlugar,recurdeselaFORMALIZACINESTNDARdeunyun:
Todoesx()
UsamoselCONDICIONAL
Algunossonx()UsamoselCONYUNTOR
Esimportantetenerestoencuentaamedidaquehacemosmscomplejasnuestras
frmulasy.Especialmentecuandolaspropiasysonfrmulas
cuantificadas.
a)Predicadosmonarios:Combinemosaqulasconsideracionesdelosapartados3y4.
Enelapartado3hemosdichoqueidentificamostantospredicadosmonarioscomosea
posible.
Enel4hemosdichoquelospredicadosmonariosquehablandeungrupodeindividuos
llevanunavariable.
Combinando3y4:
a.1)Silospredicadosestnrelacionadosdentrodelmismoenunciado,entoncesla
variableserlamisma:
Todoslossuizossonhonradosbanquerosx(Sx(HxBx))
Cmoidentificamosestarelacin?Algunasideasintuitivas:
1)Dominanciadelcuantificador:elcuantificador,ynounaconectiva,eselelemento
lgicodominanteenlaoracin.
2)Lapruebadeluno:Encasoscomostepodemosparafrasearelenunciadocomosi
hicierareferenciaaunsoloindividuoindeterminado:
Siunoessuizoentoncesunoesunhonradobanquero
a.2)Silospredicadosnoestnenesarelacin,entoncespodemosusarvariables
diferentes(aunquesiqueremospodemosusarlamisma):
Sitodoelmundoessuizoentoncestodoelmundoeshonradobanquero
xSxy(HyBy)queequivalea:xSxx(HxBx)
Ntesequelaconectivadominanteenelenunciadoesuncondicional,querelacionaa
suvezdosenunciadoscuantificados.
Comprese:
TodoslosqueapruebenviajarnaCancn
x(AxVxc)
Siaprobistodos,viajaristodosaCancn
xAxxVxcxAxyVyc

Slolaprimerapasalapruebadeluno:Siunoaprueba,unotieneunviajeaCancn.
Mientrasqueenelsegundocasolacondicinpreviaesquetodosaprueben.(Porotra
parte,seveclaroquelasegundasesiguedelaprimera,perolaprimeranosesiguedela
segunda).
b)Predicadosbinarios:
Elpredicadobinariorelacionadosgrupos.Lohacedandounavariablediferenteacada
grupo.Porotraparte,cadagrupopuedeestaridentificadoporunapropiedad.Portanto,
lapropiedadqueidentificaacadagruposerunpredicadomonario(odeariedad
superior,comoveremosluego)unidoaesavariable:
Ejemplos:
Veamos4casosderelacinentre2grupos,enfuncindequcuantificadorvayacon
cadagrupo:
(i)Lospsiclogosenvidianalosfilsofos
Haypredicadobinario?S:envidiar
E__
Elpredicadobinarioseaplicaaalgnindividuoconcreto?No
Exy
Culessonlosgruposquerelacionaelpredicadobinario?Psiclogosyfilsofos
Lospsiclogossonlosenvidiadores:Px
Losfilsofossonlosenvidiados:Fy
Parafraseandoelenunciado:
ParatodoXeY,siXespsiclogoyYesfilsofo,XenvidiaaY:
xy((PxFy)Exy)
queequivalea
xy(Px(FyExy))
queequivalea
x(Pxy(FyExy))
(ii)Algunospsiclogosenvidianalosfilsofos
Losmismoselementos,perohacambiadoelcuantificadorqueligaalospsiclogos.
Ahoraesun,portanto,laconectivaprincipalbajosualcance(elsubrayadoenel
ejemploanterior)serahoraunconyuntor:
xy(Px(FyExy))
(iii)Algunospsiclogosenvidianaalgunosfilsofos
Igualqueelanterior,peroloqueahoracambiaeselsegundocondicional:altenerun
nuevo,tendremosahunconyuntor:
xy(PxFyExy)
(iv)Lospsiclogosenvidianaalgunosfilsofos
Denuevotenemoselreferidoalospsiclogos,asqueestosrecuperansu
condicional:
xy(Px(FyExy))

SERECOMIENDACOMPARARATENTAMENTEESTOS4CASOS.Lossiguientes
ejemplosnosonmsqueextensionesdeesaideabsica,dondelosgruposarelacionar
seidentificandemanerascadavezmscomplejas:
TodofilsofoempiristaenvidiaaquienesleenaHegel
Haypredicadobinario?S:envidiar,leera
E__ L__
Seaplicaelpredicadoaalgnindividuoconcreto?S,sloenelcasodeleer
Exy Lza dondeaHegel
(Ntesequedemomentousamosvariablesdistintas,yyaveremossialgunapuedeo
debeserlamisma)
Qugruposrelacionaelpredicadobinario?Envidiar:filsofosempiristasyquienes
leenaHegel
Losfilsofosempiristassonlosenvidiadores:FxEx
QuienesleenaHegelsonlosenvidiados:Lya
AhoravemosquelavariablequeidentificaaloslectoresdeHegeldebeserlay,porque
eslaquehemoselegidoparaellugardelosenvidiados.
Parafraseandoelenunciado:
ParatodoX,siXesfilsofoyXesempirista,entoncesparatodoYqueleeaHegel,X
envidiaaY.
x((FxEx)y(LyaExy))
estoequivalea
xy((FxEx)(LyaExy))
queasuvezequivalea
xy((FxExLya)Exy))
AlgunosfilsofosempiristasenvidianaquienesleenaHegel.
Aplicandolasconsideracionesdelejemplo(ii),estoquedar:
x(FxExy(LyaExy))
estoequivalea
xy(FxEx(LyaExy))
AlgunosfilsofosempiristasenvidianaalgunosqueleenaHegel
x(FxExy(LyaExy))
estoequivalea
xy(FxExLyaExy))
TodofilsofoempiristaenvidiaaalgunosqueleenaHegel
x((FxEx)y(LyaExy))
estoequivalea
xy(FxEx)(LyaExy))