La preuve ontologique de l'existence de Dieu chez Descartes

Ce projet de mémoire de maîtrise portera sur Descartes et la preuve dite "ontologique" de l'existence de Dieu. La présentation qui sera faite de cette preuve, de ses tenants et de ses aboutissants, tiendra compte: premièrement, du rôle et du statut de celle-ci dans l'ordre des raisons métaphysiques; deuxièmement, des relations entre la preuve "ontologique" et la preuve dite "par les effets"; et troisièmement, des différentes oeuvres de Descartes dans lesquelles il est question de l'argument ontologique. Ainsi, cette analyse permettra de noter les différences relatives qu'il pourrait y avoir chez Descartes quant au fond ou à la forme de cet argument. Nous évoquerons notamment la position différente qu'occupe cette preuve dans deux écrits, soient les Méditations métaphysiques (1641) et les Principes de la philosophie (1644). Ce genre d'analyse nous permettra de nous pencher sur le débat initié par Martial Guéroult et Henri Gouhier concernant la place de la preuve "ontologique" de l'existence de Dieu au sein de l'ordre des raisons métaphysiques ainsi que ses relations avec la preuve "par les effets". La postérité de ce débat sera également considérée. Aussi, nous serons à même de poser la question à savoir s'il y a une évolution de la preuve "ontologique" de l'existence de Dieu au fil des oeuvres dans la pensée de Descartes. En résumé, dans ce mémoire, nous aborderons deux problématiques: la question de l'autonomie ou de la non autonomie de la preuve "ontologique" par rapport à la preuve "par les effets", et le questionnement quant à la possibilité d'une évolution de la place et de la nature de la preuve dite "ontologique" de l'existence de Dieu dans les écrits de Descartes.

O conceito de consciência em o ser e o nada de J.-P. Sartre

This current discourse intends to prove how consciousness or Being-for-itself presents the idea that in its operation one can emphasize that it s Nothingness, transience and liberty in Jean-Paul Sartre s work O Ser e o Nada. To testify the proposed idea, the conception that Sartre gives to consciousness, representing nothingness, without any content that is connected to the possessor objects of a transphenomenal existence will be the starting point. This way, consciousness will be analyzed transcendently to the object that it s not, demonstrating its revealer-revealed condition, because it unveils a concrete world that exists against its idea, functioning as the revealer intentionality that there are beings instead of nothingness, obeying the ontological proof defended by Sartre. From this idea, every kind of consciousness will always be consciousness of something, a glance of the world, avoiding the fact that the consciousness could be considered nothing in the world. In order to live its original negation state of the world, apprehending this same world, with the purpose of a knowledge, it needs to be divided in two: the first degree consciousness or previous-reflexive cogito, that turns the proper reflexion possible, because, it s the consciousness proper transphenomenality of being different of all that connected to its existence being only its consequence; and the cogito, responsible to the positioning of the first degree consciousness, while aware of its own consciousness, that is, while being certain that knows. From this point, the way to untangle the consciousness or Being-for-itself will be developed as being Chasm, Liberty and transience. From this idea, it s intended to know how consciousness, that in Sartre s thoughts is originally nothing, could turn into Liberty that is presented in the field of transience? In other words, how these three internal structures imbricate one another to form consciousness in Sartre? First of all, it has to be considered the review of a conduct of human reality, the inquiry, that will be possible to understand how Nothingness exists as the mold of all kind of negation. After this, it will be shown, considering its way of existence, the human reality that is connected to Para-si, determined like nothingness, still is proposed like Liberty. Form this point, it will be possible to gleam how Liberty is lived deeply by Para-si in the shape of chasm, trying to how Para-si turns into nothingness, creating a chasm based on its proper liberty. Then, Liberty will be the proper mechanism used by Para-si to modificate its original chasm. The way Being-for-itself has to build to gain its goal will be projecting in transience, the building of something possible that brings one being back. However, will be demonstrated like Chasm can occupy the moment of a choice turning the decision instant an anguish stage, based on the failing of stability of the Being-for-itself, once nothingness persists in the field of the possibilities that human beings preserves in its essence while being essentially Liberty. From this idea, anguish will be studied as the proper consciousness of Liberty, being bad-faith the attempt of avoid Liberty trying to gain a shelter contradicting the fact that life is done of continual choices

