Blockchain is a pioneering technology that allows the creation of innovative information exchange ecosystems thanks to unique properties, such as immutability, distribution and transparency. By combining this technology with the emergent internet of things (IoT), many innovative business models can be created. The main objective of this work is to present the design and an initial implementation of a decentralized rental system that takes advantage of smart contracts developed on a public blockchain, combined with the potential of the IoT and (...) its intimate relationship with cyber-physical systems. The logic to be implemented in the blockchain is applied in this paper by using the Ethereum programming language, so that the developed application covers the entire car rental process offered in traditional web applications, but adding more autonomy, functionalities and ease of use for both lessees and lessors. Following Ethereum application development guidelines, all business logic is located in the smart contracts implemented in the network, where they can be used to control the car rental system. While this is a work in progress, the results obtained in the first proof of concept have been very promising. (shrink)

A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the rich (...) will enroll. There are many different things one can say about this argument, but many agree that if we do not equivocate (if the terms mean the same thing in the premises and the conclusion) then the argument is valid, that is, the conclusion follows deductively from the premises. This does not mean that the conclusion is true. Perhaps the premises are not true. However, if the premises are true, then the conclusion is also true, as a matter of logic. This entry is about the relation between premises and conclusions in valid arguments. (shrink)

As it is known, there is no rule satisfying Additivity in the complete domain of bankruptcy problems. This paper proposes a notion of partial Additivity in this context, to be called µ-additivity. We find that µ-additivity, together with two quite compelling axioms, anonymity and continuity, identify the Minimal Overlap rule, introduced by Neill (1982).

Alireza Bagheri supports a policy on organ procurement where individuals could choose their own definition of death between two or more socially accepted alternatives. First, we claim that such a policy, without any criterion to distinguish accepted from acceptable definitions, easily leads to the slippery slope that Bagheri tries to avoid. Second, we suggest that a public discussion about the circumstances under which the dead donor rule could be violated is more productive of social trust than constantly moving the line (...) between life and death. (shrink)

Organ transplantation remains one of modern medicine's remarkable achievements. It saves lives, improves quality of life, diminishes healthcare expenditures in end-stage renal patients, and enjoys high success rates. Yet the promise of transplantation is substantially compromised by the scarcity of organs. The gap between the number of patients on waiting lists and the number of available organs continues to grow. As of January 2006, the combined waiting list for all organs in the United States was 90,284. Unfortunately, thousands of potential (...) organs are lost each year, primarily due to lack of consent to donation from the deceased before death, or from the family thereafter. Only fifty percent of potential donors – the “conversion” rate – become actual donors. The costs attributed to organ shortage are substantial – Medicare paid over $15.5 billion in 2002 for treating patients with end-stage renal-disease, who predominate on organ waiting lists. (shrink)

The rise of mathematical developments in the theories of consciousness has led to new measures to detect consciousness in a system. The Integrated Information Theory is one of the best mathematical rooted attempts to quantify the level of consciousness in a system with Φ as the effective information generated in a system above its parts. Recently, the IIT has inspired the Perturbational Complexity Index to detect conscious states in patients with disorders of consciousness, and it has shown to have almost (...) perfect classification accuracy. In this study, we explore the statistical correspondence between the theoretical Φ and the experimental PCI through a neurocomputational model of coupled oscillators that can be artificially perturbed, which mainly focuses on the dynamics of collective synchronization between subsets of brain areas. Our results reveal that both measures are statistically related but, in principle, this relationship is far to be perfect. These results are discussed in the context of the model of coupled oscillators, which mainly focuses on the dynamics of collective synchronization between subsets of brain areas. (shrink)

Obtaining informed consent has typically become a stylized ritual of presenting and signing a form, in which physicians are acting defensively and patients lack control over the content and flow of information. This leaves patients at risk both for being under-informed relative to their decisional needs and of receiving more information than they need or desire. By personalizing the process of seeking and receiving information and allowing patients to specify their desire for information in a prospective manner, we aim to (...) shift genuine control over the informational process to patients. A new paradigm of Information on Demand, such as we suggest, would also enhance legal certainty, achieve greater congruence between the information patients want and the information they receive, and promote more meaningful patient-physician interactions, a desirable outcome that has been difficult to achieve by other means. (shrink)

In an explicit attempt to reduce physician paternalism and encourage patient participation in making health care decisions, the informed consent doctrine has become a foundational precept in medical ethics and health law. The underlying ethical principle on which informed consent rests — autonomy — embodies the idea that as rational moral agents, patients should be in command of decisions that relate to their bodies and lives. The corollary obligation of physicians to respect and facilitate patient autonomy is reflected in the (...) rules that have been created to implement consent procedures, especially those requiring disclosure of relevant information.However, there are many practical impediments to patient self-determination in health care decisionmaking. Well-meaning physicians often lack the time to live up to the ideal of facilitating genuine, informed deliberation with and by their patients, and many lack the motivation or skill to do so successfully. (shrink)

