Já respondi o que é paradigma em duas oportunidades: http://pt.stackoverflow.com/q/141624/101O e em [pergunta onde tinha um contexto específico][1]. O termo já responde tudo :P São linguagem que suportam mais de um paradigma com mecanismos específicos. Acho que dá pra dizer que todas linguagens modernas, populares e de propósito geral são multi paradigmas. Isso é fundamental para a linguagem ter sucesso. Quando a linguagem se propõe a ir além de um nicho específico ela precisa ter várias formas de resolver problemas, porque lidará com problemas variados. Essencialmente toda linguagem é [imperativa][2]. Orientação a objeto está na moda e quase toda linguagem o adota. As linguagens não dispensam pelo menos algumas características funcionais e cada dia mais as linguagens vão adicionando mecanismos próprios deste paradigma, isso acontece com C++, Java, C#, Python, etc. #Paradigmas Algumas adotam um estilo mais procedural e modular, ou pelo menos permite o seu uso, mas hoje costuma haver preferência pelo OO, ainda que muitas vezes a diferença seja pequena e questionável (no sentido de que não há consenso do que seja OO) quando está usando um ou outro. Algumas optam por outros paradigmas auxiliares para atender algumas necessidades mais específicas. Isso ocorre com [eventos][3], [aspectos][4], [concorrência][5] ou [reflexividade][6], por exemplo. Até poderia colocar [contratos][7] também. Há controvérsias se é eles são paradigmas (falo disso no primeiro *link* ali em cima). Outros paradigmas são necessários para atender sua filosofia básica. Linguagem realmente [tipadas][8] não existem sem [genericidade][9], [meta-programação][10] ou alguma forma semelhante. Algumas tem adotado um estilo mais [declarativo][11], que se opõe ao imperativo, pelo menos para algum tipo de tarefa. A [Wikipedia tem uma comparação][12]. Não é 100% confiável (estou sendo legal), tem subjetividade e a tabela não é bem curada, mas ajuda ter uma ideia. #Outras informações As linguagens conseguem pelo menos simular um paradigma com bibliotecas e padrões de uso. Isso por si só não pode classificar a linguagem como multi paradigma. Algumas linguagens usam o termo destacada e primordialmente como marketing. Algumas vão em direção oposta e optam por atender bem um tipo de problema. Se pesquisar aqui mesmo ou acompanhar o artigo da Wikipedia (tá cheio de *links* ótimos pelo menos pra introdução) vai saber mais sobre vários outros paradigmas que eu chamaria de auxiliares. [1]: http://pt.stackoverflow.com/a/108105/101 [2]: http://pt.stackoverflow.com/q/127121/101 [3]: https://en.wikipedia.org/wiki/Event-driven_programming [4]: https://en.wikipedia.org/wiki/Aspect-oriented_programming [5]: https://en.wikipedia.org/wiki/Concurrent_computing [6]: https://en.wikipedia.org/wiki/Reflection_%28computer_programming%29 [7]: https://en.wikipedia.org/wiki/Design_by_contract [8]: http://pt.stackoverflow.com/q/21508/101 [9]: https://en.wikipedia.org/wiki/Generic_programming [10]: https://en.wikipedia.org/wiki/Metaprogramming [11]: https://en.wikipedia.org/wiki/Declarative_programming [12]: https://en.wikipedia.org/wiki/Comparison_of_multi-paradigm_programming_languages