É uma característica em específico que um objeto terá, não se define bem como esta característica será disponível no objeto.
O termo costuma ser usado mais abstratamente, em termos de projeto no geral e não na programação. Há muitas pessoas que usam na programação como se fosse um campo, o que eu penso ser equivocado, ainda que cause pouco mal.
Algumas vezes ele é usado como se fosse uma propriedade, e aí até está mais ou menos correto.
Um atributo é um conjunto de regras, é como deve ser, comportar-se, algo que é próprio daquele tipo de objeto. Então podemos dizer que ele é um conjunto de estado opcional e comportamentos opcionais que tem um foco para atender uma especificidade daquele objeto.
O estado pode eventualmente definir tipo, formato, valor padrão, outras características restritivas. Desconheço algo que seja diferente de variáveis ou constantes (no sentido de apenas leitura depois de inicializado).
Os comportamentos costumam ser métodos, mas há outras formas de especificar comportamento em algumas linguagens, ainda que no fundo acabe sendo indiretamente algo muito parecido com uma função.
Com frequência o atributo só tem um campo em sua definição, daí vem a ideia que são a mesma coisa. Atributo é conceitual, ponto!
Em UML é comum usar o termo. Mas muitas vezes usam campo também. Não achei nela uma definição de quando usar um ou outro. Eu achava que UML era sobre formalismos. Se uma definição mais ou menos serve não vejo porque usar UML ou ferramentas parecidas. Não achei na especificação qual é o termo correto. Eu acho estranho uma linguagem de modelagem se envolver com detalhe de implementação e se for assim considero ela desnecessária. Na prática muitas pessoas consideram já que seu uso é bem restrito entre os programadores (mesmo que tenha muitos milhares deles usando ainda é longe do total de milhões), e minha opinião é que a maioria usa sem ganhos reais.
O termo é considerado por muitos como vago, ambíguo e controverso, então não deveria ser aplicado formalmente, e não deveria ser tomado como verdade absoluta, como também muitos o fazem.
Algumas fontes consolidaram a ideia de que ambos são a mesma coisa e algumas pessoas acham que isto não pode ser contestado.
É mais ou menos como duck typing. Um termo que, ou não quer dizer nada, ou diz algo que já existia e não precisava dele.
###Outras formas de ver
Achei uma "escola" que usa o termo para indicar uma característica associada a uma classe ou membro dela, eventualmente até em outras coisas. De fato é a definição usada na Wikipedia, e como o termo é efetivamente usado em muitas situações. Então campo seria um substantivo, método um verbo (sua ação em si não deixa de ser um substantivo), assim como classes não deixam de ser substantivos em certo contexto, e atributo seria um adjetivo que sempre é aplicado a substantivos).
Vi que em alguns lugares é usado de forma exatamente oposta. Um atributo seria como um campo (substantivo), e ele teria propriedades (adjetivo). Achei horrível. Mas é questão de ponto de vista. Pra mim atributo implica ser um adjetivo, um substantivo só poderia ser a concretude para aplicar a qualidade.
a·tri·bu·to substantivo masculino
Qualidade própria e inerente.
Faculdade.
Sinal distintivo.
[Gramática] .Adjetivo (ou locução .adjetiva) que qualifica um nome.
Nome predicativo.
"atributo", in Dicionário Priberam da Língua Portuguesa [em linha], 2008-2013, https://www.priberam.pt/dlpo/atributo [consultado em 14-01-2018].
Em vários contextos da computação atributo é um metadado e não o dado (arquivo, HTML, análise de linguagem, além já citada usada como anotação). Me parece mais algo definindo um estilo, um jeito e não uma parte de um objeto. Note que o uso do termo como se fosse um campo é exatamente uma parte do objeto, é muito concreto.
É verdade que há uso como uma coluna de um objeto maior. Acho que foi um erro que se perpetuou em OOP. Como se chama as características de uma coluna? Parece que isto não foi definido, talvez chamem de propriedade. Isto talvez explique porque algumas escolas vão por este caminho. Chega ser irônico porque é comum os proponentes de OO rejeitarem em algum grau a álgebra relacional. Acredito que na época enxergavam o atributo como só podendo ser uma coluna (campo), e ficou uma definição ruim. Ou não, pode ser que definiram certo e os seguidores não entenderam que o atributo era conceitual, e a implementação concreta precisaria de algo concreto como a coluna física (campo) ou virtual (propriedade), vai saber.
A ciência define como uma característica de um objeto e não uma parte dele. Diz inclusive que uma variável é um conjunto de atributos. Nós desenvolvedores criamos um campo com nome vinculado a uma posição de memória (variável), com um domínio (tipo), tempo de vida, escopo e visibilidade definidos, um valor padrão, forma de inicialização, capacidade de mutação, alinhamento, forma e local de alocação, restrições, labels e tags, e outros penduricalhos úteis (nem todas linguagens permitem tudo isto sintaticamente e precisam ser emuladas com métodos e disciplina manual).
Por outro lado, no mesmo verbete dá a entender que o atributo é a definição inicial proposta aqui que seria uma informação específica. Como ela é obtida não importa, então faria mais sentido confundir atributo com propriedade do que com campo. Nos dois casos campo não pode ser confundido com atributo.
Se uma série de ferramentas e literatura definem termos errados não dá para confiar nelas. Já falei isto em outra resposta minha (link no final).
Também diz-se que é uma informação acessória que leva ao entendimento de que é um metadado, algo que modifica uma característica de um objeto, em contraposição a ser uma parte de um objeto.
Em ontologia fala-se em características, deixa em aberto o que pode ser uma parte, o que ao encontro do que está definido desde o início desta resposta, pode ser uma parte por coincidência, se for o que define uma qualidade do objeto.
Então hora fala-se do conceito geral que adjetiva o objeto hora do mecanismo de modificar algo em um substantivo. Nunca do campo em si.
#Campo
É o que guarda um estado do objeto. É uma das formas de se criar um atributo. É uma variável. É uma porção de dados de um todo (um registro de um objeto). É um mecanismo concreto e existente nas implementações das linguagens e outras ferramentas.
Muitas vezes é chamado de variável membro. Vejo muito o uso até em casos onde ela é imutável (veja sobre constantes e variáveis de somente leitura).
O termo variável não é conceitualmente o mesmo que campo, leia no link acima o que é uma variável. Em implementações mais exotéricas é possível um campo não ser uma variável. Na prática são.
O único termo aqui que é bem definido, todo mundo concorda, e em qualquer contexto não é ambíguo.
Em POO ele é sinônimo de membro de dados. Que é diferente de ser intercambiável.
#Propriedade
É uma forma mais concreta de se definir um atributo e uma forma geral de definir uma característica do objeto. É comum que uma propriedade tenha um ou mais campos relacionados para manter a característica armazenada. Mas é possível ter apenas um ou mais métodos (geralmente getters e setters) que forneçam estas características sem haver um estado intrínseco a ele. Então sim, um método pode ser considerado um atributo de um objeto dependendo da forma como ele é definido.
Este seria um mecanismo.
Algumas linguagens proveem sintaxe que unifica a ideia de campo e métodos acessador e mudador para a propriedade, o que pode tornar seu consumo indistinto como uma variável do objeto. Há quem considere só esta forma como propriedade.
Algumas pessoas consideram que a propriedade é(são) o(s) método(s) da característica e o campo algo distinto, e que o atributo seria a conjunção de ambos. Mas há quem pense exatamente o oposto, ou seja, o atributo seria o campo e a propriedade seria o conjunto, o que me parece muito errado.
Alguns consideram que propriedade é a forma pública da característica e o campo e métodos privados ligados a ele seriam o detalhe de implementação da característica. Portanto um campo público seria uma propriedade tanto quanto métodos públicos são. E um método privado jamais poderia ser uma propriedade.
Algumas pessoas consideram que só é propriedade se permitir acessar e/ou mudar o estado, ainda que indiretamente (por cálculo, por exemplo). O que faria um campo público ser uma propriedade.
Em vários campos do conhecimento a propriedade realmente é um sinônimo de atributo em muitos casos. O que faria o termo ser desnecessário. Curiosamente não vejo muito as pessoas intercambiando entre atributo e propriedade.
Eu acho que o termo deveria ser reservado para o mecanismo (como define a Wikipedia), deixando ele menos ambíguo, deixa o atributo para qualificar algo.
Dependendo da linguagem podem usar o termo em um contexto específico ou de forma específica.
Ou seja, o termo é ruim a não ser em um contexto específico, como o que o C# usa, por exemplo.
#Variáveis
A pergunta não parecia se importar com isto, mas pela resposta do próprio AP, importa. Acho que isto já foi explicado em Qual a diferença entre variáveis de instância de classe, automáticas (locais) e de duração estática?.
#Conclusão
Note que estou falando do objeto, tudo isto se aplica à classe também. O que é diferente? O que se refere ao objeto é o que terá em cada instância modela a partir da classe (ou protótipo), e o que se refere à classe em si só existe um no código, não há instâncias, é algo que só faz sentido existir no modelo. Em outras palavras é o que costuma-se chamar de estático.
Como quase tudo que se fala em programação orientada a objeto, tem quem pense diferente e pode ser contestado, um dos motivos de eu não ser muito fã do paradigma, e o uso de forma mais pragmática onde suas ideias básicas são úteis.
Eu ainda estou aprendendo sobre OO, e estou fazendo isto nos últimos 30 anos, nos últimos tenho feito grande progresso. Crio minha própria definição baseado em fatos e axiomas já testados e menos em opiniões e interpretações com baixo fundamento. Não tome esta como resposta definitiva, o assunto é mais complicado do que parece e sem dominá-lo não dá para fazer certo.
Então não tem uma resposta definitiva e universal.
Como é muito comum usarem atributo como campo, e na maioria das vezes funciona, entenda que, na prática, quase sempre estão falando de um campo quando na verdade usam o termo de um conjunto de características de uma parte do objeto.
É comum as linguagens não citarem atributo como mecanismo delas (procure aí), ou então o termo ser usado para outro mecanismo diferente do falado aqui.
Também é útil saber Qual a diferença entre uma classe e um objeto?.
Também pode querer saber o Conceito de classe, entidade e objetos.
Aceito contestações e sugestões.
Ainda vou adicionar mais informações, até para chegar a uma conclusão mais clara e precisa do que a postada em outra pergunta que eu respondi de forma mais específica. Vou colocar referências e evidências do que estou falando.