Você está na página 1de 78

Semantica e Gramatica Gerativa

Aula 10
Marcelo Ferreira
ferreira10@gmail.com
Universidade de S
ao Paulo

USP, 31 de Outubro de 2012

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Uma Intuicao Tradicional


I

Substantivo e a palavra com que designamos ou nomeamos os


seres em geral. (Cunha, C. Gramatica da Lngua Portuguesa
1972)

Verbo e uma palavra de forma variavel que exprime o que se


passa, isto e, um acontecimento representado no tempo.
(idem)

Em termos semanticos (ainda informais):


I

Substantivos denotam seres/indivduos.

Verbos denotam acontecimentos/eventos.

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Semantica baseada em Indivduos


Nas analises semanticas tradicionais de cunho l
ogico, essa distincao
nao aparece. A denotacao de substantivos, adjetivos e verbos sao
construdas a partir de indivduos apenas.

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Semantica baseada em Indivduos


Nas analises semanticas tradicionais de cunho l
ogico, essa distincao
nao aparece. A denotacao de substantivos, adjetivos e verbos sao
construdas a partir de indivduos apenas.
Substantivos Proprios denotam indivduos (tipo e):

JPedroK = p (o indivduo Pedro)


JMariaK = m (o indivduo Maria)

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Semantica baseada em Indivduos


Nas analises semanticas tradicionais de cunho l
ogico, essa distincao
nao aparece. A denotacao de substantivos, adjetivos e verbos sao
construdas a partir de indivduos apenas.
Substantivos comuns, adjetivos e verbos intransitivos denotam
(funcoes caractersticas de) conjuntos de indivduos (tipo he, ti).
JmedicoK = x. medico(x)
JsuicoK = x. suico(x)
JdancouK = x. dancou(x)

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Semantica baseada em Indivduos


Nas analises semanticas tradicionais de cunho l
ogico, essa distincao
nao aparece. A denotacao de substantivos, adjetivos e verbos sao
construdas a partir de indivduos apenas.
Substantivos e adjetivos relacionais e verbos transitivos denotam
(funcoes caractersticas de) relac
oes entre indivduos (tipo
he, he, tii).
JpaiK = y .x. pai(x, y )
JorgulhosoK = y .x. orgulhoso(x, y )
JbeijouK = y .x. beijou(x, y )

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Saturacao como Aplicacao Funcional


S
Joao

beijou

Maria

bla bla bla

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Saturacao como Aplicacao Funcional


S
Joao

beijou

Maria
m

JMariaK = m

Marcelo Ferreira
Sem
antica Formal

Lexico

Universidade de S
ao Paulo

Saturacao como Aplicacao Funcional


S
Joao

beijou

Maria
y .x. beijou(x, y )

JbeijouK = y .x. beijou(x, y )

Marcelo Ferreira
Sem
antica Formal

Lexico

Universidade de S
ao Paulo

Saturacao como Aplicacao Funcional


S
Joao

beijou

Maria

x. beijou(x, m)
y .x. beijou(x, y )

Jbeijou MariaK = JbeijouK(JMariaK)


Aplicac
ao Funcional
Seja um no ramificado, cujos constituintes imediatos sao e .
Se JK e uma funcao e JK pertence ao domnio de JK, entao
JK = JK(JK).
Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Saturacao como Aplicacao Funcional


S
Joao

beijou

Maria

x. beijou(x, m)
y .x. beijou(x, y )

JJoaoK = j

Marcelo Ferreira
Sem
antica Formal

Lexico

Universidade de S
ao Paulo

Saturacao como Aplicacao Funcional


S
Joao

beijou

beijou(j, m)

Maria

x. beijou(x, m)
y .x. beijou(x, y )

JJoao beijou MariaK = Jbeijou MariaK(JJoaoK)


Aplicac
ao Funcional
Seja um no ramificado, cujos constituintes imediatos sao e .
Se JK e uma funcao e JK pertence ao domnio de JK, entao
JK = JK(JK).
Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Modificacao como Conjuncao Funcional


S
Joao
medico

suico

bla bla bla

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Modificacao como Conjuncao Funcional


S
Joao
medico

