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)).

TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY

Abstract In this paper we present a philosophical motivation for the logics of formal inconsistency , a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC , a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence.

Carriage of the classical thermotolerant campylobacters in healthy domestic animals from Eastern Peru

Com o objetivo de conhecer a importância dos animais domésticos como reservatórios naturais dos clássicos campylobacters termotolerantes, amostras de fezes foram obtidas de mamíferos e aves do leste do Peru e imediatamente colocadas num meio de enriquecimento. Técnicas convencionais foram utilizadas para identificar C. jejuni ssp. jejuni, C. coli e C. lari. Campylobacter foi isolado em 26,5% dos animais estudados, sendo C. jejuni ssp. jejuni biovar I o mais freqüente (8,9%). O frango foi o reservatório mais importante destes microorganismos (54,0%).

Prostaglandin A1 Inhibits Replication of Classical Swine Fever Virus

Prostaglandins (Pgs) have been shown to inhibit the replication of several DNA and RNA viruses. Here we report the effect of prostaglandin (PgA1) on the multiplication of a positive strand RNA virus, Classical Swine Fever Virus (CSFV) in PK15 cells. PgA1 was found to inhibit the multiplication of CSFV. At a concentration of 5 µg/ml, which was nontoxic to the cells, PgA1 inhibitis virus production in 99%. In PgA1 treated cells the size and number of characteristic Classical Swine Fever focus decreased in amount.

The use of the polymerase chain reaction and restriction fragment length polymorphism technique associated with the classical morphology for characterization of Lymnaea columella, L. viatrix, and L. diaphana (Mollusca: Lymnaeidae)

The specific identification of Lymnaeid snails is based on a comparison of morphological characters of the shell, radula, renal and reproductive organs. However, the identification is complicated by dissection process, intra and interspecific similarity and variability of morphological characters. In the present study, polymerase chain reaction and restriction fragment length polymorphism (PCR-RFLP) techniques targeted to the first and second internal transcribed spacers (ITS1 and ITS2) rDNA and to the mitochondrial 16S ribosomal gene (16S rDNAmt) were used to differentiate the species Lymnaea columella, L. viatrix, and L. diaphana from some localities of Brazil, Argentina, and Uruguay as well as to verify whether the molecular results corroborates the classical morphological method.PCR-RFLP analysis of the ITS1, ITS2, and 16S using 12 restriction enzymes revealed characteristic patterns for L. columella and L. diaphana which were concordant with the classical morphology. On the other hand, for L. viatrix populations a number of 1 to 6 profiles were generated while morphology provided the species pattern results.

Vectorial capacity, basic reproduction number, force of infection and all that: formal notation to complete and adjust their classical concepts and equations

A dimensional analysis of the classical equations related to the dynamics of vector-borne infections is presented. It is provided a formal notation to complete the expressions for the Ross' Threshold Theorem, the Macdonald's basic reproduction "rate" and sporozoite "rate", Garret-Jones' vectorial capacity and Dietz-Molineaux-Thomas' force of infection. The analysis was intended to provide a formal notation that complete the classical equations proposed by these authors.

Comparative analyses of classical phenotypic method and ribosomal RNA gene sequencing for identification of medically relevant Candida species

As the distribution of Candida species and their susceptibility to antifungal agents have changed, a new means of accurately and rapidly identifying these species is necessary for the successful early resolution of infection and the subsequent reduction of morbidity and mortality. The current work aimed to evaluate ribosomal RNA gene sequencing for the identification of medically relevant Candida species in comparison with a standard phenotypic method. Eighteen reference strains (RSs), 69 phenotypically identified isolates and 20 inconclusively identified isolates were examined. Internal transcribed spaces (ITSs) and D1/D2 of the 26S ribosomal RNA gene regions were used as targets for sequencing. Additionally, the sequences of the ITS regions were used to establish evolutionary relationships. The sequencing of the ITS regions was successful for 88% (94/107) of the RS and isolates, whereas 100% of the remaining 12% (13/107) of the samples were successfully analysed by sequencing the D1/D2 region. Similarly, genotypic analysis identified all of the RS and isolates, including the 20 isolates that were not phenotypically identified. Phenotypic analysis, however, misidentified 10% (7/69) of the isolates. Phylogenetic analysis allowed the confirmation of the relationships between evolutionarily close species. Currently, the use of genotypic methods is necessary for the correct identification of Candida species.

Fuzzy logic applied to the modeling of water dynamics in an Oxisol in northeastern Brazil

Modeling of water movement in non-saturated soil usually requires a large number of parameters and variables, such as initial soil water content, saturated water content and saturated hydraulic conductivity, which can be assessed relatively easily. Dimensional flow of water in the soil is usually modeled by a nonlinear partial differential equation, known as the Richards equation. Since this equation cannot be solved analytically in certain cases, one way to approach its solution is by numerical algorithms. The success of numerical models in describing the dynamics of water in the soil is closely related to the accuracy with which the water-physical parameters are determined. That has been a big challenge in the use of numerical models because these parameters are generally difficult to determine since they present great spatial variability in the soil. Therefore, it is necessary to develop and use methods that properly incorporate the uncertainties inherent to water displacement in soils. In this paper, a model based on fuzzy logic is used as an alternative to describe water flow in the vadose zone. This fuzzy model was developed to simulate the displacement of water in a non-vegetated crop soil during the period called the emergency phase. The principle of this model consists of a Mamdani fuzzy rule-based system in which the rules are based on the moisture content of adjacent soil layers. The performances of the results modeled by the fuzzy system were evaluated by the evolution of moisture profiles over time as compared to those obtained in the field. The results obtained through use of the fuzzy model provided satisfactory reproduction of soil moisture profiles.

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.

The dawn of paraconsistency: Russia's logical thought in the turn of XX century

The paper deals with the factors which enabled N. A. Vasiliev to put forward in 1910 - 12 the idea of logics free of the laws of contradiction and excluded middle, the idea of metalogic and to construct his imaginary logic as novel non-classical system. It is shown that background of Vasiliev's ideas lies deeply in Russia's culture and particular approach to logical discourse. Several Russian scholars expressed ideas similar to Vasiliev's though not in such explicit form. This period might be called the prehistory of paraconsistency. Real history of paraconsistency starts with N.C.A. da Costa's works.

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.

Da Costa on ontology: a naturalistic interpretation

Da Costa's conception of being modifies that of Quine to incorporate relativization to non-classical logics. A naturalistic view of this conception is discussed. This view tries to extend to logic some ideas of Maddy's naturalism concerning mathematics.

The role of consistency in empirical science

Any inconsistent theory whose underlying logic is classical encompasses all the sentences of its own language. As it denies everything it asserts, it is useless for explaining or predicting anything. Nevertheless, paraconsistent logic has shown that it is possible to live with contradictions and still avoid the collapse of the theory. The main point of this paper is to show that even if it is formally possible to isolate the contradictions and to live with them, this cohabitation is neither desired by working scientists not desirable for the progress of science. Several cases from the recent history of physics and cosmology are analyzed.