Paraconsistent logic

2018 ◽  
Author(s):  
Graham Priest
Keyword(s):  
Paraconsistent Logic ◽  
Paraconsistent Logics ◽  
Naturally Occurring

A logic is paraconsistent if it does not validate the principle that from a pair of contradictory sentences, A and ∼A, everything follows, as most orthodox logics do. If a theory has a paraconsistent underlying logic, it may be inconsistent without being trivial (that is, entailing everything). Sustained work in formal paraconsistent logics started in the early 1960s. A major motivating thought was that there are important naturally occurring inconsistent but non-trivial theories. Some logicians have gone further and claimed that some of these theories may be true. By the mid-1970s, details of the semantics and proof-theories of many paraconsistent logics were well understood. More recent research has focused on the applications of these logics and on their philosophical underpinnings and implications.

MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY

2011 ◽  
Vol 4 (2) ◽  
pp. 326-336 ◽  
Author(s):  
JC BEALL
Keyword(s):  
Paraconsistent Logic ◽  
Nonmonotonic Logic ◽  
Paraconsistent Logics ◽  
Alternative Approach

Philosophical applications of familiar paracomplete and paraconsistent logics often rely on an idea of ‘default classicality’. With respect to the paraconsistent logic LP (the dual of Strong Kleene or K3), such ‘default classicality’ is standardly cashed out via an LP-based nonmonotonic logic due to Priest (1991, 2006a). In this paper, I offer an alternative approach via a monotonic multiple-conclusion version of LP.

Reasoning with inconsistency in structured text

2000 ◽  
Vol 15 (4) ◽  
pp. 317-337 ◽  
Author(s):  
ANTHONY HUNTER
Keyword(s):  
Review Paper ◽  
Paraconsistent Logic ◽  
Object Oriented ◽  
General Concept ◽  
Paraconsistent Logics ◽  
Paraconsistent Reasoning ◽  
Semantic Label ◽  
Pros And Cons ◽  
Object Oriented Databases ◽  
Significant Application

Reasoning with inconsistency involves some compromise on classical logic. There is a range of proposals for logics (called paraconsistent logics) for reasoning with inconsistency each with pros and cons. Selecting an appropriate paraconsistent logic for an application depends upon the requirements of the application. Here we review paraconsistent logics for the potentially significant application area of technology for structured text. Structured text is a general concept that is implicit in a variety of approaches to handling information. Syntactically, an item of structured text is a number of grammatically simple phrases together with a semantic label for each phrase. Items of structured text may be nested within larger items of structured text. The semantic labels in a structured text are meant to parameterize a stereotypical situation, and so a particular item of structured text is an instance of that stereotypical situation. Much information is potentially available as structured text, including tagged text in XML, text in relational and object-oriented databases, and the output from information extraction systems in the form of instantiated templates. In this review paper, we formalize the concept of structured text, and then focus on how we can identify inconsistency in items of structured text, and reason with these inconsistencies. Then we review key approaches to paraconsistent reasoning, and discuss the application of them to reasoning with inconsistency in structured text.

scholarly journals Paraconsistency and its Philosophical Interpretations

2018 ◽  
Vol 15 (2) ◽  
pp. 151 ◽  
Author(s):  
Eduardo Barrio ◽  
Bruno Da Re
Keyword(s):  
Paraconsistent Logic ◽  
Paraconsistent Logics ◽  
Ontological Position ◽  
Formal Feature

Many authors have considered that the notions of paraconsistency and dialetheism are intrinsically connected, in many cases, to the extent of confusing both phenomena. However, paraconsistency is a formal feature of some logics that consists in invalidating the rule of explosion, whereas dialetheism is a semantical/ontological position consisting in accepting true contradictions. In this paper, we argue against this connection and show that it is perfectly possible to adopt a paraconsistent logic and reject dialetheism, and, moreover, that there are examples of non-paraconsistent logics that can be interpreted in a dialetheic way.

scholarly journals Paraconsistent Vagueness: Why Not?

2008 ◽  
Vol 6 ◽  
Author(s):  
Dominic Hyde ◽  
Mark Colyvan
Keyword(s):  
Paraconsistent Logic ◽  
Prima Facie ◽  
Paraconsistent Logics ◽  
Contemporary Work

The idea that the phenomenon of vagueness might be modelled by a paraconsistent logic has been little discussed in contemporary work on vagueness, just as the idea that paraconsistent logics might be fruitfully applied to the phenomenon of vagueness has been little discussed in contemporary work on paraconsistency. This is prima facie surprising given that the earliest formalisations of paraconsistent logics presented in Jáskowski and Halldén were presented as logics of vagueness. One possible explanation for this is that, despite initial advocacy by pioneers of paraconsistency, the prospects for a paraconsistent account of vagueness are so poor as to warrant little further consideration. In this paper we look at the reasons that might be offered in defence of this negative claim. As we shall show, they are far from compelling. Paraconsistent accounts of vagueness deserve further attention.

