LOGICA MODERN

Manual de logic simbolic elementar

Graeme Forbes

Traducere din limba englez de

Mircea Dumitru

Prefa

Am predat logic pentru prima dat n 1976, la solicitarea lui Gareth Evans i John
Mackie, pentru University College, Oxford. Manualul care se folosea atunci era Beginning Logic
de E. J. Lemmon i, dei dup aceea am folosit multe cri, cartea lui Lemmon rmne una dintre
cele dou favorite ale mele. Cealalt este Elementary Symbolic Logic de Gustason i Ulrich. Fora
crii lui Lemmon const n sistemul de deducie natural pe care-l prezint, iar fora crii lui
Gustason i Ulrich n diversitatea i caracterul interesant al materialului privitor la simbolizarea
limbii naturale.1 Dar niciodat nu am fost pe deplin mulumit de nici un manual de logic simbolic
i aa se face c l-am adaugat pe al meu pe rafturile nesate de aceste cri.
Cu toate acestea, motivaia Logicii moderne nu este sentimentul meu de nemulumire - am
trit cu acesta destul de confortabil muli ani - ci mai degrab apariia programului de logic
MacLogic pe baza proiectului de Predare a logicii cu ajutorul computerului la St Andrews
University. Am scris Logica modern pentru c am vrut s predau pe baza unui manual care s
aib acelai sistem de deducie natural ca i MacLogic; prin urmare sistemele din aceast carte
sunt n mod esenial acelea ale programului. Recunosc ns c sunt muli studeni care se vor
opune acestei metode de predare, sau nu vor avea acces la echipamentul necesar pentru predarea
asistat de computer. De aceea acest manual este destul de ortodox; el se auto-conine, iar
MacLogic nu este necesar pentru folosirea lui. Totui, am inclus un scurt apendice pentru aceia
care pot fi intersai de felul n care funcioneaz programul.
Logica modern a fost scris pentru o anumit audien. n primul rnd, cartea urmrete
s ofere o baz adecvat n logic pentru studenii care frecventeaz cursuri cu o component
filosofic substanial - n S. U. A., studenii care studiaz filosofia n principal, sau att n
principal ct i secundar i studenii din programele interdisciplinare cum ar fi tiina cogniiei, iar
1

n original a limbii engleze. (Nota trad.)

n Marea Britanie i n alte pri, studenii din forme echivalente de studiu. Aadar, fr nici o
ndoial, cartea nu este un manual de gndire critic. n al doilea rnd, Logica modern este
conceput pentru a fi folosit la cursuri pe care departamentele de matematic, computer science
i lingvistic ar fi dispuse s le introduc n programele lor pentru studenii nceptori. n diferite
locuri din carte, am indicat dezvoltri ale subiectului, care prezint interes matematic, lingvistic,
sau pentru tiinta computerelor, dar n spaiul pe care l-am avut la dispoziie, desigur, nu am putut
s urmresc astfel de subiecte n detaliu. n al treilea rnd, cartea a fost conceput pentru cursuri
care satisfac cerina impus de anumite universiti2 ca studenii s frecventeze un modul minimal
de matematic sau gndire formal. Coninutul ei sper c este cel puin tot att de substanial ca
i acela al unui bun manual de introducere n calculul diferenial i integral sau al unui manual de
computer science.
Cartea are patru pri, materialul din partea a IV-a fiind mai avansat. Consider c prile IIII ar putea fi parcurse n ntregime ntr-un semestru, numai impunnd un ritm alert unei grupe de
studeni buni, dei am ncercat s scriu n aa fel nct s fie posibil ca o bun bucat din carte s
poat fi citit i nvat fr ajutorul unui profesor. n mod tipic, ntr-un curs de un semestru, am
putut s parcurg aproape n ntregime Prile I i II i ceva din Partea a III-a, alegnd din aceasta
din urm ntre semantic i demonstraiile care conin identitatea. Pentru aceia care se confrunt
cu constrngerile unui curs de un trimestru, sau pentru cei care se bucur de luxul a dou
trimestre unul dup altul, am separat logica predicatelor monadice, n Partea a II-a, de ntreaga
logic de ordinul nti cu identitate, n Partea a III-a, n aa fel nct un prim curs coerent s poat
fi construit doar pe baza Prilor I i a II-a. Totui, pentru a evita prea marea ncrcare cognitiv a
studenilor, ntreaga explicaie privitoare la abordarea semantic a constantelor individuale, dei n
sensul ei strict este o parte a logicii predicatelor monadice, este amnat pn n Partea a III-a.
Prile a III-a i a IV-a luate la un loc alctuiesc un al doilea curs compact i am descoperit c

n S. U. A. (Nota trad.)

