Olá Bruno,
É que na estrutura dada pela relação {(a,b), (b,a)}, a rigor, faltam as
flechas identidade. Claro, podemos completar mentalmente, o que equivale a
considerar a estrutura total. É o que você tinha em mente, e foi o que eu
tentei pontuar.
A estrutura (R) com dois indivíduos a e b e a
Oi Rodrigo,
Como vao as coisas?
Sim! Eu acabo de perceber que deveria ter sido um pouco mais claro quando
sugeri que as estruturas (R) e (R') sao isomorficas! O que realmente quis
dizer quando usei o termo 'isomorfismo' de modo informal eh que ambas
estruturas determinam o mesmo objeto em um
Olá Bruno,
Acho que um exemplo um pouco diferente ilustra melhor o seu ponto.
Considere as estruturas:
(R) a estrutura com dois indivíduos a e b e a relação binária total {(a,a)
, (a,b) , (b,a) , (b,b)}
(R') a estrutura com um indivíduo a e a relação binária {(a,a)}
Como o estruturalista
Ola a todos,
Estou gostando muito da discussao e em especial do argumento do Rodrigo
contra o estruturalismo, que me fez pensar bastante no assunto.
Considere a estrutura com dois indivíduos a e b e a relação binária {(a,b)
> , (b,a)}. Os indivíduos a e b desempenham o mesmo papel (de estar na
Caros Samuel, Rodrigo e João,
Muito obrigado pela explicação, Samuel. Acho então que eu estava mais
ou menos correto em minha desconfiança. O problema é que eu estou em um período
sabático e o “colega” que disse isso foi ninguém menos que Saul Kripke, com
quem estou tendo o privilégio
Olás,
Aqui é o Samuel de verdade, nao o personagem da mensagem do Daniel 8-).
Respondendo mais à sua mensagem mesmo Daniel, a questao me parece mais de
definibilidade do que de identidade.
A estrutura que você apresenta, pela tal categoricidade que vem do teorema
do vaivém que JM lembrou (o