Loogika aine ja ajalugu
Loogika aine ja ajalugu:
sissejuhatus T.Tamme, T.Tammeti ja R.Prangi loogikaõpikule
"Mõtlemisest tõestamiseni"
Tanel Tammet
Department of Computer Sciences,
University of Göteborg and Chalmers University of Technology,
41296 Göteborg, Sweden
email: [email protected]
Puhta loogika eesmärk on olla õige kõigis võimalikes maailmades, mitte ainult selles veider-segases
vaevarikkas maailmas, kuhu juhus meid on heitnud. Loogik peab eneses alal hoidma teatud annuse
jumalikkust: ta ei tohi alanduda selleni, et teha järeldusi...