Uppsatsen undersöker om antropologiskt kunskap kan implementeras i Logical Framework Approach (LFA) –metoden för att förbättra den. LFA är en projektplaneringsmetod som bland annat används inom utvecklingsprojekt. Olika publiceringar om LFA har studerats för att få fram för- och motargument. Vidare har antropologiska publiceringar om hur antropologi kan användas inom utveckling- och biståndsprojekt legat till grund för att analysera LFA, och se om och isåfall var antropologisk kunskap kan användas för att förbättra den. Resultatet presenteras i form redovisning på var metoden får kritik samt hur antropologisk kunskap kan bidra till förbättring i det specifika området. / The thesis seeks to examine whether anthropological knowledge can improve the Logical Framework Approach (LFA). LFA is a widespread project planning method that is used in development projects. Various publications about LFA have been studied to identify arguments in favor of, and against the method. Furthermore, anthropological publications on how anthropology can be used in development and aid projects forms the foundations for analyzing the LFA. This is performed to see where anthropological knowledge can be applied to improve it. The result is presented by focusing on the criticism to discover how anthropology can contribute to improving the methods in the areas of concern.

The model-theoretic analysis of the concept of logical consequence has come under heavy criticism in the last couple of decades. The present work looks at an alternative approach to logical consequence where the notion of inference takes center stage. Formally, the model-theoretic framework is exchanged for a proof-theoretic framework. It is argued that contrary to the traditional view, proof-theoretic semantics is not revisionary, and should rather be seen as a formal semantics that can supplement model-theory. Specifically, there are formal resources to provide a proof-theoretic semantics for both intuitionistic and classical logic. We develop a new perspective on proof-theoretic harmony for logical constants which incorporates elements from the substructural era of proof-theory. We show that there is a semantic lacuna in the traditional accounts of harmony. A new theory of how inference rules determine the semantic content of logical constants is developed. The theory weds proof-theoretic and model-theoretic semantics by showing how proof-theoretic rules can induce truth-conditional clauses in Boolean and many-valued settings. It is argued that such a new approach to how rules determine meaning will ultimately assist our understanding of the apriori nature of logic.

Au cours des dernières décennies, les approches expérimentales nous ont permis d'obtenir des informations importantes en biologie du développement et nous ont conduit à la définition de réseaux complexes de régulation contrôlant les processus développementaux. Actuellement, notre compréhension de ces réseaux est entravée par leur complexité même. La modélisation mathématique est de plus en plus utilisée pour intégrer les voies de régulation et prévoir les effets de perturbations génétiques. Durant ma thèse, je me suis intéressée à la différentiation du mésoderme chez Drosophila melanogaster. Elle commence par la spécification du mésoderme en 4 différents tissus: le muscle viscéral, le coeur, le muscle somatique et le corps gras. La formation de ces tissus se traduit par une organisation segmentale répétitive le long du mésoderme. Mon premier but était de construire un modèle qui récapitule la spécification de ces quatre tissus entre les stades 8 et 10. Par la suite, je me suis concentrée sur le développement du coeur dans le but de proposer un modèle de régulation de la diversification des cellules cardiaques contractiles (cardioblastes) entre les stade 10 et 12. Afin de comprendre ces processus complémentaires, j'ai été amené à modéliser les voies de signalisation qui jouent un rôle important dans le développement du mésoderme et des cardioblastes. Je me suis appuyée sur des données génétiques et des analyses haut-débit publiées (HhIP-chip, ChIP-seq et transcriptome) pour déterminer et annoter des graphes de régulation complet pour chacun de ces réseaux ou voies. / During the past decades, experimental approaches have allowed us to gain important insights in developmental biology, and led to the delineation of complex regulatory networks controlling developmental processes. Currently, our understanding of these networks is hindered by their sheer complexity. Mathematical modelling is increasingly used to integrate regulatory pathways and predict the effects of genetic perturbations. My thesis focuses on the development of the specification of the mesoderm in Drosophila melanogaster. Its development results in the formation of different tissues segmentally iterated: the visceral muscle, the heart, the somatic muscle, and the fat body. My first goal was to build a network model recapitulating the specification of these 4 mesodermal tissues during stages 8 to 10. Then, focusing on heart development, my second aim was to build a network model recapitulating contractile cardiac cell (cardioblast) diversification during stages 10 to 12. To understand these complementary processes, I was further led to model the signalling pathways that play important roles in mesoderm and cardioblast development. I rely on a combination of published genetic data and high- throughput analyses (ChIP-chip, ChiP-seq, transcriptome) to delineate and annotate comprehensive regulatory graphs for each of these networks or pathways. Using a logical formalism and the GINsim software, I have further defined logical rules enabling the simulation of wild type and mutant behaviours for each of this networks or pathways. By and large, my model simulations recapitulate all relevant published data.

