Diagrame Euler

Leonhard Euler, un matematician din secolul 18, a adoptat folosirea curbelor nchise pentru
a ilustra raionamentul silogistic (Euler 1768). Cele patru tipuri de propoziii categorice sunt
reprezentate de el aa cum se arat n figura 1.

Figura 1: Diagrame Euler

Pentru cele dou declaraii universale, sistemul adopt relaii spaiale dintre cercuri ntr-un
mod intuitiv: n cazul n care cercul marcat "A" se inclus n cercul marcat "B", apoi diagrama
reprezint informaiile care tot A este B. Dac nu exist nici o suprapunere parte ntre dou cercuri,
apoi diagrama transmite informaiile care nu A este B.
Aceast reprezentare este reglementat de urmtoarea convenie:
Fiecare obiect X n domeniul se atribuie o locaie unic, spune l (X), n planul astfel nct l (X)este
n regiunea R dac i numai dac X este un membru al setului c regiunea R reprezint.

Puterea acestei reprezentri const n faptul c un obiect a fi un membru al unui set este uor
de conceptualizat ca obiect care se ncadreaz n interiorul set, la fel ca locaii de pe pagina sunt
gandit ca fcnd cercuri trase interiorul sau n afara. Puterea sistemului const, de asemenea, n
faptul c nu sunt necesare convenii suplimentare pentru a stabili semnificaiile diagrame care
implic mai mult de un cerc: relatii care dein ntre seturi sunt afirmate prin intermediul acelorai
relaii care dein ntre cercurile care le reprezint. Reprezentrile cele dou declaraii universale,
'Toate A suntB "i" Nu A este B, "ilustreaz aceast putere a sistemului.
Mutarea la dou declaraii existeniale, aceast claritate nu este pstrat. Euler justific
diagrama "Unii A este B", spunnd c putem deduce vizual c ceva n A este, de asemenea, incluse
n B de la o parte din zona A este coninut n zona B (Euler 1,768: 233). n mod evident, Euler se
credea c acelai tip de relaie de izolare vizuale ntre zone pot fi utilizate n acest caz, ca i n cazul
declaraiilor universale. Cu toate acestea, credina lui Euler nu este corect i aceast reprezentare
ridic o ambiguitate daunatoare. n aceast diagram, nu numai este parte din cercul A coninut n
zona B (ca descrie Euler), dar urmtoarele sunt adevrate: (i) o parte din cercul B este coninut n
zona A (ii) o parte din cercul A nu este coninut n cerc B (iii) face parte din cercul B nu este inclus
n cercul A. Adic, a treia diagrama putut fi citit ca "Unii B este A," "Unii A nu este B," i "Unii
Bnu este A", precum i "Unii A este B". Pentru a evita aceast ambiguitate , trebuie s configurai
mai multe mai multe convenii. [3]
 Exemplele lui Euler ilustreaz ntr-un mod elegant i schematic punctele forte i punctele
slabe ale sistemului su.
Exemplul 1. Toate A sunt B. Toate C sunt A. Prin urmare, toate C sunt B.

Exemplul 2. Nu A este B. Toate C sunt B. Prin urmare, nu C este A.

n ambele exemple, cititorul poate deduce cu uurin la concluzia, iar acest lucru ilustreaza
caracteristicile vizual puternice de diagrame Euler. Cu toate acestea, atunci cnd situaii existeniale
sunt reprezentate, lucrurile devin mai complicate, conform celor expuse anterior. De exemplu:
Exemplul 3. Nu A este B. Unele C este A. Prin urmare, unele C nu este B.
Nici un diagrama poate reprezenta cele dou premise, deoarece relaia dintre seturile B
i C, nu pot fi specificate pe deplin ntr-un singur diagrama. n schimb, Euler sugereaz
urmtoarele trei cazuri posibile:

Euler susine c propoziia "Unii C nu este B" poate fi citit de toate aceste diagrame. Cu toate
acestea, este departe de a fi vizual clar cum primele dou cazuri conduc un utilizator la citirea
acestui propunere, deoarece un utilizator poate citi "Nu C este B" de la caz 1 i "All B este C" de la
caz 2.
 Prin urmare, reprezentarea situaiilor existeniale ascunde nu numai claritatea vizual a
Cercuri lui Euler, dar ridic, de asemenea, probleme de interpretare serioase pentru sistemul. Euler
sa prut s recunoasc aceast problem potenial i a introdus un nou dispozitiv sintactic, '*'
(reprezentnd non-gol) ca o ncercare de a repara acest defect (1768: 105 Letter).
Cu toate acestea, un dezavantaj mai grav este gsit atunci cnd acest sistem nu reuete s
reprezinte anumite piese compatibile (care este, n concordan) de informaii ntr-un singur
diagram. De exemplu, sistemul de Euler ne mpiedic s desenai o singur diagram reprezentnd
urmtoarele perechi de afirmaii: (i) "Toate A sunt B" i "Nu A este B" (care sunt in concordanta
dac A este un set de gol). (ii) "Toate A sunt B" i "Toi B sunt A" (care sunt in concordanta atunci
cand A = B). (iii) "Unii A este B" i "Toi A sunt B". (S presupunem c a atras o diagram Euler
pentru fosta propunerea i ncercai s adugai o nou pies compatibil de informaii, adic, acesta
din urm, n acest diagrama existente.) Acest neajuns este strns legat de motivaie Venn pentru
propriul su sistem de diagram (a se vedea seciunea 3.1 pentru alte deficiene ale sistemului lui
Euler).