Silogismul Silogismul este tipul fundamental de inferen deductiv mediat alctuit numai din trei propoziii categorice, din

care dou sunt premise pe baza crora se deduce o concluzie. Ex. Toate amfibiile sunt vertebrate. MaP (premisa major) Toate broatele sunt amfibii. SaM (premisa minor) Toate broatele sunt vertebrate SaP (concluzia) Structura - subiectul concluziei se numete termen minor i e regsit ntr-una dintre concluzii care se numete premisa minor - predicatul concluziei se numete termen major i e regsit ntr-una dintre concluzii care se numete premisa major - la nivelul premiselor, legtura dintre termenul minor i termenul major se face printr-un termen comun premiselor, numit termen mediu; din acest motiv temenii minor i major se numesc termeni extremi Figuri i moduri silogistice Conform poziiei termenului mediu n premise, exist patru aranjamente posibile, numite figuri silogistice Figura 1 Figura 2 Figura 3 Figura 4 MP PM MP PM SM SM MS MS SP SP SP SP Ordinea tipurilor de propoziii categorice din care este alctuit un silogism se numete mod silogistic Ex aaa aee La nivelul fiecrei figuri silogistice, se poate specifica modul, rezultnd 64 de moduri pentru fiecare figur, aadar un total de 256 moduri. n fiecare figur numai 6 sunt valide, aadar exist 24 de moduri valide per total. Combinaia dintre mod i figur se alctuiete plasnd mai nti modul apoi numrul figurii aaa-1 aee-2 Un silogism este valid dac operaiile logice folosite spre a deriva concluzia din premise sunt corecte din punct de vedere logic. Spre a verifica dac un silogism este corect, exist mai multe metode Legile generale ale silogismului - un silogism valid are trei i numai trei termeni care apar fiecare de dou ori - un silogism valid termenul mediu trebuie s fie distribuit n cel puin o premis - dac un termen extrem apare distribuit n concluzie, atunci el trebuie s fie distribuit i n premis, n caz contrar silogismul nu e valid - din dou premise afirmative rezult o concluzie afirmativ n caz contrar silogismul nu e valid - valid cel puin o premis este afirmativ n caz contrar silogismul nu e valid - dintr-o premis afirmativ i una negativ rezult o concluzie negativ n caz contrar silogismul nu e valid - cel puin o premis este universal - dintr-o premis universal i una particular rezult o concluzie particular Metoda Venn - se utilizeaz diagramele Venn (nvate la lecia despre propoziiile categorice) i se reprezint fiecare premis pe aceeai figur - din reprezentarea Venn a premiselor trebuie s rezulte automat reprezentarea concluziei