Thesis--Lund. / Includes bibliographical references (p. 150-158) and index.

Thesis--Lund. / Includes index. Bibliography: p. 150-158.

Habilitationsschrift--Salzburg. / Bibliography: p. [xvii]-xxiv.

The aim of the present thesis is to analyse how the narrative affects the various philosophical debates in Tristram Shandy and Jacques le fataliste. Contrary to what one expects from a philosophical novel, Sterne and Diderot do not impose upon the reader an authorial and authoritative discourse. Dominant discourses are constantly challenged and contradicted. The philosophical debates in both novels remain open and are left without a conclusion. The author's voice is but one amongst many others, and it is the narrative which maintains the dialogue between them by preventing one particular voice from invalidating the others. My argument hinges on Bakhtinian dialogism, which can be defined as the presence of interacting voices and views. In Tristram Shandy and Jacques le fataliste, dialogism occurs through the narrative structure allowing for the confrontation of the contradictory discourses in the philosophical debates, and enabling them to engage in dialogue, instead of establishing the authorial voice as the sole valid discourse in the text. Through those contradictions, the philosophical content takes on a different form, that of a refusal of systematic discourse. No dogmatic view is forced upon the reader. Sterne and Diderot do not offer a solution to the various philosophical questions debated in their novels. However, they do offer a philosophical method whereby the confrontation of contradictory ideas creates a dynamic for the pursuit of truth.

Submitted by Ana Valéria de Jesus Moura (anavaleria_131@hotmail.com) on 2014-07-24T17:03:24Z No. of bitstreams: 1 FÁBIO ROQUE DA SILVA ARAÚJO.pdf: 1582509 bytes, checksum: 8e10d75edde07fae378aaeb21a8a8cd3 (MD5) / Approved for entry into archive by Ana Valéria de Jesus Moura (anavaleria_131@hotmail.com) on 2014-07-24T17:03:38Z (GMT) No. of bitstreams: 1 FÁBIO ROQUE DA SILVA ARAÚJO.pdf: 1582509 bytes, checksum: 8e10d75edde07fae378aaeb21a8a8cd3 (MD5) / Made available in DSpace on 2014-07-24T17:03:38Z (GMT). No. of bitstreams: 1 FÁBIO ROQUE DA SILVA ARAÚJO.pdf: 1582509 bytes, checksum: 8e10d75edde07fae378aaeb21a8a8cd3 (MD5) / A culpabilidade, elemento constitutivo da estrutura analítica do crime, desempenha papel de fundamental importância, na imposição e delimtação da sanção penal. Fruto da construção histórica de um Direito Penal racionalizado e tributário dos direitos fundamentais, a culpabilidade assentou-se sobre o primado do livre-arbítrio, compreendido como capacidade de autodeterminação individual. As recentes descobertas da neurociência cognitiva, acabam por propugnar a existência de um neurodeterminismo, que teria o condão de rechaçar a importância da culpabilidade, consagrando uma intervenção punitiva em descompasso com a dinâmica das relações sociais. A tese neurodeterminista e a consequente abolição da culpabilidade, porém, não possui procedência à luz do atual estágio de desenvolvimento da ciência, e da necessidade de um juízo de reprovação que fundamente a imposição da pena.

