http://especulacionpura.blogspot.

com

EjerciciosyProblemasdeLgica

lunes2deabrilde2012 El'mtodoprincipal'deWillardV.Quine,segundaparte. Paraleerlaprimeraparte,Paraleerlaprimeraparte,sigaestelink. Ahora consideremos lo siguiente. Que 'Fx' sea vlido, significa que ser verdaderoparatodainterpretacinde'F'yde'x',esdecir,cualesquierasean laclasedenotadapor'F'yelobjetopor'x'.Deestemodo,'Fx'esvlidosy slos'xFx'loes.Evidentemente,ningunodeambosloes,locualsesigue siescogemospordominioalosnmerosnaturalesya'F'comolaclasede todoslosrelojes.'xesunreloj'estanfalsocomo'todossonrelojes'siel dominiodediscursosonlosnmerosnaturales.Quineexpresaestodiciendo queuncuantificadoruniversalinicialesirrelevanterespectodelavalidez. Un esquema cualquiera es vlido s y solamente si su negacin es inconsistente: '' es vlido si yslosi'' esinconsistente.Unesquema como'Fx yFy'esvlido,puescualquieraseasuinterpretacinsi'x'esF hay al menos uno que lo es. su negacin '(Fx yFy)' es pues inconsistente,puestoquesiempreesfalsoquenoeselcasoquesi'x'esF entonceshayalmenounF. Enrealidadestoresultadelapropiedaddelanegacin.Siunenunciadoes verdadero,sunegacinesfalsa;siesfalso,sunegacinesverdadero.Un enunciadoqueesveraderoparacualquierinterpretacinsuya,darunofalso paracadaunadetodasesasinterpretacionessiseloniega. Dadounesquemacualquierainconsistente,sunegacindalugar,as,auno vlido.Ycomouncuantificadoruniversalinicialesirrelevanterespectodela validez,si''esvlido,'x'tambinloes. Tambin es cierto que 'x' es equivalente a 'x', por lo tanto si el primeroesvlido,tambinloserelsegundo.Porltimo,'x'esvlidosi
1

http://especulacionpura.blogspot.com

yslosi'(x)'esinconsistentey'(x)'eslomismoque'x'. Llegamosentonces aque un cuantificadorexistencialinicialesirrelevante conrespectoalaconsistencia.Resumiendo: Si''esinconsistente,''esvlido.Tambinlosern'x'y'x'.Si steltimoesvlido,'x'esinconsistente. Ahoraretomemoslaexpoicindelmtododelpostanterior.Tenamosque: (23) Reproduciremoselcuadro: PREMISA:(1)yz(FxzFyz) INSTANCIAS:(2)z(FxzFxz) (3)(FxuFxu) Se sigue de lo dicho en este post que '1 (2 3)' seguir siendo inconsistentesiseleprefijauncuantificadorexistencial.Agreguemospues un cuantificador existencial que ligue la variable agregada en la ltima instanciacin(u): u[1(23)] Dadoqueestavariable,segnloprescribeelmtodo,noestlibreenningua lneaanterior,sloestarlibreen(3),demodoque: 1(2u3) Peroheteaquque'(2)'y'u3'sonsimilaresentodo,exceptoenlaeleccin
2

http://especulacionpura.blogspot.com

delaletradelavariableexistencial: (2):z(FxzFxz) u3:u(FxuFxu) Porlotanto'2 u3'esvlidoysepuedeprescindirdelenlaconjuncin. Portantonosqueda(1),esdecirlapremisa(dehabermsinstanciasse procededemanerasemejanteconcadaunadeellashastaquedarseconlas premisas). As, la(s) premisas resulta(n) ser inconsistente(s), quod erat demonstrandum.

Unejercicio.Muestreconelmtodoprincipallavalidezde: xy(FxyFyx)xFxx

sbado18defebrerode2012 ElCuadrodelasOposiciones Enlalgicatradicionalsedielnombrede CuadrodelasOposiciones a ciertas relaciones lgicas que se producan segn el sistema aristotlico entre diferentes proposiciones categricas de mismo sujeto y predicado resultantesdecambiarcalidad,cantidadoambas.

Recurdesequelasasllamadasproposicionescategricasafirmanoniegan relacionesentreclases,unadeellasrepresentadaporeltrminosujeto,otra porelpredicado.

http://especulacionpura.blogspot.com

