Made available in DSpace on 2015-04-14T13:55:09Z (GMT). No. of bitstreams: 1 433557.pdf: 651443 bytes, checksum: 6395d825ca0c362474b1c94890bb8218 (MD5) Previous issue date: 2011-08-30 / O objetivo do texto consiste em demonstrar que a Sem?ntica formal, enquanto campo de articula??o entre L?gica e Ontologia, exige sua fundamenta??o em uma Antropologia. Para isto ser? necess?rio demonstrar que a distin??o entre fundamento relativo e absoluto conduz a Sem?ntica formal ao modo de fundamenta??o da fenomenologia de Heidegger. Isto significa que, ao inv?s de apenas fornecer controle anal?tico ao m?todo fenomenol?gico de Heidegger, a Sem?ntica formal tamb?m inverte a rela??o de implica??o entre ambos os m?todos, de tal modo que o pr?prio m?todo anal?tico ? que acaba suplementado pelo m?todo fenomenol?gico. Portanto, o que Tugendhat n?o teria percebido ? que a diferencia??o entre fundamento relativo e absoluto, entre fundamento sem?ntico-ontol?gico e fundamento fenomenol?gico, introduz no cerne de sua filosofia a distin??o heideggeriana entre fundamento ?ntico e ontol?gico, isto ?, a diferen?a ontol?gica. Assim, para demonstrar nossa tese, deveremos tomar a circularidade entre o fundamento nos estados-de-?nimo e o fundamento nas regras sem?ntico-formais para senten?as assert?ricos como campo de articula??o entre L?gica e Ontologia com a Antropologia. Para isto, precisaremos tomar o conjunto de regras elaboradas por Tugendhat para a verifica??o de enunciados assert?ricos e demonstrar que, tal como a rela??o est?vel entre um sujeito e um objeto no espa?o ou no tempo permite a constru??o de um sistema de refer?ncias a partir do qual a objetualidade pode ser estabelecida, assim tamb?m uma rela??o comportamental est?vel entre o sujeito e um sistema de regras objetivas permite o surgimento do sistema de refer?ncias pr?ticocomportamental a consci?ncia.

Made available in DSpace on 2015-04-14T13:55:15Z (GMT). No. of bitstreams: 1 441496.pdf: 919646 bytes, checksum: 53624bf83cf7032055834f562bdf438b (MD5) Previous issue date: 2012-08-13 / The dissertation aims to explain the so called Preface Paradox , and also evaluate some of the main solutions found in the literature about it. The Preface Paradox is a situation in which somebody has some set of seemingly rational inconsistent beliefs. Because consistency is considered a fundamental condition of rationality, the paradox has received some attention from the philosophical community, since it was first brought to public knowledge. I also try to show that the paradox can be generalized, and that it points at a important and hard problem / Esta disserta??o visa a explicar o problema conhecido como Paradoxo do Pref?cio e tamb?m avaliar algumas das principais solu??es sugeridas na literatura sobre o assunto. O Paradoxo do Pref?cio ? uma situa??o na qual, aparentemente, uma pessoa possui um conjunto de cren?as inconsistentes e racionais. Como a consist?ncia ? considerada um dos requisitos mais b?sicos e fundamentais da racionalidade, o paradoxo tem recebido aten??o crescente e suscitado rea??es diversas desde que foi, pela primeira vez, trazido a p?blico. Ao longo da disserta??o, tamb?m procuro mostrar que o paradoxo pode ser generalizado e que aponta para um problema importante e de dif?cil solu??o.

