Nowoczesna logika