Innovation and sustainability are postulated as key variables for the future of large commercial distribution. In addition, the development of Information and Communication Technologies solutions, and especially those related to Artificial Intelligence and digitization, are particularly relevant factors in the current pandemic scenario in which retail companies operate. These tools are essential to face the derived changes in commercial relations, especially between companies and consumers. For all these reasons, this work aims to examine the effect of ICT, as a driving (...) factor for innovation and its direct and indirect impact on sustainability in retailing. Furthermore, this study takes into account the eventual differences in these relationships according to the types of store formats. To achieve the aforementioned objective, a theoretical model is proposed that is tested through an empirical study carried out on a sample of 510 consumers of three store formats of grocery retail formats in Spain. For the analysis of the data obtained, the partial least squares regression technique and the Multigroup Analysis were used. The results obtained confirm the direct and indirect effect of ICT on innovation and sustainability in grocery retailing. In addition, the results indicate that consumers unequally perceive the technological progress of companies. These differences are greater between discount stores versus hypermarkets and supermarkets. The larger the size of the store format, the higher the incidence of ICT in relation to innovation. Therefore, it is vital to take ICT into consideration, where Artificial Intelligence is imperative for the growth and development of sustainable competitive advantages in retail companies. (shrink)

The European project European and Latin American Systems of Ethics Regulation of Biomedical Research Project (EULABOR) has carried out the first comparative analysis of ethics regulation systems for biomedical research in seven countries in Europe and Latin America, evaluating their roles in the protection of human subjects. We developed a conceptual and methodological framework defining ‘ethics regulation system for biomedical research’ as a set of actors, institutions, codes and laws involved in overseeing the ethics of biomedical research on humans. This (...) framework allowed us to develop comprehensive national reports by conducting semi-structured interviews to key informants. These reports were summarised and analysed in a comparative analysis. The study showed that the regulatory framework for clinical research in these countries differ in scope. It showed that despite the different political contexts, actors involved and motivations for creating the regulation, in most of the studied countries it was the government who took the lead in setting up the system. The study also showed that Europe and Latin America are similar regarding national bodies and research ethics committees, but the Brazilian system has strong and noteworthy specificities. (shrink)

Gil R, Arroyo-Anllo EM, Ingrand P, Gil M, Neau JP, Ornon C, Bonnaud V. Self-consciousness and Alzheimer’s disease. Acta Neurol Scand 2001: 104: 296–300. # Munksgaard 2001. Objectives – To propose a neuropsychological study of the various aspects of self-consciousness (SC) in Alzheimer’s disease. Methods – Forty-five patients with probable mild or moderate AD were included in the study. Severity of their dementia was assessed by the Mini Mental State (MMS). Fourteen questions were prepared to evaluate SC. Results – No (...) significant correlations were found between SC score and educational level, age, and duration of disease. A significant correlation was found between SC score and the severity of dementia, whereas frontal disturbances were just short of the significance threshold. The various aspects of SC were not impaired to the same degree. The most disturbed ones were awareness of cognitive deficiencies, moral judgements and prospective memory. The least disturbed aspects were awareness of identity and of mental representation of the body. Items relating to anosognosia and moral judgements were significantly correlated with the MMS score, whereas affective state, body representation disorders, prospective memory, and capacities for introspection were not related to the severity of the dementia. Consciousness of identity was sound, regardless of MMS score. Conclusions – AD clearly induces an heterogeneous impairment of SC. SC requires a convergence of many neural networks. In AD, neuronal alterations involve many cortical areas and information sent to the associative frontal cortex from memory, language and visuospatial areas is lacking or disturbed. Thus, the sequential order of successive stimuli cannot be maintained by the heteromodal associative cortex (dorsal convexity of the prefrontal cortex), and the supramodal associative cortex (located rostrally in the frontal lobes) is unable to provide reliable monitoring and assessment of simultaneous neural cognitive networks carrying insufficient and inadequate input. The core deficiency in AD patients might be impaired SC equated with the disability to maintain sequential and simultaneous ‘‘attention to life’’. The Self-Consciousness Questionnaire, a clinical scale providing multidimensional measurement, indicates that different aspects of consciousness are not correlated with overall cognitive deficiency as determined by the MMSE. (shrink)

Łukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Łukasiewicz algebra on the unit real interval. In the literature a deductive system axiomatized in a Hilbert style was associated to it, and was later shown to be semantically defined from Łukasiewicz algebra by using a “truth-preserving” scheme. This deductive system is algebraizable, non-selfextensional and does not satisfy the deduction theorem. In addition, there exists no Gentzen calculus fully adequate (...) for it. Another presentation of the same deductive system can be obtained from a substructural Gentzen calculus. In this paper we use the framework of abstract algebraic logic to study a different deductive system which uses the aforementioned algebra under a scheme of “preservation of degrees of truth”. We characterize the resulting deductive system in a natural way by using the lattice filters of Wajsberg algebras, and also by using a structural Gentzen calculus, which is shown to be fully adequate for it. This logic is an interesting example for the general theory: it is selfextensional, non-protoalgebraic, and satisfies a “graded” deduction theorem. Moreover, the Gentzen system is algebraizable. The first deductive system mentioned turns out to be the extension of the second by the rule of Modus Ponens. (shrink)

Background: Treating medication-refractory freezing of gait in Parkinson’s disease remains challenging despite several trials reporting improvements in motor symptoms using subthalamic nucleus or globus pallidus internus deep brain stimulation. Pedunculopontine nucleus region DBS has been used for medication-refractory FoG, with mixed findings. FoG, as a paroxysmal phenomenon, provides an ideal framework for the possibility of closed-loop DBS.Methods: In this clinical trial, five subjects with medication-refractory FoG underwent bilateral GPi DBS implantation to address levodopa-responsive PD symptoms with open-loop stimulation. Additionally, PPN (...) DBS leads were implanted for CL-DBS to treat FoG. The primary outcome of the study was a 40% improvement in medication-refractory FoG in 60% of subjects at 6 months when “on” PPN CL-DBS. Secondary outcomes included device feasibility to gauge the recruitment potential of this four-lead DBS approach for a potentially larger clinical trial. Safety was judged based on adverse events and explantation rate.Findings: The feasibility of this approach was demonstrated as we recruited five subjects with both “on” and “off” medication freezing. The safety for this population of patients receiving four DBS leads was suboptimal and associated with a high explantation rate of 40%. The primary clinical outcome in three of the five subjects was achieved at 6 months. However, the group analysis of the primary clinical outcome did not reveal any benefit.Interpretation: This study of a human PPN CL-DBS trial in medication-refractory FoG showed feasibility in recruitment, suboptimal safety, and a heterogeneous clinical effect in FoG outcomes. (shrink)

Organ transplantation has become a proven, cost-effective lifesaving treatment, but its promise is contingent on the number of available organs. The growing gap between the demand and supply results in unnecessary loss and diminished quality of life as well as high costs for surviving patients and health insurers. Twenty years after the enactment of the National Organ Transplantation Act, it is time to rethink the moral basis and overall design of organ transplantation policy. We propose a national plan for organ (...) transplantation insurance under which the federal government would assume responsibility for increasing the organ supply and would cover all costs associated with transplantation for patients not otherwise covered. (shrink)

Studies have shown that as MRI T2 relaxation time lengthens there is a shift toward more unbound or “free-water” and less partitioning of the protein/lipid molecules per unit volume. A shift toward less water partitioning or lengthened MRI T2 relaxation time is linearly related to reduced high frequency EEG amplitude, reduced short distance EEG coherence, increased long distance EEG coherence, and reduced cognitive functioning (Thatcher et al. 1998a; 1998b).

In this paper we show that, in Gentzen systems, there is a close relation between two of the main characters in algebraic logic and proof theory respectively: protoalgebraicity and the cut rule. We give certain conditions under which a Gentzen system is protoalgebraic if and only if it possesses the cut rule. To obtain this equivalence, we limit our discussion to what we call regular sequent calculi, which are those comprising some of the structural rules and some logical rules, in (...) a sense we make precise. We note that this restricted set of rules includes all the usual rules in the literature. We also stress the difference between the case of two-sided sequents and the case of many-sided sequents, in which more conditions are needed. (shrink)

ABSTRACT In this paper we study consequence relations on the set of many sided sequents over a propositional language. We deal with the consequence relations axiomatized by the sequent calculi defined in [2] and associated with arbitrary finite algebras. These consequence relations are examples of what we call Gentzen systems. We define a semantics for these systems and prove a Strong Completeness Theorem, which is an extension of the Completeness Theorem for provable sequents stated in [2]. For the special case (...) of the finite linear MV-algebras, the Strong Completeness Theorem was proved in [10], as a consequence of McNaughton's Theorem. The main tool to prove this result for arbitrary algebras is the deduction-detachment theorem for Gentzen systems. (shrink)

