Silogizem in uporaba ulomkove metode za dokazovanje veljavnosti sklepa

• Letnik 1998

V raziskovalni nalogi sem pregledno predstavila obliko sklepanja, ki jo je prvi odkril Aristotel in je danes znana kot silogistika. Že Aristotel je izdelal pravila, s katerimi lahko iz dveh resničnih izjav, ki imata določeno posebno obliko, izpeljemo veljaven in logično nujen sklep. Najprej sem prikazala osnovne pojme njegove silogistike: vrste kategoričnih predikatnih izjav, odnose med temi izjavami v logičnem kvadratu in pravilne oblike sklepanja, ki jih imenujemo modusi silogizma. Toda takšen način preverjanja veljavnosti posameznega primera sklepanja ni enostaven, ker si moramo zapomniti vse pravilne moduse in poznati veliko dodatnih pravil. Zanimalo me je, če je mogoče silogizme preveriti na kakšen enostavnejši način. Ugotovila sem, da je postopkov za preverjanje več, v tem stoletju pa je bila odkrita malo znana, toda dokaj preprosta “ulomkova metoda”, ki sem jo nato podrobno obdelala. Če znamo povedi v naravnem jeziku preoblikovati v enega od štirih tipov kategoričnih izjav, moramo poznati samo štiri pravila za njihov zapis v obliki ulomka in tri pravila za sklepanje in lahko z njeno pomočjo takoj preverimo veljavnost sklepa. Pripravila sem več primerov za enostavnejša sklepanja in nato na izbranih besedilih iz učbenikov in časopisov pokazala, kako jih je mogoče obravnavati in preveriti s pomočjo ulomkovne metode.