In Pursuit of the Non-Trivial

Episteme ◽  
2019 ◽  
pp. 1-16
Author(s):  
Colin R. Caret
Keyword(s):  
Classical Logic ◽  
Fundamental Problem ◽  
Paraconsistent Logic ◽  
Paraconsistent Logics ◽  
Scientific Theories ◽  
Preferential Treatment ◽  
Logical Reconstruction ◽  
Inconsistent Theories

AbstractThis paper is about the underlying logical principles of scientific theories. In particular, it concerns ex contradictione quodlibet (ECQ) the principle that anything follows from a contradiction. ECQ is valid according to classical logic, but invalid according to paraconsistent logics. Some advocates of paraconsistency claim that there are ‘real’ inconsistent theories that do not erupt with completely indiscriminate, absurd commitments. They take this as evidence in favor of paraconsistency. Michael (2016) calls this the non-triviality strategy (NTS). He argues that this strategy fails in its purpose. I will show that Michael's criticism significantly over-reaches. The fundamental problem is that he places more of a burden on the advocate of paraconsistency than on the advocate of classical logic. The weaknesses in Michael's argument are symptomatic of this preferential treatment of one viewpoint in the debate over another. He does, however, make important observations that allow us to clarify some of the complexities involved in giving a logical reconstruction of a theory. I will argue that there are abductive arguments deserving of further consideration for the claim that paraconsistent logic offers the best explanation of the practice of inconsistent science. In this sense, the debate is still very much open.

Pathology of Bone Cells in Pigs with Experimental Turbinate Osteoporosis (Atrophic Rhinitis)

1971 ◽  
Vol 29 ◽  
pp. 304-305
Author(s):  
A. W. Fetter ◽  
C. C. Capen
Keyword(s):  
Mucous Membrane ◽  
Bone Cells ◽  
Atrophic Rhinitis ◽  
Infectious Agents ◽  
Metabolic Disturbances ◽  
Progressive Reduction ◽  
Naturally Occurring ◽  
Fundamental Cause ◽  
Osteocytic Osteolysis ◽  
Uncertain Etiology

Atrophic rhinitis in swine is a disease of uncertain etiology in which infectious agents, hereditary predisposition, and metabolic disturbances have been reported to be of primary etiologic importance. It shares many similarities, both clinically and pathologically, with ozena in man. The disease is characterized by deformity and reduction in volume of the nasal turbinates. The fundamental cause for the localized lesion of bone in the nasal turbinates has not been established. Reduced osteogenesis, increased resorption related to inflammation of the nasal mucous membrane, and excessive resorption due to osteocytic osteolysis stimulated by hyperparathyroidism have been suggested as possible pathogenetic mechanisms.The objectives of this investigation were to evaluate ultrastructurally bone cells in the nasal turbinates of pigs with experimentally induced atrophic rhinitis, and to compare these findings to those in control pigs of the same age and pigs with the naturally occurring disease, in order to define the fundamental lesion responsible for the progressive reduction in volume of the osseous core.

High Resolution Replication of Organoclay Surfaces

1982 ◽  
Vol 40 ◽  
pp. 576-577
Author(s):  
W. W. Barker ◽  
W. E. Rigsby ◽  
V. J. Hurst ◽  
W. J. Humphreys
Keyword(s):  
Clay Mineral ◽  
Organic Molecule ◽  
Organic Molecules ◽  
X Ray Diffraction ◽  
Xrd Pattern ◽  
X Ray ◽  
Naturally Occurring ◽  
Silicate Layers ◽  
Mineral Identification

Experimental clay mineral-organic molecule complexes long have been known and some of them have been extensively studied by X-ray diffraction methods. The organic molecules are adsorbed onto the surfaces of the clay minerals, or intercalated between the silicate layers. Natural organo-clays also are widely recognized but generally have not been well characterized. Widely used techniques for clay mineral identification involve treatment of the sample with H2 O2 or other oxidant to destroy any associated organics. This generally simplifies and intensifies the XRD pattern of the clay residue, but helps little with the characterization of the original organoclay. Adequate techniques for the direct observation of synthetic and naturally occurring organoclays are yet to be developed.

SEM study of the morphological effects of kinetin and zeatin on the growth and development of the apical meristem in wheat