Segnsu calidad,unaproposicindeestetipopuedeincluiroexcluiruna clase(denotadaporeltrminosujeto)enotra(designadaporelpredicado). Segnla cantidad,unaproposicindistribuyeonosutrminosujeto.Esto ltimosignificaqueserefiereatodoslosmiembrosdelaclasequeeltrmino sujeto designa, en cuyo caso estara distribudo aqul, o, en el caso contrario,noloest.

Lasproposicionespuedenserentrescontrarias,conradictorias,subalternas ysubcontrarias.

Dosproposicionessoncontrariassiesimposiblequeambasseanverderas; soncontradictoriassi,ademsdesercontrarias,noesposiblequeseanlas dosfalsas;sonsubcontrariasenelcasoenquenopuedaocurrirquelasdos seanfalsas(pudiendoserambasverdaderas).Unaproposinessubalterna deotracuando,teniendoambaslosmismostrminossujetoypredicadoyla mismacalidad,distribuyendolauniversalelprimero, stanolohace.Yse llamasubalternantelainversa.

Lascuatroformastpicasdelasproposicionescategricasson:

A:TodoAesB E:NingnAesB I:AlgnAesB O:AlgnAesnoB

Ytradicionalmenteseextraanciertasinferencias'inmediatas'apartirdelas
4

http://especulacionpura.blogspot.com

oposicionesentreellas.

Por ejemplo (teniendo, como se dijo, mismos sujeto y predicado), de las verdaddeAseinferalafalsedaddeOporserambascontradictorias,ylade E,ascomolaverdadde I.Lafalsedadde A implicabalafalsedadde O y dejabalasotrasdosindeterminadas.

DelaverdaddeEseinferalafalsedaddeAydeI;ylaverdaddeO.Desu falsedad,laverdaddeI.

Podainferirse,apartirdeI,quenopodaserE,quedandoindeterinadasAy O. Encuandoa O,sesuverdadseinferalafalsedadde A (sindeterminarla valuacindelasrestantes);mientasquedesufalsedadlaverdadde A (su contradictoria),ydeI;ascomolafalsedaddeE.

(Imagen:wikipedia) Pero el tema del post no era exponer el sistema tradicional de las
5

http://especulacionpura.blogspot.com

proposiciones categricas sino mencionar un comentario respecto de la crticadelaortodoxiaaesesistema,comentariosobreelqueStrawsonllama laatencinensuIntroduccinaunateoradelalgica(Cap.6). Lacrticaalaquemequerareferirllegaalaconclusindequenohayuna interpretacincoherenteyaceptabledelsistemayenparticulardelcuadrado de las oposiciones tomados ensuconjunto,enunainterpretacindelas constantes de dicho sistema que se aproximen al uso ordinario de las palabrasenqueseexpresan.Paralocualsepartedelpresupuestodeque debeoptarseentreslodosposiblestraduccionesdelasmismasalsistema delalgicadepredicados. Estasson: 1: A:~x(Fx~Gx)ox(FxGx) E:~x(FxGx)ox(Fx~Gx) I:x(FxGx)o~x(Fx~Gx) O:x(Fx~Gx)o~x(FxGx) y2: A:~x(Fx~Gx)xFx E:~x(FxGx)xFx I:x(FxGx) O:x(Fx~Gx)
6

http://especulacionpura.blogspot.com

En ambos casos deben resignarse algunas de las reglas de las que mencionamosarribaqueserepresentanenelcuadrodelasoposiciones.

Enlatabla1,porejemplo,AyEpuedenserverdaderasalavez,porloque yanosoncontrarias.OeI,porsuparte,dejandesersubcontrarias.

Con respecto a la segunda tabla, por ejemplo, O e I tampoco son subcontrarias.Adems A y O porunlado,y I y E porotro,dejandeser contradictorias. Strawsonmuestracmo esquehayalmenosdosmanerasdiferentesde interpretar A, E, I, O paralasquelasleyesdelsistematradicionalsiguen siendovlidas. Unadeellas,laqueleparecemsimportantetienequeverconlacrticade lateoradeladenotacindeRussell.Brevemente,mientasenuncaso"los librosqueestnarribadelamesasontodoseningls"presuponequepara quienenuncialaproposicinlaclase"librosqueestnarribadelamesa"no esvaca;enelotro"elreydeFranciaescalvo"elquehayareydeFrancia.Si nohaylibrosarribadelamesa,laprimeranoesverdadera;sinohayreyde Francialasegundanoesfalsa.Peronomequeraextenderenestetemaen estemomento. Lacuestinaquequerallegarera:qufrmulasdelalgicadepredicados puedenofrecerseparatraducirlascuatroformasdesilogismocategricosA, E, I, O, que interpreten sus constantes y que conserven las leyes tradicionales,siesquelashay?