Orientador: Walter Alexandre Carnielli / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-23T18:22:31Z (GMT). No. of bitstreams: 1 Matulovic_Mariana_D.pdf: 1191409 bytes, checksum: 5228f60f9fdb9f3a9df31d448de09ca2 (MD5) Previous issue date: 2013 / Resumo: O presente trabalho tem por objetivo explorar, em diversas vertentes, o caráter universal de uma ferramenta poderosa de prova, apta a ser utilizada em lógicas clássicas e não clássicas, em particular em lógicas multivaloradas proposicionais (determinísticas e não-determinísticas), em lógicas paraconsistentes, em lógicas modais e na Lógica de Primeira Ordem. Trata-se do Método de Prova de Anéis de Polinômios, que também pode, em princípio, ser visto do ponto de vista da semântica algébrica, desenvolvido inicialmente em (Carnielli 2005b). O método traduz fórmulas de uma lógica específica em polinômios (em geral finitos, mas podendo ser infinitos) com coeficientes em corpos finitos, e transforma o problema de se encontrar demonstrações no correlato algébrico da busca de soluções de sistemas de equações polinomiais. Esta universalidade do método possibilita a abertura de diversas linhas de pesquisa, sendo a questão da verofuncionalidade e suas generalizações uma delas. Outras linhas de pesquisa são: possibilidades de se investigar enfoques alternativos da complexidade computacional, prova automática de teoremas, métodos heurísticos em lógica e correlações entre álgebra e lógica. Este trabalho analisa e compara sistemas de anéis de polinômios para sistemas com verofuncionalidade generalizada, como no caso das semânticas não-determinísticas, e ainda em sistemas onde a verofuncionalidade é perdida, tais como em sistemas multivalorados reduzidos a bivalorados através da conhecida redução de Suszko. O método de anéis de polinômios, além de poderoso e elegante em sua aparente simplicidade, constitui ainda um ótimo instrumento pedagógico. Em relação á lógica clássica, definimos um anel de polinômios para a Lógica de Primeira Ordem, fundamentado em um novo domínio que opera com somas e produtos infinitos, o qual se denomina domínio de séries generalizadas fechado por produtos. Finalmente, procuramos avaliar todas as potencialidades do método, principalmente no aspecto inerente á questão de se poder pensar em uma característica unificadora na medida que utiliza o mesmo viés matemático para traduzir diferentes sistemas lógicos em variedades algébricas similares. Além disso, analisamos as interrelações do método com respeito a lógica algébrica (ou álgebra da lógica), e avaliamos suas perspectivas / Abstract: This investigation aims to explore, in various aspects, the universal character of a powerful proof method, able to be used in classical and non-classical logics, in particular in propositional many-valued logics (deterministic and non- deterministic) in paraconsistent logics, in modal logics and in First Order Logic. This is the Method of Polynomial Rings, which can also be considered as an algebraic semantics, initially developed in (Carnielli 2005b). The method translates logical formulas into specific polynomials (usually finite, but sometimes infinite) with coefficients infinite fields, and transforms the problem of finding proofs in the search for solutions of systems of polynomial equations. This universality of the method enables the opening of several research lines, in particular the issue of truth-functionality and its generalizations. Other lines of research are: the possibilities of investigating alternative approaches of computational complexity, automatic theorem proving, heuristic methods in logic and correlations between algebra and logic. This study compares and analyzes the polynomial ring systems for systems with generalized truth-functionality, as in the case of non- deterministic semantic and even in systems where truth-functionality is lost, such as those many-valued systems reduced to bivalued by means of the so-called Suszko reduction. The method of polynomial rings, besides being a powerful and elegant apparatus in its apparent simplicity, is still a great teaching tool. Regarding classical logic, we define the polynomial ring for First Order Logic , based on a new domain that operates on sums and infinite products, called domain of generalized series closed under products. Finally, we evaluate the full potential of the method, especially in what concerns the question of obtaining a unifying feature that uses the same mathematical basis to translate different logical systems on similar algebraic varieties. Furthermore, we address the connections of the method with respect to algebraic logic (algebra of logic), and evaluate their perspectives / Doutorado / Filosofia / Doutora em Filosofia

