Documente Academic
Documente Profesional
Documente Cultură
LOGIC I METALOGIC
II
LOGIC
I
METALOGIC
II
Prefa .... 11
Cap. 1. EXISTEN, LIMB I GNDIRE LOGIC.
LOGIC I METALOGIC .... 15
1. Existena, comportamentul i geneza schemelor de inferen ... 15
2. Niveluri ale discursului logic . 19
3. Nivelurile i tipologia operaiilor logice .... 22
4. Aciunile, comunicarea i atitudinile propoziionale .
Cap. 2. AXIOMATIZAREA LOGICII PROPOZIIILOR ..... 34
1. Introducere . 34
2. Sistemul Hilbert-Ackermann . 35
2.1. Vocabularul . 35
2.2. Regulile de formare . 35
2.3. Definiii ... 36
2.4. Axiome .... 36
2.5. Reguli de inferen .. 36
2.6. Teoreme ... 37
Observaii ... 38
3. Noncontradicia sistemului Hilbert-Ackermann .... 49
4. Completitudinea sistemului Hilbert-Ackermann ... 51
5. Independena sistemului Hilbert-Ackermann .... 53
6. Teorema deduciei i demonstraiile n sistemele axiomatice .... 61
7. Alte sisteme axiomatice . 66
7.1. Sistemul lui Gotlab Frege .... 66
7.2. Sistemul lui Ian Lukasiewicz .. 67
7.3. Sistemul P2 al lui Alonzo Church ... 67
7.4. Sistemul lui H. Freudenthal . 70
7.5. Sistemul lui D. Hilbert i P. Bernays .. 71
14
LOGIC I METALOGIC
1. Existena, comportamentul
i geneza schemelor de inferen
Logicienii nu se ocup de geneza gndirii la reprezentanii
speciei umane i nici de actele de gndire la speciile preumane.
Gndirea discursiv este, n opina noastr, un act deliberat,
intenionat, chiar dac admitem c pot exista la nivel comportamental
i acte de gndire reflex adaptativ, mai mult sau mai puin spontan.
Chiar i calculul matematic dispune de stereotipii i automatisme
dobndite prin antrenament i exerciii. Acestea pot juca un rol
important dup ce a fost descoperit modelul unei probleme i a fost
determinat algoritmul ei de rezolvare.
Ne ntrebm dac gndirea interioar tacit, n forul intim al
subiectului, aparine sau nu logicii sau aceasta ine exclusiv de
15
Tabel nr.1
4. Aciunile, comunicarea
i atitudinile propoziionale
Dac e s-i dm crezare dictonului lui Descartes, Cogito, ergo
sum, subiectul epistemic face i el parte din realitate i gndirea
individului este un fenomen real. Dar realitatea gndirii este, se pare,
ascuns dincolo de east, n creierul uman i n structurile neuronale
purttoare de influxuri electrice.
Fiziologii au atestat de mult costurile energetice ale travaliului
neuronal. Se fac la nivel mondial cercetri intense n domeniul
tiinelor cognitive i al modelrii prin reele, att a unor fenomene la
nivel ontic, ct i a unora de la nivelul activitilor cerebrale.
Personal nu cred c putem citi din structura i funcionarea
creierului semantica discursului rostit, tot aa cum nu putem descrie din
funcionarea unui televizor succesiunea gesturilor i actelor de vorbire
ale actorilor piesei transmise de pe scena unui teatru, dac ignorm ceea
ce se transmite. Televizorul, ca i creierul nostru, primete informaii
despre ceea ce se petrece n afara circuitelor sale. El este un decodi-
ficator i recodificator de informaie. i creierul nostru este un sistem de
receptare i prelucrare a informaiei. Nu putem ignora nici un moment
starea i evenimentele mediului extern i conduita intenionat a gndi-
torului nsui. Acesta se ntreb ceva, ncearc ceva i, mai ales, con-
vertete o parte din cunoaterea sa senzorial-perceptiv n cunoatere
discursiv, organizat n secvene de semne ordonate dup o gramatic.
28
33
1. Introducere
Tratarea axiomatic a logicii a fost mult vreme o aspiraie a
filosofilor. Leibniz a fost, ntre filosofii din epoca modern, unul care
a inut treaz acest ideal.
Dar, cel care a realizat, pentru prima dat acest ideal a fost mate-
maticianul german Gottlob Frege, n lucrarea sa Begrifschrift (1879).
Scrierea simbolic creat de Frege a nsemnat de fapt crearea limbajelor
logicii propoziiilor i logicii predicatelor i, totodat, crearea primului
sistem axiomatic de logic matematic. Dar simbolismul lui Frege,
destul de greoi, nu s-a impus. Este meritul lui Alfred Whitehead i al lui
Bertrand Russell, autorii lucrrii Principia Mathematica (1910-1913) de
a fi construit prima versiune unitar a logicii matematice i de a fi evitat
paradoxele ivite n versiunea iniial creat de ctre Gottlob Frege.
Totodat, ei au propus un simbolism mai lesnicios, care se menine n
caracteristicile sale de baz i n literatura logico-matematic actual.
Sistemul axiomatic din Principia Mathematica a fost ulterior
perfecionat de ctre David Hilbert, W. Ackermann i Paul Bernays,
care au artat c sistemul axiomatic din Principia nu este independent,
axioma asociativitii disjunciei putnd fi demonstrat cu mijloacele
sistemului din celelalte axiome.
n cele ce urmeaz vom ilustra, mai nti, axiomatizarea logicii
propoziiilor prin prezentarea sistemului Hilbert Ackermann. Totodat,
vom cerceta proprietile metateoretice ale sistemelor axiomatice:
noncontradicia, completitudinea i independena. Vom introduce apoi
sistemul axiomatic P2 al lui Alonzo Church, artnd c acestea sunt
deductiv echivalente. Vom ncheia prin a enumera alte cteva versiuni
ale axiomatizrii logicii propoziiilor.
O caracteristic a axiomatizrilor din logica propoziiilor este
caracterul lor formal. n fapt avem de a face cu o mbinare specific a
dou metode, a metodei axiomatice cu metoda formal. Este util ns
s artm c metoda axiomatic poate fi utilizat i n cadrul limba-
34
35
T2 p p
1) (( p p) p) (( p (p p)) (p p))
(RS, T1, p/p p,q/p, r/p)
2) (p (p p )) (p p ) (MP, 1), 2.4.1)
3) (p (p p) (RS, 2.4.2. q/p)
4) p p (MP, 2),3))
T3 - p p (RE, T2)
T4 p - p
1) (- p p) (p - p) (RS, 2.4.3.,p/-p, q/p)
2) p - p (MP, 1), T3)
T5 p - - p
1) p - - p (RS, T4, p/ - p)
2) p - - p (RE, l), 2.3.2.)
T6 - - p p
1) p - - - p (RS, T5, p/- p)
2) (- p - - - p) ((p - p) (p - - - p))
(RS, 2.4.4., p/- p, q/- - - p, r/ p)
3) (p - p) (p - - - p) (MP, 2), l))
4) p - - - p (MP, 3), T4))
5) (p - - - p) (- - - p p) (RS, 2.4.3., q/ - - - p)
6) - - - p p (MP, 5), 4))
7) - - p p (RE, 6), 2.3.2.)
37
T9 p (q p)
1) p (p q) (2.4.2.)
2) (p q) (q p) (2.4.3.)
3) p (q p) (T1, 1), 2))
4) p (- q p) (RS, 3))
5) p (q p) (RE, 4), 2.3.2)
T10 (p q) - p - q
1) - - (- p - q) (- p - q) (RS, T6)
2) (p q) (- p - q ) (RE, 1), 2.3.1.))
T11 (- p - q) - (p q)
1) (- p - q) - - (- p - q) (RS, T5)
2) (- p - q) - (p & q) (RE, l), 2.3.1.))
Observaii
39
Caz I, F(A) = - A:
-A
AB
-B
Demonstraie:
1) A ip.
2) A B ip.
3) A B (RE, 2.3.3)
4) B A (RE, 2.3.3)
5) - B - A (CP, 3 ))
6) -A -B (CP, 4 ))
7) - A - B (RE, 2.3.3)
8) - B (MP, 7), 1))
Demonstraie:
1) A C ip.
2) A B ip.
3) A B (RE, 2))
4) B A (RE, 2))
5) (A C) (C A) (C)
6) (C A) (C B) (ED, 3)
7) (C B) (B C) (C)
8) (A C) (B C) (T,5),6),7))
9) (C B) (C A) (ED,4))
10) (B C) (C B) (C)
11) (B C) (C A) (T,10, 9))
12) (C A) (A C) (C)
13) (B C) (A C) (T,11),12))
14) (A C) (B C) (RE,8), 13))
15) B C (MP, 14), 1))
41
1) A (A B) ip.
2) A (- A B) (RE, 1)
3) (- A - A) B (AD, 2)
4) A B (I, 2)
5) A B (RE, 4)
Pentru demonstrarea celei de a doua reguli se parcurg paii n
sens invers. Demonstrm, n continuare, o teorem de distributivitate.
T29 q (- p p)
1) q (p p) (CA,T9)
2) q (- p p) (RE, 1), 2.3.2))
T30 (- p p) (- p p r)
1) (-p p) ((-p p) r) (RS, 2.4.2)
2) (-p p) (-p p r) (AD, 1)
3) p (p r) (RS, 2.4.2)
4) p (p r) (RE, 3), 2.3.2))
5) p p r (AD, 4)
6) p (q (p q)) (EX, T14)
7) (-p p r) ((-p p )) ((-p p r) (-p p))) (RS, 6)
8) (-p p) (-p p r) (-p p)) (MP, 7), 5))
9) (-p p r) (-p p) (MP, 8), 9) )
10) (-p p) (-p p r) (ER, 2), 9))
T34 p (-p q)
T32 exprim ideea c o contradicie implic orice.
Observaii
1. Principiile logicii clasice, principiul identitii, terului exclus,
dublei negaii apar n sistemul Hilbert Ackermann ca teoreme oarecare,
nu ca axiome (vezi T2, T3, T4, T15). Principiul noncontradiciei poate
fi i el obinut din T3 prin aplicarea legilor lui De Morgan i a legii
dublei negaii. Un sistem axiomatic ne apare ca un mod de organizare
logic-deductiv dintre mai multe posibile. Dup cum vom vedea pentru
logica propoziiilor sunt posibile i alte organizri logic-coerente, corecte
i cuprinztoare.
2. Dezvoltarea sistemului axiomatic s-a fcut simultan prin pro-
ducerea de teoreme sau teze i prin producerea de reguli de inferen
derivate. Practic, pentru orice teorem putem construi o regul de
inferen asociat. Cu ct dispunem de mai multe i variate reguli de
inferen, cu att putem demonstra teoreme mai complicate i ntr-un
numr mai mic de pai. Utilizarea regulilor de inferen ne-a permis s
demonstrm teorema T12 n 20 de pai n loc de 37 de pai [35, p 61]
3. Demonstraia n sistemele axiomatice este riguroas, dar nein-
tuitiv. Nu putem oferi cititorului, n limitele sistemului axiomatic,
instruciuni sau sfaturi prin care s produc cu uurin textul demons-
trativ pentru o formul demonstrabil anterior dat. Pentru aceasta este
nevoie s trecem la metateoria sistemului.
48
3. Noncontradicia sistemului
Hilbert Ackermann
Un sistem axiomatic este contradictoriu, dac i numai dac,
putem demonstra n cadrul lui dou teze de forma A i A. Dimpotriv,
un sistem axiomatic este necontradictoriu, dac i numai dac, prin nici
o secven de aplicaii a regulilor de inferen nu se pot produce dou
teze de forma A i A.
Pentru a demonstra c sistemul Hilbert Ackermann este necon-
tradictoriu este suficient s artm c: 1) toate axiomele sale sunt for-
mule identic adevrate sau valide i 2) c aceast proprietate se con-
serv prin regulile de inferen admise.
nainte de a demonstra necontradicia sistemului s cercetm ce
consecine are asupra unui sistem deductiv prezena unei contradicii.
Sa admitem c am demonstrat ntr-un sistem:
1) A
2) A
atunci, pe baza teoremei T34, obinem:
3) A (-A B)
de unde prin aplicarea de dou ori a regulii MP se obine:
4) B.
Dar B poate fi substituit prin orice. Existena unei contradicii
face sistemul inapt s mai disocieze ntre adevr i fals, ntre
enunurile admisibile i cele inadmisibile.
Teorem. Sistemul Hilbert Ackermann este necontradictoriu
Revenind la demonstraia necontradiciei vom arta, mai nti,
c axiomele sistemului Hilbert Ackermann sunt formule identic ade-
vrate sau tautologii. Utilizm pentru aceasta metoda rezoluiei:
2.4.1. p p p 2.4.2. p (p q)
1) p p 1) p
2) p neg. consecv. 2) (p q)
3) p (1), 2)) 3) p -q
4) (3), 2)) 4) p (E &, 3)
5) q (E &, 3)
6) (4), 1))
49
4. Completitudinea sistemului
Hilbert Ackermann
Am demonstrat n 2 un numr de formule valide: principiul
tranzitivitii, legea contrapoziiei, legea dublei negaii, teoremele lui
De Morgan, teoremele asociativitii disjunciei i conjunciei, legile
de distributivitate etc. Putem s ne punem ntrebarea dac n sistemul
prezentat putem construi un text demonstrativ pentru orice formul
valid sau identic adevrat din logica propoziiilor. Aceasta este
problema completitudinii.
Teorem. Orice formula valid sau tautologic n logica
propoziiilor este teorem n sistemul axiomatic Hilbert Ackermann,
altfel spus, sistemul este complet.
51
p -p pq 0 1 2
0 0 0 0 0 0
1 1 p 11 0 1 2
2 2 2 0 2 0
pq 0 1 2
0 0 1 2
p 1 0 0 0
2 0 2 0
p q pq p q p (pq)
0 0 0 0 0
0 1 0 1 0
0 2 0 2 0
1 0 0 0 0
1 1 1 0 0
1 2 2 0 0
2 0 0 0 0
2 1 2 2 0
2 2 0 0 0
Tabel 3. Verificarea validitii axiomei 2.4.2
Testarea axiomei 2.4.3 se poate face direct din verificarea indi-
ferenei operaiei disjunciei, fa de ordinea variabilelor. Verificarea
valorilor ce revin axiomei a patra, axioma 2.4.4, pentru interpretarea
dat este prea laborioas pentru a fi reprodus aici. ntruct axioma are
trei variabile, vom avea 3 la puterea 3 atribuiri de valori, respectiv o
matrice cu 27 de linii.
Verificm faptul c axioma 2.4.1 ia, pentru cel puin o atribuire
de valori, o valoare neprivilegiat. Vom construi pentru verificarea
acestei axiome un tabel cu trei coloane i patru rnduri pe care l vom
umple cu valori de adevr innd seama de definiiile introduse
anterior n tabelul nr.1.
p p p (p p) p
0 0 0
1 1 0
2 0 2
Tabel 4. Verificarea axiomei 2.4.1.
ntr-adevr, n coloana 3 din tabelul nr. 3, rndul patru, 0 implic
2 d 2, conform definiiei implicaiei din tabelele 1 i 2 . Dar aceasta
reprezint o anomalie, cci o valoare privilegiat, 0, implic o valoare
neprivilegiat, 2. Axioma 2.4.1are, aadar, un contraexemplu. Ea nu
este verificat de modelul satisfcut de toate celelalte trei i este, deci,
independent de acestea.
n mod analog, pentru verificarea independenei axiomei a doua
va trebui s construim pentru axiomele 1, 3 i 4, respectiv 2.4.1, 2.4.3
56
p -p p q 0 1 2 3
0 1 0 0 1 1 1
1 0 p 1 0 0 0 0
2 3 2 0 1 2 3
3 2 3 0 1 2 2
pq 0 1 2 3
0 0 1 1 1
1 0 0 0 0
2 0 1 2 3
3 0 1 2 2
Nr. p q p (p q ) (p q) (q p )
1) 0 0 0 0
2) 0 1 0 0
3) 0 2 0 0
4) 0 3 0 0
5) 1 0 0 0
6) 1 1 0 0
7) 1 2 0 0
8) 1 3 0 0
9) 2 0 0 0
10) 2 1 1 0
11) 2 2 2 2
12) 2 3 2 2
13) 3 0 0 0
14) 3 1 1 0
15) 3 2 2 2
16) 3 3 2 2
Tabel 7. Verificarea independenei axiomei 2.4.2
Dup cum se vede din tabelul nr. 7, axioma 2.4.2. (vezi coloana
5) ia, n interpretarea dat, pentru atribuirile l0) i l4) dou valori
neprivilegiate de 1, n loc de 0 sau 2. Dimpotriv, axioma 2.4.3. (vezi
coloana 6) ia, pentru toate cele 16 atribuiri de valori, numai valori
privilegiate de 0 i 2.
Verificarea matriceala a axiomei 2.4.4. necesit 43 =64 de linii
pentru combinaiile de atribuiri de valori.
Pentru verificarea independenei axiomei 2.4.3 se consider
patru valori de adevr, 0, 1, 2, 3. Se dau pentru operaiile negaie i
disjuncie definiiile din tabelul nr. 8. q
p -p p q 0 1 2 3
0 1 0 0 0 0 0
1 0 p 1 0 1 2 3
2 0 2 0 2 2 0
3 2 3 0 3 3 3
Tabel 8. Definirea negaiei i disjunciei pentru verificarea inde-
pendenei axiomei 2.4.3
58
p -p pq 0 1 2 3
0 1 0 0 0 0 0
1 0 p 1 0 1 2 3
2 3 2 0 2 2 0
3 0 3 0 3 0 3
60
2) p q 3) r
6) p 8) q
Faza constructiv sau sintetic a demonstraiei const n obinerea
din fiecare formula atomar 3), 6) i 8) a tezei de demonstrat.
3) r ip. atomar
4) q r (I, 3)
5) p (q r) (I, 4)
6) p ip. atomar
7) p (q r) (I, 6) B/q r))
8) q ip. atomar
9) q r (I, 8)
10) p (q r) (I, 9)
Pe baza faptului c fiecare alternativ a lui 1) duce la p (q r)
vom conchide c:
11) {(p q) r} (p (q r))
de unde prin teorema deduciei TD obinem 12).
12) ((p q) r) (p (q r) (TD, 11)
O ultim remarc. n cazul exerciiului a) paii 4) 7) n care se
deriv din ipotezele 1), 2) i 3) , ultima consecin r, utilizndu-se n
exclusivitate MP i definiia disjunciei, demersul inferenial ntemeiat
pe mai multe reguli poate fi nlocuit printr-o derivare rezolutiv care
face uz de o singur regul de inferen, de principiul rezoluiei. Aceasta
n conformitate cu teorema consecinei rezolutive (vezi volumul I, Cap
6, 4.).
65
4 q r 2 q r
5 r
De aici se va conchide ca i n cazul anterior c din 1), 2) i 3)
decurge logic r (vezi 7) din rezolvarea exerciiului a).
Teorema deduciei are virtutea de a scurta unele demersuri demons-
trative. n plus, apropie demersul deductiv de gndirea natural uman.
Teorema deduciei este relevant pentru utilizarea operaiilor
logice n teoriile tiinifice indiferent de domeniul lor de referin i
pentru alctuirea bazelor relaionale de cunotine. Mulimea de
ipoteze poate fi alctuit din axiomele geometriei plane, din axiomele
unei teorii mecanice, din principiile unei teorii fizice sau din datele
factuale i clauzele generale specifice ale unei probleme de rezolvat.
Logica nu are angajri ontice. Ea cerceteaz necesarul i posibilul
asertoric n orice sistem discursiv n care s-au postulat anumite axiome
sau ipoteze. Enunarea axiomelor sau a ipotezelor iniiale sunt apanajul
teoriilor din tiinele particulare.
Logicianul intervine n dezbaterea unei teorii numai dup ce
axiomele, postulatele i regulile au fost alese. El se pronun doar
asupra modului de prelucrare a informaiei i nu i asupra ntemeierii
experimentale sau empirice a axiomelor i postulatelor.
73
8. Concluzii
1. Un sistem axiomatic formal este un limbaj formal dotat cu o
submulime de formule iniiale denumite postulate sau axiome. Sub-
formulele iniiale nu sunt formule oarecare ci formule privilegiate,
crora ntr-o interpretare semantic oarecare le corespund enunuri
identic adevrate sau formule valide.
2. Regulile de inferen iniiale, ca i cele derivate, conserv va-
liditatea formulelor iniiale.
3. O teorem este o formul derivat din axiome prin utilizarea
regulilor de inferen iniiale sau a regulilor derivate.
4. Producerea unor reguli derivate reprezint convertirea unor
enunuri descriptive n enunuri prescriptive. Intervine o operaio-
nalizare a achiziiilor teoretice.
74
77
Cap 3. AXIOMATIZAREA
LOGICII PREDICATELOR
124
1. Introducere
Definiia este operaia logico-semantic prin care se determin
semnificaia unui termen ntr-un limbaj.
Ne propunem, n capitolul de fa, s prezentm, pe scurt, teoria
clasic a definiiilor, teoria definiiilor n limbajele axiomatice i for-
male, precum i rolul definiiilor n organizarea bazelor de cunotine i
n scrierea instruciunilor Prolog.
Ne vom concentra atenia asupra prezentrii teoriei definiiilor
din perspectiva logicii predicatelor de ordinul nti, insistnd asupra
restriciilor pe care trebuie s le satisfac definirea corect a unor
relaii, semne funcionale sau constante, ca i asupra satisfacerii cerin-
elor de eliminabilitate i noncreativitate. Vom perfeciona, totodat,
teoria semiotic a definiiilor pe care am propus-o cu aproape trei de-
cenii n urm. Ne vom ocupa, de asemenea, de tipologia definiiilor,
de definiiile operaionale i de cele recursive, de definiiile lexicale i
de cele stipulative, ca i de rolul definiiilor n sistemele de calcul.
Vom trata, pe scurt, funciile cognitive ale definiiilor referindu-ne,
totodat, la rolul definiiilor n instrucie i n argumentare.
4. Exemple de definiii
Botanica este tiina care se ocup cu studierea plantelor, avnd ca
obiectiv cercetarea structurii, activitii vitale i dezvoltrii plantelor,
relaiile lor fa de mediul nconjurtor, repartizarea lor n spaiu i n
timp, clasificarea, originea i evoluia lor. (D. E. R., vol. I, pag. 400)
Bru 1. Cingtoare esut din ln colorat, n dungi sau cu mo-
tive mpletite, lung pn la 4m, lat pn la 35 cm.
2. (ARHIT.) Bru 2. Element decorativ orizontal, continuu, n
relief fa de planul zidului i, de obicei, ornamentat.
3. Bru 3. Joc popular romnesc, rspndit n diverse variante i
avnd diferite denumiri pe ambele versante ale Carpailor, joc de br-
bai sau mixt, n formaie de semicerc, cu braele pe umeri sau prinse
n cingtoarea vecinului; se joac dup o melodie vioaie, n ritm binar
sincopat, cu multe figuri de virtuozitate, pe cte 3 sau 4 msuri cons-
tnd n micri cu plimbri mai lente (D.E.R., pp 424-425).
Accepia Bru 1 este introdus printr-o definiie lexical care
descrie modul n care vorbitorii limbii romne folosesc cuvntul bru.
Definiiile lexicale descriu modul de utilizare a termenilor ntr-o limb
natural. nrudit cu prima accepie, cea de a doua accepie Bru 2
aparine arhitecturii i artelor decorative. Cea de a treia accepie, Bru
3 ine de domeniu folclorului i etnografiei.
Calcul (lat. calculus, pietricic) 1.(MAT.) a) Ansamblu de operaii
matematice, fcute n vechime cu ajutorul pietricelelor, de unde i numele
b) Capitol al tiinelor matematice n care se folosete un anumit tip de
operaii matematice (ex. c. diferenial, c. integral, c. logic etc.). c) Efec-
tuare a operaiilor matematice cu ajutorul unor construcii grafice sau al
unor dispozitive, maini, aparate, numite calculatoare sau maini de calcul.
2. (MED.) Corp solid, de obicei n form de pietricic, rezultat
din precipitarea srurilor organice i anorganice din bil, urin, saliv,
130
5. Teoria conceptului
n logica aristotelic o noiune se definea prin determinarea sferei
i a coninutului. Din noiuni se nchegau judecile i din acestea se
alctuiau raionamentele. Teoria conceptului propus de logica clasic
este neoperant pentru analiza limbajelor teoriilor tiinifice. Schim
mai jos elementele unei teorii a conceptului compatibile cu nevoia ana-
lizei limbajelor teoriilor tiinifice.
132
N I
D
semnificaie
7. Definirea operaiilor
sau a simbolurilor funcionale
n limbajul unei teorii tiinifice pot fi introduse prin operaii
logice de definire i simboluri funcionale sau semne pentru operaii
algebrice logice etc.
D7.1. O echivalen D care introduce un nou simbol funcional este
o definiie corect ntr-o teorie T, dac i numai dac, este de forma:
D = f (x1, x2,. .. ,xn) = y =df S
i sunt satisfcute restriciile:
1. x1, x2,. .. ,xn sunt variabile distincte;
2. n expresia definitoare S sau Dfn nu apar alte variabile libere,
dect cele din definiendum, respectiv, x1, x2,. .. ,xn i y;
3. n expresia definitoare S nu vor apare alte simboluri predi-
cative, semne funcionale sau constante individuale dect cele intro-
duse ca primitive n alfabetul teoriei sau introduse prin definiiile
explicite anterioare;
4. Formula !yS este derivabil din axiome i din definiiile
anterior introduse n teorie.
Cteva observaii sunt, probabil, utile.
Obs. 1. Simbolul D st pentru formula ce introduce definiia,
respectiv pentru echivalena dintre Dfd i Dfn;
Obs. 2. Definiendumul este alctuit din predicatul f (x1, x2,. ..
,xn) = y, respectiv dintr-un atom predicativ de forma t1 = t2;
Obs. 3. Simbolul funcional f st pentru numele operaiei. De
regul se introduc operaii unare sau binare;
Obs.4. Definitorul este redat prin formula molecular S care
conine, de regul, n afar de conective logice i cuantificatori, atomi
predicativi anterior introdui, simboluri funcionale anterior introduse
i eventual unele constante individuale anterior introduse;
Obs. 5. Restriciile 1, 2, 3 sunt aceleai din definiia 6.1 dat mai
sus pentru simbolurile relaionale;
139
140
9. Definiiile condiionale
Definiiile condiionale sunt o form de a conecta teoria defini-
iilor cu contextul discursiv sau pragmatic al utilizrii lor. n cazul lor,
relaia definiional este precedat de o clauz ce descrie ipoteza sau
condiiile preliminare n care echivalena definiional intr n aciune.
Propunem mai jos regulile definiiilor condiionale pentru relaii.
141
2. T(x, y) 3. M(x, y)
care innd seama de F1- F9 va genera pentru P(x, y) aceeai
clas de modele.
S cercetm acum realizabilitatea termenului nou introdus n
definiia D3, N(x, y) din perspectiva exigenelor teoremei C.
N(x, y) este realizabil, dac i numai dac, formula din
definitorul lui D3,
z (T(y, z) C(z, x)), testatat prin metoda Davis-Putnam, se
dovedete a fi realizabil.
1. z (T(y, z) C(z, x))
2. T(y, const) C(const, x)
3.1 T (y, const) 3.2 C(const, x)
157
/* Relaii de rubedenie*/
tata(ion,dan).
tata(ion,ana).
tata(dan,petru).
tata(dan,elena).
tata(gheorghe,veta).
tata(petru,pavel).
tata(petru,vera).
160
member(X,[X|Y]).
member(X,[Y|Z]):-member(X,Z).
barbat(X):-lista_barbati(l1,L),
member(X,L).
femeie(X):-lista_femei(l2,L),
member(X,L).
parinte(X,Y):-tata(X,Y);
mama(X,Y).
copil(X,Y):-parinte(Y,X).
fiu(X,Y):-copil(X,Y),
barbat(X).
fiica(X,Y):-copil(X,Y),
femeie(X).
bunic(X,Y):-tata(X,Z),
parinte(Z,Y).
bunica(X,Y):-mama(X,Z),
parinte(Z,Y).
161
/*Intrebari:
?-tata(X,dan).
?-tata(ion,Y).
?-bunica(maria,X).
?-bunica(X,_).
?-bunic(X,Y).
?-descendent(X,ion).
?-sot(X).
?-var(X,Y).
?-vara(X,Y).
?-stramos(X,oana).
?-unchi(X,veta).
?-matusa(X,petru).
?-frate(X,Y).
?-nora(X,ion).
?-ginere(X,gheorghe).
?-stramos(X,oana),femeie(X).
?-stramos(X,pavel),barbat(X).
?-bunic(X,vera). */
163
1
ntr-un capitol urmtor vom considera mulimea tuturor consecinelor
derivate din axiomele unei teorii ca descriind aceeai lume posibil i vom
considera drept o stare epistemic diferit numai una n care se schimb baza
iniial de cunotine prin adugarea sau eliminarea datelor iniiale.
164
168
concureaza1(X,Y):-produce(X,Z),produce(Y,Z),cost(X,Z,U),
cost(Y,Z,T),U<T.
concureaza2(X,Y):-vinde(X,Z),vinde(Y,Z),pret_vanzare(X,Z,U),
pret_vanzare(Y,Z,T),U<T.
concureaza(X,Y):-concureaza1(X,Y);concureaza2(X,Y).
fruct(X):-fructe(Y),member(X,Y).
cumpara(adam,ion,pantofi,65000).
cumparator(X):-cumpara(X,Y,Z,P).
vanzator(Y):- cumpara(X,Y,Z,P).
marfa(Z):-cumpara(X,Y,Z,P).
pret(P):-cumpara(X,Y,Z,P).
vinde(adam, pantofi,75000).
pret_cumparare(Z):- cumpara(X,Y,Z).
170
are(X,Y):-produce(X,Y).
are(X,Y):-a_cumparat(X,Y).
ofera(X,Y):-are(X,Y),vrea(X,bani).
cumpara(X,Y):-are_nevoie(X,Y);face_comert(X,Y).
producator(X):-produce(X,Y).
produs(Y):-produce(X,Y).
trebuinte([hrana,adapost,sanatate,securitate,delectare]).
trebuinta(X):-trebuinte(Y),member(X,Y).
satisface(paine,hrana).
satisface(casa,adapost).
satisface(medicament,sanatate).
satisface(consult_medical, sanatate).
satisface(spectacol,delectare).
satisface(politie, securitate).
bun_material(X):- satisface(X,Y),trebuinta(Y).
l_factor_prod([solul,subsolul,apa,minerale,lemn,riu, mare],
[unelte,masini,instalatii,energie,prefabricate],
[know_how, tehnologii,programe],[bani]).
factori_nat(A):- l_factori_prod(A,B,C,D).
capital(X):-
l_factor_prod(A,B,C,D),(member(X,B);member(X,D)).
abilitati_tehnice(C):-l_factor_prod(A,B,C,D).
factor_restrictiv(X):- factori_nat(A),member(X,A).
l_factori_restrictivi(L):- setof (X, factor_restrictv(X), L).
171
agenti_ec([adam,bratu,cornea,darie,emilian,gabor,horia,jir,kelly,olaru]
[iprse,ira,lampa,caleasca,itb],
[racnetul,trascaul,bumbacul,ciupeala,pleasca],
[copeica,albina,trintorul,clica]).
agent_ec(X):-gospodarie(X);intreprindere(X);
societate_de_persoane(X);societate_de_capital(X).
gospodarii(A):- agenti_ec(A,B,C,D).
gospodarie(X):- gospodarii(A), member(X,A).
intreprinderi(B):-agenti_ec(A,B,C,D).
intreprindere(X):- intreprinderi(A), member(X,A).
societati_de_persoane(C):-agenti_ec(A,B,C,D).
societate_de_persoane(X):-societati_de_persoane(C),member(X,C).
societati_de_capital(D):-agenti_ec(A,B,C,D).
societate_de_capital(X):-societati_de_capital(D),member(X,D).
%%% Proprietatea
poseda(bratu,mosie).
poseda(tovu,clica).
poseda(tiriac,banca).
poseda(dulau,ciupeala).
poseda(unsurosu,pleasca).
proprietar(X):-poseda(X,Y).
proprietate(Y):-poseda(X,Y).
dispune(X,Y):-poseda(X,Y).
utilizeaza(X,Y):-poseda(X,Y).
drept_de_uzfruct(X,Y):-poseda(X,Y).
intretine(X,Y):-poseda(X,Y).
apara(X,Y):-poseda(X,Y).
administreaza(X,Y):-poseda(X,Y).
172
folosit(unelte,afac1).
folosit(masini,bigAfaire).
folosit(instalatii,afac).
folosit(instal2,litleAffaire).
folosit(dolari,ciupeala).
folosit(marci,litleAffaire).
l_bani([dolari,lei,marci,lire, franci,guldeni,zloti,ruble]).
bani(X):- l_bani(Y), member(X,Y).
capital1(X):-(mijloace_prod(X);bani(X)),folosit(X,Afacere).
afacere(Afacere).
afacere(Afacere):-intreprinde(X,Afacere).
scop(unsurosu,profit).
investeste(unsurosu,lei).
organizeaza(unsurosu,[muncitori,unelte,masini,instalatii,energie,
bani, materii_prime,tehnologii,bani]).
produce(unsurosu,casa).
intreprinde(X,Afacere):-scop(X,Profit),
investeste(X,Bani),
organizeaza(X,Factori_prod),
(produce(X,Bunuri);face(X,Servicii)).
titluri_de_valoare([actiuni,obligatiuni,ipoteci,cambii,varante,cecuri]).
titluv(X):-titluri_de_valoare(Y),member(X,Y).
%%% Nota:O aciune este mai sus un element ntr-o multime
%%% si apoi o voi defini ca un predicat. De optat intre
%%% cele doua alternative!!Eventual, de lucrat cu clase
%%% si cu clasificari. Vezi exemplele.
%%% detine(Agent,Firma,NrActiuni).
%%% valoare_nominala(Firma,Valoare).
%%% profit(Firma,Procent).
detine(tovu,racnetul,50).
detine(tova,trascaul,50).
detine(tovu1,racnetul,60).
detine(tovu,ciupeala,50).
detine(latrau,pleasca,50).
173
divident_actiune(Firma,X):- valoare_nominala(Firma,V),
profit(Firma,Procent),X is V*Procent/200.
profit_anual(Agent,Firma,Val):-divident_actiune(Firma,Div),
detine(Agent,Firma,Nr_Ac),Val is Div*Nr_Ac.
%%% curs_actiune(Firma,Data,Bani).
curs_actiune(racnetul,d(7,01,97),900000).
curs_actiune(ciupeala,d(7,01,97),800000).
curs_actiune(trascaul,d(7,01,97),1300000).
curs_actiune(pleasca,d(7,01,97),1600000).
curs_supranominal(Firma,Data):-valoare_nominala(Firma,Val),
curs_actiune(Firma,Data,Bani),Bani>Val.
curs_subnominal(Firma,Data):-valoare_nominala(Firma,Val),
curs_actiune(Firma,Data,Bani),Bani<Val.
emite(copeica,h1).
emite(copeica,h2).
emite(copeica,h3).
emite(albina,a1).
emite(albina,a1).
emite(albina,a2).
emite(trintorul,t1).
emite(clica,c2).
emite(bumbacul,b1).
174
obligatiune(Oblig,Firma,Bani):-emite(Firma,Oblig),
societate_de_capital(Firma),
imprumuta(Agent,Firma,Bani,Termen),
plateste(Firma,Agent,Dobanda),
rascumpara(Firma,Agent,Termen,Bani).
debitor(Firma,Agent,Bani,Termen):- emite(Firma,Oblig),
imprumuta(Agent,Firma,Bani,Termen),
poseda(Agent,Firma,Oblig).
creditor(Agent,Firma) :- poseda(Agent,Firma,Oblig).
Observaii
Obs.1. Definiiile operaionale sunt definiii ce transcend nivelul
lexical; ele condiioneaz un act semantic, cum ar fi adevrul unui
enun sau realizarea unui predicat, de rezultatele unor operaii fizice,
tehnice sau sintactic-calculatorii. Ele leag semantica de praxiologie
sau de teoria activitilor umane.
Obs.2. Definiiile operaionale presupun abiliti sau competene
operaionale ale agenilor participani la instituirea conveniilor seman-
tice. Dar abilitile sunt capaciti de a face sau executa ceva; ele in de
domeniul posibilului acional, care angajeaz o categorie special de
operatori modali.
Obs.3 Definiiile operaionale dau seama i de aa numiii termeni
dispoziionali, cum ar fi termenii: inflamabil(x), sancionabil(x),
rentabil(x), etc. ;
Obs.4 Definiiile operaionale reclam o viziune dinamic
asupra lumii. Ele presupun stri i momente diferite ale sistemului
lumii ntre care au loc tranziii, imaginate i executate de ctre fiina
uman ca agent al actelor de conduit i ca agent al actelor de asertare
i de legiferare a conveniilor semantice. Pe acest temei am i introdus
explicit cel puin dou situaii acionale, Sit1 i Sit2
Obs.5 Definiiile operaionale pot fi clasificate relevant dup
natura operaiilor ce intervin n desfurarea lor. Astfel, vom avea
definiii operaionale care angajeaz operaii fizic-experimentale, teste
sau experimente chimice sau biologice, secvene de operaii tehnice,
operaii sintactic calculatorii.
178
sit1
1.in(h1,sit1) sit2
2.in(h2,sit1) 4.do(h1,x,o,y) 5.Q(y,sit2) 6.P(x)
3.in(x,sit1)
192
l. Introducere
Teoria clasificrii este un capitol tradiional de logic aristotelic,
care, de regul, este ignorat de tratatele de logic matematic. La fel cum
este ignorat teoria definiiilor. Credem c aceste omisiuni sunt nejus-
tificate, mai ales astzi cnd logica tinde s devin o metodologie gene-
ral n alctuirea bazelor de cunotine i n demonstraia automatizat.
n capitolul de fa dorim s regndim dintr-o perspectiv logico-
informatic teoria clasificrii i s o corelm cu analiza i construcia
bazelor de cunotine i cu programarea orientat spre obiecte. Credina
noastr este c teoria clasificrii nu se reduce la simpla partiie de
mulimi, cu toate c orice clasificare definete i o partiie. Privirea
clasificrii ca o simpl partiie de mulimi ignor dimensiunea intensio-
nal a operaiei de clasificare. Un obiectiv major al cercetrii noastre
const tocmai n punerea n lumin a valorii descriptive i logic infe-
reniale a operaiilor de divizare i clasificare i n corelarea clasificrii
cu programarea logic, cu teoria formelor normale disjunctive i cu
principiul rezoluiei duale.
Vom corela, totodat, teoria clasificrii cu teoria ntrebrilor i
chestionarelor, artnd c operaia de clasificare presupune explorarea
notelor definitorii ale unei clase i utilizarea operaiilor de abstractizare
i determinare.
n sfrit, vom arta c teoria clasificrii este intim legat cu
evaluarea activitilor umane, n principal a rezultatelor acestora.
Momentele principale ale expunerii noastre vor fi: statutul onto-
logic al operaiei de clasificare sau rspunsul la ntrebarea Ce clasifi-
cm ?; definiia formal a clasificrii elementare (cu nivel unic); cri-
teriile, msurtorile i definiiile operaionale; interpretarea relaional
a clasificrilor elementare; descrierea clasificrilor elementare ca relaii
binare; compunerea clasificrilor elementare i obinerea clasificrilor
193
2. Ce clasificm?
Este clasificarea o teorie a gruprii i ordonrii obiectelor din lu-
mea fizic, o teorie a gruprii i ordonrii termenilor ntr-un glosar sau
dicionar enciclopedic sau o teorie a gruprii i ordonrii conceptelor
sau noiunilor dintr-o disciplin tiinific?
Prima problem este, aadar, la ce nivel situm actul clasificrii i
teoria acestuia, la nivel ontic, la nivel lingvistic sau la nivel conceptual,
ideatic ?.
Este mai presus de orice ndoial c n tiinele naturii, n fizic,
chimie, mineralogie, botanic, zoologie, anatomie etc. clasificrile vi-
zeaz ordonarea i departajarea diferitelor categorii de obiecte reale i
numai n secundar, delimitri de concepte sau noiuni.
Pe de alt parte, n tiinele analitice, matematice, lingvistic, logic
matematic, informatic, drept etc., foarte adesea obiectul clasificrii l
constituie conceptele anterior introduse i mulimile de obiecte, stri sau
acte asociate acestora ca domeniu de interpretare.
194
Observaii
Obs. l. Din punct de vedere semantic mulimea univers Mo coincide
cu domeniul de cercetare asociat termenilor teoriei tiinifice n cauz.
Obs. 2. Criteriile pot fi nelese ntr-o prim instan ca nite pre-
dicate de dou argumente, unul pentru nume sau atribut i altul pentru
valori sau etichete valorizatoare valabile despre obiectele desemnate
prin acel nume. De exemplu, criteriul studii ntr-o anchet socio-
logic asupra personalului unei organizaii poate lua valorile ele-
mentare, medii, universitare, postuniversitare.
196
4. Criterii, msurtori
i definiii operaionale
Termenul criteriu folosit de definiia l pstreaz nc o
anumit ambiguitate.
Am afirmat mai sus c un criteriu este descris de un simbol pre-
dicativ i c acesta provoac scindarea mulimii de clasificat, dar n-am
precizat cum se realizeaz aceast regrupare a elementelor mulimii
iniiale.
Ne propunem s evideniem aici mecanismul formal al constituirii
claselor rezultate prin intervenia criteriului. Mai exact, vrem s artm
cum devin criteriile operaionale.
Pentru nelegerea acestui fapt trebuie s ducem analiza noastr
mai departe. Orice element c unde c = Atribut (Ind, Val) din C (vezi
definiia l) poate fi vzut ca o structur:
Atribut (Ind,Val) = (op, S, R) (Cr)
199
5. Interpretarea relaional
a clasificrilor elementare
n definiia l din capitolul 3 am vzut clasificarea ca o operaie i
am descris-o cu ajutorul unei funcii ce trebuia s satisfac mai multe
condiii de ordin extensional (vezi: 4), a) - 5), b) ).
Pentru articularea coerent, concis i intuitiv a teoriei clasi-
ficrilor plurinivelare este avantajos s interpretm clasificarea ca o
relaie ternar sau binar.
Clasificarea poate fi vzut ca o relaie definit pe produsul
cartezian al mulimii prilor universului Mo cu mulimea criteriilor i
mulimea m-tuplelor de submulimi din prile lui Mo
Definiia 2. Numim clasificare elementar sau clasificare cu un
singur nivel o relaie ternar:
Kr 2Mo C (2Mo) m ( 2.l.)
a crei instaniere:
Kr(Mo,c,[M1,...,Mm]) ( 2.2.)
se citete:
203
D1 D2 D3
M1 M2 M3
Fig.2. Reprezentarea intensional a unei clasificri elementare
205
6. Clasificarea elementar
ca o relaie binar
Pentru dezvoltrile ulterioare este util o schimbare sumar a
descrierii relaionale dat mai sus. n loc s descriem clasificarea ca o
relaie ternar o vom descrie acum ca o relaie binar. Aceasta pentru a
putea mai lesnicios descrie compunerea de clasificri, n capitolele
ulterioare, n care ne vom ocupa de clasificrile multinivelare i de
speele lor.
Dm mai nti o descriere a clasificrilor elementare ca relaii
binare care neglijeaz dimensiunea intensional a clasificrilor i red
explicit doar criteriile i extensiunea claselor implicate.
Kr2 (2MoC) ( 2Mo)m
206
Promovai Nepromovai
Restanieri Repeteni
Fig. 3.Reprezentarea grafic a clasificrii studenilor
dup performana colar
208
c1
Promovai Nepromovai
c2
Restanieri Repeteni
Fig.4 Reprezentarea unei clasificri multinivelare prin criterii i mulimi.
c1
A luat toate
Da examenele Nu
Promovat Nepromovat
Repetent(x) Restanier
c1
P(x) -P(x)
M-P
MP
c2
Q(x) -Q(x)
MQ M-Q
c1
D11 D13
D12
M11 M13
M12
c4
c2 c3
8. Clasificrile elementare
i schemele de inferen
Clasificarea nu este o simpl grupare a obiectelor n clase, ci un
instrument de ordonare logic i un punct de plecare pentru deducerea
unor cunotine.
Inferenele derivate dintr-o clasificare elementar vizeaz, deo-
potriv, sfera i coninutul sau intensiunea conceptelor.
Prin intensiunea unui concept nelegem, grosier vorbind, un ir
de note descrise prin simboluri predicative.
Formulm cteva scheme de inferen ntemeiate pe ceea ce am
numit mai sus clasificare elementar.
1. Dac N este o subclas a lui M i intensiunea lui N este K i in-
tensiunea lui M este L, atunci intensiunea lui N implic intensiunea lui M.
1a. ( subclas (N, M) int (N, K) int (M, L)) (KL)
1b. impli (K, L): - subclas (N, M), int (N, K), int (M, L).
Formularea 1 a fost redat ca formul logic la 1a i ca instruc-
iune Prolog la 1b. Prin impli (X,Y) am redat n Prolog implicaia in-
tensional; un rnd mai sus aceasta a fost redat prin .
Schem de mai sus a fost formulat n logica tradiional ca
principiul raportului invers ntre sfer i coninut.
Specia este mai bogat n coninut dect genul n care este
inclus. Dintre specii, cea mai bogat n coninut este specia infima.
La limit, specia infima poate avea un singur element, referentul ei
fiind o clas singleton.
2. Fie o clasificare elementar:
kr( [Mo,c], [M1, M2,...Mm] )
i D1, D2,...,Dm descriptorii generici ai claselor M1, M2,...,Mm..
Atunci pentru orice i, j cu 1 i, j m are loc schema de inferen:
2a. Di (X) / Dj(X)
Di(X)
------------------------
Dj(X)
2b. not (dj(X)): - not (di(X), dj(X)),
di (X)
Cu alte cuvinte, pentru un obiect x din Mo poate fi adevrat
odat un singur descriptor de clas, toi ceilali fiind fali. Altfel spus
descriptorii claselor obinute sunt mutual incompatibili.
212
9. Clasificrile alternative
i inferenele imediate
Fie dou clasificri elementare:
Kr1 = ( [Mo, c1], [M1, M2,...,Mm] )
Kr2 = ( [Mo, c2], [M1, M2,...,Mn] )
avnd acelai classificandum (Cld) i criterii diferite:
Cld1 = Cld2 = Mo (a)
c1 c2 (b)
Vom spune c Kr1 i Kr2 sunt dou clasificri alternative.
213
M0
c1
D13
c2
D22
M01
M131
M11 M12 M13 M132 M14
M133
cl1 cl2
Observaii
Obs.1. O clasificare multinivelar este, aadar, o structur ce
definete o relaie de ordine la nivel referenial i la nivel intensional
caracterizat prin cinci parametri:
1) natura clasificrii elementare;
2) nchiderea tranzitiv a relaiei de clasificare elementar;
3) nivelurile clasificrii multinivelare;
4) funcia de selecie a criteriilor de clasificare;
5) mulimea claselor terminale.
Obs.2. Condiiile 1) - 5) pot fi transpuse n instruciuni Prolog.
Obs.3. Nu am inclus n mod explicit n definiia clasificrii mul-
tinivelare i cile de operaionalizare a criteriilor unei clasificri prezen-
tate la nivelul clasificrilor elementare (vezi capitolul 4).
219
220
M43 D43
Clasa
c1
D1 D3
D2
Observaii
Obs. 1. O diviziune multinivelar cu criteriu unic pe fiecare nivel
poate fi vzut, in esen, ca un ir de perechi opuse de literali crora
li se asociaz perechi disjuncte de mulimi. Mulimea iniiala M este
descris de predicatul p. n continuare, fiecare nivel are un criteriu
exprimat printr-o pereche de literali (ci, ~ci), creia i se asociaz doua
mulimi disjuncte (Mi1, Mi2), unde prima satisface predicatul ci, iar
cea de a doua predicatul ~ci.
Obs. 2 Cel de al doilea termen din consecventul condiiei 5),
((c1(x) ~c1(x)) (c2(x) ~c2(x)) ... (cn(x) ~cn(x))) este o
conjuncie de iterri ale principiului terului exclus. Aceasta descrie
principiul expandrii unei expresii exprimat curent prin legea logic:
A A (B ~B) AB A~B.(18.4)
Obs. 3 Aplicarea legilor de distributivitate la principiul expandrii
exprimat n consecventul condiiei 5) duce la obinerea formei normale
231
p
c1 -c1
n1
c2
-c2 c2 -c2 n2
c3 -c3 c3
-c3 n3
6 7 3 2
c2 1 1 1 1
4 5 1 0
-c2 1 1 1 1
c3 -c3
Fig. 16 Reprezentarea prin diagrame Karnaugh
a diviziunilor multinivelare
232
Exemplu
F = pqr pq~r p~qr p~q~r ~pqr ~pq~r ~p~qr ~p~q~r
1 2 3 4 5 6 7 8
V = {p, q, r}n = 3,2n = 8 rn(ki) = 3
Alegem drept literal de rezoluie dual simetric literalul p i ob-
inem rezolvenii duali simetrici:
236
239
K2 (LpLq) L(pq)
1. p (q (pq)) (LP, import.)
247
K6 M(pq) (MpMq)
1. L(-p-q) (L-pL-q) (RS, T3, )
2. L-(pq) (L-pL-q) (LP, De Morgan, 1)
3. -L-(pq) -(L-pL-q) (LP Neg , 2 )
4. -L-(pq) -L-p -L-q (LP, De Morgan, 3)
5. M(pq) (MpMq) (LP, RE, 4)
Fcnd uz de Def1 care definete posibilitatea ca negaie a
necesitii adevrului propoziiei contrare putem deriva o nou schem
de inferen: Fiind dat o implicaie material rezult c
posibilitate antecedentului duce la posibilitatea consecventului.
D3. M M (DR3)
1. ip.
2. -- (LP, contrapoz., 1)
3. L- L- (DR1, 2)
4. -L- -L- (LP, contrapoz., 3)
5. M M (RE,4, Def 1)
3. Sistemul T
Dac la axiomele sistemului K adugm axioma:
Ax Lp p, (Ax. specific lui T)
dup care adevrul necesar al unei propoziii implic adevrul pur i
simplu al acesteia, obinem sistemul T.
Putem, de asemenea, s adugm dou definiii suplimentare,
pentru implicaia strict i pentru echivalena strict.
D2. pq =df L(pq)
D3. p = q =df pq qp
De reinut c dou formule strict echivalente sunt deductiv echi-
valente.
Sistemul T este unul dintre cele mai importante sisteme de logic
modal standard.
Sistemul T este deductiv echivalent cu sistemul M creat de Georg
H von Wright. Acest rezultat l datorm lui Sobocinski.
Sistemul M creat de von Wright are ca axiome:
K6 M(pq) (MpMq) i pe M p Mp.
i el presupune ca infrastructur logica propoziiilor, iar ca
reguli de inferen pe RS, RE, MP i Nec, necesitarea .
Demonstraia n T a lui
T1. p Mp este urmtoarea:
1. L-p -p (RS,Lp p, -p / p)
2. p-L-p (Contrapoz 1.)
3. pMp (RE, 2., Def. 1 Mp= -L-p)
T2. M(pLp)
1. LpMLp (RS,T1, Lp / p)
2. M(pLp) (LpMLp) (RS, K7, Lp/ q)
3. M(pLp) (RE, 1., 2., )
250
T4. p = q ( Lp=Lq)
1. (pq) (Lp Lq) (RE, AxK, D2)
2. qp (Lq Lp) (RS,RE, AxK, D2)
3. (p = q) (Lp = Lq) (LP,1,2, RE, D3 )
ntre altele, am folosit teorema logic propoziional: (pq)((rs)
((pr) (qs))).
O demonstraie alternativ pentru T4 este una din ipoteze. Presu-
punem c este adevrat antecedentul sau ipoteza teoremei de demons-
trat, apoi fcnd uz de regulile de inferen i de legile logicii ncer-
cm s derivm consecventul. Dac aceasta reuete aplicm teorema
deduciei i obinem teza de demonstrat.
1. p = q ip.
2. pq qp (RE, 1, D3)
3. pq (E, 1)
4. qp (E, 1)
5. L(pq) (RE, 3, D2)
6. L(qp) (RE, 4, D2)
7. Lp Lq (MP, K, 5)
8. Lq Lp (MP, K, 6)
9. L(Lp Lq) (Nec., 7)
10. L(Lq Lp) (Nec., 8)
11. LpLq (RE,DR2, 9)
12. LqLp (RE, DR2,10)
13. LpLq LqLp (I, 11, 12)
14. Lp = Lq (RE, 13, D3)
15 {1-14} Lp = Lq
16. p = q Lp = Lq (TD,15)
T7. (-pp) Lp
1. (p p) p
2. L(p p) Lp (DR2, 1)
3. (-pp) Lp (RE,2,D2)
T11. Lp(qp)
1. p(qp) (LP)
2. LpL(qp) (DR2, 1)
3. Lp(qp) (RE,2, D2)
T12. L-p (p q)
1. (p q) (LP)
2. L L(p q) (DR1)
3. L-p (p q) (RE,2)
5. Sistemul S4
Sistemul S4 se obine din sistemul T prin adugarea axiomei:
(Ax S4) LpLLp
G. M. Hughes i J. M Cresswell s-au ntrebat dac Este ntot-
deauna ceea ce este necesar n mod necesar sau ceea ce este uneori
necesar s-ar putea s nu fie n mod necesar ?.
Pentru cititorul care nu a luat cunotin de geneza logicii, ntre-
barea de mai sus pare mai curnd un calambur sau un joc de cuvinte
dect o ntrebare serioas. Noi declarm c este o ntrebare serioas
care merit toat atenia.
Presupunem c p din Ax S4 descrie un raionament valid cruia
i corespunde o tautologie. Admitem, deci, ntr-o demonstraie prin
ipotez, secvena:
1. p ip.
2. pq-q ip.
3. q-q (RE, 1., 2.)
253
T2. Lp LLp
1 Lp p
2. LLp Lp (RS, 1)
3. Lp LLp (Ax S4)
4. Lp LLp (LP )
255
T4. MLMp Mp
1. Lp p (Ax T)
2. LMp Mp (RS, 1)
3. MLMp MMp DR3 A B MA MB, 2
4. MMp Mp (T1)
5. MLMp Mp (Tranz 3, 4)
Lp
LMLp
MLp LMp p
MLMp
Mp
6. Sistemul S5
S5 = T + E = Mp LMp,
T = K + Lp p,
K = L(p q) (Lp Lq)
S5 = L(p q) (Lp Lq),
Lp p,
Mp LMp
Axioma sa specific este:
E Mp LMp
Teoreme n S5
S5. 1 MLp Lp
1. Mp LMp (AxS5)
2. M-p LM-p (RS, 1)
3. Lp -MLp (LMI 2)
4. MLp Lp (LP, contrapoz)
S5.2 Lp MLp
1. p Mp (teorem n T)
257
S5.3 Mp LMp
1. Lp MLp (S5.2)
2. L-p ML-p (RS, 1)
3. -L-p -ML-p (Neg , 2)
4. Mp LMp (LMI, 3)
S5.4 Lp LLp
1. p Mp (T)
2. Lp ML p (RS, 1)
3. Mp LMp (S5.3)
4. MLp LMLp (RS, 3, p / Lp)
5. Lp LMLp (Tranzitivit, 2, 4)
6. Lp LLp (R, 5, S5.2)
w1 Mp LMp
1 1 0 0
w2 pMp
1 0
7. Validitatea lui S5
Pentru a testa validitatea lui S5 este suficient s artm c axioma
sa specific este valid n orice model a crui relaie de alternativitate
are proprietile echivalenei, i.e. este reflexiv ca sistemul K, tranzitiv
i reflexiv ca T i n plus este simetric.
Construim un graf semantic interpretat i un contramodel pentru
axioma specific a lui S5. Vom considera un astfel de graf avnd trei
noduri sau trei lumi posibile legate ntre ele printr-o relaie de alter-
nativitate ce satisface proprietile relaiei de echivalen, i. e. este re-
flexiv (precum K ), tranzitiv (precum axioma lui S4, LpLLp i n
plus, este simetric.
w1 Mp LMp p
11000
w2 pMp
00
w3 p
0
260
Observaii finale
270
272
276
t LPp (t< t) t p
t2 < t < t1
Until
t1 < t < t2
287
293
297
298
299
6. O semantica pe arbori
a logicii dinamice
Putem asocia logicii dinamice o interpretare sau un model pe
arbori etichetai.
Desemnm mulimea agenilor prin:
AG = ag1, ag2,.. ., agn
1. Aciunile elementare a, b, c, vor fi redate prin etichetele
unor arce. Alfabetul actelor elementare l vom nota prin:
AE = a, b, c, d,
2. Fiecrui agent ag1, ag2,i vom asocia un subalfabet de ac-
iuni elementare. Aceasta o putem descrie prin funcia de repartizare:
b: AG 2 AE
Funcia b de repartizare a actelor elementare ctre ageni este
definit pe mulimea agenilor AG cu valori n mulimea prilor
alfabetului de aciuni elementare AE
3. Abilitatea agentului x, ab(x), va consta din mulimea actelor
descrise de cuvintele scrise n literele subalfabetului asociat de funcia
b agentului x.
4. Nodurile vor desemna stri sau situaii acionale s1, s2, sn
sau rezultate ale parcurgerii unor drumuri. Mulimea strilor grafului o
vom nota prin S.
5. Fiecrei stri sau situaii acionale putem s-i asociem un
model constnd dintr-o list de atomi predicativi instaniai sau dintr-o
list de literali din logica propoziiilor.
303
W0
w1
b c
w2 w3
d e f
w4 w5
g h i j
w6 w7 w8 w9 w10
r1 r2 r3 r4 r5
agr1 agr2
ws Prod
322
1. Sistemele wrightiene P i O
Primul sistem axiomatic propus de von Wright n 1951 ia ca
operator primitiv pe P (permisiunea) i ca operatori definii obligaia,
notat prin O, i interdicia, notat prin F. Cel de al doilea sistem ia ca
primitiv pe O i definete pe F i pe P.
Logica deontic este o supraetajare a logicii propoziiilor sau a
logicii predicatelor. Ea presupune toate legile logicii propoziiilor sau
toate legile logicii predicatelor. Axiomele i definiiile celor dou
sisteme axiomatice wrightiene de logic deontic monadic sunt:
Sistemul P Sistemul O
Ax1. Pp P-p Ax1. - (OpO-p)
Ax2. P (pq) (Pp Pq) Ax2. O (pq) (Op Oq)
D1. Fp =df -Pp D1. Fp =df O-p
D2. Op=df -P-p D2. Pp=df -O-p
Tabelul 2. Sistemele wrightiene P i O.
Fiecare dintre teoreme are drept punct de plecare: una dintre cele
dou axiome sau una dintre legile logicii propoziiilor. Primele 6
teoreme pornesc de la Ax1. Aa, de exemplu, prima teorem se poate
obine din Ax1 i legile logicii propoziiilor.
Cutarea textului demonstrativ pentru o teorem presupune, de
regul, dou faze: una analitic-reductiv i o a doua sintetic-
constructiv. Analizm pentru a reduce la atomi sau la axiome i apoi
compunem atomii astfel nct s ajungem la teza de demonstrat.
Orice demonstraie presupune i o anumit conduit teleologic.
Trebuie s obinem teza de demonstrat fcnd uz de axiome sau
formule anterior demonstrate i regulile de inferen. Definiiile date
ntr-un sistem axiomatic sunt un minunat prilej de a folosi regula
substituirii echivalentelor i de a reduce termenii derivai la termenii
primitivi n care sunt formulate axiomele. Exemplificm prin
demonstrarea primei teoreme:
1. Pp P-p (Ax1 )
2. -P-p Pp Regula negrii unei alternative aplicat la 1
3. Op Pp Regula RE sau a substituirii echivalentelor aplicat la 2.
Teorema s-a obinut numai prin doi pai.
Sugerm cititorului s ncerce prin fore proprii demonstrarea
ctorva dintre teoremele reproduse n tabelul nostru de mai sus.
325
Pp
P-p
Op Fp
Pp P-p
Lp
Fig. 2. Hexagonul deontic
328
Fp Op Lp
Cp
Fig. 3. Reprezentarea spaial a operatorilor deontici
329
331
335
337
343
OS5 OS4 OT OM OK
OB
Un sistem OSi+ este mai tare dect un sistem Osi i-l presupune
sau implic logic pe acesta.
Un graf analog cu cel din Fig.4 putem construi pentru cele 6
sisteme OSi+: OS5+, OS4+, OT+,OM+, OK+ i OB+.
345
349
7. Validitatea i realizabilitatea
n sistemele Smiley-Hanson
Fie L un sistem oarecare din cele 10 sisteme Smiley-Hanson
OK, OM,, OS5+. Spunem c o propoziie A este L-valid, n
simboluri L A, dac i numai dac , M, w A pentru orice L-
model M i pentru orice w din W. De asemenea, vom spune c un set
de propoziii S este L-realizabil, dac i numai dac, exist un L-
model M i o lume w din W astfel c fiecare propoziie A din S s fie
adevrat n modelul M i n lumea w din W. Evident, vom avea L
A, dac i numai dac, mulimea unitar -A nu este L-realizabil.
Putem defini un concept semantic analog derivabilitii sau
demonstraiei (proof) din teoria sistemelor axiomatice conceptul de
consecin logic semantic. Spunem c o propoziie A este o
consecin logic semantic dintr-un set de propoziii S, simbolic,
S L A, dac i numai dac, S-A nu este L-realizabil. Vom spune
c A este o consecin logic semantic n L, n simboluri, L A, dac
i numai dac, A este o consecin logic semantic din mulimea
vid, respectiv L A.
8. Noncontradicia sistemelor
Smiley-Hanson
Pentru fiecare dintre cele 12 sisteme deontice cu operatori iterai
putem construi demonstraii de noncontradicie i completitudine.
Demonstraiile vor avea cursul firesc al oricror demonstraii de acest
fel. Pentru noncontradicie va trebui s artm mai nti c fiecare
dintre axiomele sistemului n cauz este lege logic sau formul
semantic valid. Pasul urmtor va consta n dovedirea faptului c
fiecare dintre cele dou reguli de inferen, R1, Modus Ponens i R2,
regula necesitrii conserv validitatea axiomelor.
Lennart qvist ilustreaz verificarea validitii axiomelor prin
verificarea faptului c axioma specific sistemului OS5, axioma A5,
este valid. n verificarea validitii acesteia, el ine seama de
proprietatea specific a relaiei de alternativitate pentru A5, aceasta
fiind euclidian, i.e. xyz ( (R (x,y)R (x,z) R (y,z), unde x,y i
z sunt lumi posibile.
Aceast proprietate poate fi ilustrat prin graful din fig 5.
350
y z
351
Pp-O-p
*
Pp -O-p
1 0 01 s -O-p Pp s
* 10 00
*
R
R
p -p
v p -p v
contr.
* *
pq p
q v
110 1
*
Op Pp s
1 00
*
p p
1 0 v
contr.
*
Op OOp
10 0 s
*
R (s,v)
R p Op
1 0 v
*
R (v,w)
p
p
1
POp Op
1 00 s
* *
R (s,v)
R
R (v,w)
* p -p
v Op contr. w
9. Completitudinea sistemelor
Smiley-Hanson
Lennart qvist propune dou versiuni ale demonstraiei de
completitudine, una tare i alta slab.
Versiunea tare este formulat de logicianul de la Uppsala
astfel: Fie L un limbaj al unuia dintre cele 10 sisteme i S o
mulime de propoziii din acel sistem. Atunci dac S este L-realizabil
atunci S este L-consistent, respectiv din S nu deriv ..
Pe scurt, dac S este o mulime de propoziii realizabil, atunci
S este L-consistent, respectiv din S nu deriv nici o contradicie.
Contradicia se noteaz prin .
Versiunea slab este cea care corespunde ideii clasice de
teorem de completitudine.
Versiunea slab. Fie L, ca mai sus, un limbaj al unui sistem
modal de tip Smiley-Hanson i A o propoziie din mulimea
propoziiilor. Atunci dac A este valid, simbolic L A, atunci A este
demonstrabil ca teorem n limbajul L al sistemului., simbolic L A
Pe scurt, Dac L A, atunci L A.
Lennart qvist demonstreaz mai nti c versiunea tare implic
versiunea slab. Pentru aceasta el admite c versiunea slab ar putea fi
infirmat, respectiv c am putea avea o formul A realizabil care nu
este n acelai timp L-consistent.
LA ip.
not L A. ip.
356
360
378
379
Prima versiune: V1
Prima definiie a interdiciei este mai tare dect a doua, dar a doua
ne pare mai aproape de realitatea social i pe deplin concordant cu
sistemul instituiilor democratice. Lum mai nti n considerare prima
versiune.
Spunem c stare p rezultat din conduita a unui agent
oarecare x din comunitatea C este interzis n comunitate, dac i
numai dac, starea p este respins de ctre toi membrii comunitii:
DV1.1. F (x, p) xy[ (xC Ab (x) []p) ( (yC y
x) R (y, p))]
Definim, n continuare permisiunea ca non-interdicie:
D2V1.2. P (x, p) -F (x, p) -xy[ (xC Ab (x) []p)
( (yC y x) R (y, p))] x y -[ (xC Ab (x) []p)
( (yC y x) R (y, p))] x y [ (xC Ab (x) []p) - (
(yC y x) R (y, p))] x y [ (xC Ab (x) []p)
(yC y x)) - R (y, p)]
D2V1.2 poate fi redat, pe scurt, ca:
D2V1.2 P (x, p) x y [ (xC Ab (x) []p) (yC
y x)) - R (y, p)]
385
A doua versiune: V2
Avem nevoie de un concept mai slab de interdicie care s nu se
ntemeieze pe respingerea de ctre toi, ci doar pe respingerea de ctre
majoritatea membrilor comunitii. Dac o anumit conduit este
respins de ctre majoritatea membrilor, nseamn c dintre ceilali, mai
puin de 49 la %, o parte o accept i alta rmn indecii n privina ei.
Cci, nu trebuie s uitm c n logica acceptrii avem ca teorem:
A (x, p) R (x, p D (x, p) (vezi i P3 din cap. 3)
Conceptul slab de interdicie susine c o stare p rezultat din
conduita agentului este interzis, dac i numai dac, ea este
respins de majoritatea membrilor comunitii.
Introducem cea de a doua variant, notat prin V2, a reducerii
conceptelor logicii deontice dinamice la logica logica acceptrii. Dm,
mai nti, definiia formal a interdiciei slabe.
DV2.1 F (x, p) xy[ (xC Ab (x) []p) (y x |
xC:R (y, p) | | C | / 2 ]
O stare terminal p rezultat din conduita a unui agent
oarecare din C este interzis, dac i numai dac, majoritatea
membrilor din C diferii de x , resping starea p. Aceasta este redat n
definitor prin faptul c numrul celor care exprim cardinalul mulimii
celor ce resping starea p este cel puin egal cu numrul ce descrie
jumtate din cardinalul comunitii.
Putem defini majoritatea ca un predicat binar:
DMaj maj (B,C) | B| | C| / 2
Spunem c mulimea B desemneaz cel puin majoritatea din
mulimea de referin C, dac i numai dac, cardinalul lui B este mai
mare sau egal cu jumtatea cardinalului lui C. n definiia interdiciei
n versiunea V2 (vezi, mai sus, DV2.1) mulimea celor ce resping
starea rezultat din conduita , starea n care este adevrat p are
cardinalul mai mare sau egal cu jumtate din cardinalul lui C,
mulimea membrilor comunitii. (Simbolic: | xC:R (y, p) | | C |
/ 2). Astfel definit, interdicia are un temei social, moral, cci se
ntemeiaz pe atitudinea i judecata de valoare a majoritii membrilor
unei comuniti.
387
Concluzii
396
p -p
a r
r a
d d
Tabelul nr. 1. Definirea negaiei n logica acceptrii
P1. p = a p = r p = d
ntr-o logic de rang superior putem transforma valorile de
adevr {a, r, d} n predicate descriptoare ale variabilelor
propoziionale sau ale atomilor predicativi:
P2. A(p) R(p) D(p)
P2 este o formul ce ine de logica predicatelor de ordinul al
doilea a crei semnificaie este o disjuncie de forma p este acceptat
sau p este respins sau p este ndoielnic.
Putem transcrie enunul P2 ca un enun de logic modal
supraetajat logicii propoziiilor sau logicii predicatelor, transformnd
pe A, R i D n operatori modali:
P3. Ap Rp Dp (trivalena atitudinilor n logica modal a
acceptrii)
397
1 2 3 4 5 6 7 8 9 10
p q -p -q pq pq pq qp pq
1 a a r r a a a a a
2 a r r a r a r a r
3 a d r d d a d a d
4 r a a r r a a r r
5 r r a a r r a a a
6 r d a d r d a d d
7 d a d r d a a d d
8 d r d a r d d a d
9 d d d d d d d d d
Tabelul 2. Definirea conectivelor binare
n logica trivalent a acceptrii
398
400
4. Acceptare i acceptabilitate
Predicatul accept(X, W, P) care se citete: agentul X accept n
situaia W enunul P descrie o stare doxastic epistemic sau o
judecat de valoare a unui agent. Aceasta este, n opinia noastr,
deosebit de ideea modal de acceptabilitate care descrie posibilitatea
ca ceva s fie acceptat.
accept(X, W, P),
acceptabil(X, W, P) Maccept(X, W, P) (1)
accept(X, W, P) M accept(X,W,P) (2)
Ap MA p (3)
pMp (4)
rejectabil(X, W, P) M respins(X, W, P) (5)
rejectabil(X, W, P) M accept(X, W,-P) (6)
convins(X,W, P) -M accept(X, W,-P) (7)
convins(X,W, P) L accept(X, W,P) (8)
convins(X,W, P) accept(X, W,P) (9)
Formula (1) definete acceptabilitatea. Formulele (2) i (3)
exprim acelai coninut: acceptarea de fapt implic acceptabilitatea;
(3) este o notaie simbolic mai laconic a lui (2). Formula (5)
definete rejectabilitatea ca posibilitate a respingerii
401
11 -Ap 12
-Rp 13 -Dp
Rp Dp Ap Dp Ap Rp
403
Observaii
Obs. 1. Sunt dou clase de reguli de introducere a acceptrii: logic
analitice i empirice. Primele dou reguli sunt logic analitice. Prima
regul, ce corespunde sub aspect sintactic regulii necesitrii, spune c
agentul raional trebuie s accepte toate legile logicii clasice: logica
propoziiilor i logica predicatelor de ordinul nti. A doua regul spune
c acesta trebuie s resping contradiciile. Am fi putut aduga cu
ndreptire i o regul care s enune c agentul trebuie s resping o
baz de cunotine dac din ea rezult o contradicie. Mai departe, vom
arta c acesta trebuie s revizuiasc baza sa de cunotine astfel nct
aceasta s rmn adecvat situaiei i s redevin consistent.
Obs. 2. Regulile 3-6 sunt reguli empirice. Un agent accept
ceea ce cunoate sau ceea ce crede i ceea ce deriv logic din acestea.
Regulile empirice sunt reguli de intrare n sistem. Ele recepteaz
judecile sau evalurile subiective ale agentului, dup criteriile i
sistemul de valori al acestuia, dup preferinele lui. Ceea ce preferm,
acceptm i ceea ce nu preferm, respingem.
Obs. 3. Un agent accept scopurile pe care i le-a asumat.(R6)
Obs. 4. Nu am mai introdus o clas de reguli de acceptare prin
care agenii s accepte programele pe care le aplic sau directivele
practice care le reglementeaz trecerea de la starea iniial la starea
scop. Pare firesc, dac am acceptat un scop s acceptm i o procedur
404
3. A(p q) 5. Ap Aq
4. -(Ap Aq) 6. - A(p q)
1. Ap Aq (R15, 3) 13 R(p q) D(p q)
2. Ap (DM 3 +E )
14. R(p q) 15. D(p q)
3. Aq (DM 3 +E ) 16. RpRq 23. -A(p q)
17.Rp 24. R(p q)
6 18. Rq 25. (Ap Aq) (R15,23)
5 # (25-5)
11.Ap 12 Aq 19. Ap 20 Aq (E , 5)
# (11-6) # (12-7) 21. -Ap 22. Aq (R8,17, 18)
# (19-21) # (20-22)
406
9. Ce acceptm i ce respingem
n legtur cu aciunea uman ?
1. Acceptm sau respingem obiective considerate de noi sau
propuse de altcineva. Este impropriu s spunem c acceptm o intenie.
Inteniile putem s le avem sau s nu le avem, dar este impropriu s
spunem c ne acceptm sau respingem propriile noastre intenii.
2. Acceptm sau respingem: programe de aciune, metode, reguli,
date sau termene de execuie, posturi sau funcii, recompense, cereri,
pretenii, rugmini.
413
414
415
416
417
ncheiere
Punem aici capt drumului nostru prin ara logicii. Nu pentru c
am fi parcurs toate provinciile sale, ci pentru c puterile cltorului
sunt limitate.
n primul volum ne-am ocupat de dou teorii de baz ale logicii
moderne, de logica propoziiilor i de logica predicatelor. Acestea sunt
temelia pe care se nal toate celelalte teorii logice.
Dup cum am vzut, chiar din primul volum logica nu este o
teorie unic, ci un ansamblu de limbaje formale, fiecare cu semantica
sa, care la un loc dau seama de o clas de demersuri i proprieti ale
gndirii umane corecte. n plus, logica modern, spre deosebire de
logica aristotelic sau clasic, dispune de o gam variat de metode i
procedee de decizie prin care putem verifica statutul formulelor ce
426
429
Bibliografie
qvist, L., A New Approach to the Logical Theory of Actions and Causality,
n S Stenlund (ed) Logical Theory and Semantic Analysis, D Reidel
Publishing Company Dordrecht Holland, 1974, p.73-91.
qvist, Lennart, Deontic Logic, n D Gabbay and F. Guethner(eds)
Handbook of Philosophical Logic, vol II, 1984, p. 6o5-714.
qvist, Lennart, Supererogation and offence n deontic logic. An Analysis
within Systems of Alethic Modal Logic with Levels of Perfection n
Rysiek Sliwinski, (ed) Philosophical Crumbs. Essays dedicated to Ann-
Mari Henschen Dahlquist on the occasion of her seventty-fifth
birthday, Uppsala, Department of Philosophy, Uppsala University, 1999
(Uppsala Philosophical Studies 49, p. 261-276, Lennart qvist 1999.
Balzer, W., Sander, J. Towards the Qualitative Plan-based Simulation of
International Crisisy (preprint)
Barbuceanu Mihai, Agents That Work n Harmony by Knowing and
Fulfuling Their Obligations, AAAI, 1998,
Barwise, Jon, Scenes and other Situations, n The Journal of Philosophy,
Inc. 1981.
Barwise, Jon, The Situation n Logic I, n Barcan Marcus et al., eds., Logic,
Methodology and Philosophy of Science VII, Elsevier Science
Publishers B. V. (1986) 183 203.
Barwise,. Jon, On the Model Theory of Common Knowledge.
Benthem, J.van, Temporal Logic.
Bieltz, Petre, Gheorghiu, Dumitru, Logic Juridic, Editura ProTran-silvania,
Bucureti, 1998.
Bieltz, Petre, Gheorghiu, Dumitru, Logic i argumentare, Teora
Educaional.
Boolos, George S, Jeffrey, Richard C. Computability and Logic, Cambridge
University Press, 1989.
Bratko, Ivan, Programming in Prolog for Artificial Intelligence, Addison-
Weslwy, 1986.
Bus, David M, Gomes, Mary, Higgins, S. Dolly, and Lautern, Karen,
Tactics of Manipulations, Journal of Personality and Social Psychology,
1987, Vol 52, No 6, 1291-1229.
430
436