Diagrammimenetelmä

Diagrammimenetelmä on keino suorittaa deduktiivisia päätelmiä, esimerkiksi syllogismeja, Venn-diagrammien avulla. Diagrammimenetelmässä oletustyypit kuvataan ympyröinä, joilla on kohtaamispinta-alaa. Väitteiden mukaisesti ympyröistä varjostetaan niitä osia, jotka ovat väitteen mukaan mahdottomia. 

Esimerkiksi: "kukaan ihminen ei ole kavioeläin", "ihminen"-ympyrästä mustataan se osuus, jolla on yhteistä pintaa "kavioeläimen" kanssa. Kun taas väitetään "jokainen aasi on kavioeläin", mustataan se osuus "aasi"-ympyrästä joka on muualla kuin "kavioeläin"-ympyrässä. Loppupäätelmä on pätevä sen mukaan, miten väitetyn asian alueella mustattuja vai puhtaita alueita suhteessa muihin ympyröihin.

Näin voidaan punnita esimerkiksi väite "aasi ei ole ihminen" päteväksi, sillä kaikki "aasi"-ympyrän ja "ihminen"-ympyrän kohtaamispaikat ovat mustattuja ("ei"). Diagrammin pohjalta voidaan päätellä myös esimerkiksi, että väite "jokainen kavioeläin on aasi" on virheellinen, ainakin annettujen tietojen pohjalta.

Diagrammimenetelmän heikkoutena on se, että se ei tunnista kehäpäätelmiä virhepäätelmiksi. Diagrammimenetelmää käytettäessä tämä on muistettava ottaa huomioon.

Logiikka