 We can model situated inference using a relation \(I\) (for “implication”). Then we have \(IabP\), where \(P\) is a proposition, if and only if the information in \(a\) and \(b\) together license the inference to there being a situation in which \(P\) holds. We can think of a proposition itself as a set of situations. We set \(A \rightarrow B\) to hold at \(a\) if and only if, for all situations \(b\) in which \(A\) holds, \(Iab|B|,\) where \(|B\)| is the set of situations at which \(B\) is true. We set \(Rabc\) to hold if and only if \(c\) belongs to every proposition \(P\) such that \(IabP\). With the addition of the postulate that, for any set of propositions \(P\) such that \(IabP\), the intersection of that set \(X\) is such that \(IabX\), we find that the implications that are made true on any situation using the truth condition that appeals to \(I\) are the same as those that are made true by the Routley-Meyer truth condition. Thus, the notion of situated inference gives a way of understanding the Routley-Meyer semantics. (This is a very brief version of the discussion of situated inference that is in chapters 2 and 3 of Mares (2004).)