zaključak

zaključak (engl. conclusion; njem. Einschließung; rus. заключение), logički postupak kojim jedan sud proizlazi iz drugih, od njega različitih sudova. Sudovi iz kojih slijedi nazivaju se premisama ili prednjacima, a katkada i pretpostavkama. Sud koji slijedi iz premisa naziva se zaglavkom ili konkluzijom, a i zaključkom (što dovodi do zabune, jer je zaključak ponajprije cjelovit zaključni postupak). Ako taj sud nužno proizlazi iz drugih sudova, zaključak je deduktivan; a ako proistječe samo vjerojatno, zaključak je induktivan. Neposredni zaključak ili izvod (tzv. zaključak u užem smislu) polazi od jedne premise, a posredni zaključak od dviju premisa ili više njih. U analogijskom induktivnom zaključku na temelju djelomične sličnosti zaključuje se na potpunu sličnost. Posredni deduktivni zaključak naziva se → silogizmom. Formalna se logika bavi samo deduktivnim zaključcima. → sud, logički