In a previous work [the second and the third author, “On paraconsistent deontic logic”, Philosophia 16, 293-303 (1986)] investigated certain systems of paraconsistent deontic in order to investigate the problem of contradiction in the domain of ethics. This paper continues this line of research, studying some paraconsistent systems containing alethic and deontic modalities. This approach allows us to treat the principles of Kant (OA→ \diamond A) and Hintikka (\square A → OA) from the classical and from the paraconsistent point of (...) view, and to propose systems in which either, both, or neither of these principles is valid. (shrink)

S. Jakowski introduced the discussive prepositional calculus D 2as a basis for a logic which could be used as underlying logic of inconsistent but nontrivial theories (see, for example, N. C. A. da Costa and L. Dubikajtis, On Jakowski's discussive logic, in Non-Classical Logic, Model Theory and Computability, A. I. Arruda, N. C. A da Costa and R. Chuaqui edts., North-Holland, Amsterdam, 1977, 37–56). D 2has afterwards been extended to a first-order predicate calculus and to a higher-order logic (cf. the (...) quoted paper). In this paper we present a natural version of D 2, in the sense of Jakowski and Gentzen; as a consequence, we suggest a new formulation of the discussive predicate calculus (with equality). A semantics for the new calculus is also presented. (shrink)

In his thesis Para uma Teoria Geral dos Homomorfismos (1944), the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we (...) tried to keep in mind, so much as possible, the gist of his standpoint. (shrink)

Stiff Person Syndrome is a rare autoimmune disorder associated with antibodies against glutamic acid decarboxylase, the key enzyme in γ -aminobutyric acid synthesis. In order to investigate the role of cerebral benzodiazepinereceptor binding in SPS, we performed [ 11 C]flumazenil positron emission tomography in a female patient with SPS compared to nine healthy controls. FMZ is a radioligand to the postsynaptic central benzodiazepine receptor which is co-localized with the GABA-A receptor. In the SPS patient, we found a global reduction of (...) cortical FMZ binding. In addition, distinct local clusters of reduced radiotracer binding were observed. These data provide first in vivo evidence for a reduced postsynaptic GABA-A receptor availability which may reflect the loss of GABAergic neuronal inhibition in SPS. (shrink)

We propose a formalization of Meinong's theory of objects with the help of Hilbert's $\epsilon$-symbol and a paraconsistent logical system, with an eye towards its application in an axiomatization of the natural sciences.

S. Jaśkowski introduced the discussive propositional calculus D₂ as a basis for a logic which could be used as underlying logic of inconsistent but nontrivial theories. D₂ has afterwards been extended to a first-order predicate calculus and to a higher-order logic. In this paper we present a natural version of D₂, in the sense of Jaśkowski and Gentzen; as a consequence, we suggest a new formulation of the discussive predicate calculus. A semantics for the new calculus is also presented.

A landslide inventory is a detailed register of the spatial distribution, geometry, and attributes of landslides and is essential for landslide hazard analysis, risk management, regional planning, and land use management and development, especially in landslide-prone regions. However, the development of a national landslide inventory is time-consuming and costly. Accordingly, most developing countries, including Sri Lanka, have basic landslide databases, which identify the location, date, and time of occurrence on a point map. This study, therefore, aimed to introduce a new (...) method to report landslide information via a mobile application based on a participatory approach with information recorded in a web portal called the participatory landslide inventory. Twenty-one landslide site locations and their attributes were captured on the PLI web portal using the PLI mobile app. The system administrator then demarcated the landslide boundaries and performed geometrical calculations for each landslide to complete the inventory. Finally, the landslide information was published through the PLI web portal. The PLI is an effective and efficient tool for developing a landslide inventory economically. (shrink)

We first show that a theorem by Cartan that generalizes the Frobenius integrability theorem allows us (given certain conditions) to obtain noncurvature solutions for the differential Bianchi conditions and for higher-degree similar relations. We then prove that there is no algorithmic procedure to determine, for a reasonable restricted algebra of functions on spacetime, whether a given connection form satisfies the preceding conditions. A parallel result gives a version of Gödel's first incompleteness theorem within an (axiomatized) theory of gauge fields.

© 2016 Regents of the University of California.The Review summarizes much of particle physics and cosmology. Using data from previous editions, plus 3,062 new measurements from 721 papers, we list, evaluate, and average measured properties of gauge bosons and the recently discovered Higgs boson, leptons, quarks, mesons, and baryons. We summarize searches for hypothetical particles such as supersymmetric particles, heavy bosons, axions, dark photons, etc. All the particle properties and search limits are listed in Summary Tables. We also give numerous (...) tables, figures, formulae, and reviews of topics such as Higgs Boson Physics, Supersymmetry, Grand Unified Theories, Neutrino Mixing, Dark Energy, Dark Matter, Cosmology, Particle Detectors, Colliders, Probability and Statistics. Among the 117 reviews are many that are new or heavily revised, including those on Pentaquarks and Inflation. The complete Review is published online in a journal and on the website of the Particle Data Group. The printed PDG Book contains the Summary Tables and all review articles but no longer includes the detailed tables from the Particle Listings. A Booklet with the Summary Tables and abbreviated versions of some of the review articles is also available. (shrink)

Contrary to the predominant way of doing physics, we claim that the geometrical structure of a general differentiable space-time manifold can be determined from purely dynamical considerations. Anyn-dimensional manifoldV a has associated with it a symplectic structure given by the2n numbersp andx of the2n-dimensional cotangent fiber bundle TVn. Hence, one is led, in a natural way, to the Hamiltonian description of dynamics, constructed in terms of the covariant momentump (a dynamical quantity) and of the contravariant position vectorx (a geometrical quantity). (...) That is, the Hamiltonian description furnishes a natural way of relating dynamics and geometry. Thus, starting from the Hamiltonian state function (for a particle)—taken as the fundamental dynamical entity—we show that general relativistic physics implies a general pseudo-Riemannian geometry, whereas the physics of the special theory of relativity is tied up with Minkowski space-time, and nonrelativistic dynamics is bound up to Newton-Cartan space-time. (shrink)

Din-bilim ilişkisi tarihsel süreçte olduğu gibi günümüzde de tartışılmaya devam etmektedir. Hristiyan Avrupa’sında ortaya çıkan tartışmaların İslam dünyasını da etkilediği bir vakıadır. İslam kelamcıları, İslam dini ile bilim arasında bir çatışmanın olmadığı genel kabulüyle hareket ederler. Özellikle bu noktada kelamın vesâil alanı, metafiziğin desteklendiği alan olarak kabul görmektedir. Modern dönemde vesâil alanında önemli bilimsel çalışmaların olduğu görülmektedir bunlardan biri de Nöroteolojidir. Nöroteoloji, davranışı nöral (sinirsel) temelde inceleyip açıklamaya çalışan bilim dalıdır. Bu noktada özellikle dindarlığın nörolojik temelleri ve evrimsel işlevi hakkında (...) önemli bilgiler sunmaktadır. Bu çalışmada kelamın en önemli tartışma konularından biri olan kesb nazariyesi, Nöroteolojik açıdan Benjamin libet deneyiyle değerlendirilmektedir. Deney sonuçları yayınlandığında o güne kadar felsefe ve bilim dünyasında tartışılagelen insanın irade özgürlüğü meselesine yeni bir tartışma zemini hazırlamıştır. Özellikle Eş’ârî’nin kesb anlayışının da ciddi tartışmalara sebebiyet verdiği bilinmektedir. Allah’ın mutlaklığı açısından ele alınan bu düşünce, insan özgürlüğü ve sorumluluğunu ortadan kaldırır düşüncesiyle eleştirilmiştir. Ancak Benjamin libet deneyinin, Eş’ârî’nin kesb anlayışına uygun veriler içermesi dikkat çeken bir husus olarak göze çarpmaktadır. (shrink)

It is necessary to take into account the data of science in the theoretical debates conducted by scientists contributing ontological theories in order to develop new approaches to theological issues in Islamic thought. Even, Kalam scholars with the duty of defending and basing the principles of Islam in the classical sense have established a theological understanding intertwined with science in understanding both existence philosophically and the Script theologically. With its discoveries and theories in the last century, it can be argued (...) that modern science has made a serious progress compared to the past. Maintaining its own methodology and paradigm, every scientific discipline has the opportunity to benefit from the methods and data of other disciplines. Consequently, it is possible to assert that Kalam can enjoy the same opportunity too, as long as staying in its own problem area. According to modern science, the motion system is the unity of structures that enable living things to move. Moreover, Bones and joints, which are the structures of the skeletal system, are passive elements of the movement system. Muscles, on the other hand, are the active elements of the movement system and provide the movement of the body by affecting the bones and joints. Muscle tissue shapes the body by adhering to the bones, besides enabling movement activity to occur. One of the most important systems that provide movement is the nervous system. Because for a person to have movement, the muscles must contract, and the muscles must be stimulated for the contraction of the muscles. The system that enables this contraction to occur is the nervous system. Energy is also required for contraction to occur in the human body. Muscles create energy for movement by first providing their energy from the ATP molecule present in the muscle cells. Considering the movement theories of classical theology scholars, it is seen that they shaped the occurrence of human actions through the concept of potency. While the scholars classify power as spiritual/mental and physical strength in terms of its structure, they have characterized it as accident in terms of its nature. In this context, we can say that the equivalent of the power, which is regarded as necessary for the formation of human acts by the theologians, is the movement system in today's science. The spirit/mental that scholars regard as a structure of power for the occurrence of human action can be regarded as the electrical activity that activates muscles when considered within the framework of the movement system of today's science. It is seen that Kalam scholars emphasize physical competence in their definitions of power as well. At this point, Ash'arians defined the power as the soundness of organs, Mu’tazila expressed it as the presence of organs and their being away from disasters, and the Mâturîdîs stated it as the organs being healthy. With these definitions, Kalam scholars mean that a person should also be physically competent to make a movement. The structures scientifically accepted as biological and physical competence in the movement system are the skeletal system, muscles and nervous system. Therefore, we can say that the strength of the physical fitness/well-being emphasized in the definition of power by theologians corresponds scientifically to the skeletal system, muscles and nervous system. One of the issues that Kalam scholars discuss about power is the issue of the accident of power. The reason why they describe power as an accident is to emphasize its impermanence and to show that it was created by Allah. So, in modern science, electrical activity must occur in the brain in order for human organs to move. The occurrence of this electrical activity is independent of the human being. The fact that electrical activity occurs independently from human beings shows that it conforms to Kalam scholars’ definition of the accident. As a result, we can say that the theory of power created by scholars for human movement has a counterpart in the movement system put forward by today's science. (shrink)

A multidisciplinary faculty committee designed a curriculum to shape biomedical graduate students into researchers with a high commitment to professionalism and social responsibility and to provide students with tools to navigate complex, rapidly evolving academic and societal environments with a strong ethical commitment. The curriculum used problem-based learning (PBL), because it is active and learner-centred and focuses on skill and process development. Two courses were developed: Scientific Professionalism: Scientific Integrity addressed discipline-specific and broad professional norms and obligations for the ethical (...) practice of science and responsible conduct of research (RCR). Scientific Professionalism: Bioethics and Social Responsibility focused on current ethical and bioethical issues within the scientific profession, and implications of research for society. Each small-group session examined case scenarios that included: (1) learning objectives for professional norms and obligations; (2) key ethical issues and philosophies within each topic area; (3) one or more of the RCR instructional areas; and (4) at least one type of moral reflection. Cases emphasised professional standards, obligations and underlying philosophies for the ethical practice of science, competing interests of stakeholders and oversight of science (internal and external). To our knowledge, this is the first use of a longitudinal, multi-semester PBL course to teach scientific integrity and professionalism. Both faculty and students endorsed the active learning approach for these topics, in contrast to a compliance-based approach that emphasises learning rules and regulations. (shrink)

Background If trials of therapeutic interventions are to serve society's interests, they must be of high methodological quality and must satisfy moral commitments to human subjects. The authors set out to develop a clinical - trials compendium in which standards for the ethical treatment of human subjects are integrated with standards for research methods. Methods The authors rank-ordered the world's nations and chose the 31 with >700 active trials as of 24 July 2008. Governmental and other authoritative entities of the (...) 31 countries were searched, and 1004 English-language documents containing ethical and/or methodological standards for clinical trials were identified. The authors extracted standards from 144 of those: 50 designated as ‘core’, 39 addressing trials of invasive procedures and a 5% sample of the remainder. As the integrating framework for the standards we developed a coherent taxonomy encompassing all elements of a trial's stages. Findings Review of the 144 documents yielded nearly 15 000 discrete standards. After duplicates were removed, 5903 substantive standards remained, distributed in the taxonomy as follows: initiation, 1401 standards, 8 divisions; design, 1869 standards, 16 divisions; conduct, 1473 standards, 8 divisions; analysing and reporting results, 997 standards, four divisions; and post-trial standards, 168 standards, 5 divisions. Conclusions The overwhelming number of source documents and standards uncovered in this study was not anticipated beforehand and confirms the extraordinary complexity of the clinical trials enterprise. This taxonomy of multinational ethical and methodological standards may help trialists and overseers improve the quality of clinical trials, particularly given the globalisation of clinical research. (shrink)

This copiously illustrated volume is the first systematic general work to do justice to the fruits of recent scholarship in the history of natural history. Public interest in this lively field has been stimulated by environmental concerns and through links with the histories of art, collecting and gardening. The centrality of the development of natural history for other branches of history - medical, colonial, gender, economic, ecological - is increasingly recognized. Twenty-four specially commissioned essays cover the period from the sixteenth (...) century, when the first institutions of natural history were created, to its late nineteenth-century transformation by practitioners of the new biological sciences. An introduction discusses novel approaches that have made this a major focus for research in cultural history. The essays, which include suggestions for further reading, offer a coherent and accessible overview of a fascinating subject. An epilogue highlights the relevance of this wide-ranging survey for current debates on museum practice, the display of ecological diversity and concerns about the environment. (shrink)