Semântica formal (linguagem natural) - Formal semantics (natural language)

A semântica formal é o estudo do significado gramatical em línguas naturais usando ferramentas formais da lógica e da ciência da computação teórica . É um campo interdisciplinar, às vezes considerado um subcampo da lingüística e da filosofia da linguagem . Ele fornece contas do que significam as expressões linguísticas e como seus significados são compostos a partir dos significados de suas partes. O empreendimento da semântica formal pode ser pensado como o da engenharia reversa dos componentes semânticos das gramáticas das linguagens naturais.

Visão geral

A semântica formal estuda as denotações das expressões da linguagem natural. As preocupações de alto nível incluem composicionalidade , referência e a natureza do significado . As principais áreas de tópico incluem escopo , modalidade , encadernação , tempo verbal e aspecto . A semântica é distinta da pragmática , que abrange aspectos do significado que surgem da interação e da intenção comunicativa.

A semântica formal é um campo interdisciplinar, frequentemente visto como um subcampo da lingüística e da filosofia , ao mesmo tempo que incorpora trabalhos de ciência da computação , lógica matemática e psicologia cognitiva . Dentro da filosofia, os semanticistas formais geralmente adotam uma ontologia platônica e uma visão externalista do significado. Dentro da linguística, é mais comum ver a semântica formal como parte do estudo da cognição linguística . Como resultado, os filósofos colocam mais ênfase nas questões conceituais, enquanto os linguistas são mais propensos a se concentrar na interface sintaxe-semântica e na variação interlinguística.

Conceitos centrais

Condições de verdade

A questão fundamental da semântica formal é o que você sabe quando sabe como interpretar expressões de uma linguagem. Uma suposição comum é que saber o significado de uma frase requer o conhecimento de suas condições de verdade , ou em outras palavras, saber como o mundo deveria ser para que a frase fosse verdadeira. Por exemplo, para saber o significado da frase inglesa "Nancy smokes", é preciso saber que ela é verdadeira quando a pessoa que Nancy realiza a ação de fumar.

No entanto, muitas abordagens atuais da semântica formal postulam que há mais significado no significado do que condições de verdade. Na estrutura semântica formal da semântica inquisitiva , saber o significado de uma frase também requer saber quais questões (isto é, questões) ela levanta. Por exemplo, "Nancy fuma, mas ela bebe?" transmite a mesma informação condicional de verdade que o exemplo anterior, mas também levanta a questão de saber se Nancy bebe. Outras abordagens generalizam o conceito de condicionalidade de verdade ou tratam-no como epifenomenal. Por exemplo, em semântica dinâmica , saber o significado de uma frase equivale a saber como ela atualiza um contexto. Pietroski trata os significados como instruções para construir conceitos.

Composicionalidade

O Princípio da Composicionalidade é o pressuposto fundamental na semântica formal. Este princípio afirma que a denotação de uma expressão complexa é determinada pelas denotações de suas partes junto com seu modo de composição. Por exemplo, a denotação da frase em inglês "Nancy smokes" é determinada pelo significado de "Nancy", a denotação de "smokes" e quaisquer operações semânticas que combinem os significados dos sujeitos com os significados dos predicados . Em uma análise semântica simplificada, essa ideia seria formalizada postulando que "Nancy" denota a própria Nancy, enquanto "fuma" denota uma função que toma algum x individual como um argumento e retorna o valor de verdade "verdadeiro" se x de fato fumar. Assumindo que as palavras "Nancy" e "fuma" são semanticamente compostas por meio da aplicação de função , esta análise prediz que a frase como um todo é verdadeira se Nancy de fato fuma.

Fenômenos

Alcance

