Arutlus

Arutlus (ka järeldus, argument; inglise keeles argument) koosneb eeldus(t)est ja järeldusest. Nii eeldus(ed) kui ka järeldused on propositsioonid (väited), mis tavaliselt on väljendatud lausetega. Arutlus ei saa koosneda lausetest, sest muidu ei saaks üht ja sama arutlust esitada eri keeltes.

Nimetus
Traditsioonilises loogikas on arutluse mõistega analoogiline järelduse mõiste. Erinevus siinsest arutluse mõistest seisneb selles, et järeldust vaadeldakse koosnevana propositsioonide asemel  otsustustest. Neid otsustusi nimetatakse eeldusteks ja tuletiseks.

Termin "arutlus" ei ole lõplikult juurdunud. Arutlust võiks põhimõtteliselt nimetada ka järelduseks, sest erinevus propositsioonide ja otsustuste vahel ei etenda selles kontekstis põhimõttelist osa. Et aga arutluste puhul kasutatakse sõna "järeldus" matemaatika eeskujul, siis tekitaks niisugune sõnakasutus kahemõttelisuse sõna "järeldus" eri tähenduste tõttu. On kasutatud ka inglise keele eeskujul sõna "argument".

Arutluse esitamise vorm
Arutluse väljenduses esitatakse kõigepealt eeldus(ed) ning seejärel järeldus. Järeldus eraldatakse eeldus(t)est kas pika rõhtkriipsuga eelduste all ja ühtlasi järelduse kohal  või sõnadega "järelikult" (traditsiooniline väljend), "seega", "niisiis" (on ka teisi väljendeid). Formaalsema esituse puhul kasutatakse näiteks tähistust p1, p2, ..., pn; pn+1, kus pi (1≤i≤) on propositsioonid.

Klassikaline näide 
Klassikaline arutluse näide:

Sokrates on inimene.
Kõik inimesed on surelikud.
Järelikult Sokrates on surelik.

See näide pärineb traditsioonilisest loogikast, kus ta figureerib järelduse näitena.

Vaikivad eeldused
Arutlused, mida tavaelus esitatakse, võivad sisaldada vaikivaid eeldusi (varjatud eeldusi). Näiteks arutluses

Jaan Tatikas ei saanud parlamendivalimistel ühtki häält.
Järelikult ta parlamenti ei pääse.

sisaldub varjatud eeldus "See, kes parlamendivalimistel hääli ei saa, parlamenti ei pääse". Sõltumata sellest, kas see eeldus on tõene, on ta jäetud ütlemata, sest teda peetakse enesestmõistetavaks. Et arutlust rangelt analüüsida, tuleb varjatud eeldused päevavalgele tuua.

Arutluse kehtivus
Arutlust, milles järeldus järeldub eeldus(t)est, nimetame kehtivaks. Arutlus on kehtiv (ehk kehtib), kui pole loogiliselt võimalik, et kõik eeldused oleksid tõesed ja järeldus väär.

Eelduste koondamine
Kui arutlusel on mitu eeldust, siis võib arutluse taandada ühe eeldusega arutluseks. Selleks tuleb eeldusi väljendavad laused ühendada sõnaga "ja". Nii saadud lause väljendab eelduste konjunktsiooni.

Arutluste rakendamine
Arutlusi rakendatakse tavaliselt argumentides: kehtiv arutlus kuulub näiteks tõestuse juurde. 

Sõna "järelikult" arutluse esituses viitab sellele, et lugeja ja kuulaja, kes usub eeldusi, peaks uskuma ka järeldust.

Vaata ka

Deduktiivne arutlus
Induktiivne arutlus 
Argument 

Epistemoloogia
Loogika