| Processo: | 09/06535-8 |
| Modalidade de apoio: | Bolsas no Brasil - Mestrado |
| Data de Início da vigência: | 01 de setembro de 2009 |
| Data de Término da vigência: | 31 de agosto de 2011 |
| Área de conhecimento: | Ciências Humanas - Filosofia - Lógica |
| Pesquisador responsável: | Maria Cláudia Cabrini Grácio |
| Beneficiário: | Kleidson Êglicio Carvalho da Silva Oliveira |
| Instituição Sede: | Faculdade de Filosofia e Ciências (FFC). Universidade Estadual Paulista (UNESP). Campus de Marília. Marília , SP, Brasil |
| Assunto(s): | Semântica |
| Palavra(s)-Chave do Pesquisador: | família fechada superiormente | Lógica do Muito | Lógica não-clássica | Lógicas moduladas | Quantificador generalizado | semântica | Lógica Não-clássica |
Resumo A busca pela formalização de alguns conceitos de quantificação da linguagem natural, tais como "muitos", "poucos", "maioria", "quase todos", entre outros, tem despertado o interesse de lógicos e lingüistas. A lógica clássica de primeira ordem não consegue formalizar esses conceitos; para isso alguns pesquisadores têm tratado com lógicas não-clássicas tentando formalizar e sistematizar tais conceitos em linguagens formais. Nesse contexto, uma das lógicas elaboradas consiste na lógica do "muito" de Grácio (1999) e Carnielli e Gracio (2008), um caso particular das lógicas moduladas introduzidas em Grácio (1999), que se utiliza de uma estrutura matemática denominada família fechada superiormente, para sua formalização matemática. Com base na lógica do muito, este trabalho trata da elaboração de um sistema lógico do pouco e a formulação semântica de uma estrutura matemática para representar a noção de "poucos". Analisar-se-á os aspectos duais entre a lógica do pouco construída e a lógica do muito. | |
| Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
| Mais itensMenos itens | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |