The main families of programming languages are:

 

Imperative:

Algol-60, Algol-68, Basic, C, Cobol, Fortran, Pascal, Turing, ...

Declarative:

Functional - Haskell, Miranda, SML (arguably), ...

Logic - Prolog, ...

Object Oriented:

C++, Java, ...

It happens that most OO languages are imperative, and object tends to imply state, but there are functional OO languages such is OCAML

But things are rarely completely clean and simple, for example, imperative Algol-68 is expression-based with functional features, Prolog systems often have non-declarative "features", and SML has assignable (:=, ref) variables.