suico
x. suico(x)

JsuicoK = x. suico(x)

Marcelo Ferreira
Sem
antica Formal

Lexico

Universidade de S
ao Paulo

Modificacao como Conjuncao Funcional


S
Joao
medico

suico
x. medico(x)

JmedicoK = x. medico(x)

Marcelo Ferreira
Sem
antica Formal

x. suico(x)

Lexico

Universidade de S
ao Paulo

Modificacao como Conjuncao Funcional


S
Joao
medico

suico

x. medico(x) & suico(x)


x. medico(x)

x. suico(x)

Jmedico suicoK = xe . JmedicoK(x) & JsuicoK(x)


Conjunc
ao Funcional
Seja um no ramificado, cujos constituintes imediatos sao e ,
tal que JK e JK pertencam a Dhe,ti . Neste caso,
JK = xe . JK(x) & JK(x)
Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Modificacao como Conjuncao Funcional


S
Joao
medico

suico

x. medico(x) & suico(x)


x. medico(x)

JJoaoK = j

Marcelo Ferreira
Sem
antica Formal

x. suico(x)

Lexico

Universidade de S
ao Paulo

Modificacao como Conjuncao Funcional


medico(j) & suico(j)

S
Joao
medico

suico

x. medico(x) & suico(x)


x. medico(x)

x. suico(x)

JJoao e um medico suicoK = Jmedico suicoK(JJoaoK)


Aplicac
ao Funcional
Seja um no ramificado, cujos constituintes imediatos sao e .
Se JK e uma funcao e JK pertence ao domnio de JK, entao
JK = JK(JK).
Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Um desafio: modificacao adverbial

(1)

Maria dancou [graciosamente]

(2)

Pedro cortou o bolo [rapidamente] [com uma faca] [na


cozinha] [`a meia-noite]

O que as expressoes adverbiais acima denotam?

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Um desafio: modificacao adverbial

(3)
I
I

Maria dancou graciosamente


JgraciosamenteK = ???

Note que graciosamente parece qualificar a danca e nao


Maria. Imagine que enquanto dancava, Maria tambem
cantava, so que desafinadamente. Neste caso teramos que
Maria dancou graciosamente, mas Maria nao cantou
graciosamente.

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Um desafio: modificacao adverbial


(4)
I

Pedro cortou o bolo [com a faca] [na cozinha] [`a


meia-noite].
Note que essas express
oes adverbiais nao se parecem com
argumentos: sao opcionais e aparecem em n
umero variavel.

(5)

a.
b.
c.
d.

(6)

a. *Pedro cortou
b. *Pedro cortou o bolo o pao

Pedro
Pedro
Pedro
Pedro

cortou
cortou
cortou
cortou

o
o
o
o

bolo.
bolo com a faca
bolo na cozinha
bolo com a faca na cozinha ...

Tratar tais express


oes como argumentos implicaria num
tratamento polissemico para os verbos.

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Modificacao Adverbial: acarretamentos


(1)

Pedro cortou o bolo

(2)

Pedro cortou o bolo com a faca

(3)

Pedro cortou o bolo na cozinha

(4)

Pedro cortou o bolo com a faca na cozinha

(2) acarreta (1); (3) acarreta (1); (4) acarreta (1), (2) e (3)

Note ainda que (2) e (3) juntas nao acarretam (4): Pedro
pode ter cortado o bolo com a faca em uma ocasiao (imagine
que ele estivesse na sala) e depois cortado o bolo novamente,
desta vez na cozinha, mas com uma espatula.

Seria interessante se a semantica pudesse lancar luz sobre esse


padrao geral de acarretamento.

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Davidsoniana (Davidson 1967)

Maria dancou graciosamente

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Davidsoniana (Davidson 1967)

Maria dancou graciosamente


dancou(e, m)
I

Verbos de acao tem um argumento eventivo implcito em


adicao a seus argumentos tradicionais

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Davidsoniana (Davidson 1967)

Maria dancou graciosamente


dancou(e, m) & gracioso(e)
I

Verbos de acao tem um argumento eventivo implcito em


adicao a seus argumentos tradicionais

Certas expressoes adverbiais modificam esse argumento