Partea a IV-a, la care se adaug alte lecturi, poate constitui obiectul unui bun studiu independent
al studenilor sub ndrumarea profesorului lor.
Urmrind cuprinsul, profesorii i vor da seama cu uurin cum s foloseasc cartea
pentru a servi propriilor lor cerine, omind seciuni de care nu depinde materialul pe care
urmeaz s-l predea ulterior. Capitolele 1, 2, 3.1-3.4, 4.1-4.8, 5, 6.1-6.5, 7.1-7.3 i 8.1-8.4
constituie nucleul crii. Pentru aceia care continu cu Partea a IV-a, recomand Capitolul 4.10 din
materialul predat anterior. De asemenea, Capitolul 8.5 este o cerin prealabil pentru
Capitolul 10.
Exist unele convenii pe care am ncercat s le respect n mod consistent de-a lungul
ntregului manual. Dup Capitolul 1, majoritatea seciunilor se ncheie cu un numr de exerciii,
aranjate oarecum ntr-o ordine cresctoare de dificultate; soluiile la problemele marcate cu un
asterisc pot fi gsite la sfritul crii. Referine pentru alte lecturi sunt inserate n diferite locuri,
dei acestea vizeaz de obicei surse accesibile mai degrab dect lucrri originale. Referinele la
alte pri ale crii sunt prezentate n dou feluri, n cuvinte i succint i ambele stiluri pot fi
senzitive fa de context. Exemplul 4 din 5 n Capitolul 3 este o referin formulat cu mai
multe cuvinte, n timp ce omoloaga sa n stilul succint ar fi Exemplul 3.5.4 (n stilul succint,
numerele sunt date n ordinea de la cel mai mare domeniu, capitol, la cel mai mic domeniu,
identificatorul obiectului respectiv). Dar dac aceste referine la ceea ce este n manual ar aprea
n Capitolul 3, atunci ele ar fi prescurtate Exemplul 4 din 5 i respectiv Exemplul 5.4.
Pentru aceia care sunt interesai de astfel de chestiuni, exemplarul care a fost pregtit spre
a fi multiplicat al Logicii moderne a fost produs de ctre autor pe un Macintosh Quadra 700 i
imprimat pe un LaserJet 4M. Textul a fost scris n Nisus i transferat n Frame-Maker; unele
elemente grafice au fost create n CA-Cricket Draw III, iar girafele din Capitolul 11 se bazeaz pe
o imagine din ClickArt Studio Series. Caracterul literei pentru numerele capitolelor este Vag
Rounded Bold, iar caracterele folosite n text sunt din diferitele familii Lucida. i sunt

recunosctor lui Louis Vosloo de la Y&Y Software pentru asistena tehnic cu caracterele literelor
i personalului Oxford University Press pentru sfatul privitor la layoutul paginii.
Poate c partea cea mai grea a scrierii unui manual de logic este aceea n care trebuie s
produci o mulime suficient de mare i de variat de exerciii. Exist mai mult de 900 de probleme
n Logica modern, unele dintre ele mprumutate. Mulumesc editurii Simon and Schuster pentru
permisiunea de a retipri problemele pentru Capitolul 3.1 din What is the Name of This Book? de
Raymond Smullyan. Am folosit aproape douzeci de probleme preluate din vechi examene de la
Oxford; cele mai multe dintre acestea sunt n exerciiile de simbolizare ale Capitolului 2.4 i n
exerciiile de simbolizare i de demonstraii ale Capitolului 8.3-4. Am mai folosit probleme din
propriile mele teste mai vechi i am bnuiala c unele dintre acestea s-ar fi putut s fi fost luate din
alte surse a cror identitate nu mi-o mai aduc aminte. Dac lucrurile stau aa, atunci mi cer scuze
dinainte autorilor lor pentru c nu le menionez numele aici.
Mulumesc celor care au folosit acest material n cursurile lor, Robert Berman, Anne Hunt,
Norton Nelkin, Michael Ochoa i Tracy Tucker, care au predat folosind diferite variante ale
manuscrisului; lui David Boerwinkle pentru ajutorul pe care mi l-a dat la corectarea paltului; i
lui David Bostock, Kit Fine, Steve Kuhn, Xiaoping Wang i Timothy Williamson pentru a-mi fi
sugerat un numr de mbuntiri. Pentru citirea cu atenie a ntregului manuscris, descoperirea
multor greeli i pentru a-mi fi fcut multe recomandri deosebit de valoroase le sunt n mod
deosebit recunosctor lui Roy Dyckhoff, Stephen Read i la dou grupuri de refereni pentru
Oxford University Press, dintre care unul a citit manuscrisul de dou ori!
n fine, i mulumesc soiei mele, Marilyn Brown, pentru un numr de idei, dintre care pe
una, aceea ca aceast carte s fie numit Logica postmodern, am respins-o cu oarecare prere de
ru.
New Orleans

G. F.

iunie 1993