Maiores detalhes podem ser vistos no projeto em...maiores detalhes podem ser vistos no projeto em anexo. aqui comento somente uma das questões a serem investigadas. é sabido que a mecânica quântica (ortodoxa e relativista) (mq) é uma das teorias mais problemáticas que há quando se trata de se saber do que estamos falando. o formalismo matemático (ou "formalismos", pois não há somente uma forma de apresenta-las) é bem entendido, e sabe-se perfeitamente como "fazer as contas". o problema, no entanto, como dito, vem quando se tenta "interpretar" sua contraparte matemática. por exemplo, há uma (ou mais) ontologia associada? qual, ou quais seriam elas? uma vez que se assuma que há uma linguagem na qual essa disciplina é expressada (o que é duvidado por alguns, como pelo grande físico russo yuri manin), pode-se fundar uma semântica (formal) para essa linguagem? como uma semântica formal depende da matemática que é usada na metalinguagem, que meta-matemática seria essa, já que aparentemente há incompatibilidade entre o que determina a mq e a matemática usual; por exemplo, as entidades quânticas (como elétrons, protons e demais sistemas básicos) podem ser indiscerníveis. assim, o domínio a ser considerado não poderia ser um conjunto. outras questões referem-se à lógica subjacente, notadamente com os conectivos lógicos básicos, que não funcionariam como na lógica clássica. os quantificadores também aparentemente divergem das interpretações usuais. assim, vem a questão fundamental: qual a diferença entre uma interpretação no sentido usual (como copenhague, muitos mundos, etc.) e uma semântica formal? várias outras questões lógicas, epistemológias, metafísicas são apontadas no projeto.