Semantica Modal
Mostrando 1-12 de 17 artigos, teses e dissertações.
-
1. PARADOXOS DA LÓGICA DEÔNTICA: INDÍCIOS DE UM EQUÍVOCO
RESUMO De acordo com a teoria das funções de verdade, a verdade/falsidade de uma proposição é computável a partir da verdade/falsidade das suas proposições “internas”: para cada proposição (composta) há uma função (a respectiva) entre valores de verdade. Aplicada a proposições modais, origina a semântica dos mundos possíveis e, aplicada
Kriterion. Publicado em: 2017-12
-
2. O predicativo e seu papel modalizador / Predicative and his modalizator profile
This paper aims to discuss about the expressive semantic-predicative potential, and his modalizator profile. We see this syntactic function as a modalizating element "in essence, because, in many cases, the speaker can show his/her opinion using it, connected with lexical convenient choices. In many parts of the dissertation, semantics and stylistics can bet
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/04/2012
-
3. O ser aí e a instância de produção dos conceitos e enunciados filosóficos em ser e tempo / The being-there and the production instance of the concepts and points of philosophy in being and time
O presente trabalho possui como objetivo central investigar a teoria acerca da origem da significação, presente na obra Ser e tempo, de Martin Heidegger, procurando mostrar em que medida a significação dos entes traz consigo a interpretação do conhecimento teórico como sendo uma transformação modal da relação semântica em que se movimenta mediana
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/02/2011
-
4. Reconhecimento de fala em idosos: elaboração e aplicação de um teste considerando a previsibilidade da palavra. / Speech Recognition in elderly: elaboration and application of a test considering the word predictability.
Objetivo: Elaborar e verificar a eficácia de um instrumento de avaliação do reconhecimento de fala, quando a previsibilidade da palavra é considerada, em idosos com e sem perda auditiva. Métodos: Para a elaboração do instrumento, inicialmente as palavras foram provenientes de um corpus na Língua Portuguesa. Foi aplicado um teste de concretude e um te
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/01/2011
-
5. Modalidade e modalização : uma interface sintático-semântica em português brasileiro, inglês e romeno
O presente trabalho tem por objetivo, por meio de um recorte teórico da Sintaxe Gerativa e da Semântica Formal em interface, promover a comparação entre três línguas: o português brasileiro, o inglês e o romeno, no que concerne a noção de modalidade. Este trabalho é divido em três partes principais: a primeira elabora fundamentos da Sintaxe Gerat
Publicado em: 2011
-
6. A semântica dos verbos dativos em inglês e em português : propriedades e questões
Em português, assim com em outra linguas românicas, certos complementos verbais – especialmente quando governados pelas preposições para ou a (ambas usualmente traduzidas por to ou for) – podem ser convertidas no que alguns gramáticos tradicionais chamam de ''pronomes dativos'', como em A Maria lhe deu um livro. Chamaremos essa contrução de dativi
Publicado em: 2011
-
7. Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais / Descriptive complexity of the logic of higher order with lower fixed point and analysis of expression of some modal logics
Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados mais conhecid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/08/2010
-
8. Algebraic semantics for modal logics and its philosophical interest / A semantica algebrica para as logicas modais e seu interesse filosofico
No século XX tivemos um considerável avanço sobre o entendimento formal do significado das modalidades. Os trabalhos de Jónsson, McKinsey e Tarski na década de quarenta permitiram a construção dos resultados de completude algébrica para os sistemas modais. Estes resultados, porém, não receberam a devida atenção. Na década de cinqüenta, Kripke p
Publicado em: 2008
-
9. Investigações sobre raciocínio e aprendizagem temporal em modelos conexionistas / Investigations about temporal reasoning and learning in connectionist models
A inteligência computacional é considerada por diferentes autores da atualidade como o destino manifesto da Ciência da Computação. A modelagem de diversos aspectos da cognição, tais como aprendizagem e raciocínio, tem sido a motivação para o desenvolvimento dos paradigmas simbólico e conexionista da inteligência artificial e, mais recentemente, p
Publicado em: 2008
-
10. A alternÃncia do indicativo/subjuntivo nas oraÃÃes substantivas em funÃÃo dos tempos verbais presente e imperfeito na lingua falada do cariri / The Indicative Alternation/Subjuntivo In Substantive conjuncts In Function Of the Verbal Times Present and Imperfect In the Said Language Of the Cariri
RESUMO Investigamos neste estudo a alternÃncia dos modos indicativo e subjuntivo na lÃngua falada do Cariri, regiÃo que fica ao sul do estado do CearÃ. Utilizamos o corpus do Projeto PortuguÃs nÃo-padrÃo do CearÃ, sediado no Programa de PÃs-GraduaÃÃo em LingÃÃstica da Universidade Federal do CearÃ. O objetivo central dessa investigaÃÃo à cap
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 03/12/2007
-
11. ClassificaÃÃo supervisionada usando dados simbÃlicos de semÃntica modal
The Symbolic Data Analysis (SDA) is a domain in the area of automatic discovery of knowledge that it aims at to develop methods for described data for variables that can assume as value lists of categories, intervals or distributions of probability. These variables allow to take in account the variability and/or uncertainty present in the data. This work pre
Publicado em: 2007
-
12. Aspecto progressivo : um modal epistêmico?
Esta pesquisa procurou demonstrar que o aspecto progressivo representa a opção disponibilizada pela língua portuguesa para que o falante, diante de determinadas situações, possa se referir apenas ao fragmento manifesto, revelando, assim, o seu desejo de se comprometer somente com a parte da verdade evidenciada pela situação. Quando uma situação é a
Publicado em: 2007