Csomag (logika)

Az előfeltevés  egy olyan állítás , amely valamilyen érv alátámasztására vagy magyarázatára szolgál [1] . A logikában az argumentum állítások (vagy „ ítéletek ”)  halmaza , amelyek közül néhány premisszák, míg más megerősítő állítások (vagy propozíciók) logikai következtetések .

Arisztotelész azt állította, hogy bármely logikai érvelés két premisszákra és egy következtetésre redukálható [2] . A parcellákat néha kihagyják, ilyenkor kihagyott helyiségeknek nevezik őket, például:

Szókratész halandó, mert minden ember halandó.

Világos, hogy Szókratész ember (ezt a feltevést kihagyjuk). A kibővített érv a következő lenne:

Mivel minden ember halandó, Szókratész pedig ember, ebből következik, hogy Szókratész halandó.

Ebben a példában az első két független állítás  – „minden ember halandó” és „Szókratész ember” – a premisszák, míg a „Szókratész halandó” a következtetés.

A következtetés bizonyítása mindkét premisszák igazságától és az érvelés érvényességétől függ.

Jegyzetek

1. ↑ "Érv: állítások sorozata, amelyek közül néhány ( premisszák ) okok mások elfogadására, következtetések ": Cambridge Dictionary of Philosophy, 2nd ed. (Cambridge University Press), szerk. Robert Audi, 43 éves.
2. ↑ p216, Jan Gullberg , Matematika a számok születésétől, W. W. Norton & Company; ISBN 039304002X ISBN 978-0393040029

Szótárak és enciklopédiák	Nagy katalán Britannica (online)