Etimologiškai jis kilęs iš lotyniško skiemens, kuris, savo ruožtu, yra iš graikų syllogismós. Pagal savo semantinę prasmę tai yra dviejų sąvokų, sin ir logos, sąjunga, kuri galėtų būti išversta kaip sąjunga ar išraiškų derinys. Sillogizmas yra struktūra, susidedanti iš dviejų patalpų ir vienos išvados. Joje yra trys terminai (didysis, mažasis ir vidutinis), kurie pateikiami kaip dedukciniai samprotavimai, pereinantys nuo bendrųjų prie konkrečių.

Klasikinio skiemens pavyzdys būtų toks:

1) visi vyrai yra mirtingi,

2) Aristotelis yra vyras ir

3) tada Aristotelis yra mirtingas (šiame pavyzdyje pagrindinis terminas bus mirtingas, antraeilis terminas bus Aristotelis, o vidutinis terminas bus žmogus).

Reikia pasakyti, kad ne visi sylogismai dėl to, kad yra teisingi, nebūtinai yra teisingi, tačiau norint, kad jis būtų galiojantis, reikia paisyti tam tikrų taisyklių, ypač aštuonių.

Syllogismus prieš 2500 metų sukūrė Aristotelis kaip logikos dalį. Pagrindinė jo idėja yra išgauti dvi išvada arba padaryti išvadą, ir tam reikia laikytis daugybės išvadų taisyklių.

Silogizmo išvadų taisyklės

- Pirmoji taisyklė nurodo terminų, kurie visada turi būti trys, skaičių. Bet koks šios taisyklės variantas sukeltų klaidą, ty klaidingą samprotavimą dėl tiesos atsiradimo.

- Antroji taisyklė nurodo, kad vidutinis terminas neturėtų būti išvados dalis.

- Trečiasis tvirtina, kad vidurinis terminas turi būti paskirstytas bent vienoje iš patalpų.

- Pagal ketvirtąją taisyklę vidutinis terminas turi būti visuotinai pratęstas bent vienoje iš patalpų.

- Penktoje taisyklėje teigiama, kad iš dviejų neigiamų prielaidų neįmanoma padaryti jokios išvados.

- Šeštasis sako, kad iš dviejų teigiamų prielaidų negalima padaryti neigiamos išvados.

- Pagal septintąją taisyklę, jei prielaida yra konkreti, tai reiškia, kad išvada taip pat bus tokia, ir, kita vertus, jei prielaida yra neigiama, išvada bus vienodai neigiama.

- Aštuntoje ir paskutinėje taisyklėse teigiama, kad iš dviejų konkrečių patalpų neįmanoma padaryti išvados.

Silogizmas yra mūsų psichinėse schemose ir matematikoje

Kasdieniniame gyvenime sąmoningai ar ne, naudojame šią loginę struktūrą. Programos padeda mąstyti pagal loginį kriterijų. Tačiau matematikoje jie yra labiausiai naudojami. Šia prasme matematiniai samprotavimai ir įrodymai remiasi skiemenų taisyklėmis.