inferentialism

not defined yet