Eeldus

Eeldus on propositsioon (väide), mille tõesus võetakse arutlemisel aluseks, olgugi et selle tõesus pole kindel. Propositsiooni (väite) tõesuse sellist aluseks võtmist nimetatakse propositsiooni (väite) eeldamiseks.

Eeldamine võib olla teadlik või ebateadlik. Eeldus, mis pole sõnastatud, on varjatud eeldus.

Matemaatika
Kui tõestataval teoreemil on kuju "Kui p, siis q," siis p on teoreemi eeldus. Kui p on esitatav mitme propositsiooni konjunktsioonina, siis ka neid propositsioone võib nimetada teoreemi eeldusteks.

Loogika
Arutlus on defineeritud eelduste ja järelduse kaudu. Arutluse kehtivuse puhul on tagatud, et juhul kui eeldused on tõesed, on järeldus tõene.

Filosoofia
Filosoofilistes arutlustes ei ole enamasti võimalik propositsioonide tõesuses kindel olla. Arutlus lähtub seetõttu enamasti usutavatest propositsioonidest. Mõnikord eeldatakse midagi ka lihtsalt selleks, et näha, mis sellest järeldub.

Vaata ka
Oletus
Hüpotees
Aksioom
Postulaat
Eeldused

Teadus