System der deduetiven und induotivenLogik