THE LOGICAL SYSTEM OF FREGE'S GRUNDGESTZE: A RATIONAL RECONSTRUCTION

This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze . We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second-order logic.

Control system for forced-air cooling of horticultural products

This work is a study of the implementation of a classical controller using a tuning method referred to as IMC (Internal Model Control) and aimed at the reduction of electrical energy consumption by the appropriate relation between energy consumption and the cooling time with forced air. The supervisory system installed was able to manipulate the variable of frequency of the signal power of the exhaust fan engine (forced air module), to accelerate or decelerate the loss of heat from the product to be cooled by airflow variation that passes through the mass of the produce. The results demonstrated a reduction in energy consumption from 64% and an increase of only 8% in the cooling time to the system using PI/IMC (Proportional - Integral with IMC) tuning method compared with the system in its operating nominal condition. This PI/IMC control may be implemented directly in a frequency converter, without the need to purchase a computer or PLC (programmable logic controller) to run the dedicated application, increasing its economical viability.

Application of fuzzy logic for the evaluation of livestock slaughtering

The fuzzy logic admits infinite intermediate logical values between false and true. With this principle, it developed in this study a system based on fuzzy rules, which indicates the body mass index of ruminant animals in order to obtain the best time to slaughter. The controller developed has as input the variables weight and height, and as output a new body mass index, called Fuzzy Body Mass Index (Fuzzy BMI), which may serve as a detection system at the time of livestock slaughtering, comparing one another by the linguistic variables "Very Low", "Low", "Average ", "High" and "Very High". For demonstrating the use application of this fuzzy system, an analysis was made with 147 Nellore beeves to determine Fuzzy BMI values for each animal and indicate the location of body mass of any herd. The performance validation of the system was based on a statistical analysis using the Pearson correlation coefficient of 0.923, representing a high positive correlation, indicating that the proposed method is appropriate. Thus, this method allows the evaluation of the herd comparing each animal within the group, thus providing a quantitative method of farmer decision. It was concluded that this study established a computational method based on fuzzy logic that mimics part of human reasoning and interprets the body mass index of any bovine species and in any region of the country.

Electrically driven fertilizer applicator controlled by fuzzy logic

The present study shows the development, simulation and actual implementation of a closed-loop controller based on fuzzy logic that is able to regulate and standardize the mass flow of a helical fertilizer applicator. The control algorithm was developed using MATLAB's Fuzzy Logic Toolbox. Both open and closed-loop simulations of the controller were performed in MATLAB's Simulink environment. The instantaneous deviation of the mass flow from the set point (SP), its derivative, the equipment´s translation velocity and acceleration were all used as input signals for the controller, whereas the voltage of the applicator's DC electric motor (DCEM) was driven by the controller as output signal. Calibration and validation of the rules and membership functions of the fuzzy logic were accomplished in the computer simulation phase, taking into account the system's response to SP changes. The mass flow variation coefficient, measured in experimental tests, ranged from 6.32 to 13.18%. The steady state error fell between -0.72 and 0.13g s-1 and the recorded average rise time of the system was 0.38 s. The implemented controller was able to both damp the oscillations in mass flow that are characteristic of helical fertilizer applicators, and to effectively respond to SP variations.

Comparison of Classical and Secondary Cytologic Criteria Relative to Hybrid Capture for Diagnosing Cervical-vaginal Infection by Human Papillomavirus

