Vysvetľujeme, čo je to inferencia, aké sú metódy na ich získanie a rôzne príklady. Tiež, v ktorých prípadoch sú platné.
Čo je to záver?
In logika, sa nazýva vyvodzovanie procesu, ktorým získavame závery určené z konkrétneho súboru priestorov. To znamená, že keď záver logicky vyplýva z toho, čo je uvedené v jeho premisách, hovorí sa, že je z nich odvodený.
Slovo „inferencia“ pochádza z latinčiny a skladá sa z predpony -v ("Smerom") a sloveso ferre ("Vedieť" alebo "viesť k"), takže ho možno chápať ako logický proces, ktorý vedie od premisy k záveru, alebo tiež, ktorý sa snaží objaviť logický význam medzi premisami a závermi, tj. nájsť a implikatúra.
V skutočnosti sú závery primárnym predmetom štúdia logiky, ktorá ich klasifikuje a organizuje podľa typu uvažovanie používané na ich získanie takto:
- Závery získané odpočet, teda použitím argumenty platné, ktoré umožňujú extrahovať implicitný význam v priestoroch.
- Závery získané indukcia, proces opačný k predchádzajúcemu, v ktorom sa hľadá všeobecný, univerzálny záver, založený na singulárnych premisách.
- Závery získané pravdepodobnosť, ktorá spočíva v hľadaní viac či menej možných záverov z frekvencia ktorými sa premisy prejavujú.
- Závery získané prostredníctvom štatistického uvažovania, ktoré zo známeho percenta prvkov uzatvárajú možnosť, že sú splnené určité podmienky.
Platnosť záveru nespočíva v pravda alebo nepravdivosť jeho premís, ale v platnosti úvahy, ktorá spája premisy a závery. Platným postupom vyvodzovania je teda možné získať pravdivé alebo nepravdivé závery. Napríklad je možné usúdiť, že ak sú všetci muži smrteľní a Mária ako žena nie je muž, potom Mária môže byť nesmrteľná.
Príklady záverov
Nasledujúce úvahy sú príkladmi záverov:
- Všetky známe planéty sú okrúhle a Zem je planéta, takže Zem je určite guľatá.
- Ak svitá každý deň, je isté, že zajtra opäť svitá.
- Ak z populácie 100 ľudí neje mäso 70, je možné tvrdiť, že väčšina populácie je vegetariánska.
- Ak všetky veci nakoniec padnú, keď hodíte kameň, nakoniec spadne.