apresentada por James K. Feibleman em 1951. No trabalho de Richard Sylvan (1980), isto alarga-se ainda mais. No seu sistema, as variaveis individuais abrangem nao apenas o efectivo e o possivel, mas tambem o impossivel.Mundos possiveis. Gottfried Wilhelm Leibniz foi o primeiro a fazer um uso sistematico da ideia de que se pode considerar que todas as possibilidades formam mundos cada um dos quais e um dominio internamente consistente que pode combinar alguns elementos iguais aos do mundo efectivo e outros diferentes. O mundo efectivo e um dos mundos possiveis, distinguindo-se de todos os outros pelo facto de que nenhum dos seus elementos e meramente possivel. Se podermos referir-nos a mundos possiveis, e facil definir seres necessarios, que de outro modo sao tao dificeis de caracterizar, como aqueles seres que estao em todos os mundos possiveis (ver mais a frente).Realismo modal. Os mundos possiveis poem a nossa disposicao explicacoes de poderes causais, de condicionais contrafactuais, de disposicoes inexercidas e de propriedades reais ininstanciadas. Estas vantagens levaram David Lewis (1986) a abracar o realismo modal, que afirma a realidade literal de todos os mundos possiveis.Outros filosofos, apesar de valorizarem estas vantagens, recuam perante a expansao aparentemente infinita da ontologia que isto exige, o que conduziu a explicacoes em termos de sucedaneos de mundos possiveis: Rudolf Carnap, entre outros, propos que um mundo possivel e um conjunto maximamente consistente de frases. Armstrong, entre outros, desenvolveu a ideia de Wittgenstein de que um mundo possivel e uma recombinacao inefectiva dos elementos deste mundo. Peter Lopston (2001) defende um realismo redutivo, que expande o tipo de propriedade atribuida no mundo efectivo de modo a incluir caracteristicas que poderia-ter-tido. O sucesso destas abordagens e tema actual de controversia.Pluralidade de mundos na teoria quantica. A nocao de que o mundo em que vivemos nao e o unico foi tambem recentemente esbocada na interpretacao de alguns paradoxos da fisica quantica, que de outro modo sao desconcertantes. Nestas explicacoes, o mundo nao e uma entidade unica e unificada, mas antes algo sujeito a bifurcacoes continuas, um processo que gera um numero cada vez maior de mundos. As perspectivas deste genero que defendem a pluralidade de mundos sao diferentes, numa acepcao importante, do realismo modal: todos estes mundos quanticos sao supostamente efectivos, mas mutuamente inacessiveis.As categorias do serA principal tarefa da ontologia e fornecer um inventario das categorias, as divisoes mais gerais da Realidade. As mais importantes sao as seguintes:Substancias. Uma substancia individual ou particular e um objecto, uma coisa por direito proprio. As coisas comuns do quotidiano, como tijolos e camas, fornecem um modelo para a categoria da substancia. Exige-se que as substancias tenham varias caracteristicas basicas, apesar de nao ser claro que estas caracteristicas sejam compativeis entre si.Particularidade e individualidade. Uma substancia e simultaneamente um particular e um individuo; nao e apenas um pato qualquer, mas precisamente este pato. Um objecto e da categoria que e (um pato) em virtude das suas propriedades. Mas se estas propriedades sao universais, partilhadas por muitos particulares, nao podem por si conferir particularidade. Alguns filosofos, o mais influente dos quais foi Locke, propuseram