System der deductiven und inductiven Logik