Made available in DSpace on 2015-04-14T13:56:19Z (GMT). No. of bitstreams: 1 423824.pdf: 6424309 bytes, checksum: 1f3b110bca0fe71d61e0581ebee127c5 (MD5) Previous issue date: 2010-03-29 / A correta determina??o de causas de desligamentos n?o programados ? fundamental para as empresas de energia definirem prioridades de investimento em melhorias no sistema el?trico. Dessa maneira, ? poss?vel evitar perdas e aperfei?oar a qualidade do servi?o de fornecimento. Esta disserta??o aborda um m?todo para a identifica??o de causas de interrup??es for?adas utilizando um sistema integrado de modelos baseados em l?gica fuzzy e Redes Bayesianas (RB). Para a etapa de treino da RB e estabelecimento de regras no dom?nio fuzzy, apresenta-se a an?lise de um banco de dados tratado com t?cnicas de Knowledge Discovery in Databases (KDD), permitindo o mapeamento de vari?veis de entradas e sa?das dos dados. Este mapeamento comp?s uma base de conhecimentos, possibilitando agrupar dados de forma a visualizar o padr?o de sobrecarga coerente com um sistema el?trico. O bloco fuzzy avalia eventos com maiores recorr?ncias, utilizando como par?metro valores m?nimos de aceita??o da resposta, e o bloco RB estima as causas dos demais eventos, priorizando as respostas que se consideram com baixa incerteza. Com o m?todo split-half a partir de 8.000 eventos, o sistema integrado se mostrou eficiente com o erro resultante de 5,94%. Apresentam-se outras an?lises visando a minimizar o erro de estima??o de causas, atrav?s da amplia??o do n?mero de vari?veis de entrada e o descarte de eventos com sa?das m?ltiplas. Ap?s o descarte, obteve-se um total de 15.994 eventos, sendo que para esta amostra, o erro final de identifica??o pela RB foi reduzido de 15,94% para 4,60%. Considerando 172 registros, com a inclus?o de tr?s vari?veis de entrada na base de dados, o erro na RB foi reduzido de 5,81% para 1,16%. Tamb?m se verifica que o comportamento do sistema ao avaliar dados incoerentes resultou em erro de 84,38%, mostrando-se a aplicabilidade em detectar registros sem caracter?sticas com um sistema el?trico. Por essas an?lises, a metodologia proposta mostrou-se eficaz na determina??o de causas de desligamentos n?o programados.