O escopo pode ser considerado a ordem semântica das operações. Por exemplo, na frase " Paulina não bebe cerveja, mas bebe vinho ", a proposição de que Paulina bebe cerveja ocorre no âmbito da negação , mas a proposição de que Paulina bebe vinho não. Uma das principais preocupações da pesquisa em semântica formal é a relação entre as posições sintáticas dos operadores e seu escopo semântico. Essa relação não é transparente, uma vez que o escopo de um operador não precisa corresponder diretamente à sua posição de superfície e uma única forma de superfície pode ser semanticamente ambígua entre diferentes interpretações de escopo. Algumas teorias de escopo postulam um nível de estrutura sintática denominado forma lógica , em que a posição sintática de um item corresponde ao seu escopo semântico. Outras teorias calculam relações de escopo na própria semântica, usando ferramentas formais como deslocadores de tipo, mônadas e continuações .

Obrigatório

Vinculação é o fenômeno no qual elementos anafóricos , como pronomes, são gramaticalmente associados a seus antecedentes . Por exemplo, na frase em inglês "Mary se viu", a anáfora "ela mesma" é vinculada por seu antecedente "Mary". A vinculação pode ser licenciada ou bloqueada em certos contextos ou configurações sintáticas, por exemplo, o pronome "ela" não pode ser vinculado por "Mary" na frase em inglês "Mary a viu". Embora todas as linguagens tenham vinculação, as restrições a ela variam até mesmo entre as linguagens intimamente relacionadas. A vinculação era um fator importante para o paradigma da teoria do governo e da vinculação .

Modalidade

Modalidade é o fenômeno pelo qual a linguagem é usada para discutir cenários potencialmente não reais. Por exemplo, enquanto uma frase não modal como "Nancy fumou" faz uma afirmação sobre o mundo real, frases modalizadas como "Nancy pode ter fumado" ou "Se Nancy fumou, ficarei triste" fazem afirmações sobre cenários alternativos . As expressões mais intensamente estudadas incluem auxiliares modais como "poderia", "deveria" ou "deve"; advérbios modais como "possivelmente" ou "necessariamente"; e adjetivos modais como "concebível" e "provável". No entanto, componentes modais foram identificados nos significados de inúmeras expressões da linguagem natural, incluindo contrafactuais , atitudes proposicionais , evidências , habituais e genéricos. O tratamento padrão da modalidade linguística foi proposto por Angelika Kratzer na década de 1970, com base em uma tradição anterior de trabalho em lógica modal .

História

A semântica formal emergiu como uma área importante de pesquisa no início dos anos 1970, com o trabalho pioneiro do filósofo e lógico Richard Montague . Montague propôs um sistema formal agora conhecido como gramática Montague, que consistia em um novo formalismo sintático para o inglês, um sistema lógico denominado Lógica Intensional e um conjunto de regras de tradução homomórficas ligando os dois. Em retrospecto, a Gramática de Montague foi comparada a uma máquina de Rube Goldberg , mas foi considerada como algo estonteante quando proposta pela primeira vez, e muitos de seus insights fundamentais sobrevivem nos vários modelos semânticos que a substituíram.

Barbara Partee foi uma das fundadoras e principais contribuintes da área.

A Gramática de Montague foi um grande avanço porque mostrou que as linguagens naturais podiam ser tratadas como linguagens formais interpretadas . Antes de Montague, muitos linguistas duvidavam que isso fosse possível, e os lógicos daquela época tendiam a ver a lógica como um substituto para a linguagem natural, em vez de uma ferramenta para analisá-la. O trabalho de Montague foi publicado durante as Guerras da Lingüística , e muitos lingüistas ficaram inicialmente intrigados com ele. Enquanto os linguistas queriam uma teoria restritiva que só pudesse modelar fenômenos que ocorrem nas línguas humanas, Montague buscou uma estrutura flexível que caracterizasse o conceito de significado em sua forma mais geral. Numa conferência, Montague disse a Barbara Partee que ela era "a única linguista com quem não posso falar".