La thèse avait pour objectif de caractériser l’adaptabilité de la glande mammaire, organe support de la fonction de lactation, afin de contribuer à l’étude de la robustesse des vaches laitières et à l’identification de vaches adaptables. L’approche utilisée pour caractériser l’adaptabilité de la glande mammaire consistait à décrire les réponses inter-individuelles de production laitière lors d’une perturbation, puis à identifier des critères phénotypiques et/ou génétiques modulant les caractéristiques adaptatives. Deux modalités d’allongement de l’intervalle entre traites ont été choisies pour perturber le fonctionnement de la glande mammaire : un intervalle de traite unique de 24h (24h-MI) et 3 semaines de monotraite (ODM). Les 2 composantes de l’adaptabilité, à savoir la résistance et la résilience, ont été respectivement estimées par les pertes de lait lors de l’allongement de l’intervalle entre traites et par le taux de récupération au retour à 2 traites par jour,Quatre profils de réponse, définis par leur association des modalités de résistance et de résilience, ont été mis en évidence, dont 3 étaient communs aux 2 perturbations (24h-MI et ODM). Ces profils étaient caractérisés par la compliance de la glande mammaire (c’est-à-dire son aptitude à se distendre) et par son état inflammatoire. Les réponses de production laitière seraient des caractères héritables (h2= 0.32 pour les pertes de lait en kg/j et 0.63 pour la récupération de lait (kg/d), respectivement) ouvrant des perspectives de sélection des vaches sur ces caractères adaptatifs. Les zones du génome influant / This study aimed to enhance knowledge on dairy cows robustness and to enable the identification of adaptable cows through the characterization of the adaptability of the mammary gland, the organ responsible for lactation. The methodology used to characterize the adaptability of the mammary gland consisted in describing inter individual variability in milk yield responses profiles to a perturbation and then identifying phenotypes and/or genotypes that modulated the adaptive characteristics. The mammary gland functioning was challenged by using two different lengthening of milking interval as a perturbation on dairy cows usually milked twice-daily (TDM): a single extended milking interval of 24h (24h-MI) and a 3-wk once-daily milking (ODM). For each of them, the two components of adaptability, resistance and resilience, were estimated by milk yield loss in % when switching cows to 24h-MI or ODM and milk recovery:loss ratio when switching cows back to TDM.Four individual responses profiles, defined by the association of specific resistance and resilience modalities, were found with 3 being common between 24h-MI and ODM. These profiles were characterized by udder compliance (= ability to distend) and mammary inflammation. Milk yield responses were also found to be heritable (h2= 0.32 for milk yield losses and 0.63 for milk yield recovery (kg/d), respectively), so that it could be possible to select animals on these adaptability traits. The genomic regions related to these responses were partly different from regions controlling milk production traits during TDM, so that adapt

Avec l'évolution des machines parallèles, le besoin en protocole de tolérance aux fautes devient de plus en plus important. Les protocoles de tolérance aux fautes existants ne sont pas adaptés à ces architectures car soit ils forcent un redémarrage global (protocoles de sauvegarde de points de reprise coordonnés) soit ils forcent l'enregistrement de tous les messages (protocoles à enregistrement de messages). Nous avons étudié les caractéristiques des protocoles existants. Dans un premier temps, nous avons étudié le déterminisme des applications, étant donné que les protocoles existants supposent des exécutions non déterministes ou déterministes par morceaux. Dans notre étude, nous nous sommes intéressés au modèle par échange de messages, et plus précisément aux applications MPI. Nous avons analysé 26 applications MPI et avons mis avant une nouvelle caractéristique appelée "déterminisme des émissions" qui correspond à la majorité des applications étudiées. Dans un second temps, nous nous sommes intéressés aux schémas de communications des applications afin d'étudier l'existence des groupes de processus dans ces schémas. L'étude a montré que pour la plupart des applications, il est possible de créer des groupes de processus de façon à minimiser la taille des groupes et le volume des messages inter-groupe. A partir de là nous avons proposé deux protocoles de tolérance aux fautes. Le premier est un protocole de sauvegarde de points de reprise non coordonnés pour les applications à émissions déterministes qui évite l'effet domino en n'enregistrant qu'un sous ensemble des messages de l'application. Nous avons également adapté le protocole pour l'utiliser sur des groupes de processus. Par la suite, nous avons proposé HydEE, un protocole hiérarchique fondé sur le déterminisme des émissions et les groupes de processus. Il combine un protocole de sauvegarde de points de reprise coordonnés au sein des groupes à un protocole à enregistrement de messages entre les groupes. / With the evolution of parallel computers, the need for fault tolerance protocols is becoming increasingly important. The existing fault tolerance protocols are not adapted to thèse architectures because they either force a global restard (coordinated checkpointing protocols) or all message logging (message logging protocols). We studied the characteristics of the existing protocols. We first studied the determinism of the applications, since existing protocols assumenon deterministic or piecewise deterministic executions. In our study, we examined the message passing model, and more specifically MPI applications. We have analyzed26 MPI applications and have put forward a new characteristic called "send-determinism" which corresponds to moststudied applications. In a second step, we studied the communication patterns of the applications to study the existence of clusters of processes in these patterns. The study showed that for most applications, it is possible to create clusters of processes to minimize the size of clusters and the volume of inter-cluster messages. Then we designed two fault tolérance protocols. The first one is an uncoordinated checkpointing protocol which is based on the send-deterministic assumption and avoids emissions deterministic domino effect while logging only a subset of the application messages. We have also adapted the protocol to clusters of processes. Then, we proposed HydEE, a hierarchical protocol that is lso based on the send-deterministic assumption and that is used on clusters of processes. It combines coordinated checkpointing protocol inside clusters to a message logging protocol for inter-cluster messages.