http://especulacionpura.blogspot.com

lunes13defebrerode2012 Conectivaslgicas Consideremos las propiedades de una funcin veritativa binaria (sobre valoresveritativos)Etalque: (i)Patatodoa:V(Eaa)=Verdadero(osea:lavaluacindeEaaessiempre verdadera) (i) Para todo a y para todo b : V(Eab) = V(Eba) (o sea, la funcin E es simtrica)

Existenconectivaslgicasquecumplanconestaspropiedades?

jueves9defebrerode2012 Inferencias,relaciones,adverbios. Latransitividadesunapropiedaddealgunospredicadoscomoeldeser descendientede.Estospredicadosformanpartedelconjuntodepredicados didicos. PodranformularseexpresionescomoMaraesdescendientedeRuthy RuthesdescendientedeSaraporejemploas: "mDr"y"rDs" Peroocurrequedelasdosexpresionesencastellanosolemosconcluirque

8

http://especulacionpura.blogspot.com

MaraesdescendientedeSara.Sinembargo: mDr rDs porlotantomDs esunrazonamientoinvlido.Debemossuponerquesetratadealgntipo deformagramaticalengaosacomodelaquehablabaRussellquenoshace creerenlavalidezdelprimeragumentoysemuestrafalazenelsegundo? No,nadaquever. Eslaformalgicaloquefallaqu.Podemosagregarleunanuevapremisay aspodersostenernuestraconclusinformalmente,asaber: xyz(xDyyDzxDz) Ahoradetengmosnosenlasiguienteexpresin: "La impresora imprime lentamente"

Unopodra,siquisiera,formularla"Li"significandoL"imprimelentamente"e "i"laimpresora.Peroalguienpudieraquererdescomponerlaaccindela impresoraen"imprimir"porunladoy"lentamente"porotro.Podraocurrir quelohicierarpidamente. La cuestin es qu clase de traduccin formal habremos de darle a lentamente?

http://especulacionpura.blogspot.com

Laaccindeimprimir,atribuidaalaimpresora,esunpredicado.Porlotanto puede interpretarse como denotando el conjunto de todas las cosas que imprimen,porejemplo."ximprime"esverdaderoparatodoxqueestenese conjunto. Con lentamente no sucede igual. Podramos servirnos de un conjunto de objetosdelosqueprediquemoslalentitudenalgo,inclyendoastantocosas queimprimiranlentamentecomootrasquemanejaransusautoslentamente, etc.Entalcasonohabraincompatibilidadentrelorpidoylolento,pues pudieraserserpidoenunacosaylentaenotra. Porotraparte,lalentitudnoesunpredicadodeunpredicado.Porejemplo ser un acorde. De cualquier acorde mayor y de cualequier acrode menor puede decirse que es un acorde. De cualquier trompetista, de cualquier guitarrista, que es msico (he odo de escepciones, pero en tales casos parececuestindeuancrticadelJuicioantesquelgica).Peronodetoda impresoraqueimprima,quelohacelentamente,nidetodoloquesealento queseaunimpresora.As,lentamentenoesunaclasedeclases. Lo que puede hacerse es considerala una funcin de predicados sobre predicados. Es decir: para cadapredicado(imprime,sedirige,camina...) tomadoporargumentolafuncinlentamentearrojacomovalorunpredicado otro (imprime lentamente, se dirige lentamente, camina lentamente). A su vez,cadapredicadoqueesastomadoporargumentoesunafuncinsobre elementosdeluniversodediscursoquearrojalaverdadolafalsedad(enuna lgicabinaria). As,ademasdelasexpresionesdeelementosydepredicados(oclasesde elementos),tenemosclasesdeclasesytambinadverbios.Estosltimose aplican aunpredicado(mondicoenestecaso,tambinpodraaplicarsea unoquefueradidicocomo"zdeseaardientementeay",etc.)paradarlugar ootro,comoenelejemplo,delmismoprden.Podemosanotarloas:

10

http://especulacionpura.blogspot.com

