Tableaux e indução na lógica do plausível

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Um modelo algébrico para a lógica do muito

Pós-graduação em Filosofia - FFC

Uma lógica do poucos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A lógica do muito em um sistema de tablôs

Pós-graduação em Filosofia - FFC

Muscle Hyperalgesia Induced By Peripheral P2x3 Receptors Is Modulated By Inflammatory Mediators.

ATP, via activation of P2X3 receptors, has been highlighted as a key target in inflammatory hyperalgesia. Therefore, the aim of this study was to confirm whether the activation of P2X3 receptors in the gastrocnemius muscle of rats induces mechanical muscle hyperalgesia and, if so, to analyze the involvement of the classical inflammatory mediators (bradykinin, prostaglandins, sympathetic amines, pro-inflammatory cytokines and neutrophil migration) in this response. Intramuscular administration of the non-selective P2X3 receptor agonist α,β-meATP in the gastrocnemius muscle of rats induced mechanical muscle hyperalgesia, which, in turn, was prevented by the selective P2X3 and P2X2/3 receptors antagonist A-317491, the selective bradykinin B1-receptor antagonist Des-Arg9-[Leu8]-BK (DALBK), the cyclooxygenase inhibitor indomethacin, the β1- or β2-adrenoceptor antagonist atenolol and ICI 118,551, respectively. Also, the nonspecific selectin inhibitor fucoidan. α,β-meATP induced increases in the local concentration of the pro-inflammatory cytokines tumor necrosis factor-α (TNF-α) and interleukin 1β (IL-1β), which were reduced by bradykinin antagonist. Finally, α,β-meATP also induced neutrophil migration. Together, these findings suggest that α,β-meATP induced mechanical hyperalgesia in the gastrocnemius muscle of rats via activation of peripheral P2X3 receptors, which involves bradykinin, prostaglandins, sympathetic amines, pro-inflammatory cytokines release and neutrophil migration. It is also indicated that bradykinin is the key modulator of the mechanical muscle hyperalgesia induced by P2X3 receptors. Therefore, we suggest that P2X3 receptors are important targets to control muscle inflammatory pain.

Plasma Kallikrein and Angiotensin I-converting enzyme N- and C-terminal domain activities are modulated by the insertion/deletion polymorphism

Angiotensin I-converting enzyme (ACE) is recognized as one of the main effector molecules involved in blood pressure regulation. In the last few years some polymorphisms of ACE such as the insertion/deletion (I/D) polymorphism have been described, but their physiologic relevance is poorly understood. In addition, few studies investigated if the specific activity of ACE domain is related to the I/D polymorphism and if it can affect other systems. The aim of this study was to establish a biochemical and functional characterization of the I/D polymorphism and correlate this with the corresponding ACE activity. For this purpose, 119 male brazilian army recruits were genotyped and their ACE plasma activities evaluated from the C- and N-terminal catalytic domains using fluorescence resonance energy transfer (FRET) peptides, specific for the C-domain (Abz-LFK(Dnp)OH), N-domain (Abz-SDK(Dnp)P-OH) and both C- and N-domains (Abz-FRK(Dnp)P-OH). Plasma kallikrein activity was measured using Z-Phe-Arg-AMC as substrate and inhibited by selective plasma kallikrein inhibitor (PKSI). Some physiological parameters previously described related to the I/D polymorphism such as handgrip strength, blood pressure, heart rate and BMI were also evaluated. The genotype distribution was II n = 27, ID n = 64 and DD n = 28. Total plasma ACE activity of both domains in II individuals was significantly lower in comparison to ID and DD. This pattern was also observed for C- and N-domain activities. Difference between ID and DD subjects was observed only with the N-domain specific substrate. Blood pressure, heart rate, handgrip strength and BMI were similar among the genotypes. This polymorphism also affected the plasma kallikrein activity and DD group presents high activity level. Thus, our data demonstrate that the I/D ACE polymorphism affects differently both ACE domains without effects on handgrip strength. Moreover, this polymorphism influences the kallikrein-kinin system of normotensive individuals. (C) 2009 Elsevier Ltd. All rights reserved.

Relationship Between Cortisol Levels and Memory Performance may be Modulated by the Presence or Absence of Cognitive Impairment: Evidence from Healthy Elderly, Mild Cognitive Impairment and Alzheimer`s Disease Subjects

An inverted U-shape function between cortisol levels and memory performance has been reported in studies on both young animals and humans. Yet little is known about this relationship in normal aging or in older subjects with cognitive impairment. This issue is particularly significant since increased levels of cortisol have been reported in Alzheimer`s disease (AD). The present study examined the association between cortisol levels and visual memory performance in healthy subjects as well as in individuals presenting mild cognitive impairment (MCI) or AD. Salivary cortisol was measured in 40 healthy elderly subjects, 31 individuals with amnestic MCI, and 40 subjects with mild probable AD. Memory performance was evaluated using the Brief Cognitive Screening Battery. Higher cortisol levels were associated with better memory performance in healthy elderly (p = 0.005), while higher cortisol levels were correlated with poorer memory performance in MCI subjects (p = 0.011). No correlation between cortisol and memory was found in the AD group (p > 0.05). These results suggest that the relationship between cortisol levels and memory performance in the aging process could vary according to the presence or absence of cognitive impairment.

Phase-Locked Loop design applied to frequency-modulated atomic force microscope