ABSTRACT:A wide range of research uses patterns of genetic variation to infer genetic similarity between individuals, typically referred to as genetic ancestry. This research includes inference of human demographic history, understanding the genetic architecture of traits, and predicting disease risk. Researchers are not just structuring an intellectual inquiry when using genetic ancestry, they are also creating analytical frameworks with broader societal ramifications. This essay presents an ethics framework in the spirit of virtue ethics for these researchers: rather than focus on (...) rule following, the framework is designed to build researchers’ capacities to react to the ethical dimensions of their work. The authors identify one overarching principle of intellectual freedom and responsibility, noting that freedom in all its guises comes with responsibility, and they identify and define four principles that collectively uphold researchers’ intellectual responsibility: truthfulness, justice and fairness, anti-racism, and public beneficence. Researchers should bring their practices into alignment with these principles, and to aid this, the authors name three common ways research practices infringe these principles, suggest a step-by-step process for aligning research choices with the principles, provide rules of thumb for achieving alignment, and give a worked case. The essay concludes by identifying support needed by researchers to act in accord with the proposed framework. (shrink)

En el siguiente artículo intentaremos mostrar cómo la definición de Contingencia individual, dentro del discurso de Richard Rorty, genera ciertos problemas. Este autor menciona que debemos deslastrarnos de las siguientes dicotomías conceptuales: objetivo-subjetivo, moralidad-prudencia, apariencia-realidad, esencia-accidente, absoluto-relativo, entre otras. A todo esto Rorty propone un nuevo concepto: Contingencia, el cual sería una definición útil que lograría justificar la desaparición de las concepciones como algo que petrifica el conocimiento y lo hace inútil para entender la realidad, es decir, el conocimiento no (...) sería útil en el momento en que intenta “representar” la realidad porque la vacía. Luego de un recorrido por algunos autores representativos en lo concerniente a la conceptualización de “esencia”, nuestra conclusión es que la definición de Contingencia rortyana es una nueva petrificación de la realidad, es decir, Contingencia también termina “representado” lo que es “real”. Is Contingency an essence? A review of the theory of Contingency in Richard RortyIn the following article, it is shown how the definition of individual Contingency, within the discourse of Richard Rorty, produces certain problems. This author mentions we should put an end of the following conceptual dichotomies: objective-subjective, morality-prudence, appearance-reality, essence-accident, and absolute-relative, among others. To all this Rorty proposes a new concept: Contingency, which could be a useful definition which would achieve the justification of the loss of conceptions as something that petrifies knowledge, and renders it useless for understand reality, i.e., knowledge is not useful in the moment you try to "represent" reality because simply empties it. After a tour of some representative authors with regard to the conceptualization of "essence", our conclusion is that the definition of Rorty's Contingency is a new petrifaction of reality, i.e., Contingency also ends "representing" what is "real.". (shrink)

In our globalized world, differing conceptions of human nature and human values raise questions as to whether universal and partisan claims and perspectives can be reconciled, whether interreligious and intercultural conversations can help build human community, and whether a pluralistic ethos can transcend uncompromising notions as to what is true, good, and just. In this volume, world-class scholars from religious studies, the humanities, and the social sciences explore what it means to be human through a multiplicity of lives in time (...) and place as different as fourth-century BCE China and the world of an Alzheimer patient today. Refusing the binary, these essays go beyond description to theories of aging and acceptance, ethics in caregiving, and the role of ritual in healing the inevitable divide between the human and the ideal. (shrink)

I argue that (1) the accusation that psychological methods are too diverse conflates “reliability” with “validity”; (2) one must not choose methods by the results they produce – what matters is whether a method acceptably models the real-world situation one is trying to understand; (3) one must also distinguish methodological failings from differences that arise from the pursuit of different theoretical questions.

El artículo ofrece una reflexión personal sobre los principios de la bioética. El tiempo de los derechos exige su positivización: es un riesgo y una oportunidad. El autor analiza la situación actual y señala la fragilidad de los principios por su indeterminación. Muestra el proceso de positivización y concluye que los principios deben ser positivizados y las reglas formuladas de acuerdo con los principios. Como en los juegos de suma cero si las reglas ganan, los principios pierden. Parece que los (...) principios son víctimas de su éxito. Sin embargo, el triunfo de los principios, su transformación en reglas no anula, sino que refuerza los principios. (shrink)

When considering m-sequents, it is always possible to obtain an m-sequent calculus VL for every m-valued logic (defined from an arbitrary finite algebra L of cardinality m) following for instance the works of the Vienna Group for Multiple-valued Logics. The Gentzen relations associated with the calculi VL are always finitely equivalential but might not be algebraizable. In this paper we associate an algebraizable 2-Gentzen relation with every sequent calculus VL in a uniform way, provided the original algebra L has a (...) reduct that is a distributive lattice or a pseudocomplemented distributive lattice. We also show that the sentential logic naturally associated with the provable sequents of this algebraizable Gentzen relation is the logic that preserves degrees of truth with respect to the original algebra (in contrast with the more common logic that merely preserves truth). Finally, for some particular logics we obtain 2-sequent calculi that axiomatize the algebraizable Gentzen relations obtained so far. (shrink)