För hans begrepp var dettalogik