Loogika – sissejuhatus ja põhimõisted
f. Oletame, et arutluse järeldus on loogikaliselt tõene. Selgita, miks see arutlus peab olema kehtiv sõltumata sellest,
millise tõeväärtusega on tema eeldused. Selgita, miks niisugune arutlus võib olla korrektne, aga ei pruugi. – 1)kehtib
otseselt kehtivuse definitsooni tõttu. Loogikaliselt tõene lause on loogikaliselt tõene, iseenesest alati tõene, sõltumata
sellest millised on eeldused. Eeldused ei mängi mingit rolli. Loogikalisust tõesust saab tõestada tühjast hulgas,
tautoloogia ei vaja eeldusi, on iseenesest tõene. Paratamatult tõene. Roos on roos, mina olen mina. Mingit tuge pole
vaja, lihtsalt on tõesed. 2) võib olla korrektne, aga ei pruugi? Eeldusteks võib olla ükskõik mis sellise arutluse puhul,
kõik eeldused ei pruugi tõesed olla kuni selleni, et eeldusi ei pruugi üldse olla. Eelduste hulk võib olla tühihulk.