Objective To compare the diagnostic accuracy of the classic Meisels cytologic criteria and the Schneider secondary criteria relative to the hybrid capture method for diagnosing HPV infection. Methods This was a retrospective study performed at a public university hospital. A total of 41 patients with a cytologic diagnosis of HPV infection and 40 HPV-negative patients were selected for review of the cervical-vaginal smears seeking to classical and secondary criteria. A single pathologist reviewed the slides in search of the criteria. The classical and secondary cytologic criteria were compared with the hybrid capture for diagnosing HPV infection. Bartleti test was applied for the age analysis, and Fisher's exact test was used to compare proportions. The tests were considered significant when the probability of rejecting the null hypothesis was less than 5% (p < 0.05). Results The Meisels criteria were less sensitive (34.0%) than the secondary Schneider criteria (57.5%) when compared with the hybrid capture (p < 0.0001), although the specificity of the former criteria was non-significantly higher (91.2% and 67.7%, respectively). In cases of moderate or intense inflammation, the sensitivity and specificity of the Schneider criteria were decreased, 33.3% and 50.0% respectively (p = 0.0115). Conclusions Compared with hybrid capture for diagnosis of HPV infection, the sensitivity of the secondary Schneider criteria was higher than the classical Meisels criteria.Moderate or intense inflammation reduces the sensitivity and specificity of the secondary Schneider criteria for diagnosing HPV infection using the hybrid capture as the gold standard.

Development and standardization of an indirect ELISA for the serological diagnosis of classical swine fever

An indirect enzyme linked immunoassay (ELISA-I) was developed and standardized for the serological diagnosis of classical swine fever (CSF). For the comparison, nine hundred and thirty-seven swine serum samples were tested by serum neutralization followed by immunoperoxidase staining (NPLA), considered as the standard. Of these, 223 were positive and 714 negative for neutralizing antibodies to classical swine fever virus (CSFV). In relation to the NPLA, the ELISA-I presented a 98.2% sensitivity; 92.86% specificity, 81.11% positive predictive value, 99.4% negative predictive value and a 94.1% precision. Statistical analysis showed a very strong correlation (r=0,94) between both tests. When compared to a commercially available ELISA kit, the performance of both, in relation to the NPLA, was similar. It was concluded that the ELISA-I is suitable for large scale screening of antibodies to classical swine fever virus, although it does not distinguish antibodies to classical swine fever virus from those induced by other pestiviruses.

Speed Control of an Autonomous Mobile Robot: Comparison between a PID Control and a Control Using Fuzzy Logic

An Autonomous Mobile Robot battery driven, with two traction wheels and a steering wheel is being developed. This Robot central control is regulated by an IPC, which controls every function of security, steering, positioning localization and driving. Each traction wheel is operated by a DC motor with independent control system. This system is made up of a chopper, an encoder and a microcomputer. The IPC transmits the velocity values and acceleration ramp references to the PIC microcontrollers. As each traction wheel control is independent, it's possible to obtain different speed values for each wheel. This process facilities the direction and drive changes. Two different strategies for speed velocity control were implemented; one works with PID, and the other with fuzzy logic. There were no changes in circuits and feedback control, except for the PIC microcontroller software. Comparing the two different speed control strategies the results were equivalent. However, in relation to the development and implementation of these strategies, the difficulties were bigger to implement the PID control.

Simulation of Active Control Using Fuzzy Logic Applied to a Pulse Combustor

This work analyzes an active fuzzy logic control system in a Rijke type pulse combustor. During the system development, a study of the existing types of control for pulse combustion was carried out and a simulation model was implemented to be used with the package Matlab and Simulink. Blocks which were not available in the simulator library were developed. A fuzzy controller was developed and its membership functions and inference rules were established. The obtained simulation showed that fuzzy logic is viable in the control of combustion instabilities. The obtained results indicated that the control system responded to pulses in an efficient and desirable way. It was verified that the system needed approximately 0.2 s to increase the tube internal pressure from 30 to 90 mbar, with an assumed total delay of 2 ms. The effects of delay variation were studied. Convergence was always obtained and general performance was not affected by the delay. The controller sends a pressure signal in phase with the Rijke tube internal pressure signal, through the speakers, when an increase the oscillations pressure amplitude is desired. On the other hand, when a decrease of the tube internal pressure amplitude is desired, the controller sends a signal 180º out of phase.

Optimal design of 3R manipulators by using classical techniques and simulated annealin

In this paper, the optimum design of 3R manipulators is formulated and solved by using an algebraic formulation of workspace boundary. A manipulator design can be approached as a problem of optimization, in which the objective functions are the size of the manipulator and workspace volume; and the constrains can be given as a prescribed workspace volume. The numerical solution of the optimization problem is investigated by using two different numerical techniques, namely, sequential quadratic programming and simulated annealing. Numerical examples illustrate a design procedure and show the efficiency of the proposed algorithms.

