W’e present a formal s \ ntax and semantics for SNePS considered as the (modeled) mind of a cogn:ti\e agent. The semantics is based on a Meinongian theory of ’ the intensional objects of ’ thought that is appropriate for 41 considered as “computational philosophy ” or “computational psychology”. 1. INTRODUCTION. W’e present a formal syntax and semantics for the SNePS Semantic Network P recessing System (Shapiro 1979), based on a \leinongian theory of the intensional objects of thought (Rapaport 198Sa). Such a theory avoids possible worlds and is appropriate