Símbolo (formal)

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Nuvola apps important.svg
A tradução deste artigo ou se(c)ção está abaixo da qualidade média aceitável.
É possível que tenha sido feita por um tradutor automático ou por alguém que não conhece bem o português ou a língua original do texto. Caso queira colaborar com a Wikipédia, tente encontrar a página original e melhore este artigo conforme o guia de tradução.
Ambox grammar.svg
Esta página ou secção precisa de correção ortográfico-gramatical.
Pode conter incorreções textuais, podendo ainda necessitar de melhoria em termos de vocabulário ou coesão, para atingir um nível de qualidade superior conforme o livro de estilo da Wikipédia. Se tem conhecimentos linguísticos, sinta-se à vontade para ajudar.
NoFonti.svg
Esta página ou secção cita fontes confiáveis e independentes, mas que não cobrem todo o conteúdo (desde junho de 2014). Por favor, adicione mais referências e insira-as corretamente no texto ou no rodapé. Material sem fontes poderá ser removido.
Encontre fontes: Google (notícias, livros e acadêmico)
Esse diagrama mostra a entidades sintáticas que pode ser construída a partir de linguagem_formalis. Os símbolos e cadeias de símbolos podem ser divididos em disparates e fórmulas bem formadas. Uma linguagem formal pode ser pensada como sendo idêntica ao conjunto de suas fórmulas bem formadas. O conjunto de fórmulas bem formadas pode ser dividido em teoremas e não teoremas.

Símbolo lógico é um conceito fundamental em lógica. Embora o termo "símbolo" normalmente em alguns momentos com a ideia de ser simbolizado, e em outros momentos para as marcas em um pedaço de papel ou quadro-negro, que estão sendo usados ​​para expressar essa ideia, no linguagem formal s estudados em matemática e lógica, o termo "simbolo" refere-se a ideia, e as marcas são consideradas ser uma símbolo instância do símbolo. Na lógica, símbolos utilitário de construção literal para ilustrar ideias.

Símbolos de uma linguagem formal não precisa ser símbolos de nada. Por exemplo, há constantes lógicas que não se referem a qualquer ideia, mas sim servir como uma forma de pontuação na língua (por exemplo, parênteses). Os símbolos de uma linguagem formal deve ser capaz de ser especificado sem qualquer referência a qualquer interpretação deles.

Um símbolo ou string de símbolos pode compreender um fórmulas bem formadas se for compatível com o regra de formação da linguagem.

Em sistema formal um símbolo pode ser usada como um sinal em operações formais. O conjunto de símbolos formais de linguagem formal é referida como um alfabeto (daí cada símbolo pode ser referida como uma "carta")[1]

Um símbolo formal, como usado em lógica de primeira ordem pode ser uma variável (membro de um universo de discurso), uma constante, uma função (mapeamento para outro membro do universo) ou predicado (mapeando para T/F).

Símbolos formais são geralmente consideradas como puramente sintaxe (lógica) estruturas sintáticas, composto em estruturas maiores, usando uma gramática formal, embora às vezes eles podem ser associados a uma interpretação ou modelo (a semântica formal).

Palavras pode ser modelado como símbolos formais?[editar | editar código-fonte]

A mudança para visualizar unidades em linguagem natural (por exemplo, em Inglês) como símbolos formais foi iniciado por Noam Chomsky (que foi esse trabalho que resultou na hierarquia de Chomsky em linguagens formais). A gramática gerativa modelo encarado como sintaxe autônoma de semântica. Com base nesses modelos, o lógico Richard Montague propôs que a semântica também pode ser construído em cima da estrutura formal:

Não há, na minha opinião nenhuma diferença teórica importante entre línguas naturais e as línguas artificiais de lógicos, na verdade, eu considero que seja possível compreender a sintaxe e a semântica de ambos os tipos de linguagem dentro de uma única teoria natural e matematicamente preciso. Neste ponto, diferem de uma série de filósofos, mas concordo, eu acredito que, com Chomsky e seus associados ".[2]

Esta é a premissa filosófica subjacente Montague gramática.

No entanto, esta tentativa de equiparar símbolos linguísticos com os símbolos formais tem sido amplamente contestada, particularmente na tradição de linguística cognitiva, por filósofos, como Stevan Harnad, e linguistas, como George Lakoff e Ronald Langacker.

Referências

  1. John Hopcroft, Rajeev Motwani e Jeffrey Ullman, Introduction to Automata Theory, Languages, and Computation, 2000
  2. Richard Montague, Gramática Universal, 1970.

Ver também[editar | editar código-fonte]