elfeltevések

Az elfeltevések olyan állítások vagy hipotézisek, amelyeket érvelés, bizonyítás vagy modellezés kiindulópontjaként fogadunk el anélkül, hogy azonnal bizonyítottak lennének. Gyakran explicit módon kifejezettek, de előfordulhat, hogy implicit módon kerülnek alkalmazásra. Az elfeltevéseket különböző területeken használják: a matematikában és logikában, a tudományokban és a filozófiában, illetve mindennapi érvelésben.

A matematika és a logika területén az elfeltevések gyakran a bizonyítás előfeltételei vagy a modellek kiindulópontjai. Ezek lehetnek konkrét hipotézisek, valamint általános állítások vagy axiómák. Az axiómák önmagukban nem bizonyítottak, mégis elfogadott keretet adnak a következtetésekhez; a feltevések viszont problémánként vagy kontextusban kerülnek megfogalmazásra, és a bizonyítás során ezeknek igazolhatósága vagy cáfolhatósága eldől.

A tudományos módszertanban a feltevések gyakran hipotéziseknek nevezik: olyan állítások, amelyeket kísérletekkel vagy megfigyelésekkel próbálnak igazolni vagy cáfolni. A statisztikában és a modellezésben a feltevéseket gondosan meg kell fogalmazni, és meg kell határozni a lehetséges korlátokat. A nyelvhasználatban a „feltevés” és a „tény” közötti különbség is fontos: a feltevés bizonyítást igényel, míg a tétel már állítás, amelyet igazolni kell.