L(I(i)) Hay que tener en cuenta que L e I, en el ejemplo, son dos tipos de expresionesdiferentes.As,podemosescribir: xL(Ix)para"todosimprimenlentamente" X(L(X(i))para"laimpresoraeslentaenalgo"(otrainstanciadeestopodra ser"laimpresoraescanealentamente"). Aloquequerairconelpresenteposteraaqueascomolatransitividad haca que tuviera que ponerse una premisa que en el lenguaje conversacional no haca falta, aquocurrealgosimilar.Sialguiendice"la impresorimprimelentamente"sabemosquealmenosimprime.Perode L(I(i)) noesposibleconcluir: I(i) Entonces(unproblemasencillo)cmopodramoshacerparaquesselo haga?

11

http://especulacionpura.blogspot.com

mircoles25deenerode2012 Analiticidadydisyuncin Supongamos que " " es una frmula analtica (es decir verdadera necesariamente).Comoesevidente,entonces y nopodranserambas falsas. Debemosentoncesadmitirque esnecesariamenteverdaderaoque lo es? Muestreporqu.

mircoles14dediciembrede2011 Validezdeesquemas Pueden llamarse enunciados de participacin en una clase aquellos que resultendelusodeoracionesdelaforma'xpertenecealaclaseF',o'x F' otambin'Fx'.Laletra'F'esallunaexpresindeclase.Puedenusarselas conectivashabitualesparalosenunciadodeparticipacinenunaclase.As, porejemplo:'FxvGx'significaquexpertenecealaclaseFoalaclaseG. Puedeprescindirsedeescribirendichasfrmulaslavariablecuandosehaga uso de una sola. Nos quedara algo como 'F v G', que Quine denomina esquemasbooleanosdetrminos. Siseincorporancuantificadoresexistencialesaestasfrmulasdeclasese obtienenfrmulasexistenciales.Porejemplo,pararespresentarelenunciado "noexistenunicorniosazules",podemosescribiralgocomo:

(1)(UA)
12

http://especulacionpura.blogspot.com

En(1)seprescindedelpuntopararepresentarlaconjuncin,puespuede adoptarselaconvencindepresindirdeellosencasosdondedosoms letrasdetminosformenunaconjuncinenunafrmuladeclase(aunque, comoenestecaso,formenpartedeunafrmulaexistencial).Tambinpodra escribirsesuequivalente:

(2)UA=0

Dondeseafirmaquelaclasedelosunicorniosazulesnotieneelemento alguno. El enunciado segn el cual la clase 'UxA' es no vaca puede expresarsedelassiguientesformas: (UA) UA0 Se pueden construir enuciados con estas frmulas existenciales (los que Quinellamaesquemasbooleanosenunciativos).Porejemplo: (U)(UA) (U).(A)(AU)

13

http://especulacionpura.blogspot.com

Losesquemasprecedentessonvlidos,locualseveasimplevistadado queenuncasosinohayunicornios,tampocohabrunicornioszules;yenel otro,sinohayunicorniosperohay(cosas)azules,enctonceshayazulesno unicornios. A veces no es tan facil observarlavalidezdeunesquema.Veamostres ejemplosdeQuine: (i)(GH).(FG)(FH)

(ii)[(FGH)(FG)].[(FG)v(FH)][(FGH)(FGH)]

(iii)[(FG)v(FH)][F.(GvH)]

Cmomostrarlavalidezdeestostresesquemas?Sugerencia,convertirlos esquemasparaquedichavalidezsurjaalavista.

lunes12dediciembrede2011 Asociatividaddelaequivalenciamaterial Elbicondicionalsirveparaescribirfrmulascomo'p q',enlacualsipyq tienenelmismovalordeverdad(sonlosdosverdaderosolosdosfalsos)'p q'esverdadero,yesfalsosipyqtienendistintosvaloresdeverdad.En cuanto a la constante lgica "", las frmulas de la forma "... ..." son equivalentesa"(......)".

14

http://especulacionpura.blogspot.com

Debidoalaasociatividaddelbicondicional,"( ) "y" ( )"son equivalentes.Porotraparte,""tambintienedichapropiedad.Enambos casospodemosprescindirdelosparntesis. Supongamosahoraque denotalaverdadmientrasque y lafalsedad (Osea:V()=1yV()=V()=0). Quvaluacintendrlafrmula""? Y""? Sonestasconectivasconmutativas?

martes6dediciembrede2011 Cuantasproposicionesveritativofuncionalesbinariashay? Unavariableproposicionaldeunafuncinveritativapuedetenerdosvalores. Estexcluda,siemprequenosrefiramosaunalgicabivalente,todaotra posibilidad.Comunmenteselosrepresentaconlosnmeros0y1. As, eldominio de una funcinveritativabinariaesunconjuntodecuatro elementos,cadaunodeloscualesesunpar.Asaberlospares(1,1),(1,0), (0,1),(0,0). Existen en total 16 funciones diferentes que atribuyen a cada uno de los paresmencionadosalgunodelosvalores0o1.

15

http://especulacionpura.blogspot.com

Paraconstruirlasfuncionesveritativasseutilizanlasconetivaslgicas.Por ejemplo,unafuncinbinariadeestetipoes"p q"(otambinApq).Segn ladefinicindelaconectivainvolucrada,lafuncinApqdlasiguientetabla deverdad(queexpresaremoshorizontalynoverticalmente). P:1100 q:1010 Apq:1110 Podradecirsequelaletra'p'enrealidadestenlatablasustituyendoala funcin binaria 'CCpqp' (o '(p q) p'). Entonces Cmo expresar con las conectivas lgicas habituales las 16 funciones veritativas binarias posibles que tengan por dominio {(1,1),(1,0), (0,1),(0,0)}?

domingo27denoviembrede2011 Ejerciciocuarto Sonequivalenteslasoraciones (i)(x)y(~fxgy) y (ii)~x(y)(fx~gy)? Porqu?

16

http://especulacionpura.blogspot.com

martes15denoviembrede2011 Funcionesdeverdad Seaf|unafuncincuyodominiosean0y1,surangotambinysedefinaas: f|(1,1)=0 f|(1,0)=1 f|(0,1)=1 f|(0,0)=1 Definirmediantef|lasconectivaslgicas: "~","","v","",""

domingo13denoviembrede2011 Otroejerciciodelgica Mostrar que no hay equivalencias entre ninguno de los siguientes esquemas:

I(x)(p Fx) IIp (x)(Fx) III( x)(pFx) IVp (x)(Fx)

17

http://especulacionpura.blogspot.com

_______ Nota: Paraesteejerciciovamosausarunlenguajecon:

i) las letras 'p', 'q', etc. en lugar de un enunciado cualquiera (ejemplos: 'Russellesunfilsofo','Algunosgriegossonfilsofos','eldeseoeseldeseo delotro','mirelojnoesunnmero');