1995 ◽  
Vol 53 ◽  
pp. 978-979
Author(s):  
G. M. Hutchins ◽  
J. S. Gardner
Keyword(s):  
Growth And Development ◽  
Furfuryl Alcohol ◽  
Apical Meristem ◽  
Plant Cells ◽  
Triticum Aestivum L ◽  
Morphological Development ◽  
Naturally Occurring ◽  
Chinese Spring Wheat ◽  
Sem Study ◽  
Moist Environment

Cytokinins are plant hormones that play a large and incompletely understood role in the life-cycle of plants. The goal of this study was to determine what roles cytokinins play in the morphological development of wheat. To achieve any real success in altering the development and growth of wheat, the cytokinins must be applied directly to the apical meristem, or spike of the plant. It is in this region that the plant cells are actively undergoing mitosis. Kinetin and Zeatin were the two cytokinins chosen for this experiment. Kinetin is an artificial hormone that was originally extracted from old or heated DNA. Kinetin is easily made from the reaction of adenine and furfuryl alcohol. Zeatin is a naturally occurring hormone found in corn, wheat, and many other plants.Chinese Spring Wheat (Triticum aestivum L.) was used for this experiment. Prior to planting, the seeds were germinated in a moist environment for 72 hours.

Fine structure and properties of defects in naturally occurring silicates and oxides

1990 ◽  
Vol 48 (4) ◽  
pp. 460-461
Author(s):  
David R. Veblen
Keyword(s):  
Chemical Reactions ◽  
High Resolution Electron Microscopy ◽  
Extended Defects ◽  
Single Chain ◽  
Naturally Occurring ◽  
Resolution Electron ◽  
Fine Structures ◽  
Image Simulations ◽  
Similar Crystal Structure

Extended defects and interfaces control many processes in rock-forming minerals, from chemical reactions to rock deformation. In many cases, it is not the average structure of a defect or interface that is most important, but rather the structure of defect terminations or offsets in an interface. One of the major thrusts of high-resolution electron microscopy in the earth sciences has been to identify the role of defect fine structures in reactions and to determine the structures of such features. This paper will review studies using HREM and image simulations to determine the structures of defects in silicate and oxide minerals and present several examples of the role of defects in mineral chemical reactions. In some cases, the geological occurrence can be used to constrain the diffusional properties of defects.The simplest reactions in minerals involve exsolution (precipitation) of one mineral from another with a similar crystal structure, and pyroxenes (single-chain silicates) provide a good example. Although conventional TEM studies have led to a basic understanding of this sort of phase separation in pyroxenes via spinodal decomposition or nucleation and growth, HREM has provided a much more detailed appreciation of the processes involved.

Flavonoids in adipose tissue inflammation and atherosclerosis: one arrow, two targets

2020 ◽  
Vol 134 (12) ◽  
pp. 1403-1432 ◽  
Author(s):  
Manal Muin Fardoun ◽  
Dina Maaliki ◽  
Nabil Halabi ◽  
Rabah Iratni ◽  
Alessandra Bitto ◽  
...  
Keyword(s):  
Adipose Tissue ◽  
Fruits And Vegetables ◽  
Metabolic Diseases ◽  
Therapeutic Agents ◽  
Adipose Tissue Inflammation ◽  
Cellular Mechanisms ◽  
Tissue Inflammation ◽  
Cholesterol Levels ◽  
Naturally Occurring ◽  
Pro Inflammatory Cytokines

Abstract Flavonoids are polyphenolic compounds naturally occurring in fruits and vegetables, in addition to beverages such as tea and coffee. Flavonoids are emerging as potent therapeutic agents for cardiovascular as well as metabolic diseases. Several studies corroborated an inverse relationship between flavonoid consumption and cardiovascular disease (CVD) or adipose tissue inflammation (ATI). Flavonoids exert their anti-atherogenic effects by increasing nitric oxide (NO), reducing reactive oxygen species (ROS), and decreasing pro-inflammatory cytokines. In addition, flavonoids alleviate ATI by decreasing triglyceride and cholesterol levels, as well as by attenuating inflammatory mediators. Furthermore, flavonoids inhibit synthesis of fatty acids and promote their oxidation. In this review, we discuss the effect of the main classes of flavonoids, namely flavones, flavonols, flavanols, flavanones, anthocyanins, and isoflavones, on atherosclerosis and ATI. In addition, we dissect the underlying molecular and cellular mechanisms of action for these flavonoids. We conclude by supporting the potential benefit for flavonoids in the management or treatment of CVD; yet, we call for more robust clinical studies for safety and pharmacokinetic values.

Sign in / Sign up

Export Citation Format

Share Document