1. ČIME SE BAVI LOGIKA?

Za uvodnu orijentaciju o predmetu logike možemo navesti odredbu kakva se često susreće, a prema kojoj se logika bavi načelima dosljedna zaključivanja.

Svatko će moći bez ikakva predznanja iz logike prosuditi je li u sljedećem primjeru riječ o dosljednu zaključivanju:

Svi su sisavci životinje. Svi su psi sisavci. Dakle, svi su psi životinje.

Uočavamo da rečenica ‘Svi su psi životinje’ dosljedno proizlazi iz rečenica “Svi su sisavci životinje’ i ‘Svi su psi sisavci’. Tj. da je riječ o dosljednu zaključivanju.

O čem ovisi ta dosljednost? Ona ne ovisi o konkretnom sadržaju nave- denih rečenica. To ćemo pokazati na sljedeći način. Uvrstimo za riječ ‘sisavac’ npr. riječ ‘atletičar’, za ‘životinja’ ‘izdržljiv’, a za ‘pas’ ‘desetobojac’. Dobivamo sljedeće zaključivanje:

Svi su atletičari izdržljivi. Svi su desetobojci atletičari. Dakle, svi su desetobojci izdržljivi.

Zaključivanje je i ovaj put dosljedno, a ostalo bi dosljedno i kad bismo na jednak način uvršćivali bilo koje druge pojmove. Pogledajmo i sljedeći primjer:

Svi su konektori operatori. Svi su replikatori konektori. Dakle, svi su replikatori operatori.

Sa sigurnošću možemo ustanoviti da je i u tom slučaju riječ o dosljednu zaključivanju, iako nam je značenje navedenih rečenica i riječi možda nepoznato.