ii)laletra'x'comovariabledeobjetoenunoracin(as'xesunauto'es verdaderodetodoslosautos);

iii)elcuantificador(x)queselee'paratodox';

iv)elcuantificadorexistencial'(x)'queselee'hayalmenosunxtalque'

v)laletradepredicadoF(queseleeen'Fx'como:xesunF);

vi)lanegacin'~'queservirparaconstruirunenunciadodelaforma'~p'el cualserveraderosiysolosielenunciadoconstituyente'p'esfalso;

vii)laconjuncin''quedarlugaraenunciadosdelaforma'pq',losque sernverdaderosenel nicocasoenquetanto'p'como'q'seanambos verdaderos;

18

http://especulacionpura.blogspot.com

viii)ladisyuncin'v'conlaqueobtendremosenuciadoscomo'pvq'que sernverdaderosencualquiercaso,exceptoenaqulenquetanto'p'como 'q'seanfalsos;

ix)laimplcacinmaterial''conlaqueseformarnenunciadosdelaforma 'pq'equivalentesa'~pvq';

x) por ltimo, el smbolo ' ' de la equivalencia material para enunciados como'p q'quesignifican'psiysolosiq',ypuedendefinirseas:(pq) (qp).

Conestelenguajepodemosescribir,porejemplo:

1)(x)(pFx)

Esteenunciadoserverdaderosiempreque(pFx)seaverdaderodealgn objeto,loqueasuveztienelugarsiseinterpretaa'p'detalmaneraquesea verdaderoya'F'detalmaneraqueseaverdaderodealgo.Porello,resulta equivalenteaesteotroenunciado:

2)p(x)(Fx)

el cual, del mismomodo, serverdaderosiempreque'p'loseayqueal menosunobjetoxseaF.

Consideremos
19

http://especulacionpura.blogspot.com

3)(x)(pFx)

Dadoquetodoenunciadodelaforma'(x)( x)'equivalea'~( x)~( x)'(pues 'Todoes 'eslomismoque'Ningunonoes '),(3)equivalea'~( x)~(p Fx)'.SegnlasleyesdeDeMorgan,entonces,equivalea'~( x)(~pv~Fx)'; locualequivale(teniendoencuentalodichorespectode(1)y(2))a'~[~pv (x)~Fx]';que,segnlasleyesdeDeMorganequivalea'p~( x)~Fx', queasuvezequivalea