Submitted by Caroline Xavier (caroline.xavier@pucrs.br) on 2017-11-07T12:12:24Z No. of bitstreams: 1 DIS_EZEQUIEL_DAL_POZZO_COMPLETO.pdf: 930553 bytes, checksum: 17d13deabae02a044037522062a7d98f (MD5) / Approved for entry into archive by Caroline Xavier (caroline.xavier@pucrs.br) on 2017-11-07T12:12:38Z (GMT) No. of bitstreams: 1 DIS_EZEQUIEL_DAL_POZZO_COMPLETO.pdf: 930553 bytes, checksum: 17d13deabae02a044037522062a7d98f (MD5) / Made available in DSpace on 2017-11-07T12:12:50Z (GMT). No. of bitstreams: 1 DIS_EZEQUIEL_DAL_POZZO_COMPLETO.pdf: 930553 bytes, checksum: 17d13deabae02a044037522062a7d98f (MD5) Previous issue date: 2017-08-31 / Evil has always been a problem that has given both philosophy and religions thinking. This task is not finished. We will here reflect the problem of evil in its condition of inevitability, sustained in the finitude and limit of the reality of creation itself. We will depart from evil as a reality that affects every human being, independent of his beliefs, demystifying the classic dilemma of Epicurus. Through the concept of pisteodic?ia we will perceive that each person, group, or religion will find its answers and ways of dealing with evil. To speak of theodicy we will distinguish the "short way" and the "long way". The first portrays the traditional view of theology, where, even in the contradiction between arguments, it helps to maintain trust in God despite evil. The "long way" wants to show a logical faith, with coherence of arguments. It wants to guarantee the reasonableness of theodicy, built from the assumption of the autonomy of terrestrial realities demonstrating the action of God Love in the world, as Antimal. This continued action guarantees the creature, not the elimination of all evils in this world, but the fullness of eternity. This itinerary makes it possible to rethink various theological theories, among them original sin, the miracle, the holocaust and hell, as well as a new image of God translated into new language. / O mal sempre foi tema para discuss?es e reflex?es tanto para a filosofia, quanto para as religi?es. Essa tarefa n?o est? acabada. Refletiremos aqui o problema do mal em sua condi??o de inevitabilidade, sustentada na finitude e no limite da pr?pria realidade da cria??o. Partiremos do mal como uma realidade que afeta todo ser humano, independente de suas cren?as, desmistificando o cl?ssico dilema de Epicuro. Atrav?s do conceito de pisteodic?ia perceberemos que cada pessoa, grupo ou religi?o vai encontrando suas respostas e maneiras de lidar com o mal. Para falar de teodiceia distinguiremos a ?via curta? e a ?via longa?. A primeira retrata a vis?o tradicional da teologia, em que mesmo na contradi??o entre os argumentos, ajuda a manter a confian?a em Deus, apesar do mal. A ?via longa? quer mostrar uma f? l?gica, com coer?ncia de argumentos. Quer garantir a razoabilidade da teodiceia, constru?da a partir do pressuposto da autonomia das realidades terrestres demostrando a a??o do Deus Amor no mundo, como Antimal. Essa a??o continuada garante a criatura, n?o a elimina??o de todos os males nesse mundo, mas a plenitude da eternidade. Esse itiner?rio possibilita repensarmos v?rios termos teol?gicos, entre eles, o pecado original, o milagre, o holocausto e o inferno, assim como permite uma nova imagem de Deus, traduzida tamb?m em linguagem nova.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-04-18T11:41:31Z No. of bitstreams: 1 DIS_JOAO_PAULO_DE_SOUZA_AIRES_COMPLETO.pdf: 962726 bytes, checksum: 42f46ef4c73e4f45496827e72b7fbf27 (MD5) / Made available in DSpace on 2016-04-18T11:41:31Z (GMT). No. of bitstreams: 1 DIS_JOAO_PAULO_DE_SOUZA_AIRES_COMPLETO.pdf: 962726 bytes, checksum: 42f46ef4c73e4f45496827e72b7fbf27 (MD5) Previous issue date: 2015-08-07 / Contracts formally represent agreements between parties and often involve the exchange of goods and services. In contracts, norms define the expected behaviors of the parties using deontic statements, such as obligations, permissions, and prohibitions. However, norms may conflict invalidating themselves and producing a contract inconsistency. A conflict arises when two or more norms are applied to the same context but have different deontic statements, such as permissions x obligations and prohibitions x obligations. The identification of such conflicts is often made by humans, which makes the task time consuming and error-prone. In order to automate such identification, in this work we propose an approach to identify potential conflicts between norms in contracts written in natural language. We build a two-phase approach that extracts norms and norm elements from contracts, creating a norm representation that we use to compare norms and identify potential conflicts. We evaluated the approach using a corpus of contracts with norm conflicts inserted, and we measured the accuracy for different cases of conflict, which resulted on values higher than 70%. / Contratos s?o utilizados para formalizar acordos envolvendo troca de bens e servi?os entre duas ou mais partes. Eles definem a??es esperadas durante o per?odo de vig?ncia do contrato atrav?s de normas. Tais normas seguem conceitos baseados em l?gica de?ntica, definindo permiss?es, proibi??es e obriga??es. No entanto, conflitos podem ser gerados quando duas normas s?o aplicadas a um mesmo contexto tendo sentidos de?nticos diferentes, como a proibi??o e a obriga??o da realiza??o de uma mesma a??o. Estes conflitos invalidam as normas e criam uma inconsist?ncia para o contrato. Para evit?-los ? necess?rio que um revisor leia as normas e encontre quais apresentam elementos conflitantes. Uma vez que contratos podem ser longos e complexos, esta tarefa consome tempo e ? pass?vel de erro humano. Para automatizar o processo de identifica??o de conflitos, neste trabalho criamos uma abordagem que busca identificar potenciais conflitos entre normas atrav?s da compara??o de suas estruturas. Nossa abordagem ? dividida em duas fases: na primeira, identificamos as normas e seus elementos dentro de um contrato; na segunda, utilizamos os elementos extra?dos para comparar diferentes normas e identificar quais apresentam caracter?sticas de um conflito normativo. N?s avaliamos a abordagem aplicando-a em contratos contendo conflitos e obtivemos resultados com acur?cia superior a 70%.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-04-25T21:18:31Z No. of bitstreams: 1 LucasMartorelliGondimLuz_DISSERT.pdf: 1583842 bytes, checksum: df20ff101760de2e1c9cd23c387cd2ea (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-04-27T19:40:20Z (GMT) No. of bitstreams: 1 LucasMartorelliGondimLuz_DISSERT.pdf: 1583842 bytes, checksum: df20ff101760de2e1c9cd23c387cd2ea (MD5) / Made available in DSpace on 2016-04-27T19:40:20Z (GMT). No. of bitstreams: 1 LucasMartorelliGondimLuz_DISSERT.pdf: 1583842 bytes, checksum: df20ff101760de2e1c9cd23c387cd2ea (MD5) Previous issue date: 2014-09-15 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico (CNPq) / Este trabalho apresenta uma aplica??o multicrit?rio h?brida Fuzzy-ELECTRETOPSIS para o problema de sele??o de Servi?os de Computa??o em Nuvem. A pesquisa foi de car?ter explorat?rio, utilizando de um Estudo de Caso, baseado nas exig?ncias reais de profissionais da ?rea de Computa??o em Nuvem. A obten??o dos resultados foi feita a partir da condu??o de Experimento alinhado ao Estudo de Caso, utilizando o perfil distinto de tr?s decisores, para tal, utilizou-se o m?todo Fuzzy-TOPSIS e Fuzzy-ELECTRETOPSIS para obten??o destes resultados e compara??o entre eles. A solu??o contempla a Teoria dos conjuntos Fuzzy, para assim poder suportar informa??es de car?ter impreciso ou subjetivo, facilitando assim a interpreta??o do julgamento do decisor no processo de tomada de decis?o. Os resultados obtidos mostram que ambos os m?todos foram capaz de classificar as alternativas existentes no problema da maneira esperada, por?m o m?todo Fuzzy-ELECTRE-TOPSIS foi capaz de atenuar o car?ter compensat?rio existente no m?todo Fuzzy-TOPSIS, resultando na ordena??o diferenciada das alternativas existentes no problema de decis?o. A atenua??o do car?ter compensat?rio destacou-se de maneira positiva dentro do problema abordado, pois valorizou alternativas mais balanceadas que o m?todo Fuzzy-TOPSIS, um fator que foi comprovado como importante na valida??o do estudo, visto que para composi??o de um mix de servi?o as alternativas mais balanceadas constituem um mix mais consistente ao se trabalhar com restri??es. / This work presents an application of a hybrid Fuzzy-ELECTRE-TOPSIS multicriteria approach for a Cloud Computing Service selection problem. The research was exploratory, using a case of study based on the actual requirements of professionals in the field of Cloud Computing. The results were obtained by conducting an experiment aligned with a Case of Study using the distinct profile of three decision makers, for that, we used the Fuzzy-TOPSIS and Fuzzy-ELECTRE-TOPSIS methods to obtain the results and compare them. The solution includes the Fuzzy sets theory, in a way it could support inaccurate or subjective information, thus facilitating the interpretation of the decision maker judgment in the decision-making process. The results show that both methods were able to rank the alternatives from the problem as expected, but the Fuzzy-ELECTRE-TOPSIS method was able to attenuate the compensatory character existing in the Fuzzy-TOPSIS method, resulting in a different alternative ranking. The attenuation of the compensatory character stood out in a positive way at ranking the alternatives, because it prioritized more balanced alternatives than the Fuzzy-TOPSIS method, a factor that has been proven as important at the validation of the Case of Study, since for the composition of a mix of services, balanced alternatives form a more consistent mix when working with restrictions.

Made available in DSpace on 2014-12-17T14:58:12Z (GMT). No. of bitstreams: 1 MarceloCT_DISSERT.pdf: 4272420 bytes, checksum: 469b4a24c24115a993cb7e2dfb5e568a (MD5) Previous issue date: 2011-08-03 / Electro-hydraulic servo-systems are widely employed in industrial applications such as robotic manipulators, active suspensions, precision machine tools and aerospace systems. They provide many advantages over electric motors, including high force to weight ratio, fast response time and compact size. However, precise control of electro-hydraulic systems, due to their inherent nonlinear characteristics, cannot be easily obtained with conventional linear controllers. Most flow control valves can also exhibit some hard nonlinearities such as deadzone due to valve spool overlap on the passage?s orifice of the fluid. This work describes the development of a nonlinear controller based on the feedback linearization method and including a fuzzy compensation scheme for an electro-hydraulic actuated system with unknown dead-band. Numerical results are presented in order to demonstrate the control system performance / Sistemas eletroidr?ulicos s?o amplamente utilizados em aplica??es industriais, tais como manipuladores rob?ticos, suspens?es ativas, m?quinas ferramentas de precis?o e sistemas aeroespaciais. Eles oferecem muitas vantagens sobre os motores el?tricos, incluindo alta for?a em rela??o ao peso, tempo de resposta r?pido e tamanho compacto. No entanto, o controle preciso de sistemas eletroidr?ulicos, devido ? sua inerente caracter?stica n?o linear, n?o pode ser facilmente obtido com os controladores lineares convencionais. Hoje em dia, gra?as ao desenvolvimento da Teoria da Estabilidade, proposta pelo matem?tico russo Lyapunov, e com os avan?os da tecnologia computacional, as t?cnicas de controle n?o linear v?m sendo cada vez mais utilizadas. A maioria das v?lvulas de controle de fluxo, al?m de possuir as n?o linearidades comuns geradas pela compressibilidade do fluido, tamb?m podem apresentar algumas n?o linearidades, como a zona morta devido ? sobreposi??o do carretel da v?lvula no orif?cio de passagem do fluido, impedindo o escoamento mesmo para um pequeno deslocamento do carretel, degradando a performance do controlador e gerando instabilidade no sistema em malha fechada. Este trabalho descreve o desenvolvimento de um controlador n?o linear, baseado no m?todo de lineariza??o por realimenta??o com a inclus?o de uma estrat?gia de compensa??o difusa implementada matematicamente na din?mica do modelo de um sistema acionado eletroidraulicamente com banda morta desconhecida. Resultados num?ricos s?o apresentados para demonstrar o desempenho do sistema de controle

Made available in DSpace on 2014-12-17T15:12:07Z (GMT). No. of bitstreams: 1 MariaJoseCSV .pdf: 1869360 bytes, checksum: 04bf85774d6a72cfbffe74b544a35684 (MD5) Previous issue date: 2007-10-31 / The philosophical discussion has been present throughout the whole history of reason, for philosophy and reason have been always closely linked. In the following work, Reason, origin, crises and contemporary answers I go into the history of the rational and demonstrative thought, focusing on how rationality can be thought about in contemporary philosophy. To answer this question I discuss the principle of philosophy, the mythical period and the thoughts of Heraclito , Parmenides , Plato and Aristotle in relation to reason and rationality. Also discussed is the medieval period and the philosophical use of logic and the criticism of Aristotle s thoughts, especially focusing on the criticism of Hegel and Luckasiewicz of the non contradiction principle. Lastly I discuss the development of reason in present day philosophy, mainly how modern logics could be putting at stake Aristotle s model of reason / A discuss?o que permeia a hist?ria da raz?o ? o debate filos?fico por excel?ncia, uma vez que raz?o e filosofia andam juntas. Assim, em Raz?o - origem, crise e respostas contempor?neas, o objetivo desta pesquisa se d? a partir de olhares na hist?ria do desenvolvimento do pensamento racional e demonstrativo. Com esses olhares problematizaremos como se pode pensar na filosofia contempor?nea a racionalidade. Quais os princ?pios de racionalidade norteiam a nossa no??o atual de raz?o? Para buscar respostas retornaremos ao princ?pio da filosofia, passaremos pela fase dos mitos, analisaremos as contribui??es de Her?clito e Parm?nides as primeiras concep??es de raz?o e veremos os desdobramentos destas com Plat?o e Arist?teles. Este ?ltimo sendo o personagem desse desenvolvimento da racionalidade antiga. A partir da? entram em cena os medievais e o uso filos?fico da l?gica, por conseguinte discutiremos as vozes questionadoras ao pensamento aristot?lico, Hegel e sua cr?tica ao princ?pio de n?o-contradi??o, assim como as indaga??es e cr?ticas de Lukasiewicz. Nessa perspectiva veremos o est?gio atual do desenvolvimento da raz?o, com as l?gicas modernas que se contrap?em ao modelo de raz?o pautado por Arist?teles e desse modo consideraremos como pensar a racionalidade nos dias atuais

Made available in DSpace on 2014-12-17T15:12:16Z (GMT). No. of bitstreams: 1 RicardoGAP_DISSERT.pdf: 757603 bytes, checksum: bfeae294ee68b7c0f314886fbbd624fb (MD5) Previous issue date: 2012-10-02 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The following work is to interpret and analyze the problem of induction under a vision founded on set theory and probability theory as a basis for solution of its negative philosophical implications related to the systems of inductive logic in general. Due to the importance of the problem and the relatively recent developments in these fields of knowledge (early 20th century), as well as the visible relations between them and the process of inductive inference, it has been opened a field of relatively unexplored and promising possibilities. The key point of the study consists in modeling the information acquisition process using concepts of set theory, followed by a treatment using probability theory. Throughout the study it was identified as a major obstacle to the probabilistic justification, both: the problem of defining the concept of probability and that of rationality, as well as the subtle connection between the two. This finding called for a greater care in choosing the criterion of rationality to be considered in order to facilitate the treatment of the problem through such specific situations, but without losing their original characteristics so that the conclusions can be extended to classic cases such as the question about the continuity of the sunrise / O seguinte trabalho consiste na interpreta??o e an?lise do problema da indu??o sob uma vis?o fundamentada em teoria de conjuntos e teoria de probabilidades como base para a solu??o de suas implica??es filos?ficas negativas relativas aos sistemas de l?gica indutiva de maneira geral. Devido ? import?ncia do problema e aos desenvolvimentos recentes nos referidos campos de conhecimento (in?cio do s?culo 20), bem como ?s rela??es vis?veis entre eles e o processo de infer?ncia indutivo, tem-se aberto um campo de possibilidades relativamente inexplorado e promissor. O ponto-chave para o estudo consiste na modelagem do processo de aquisi??o de informa??o usando conceitos de teoria de conjuntos, seguido por um tratamento usando teoria de probabilidades. Ao longo do estudo foi poss?vel identificar, como obst?culos principais ? justifica??o probabil?stica, tanto o problema da defini??o do conceito de probabilidade quanto do de racionalidade, al?m da sutil conex?o entre ambos. Essa constata??o permitiu um maior cuidado na escolha do crit?rio de racionalidade a ser considerado no intuito de viabilizar o tratamento do problema por meio de situa??es-exemplo espec?ficas, mas sem a perda de suas caracter?sticas originais, de modo que as conclus?es obtidas possam ser estendidas a casos cl?ssicos como o relativo ? d?vida sobre a continuidade do nascer do sol

Made available in DSpace on 2014-12-17T15:37:16Z (GMT). No. of bitstreams: 1 JordanaCB_DISSERT.pdf: 1974696 bytes, checksum: 07b987e745ca9340a2f8e2dcb47caf8b (MD5) Previous issue date: 2012-12-19 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / Natural selection shapes body and behavior of each species. For primates, the social environment constituted one of the greatest selective pressure for the development of their cognition. When we consider gender differences, we see that sexual selection also operates through different selective pressures for men and women not only in physical terms but in terms of cognitive skills. Among these, the primary cognitive abilities - that emerge naturally - and secondary - that rely on an artificial environment for learning - develop differently for each sex, making them suitable for specific tasks in different capacities. Previous studies utilized the Wason Selection Test a conditional logic tool - to measure, among several other things, the ability to recognize violation of rules in abstract contexts and social contexts. Subjects generally had better performance in the latter, however, in these studies possible differences motivated by learning in formal logic or genre were not considered. Our study investigated these two variables, as well as the time spent to solve each task. Furthermore, we used an index to take into account the rights and wrongs of the participants in tasks. We realized that although learning in formal logic does not bring significant differences in solving tests, the gender differences are strongly observed when we consider the social contexts and abstract. Women perform better in social tasks. This can be explained due to different sexual selective pressures for this gender in terms of one-on-one relationships within the group. Men are better at tasks of abstract context and this is probably due to the same reason. Their capabilities for territory defense, habitat navigation and forming coalitions depends on primary cognitive abilities that support secondary cognitive skills of abstraction. Thus, gender differences are a factor to be taken into account in controlling future experiments with the same tool / A sele??o natural molda o corpo e o comportamento de cada esp?cie. Para os primatas, o ambiente social constituiu uma das maiores press?es seletivas para o desenvolvimento da sua cogni??o. Quando consideramos as diferen?as de g?nero, vemos que a sele??o sexual tamb?m atua atrav?s de diferentes press?es seletivas para homens e mulheres n?o s? em termos f?sicos, mas em termos de habilidades cognitivas. Dentre estas, as habilidades cognitivas prim?rias - que emergem naturalmente - e secund?rias - que dependem de um ambiente artificial de aprendizagem - se desenvolvem de forma diferente para cada sexo, tornando-os aptos para capacidades distintas em tarefas espec?ficas. Estudos anteriores utilizaram a ferramenta de l?gica condicional Teste de Sele??o de Wason para medir, dentre v?rias outros aspectos, a capacidade de reconhecimento de viola??o de regras em contextos abstratos e em contextos sociais. Os sujeitos em geral tinham um melhor desempenho neste ?ltimo, entretanto, em tais estudos n?o foram consideradas poss?veis diferen?as motivadas por aprendizagem em l?gica formal ou g?nero. Nosso trabalho investigou essas duas vari?veis, bem como o tempo gasto para a resolu??o de cada tarefa. Al?m disso, utilizamos um ?ndice para levar em conta os acertos e erros dos participantes nas tarefas. Percebemos que, embora a aprendizagem formal em l?gica n?o traga diferen?as significativas na resolu??o dos testes, as diferen?as de g?nero s?o fortemente observadas quando levamos em conta os contextos social e abstrato. Mulheres t?m melhor desempenho em tarefas sociais. Isso pode ser explicado gra?as a diferentes press?es seletivas sexuais para este g?nero em termos de rela??es individuais para suporte dentro do grupo. Homens s?o melhores em tarefas de car?ter abstrato, e isso provavelmente se deve pelo mesmo motivo. Suas capacidades para defesa de territ?rio, navega??o no habitat e forma??o de coaliz?es dependem de habilidades cognitivas prim?rias que apoiam as capacidades cognitivas secund?rias de abstra??o. Sendo assim, as diferen?as de g?nero constituem um fator a ser levado em conta no controle em experimentos futuros com a mesma ferramenta