Nederlog

11 juli 2009

 FOIL

 

     How wonderful it is that nobody need wait a single moment before starting to improve the world.      
      -- Anne Frank

A dialecticis libera nos, Domine.
(= "From logicians free us, oh Lord").
   The most blessed Ambrose.

Ik ben veel te beroerd en heb veel te veel pijn (dank jullie wel, Chiel van Eendenburg en Wim Schreuders) om veel te kunnen doen, maar ik heb geen zin om voortdurend te peinzen of schrijven over de oorzaken van mijn nu 21 jaar pijn, armoede, ontrechting en vernedering. (En wie zich "kwetsbaar opstelt" in Nederland, voorzover geen politicus of ambtenaar, zal dat weten, voelen en ingepeperd worden door wie politicus of ambtenaar is in Neerland, maar dit is parenthetisch, en elders zijn de mensen gemiddeld ook niet veel beter, begaafder of van betere wil, is k al waar.)

Even iets geheel anders dus, dat ng minder Neerlanders zal interesseren dan hun misdadige bestuurders sinds veertig jaar, namelijk FOIL a.k.a. First Order Intensional Logic.

Ziet u wel? A dialecticis libera nos, Domine, nietwaar? Maar voor die paar die wel willen en kunnen nadenken en dat vermogen enigszins wiskundig bekwaamden(*): Ik vond twee alleraardigste verhandelingen over het onderwerp, van Melvin Fitting (een leerling van Raymond Smullyan, die dit jaar 90 is geworden), en wel in de vorm van twee pdf-bestanden

Voor kenners een waarachtig genoegen, en leerzaam en nuttig, en zoals Fitting zijn tweede item eindigt

Finally, what is the significance of FOIL for investigations in intensionality? It is, in a way, a rather bland system, containing everything indiscriminately, objects, intensions, equality, designation, and so on. Everybody should find something to dislike about it. On the other hand, everybody should find some portion of it to their particular liking. If one takes the intersection of various approaches to intensionality one is left, I believe, with the empty set. In a sense, FOIL represents the union. That is its primary virtue.

Maar wel met de grote deugd dat het helder en volledig uitgelegd wordt - voor wie het meeste van mijn lijst van boeken over logica met begrip las - terwijl FOIL bovendien de deugd heeft tal van wenselijke eigenschappen voor logische systemen bewijsbaar te bezitten.

P.S. U ziet, als logische geschoolde: een stukje Nederlog geheel zonder vermelding van Neerlandse deugdmensen als Van Thijn en Cohen!

(*) U kunt een hl behoorlijk mens zijn zonder ooit een logica-boek gezien te  hebben, trouwens.

'\Maarten Maartensz

        home - index - top - mail