Introduzione alla logica formale

338 Pages·1991·6.87 MB·Italian

by  Lolli

Streunmti Filosofia

Gabrielei Loll
Introduzione
alllao gica
formale
ilM ulino
PRIMCAH EI LL IBRSOC IENTIFMIUCOOI A
nl ibsrcoi enètu infio rcgoa ncihssembi oa ssauun equilibdreiloi cato.
Glie levcaotsiitn ii z(iloalier dei l avonreoc esaslalr'iaeau irt eodraet,at io ri,
composaigtilloulirs it,r astoonrroei c)u pseer valeteni d riatgeg iuunngc oenrot o
volume.
Laf otocionup nip ar imtoe mproi dulceve e ndietp ee rccioòn tribaluilsac e
cresdceipltr ae zInz uon.s ecotnedmop eol imalilnraaa dliacpe o ssiebcioli­tà
nomidcipa r odunrurolievib rsio,p ratstcuitetnot ifici.
Pelral egigtea lliafa ontao cèol peicsaio tlpaoe u rs poe rsopnuarlcneho daénn ­
neggli' auQtuoirnoedg.inf io toccohpeeiv aila t'ciq udiis tliuobn rè oil lecita.
Laf otocnoopsnio al tèail neltcoim taam ,in acclisaao pravvdiiuv nme ondzdioa
trasmeltast ceireen za.
Chfio tocuonpl iiab crhomi,e tatd ei sposiim zeizopzneiefr o tococphiia re,
comunfqauover iqsuceesp traa tèin cealls ai tuadzii orcnaheci c ougnfili oerd ei
unsap epcrioet ettsatp,ae crfo ogrlislee'r uel fitoirmdeoiq uesstpae cie.
ISB8N8 1-5-02958-3
Copyri©g 1h9t9 b1yS ocieedtiàt ilr Miuclien o, BoÈlv oigentala.art iap roduzione,
anchpea rzicaolnqe u,a lsmieazszeioff ettucaotmap,r leasf ao tocoanpcihaea, du so
internood idatntoinac uot,o rizzata.
Indei c
Prefazione p. 7
I. Logimcaat emastimibcoalf,io cram,a le 11
II. Lingupardgeigcia tivi 29
II.I Dimostrazioni 43
IV. Calcdoelldole ad uzniaotnuer ale 49
v. Logipcrao posizionale 61
VI. Calcdoelldole ad uzniaotnue(r caolnet inua) 79
VII. Interpretazioni 87
VIII. n teorecmoam pdlie tezza 99
IX. Unlao gpioclai valente 111
x. Ta vosleem antiche 125
XI. Tavosleem an(tciochnet inua) 137
XII. Casid edcii dibilità 149
XIII. TeordemiSa k ol-Heemrbrand 155
XIV. Calcdoellroli as oluzione 136
6 INDICE
xv. Raffmamednetlrili as oluzione p.1 37
XVI. Unificaezr iiosnoelc uozvnia orniea bili 191
XVII. Introdaulzpliraoo nger amlmoagziicoan e 207
XVIII. Lincgouunag gugaig lianza 271
XIX. Calcdoelleolq eu azioni 229
XX. Indeciddeillbloiagld iiecptiarà e dicati 251
XXI. Aritmetica 259
XXII. Introdaulzmlieaot naet eoria 279
APPENDICI
L Introdaulzclioaor nreed tetpier zozgar ammi 297
II. Logincohcnel assiche 311
Indaincael itico 327
Preafzione
«Comheo i mparaadtao m arleal o gidceapl r imoor dienv ei vefreel ice»
diriàll e ttaolrlfeai ndee lsluaaf atiTcraai. n viait nis egnnaerllslace u ole
dau nap artceo,m ea llenameanltlo' udseol lraa gioon feo ndamento
dell'infoera mcactuidscimea e ,c caniceid semnou ndcise t eridlailtlà' altra,
chiè c ondannaadta ov erae c hef arceo nl al ogincoan s aq ualsei rena
ascoltsaecr oen,s ideurnaarp laan acuenaa,p atendtime o dernoi utnàa
disgrcaozmiela a i ncomprenmsaitbeimlaet oi« cuas,e laesas nsye laborate
thienvgo lvfeoadrs pecipfiucr powshei cnhol ongeexri s(tMsAl.»l ingham);
posizitountsitb ea glieaa tlel,ol r'au nèisc tau diarla.
li testcoo ntielnele e ziodniui n c orsdoi L ogicMaa tematpiecra
studednitS ic iendzeel l'Informmaaz liado enset,i napzriiomnaenr oina
condizipoinùca h et antilot rattamdeenltmloaa t ergilaai;r gomesnotnio
quelclhoes onion,u nai ntroduzei poilen cec,a otroi gisnfiaa sl een tfiorres e
solnoe lilnas istseungzalasi p edtitp ir ocedeuffreet tdievciea lcloolgii ci.
D'alptarratl eal ogifcoar maèlc eo spìe,rd efinizeil ooèn s ee,m prdeip iù
nell'edpeolcPlara o grammazeid oenlle' IntelAlritgiefnizicani oallitelr; e
riferimaelncltaaol colaebffieltitètisà vv ao litnmo o doi ntuistviiu voolp;ei ù
chea ltirnos tioll satriem ollaasr een sibpielrii lrt iàc onoscidmite anltio
aspetcthied, e vees erciptearrcssiiuòun materiinafloer maSloel.no e gli
ulticmaip itloenl oiz iorneil atailvlceaa lcolaibnitleirtvàe nignmo ondoo
attimvao p,u rs emprnee lvlear siionnteu icthievè aa mmessaan chter a
esperetc ih,ep ermetutneav arideitl ài vedil flriu iziaos neec onddeal la
esperiaecnqzuai sPietrila r.e staoll, e ttsoicr hei esdoel doic onosclear e
notazimoantee mateilceam entare.
Siè s celitnnoa nztiu tdtiop resendtiavreecr aslic loolgii oc dii,v erse
procedpuerlreo ,s tespsroo blefmoan damencthaeèlq eu,e ldleoll vaa lidità
logiiclal :e ttèori em plicitaimnevnittaea ctoog lieurnnave a lutazione
comparartiisvpae,at ltplooa s sibdiiul nialt oàr uot ilizzamzeicocnaen iinc a,
unag erarcchhieva ad apii dùi scorsqiuveilp liaiùo rienatlalmteai c chine;
ip ochcio nceftotnid amenstoanvloii s pteir criiòp etutasmoetndttioev erse
8 PREFAZIONE
angolea tdiuinrv eec rosnits eiss pteicr;oa ts rìla l' ta,ro oltcrhede i
facililtaca ornmep rendsivi aocnceic,no anrtvere oc clehpa iu ar troppo
difsfuaid cehale la o gsiiicd ae ntciofiuncns h iis tdelimo agc ihcaeas ,u a
volsitida e nctoilnaf' titcriaav ziitIoàs n iasllteoe.gmo iic c iai l,lc oogclioicn i
lleo sreom anstoincuohs ea(t,idi ni vceornstic ehsveta ind,na ol la mate­
mataillcfaaoi sloefia al l'incfao,)r smeoa nsttoiu dlideau tfuein ;z isoonnio
bedni stlinost teiu:ode ,p riamnac lo'rian vednecziai loecnd oeel,li l e
motivpaezirci aolnscicio o lnifi,pg uiruati tnoesvtiot acboimulenam ente
metaldoacgioi ncfnaio pnnri e detesrnemo idnnau a ngt ein,e crrailtee rio
dis cientificità.
Lal ogfiocramè ap leeri ònu nc ersteonu snoin coasn,o aldloil d àe i
divcearlsmciao a lin,c hes unieem lploerd tiarnatmita rzlaio ogcnilica as sica
el ogincochnle asèsa ipcphueln:lat o og diecplar imoor ndeiIn. q uesto
libcreor dscsiiap iecgoamsreipe ao sslilabo iglfieoc rame qa ulaenl ese i a
iflo ndamentodi: c ornesleagczuhiveeoan nlzigar o insopa et tuttot e le
interppreotsasdziuiibn goi enlniice ,orc neo rdeca htpeor ,o ppreqiruo e sto
srii conoastctornapova esrsnsaoogvin gn ic oali anttie rprperattaizcioo­ni
laqruii,mn adnii poslianztiaotntii mcehccea,n iDqcouhvnieeon. nd is us­
sisttaorlneiol aziiorlnei irf,im edèno tinvaote e rpreats atzruiato tnuir,e ,
domidnisi i gnifpirciavtiiolvp eiagtriàta itcio,dl ealrimcceoanmtteie ,
quedlelniou menrait uèrl alalo igs,it ceacs hsreai vies luao i clhiem iti,
dimolssatu nraoa an p plicmaaib qnilu icetaiàns ;oic n,'a dè i sposuinzoi one
strumaelntteorn atsiovluoont, e rcr'i(ètm oernoito oag lgee tdtai vo)
esplorraazrieo neas lcmieennttei pfeiprco armtesanerntmeepn rueo ve
provsionticdtleoo m inilooi gcdae.lla
Las celtaar gdoemègse lien mtpuirn seac edldito al oersocsleue s ioni,
ille tmtaotreem paottircào irnessotdadprieesir lfl iamtitstova itlou ppo
delplaerr tiig uapridpùar notpir iilar maegnitoen maamteenmtaot ico
sull'ieln pafi ienenisatp ol,i cdaerzlui odolenollet a e odreigialin siee mi
dell'anleglseltbourd daei lsolt er uilt tluerinteft;ooa rrtmeip cotor à ­lamen
tarle'l eusscidoenlvela el utdaizc ioomnpitl àeos, ds eilelfeaft tiva
implemendteallpzeri oocne;end oucnri es osffie nremaan inc mhoed o
adeguato nsoucnlll ea sltsorigacitshctoehaal,eli to ve e plrloop osizionale,
et utqtuoen sotsnoo pleorr a gdisiop nai:sz siip oecrhuaen vao lta appresi
benice o ncdeibt atseire i,c onolpsalc uirudatlilao i gtieàsc ehmea ntiche,
spio snsoaa ffronatltatmrerieis, ie n etsensro,na opni nùe lfloard muia n a
introdmuazi niq ounedeliu,l na so t usdpiceoiif cfnoila izz.Ca otno it utti
tagiclilo, n teencuctgeoidl àeso p adizu inco o r;is mloa tedreigaulllite i mi
capitolaip pee nèddd ieislcplioe pn eiprbe irlcoeop rzsiiao lntaelrnia tivi,
trcaus ipi o treasnneor csicteaals rteeec ,od nedgialn it eressi.
Lal ogèia cnac hes turnuomi emnptoorp teavrna traeip ep liclaoz ioni:
èn elmlaat emastesi iicm ap,aa rdea s emaps ifor uitm toadlrelneio n
stanodi aflre dn,o mdeenllcoao mpatnteelszltzouad d eilsolt er ultot ure;
èn llen'fimoaritcpae,lr ac ostrduisz iisotnpeeelm radi i mostdria zione
corredtetpier zozgar aom msdiii,s teesmp,ie rpotel irad imostrazione
automMaatu inincata r.o dunzoino nperd eit egnadlrpeaad a nrtoinraen za
diu nsot rumteenct;nno io cènon éu nm anunaélu ent ratUtnaat o.