Describir: System der deductiven und inductiven Logik