We give an approach to cognitive modelling which allows for richer expression than the one based simply on the firing of sets of neurons. The object language of the approach is first-order logic augmented by operations of an algebra, PSEN. Some operations useful for this kind of modelling are postulated combination, comparison and inhibition of sets of sentences. It is shown how these operations can be realised using PSEN.