Navegando por Autor "Costa, David Gomes"
Agora exibindo 1 - 2 de 2
- Resultados por página
- Opções de Ordenação
Tese Uma abordagem semântico-pragmática para classificação e definição de quantificadores(2020-02-28) Costa, David Gomes; Alves, Daniel Durante Pereira; ; ; Silva, Adriano Marques da; ; Pontes, André Nascimento; ; Feitosa, Hércules de Araújo; ; Gorsky, Samir Bezerra;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.Dissertação Sistemas de lógica modal em dedução natural(Universidade Federal do Rio Grande do Norte, 2010-01-15) Costa, David Gomes; Medeiros, Maria da Paz Nunes de; ; http://lattes.cnpq.br/1201435944432572; ; http://lattes.cnpq.br/5393340009943598; Moura, José Eduardo de Almeida; ; http://lattes.cnpq.br/8344744432173365; Pereira, Luiz Carlos Pinheiro Dias; ; http://lattes.cnpq.br/8418729116626386A formalização de sistemas de lógica em dedução natural traz muitas vantagens meta-teoréticas, das quais é sempre destacada a prova de normalização. Os sistemas de lógica modal até bem recentemente não eram costumeiramente tratados pelo viés da dedução natural, contudo algumas formulações, provas de normalização e tentativas de provas surgiram. Esse trabalho é uma apresentação de alguns sistemas importantes de lógica modal em dedução natural já existentes, e de alguns procedimentos de normalização para eles, mas é também, e principalmente, a apresentação de uma hierarquia de sistemas de lógica modal em Dedução Natural do sistema K ao sistema S5 e um esquema da prova de normalização do sistema K, que é modelo para a normalização nos outros sistemas