My quote from Brandom about inferentialism earlier this week has me thinking. Consider the following inference. If a flower bed contains only geraniums and violas then it contains no roses. This flower bed contains only geraniums and violas. Thus, this flower bed contains no roses. That seems straightforward although it is more Stoic than Aristotelean, and to some minds the "if ... then" of Stoi logic sounds question begging. Could we put it in more categorical syllogistic form if we wanted to? I suppose so. We would want to make explicit the premise that the different types of flowers are mutually exclusive: that is, a geranium is reliably not a rose. Couldn't there be a hybrid? I have no idea, but I'm presuming any hybrid gera-rose would be neither geranium nor rose. Even with a gera-rose, every flower in this flower bed has been identified as to type, and in each case the type is non-rose. Reasoning as process of elimination. Just think...