A semântica formal cresceu em um importante subcampo da linguística no final dos anos 1970 e início dos anos 1980, devido ao trabalho seminal de Barbara Partee. Partee desenvolveu um sistema linguisticamente plausível que incorporou os principais insights da Gramática Montague e da Gramática Transformacional . As primeiras pesquisas em semântica formal linguística usaram o sistema de Partee para obter uma riqueza de resultados empíricos e conceituais. Trabalhos posteriores de Irene Heim , Angelika Kratzer , Tanya Reinhart , Robert May e outros desenvolveram o trabalho de Partee para reconciliá-lo ainda mais com a abordagem generativa da sintaxe. A estrutura resultante é conhecida como sistema Heim e Kratzer , em homenagem aos autores do livro-texto Semantics in Generative Grammar, que o codificou e popularizou pela primeira vez. O sistema Heim e Kratzer difere das abordagens anteriores por incorporar um nível de representação sintática chamado forma lógica que sofre interpretação semântica. Assim, este sistema frequentemente inclui representações sintáticas e operações que foram introduzidas por regras de tradução no sistema de Montague. No entanto, trabalhos de outros, como Gerald Gazdar, propuseram modelos de interface sintaxe-semântica que ficaram mais próximos dos de Montague, fornecendo um sistema de interpretação no qual denotações poderiam ser calculadas com base em estruturas de superfície . Essas abordagens vivem em estruturas como a gramática categorial e a gramática categorial combinatória .

A semântica cognitiva surgiu como uma reação contra a semântica formal, mas recentemente houve várias tentativas de reconciliar ambas as posições.

Veja também

• Semântica alternativa
• Barbara Partee
• Composicionalidade
• Semântica computacional
• Teoria da representação do discurso
• Semântica dinâmica
• Semântica inquisitiva
• Filosofia da linguagem
• Pragmáticos
• Richard Montague
• Gramática montague

Referências

Leitura adicional

• Max Cresswell (2006). "Semântica formal". Em Michael Devitt, Richard Hanley (ed.). O guia Blackwell para a filosofia da linguagem . Wiley-Blackwell. ISBN 978-0-631-23142-4. Uma visão geral muito acessível das principais ideias na área.
• John I. Saeed (2008). Semântica . Apresentando a lingüística (3ª ed.). Wiley-Blackwell. ISBN 978-1-4051-5639-4. O Capítulo 10, Semântica formal, contém a melhor cobertura em nível de capítulo das principais orientações técnicas
• Johan van Benthem ; Alice Ter Meulen (2010). Handbook of Logic and Language (2ª ed.). Elsevier. ISBN 978-0-444-53726-3. A referência mais completa da área.
• Emmon W. Bach (1989). Aulas informais sobre semântica formal . SUNY Press. ISBN 978-0-88706-772-3.Um dos primeiros livros didáticos. Acessível para alunos de graduação.
• Ronnie Cann (1993). Semântica formal: uma introdução . Cambridge University Press. ISBN 978-0-521-37610-5.
• Irene Heim ; Angelika Kratzer (1998). Semântica na gramática gerativa . Wiley-Blackwell. ISBN 978-0-631-19713-3.
• Gennaro Chierchia; Sally McConnell-Ginet (2000). Significado e gramática: uma introdução à semântica (2ª ed.). MIT Press . ISBN 978-0-262-53164-1.
• Sean A. Fulop (2004). Sobre a lógica e a aprendizagem da língua . Trafford Publishing. ISBN 978-1-4120-2381-8.
• Glyn V. Morrill (1994). Tipo de gramática lógica: lógica categorial de signos . Springer. ISBN 978-0-7923-3095-0.
• Reinhard Muskens. Semântica de tipo lógico . Routledge Encyclopedia of Philosophy Online .
• Bob Carpenter (1998). Semântica de tipo lógico . MIT Press. ISBN 978-0-262-53149-8.
• Johan van Benthem (1995). Linguagem em ação: categorias, lambdas e lógica dinâmica . MIT Press. ISBN 978-0-262-72024-3.
• Barbara H. Partee . Reflexões de um semanticista formal em fevereiro de 2005. Informações históricas amplas. (Uma versão estendida do ensaio introdutório em Barbara H. Partee: Compositionality in Formal Semantics: Selected Papers of Barbara Partee. Blackwell Publishers, Oxford, 2004.)