Detalhes bibliográficos
Ano de defesa: |
2020 |
Autor(a) principal: |
Costa, David Gomes |
Orientador(a): |
Alves, Daniel Durante Pereira |
Banca de defesa: |
Não Informado pela instituição |
Tipo de documento: |
Tese
|
Tipo de acesso: |
Acesso aberto |
Idioma: |
por |
Instituição de defesa: |
Não Informado pela instituição
|
Programa de Pós-Graduação: |
PROGRAMA DE PÓS-GRADUAÇÃO EM FILOSOFIA
|
Departamento: |
Não Informado pela instituição
|
País: |
Brasil
|
Palavras-chave em Português: |
|
Área do conhecimento CNPq: |
|
Link de acesso: |
https://repositorio.ufrn.br/jspui/handle/123456789/29335
|
Resumo: |
Expressões quantificadoras estão na história da filosofia e da lógica pelo menos desde a criação do silogismo por Aristóteles. Outro momento central na história dessas expressões é o desenvolvimento do sistema formal do Begriffsschrift de Frege. Em seu trabalho, o autor inclui axiomas para quantificação sobre objetos individuais e conceitos. Sendo os quantificadores também um tipo de conceito, ele os denomina “conceitos de segundo nível”. Com o advento da teoria dos modelos (na década de 1950) a noção semântica de “interpretação” promove uma revolução copernicana neste campo de estudo e na maneira de definir os “conceitos” fregeanos, com ênfase nas expressões quantificadoras. Tal revolução não consiste simplesmente em uma nova forma de apresentar os quantificadores de Frege, mas possibilitou uma ampliação na variedade de quantificadores que podem ser implementados. Essa abertura a novas possibilidades é devida, basicamente, aos trabalhos de Mostowski (1957) e Lindström (1966) que desenvolvem a noção de quantificação generalizada. Existem, no entanto, limites tanto nessa implementação quanto na interpretação de certos quantificadores de línguas naturais. A dependência de uma expressão a um contexto é uma das barreiras que a linguagem natural impõe à lógica formal. Nesse sentido Grice em 1975 abre espaço em seu Logic and Conversation para um outro olhar sobre a “lógica da linguagem ordinária”. O presente trabalho se propõe a uma análise nas diversas tentativas de formalização de quantificadores em linguagens naturais. Partimos de uma abordagem que investigue aspectos lógicos e pragmáticos dos quantificadores. Visamos uma classificação de quantificadores que acreditamos ser capaz de elucidar questões sobre os limites de definições destas expressões. |