O objetivo desta dissertação é apresentar e discutir as principais análises encontradas na literatura em semântica formal a respeito da semântica das descrições demonstrativas, dividindo essas análises em dois grupos, o das teorias referenciais e o das teorias descritivistas, defendendo, ao final, a prevalência das teorias descritivistas para a descrição dos dados das línguas naturais, em especial o pb. parte-se do princípio de que descrições demonstrativas são termos definidos e que se aproximam sintática e semanticamente das descrições definidas, devendo ambas receberem análises similares. entre teorias referenciais e descritivistas, conclui-se que as teorias descritivistas contemplam melhor essa aproximação entre descrições demonstrativas e descrições definidas, o que acaba lhes conferindo uma aceitação melhor enquanto descrição linguística dessas expressões. no capítulo i, são apresentados os definidos do pb e suas principais características, mostrando como as descrições demonstrativas se enquadram tipologicamente dentro dessa classe. no capítulo ii, num primeiro momento, é apresentado o trabalho de kaplan (1989[1977]) como a análise que inaugura questões a respeito da semântica das descrições demonstrativas que devem ser respondidas por qualquer teoria subsequente que pretenda descrever esses termos; num segundo momento, é apresentado um paralelo sintático e semântico entre descrições demonstrativas e descrições definidas, mostrando, nessa comparação, aspectos linguísticos das descrições demonstrativas que extrapolam o alcance empírico da teoria de kaplan (1989[1977]) e que também devem ser contemplados por qualquer teoria que se objetive a propor um tratamento semântico para essas expressões. no capítulo iii, são detalhadas e analisadas as teorias de alguns dos principais autores que tratam da semântica das descrições demonstrativas na literatura recente, sendo eles dever (2001), como representante do segmento de teorias referenciais, e roberts (2002), elbourne (2008) e wolter (2006), como representantes do segmento de teorias descritivistas. por fim, no capítulo iv, as teorias apresentadas no capítulo iii são avaliadas e têm discutidas suas aceitações enquanto descrição linguística dos dados do pb para a semântica das descrições demonstrativas, encerrando-se o trabalho com uma seção de problemas em aberto que não têm, aparentemente, uma explicação encontrada nas teorias discutidas.