Role of the hippocampus in contextual memory after classical aversive conditioning in pigeons (C. livia)

We investigated the effects of hippocampal lesions with ibotenic acid (IBO) on the memory of the sound-context-shock association during reexposure to the conditioning context. Twenty-nine adult pigeons were assigned to a non-lesioned control group (CG, N = 7), a sham-lesioned group (SG, N = 7), a hippocampus-lesioned experimental group (EG, N = 7), and to an unpaired nonlesioned group (tone-alone exposure) (NG, N = 8). All pigeons were submitted to a 20-min session in the conditioning chamber with three associations of sound (1000 Hz, 85 dB, 1 s) and shock (10 mA, 1 s). Experimental and sham lesions were performed 24 h later (EG and SG) when EG birds received three bilateral injections (anteroposterior (A), 4.5, 5.25 and 7.0) of IBO (1 µl and 1 µg/µl) and SG received one bilateral injection (A, 5.25) of PBS. The animals were reexposed to the training context 5 days after the lesion. Behavior was videotaped for 20 min and analyzed at 30-s intervals. A significantly higher percent rating of immobility was observed for CG (median, 95.1; range, 79.2 to 100.0) and SG (median, 90.0; range, 69.6 to 95.0) compared to EG (median, 11.62; range, 3.83 to 50.1) and NG (median, 7.33; range, 6.2 to 28.1) (P<0.001) in the training context. These results suggest impairment of contextual fear in birds who received lesions one day after conditioning and a role for the hippocampus in the modulation of emotional aversive memories in pigeons.

Classical and recent advances in the treatment of inflammatory bowel diseases

Crohn's disease (CD) and ulcerative colitis (UC) are intestinal disorders that comprise the inflammatory bowel diseases (IBD). These disorders have a significant effect on the quality of life of affected patients and the increasing number of IBD cases worldwide is a growing concern. Because of the overall burden of IBD and its multifactorial etiology, efforts have been made to improve the medical management of these inflammatory conditions. The classical therapeutic strategies aim to control the exacerbated host immune response with aminosalicylates, antibiotics, corticosteroids, thiopurines, methotrexate and anti-tumor necrosis factor (TNF) biological agents. Although successful in the treatment of several CD or UC conditions, these drugs have limited effectiveness, and variable responses may culminate in unpredictable outcomes. The ideal therapy should reduce inflammation without inducing immunosuppression, and remains a challenge to health care personnel. Recently, a number of additional approaches to IBD therapy, such as new target molecules for biological agents and cellular therapy, have shown promising results. A deeper understanding of IBD pathogenesis and the availability of novel therapies are needed to improve therapeutic success. This review describes the overall key features of therapies currently employed in clinical practice as well as novel and future alternative IBD treatment methods.

Classificações de signos de C.S.Peirce: de ‘On the Logic of Science’ ao ‘Syllabus of Certain Topics of Logic’

As classificações dos signos de C.S.Peirce começam a ser desenvolvidas em 1865 e se estendem a até, pelo menos, 1909. Vou apresentar o período que tem início em 1865, e possui dois momentos de intensa produção - "On a New List of Categories" e "On the Algebra of Logic: a contribution to the philosophy of notation". Em seguida apresento as dez classes de signos, uma morfologia que aparece no "Syllabus of Certain Topics of Logic", e é desenvolvida a partir de 1903. Meu propósito aqui é familiarizar o leitor com as intrincadas classificações sígnicas de Peirce.

Mental Logic and the Denials of Conjunctions and Disjunctions

ABSTRACT: The mental models theory predicts that, while conjunctions are easier than disjunctions for individuals, when denied, conjunctions are harder than disjunctions. Khemlani, Orenes, and Johnson-Laird proved that this prediction is correct in their work of 2014. In this paper, I analyze their results in order to check whether or not they really affect the mental logic theory. My conclusion is that, although Khemlani et al.'s study provides important findings, such findings do not necessarily lead to questioning or to rejecting the mental logic theory.