Escolar Documentos
Profissional Documentos
Cultura Documentos
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
limites do conceito, tanto no seio da Teoria Lingstica quanto no que diz respeito a
sua aplicao nas Cincias Cognitivas de um modo geral (Arsenijevic & Hinzen,
2010; Lobina & Garca-Albea, 2009; Tomalin, 2007).
Parker (2006a; 2006b) destaca que as definies apresentadas na Teoria
Lingstica so freqentemente opacas. Esse parece no ser, contudo, um problema
exclusivo da lingstica uma vez que, segundo a autora, na Cincia da Computao,
da qual a lingstica herdou a noo, as definies careceriam de um fio condutor
comum. Tambm na Matemtica, campo no qual o termo foi originalmente cunhado,
registra-se uma situao similar (cf. Soare, 1996).
Pode-se afirmar assim que recursividade um termo potencialmente
problemtico (Parker, 2006a e 2006b; Lobina & Garca-Albea, 2009; dentre outros).
Nesse sentido, este captulo tem como objetivos: explorar essa noo
tradicionalmente considerada como uma propriedade central nas lnguas naturais e
discutir, em que medida e sob quais aspectos, a recursividade poderia desempenhar
um papel no modo como a lngua interage com outros domnios cognitivos. Cabe,
pois, formular as seguintes questes: A que se refere exatamente o termo
recursividade no mbito da lingstica? Em que sentido pode-se falar de recursividade
em outros domnios cognitivos fora da linguagem? Pode-se oferecer uma definio
74
geral de recursividade, com aplicabilidade inter-domnios?
As seguintes sees visam a iluminar as questes problemticas acima
colocadas. Em primeiro lugar, so discutidos os alcances e limites do termo
recursividade tanto na Teoria Lingstica quanto em outros campos do conhecimento,
quais sejam, a Matemtica e a Cincia da Computao. Essa discusso conduzida a
partir de trs pontos centrais: (a) as interpretaes associadas ao termo recursividade
na Matemtica e na Cincia da Computao disciplinas das quais provm o
conceito incorporado pela lingstica; (b) a maneira como a noo de recursividade
foi incorporada na Teoria Lingstica a partir dos anos 50 e (c) o impacto das duas
questes anteriores na interpretao de recursividade no contexto do PM.
4.1
O conceito de recursividade na teoria lingstica
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
Se dice que uma funcin es recursiva si existe um procedimiento efectivo (algoritmo) para
computarla. Se dice que um conjunto es recursivo si existe um algoritmo para decidir si um
elemento pertenece o no a l. Un conjunto es recursivamente enumerable si existe un
procedimiento efectivo para generar sus elementos uno despus de otro (Ej. El conjunto de
los cuadrados de los enteros es recursivamente enumerable...). Todo conjunto recursivo es
recursivamente enumerable, pero no viceversa. (Estructuras Sintcticas, 1957 [verso
espanhola, 1974. Nota do tradutor]).
75
A method of defining functions studied in the theory of algorithms and
other branches of mathematical logic. This method has been used for a
long time in arithmetic to define sequences of numbers (progressions,
Fibonacci numbers, etc.). Recursion plays an important role in
computational mathematics (recursive methods). Finally, in set theory
transfinite recursion is often used. For a long time the term recursion
was used by mathematicians without being accurately defined
(Vinogradov, 1992:15)
Na Computao, por sua vez, a recursividade tomada como uma ferramenta
ou uma tcnica de programao. A diferena bsica entre uma funo recursiva
definida matematicamente e uma funo programada, por exemplo, a funo fatorial
(n!) 2, reside no fato de que enquanto a primeira descreve o que o fatorial, a segunda
descreve como se pode obt-lo. Parker (2006a; 2006b) chama ateno para o fato de
que na Computao as definies de recursividade carecem de um fio condutor
comum e estabelece uma distino entre as definies fornecidas. Em algumas
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
76
colocado em termos computacionais, um algoritmo ou mtodo pode se chamar a si
mesmo (recursividade procedimental).
Recursion allows something to be defined in terms of smaller
instances of itself (Loudon, 1999).
Recursion is the ability of a subroutine or procedure to call itself
(Harel, 1993:31).
Segundo Odifreddi (2005), a iterao constitui o tipo mais simples possvel
de recursividade. Na Computao, no entanto, esses dois conceitos tm diferenas
importantes. Iterao definida como a repetio de instrues em um programa e a
noo utilizada em dois sentidos: (a) como termo genrico, sinnimo de
repetio; (b) como um meio de descrever uma forma especfica de repetio com
um estado mutvel. Conforme a primeira acepo, a recursividade seria um exemplo
de iterao, mas que faz uso da sua prpria notao. J no segundo sentido, iterao
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
Uma das possveis formas de classificar linguagens de programao feita com base no
paradigma que utilizam. Um paradigma em programao fornece (e determina) a viso e os
mtodos do programador na construo de um programa. Diferentes paradigmas resultam em
diferentes estilos e formas de se pensar a soluo de problemas. Existem vrios paradigmas e
h conflitos nas definies e alcances de alguns deles. O paradigma imperativo,
anteriormente associado iterao, descreve a programao como uma seqncia de
instrues ou comandos que alteram o estado de um programa. O paradigma declarativo, no
se baseia no como feito algo (como lograr um objetivo passo a passo), mas descreve
(declara) como algo; i.e. objetiva descrever as propriedades da soluo buscada, deixando
indeterminado o algoritmo (conjunto de instrues) utilizado para encontrar a soluo. Esse
paradigma apresenta as desvantagens de ser mais difcil de implementar e menos eficiente
que o imperativo, mas particularmente vantajoso na resoluo de certos problemas. A
escolha da forma recursiva ou iterativa para a resoluo de um problema depende de vrios
fatores, quais sejam: (i) a carga computacional; (ii) a redundncia: algumas solues
recursivas resolvem o mesmo problema em reiteradas ocasies; (iii) a complexidade da
soluo: em algumas situaes muito difcil achar uma soluo iterativa; (iv) a conciso,
legibilidade e elegncia do cdigo resultante.
77
algoritmo e computao. No seu trabalho On computable numbers, with an
application to the Entscheidungsproblem, Turing (1936) estudou a questo,
formulada por Hilbert, de enunciados matemticos serem ou no decidveis. Em
outras palavras, se h um mtodo definido ou algoritmo que aplicado a qualquer
sentena matemtica possa determinar o valor de verdade da mesma (Problema da
Deciso). Turing (1936) postulou uma mquina de computar universal (universal
computer machine), conhecida popularmente como mquina de Turing. Os
resultados obtidos a partir dessa mquina tiveram vrias aplicaes, dentre as quais,
uma foi a prova da insolubilidade do Entscheidungsproblem.
Na Matemtica e nas Cincias da Computao, um algoritmo uma lista bem
definida, ordenada e finita de operaes que permitem obter um resultado. Dado um
estado inicial e uma entrada (input), atravs de passos sucessivos e claramente
definidos, se chega a um estado final obtendo-se um output. Algoritmos podem ser
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
algortmicos
mostram-se
adequados
para
caracterizar
78
operaes sintticas e, nesse sentido, pode-se afirmar que tanto a Lingstica quanto a
Psicolingstica incorporam a concepo de computao simblica na sua teorizao.
importante lembrar, contudo, que a Lingstica visa a prover uma caracterizao o
mais abstrata possvel das relaes estruturais entre os constituintes de uma sentena,
independentemente das condies de produo e compreenso. A Psicolingstica,
por sua vez, tenta caracterizar a computao em tempo real, seguindo algoritmos com
especificidades em funo das condies de produo e de compreenso.
A concepo de gramtica em termos algortmicos representou uma alterao
fundamental no pensamento lingstico a partir da segunda metade do sculo XX. At
ento, a lingstica estruturalista, na sua vertente norte-americana, havia realizado
uma descrio das relaes estruturais em termos de constituintes imediatos.
Chomsky adota a idia de uma gramtica sintagmtica (inicialmente introduzida por
Zellig Harris), definida como um procedimento algortmico que partindo de um
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
smbolo inicial (S, a maior unidade de descrio sinttica) deriva sentenas da lngua.
As etapas de derivao de uma sentena conforme esse tipo de algoritmo, so
implementadas mediante regras de reescritura que explicitam relaes de dependncia
entre os constituintes. A reintroduo de um smbolo como produto da reescritura
fornece gramtica um carter recursivo e garante que um nmero infinito de
sentenas seja gerado por meio de um nmero finito de regras. Em suma, pode-se
dizer que a concepo de gramtica em termos algortmicos ou seja, a concepo de
uma gramtica gerativa que tomou forma em meados do sculo XX funo de
desenvolvimentos do mbito da Matemtica e da Cincia da Computao4.
A noo de recursividade tem tido desde sempre um lugar de destaque na
Teoria Gerativa na hora de fornecer uma explicao para algumas das caractersticas
mais salientes das lnguas humanas, em particular, a infinitude discreta (i.e. a
possibilidade de que um nmero potencialmente infinito de novas sentenas seja
4
79
gerado a partir de um conjunto discreto de elementos5). Embora o termo seja
comumente associado noo de produtividade ou criatividade lingstica, quando
falamos em recursividade, essa noo arrola um conjunto maior de propriedades.
Originalmente, a Teoria Lingstica parece ter adotado a noo de recursividade como
uma ferramenta til para reduzir a complexidade da gramtica ( avar &
avar,
2007), por um lado e como meio de enfatizar a sua capacidade produtiva, por outro:
If a grammar has no recursive steps [...] it will be prohibitively complex
[...]. If it does have recursive devices, it will produce innitely many
sentences. (Chomsky, 1956:116).
A formulao de dois tipos de mecanismos recursivos pode ser identificada
num dos trabalhos mais antigos de Chomsky (The Logical Structure of Linguistic
Theory,1975 [1955]). O primeiro envolve a aplicao sucessiva de regras da
gramtica seqencialmente ordenadas, enquanto que o segundo deriva da incluso de
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
regras na gramtica que so elas mesmas recursivas por definio (Tomalin, 2007).
Nas primeiras verses da teoria, a recursividade lingstica ficava definida de
um modo bastante simples a partir das regras de reescritura (S
NP VP...).
80
[] recursion implies that a grammatical symbol could be rewritten by
using a symbol of the same category. In more technical terms a symbol
can occur both on the left and on the right side of the rewriting rule. In
this less restrictive perspective, recursion derives directly by the
application of the simplest combinatorial operation of (morpho-) syntax,
i.e. merge in the sense proposed by Chomsky 1995: if A and B
combine and either A or B projects, we derive a category which contains
itself as a part (Tommaselli, 2005: 111- 112).
Parker (2006a) delimita quatro grupos de caracterizaes para o conceito de
recursividade. O critrio para essa diviso estabelecido com base no aspecto que
resulta mais saliente em cada definio. Conforme essa classificao, na Teoria
Lingstica o termo em questo utilizado como sendo quase um sinnimo de:
(i) Infinitude discreta (Adger, 2003; Lobeck, 2000; Carnie, 2002);
(b) Estrutura frasal (Lobeck, 2000; Pinker, 2003; Horrocks, 1987);
(c) Encaixamento, especialmente de constituintes da mesma natureza (Kirby, 2002;
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
81
categoria compare come elemento allinterno di un
sintagma appartenente a questa stessa categoria. Lesempio
pi tipico di questo fenomeno sono le frasi che compaiono
allinterno di altre frasi. [...] La ricorsivit sintattica
significa che le stesse regole sintattiche possono venir
riapplicate ciclicamente allinterno di una stessa frase. In
questo modo si riesce a chiarire come la sintassi del
linguaggio umano sia uno dei principali fattori che
spiegano il carattere aperto di questo particolare sistema di
comunicazione, cio la sua capacit di generare frasi
sempre nuove (Parisi, 1981:25-26).
Chomsky (2000), nas verses mais recentes da teoria, utiliza o termo
recursividade como sendo sinnimo de infinitude discreta, que, por sua vez, tomada
muitas vezes como sinnimo de criatividade e produtividade lingstica. Cabe
lembrar que precisamente com base na propriedade da infinitude discreta que mais
freqentemente estabelecido um paralelo entre lngua e o sistema dos nmeros
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
naturais:
Human language is based on an elementary property that also seems to
be biologically isolated: the property of discrete infinity, which is
exhibited in its purest form by the system of natural numbers 1, 2, 3
Children do not learn this property of the number system. Unless the
mind already possesses the basic principles, no amount of evidence could
provide them, and they are completely beyond the intellectual range of
other organisms. (Chomsky, 2000: 3-4)
Apesar do uso por vezes intercambivel entre algumas das noes discutidas,
possvel estabelecer algumas distines relevantes. A primeira diz respeito
diferena entre recursividade e iterao. Sob um ponto de vista amplo, a iterao
aparece como sendo o tipo mais simples de recursividade. No que diz respeito
lngua, contudo, pode ser estabelecida uma distino entre ambos os processos com
base na diferena entre encaixamento e repetio. Assim, enquanto a iterao implica
a repetio de uma ao ou de um objeto um nmero arbitrrio de vezes, a
recursividade envolve o encaixamento de uma ao ou objeto em outra instncia de si
mesmo7.
7
82
Uma segunda distino pode ser estabelecida entre recursividade e estrutura
frasal. Freqentemente, ambos os conceitos so tomados como sendo equivalentes,
embora a idia de estrutura frasal no precise necessariamente estar vinculada a
regras recursivas (Lobina & Garca-Albea, 2009). Mais especificamente, a estrutura
frasal se refere relao hierrquica dos constituintes na sentena, ao passo que uma
estrutura pode ser hierarquicamente organizada sem por isso ser, necessariamente,
recursiva. Parker (2006b) considera que a diferena crucial radica no fato de que a
hierarquia implica o encaixamento de constituintes em outros constituintes, enquanto
que a recursividade envolve o encaixamento de constituintes idnticos, uns nos outros
(um CP dentro de um CP, um DP dentro de um PP que por sua vez est includo em
outro DP, etc.).
Por ltimo, h na literatura uma distino com relao s caractersticas
especficas do encaixamento numa dada estrutura recursiva. Essa distino
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
type. Further, nested recursion leads to long-distance dependencies and the need to keep
track, or add to memory (Parker, 2006b).
83
(21) O vestido da amiga da irm da Ana elegante.
(22) Este o jogador que chutou a bola que o adversrio perdeu no instante
que o juiz apitou.
(23) A menina que o menino que o professor reclamou beijou est gripada.
Enquanto a tail recursion envolve encaixamento na borda (edge) do sintagma, a
nested recursion acarreta o encaixamento no centro, deixando material em ambos os
lados do constituinte encaixado. Esse ltimo tipo produz dependncias de longadistncia. Com base nessa caracterizao seria possvel concluir que a tail recursion
seria apenas um caso de iterao. Contudo, se considerarmos o exemplo em (24)
observamos que essa sentena no pode ser analisada como uma proposio simples
com outro NP ou DP acrescentado no comeo.
(24) A namorada do Joo gosta muito dele.
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
84
[that ran out ...]; e
(iii) Coordenao de um nmero arbitrrio de sentenas.
As estruturas apontadas em (i), (ii) e (iii) se caracterizam, segundo os autores,
pelo fato de que as operaes gramaticais relevantes podem ser expressas por regras
recursivas, mas o resultado corresponde chamada tail recursion i.e. um tipo de
recursividade na qual a simples iterao funciona como um substituto computacional
suficiente.
O ltimo tipo de recursividade considerado pelos autores chamado de scopal
recursion que envolveria os casos de variveis ligadas e polaridade negativa,
normalmente descritas em termos de relaes de c-comando. Essa relao , para os
autores, formalmente equivalente propagao de informao downward,
recursivamente, atravs da rvore (Ex. o escopo da negao, sentenas com verbos
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
factivos, etc.).
Para Roeper & Snyder (2005) a recursividade teria um papel crucial na
aquisio da lngua, j que informaria criana quando uma operao gramatical
produtiva aplicada. A hiptese defendida pelos autores que o inventrio de
operaes recursivas seria o nico ponto de parametrizao dentro da FLN e que a
evidncia de aplicao recursiva dessas operaes guiaria a aquisio da sintaxe pelas
crianas (Roeper & Snyder, 2004). Essa proposta parece difcil de ser diretamente
compatibilizada com o modo como operaes recursivas so caracterizadas, tanto em
um modelo padro quanto na proposta minimalista. Segundo a lgica minimalista,
qualquer possvel distino entre tipos de recursividade estaria representada em
propriedades de ncleos funcionais no lxico. Assim sendo, a possibilidade de
recursividade estaria em FLN e no no modo como cada lngua opta por express-la,
o que dificultaria a implementao da idia de parametrizao de FLN tal como
formulada pelos autores.
Ainda no que diz respeito ao papel da recursividade na aquisio, Roeper e
colaboradores (2009; Hollebrandse & Roeper, submetido; Roeper & Snyder, 2004),
estabelecem uma distino entre recursividade direta (a) e indireta (b):
(a) Recursividade direta: AP => A (e AP),
85
sendo que a regra de conjuno se aplica a qualquer categoria: N, V, P ou S
(CP).
(b) Recursividade indireta: NP => N (PP)
PP => P (NP)
DP => (Poss)NP
Poss => DP s
A recursividade direta teria lugar quando um elemento concatenado com
outro elemento da mesma categoria. J a recursividade indireta cria um loop que
pode ser de dois tipos:
(25)
(26)
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
hat:
[DP [NP [DP [NP D [NP D [NP2
fase 2
fase 1
86
no h de fato uma incompatibilidade entre as diferentes definies propostas. A
aparente diversidade radica basicamente no aspecto salientado em cada caso: a
recursividade como fenmeno lingstico vinculada portanto a caractersticas
especficas das lnguas humanas ou como mecanismo ou recurso computacional,
abrangendo assim outros possveis domnios.
At aqui a noo de recursividade foi vinculada ao domnio da lngua natural
ou, no caso da Matemtica e das Cincias da Computao, a linguagens formais que
partilham propriedades com aquela. A seguir faremos referncia brevemente a
questo da relao entre recursividade e cognio no-lingstica. Em outras palavras,
partindo do fato de que a lngua considerada um sistema recursivo, haveria outros
sistemas cognitivos partilhando essa mesma propriedade? Existiria uma relao entre
domnios em virtude da recursividade, definida em termos de um recurso ou
mecanismo computacional mais geral?
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
4.2
Recursividade e cognio no lingstica
Hauser et al. (2002, 2005) consideram que a recursividade poderia ser uma
propriedade presente em outros domnios da cognio, e ainda, ser compartilhada por
outras espcies. So apontados vrios espaos nos quais essa propriedade poderia
estar presente (Corballis, 2007a). A cognio matemtica, ou melhor dito, o nmero,
um dos candidatos plausveis. No claro, contudo, se linguagem e capacidade de
lidar com nmero so habilidades que evoluram de maneira interligada (Chomsky,
1998; Hurford, 1987). O domnio da viso, responsvel pela decomposio de
elementos e cenas complexas por sua vez, tambm parece atuar de forma recursiva
(um tipo de recursividade procedural).
A msica, considerada como um tipo de linguagem especial, possui a
caracterstica de ser hierarquicamente organizada. No trivial, contudo, estabelecer
se uma seqncia musical consiste de constituintes repetidos que podem ser
analisados de forma plenamente recursiva ou apenas iterativa. Na linguagem natural,
a semntica fornece certa informao sobre a estrutura, da qual a msica carece.
Pode-se dizer, contudo, que a recursividade neste caso estaria na aplicao de regras
87
que combinam um nmero finito de tons de forma a dar origem a um nmero infinito
de sentenas musicais. O tipo de regras e de restries a estas seria especfico do
domnio, mas o procedimento recursivo poderia ser compartilhado. Num trabalho
recente, Pesetsky & Katz (submetido) apresentaram a denominada tese da
identidade para a msica e a linguagem. Segundo os autores, todas as diferenas
formais entre ambos os sistemas derivam das diferenas entre seus blocos de
construo fundamentais: sons e significados arbitrariamente pareados no caso da
lngua natural e classes de tons e classes de combinaes de tons, no caso da msica.
Nesta perspectiva, msica e lngua seriam idnticas sob qualquer outro aspecto.
Especificamente, os autores afirmam que, assim como a lngua, a msica: contains
a syntactic component in which headed structures are built by iterated, recursive,
binary Merge.
Por ltimo, a cognio espacial ligada navegao e localizao outro
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
dos domnios que tem sido relacionado recursividade (Bartlet & Kazakov, 2004;
Kazakov & Bartlet, 2005; Arsenijevic, 2008). Arsenijevic (2008) salienta uma srie
de semelhanas entre a cognio espacial e a lngua, dentre as quais o tipo de
computaes presentes em cada domnio: recursiva e categorial. A cognio espacial
faz parte dos core systems propostos por Spelke e seu funcionamento parece ser em
grande medida compartilhado por outras espcies.
No que diz respeito cognio social, a ToM definida como a capacidade
que permite representar os conhecimentos, pensamentos e sentimentos prprios e dos
outros merece um destaque especial por ser um domnio no qual a recursividade
parece ter um papel crucial. Tem sido argumentado (de Villiers & de Villiers, 2000)
que o desenvolvimento da ToM s possvel com ajuda de uma estrutura conceptual
complexa capaz de gerar proposies recursivas. Embora a ToM envolva tambm
habilidades relativamente mais simples, como inferir estados de nimo a partir de
expresses faciais, o foco da pesquisa tem se centrado particularmente na
compreenso das chamadas crenas falsas. Essa capacidade mais sofisticada envolve
o entendimento de informao diferente e varivel sobre relaes no mundo e implica
compreender que as crenas podem variar, que ocasionalmente podem ser falsas e
que com freqncia so modificadas ou atualizadas com base em nova evidncia
88
disponvel. Leekam (1990) tem sugerido que a atribuio de crenas falsas envolve a
representao recursiva de estados mentais.
Mas afinal, como a crena sobre a crena dos outros representada? J. de
Villiers (2007, 2006, 2004, 2003, dentre outros) assume que essa representao tem a
propriedade de uma sentena recursiva uma sentena encaixada na outra na qual
os valores de verdade de cada sentena podem ser independentes: em Pedro acha que
viu um unicrnio no jardim, a sentena encaixada pode ser falsa enquanto a sentena
como um todo permanece verdadeira. Esse tipo de estrutura estaria associado a
verbos de estado mental e de comunicao e esse fato seria central para seu
aprendizado. Nessa perspectiva, considera-se que apenas quando a criana tenha
adquirido essa estrutura recursiva especfica ser capaz de raciocinar em funo de
crenas falsas. Verbos de comunicao e de estados mentais compartilham uma
estrutura sinttico-semntica recursiva crucial, e identific-los no discurso
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
89
Atualmente, h controvrsia quanto ao fato de a recursividade como recurso
computacional ser ou no uma propriedade caracteristicamente humana. Embora haja
evidncias de que vrias espcies so to sensveis propriedade de numerosidade
quanto bebs humanos, os animais em geral careceriam da compreenso da funo de
sucessor, que encontra-se na base da recursividade numrica. Nesse sentido, o
nmero no seria um domnio suscetvel de abrigar a propriedade de recursividade
em outras espcies.
Resultados de estudos sobre a navegao baseados no paradigma travelling
salesman8 com macacos e abelhas sugerem que esse domnio seria um bom local
para procurar evidncias de recursividade na cognio de outras espcies (Cramer &
Gallistel, 1998; Lihoreau et al., 2010; dentre outros). Animais so capazes de
computar estruturas complexas vinculadas representao espacial do contexto (por
exemplo, no que diz respeito delimitao das rotas mais relevantes).
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
90
que Y [que mais dominante que Z [que mais dominante que eu]]] nas quais
haveria tail recursion associada. (Bergman et al., 2003). Uller et al. (2004) por sua
vez, trazem evidncias compatveis com a idia de que chimpanzs bebs
compreendem comportamentos orientados por metas, sendo que essa compreenso
denota habilidades de mind reading fundamentais para o desenvolvimento de uma
ToM.
Os sistemas de comunicao animal so outro espao no qual tm sido
procurados sinais de recursividade. Esses sistemas podem ser divididos em dois
grupos: i) aqueles com semntica delimitada e uma organizao linear nohierrquica (como a dana das abelhas ou os gritos de alarme dos macacos Campbell)
(Zuberbhler, 2002); ii) aqueles com uma organizao hierrquica complexa, mas
sem semntica (como o canto dos pssaros) (Okanoya, 2002). Dado que carece de
organizao hierrquica, o primeiro grupo de linguagens pode ser descartado. J o
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
91
Em suma, ainda no h evidncias conclusivas que apontem para a presena
de recursividade do tipo nested em animais no humanos. Nesse sentido, a questo da
recursividade tal e como caracterizada quando associada linguagem humana ser
ou no uma propriedade especfica da nossa espcie, continua em aberto.
Todavia, especula-se que efetivamente, outros domnios da cognio humana
possam apresentar essa propriedade. Alm da cognio numrica, a ToM parece ser o
domnio em que a recursividade teria um papel mais evidente, resta saber ainda qual
a real importncia da lngua nesse caso (Marcilese et al., 2009; Villarinho &
Marcilese, 2009).
4.3
Recursividade nesta pesquisa
No atual framework minimalista, o conceito de numerao tem ganhado uma
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
92
no so derivadas da recursividade em si, mas das propriedades dos itens do lxico e
das projees envolvidas. Assume-se assim que para haver recursividade na lngua
necessrio que haja:
(i) Uma estrutura hierrquica que exprima a propriedade de incluso, ser
parte de; e
(ii) Uma relao de identidade (X parte do prprio X).
Conforme essa definio, diversos tipos de estrutura podem ser caracterizados
como recursivos, embora seja possvel estabelecer uma distino entre essas
estruturas em termos de custo e complexidade computacional. Um exemplo disso so
as construes tradicionalmente caracterizadas como recursivas que apresentam
um uso reiterado do ncleo C (complementizador) e que admitem configuraes
envolvendo relaes de complementao ou de adjuno no caso das sentenas
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA
93
Nota-se que a propriedade de incluso (ser parte de) e a relao de
identidade (X parte do prprio X), consideradas na caracterizao da recursividade
lingstica, se mantm numa definio mais geral.
Neste captulo buscou-se oferecer um panorama dos vrios desdobramentos
que o conceito de recursividade apresenta, no s no que diz respeito a seu tratamento
na Teoria Lingstica, mas tambm em outras reas de conhecimento. Foi explicitada
ainda a noo adotada especificamente nesta pesquisa. Questes vinculadas a possvel
relao entre recursividade lingstica e cognio numrica so abordadas
experimentalmente no captulo 6.
Os prximos dois captulos reportam os experimentos conduzidos no mbito
desta tese. Pelo fato de termos includo nesta pesquisa tanto crianas de vrias faixas
etrias quanto adultos, a metodologia utilizada foi bastante variada. As tcnicas
PUC
-Rio
Certi
fica
o
Digit
al N
071
053
8/
CA