Eeldus

Allikas: Vikipeedia
Jump to navigation Jump to search

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[muuda | muuda lähteteksti]

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[muuda | muuda lähteteksti]

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[muuda | muuda lähteteksti]

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[muuda | muuda lähteteksti]