{
  "path": "/659",
  "tags": [
    "Sebenta"
  ],
  "$type": "site.standard.document",
  "title": "Argumento a favor da necessidade da identidade",
  "author": {
    "name": "Domingos Faria"
  },
  "content": "<!-- wp:paragraph -->\n<p>A tese da necessidade da identidade sustenta que se as afirmações de identidade são verdadeiras então são necessariamente verdadeiras. Uma afirmação de identidade é qualquer afirmação segundo a qual um objeto A é numericamente idêntico a um objeto B. Por exemplo, a afirmação de que Bernardo Soares é idêntico a Fernando Pessoa é uma afirmação de identidade deste género, tal como sucede com Túlio e Cícero, Véspero e Fósforo, Miguel Torga e Adolfo Correia da Rocha, ou água e H2O, etc. Ora, se é verdade que no mundo atual A e B são numericamente idênticos, então A e B são necessariamente idênticos; ou por outras palavras: são idênticos em todos os mundos possíveis em que existem. Mas se podemos conceber mundos possíveis em que A não é numericamente idêntico a B (e se isso for concebível, tal distinção é metafisicamente possível) e se essa concebilidade não se revelar ilusória, então por modus tollens concluímos que A não é de todo idêntico a B. Mas como justificar a tese da necessidade da identidade? Ou seja, como justificar a tese de que se A é idêntico a B, então necessariamente A é idêntico a B? Kripke no livro “O Nomear e a Necessidade” (p.42) procura justificar esta tese a partir de três premissas: o princípio da necessidade da auto-identidade, o princípio leibniziano da indiscernibilidade dos idênticos, e a suposição de que A é idêntico a B. Pode-se reconstruir o argumento de Kripke desta forma:</p>\n<!-- /wp:paragraph -->\n\n<!-- wp:list {\"ordered\":true} -->\n<ol class=\"wp-block-list\"><!-- wp:list-item -->\n<li>Para qualquer objeto X, necessariamente X é idêntico a X. [Necessidade da auto-identidade]</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Para quaisquer objetos X e Y, se X é idêntico a Y, então tudo o que for verdade acerca de X é também verdade acerca de Y. [Lei de Leibniz]</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>A é idêntico a B. [Suposição]</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Necessariamente A é idêntico a A. [De (1)]</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>É verdade de A que é necessariamente idêntico a A. [De (4)]</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Se A é idêntico a B, então tudo o que for verdade acerca de A é também verdade acerca de B. [De (2)]</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Tudo o que for verdade acerca de A é também verdade acerca de B. [Modus ponens de (3) e (6)]</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>É verdade acerca de B que este é necessariamente idêntico a A. [De (5) e (7)]</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Necessariamente A é idêntico a B. [De (8)]</li>\n<!-- /wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Logo, se A é idêntico a B, então necessariamente A é idêntico a B. [A partir de (3) e (9)].</li>\n<!-- /wp:list-item --></ol>\n<!-- /wp:list -->\n\n<!-- wp:paragraph -->\n<p>Será esta uma boa inferência para justificar a tese da necessidade da identidade? É possível defender que este argumento incorre na falácia de petição de princípio. Por exemplo, Jonathan Lowe no livro “A Survey of Metaphysics” defende que o passo (5) do argumento não se segue do (4) e que, além disso, em (5) assume-se que qualquer afirmação de identidade verdadeira acerca de A é uma verdade necessária (que é praticamente a conclusão que se quer provar). Mas o que realmente se segue de (4) é algo mais fraco, nomeadamente que:</p>\n<!-- /wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>(5’) É verdade de A que é necessariamente idêntico a si mesmo.</p>\n<!-- /wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Isto porque o passo (4) resulta diretamente da premissa (1), ou seja, do princípio da necessidade da autoidentidade. Assim, é preciso substituir o passo (5) por (5’). E a partir deste último já não se pode concluir a tese da necessidade da identidade. Será esta uma boa objeção?</p>\n<!-- /wp:paragraph -->",
  "summary": "A tese da necessidade da identidade sustenta que se as afirmações de identidade são verdadeiras então são necessariamente verdadeiras. Uma afirmação de identidade é qualquer afirmação segundo a qual um objeto A é numericamente idêntico a um objeto B. Por exemplo, a afirmação de que Bernardo Soares é idêntico a Fernando Pessoa é uma afirmação...",
  "createdAt": "2015-10-03T16:53:00+00:00",
  "updatedAt": "2025-07-25T16:54:22+00:00"
}