Le travail de Wittgenstein exemplifie la transcendance dont se nourrit la philosophie. En effet, la recherche de fondements à notre langage, par la mise en œuvre d'un idiome logique, génère des préoccupations ontologiques insondables. De même, le désir de créer une grammaire purement descriptive révèle l'arbitraire des critères de l'ordinaire. Enfin, la négation quasi obsessionnelle d'une intériorité active ne fait pas obstacle à son retour dans les thèmes de la volonté, du silence et de l'éthique. L'Éthique dite ineffable et la volonté, dans le sens de Schopenhauer, s'imposent comme les invariants d'un Sujet en marge d'un monde dit sans valeur dans lequel, logique, éthique et esthétique ne peuvent se dire. Ici, le silence de Wittgenstein ouvre sur un non-dit éloquent. En recherchant des fondements ou des règles à notre langage, tout en expulsant certains objets hors du dicible, Wittgenstein exprime le désir de mettre en place un point de vue synoptique sur notre forme de vie. Mais en fait, il se retrouve prisonnier des entrelacs qui relient l'immanence et la transcendance.Ces investigations ne peuvent être dissociées, chez ce contemporain de la naissance de la psychanalyse, d'une attitude tendancielle à la sublimation des problèmes philosophiques sur fond de crise identitaire. Son attitude face aux choix, sa difficulté à donner un assentiment, son rapport ambigu au religieux, au mystique et à l'identité, sont soulignés comme les points aveugles de son expression. Ces thèmes révèlent une transcendance intrinsèque à son œuvre et une résistance forte de la métaphysique.Le travail de Wittgenstein est pris ici comme un exemple paradigmatique de la philosophie analytique, philosophie entrée en conflit contre l'abus d'expressions métaphysiques accusées de nous livrer aux illusions trompeuses. / Wittgenstein's work exemplifies transcendence which feeds philosophy. The search for foundations to our language, by the implementation of a logical structure generates unfathomable ontological concerns. Similarly, the dream of a purely descriptive grammar reveals the arbi-trariness of criteria of the ordinary. Finally, the obsessive denial of an active interiority does not preclude his return to willpower, silence and ethical themes. Ethics, as ineffable, and will, in the sense of Schopenhauer, are invariants of a philosophical subject on the sidelines of a world without value, in which, the logical, ethical and aesthetic could not be said. Here, Witt-genstein's silence opens on an eloquent unsaid. Searching for foundations or rules to our lan-guage, while expelling some objects in the indescribable, Wittgenstein expressed the desire to provide a synoptic view of our form of life. In fact, he finds himself prisoner of interlaces between immanence and transcendence.These investigations cannot be separated with this contemporary of the birth of psychoanaly-sis, a trend attitude to the sublimation of philosophical problems on substance of identity cri-sis. His attitude to choice, his difficulty to give consent, his ambiguous report to the religious, the mystic and identity are underlined as blind expression points. These themes reveal an in-herent transcendence in his work and the resistance of the metaphysical.Wittgenstein's work is seen as a paradigm of analytic philosophy, philosophy came into con-flict against the abuse of metaphysical expressions accused of deceptive illusions for us.

