Puoi usare la funzione to_date che può analizzare l'input in un determinato formato in una data "reale". Quindi con questa data puoi estrarre da essa il mese.
select EXTRACT(MONTH FROM to_date('Nov 2015', 'Mon YYYY'))
Vedi http://www.postgresql.org/docs/current/ static/functions-formatting.html per la sintassi di formattazione e http://www.postgresql.org/ docs/current/static/functions-datetime.html per le altre funzioni data/ora ecc.