The views of Edwards and Wesley regarding the sovereignty of God present a puzzle. On the face of things, both were successful evangelists while both held contrary doctrines of sovereignty. Does this mean that the doctrine of sovereignty is irrelevant? This thesis argues that the doctrine of sovereignty is crucial in evangelism and revival, and that the views of Edwards and Wesley regarding the sovereignity of God were in fact very similar. A useful framework for showing this is the Five Points of Calvinism, as well as the doctrines of justification by faith and the omnipotence of God.

Cette recherche a été focalisée sur l’étude de la variabilité génétique et des mécanismes associés à une adaptation d’A. bisporus à la culture dans des conditions subtropicales. Elle a été subdivisée en trois parties : 1- identification de la diversité de l’aptitude à fructifier à haute température (FHT+) dans un échantillon de souches sauvages collectées dans plusieurs localités de pays d’Amérique du Nord et d’Europe. Dans cet ensemble nous avons inclus des représentants des trois variétés d’Agaricus à savoir: les variétés bisporus, burnettii et eurotetrasporus; 2- la caractérisation d’un gène candidat de thermo-tolérance dans des souches FHT+ et FHT- et l’identification de son implication dans le caractère FHT+; 3- l’étude du déterminisme génétique du caractère FHT+. Toutes les souches de la variété burnettii sont capables de produire des champignons avec de forts rendements à haute température. Cette aptitude est un élément de leur adaptation aux conditions climatiques rencontrée par la population originale. Seulement quelques souches d’A. bisporus var. bisporus ont révélés un bon potentiel pour fructifier à 25°C, mais sans relation avec les conditions climatiques de leur zone d’origine. Le gène étudié n’était que légèrement impliqué dans la réaction au stress thermique. Nous l’avons renommé aap1 car nous avons montré qu’il appartient à une nouvelle sous-famille des homologues du gène YAP1 de levure. Il n’est pas un contributeur dominant pour la thermo-tolérance d’A. bisporus, mais la protéine qu’il code peut être impliquée comme facteur de transcription de résistance générale au stress. En fait le caractère FHT+ est un caractère quantitatif sous contrôle polygénique. Il peut être hérité d’un parent de la variété burnetti dans une descendance inter variétale. Au cours de ce travail, des souches d’A. bisporus possédant des potentiels intéressants pour la culture en conditions subtropicales ont été identifiées et les bases génétiques pour un programme de création variétale pour introduire ces caractères dans des souches déjà cultivées ont été identifiées. / This work focused mainly on studying genetic variability andmechanisms associated with an adaptation of Agaricus bisporus for cultivation undersubtropical conditions of Mexico. The research was divided into three parts: 1-Identification of the diversity for fructification at a high temperature (FHT+) in a pool ofwild strains gathered in numerous locations of North America and Europe andrepresentative of the three varieties known in the species: bisporus, burnettii y eurotetrasporus; 2- characterization of a candidate gene of thermo-tolerance in FHT+ and FHT- strains and identification of its involvement in the FHT+ trait; 3- studies on the genetic determinism of FHT+ trait. All the strains of A. bisporus var burnettii produced mature sporophores at high temperatures with high yields. This ability is a part of the adaptation to the climatic conditions faced by the original population. For the A. bisporus var bisporus only some strains expressed the FHT+ trait and very few produced significant yield at high temperatures. There was no correlation with the geographical origin of the strains. The candidate gene studied was only weakly involved in the FHT+ trait. This study allowed a better characterization of one of the genes. We renamed it aap1 because it belongs to a new sub-family of counterparts of the gene YAP1 of yeast. It is not a dominant contributor to the thermo-tolerance of A. bisporus, but the protein that it encodes can be involved as a factor in transcription of general resistance to stress. Actually FHT+ was shown to be a quantitative trait under polygenic control, and it can be inherited from the A. bisporus var. burnettii in an intervarietal progeny. Strains of A. bisporus with interesting potential for cultivation under subtropical conditions and genetic bases of breeding programs for introducing this potential in already cultivated strains had been identified.