On présente une Logique Probabiliste avec des opérateurs Conditionnels - LPCP, sa syntaxe, sémantique, axiomatisation correcte et fortement complète, comprenant une règle de déduction infinitaire. On prouve que LPCP est décidable, et on l'étend pour qu’il puisse représenter l'évidence, en créant ainsi la première axiomatisation propositionnelle du raisonnement basé sur l'évidence. On codifie les Logiques Probabilistes LPP1Q et LPPQ2 dans l'Assistant de Preuve Coq, et on vérifie formellement leurs propriétés principales: correction, complétude fort et non-compacité. Les deux logiques étendent la Logique Classique avec des opérateurs de probabilité, et présentent une règle de déduction infinitaire. LPPQ1 permet des itérations des opérateurs de probabilité, lorsque LPPQ2 ne le permet pas. On a formellement justifié l'utilisation des solveurs SAT probabilistes pour vérifier les questions liées à la cohérence. On présente LFP, un Cadre Logique avec Prédicats Externes, en introduisant un mécanisme pour bloquer et débloquer types et termes dans LF, en permettant l'utilisation d’oracles externes. On démontre que LFP satisfait tous les principales propriétés et on développe un cadre canonique correspondant, qui permet de prouver l’adéquation. On fournit diverses encodages - le λ-calcul non-typé avec la stratégie de réduction CBV, Programmation-par-Contrats, un langage impératif avec la Logique de Hoare, des Logiques Modales et la Logique Linéaire Non-Commutative, en montrant que en LFP on peut codifier aisément des side-conditions dans l'application des règles de typage et atteindre une séparation entre vérification et computation, en obtenant des preuves plus claires et lisibles. / We introduce a Probability Logic with Conditional Operators - LPCP, its syntax, semantics, and a sound and strongly-complete axiomatic system, featuring an infinitary inference rule. We prove the obtained formalism decidable, and extend it so as to represent evidence, making it the first propositional axiomatisation of reasoning about evidence. We encode Probability Logics LPP1Q and LPP2Q in the Proof Assistant Coq and formally verify their key properties - soundness, strong completeness, and non-compactness. Both logics extend Classical Logic with modal-like probability operators, and both feature an infinitary inference rule. LPP1Q allows iterations of probability operators, while LPP2Q does not. In this way, we have formally justified the use of Probabilistic SAT-solvers for the checking of consistency-related questions. We present LFP - a Logical Framework with External Predicates, by introducing a mechanism for locking and unlocking types and terms into LF, allowing the use of external oracles. We prove that LFP satisfies all the main meta-theoretic properties and develop a corresponding canonical framework, allowing for easy proofs of adequacy. We provide a number of encodings - the simple untyped λ-calculus with a Call-by-Value reduction strategy, the Design-by-Contract paradigm, a small imperative language with Hoare Logic, Modal Logics in Hilbert and Natural Deduction style, and Non-Commutative Linear Logic (encoded for the first time in an LF-like framework), illustrating that in LFP we can encode side-conditions on the application of rules elegantly, and achieve a separation between verification and computation, resulting in cleaner and more readable proofs.

Décrypter le fonctionnement des réseaux biologiques est une des missions centrales de la biologie des systèmes. En particulier, les réseaux de transduction du signal sont essentiels pour la compréhension de la réponse cellulaire à des perturbations externes ou internes. Pour faire face à la complexité de ces réseaux, des modélisations aussi bien numériques que formelles sont nécessaires. Nous proposons un cadre de modélisation formelle, dans le cadre de réseaux logiques, afin d'obtenir des prédictions robustes sur le comportement et le contrôle des voies de signalisation. Nous modélisons la réponse des réseaux logiques de signalisation par du raisonnement automatique à l'aide de Programmation par Ensembles-Réponses (Answer Set Programming, ASP). ASP fournit un langage déclaratif pour la modélisation de divers problèmes de représentation des connaissances et de raisonnement. Des solveurs permettent plusieurs modes de raisonnement pour étudier la multitude d'ensembles réponses. En s'appuyant sur la richesse du langage de modélisation et ses capacités de résolution très efficaces, nous utilisons ASP pour modéliser et résoudre trois problèmes dans le contexte des réseaux logiques de signalisation: apprentissage de réseaux booléens, calculs de plan d'expériences, et l'identification des contrôleurs. Globalement, la contribution de cette thèse est de trois ordres. Premièrement, nous introduisons un cadre formel pour la caractérisation et le raisonnement sur la réponse des réseaux logiques de signalisation. Deuxièmement, nous contribuons à une liste croissante d'applications réussies d'ASP en biologie des systèmes. Troisièmement, nous présentons un logiciel fournissant un pipeline complet de raisonnement automatisé sur la réponse des réseaux logiques de signalisation. / Deciphering the functioning of biological networks is one of the central tasks in systems biology. In particular, signal transduction networks are crucial for the understanding of the cellular response to external and internal perturbations. Importantly, in order to cope with the complexity of these networks, mathematical and computational modeling is required. We propose a computational modeling framework in order to achieve more robust discoveries in the context of logical signaling networks. More precisely, we focus on modeling the response of logical signaling networks by means of automated reasoning using Answer Set Programming (ASP). ASP provides a declarative language for modeling various knowledge representation and reasoning problems. Moreover, available ASP solvers provide several reasoning modes for assessing the multitude of answer sets. Therefore, leveraging its rich modeling language and its highly efficient solving capacities, we use ASP to address three challenging problems in the context of logical signaling networks: learning of (Boolean) logical networks, experimental design, and identification of intervention strategies. Overall, the contribution of this thesis is three-fold. Firstly, we introduce a mathematical framework for characterizing and reasoning on the response of logical signaling networks. Secondly, we contribute to a growing list of successful applications of ASP in systems biology. Thirdly, we present a software providing a complete pipeline for automated reasoning on the response of logical signaling networks.