The atomic force microscope (AFM) introduced the surface investigation with true atomic resolution. In the frequency modulation technique (FM-AFM) both the amplitude and the frequency of oscillation of the micro-cantilever must be kept constant even in the presence of tip-surface interaction forces. For that reason, the proper design of the Phase-Locked Loop (PLL) used in FM-AFM is vital to system performance. Here, the mathematical model of the FM-AFM control system is derived considering high order PLL In addition a method to design stable third-order Phase-Locked Loops is presented. (C) 2010 Elsevier B.V. All rights reserved.

Fluorescent indication that nitric oxide formation in NTS neurons is modulated by glutamate and GABA

Nitric oxide (NO) in NTS plays an important role in regulating autonomic function to the cardiovascular system. Using the fluorescent dye DAF-2 DA, we evaluated the NO concentration in NTS. Brainstem slices of rats were loaded with DAF-2 DA, washed, fixed in paraformaldehyde and examined under fluorescent light. In different experimental groups, NTS slices were pre-incubated with 1 mM L-NAME (a non-selective NOS inhibitor), 1 MM D-NAME (an inactive enantiomere of L-NAME), 1 mM kynurenic acid (a nonselective ionotropic receptors antagonist) or 20 mu M bicuculline (a selective GABA(A) receptors antagonist) before and during DAF-2 DA loading. Images were acquired using a confocal microscope and the intensity of fluorescence was quantified in three antero-posterior NTS regions. In addition, slices previously loaded with DAF-2 DA were incubated with NeuN or GFAP antibody. A semi-quantitative analysis of the fluorescence intensity showed that the basal NO concentration was similar in all antero-posterior aspects of the NTS (rostral intermediate, 15.5 +/- 0.8 AU: caudal intermediate, 13.2 +/- 1.4 AU; caudal commissural, 13.8 +/- 1.4 AU, n = 10). In addition, the inhibition of NOS and the antagonism of glutamatergic receptors decreased the NO fluorescence in the NTS. On the other hand, D-NAME did not affect the NO fluorescence and the antagonism of GABAA receptors increased the NO fluorescence in the NTS. It is important to note that the fluorescence for NO was detected mainly in neurons. These data show that the fluorescence observed after NTS loading with DAF-2 DA is a result of NO present in the NTS and support the concept that NTS neurons have basal NO production which is modulated by L-glutamate and GABA. (C) 2009 Elsevier Inc. All rights reserved.

A Fibred Tableau Calculus for Modal Logics of Agents

In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{fibring} methodology. In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/fibred logics. To achieve this end we first make a comparison between two types of tableau proof systems, (\emph{graph} $\&$ \emph{path}), with the help of a scenario (The Friend's Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system \KEM. We conclude with a discussion on \KEM's features.

Variants of temporal defeasible logics for modelling norm modifications

This paper proposes some variants of Temporal Defeasible Logic (TDL) to reason about normative modifications. These variants make it possible to differentiate cases in which, for example, modifications at some time change legal rules but their conclusions persist afterwards from cases where also their conclusions are blocked.

Atoms in an amplitude-modulated standing wave - dynamics and pathways to quantum chaos

Cold rubidium atoms are subjected to an amplitude-modulated far-detuned standing wave of light to form a quantum-driven pendulum. Here we discuss the dynamics of these atoms. Phase space resonances and chaotic transients of the system exhibit dynamics which can be useful in many atom optics applications as they can be utilized as means for phase space state preparation. We explain the occurrence of distinct peaks in the atomic momentum distribution, analyse them in detail and give evidence for the importance of the system for quantum chaos and decoherence studies.

Labelled tableaux for non-normal modal logics

In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.

Conditioned fear is modulated by D(2) receptor pathway connecting the ventral tegmental area and basolateral amygdala

Excitation of the mesocorticolimbic pathway, originating from dopaminergic neurons in the ventral tegmental area (VTA), may be important for the development of exaggerated fear responding. Among the forebrain regions innervated by this pathway, the amygdala is an essential component of the neural circuitry of conditioned fear. The functional role of the dopaminergic pathway connecting the VIA to the basolateral amygdala (BLA) in fear and anxiety has received little attention. In vivo microdialysis was performed to measure dopamine levels in the BLA of Wistar rats that received the dopamine D(2) agonist quinpirole (1 mu g/0.2 mu l) into the VTA and were subjected to a fear conditioning test using a light as the conditioned stimulus (CS). The effects of intra-BLA injections of the D(1) antagonist SCH 23390 (1 and 2 mu g/0.2 mu l) and D(2) antagonist sulpiride (1 and 2 mu g/0.2 mu l) on fear-potentiated startle (FPS) to a light-CS were also assessed. Locomotor performance was evaluated by use of open-field and rotarod tests. Freezing and increased dopamine levels in the BLA in response to the CS were both inhibited by intra-VTA quinpirole. Whereas intra-BLA SCH 23390 did not affect FPS, intra-BLA sulpiride (2 mu g) inhibited FPS. Sulpiride`s ability to decrease FPS cannot be attributed to nonspecific effects because this drug did not affect motor performance. These findings indicate that the dopamine D(2) receptor pathway connecting the ventral tegmental area and the basolateral amygdala modulates fear and anxiety and may be a novel pharmacological target for the treatment of anxiety. (C) 2010 Elsevier Inc. All rights reserved.