eventivo

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Davidsoniana (Davidson 1967)

Maria dancou graciosamente


e : dancou(e, m) & gracioso(e)
I

Verbos de acao tem um argumento eventivo implcito em


adicao a seus argumentos tradicionais

Certas expressoes adverbiais modificam esse argumento


eventivo

O argumento eventivo e ligado por um operador existencial

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Davidsoniana (Davidson 1967)

Pedro cortou o bolo com a faca na cozinha.

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Davidsoniana (Davidson 1967)

Pedro cortou o bolo com a faca na cozinha.


cortou(e, p, b)
I

Verbos de acao tem um argumento eventivo implcito em


adicao a seus argumentos tradicionais

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Davidsoniana (Davidson 1967)

Pedro cortou o bolo com a faca na cozinha.


cortou(e, p, b) & com(e, f ) & em(e, c)
I

Verbos de acao tem um argumento eventivo implcito em


adicao a seus argumentos tradicionais

Certas expressoes adverbiais modificam esse argumento


eventivo

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Davidsoniana (Davidson 1967)

Pedro cortou o bolo com a faca na cozinha.


e : cortou(e, p, b) & com(e, f ) & em(e, c)
I

Verbos de acao tem um argumento eventivo implcito em


adicao a seus argumentos tradicionais

Certas expressoes adverbiais modificam esse argumento


eventivo

O argumento eventivo e ligado por um operador existencial

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Davidsoniana: acarretamentos


