Venn
De la Wikipedia, enciclopedia liberă
Metoda diagramelor Venn reprezintă o modalitate de verificare a validităţii inferenţelor (imediate şi mediate) prin reprezentări grafice. Metoda in sine constă în intersectarea unui număr de cercuri, fiecare cerc reprezintă un termen al inferenţei. Doi termeni ai unei propoziţii categorice de tipul "Toţi S sunt P" - SaP, sunt reprezentaţi prin metoda diagramelor Venn prin două cercuri intersectate corespunzătoare celor 2 termeni: S şi P. Întrucât raţionamentul este de tipul SaP, sfera lui S din afara sferei lui P este vidă, şi este haşurată, partea de intersecţie dintre S şi P reprezintă întregul univers de discurs al lui S - şi implicit reprezentarea propoziţiei categorice. În cazul inferenţelor mediate (silogismele), conform primei legi silogistice, avem 3 termeni: termenii extremi S şi P şi termenul mediu M. Reprezentarea grafica constă în intersectarea celor trei cercuri corespunzătoare termenilor. Pe această diagramă sunt reprezentate grafic, exclusiv premisele: modul silogistic corespunzător este valid dacă şi numai dacă prin reprezentarea grafică doar a premiselor a rezultat automat reprezentarea grafică a concluziei. (Bieltz, Petre şi Gheorghiu, Dumitru - Logica, manual pentru clasa a IX-a licee şi clasa a XI-a şcoli normale, EdituraDidactică şi Pedagogică, Bucureşti, 1996)