Inferentialism, Logicism, Harmony, and a Counterpoint · Study