Apparatus for monitoring load bearing rehabilitation exercises of a transfemoral amputee fitted with an osseointegrated fixation : a proof-of-concept study

The purpose of this proof-of-concept study was to determine the relevance of direct measurements to monitor the load applied on the osseointegrated fixation of transfemoral amputees during static load bearing exercises. The objectives were (A) to introduce an apparatus using a three-dimensional load transducer, (B) to present a range of derived information relevant to clinicians, (C) to report on the outcomes of a pilot study and (D) to compare the measurements from the transducer with those from the current method using a weighing scale. One transfemoral amputee fitted with an osseointegrated implant was asked to apply 10 kg, 20 kg, 40 kg and 80 kg on the fixation, using self-monitoring with the weighing scale. The loading was directly measured with a portable kinetic system including a six-channel transducer, external interface circuitry and a laptop. As the load prescribed increased from 10 kg to 80 kg, the forces and moments applied on and around the antero-posterior axis increased by 4 fold anteriorly and 14 fold medially, respectively. The forces and moments applied on and around the medio-lateral axis increased by 9 fold laterally and 16 fold from anterior to posterior, respectively. The long axis of the fixation was overloaded and underloaded in 17 % and 83 % of the trials, respectively, by up to ±10 %. This proof-of-concept study presents an apparatus that can be used by clinicians facing the challenge of improving basic knowledge on osseointegration, for the design of equipment for load bearing exercises and for rehabilitation programs.

The measurement of perceived ontological deficiencies of conceptual modeling grammars

Over recent years, many scholars have studied the conceptual modeling of information systems based on a theory of ontological expressiveness. This theory offers four constructs that inform properties of modeling grammars in the form of ontological deficiencies, and their implications for development and use of conceptual modeling in IS practice. In this paper we report on the development of a valid and reliable instrument for measuring the perceptions that individuals have of the ontological deficiencies of conceptual modeling grammars. We describe a multi-stage approach for instrument development that incorporates feedback from expert and user panels. We also report on a field test of the instrument with 590 modeling practitioners. We further study how different levels of modeling experience influence user perceptions of ontological deficiencies of modeling grammars. We provide implications for practice and future research.

Overcoming reputation and proof-of-work systems in botnets

Reputation and proof-of-work systems have been outlined as methods bot masters will soon use to defend their peer-to-peer botnets. These techniques are designed to prevent sybil attacks, such as those that led to the downfall of the Storm botnet. To evaluate the effectiveness of these techniques, a botnet that employed these techniques was simulated, and the amount of resources required to stage a successful sybil attack against it measured. While the proof-of-work system was found to increase the resources required for a successful sybil attack, the reputation system was found to lower the amount of resources required to disable the botnet.

The ontological deficiencies of process modeling in practice

Business process modeling is widely regarded as one of the most popular forms of conceptual modeling. However, little is known about the capabilities and deficiencies of process modeling grammars and how existing deficiencies impact actual process modeling practice. This paper is a first contribution towards a theory-driven, exploratory empirical investigation of the ontological deficiencies of process modeling with the industry standard Business Process Modeling Notation (BPMN). We perform an analysis of BPMN using a theory of ontological expressiveness. Through a series of semi-structured interviews with BPMN adopters we explore empirically the actual use of this grammar. Nine ontological deficiencies related to the practice of modeling with BPMN are identified, for example, the capture of business rules and the specification of process decompositions. We also uncover five contextual factors that impact on the use of process modeling grammars, such as tool support and modeling conventions. We discuss implications for research and practice, highlighting the need for consideration of representational issues and contextual factors in decisions relating to BPMN adoption in organizations.