Analysis of the "Automated processing of telephone bills" in a large consulting firm. Use of project management methods: logical framework, analysis of stakeholders, responsibility matrix, milestones chart, PERT analysis.The main objective it to develop the concept, in which it will be better to handle projects in the consulting company in the future. The information for the purposes of this thesis were collected using the method of guided interviews with leading professionals in the company and using the online questionnaire.

É um resultado conhecido que em Data Grids, onde o processamento envolve grandes quantidades de dados, pode ser mais eficaz escalonar os processos para execução nos sites que já dispõem dos dados do que transferir os dados para um site onde o processo que irá necessitar deles foi escalonado. Os estudos existentes se baseiam em pequenas quantidades de sites, com conhecimento centralizado sobre o estado dos diversos sites. Essa opção não é escalável para Grids com grande número de participantes. Este trabalho analisa versões distribuídas com informação local para os algoritmos de escalonamento de processo e replicação de dados, mostrando o efeito das topologias de interconexão de sites no desempenho desses. É observado que, considerando a existência apenas de informações locais devido às restrições topologicas, resultados diferentes quanto aos melhores algoritmos de escalonamento de processos e replicação de dados são encontrados. / It is a known result that in Data Grids, where the processing involves large amounts of data, can be more effective schedule processes to run on sites that already have the data than transfering data to a site where the process that will require them was installed. The existing studies are based on small numbers of sites, with centralized knowledge about the state of the various sites. This option is not scalable for grids with large numbers of participants. This paper will propose distributed versions with local information for process scheduling algorithms and data replication, showing the effect of interconnect topologies on the performance of these sites. It is observed that, considering the existence of only local information due to topological constraints, different results related to the best scheduling algorithms and data replication processes are found.

Este trabalho busca, nas construções de Étienne de La Boétie sobre a servidão voluntária e nas produções do cinema de Harun Farocki, elementos para refletir sobre os modos de produção da imagem, especificamente sobre as condições de produção das imagens. Nessa via, busca o estabelecimento de uma imagem capaz de fazer furo na maquinaria, funcionando, dessa forma, como ferrugem, e assim denunciando a maquinaria da constituição da subjetividade. Inspirando-nos na proposição lacaniana do Tempo Lógico, este trabalho assume três tempos em que pensamos a imagem. Assim, estabelece uma conversa entre os pensamentos de La Boétie sobre a servidão voluntária e o cinema de arquivo de Farocki, no intuito de tentar compreender os mecanismos que criam as condições de alienação. Procuramos também refletir sobre imagens que poderiam criar um anteparo ao assujeitamento – uma ferrugem nesta maquinaria -, buscando compreender onde residiria a potencia de certas imagens de interrogar a contemporaneidade. / This research search for, in the propositions of Étienne de La Boétie about the voluntary servitude and in the cinema productions of Harun Farocki, elements to think about the methods of production of the image, specifically about the conditions of the productions of the images. This way, this work search for the constitution of an image capable of produce a hole in the machinery, working like the rust, and then, denouncing the machinery of the subjective constitution. This work inspires itself in the Logical Time as proposes by Jacques Lacan, constituting itself in three times in which thinks about the image. Thus, establish a discourse between the thoughts of La Boétie about the voluntary servitude and the cinema of Farocki, in order to try to understand the mechanisms that create the conditions to the alienation. The research quests to speculate about images that could create create a shield to the subjugation – rust in the machinery –, trying to understand where the potential of certain images of interrogate the contemporaneity could reside.

