Reprezentarea grafica a propozitiilor categorice

Reprezentarea grafica a propozitiilor categorice

Exista doua modalitati de reprezentare grafica a propozitiilor categorice: metoda Euler si metoda Venn.

a) Metoda Euler se bazeaza pe reprezentarea subiectului S si a predicatului P, care apar in structura unei propozitii categorice, prin cercuri. Potrivit acestei metode, propozitiile categorice se reprezinta grafic astfel:

SaP SeP SiP SoP

b) Metoda Venn consta dintr-o diagrama formata din doua cercuri intersectate, primul reprezentandu-l pe S, al doilea pe P. Ca rezultat al acestei intersectii se delimiteaza trei subclase:

a) SP cuprinde elementele care sunt S, dar nu sunt P;

b) SP cuprinde elementele care sunt si S si P;

c) SP cuprinde elementele care nu sunt S, dar sunt P.

Spre deosebire de diagramele Euler, unde hasurarea unei portiuni indica faptul ca acea portiune reprezinta tocmai obiectul gandirii din propozitia reprezentata grafic, in diagrama Venn hasurarea unei portiuni arata ca acea portiune este vida (nu contine nici un element).

Daca o portiune nehasurata din cadrul unei diagrame Venn contine un x, aceasta inseamna ca acea portiune nu este vida (contine cel putin un element). Dupa metoda Venn, propozitiile categorice se reprezinta astfel:

a) Propozitiile universal afirmative

Nu exista nici un S care sa nu fie P

Formula: SP = 0

b) Propozitiile universal negative

Nu exista nici un S care sa fie P

Formula: SP = 0

c) Propozitiile particular afirmative

Exista cel putin un S care este P

Formula: SP

d) Propozitiile particular negative

Exista cel putin un S care nu este P

Formula: SP