DEVELOPMENT OF LOGIC IN INDIA: SIGNIFICANCE OF 'THE DUOLOGUE BETWEEN PĀYĀSI AND KASSAPA' ("LONG DISCOURSES")

ABSTRACT 'The Duologue of King/Governor Pāyāsi' ("Long Discourses") has long been recognised as a source for the proto-materialism current at the time of the Buddha. What needs to be stressed is the significance of the text as a pointer to the development of Logic in India. Perception (observation and experiment employing the joint method of agreement and difference), which is an accepted method of experimental enquiry, and reasoning from analogy, which can lead at best to a probable conclusion - these two are the only means employed to settle the dispute concerning the existence of the other-world. The Jain version of the same duologue-cum-parable, though varying in minor details regarding the name and identity of the monk refuting the king/governor, contains the same contrast, namely, perception versus analogical reasoning. There can be little doubt that the original parable was conceived with a view to asserting the existence of the other-world. In the Kaṭha Upaniṣad (sixth century BCE), an earlier Brahmanical text, however, instead of argument by analogy, verbal testimony (śabda) was invoked to settle the same point. Naciketas is assailed by doubt about the existence of a person after his or her death. The authority of Yama, the Pluto of Indian mythology, is invoked to convince him that the other-world does exist. Thus, the three parables taken together exhibit three means of knowledge in operation: verbal testimony and argument by analogy pitted against perception.

Remarks on an algebraic semantics for paraconsistent Nelson's logic

In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and some subvarieties of NPc-lattices.

Matrix- based logic for avoiding paradoxes and its paraconsistent alternative

The present article shows that there are consistent and decidable many- valued systems of propositional logic which satisfy two or all the three criteria for non- trivial inconsistent theories by da Costa (1974). The weaker one of these paraconsistent system is also able to avoid a series of paradoxes which come up when classical logic is applied to empirical sciences. These paraconsistent systems are based on a 6- valued system of propositional logic for avoiding difficulties in several domains of empirical science (Weingartner (2009)).

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.

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.

Postangioplasty restenosis: a practical model in the porcine carotid artery

Transluminal coronary angioplasty is a routine therapeutic intervention in coronary heart disease. Despite the high rate of primary success, restenosis continues to be its major limitation. Porcine models have been considered to be the most adequate experimental models for studying restenosis. One limitation of porcine models is the need for radiological guidance and the expenses involved. The objective of the present study was to adapt an experimental model of angioplasty in the porcine carotid artery that does not require radiological equipment. Eight animals were used to develop the technique of balloon injury to the common carotid artery by dissection without radiological guidance. This technique was then employed in six other animals. Under anesthesia, the left common carotid artery was dissected and incised at the carotid sinus for insertion of an over-the-wire angioplasty balloon towards the aorta. Overstretch injury of the carotid artery was performed under direct visualization. After 30 days, the arteries were excised and pressure-fixated. Uninjured carotid arteries from 3 additional animals were used as controls. A decreased luminal area associated with intimal hyperplasia and medial reaction was observed in all injured arteries. Immunohistochemistry identified the intimal hyperplastic cells as smooth muscle cells. Computerized morphometry of the ballooned segments revealed the following mean areas: lumen 2.12 mm2 (± 1.09), intima 0.22 mm2 (± 0.08), media 3.47 mm2 (± 0.67), and adventitia 1.11 mm2 (± 0.34). Our experimental model of porcine carotid angioplasty without radiological guidance induced a vascular wall reaction and permitted the quantification of this response. This porcine model may facilitate the study of vascular injury and its response to pharmacological interventions

A conceptual and practical overview of cDNA microarray technology: implications for basic and clinical sciences

cDNA microarray is an innovative technology that facilitates the analysis of the expression of thousands of genes simultaneously. The utilization of this methodology, which is rapidly evolving, requires a combination of expertise from the biological, mathematical and statistical sciences. In this review, we attempt to provide an overview of the principles of cDNA microarray technology, the practical concerns of the analytical processing of the data obtained, the correlation of this methodology with other data analysis methods such as immunohistochemistry in tissue microarrays, and the cDNA microarray application in distinct areas of the basic and clinical sciences.

Evaluation of jumbo squid (Dosidicus gigas) byproduct hydrolysates obtained by acid-enzymatic hydrolysis and by autohydrolysis in practical diets for Pacific white shrimp (Litopenaeus vannamei)

The marine bioprocessing industry offers great potential to utilize byproducts for fish meal replacement in aquafeeds. Jumbo squid is an important fishery commodity in Mexico, but only the mantle is marketed. Head, fins, guts and tentacles are discarded in spite of being protein-rich byproducts. This study evaluated the use of two jumbo squid byproduct hydrolysates obtained by acid-enzymatic hydrolysis (AEH) and by autohydrolysis (AH) as ingredients in practical diets for shrimp. The hydrolysates were included at levels of 2.5 and 5.0% of the diet dry weight in four practical diets, including a control diet without hydrolysate. Shrimp growth and survival were not significantly affected by the dietary treatments. Postharvest quality of abdominal muscle was evaluated in terms of proximate composition and sensory evaluation. Significantly higher crude protein was observed in the muscle of shrimp fed the highest hydrolysate levels, AH 5% (204.8 g kg- 1) or AEH 5% (201.3 g kg- 1). Sensory analysis of cooked muscle showed significant differences for all variables evaluated: color, odor, flavor, and firmness. It was concluded that Jumbo squid byproducts can be successfully processed by autohydrolysis or acid-enzymatic hydrolysis, and that up to 5.0% of the hydrolysates can be incorporated into shrimp diets without affecting growth or survival.

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.

From transcendental to practical intersubjectivity: a social psychological approach to Kant's musical aesthetics

It is well known that Kant’s aesthetics is framed intersubjectively because he upholds the claim of taste to universality. However, the transcendental foundation of this shared universality is a supersensible ground which is taken for granted but which cannot be brought directly into communicative experience. Kant’s reliance on the synthetic a priori structure of aesthetic judgment also removes it from the sphere of observable personal interaction. This argumentative strategy exposes it to skeptical challenge and generates inaccessible references to inner representations (be they intuitions, categories of the understanding or rational ideas). It is not sufficient, as Kant did, to propose a description of aesthetic experience that is subjectively plausible and thereby claim its intersubjective validity. It is indispensable to embody intersubjectivity in behavior and language. In practical intersubjectivity, aesthetic attitudes are dealt with in a concrete and accessible manner without relying on mentalistic assumptions as a foundation. Conceptual terms such as 'agreeable’, 'beauty’, 'sublime’, 'ugly’, 'universality’ acquire new meaning in a conversational context and aesthetic claims are tested in a dialogical game semantics model.

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.