O objeto de estudo desta tese consiste na análise de narrativas do cotidiano sobre realidades empresarias contemporânea de atuação. Essas narrativas foram emitidas por estudantes em situações de ensino universitário, que visam à formação de atores sociais capacitados para o exercício de um pensamento projetivo, prospectivo e de intervenção, baseado na aplicação de formas científicas de solução de problemas teórico-práticos na ação profissional competente. Esta análise fundamenta-se em categorias teóricas elaboradas por estudiosos de relações entre lógica linguagem e pensamento, e suas aplicações no estudo de processos cognitivos da abstração e argumentação. O corpus empírico de análise consiste em uma seleção de narrativas sobre o conteúdo empresarial, apresentadas por dez estudantes de um Curso Universitário de Administração, em uma disciplina de metodologia de pesquisa aplicada. A análise deste corpus foi realizada com base em categorias teóricas previamente estabelecidas, e em categorias derivadas empiricamente em função dos interesses do estudo, a saber: Classes (palavras)-Mundo (objeto); Estratégias dirigidas à ação - Estratégias dirigidas à compreensão; Concreto-Abstrato; Relações entre Sintaxe-Semântica; Crítica (modus ponens)-Crítica/Argumento; Enunciação do Problema- Origem /Fundamento do Problema. A análise baseou-se em: análise lógica das narrativas; analise da Lógica implícita nos Argumentos; análise Categorial, definido por Destacase que essa análise não tem pretensões de uma demonstração exaustiva destes componentes teóricos, mas sim de ilustrá-los, utilizando-se como referência uma busca por uma apreensão em relação aos obstáculos e ausências manifestos na capacidade intelectual de abstração reflexiva e correspondente argumentação dos estudantes em pauta. A interpretação dos resultados indicou um crescimento na complexidade lógica do pensamento coloquial verbalizado, aliado a uma ausência de representação dos processos racionais a ele subjacentes. Ou seja, a racionalidade contemporânea, alimentada nos centros de produção do pensamento técnico-científico, comunicar-se-ia como forma de conhecimento com tal segmento da sociedade de forma naturalizada. Refletir, então, sobre formas de intervenção pedagógica para a superação destes obstáculos, ao pleno exercício da razão, configuradas nos resultados desta pesquisa / The object of study for this thesis consists of the analysis of narratives of business routines and realities in the contemporary field of action. These narratives were given by college students who aim to become social actors and who are able to exercise prospective, interventionist and forward thought, based on the application of scientific forms in the solution of both theoretical and practical problems in professional contexts. This analysis was founded in theoretical categories and elaborated by scholars of these relations between logics, language and thoughts and its applications to the study of cognitive processes of abstraction and argumentation. The empirical corpus consists of a selection of narratives of a business nature, presented by ten students of a Management Course in a local college, who were undertaking the subject Applied Research Methodology. The investigation of this corpus was realized with basis on previously established theoretical categories and on those categories empirically derived and focused on the interests of the study, being described as follows; Types (words)- World (object); Strategies directed to action- Strategies directed to comprehension; Concrete-Abstract; Relation between Syntax-Semantics; Criticism (modus ponens) and Criticism (argument); Enunciation Problem and Origen(fundamental problem). Therefore, the analysis was based on the application of the categorization to the narratives. In this way the process was divided in three moments: a) logical analysis of the narratives; b) analysis of the Logics implied to them; c) categorial analysis. It is important to emphasize that this analyses does not intend to exhaustively demonstrate these theoretical components but to simply exemplify them using as reference a search for the apprehension of to the obstacles. This also identifies a lack of showing in the intellectual capacity of reflexive abstraction and correspondent ability of argumentation of the students observed. The interpretation of the results indicated growth in the logical complexity of the verbalized colloquial thought, allied to an absence of the rational processes representation related to it. This means that the contemporary rationality fed in the centres of production of technical scientific thought would communicate as a way of knowledge with this sort of segment of society in a naturalized way. To reflect, then, on forms of pedagogical intervention for the overcoming of these obstacles to the full exercise of the reason, configured in the results of this research