On logic: you probably use a naive/folk form of modal logic without realising it (modal --> dealing in possibility/necessity), but the subtleties which emerge through formalisation are quite interesting. Special logics which are interesting, but perhaps lest obviously useful, are paraconsistent...