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

Direct And Non-destructive Proof Of Authenticity For The 2nd Generation Of Brazilian Real Banknotes Via Easy Ambient Sonic Spray Ionization Mass Spectrometry.

Using a desorption/ionization technique, easy ambient sonic-spray ionization coupled to mass spectrometry (EASI-MS), documents related to the 2nd generation of Brazilian Real currency (R$) were screened in the positive ion mode for authenticity based on chemical profiles obtained directly from the banknote surface. Characteristic profiles were observed for authentic, seized suspect counterfeit and counterfeited homemade banknotes from inkjet and laserjet printers. The chemicals in the authentic banknotes' surface were detected via a few minor sets of ions, namely from the plasticizers bis(2-ethylhexyl)phthalate (DEHP) and dibutyl phthalate (DBP), most likely related to the official offset printing process, and other common quaternary ammonium cations, presenting a similar chemical profile to 1st-generation R$. The seized suspect counterfeit banknotes, however, displayed abundant diagnostic ions in the m/z 400-800 range due to the presence of oligomers. High-accuracy FT-ICR MS analysis enabled molecular formula assignment for each ion. The ions were separated by 44 m/z, which enabled their characterization as Surfynol® 4XX (S4XX, XX=40, 65, and 85), wherein increasing XX values indicate increasing amounts of ethoxylation on a backbone of 2,4,7,9-tetramethyl-5-decyne-4,7-diol (Surfynol® 104). Sodiated triethylene glycol monobutyl ether (TBG) of m/z 229 (C10H22O4Na) was also identified in the seized counterfeit banknotes via EASI(+) FT-ICR MS. Surfynol® and TBG are constituents of inks used for inkjet printing.

A NEW PROOF OF OKAJI'S THEOREM FOR A CLASS OF SUM OF SQUARES OPERATORS

Let P be a linear partial differential operator with analytic coefficients. We assume that P is of the form ""sum of squares"", satisfying Hormander's bracket condition. Let q be a characteristic point; for P. We assume that q lies on a symplectic Poisson stratum of codimension two. General results of Okaji Show that P is analytic hypoelliptic at q. Hence Okaji has established the validity of Treves' conjecture in the codimension two case. Our goal here is to give a simple, self-contained proof of this fact.

Citrus Sudden Death Is Transmitted by Graft-Inoculation and Natural Transmission Is Prevented by Individual Insect-Proof Cages

Citrus sudden death (CSD) transmission was studied by graft-inoculation and under natural conditions. Young sweet orange trees on Rangpur rootstock were used as indicator plants. They were examined regularly for one or two characteristic markers of CSD: (i) presence of a yellow-stained layer of thickened bark on the Rangpur rootstock, and (ii) infection with the CSD-associated marafivirus. Based on these two markers, transmission of CSD was obtained, not only when budwood for graft-inoculation was taken from symptomatic, sweet orange trees on Rangpur, but also when the budwood sources were asymptomatic sweet orange trees on Cleopatra mandarin, indicating that the latter trees are symptomless carriers of the CSD agent. For natural transmission, 80 young indicator plants were planted within a citrus plot severely affected by CSD. Individual insect-proof cages were built around 40 indicator plants, and the other 40 indicator plants remained uncaged. Only two of the 40 caged indicator plants were affected by CSD, whereas 17 uncaged indicator plants showed CSD symptoms and were infected with the marafivirus. An additional 12 uncaged indicator plants became severely affected with citrus variegated chlorosis and were removed. These results strongly suggest that under natural conditions, CSD is transmitted by an aerial vector, such as an insect, and that the cages protected the trees against infection by the vector.

Proof Explanation in the DR-DEVICE System

Trust is a vital feature for Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design and implementation of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.

Ontological changes in the crystallin composition of the eye lenses of the territorial damselfish Parma microlepis and their possible effects on trace-metal accumulation

The eye lenses of Parma microlepis from the rocky barrens of Sydney (New South Wales, Australia) were found to contain Ba, Hg, Rb, and Sr at concentrations above the quantitative detection limits of solution-based inductively-coupled plasma-mass spectrometry (ICP-MS). Lenses were separated into the hard central nucleus and the softer surrounding cortex. Nuclei contained lower (equal for Ba) concentrations of these metals. Biochemical analysis of the protein composition of these lenses revealed differences in the ratio of gamma-crystallin to beta-crystallin in the lens nucleus and cortex. These changes were shown to be attributable both to protein degradation and changes in protein synthesis as fish age. Such changes may lead to the loss of sequestered metals from older cell layers, or change the affinity of new layers for particular trace metals. Differential binding affinities of these crystallins may, therefore, partially account for trace-metal differences observed in the lens nucleus and cortex.

Extracting ontological concepts for tendering conceptual structures

It has been argued that beyond software engineering and process engineering, ontological engineering is the third capability needed if successful e-commerce is to be realized. In our experience of building an ontological-based tendering system, we face the problem of building an ontology. In this paper, we demonstrate how to build ontologies in the tendering domain. The ontology life cycle is identified. Extracting concepts from existing resources like on-line catalogs is described. We have reused electronic data interchange (EDI) to build conceptual structures in the tendering domain. An algorithm to extract abstract ontological concepts from these structures is proposed.

Developing a meta model for the Bunge-Wand-Weber ontological constructs

At the core of the analysis task in the development process is information systems requirements modelling, Modelling of requirements has been occurring for many years and the techniques used have progressed from flowcharting through data flow diagrams and entity-relationship diagrams to object-oriented schemas today. Unfortunately, researchers have been able to give little theoretical guidance only to practitioners on which techniques to use and when. In an attempt to address this situation, Wand and Weber have developed a series of models based on the ontological theory of Mario Bunge-the Bunge-Wand-Weber (BWW) models. Two particular criticisms of the models have persisted however-the understandability of the constructs in the BWW models and the difficulty in applying the models to a modelling technique. This paper addresses these issues by presenting a meta model of the BWW constructs using a meta language that is familiar to many IS professionals, more specific than plain English text, but easier to understand than the set-theoretic language of the original BWW models. Such a meta model also facilitates the application of the BWW theory to other modelling techniques that have similar meta models defined. Moreover, this approach supports the identification of patterns of constructs that might be common across meta models for modelling techniques. Such findings are useful in extending and refining the BWW theory. (C) 2002 Elsevier Science Ltd. All rights reserved.

Existence of a semicontinuous or continuous utility function: a unified approach and an elementary proof

In this paper, we present a new unified approach and an elementary proof of a very general theorem on the existence of a semicontinuous or continuous utility function representing a preference relation. A simple and interesting new proof of the famous Debreu Gap Lemma is given. In addition, we prove a new Gap Lemma for the rational numbers and derive some consequences. We also prove a theorem which characterizes the existence of upper semicontinuous utility functions on a preordered topological space which need not be second countable. This is a generalization of the classical theorem of Rader which only gives sufficient conditions for the existence of an upper semicontinuous utility function for second countable topological spaces. (C) 2002 Elsevier Science B.V. All rights reserved.