4)p(x)(Fx)

As,(3) (4)

mircoles27deabrilde2011 Hallarlasuma... Heaquunpequeoproblemadematemticaofrecidoallector,quelemos en un libro con distintos problemas de matemtica escrito "para trazar estrategias conjuntas que permitieran a los jvenes menores de 15 aos iniciarseycrecerenlaresolucindeproblemas": Hallarlasuma:

1+11+111+1111+...+11...11(ndgitos)

20

http://especulacionpura.blogspot.com

martes18deenerode2011 Lasustanciairreductibledelateoradeclases Existeenalgunaslibreras(porejemploenlacallecorrientes,tambinac) unaaccesibleedicindeunlibrodeQuineLosmtodosdelalgicaque,a pesardealgunoserroresdetipeoloscualesengeneralsesalvanconuna lecturaatenta,resultaunamuybuenaquedeclaroquenolodigoyo,lodice suautorintroduccinalalgica.Ibaapostearahoraciertosejemplosde esquemasdeargumentosquesebasabanenletrasdepredicado,variablesy cuantificadores,einclusoletrasquerepresentanclases.Peromeencontr quenopuderecurriralusodelcdigoltexrecomendadoporgausseanos.Y elproblemaesqueenpreviospostsserecurriporpartemaalmapade caracteresparaincluirlossmbolosqueenlgicasuelenutilizarseparalos cuantificadores y las conectivas, pero luego not que desde muchas maquinasenlasqueintentleerdichospostsnoselosexhibayensulugar seveaunpequeocuadradocomosisetrataradeunanecesidadlgica. Luegodeintentarelprocedimientodescriptoenalgunosblogslinkeadospor google para usar en el blog cdigo latex, y encontrarme en lugar de lo esperadoconesto:

(notaagregada:alcontrariodeloocurridoentonces,vengoanotarquela imagenqueyoevocabaaquenlaquedeca"Thepublicmimetexserveris for testing. For production, please realwww.forkosh.com/mimetex.htmland install mimetex.cgi on your own server. Thank you, John Forkosh", no apareceenotrasmquinassino,ensulugar,loquehabayohabaquerido en un principio que apareciera en vez de ella; en este caso, a modo de ejemplo,laEinvertidaquesimbolizauncuantificadorexistencial,demodo que parte de este post se muestrainconsistente[nota a lanota, tambin agregada: luego de un tiempo, las imagenes con frmulas ltex
21

http://especulacionpura.blogspot.com

desaparecierondelblogtalycomopuedeapreciarsearribadeesteprrafo obligndomearehacermuchosdelospostsyquitarotrosdondenorecuerdo su contenido y no corresponden a intereses actuales, optando ahora por escrubirlossmbolosqueeltecladonoproveemediante"Ctrl+U"yelcdico unicode]),entoncesresolvposponerdichopost,peroanticiparunadelas cuestionessobrelasqueibaaversar. Enpartciular,aquellaalaquealudeelttuloyque,aunqueresulteextao, correspondeaunaexpresindelmismoQuine. Enfin,loquediceQuineenelcaptulo43delcitadolibro,esquevalindose delosconceptosdevalidezyconsistenciacuantificacionalesysinrecurrir paranadaalanocindeclase,habaposibilidaddetraducirenunacantidad de casos esquemas donde se cuantifiquen variables de clases, pero que existan ciertos casos donde no. De los que dice "Es precisamente en enunciadoscomostosdondehayquebuscarlasustanciairreductibledela teoradeclases".Setratadeenunciadosdondenohayasidoposiblehaberle dadounaformaprenexaenlaqueloscuantificadoresqueliguenvariablesde claseseantodosobienuniversales,obienexistenciales. Quine dice que la ampliacin delaontologaquesemejantesenunciados suponentieneelintersdequeincrementalapotenciadelaformalizacin.Y ofrece el siguiente ejemplo de un esquema semejante: la definicin del trmino relativo 'antepasado' a partir de 'progenitor', comprendindo 'antepasado'demodotalqueincluyaalindividuodecuyosantepasado(enel sentido corriente de la palabra)hablamos.Esdecir si'Fxy' significa'xes padredey',elproblemaconsisteenrepresentar'xesantepasadodey'a partir nicamente del nico predicado representado por 'F'. Ofrecemos, siguiendoelejemplodeotrosblogs,elproblemaparasusolucinporparte dellector.

22