Pedro cortou o bolo com a faca ` Pedro cortou o bolo
Pedro cortou o bolo na cozinha ` Pedro cortou o bolo
Pedro cortou o bolo com a faca na cozinha ` Pedro cortou o bolo
Pedro cortou o bolo com a faca e Pedro cortou o bolo na cozinha
0 Pedro cortou o bolo com a faca na cozinha
I

Esse padrao de acarretamento pode ser explicado com o


auxlio de regras de inferencia da L
ogica de Predicados:
e : P(e) & Q(e) ` e : P(e)
e : P(e) & Q(e) ` e : Q(e)
e : P(e) & e : Q(e) 0 e : P(e) & Q(e)

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Neo-davidsoniana (Parsons 1990)


Maria dancou graciosamente

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Neo-davidsoniana (Parsons 1990)


Maria dancou graciosamente
I

todos os verbos - acionais e estativos - tem um argumento


eventivo implcito (dancar, beijar, amar, saber, etc...)

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Neo-davidsoniana (Parsons 1990)


Maria dancou graciosamente
dancou(e)
I

todos os verbos - acionais e estativos - tem um argumento


eventivo implcito (dancar, beijar, amar, saber, etc...)

o argumento eventivo e o u
nico argumento desses verbos

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Neo-davidsoniana (Parsons 1990)


Maria dancou graciosamente
dancou(e) & Agente(e, m)
I

todos os verbos - acionais e estativos - tem um argumento


eventivo implcito (dancar, beijar, amar, saber, etc...)

o argumento eventivo e o u
nico argumento desses verbos

os argumentos tradicionais sao vinculados ao argumento


eventivo atraves de papeis tematicos.

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Neo-davidsoniana (Parsons 1990)


Maria dancou graciosamente
dancou(e) & Agente(e, m) & gracioso(e)
I

todos os verbos - acionais e estativos - tem um argumento


eventivo implcito (dancar, beijar, amar, saber, etc...)

o argumento eventivo e o u
nico argumento desses verbos

os argumentos tradicionais sao vinculados ao argumento


eventivo atraves de papeis tematicos.

certas expressoes adverbiais modificam o argumento eventivo

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Neo-davidsoniana (Parsons 1990)


Maria dancou graciosamente
e : dancou(e) & Agente(e, m) & gracioso(e)
I

todos os verbos - acionais e estativos - tem um argumento


eventivo implcito (dancar, beijar, amar, saber, etc...)

o argumento eventivo e o u
nico argumento desses verbos

os argumentos tradicionais sao vinculados ao argumento


eventivo atraves de papeis tematicos.

certas expressoes adverbiais modificam o argumento eventivo

o argumento eventivo e ligado por um operador existencial

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Neo-davidsoniana (Parsons 1990)


Pedro cortou o bolo com a faca na cozinha.
I

todos os verbos - acionais e estativos - tem um argumento


eventivo implcito (dancar, beijar, amar, saber, etc...)

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Neo-davidsoniana (Parsons 1990)


Pedro cortou o bolo com a faca na cozinha.
cortou(e)
I

todos os verbos - acionais e estativos - tem um argumento


eventivo implcito (dancar, beijar, amar, saber, etc...)

o argumento eventivo e u
nico argumento desses verbos

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Neo-davidsoniana (Parsons 1990)


Pedro cortou o bolo com a faca na cozinha.
cortou(e) & Ag(e, p) & Tema(e, b)
I

todos os verbos - acionais e estativos - tem um argumento


eventivo implcito (dancar, beijar, amar, saber, etc...)

o argumento eventivo e u
nico argumento desses verbos

os argumentos tradicionais sao vinculados ao argumento


eventivo atraves de papeis tematicos.

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Neo-davidsoniana (Parsons 1990)


Pedro cortou o bolo com a faca na cozinha.
cortou(e) & Ag(e, p) & Tema(e, b) & Inst(e, f ) & Loc(e, c)
I

todos os verbos - acionais e estativos - tem um argumento


eventivo implcito (dancar, beijar, amar, saber, etc...)

o argumento eventivo e u
nico argumento desses verbos

os argumentos tradicionais sao vinculados ao argumento


eventivo atraves de papeis tematicos.

certas expressoes adverbiais modificam o argumento eventivo

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Neo-davidsoniana (Parsons 1990)


Pedro cortou o bolo com a faca na cozinha.
e : cortou(e) & Ag(e, p) & Tema(e, b) & Inst(e, f ) & Loc(e, c)
I

todos os verbos - acionais e estativos - tem um argumento


eventivo implcito (dancar, beijar, amar, saber, etc...)

o argumento eventivo e u
nico argumento desses verbos

os argumentos tradicionais sao vinculados ao argumento


eventivo atraves de papeis tematicos.

certas expressoes adverbiais modificam o argumento eventivo

o argumento eventivo e ligado por um operador existencial

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Breve nota sobre papeis tematicos


I

Papeis tematicos caracterizam em linhas gerais o papel


desempenhado pelos participantes de um evento. Assim, por
exemplo, Agente e aquele que inicia volicionalmente uma
acao, Tema e aquilo ou aquele que e afetado diretamente por
uma acao, experienciador e aquele que experiencia algum
evento ou que esta em um determinado estado mental, etc. . .

Para uma discussao (que nao faremos nesse curso) sobre a


natureza dos papeis tematicos e o quao especficos/gerais eles
devem ser, consultar, entre outros, Parsons (1990) e Dowty
(1991) e as referencias la encontradas.

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

A Teoria Neo-davidsoniana (Parsons 1990)

Pedro ama Maria


s : ama(s) & Experienciador(s, p) & Tema(s, m)

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Quantificacao
Nenhuma menina dancou.
e : dancou(e) & x : menina(x) & Agente(e, x)
I

Representacao incorreta. Verdadeira mesmo se algumas


meninas dancaram. O quantificador negativo precisa ter
escopo sobre o quantificador eventivo.

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Quantificacao
Nenhuma menina dancou.
e : dancou(e) & x : menina(x) & Agente(e, x)
I

Representacao incorreta. Verdadeira mesmo se algumas


meninas dancaram. O quantificador negativo precisa ter
escopo sobre o quantificador eventivo.

Nenhuma menina dancou.


x : menina(x) & e : dancou(e) & Agente(e, x)
I

Representacao correta. Falsa se alguma menina tiver dancado.

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Negacao
Maria nao dancou.
e : [dancou(e) & Agente(e, m)]
e : dancou(e) & [Agente(e, m)]
e : [dancou(e)] & Agente(e, m)
I

Representacoes incorretas. Podem ser verdadeiras mesmo se


Maria tiver dancado.

Maria nao dancou.


[e : dancou(e) & Agente(e, x)]
I

Representacao correta. Falsa se Maria tiver dancado.

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Implementacao Composicional

Lexico
Sintaxe
S
graciosamente
Maria

dancou

Marcelo Ferreira
Sem
antica Formal

JMariaK = m
JgraciosamenteK = e. gracioso(e)
JdancouK = x.e.dancou(e) & Ag(e, x)
Regras Composicionais
Aplicacao Funcional;
Conjuncao Funcional

Universidade de S
ao Paulo

Maria dancou graciosamente

JMariaK = maria
JMariaK = maria

Marcelo Ferreira
Sem
antica Formal

Lexico
Lexico

Universidade de S
ao Paulo

Maria dancou graciosamente

x.e. dancou(e) & Ag(e, x)


JMariaK = maria
Lexico
JdancouK = x.e. dancou(e) & Ag(e, x)

Marcelo Ferreira
Sem
antica Formal

Lexico

Universidade de S
ao Paulo

Maria dancou graciosamente

maria

x.e. dancou(e) & Ag(e, x)

JMariaK = maria
JMariaK = maria

Marcelo Ferreira
Sem
antica Formal

Lexico
Lexico

Universidade de S
ao Paulo

Maria dancou graciosamente

e. dancou(e) & Ag(e, m)

maria

x.e. dancou(e) & Ag(e, x)

JMariaK = maria
Lexico
JMaria dancouK = JdancouK(JMariaK)

Marcelo Ferreira
Sem
antica Formal

Ap. Funcional

Universidade de S
ao Paulo

Maria dancou graciosamente

e. dancou(e) & Ag(e, m)

maria

x.e. dancou(e) & Ag(e, x)

JMariaK = maria
Lexico
JgraciosamenteK = e. gracioso(e)

Marcelo Ferreira
Sem
antica Formal

e. gracioso(e)

Lexico

Universidade de S
ao Paulo

Maria dancou graciosamente


e. dancou(e) & Agente(e, m) & gracioso(e)

e. dancou(e) & Ag(e, m)

maria

e. gracioso(e)

x.e. dancou(e) & Ag(e, x)

JMariaK = maria
Lexico
JSK = e. JMaria dancouK(e) & JgraciosamenteK(e)

Marcelo Ferreira
Sem
antica Formal

Conj. Func.

Universidade de S
ao Paulo

Implementacao Composicional

Lexico
Sintaxe
S

com

Pedro
cortou

o bolo

a faca

JPedroK = p
Jo boloK = b
Ja facaK = f
JcomK = x.e. Inst(e, x)
JcortouK = y .x.e.cortou(e) &
JcortouK = Ag(e, x) & Tema(e, y )
Regras Composicionais
Aplicacao Funcional;
Conjuncao Funcional

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Pedro cortou o bolo com a faca

JMariaK = maria
JMariaK = maria
Marcelo Ferreira
Sem
antica Formal

Lexico
Lexico
Universidade de S
ao Paulo

Pedro cortou o bolo com a faca

y .x.e. cortou(e) &


Ag(e, x) & Tema(e, y )
JMariaK = maria
Lexico
JcortouK = y .x.e. cortou(e) & Ag(e, x) & Tema(e, y )
Marcelo Ferreira
Sem
antica Formal

Lexico
Universidade de S
ao Paulo

Pedro cortou o bolo com a faca

y .x.e. cortou(e) &


Ag(e, x) & Tema(e, y )
JMariaK = maria
Lexico
Jo boloK = b
Lexico
Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Pedro cortou o bolo com a faca

x.e. cortou(e) &


Ag(e, x) & Tema(e, b)
y .x.e. cortou(e) &
Ag(e, x) & Tema(e, y )
JMariaK = maria
Lexico
Jcortou o boloK = JcortouK(Jo boloK)
Marcelo Ferreira
Sem
antica Formal

Apl. Funcional
Universidade de S
ao Paulo

Pedro cortou o bolo com a faca

pedro

x.e. cortou(e) &


Ag(e, x) & Tema(e, b)

y .x.e. cortou(e) &


Ag(e, x) & Tema(e, y )
JMariaK = maria
Lexico
JPedroK = pedro
Lexico
Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Pedro cortou o bolo com a faca

e. cortou(e) & Ag(e, p)


& Tema(e, b)

pedro

x.e. cortou(e) &


Ag(e, x) & Tema(e, b)

y .x.e. cortou(e) & b


Ag(e, x) & Tema(e, y )
JMariaK = maria
Lexico
JPedro cortou o boloK = Jcortou o boloK(JPedroK)
Marcelo Ferreira
Sem
antica Formal

Apl. Funcional
Universidade de S
ao Paulo

Pedro cortou o bolo com a faca

e. cortou(e) & Ag(e, p)


& Tema(e, b)
x.e. Inst(e, x)
pedro

x.e. cortou(e) &


Ag(e, x) & Tema(e, b)

y .x.e. cortou(e) &


Ag(e, x) & Tema(e, y )
JMariaK = maria
Lexico
JcomK = x.e. Inst(e, x)
Lexico
Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Pedro cortou o bolo com a faca

e. cortou(e) & Ag(e, p)


& Tema(e, b)
x.e. Inst(e, x)
pedro

x.e. cortou(e) &


Ag(e, x) & Tema(e, b)

y .x.e. cortou(e) &


Ag(e, x) & Tema(e, y )
JMariaK = maria
Lexico
Ja facaK = f
Lexico
Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Pedro cortou o bolo com a faca

e. cortou(e) & Ag(e, p) e. Inst(e, f )


& Tema(e, b)
x.e. Inst(e, x) f
pedro

x.e. cortou(e) &


Ag(e, x) & Tema(e, b)

y .x.e. cortou(e) & b


Ag(e, x) & Tema(e, y )
JMariaK = maria
Lexico
Jcom a facaK = JcomK(Ja facaK)
Apl. Funcional
Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Pedro cortou o bolo com a faca


e. cortou(e) & Ag(e, p) & Tema(e, b) & Inst(e, f )

e. cortou(e) & Ag(e, p) e. Inst(e, f )


& Tema(e, b)
x.e. Inst(e, x) f
pedro

x.e. cortou(e) &


Ag(e, x) & Tema(e, b)

y .x.e. cortou(e) & b


Ag(e, x) & Tema(e, y )
JMariaK = maria
Lexico
JSK = e. JPedro cortou o boloK(e) & Jcom a facaK(e)
Marcelo Ferreira
Sem
antica Formal

Conj. Funcional
Universidade de S
ao Paulo

Verbos de Percepcao (Higginbotham 1983)

Pedro viu a bomba explodir


e : viu(e) & Exp(e, p) & e 0 :
explodir(e 0 ) & Tema(e 0 , b) & Tema(e, e 0 )
[Note que a forma logica acima nao implica em Pedro ter visto a
bomba, o que parece correto.]

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Passivas

Maria foi beijada


e : beijou(e) & x : Ag(e, x) & Tema(e, m)
Maria foi beijada por Pedro
e : beijou(e) & x : Ag(e, x) & Tema(e, m) & Ag(e, p)
[Seria interessante se consegussemos chegar a essas formas logicas
com uma u
nica entrada para beijar e para a voz passiva.]

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Passivas (cf. Landman 2000:65)

Maria foi beijada


foi beijada = [ pass beijou ]

Maria
pass

beijou

JpassK = R.y .e. x : R(y )(x)(e)

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Passivas
e. x : beijou(e) & Ag(e, x) & Tema(e, m)

maria

y .e. x : beijou(e) &


Ag(e, x) & Tema(e, y )

Maria
R.y .e. x : R(y )(x)(e)

y .x.e. beijou(e) &


Ag(e, x) & Tema(e, y )

pass
beijou

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

O agente da Passiva

Maria foi beijada por Pedro.

por

Maria
pass

Marcelo Ferreira
Sem
antica Formal

Pedro

beijou

Universidade de S
ao Paulo

O Agente da Passiva
e. [x : beijou(e) & Ag(e, x) & Tema(e, m)] & Ag(e, p)

e. x : beijou(e) &
Ag(e, x) & Tema(e, m)

e. Ag(e, p)
x.e. Ag(e, x)

maria

y .e. x : beijou(e) & por


Ag(e, x) & Tema(e, y )

pedro
Pedro

Maria

Marcelo Ferreira
Sem
antica Formal

R.y .e.
x : R(y )(x)(e)

y .x.e. beijou(e) &


Ag(e, x) & Tema(e, y )

pass

beijou
Universidade de S
ao Paulo

O Agente da Passiva

JMaria foi beijada por PedroK


= e : [x : beijou(e) & Ag(e, x) & Tema(e, m)] & Ag(e, p)
= e : beijou(e) & Ag(e, p) & Tema(e, m)
= JPedro beijou MariaK

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Eventos e Tempo

Ate aqui investigamos alguns aspectos da composicao interna


de predicados de eventos. A seguir, falaremos sobre o
fechamento existencial da variavel de eventos e da relacao
entre eventos e tempo.

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

O Fechamento existencial da variavel de eventos


I

Alem de indivduos (tipo e) e eventos (tipo s), nossa


ontologia incluira tambem intervalos de tempo (tipo i)

Sintaticamente, vamos assumir o seguinte esqueleto frasal


mnimo:
[TPt Ti [AspPhi,ti Asphs,iti [vPhs,ti . . . ] ] ]

VPs denotam propriedades de eventos. N


ucleos aspectuais
relacionam eventos e intervalos de tempo (o tempo de
referenca reichenbachiano). Tempo introduz esse intervalo de
tempo, ancorando-o no momento de fala.

A ideia e que os n
ucleos aspectuais - perfectivo, imperfectivo
e perfeito - fecham existencialmente a variavel de evento
introduzida em v/VP. (cf. Klein 1994; Kratzer 1998)

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

O Perfectivo

Maria comeu o bolo


[TP pret [AspP perfectivo [v/VP maria comer o bolo ] ] ]
JvPK = e. comer(e) & Ag(e, m) & Tema(e, b)

JPerfectivoK = P.t. e : P(e) & (e) t

JAspPK = t. e : comer(e) & Ag(e, m) & Tema(e, b) & (e) t


JpretK = Ipret

(um intervalo anterior ao momento de fala)

JTPK = e : comer(e) & Ag(e, m) & Tema(e, b) & (e) Ipret

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

O Imperfectivo
Maria comia o bolo
Maria estava comendo o bolo
[TP pret [AspP imp [v/VP maria comer o bolo ] ] ]
Jv/VPK = e. comer(e) & Ag(e, m) & Tema(e, b)
JImpK = P.t. e : P(e) & t (e)

JAspPK = t. e : comer(e) & Ag(e, m) & Tema(e, b) & t (e)


JpretK = Ipret

(um intervalo anterior ao momento de fala)

JTPK = e : comer(e) & Ag(e, m) & Tema(e, b) & Ipret (e)

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

Breve nota sobre o imperfectivo


Maria comia o bolo
Maria estava comendo o bolo
[TP pret [AspP imp [v/VP maria comer o bolo ] ] ]
e : comer(e) & Ag(e, m) & Tema(e, b) & Ipret (e)
I

Note que a formula acima implica na existencia de um evento


completo da maria comer o bolo, o que nao parece correto
(cf. Maria estava comendo o bolo quando teve um infarte e
preciso modalizar a semantica do n
morreu). E
ucleo
imperfectivo para evitar essa consequencia. Ver Portner
(1998) para uma analise deste tipo baseada em eventos, bem
como uma serie de referencias a respeito. Ver Parsons 1990
para um tratamento diferente.

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo

O Perfeito
` 5h,) Maria (ja) tinha comido o bolo
(As
[TP pret [AspP perfeito [v/VP maria comer o bolo ] ] ]
Jv/VPK = e. comer(e) & Ag(e, m) & Tema(e, b)
JPerfeitoK = P.t. e : P(e) & (e) < t

JAspPK = t. e : comer(e) & Ag(e, m) & Tema(e, b) & (e) < t


Jsc pretK = Ipret /5h

(um intervalo anterior ao momento de fala)

JTPK = e : comer(e) & Ag(e, m) & Tema(e, b) & (e) < Ipret

Marcelo Ferreira
Sem
antica Formal

Universidade de S
ao Paulo