definícia záveru
Všeobecne sa dá povedať, že záver je odvodením jednej veci od druhej.
Vyvodenie je čisto a výlučne a produkt našej mysle, pretože to je a hodnotenie uskutočňované týmto spôsobom medzi výrazmi daného jazyka, ktoré po intelektuálnom prepojení umožnia dospieť k logickej myšlienke. Týmto spôsobom, vychádzajúc z pravdy alebo klamstva, ktoré navrhujú niektoré výrazy, môžeme odvodiť pravdu alebo klam niektorých ďalších.
Z uvedeného postupu zatiaľ vznikne postulát.
V tradičnej logike, ľudovo Aristotelian, pretože ju ako prvý formuloval známy grécky filozof Aristoteles, nasledujúca forma záveru je sylogizmus. Jedná sa o druh deduktívneho uvažovania, ktoré pozostáva z dvoch propozícií ako premís a z iných ako záveru, pričom druhá vychádza už z iných dvoch.
Môžeme nájsť tri typy záverov; the odpočet, deduktívny argument je typ, ktorý predpisuje koexistenciu priestorov a záver, ktorý zaručuje, že tento bude v priestoroch zastúpený, napríklad: všetky balóniky v tejto taške sú červené, tieto balóniky patria do tejto tašky, preto sú tieto balóniky červené; the indukcia, induktívny argument pripúšťa pravdepodobnú koexistenciu priestorov a záver, ktorý zaručuje, že posledný sa pravdepodobne odráža v priestoroch, napríklad: balóny sú z tejto tašky, balóny sú červené, takže všetky balóniky v tejto taške sú červené; a únos, argument abdukčného typu navrhuje možnú koexistenciu medzi objektmi a záverom, ktorý zaisťuje ich potenciálne zastúpenie vo vyššie uvedených priestoroch, napríklad: všetky balóniky v tejto taške sú červené, tieto balóniky sú červené, takže tieto balóniky zodpovedajú tejto taške.
