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á João
Esse argumento é contra a posição estruturalista. Vou tentar esclarecer isso
primeiro, depois volto à sua questão.
O estruturalista pretende inverter a ordem de dependência entre as estruturas e
seus indivíduos. Na ordem usual, as estruturas são obtidas a partir dos
indivíduos. O
Rodrigo, eu certamente li mal a moral que você extraiu do seu próprio
argumento "anti-estruturalista" na mensagem anterior, mas no contexto
do que havia dito Daniel eu achei que você havia na realidade
apresentado um argumento A FAVOR do slogan estruturalista, a saber:
como não haveria um critério
Olá Daniel,
Se há dois indivíduos e apenas um papel, não podemos dizer que um indivíduo
*é* um papel na estrutura. Se fossem, não poderiam ser dois. Podemos dizer,
claro, que eles desempenham o mesmo papel, que esse papel exige outro, etc,
mas não podemos usar a fórmula indivíduo = papel
Caros Rodrigo e João,
Obrigado pelas respostas. Obrigado pela demonstração, Rodrigo!
Sobre o argumento contra o estruturalismo:
> 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 relação
> com o
Olá Daniel,
1- Sim, o teorema é conhecido, e há uma demonstração é simples: Como todas
as ordens enumeráveis densas e sem extremos são isomorfas a Q (= estrutura
dos racionais com sua ordem), basta demonstrar para esse caso. A função x +
(u - s) é um isomorfismo de Q em Q.
2- Para responder isso
Caros colegas lógicos,
Dia desses um colega me disse que uma ordem linear densa enumerável e sem
extremos é uma estrutura matemática que não apresenta nenhum critério de
identidade para os seus objetos.
Dois exemplos de ordens lineares densas enumeráveis e sem os extremos são:
(1) a ordem dos
11 matches
Mail list logo
