The effects of striatal dopamine (DA) on behavior have been widely investigated over the past decades, with “phasic” burst firings considered as the key expression of a reward prediction error responsible for reinforcement learning. Less well studied is “tonic” DA, where putative functions include the idea that it is a regulator of vigor, incentive salience, disposition to exert an effort and a modulator of approach strategies. We present a model combining tonic and phasic DA to show how different outflows triggered (...) by either intrinsically or extrinsically motivating stimuli dynamically affect the basal ganglia by impacting on a selection process this system performs on its cortical input. The model, which has been tested on the simulated humanoid robot iCub interacting with a mechatronic board, shows the putative functions ascribed to DA emerging from the combination of a standard computational mechanism coupled to a differential sensitivity to the presence of DA across the striatum. (shrink)

This article presents evidence supporting the claim that ethical reasoning is a skill that can be taught and assessed. We propose a working definition of ethical reasoning as 1) the ability to identify, analyze, and weigh moral aspects of a particular situation, and 2) to make decisions that are informed and warranted by the moral investigation. The evidence consists of a description of an ethical reasoning education program—Ethical Reasoning in Action —designed to increase ethical reasoning skills in a variety of (...) situations and areas of life. ERiA is housed at a public, major comprehensive U.S. university—James Madison University—and assessment of the program focuses on interventions delivered prior to and during orientation for incoming first-year students. Findings indicate that the interventions measurably enhance the ability of undergraduate students to reason ethically. ERiA’s competency-targeted program and positive student learning outcomes offers a promising model for higher education ethics programs seeking to connect classroom learning in ethics to decision-making in everyday life. (shrink)

The deliberative ethics guidelines elaborated and implemented by members of the IFOM-IEO Campus (Firc Institute of Molecular Oncology (IFOM) and the European Institute of Oncology (IEO)). These should serve the dual purpose of establishing a minimal set of standard rules for bioethical debate and any ensuing decision-making process, especially for the perspective of providing real instruments to foster public engagement and public awareness on the ethical issues involved in biomedical research. It is shown that these guidelines instantiate the scheme of (...) one of the correct ways of debating formalised by the western thought. (shrink)

Smart Farming Technologies raise ethical issues associated with the increased corporatization and industrialization of the agricultural sector. We explore the concept of biomimicry to conceptualize smart farming technologies as ecological innovations which are embedded in and in accordance with the natural environment. Such a biomimetic approach of smart farming technologies takes advantage of its potential to mitigate climate change, while at the same time avoiding the ethical issues related to the industrialization of the agricultural sector. We explore six principles of (...) a natural concept of biomimicry and apply these principles in the context of smart farming technologies. (shrink)

There are two accounts of the relation between subject and predicate in Leibniz's writings. The former, which appears in De arte combinatoria, is based on an interpretation of this relation in terms of sum and parts and can be viewed as an anticipation of mereology. The latter, which operates after 1686, is based on an interpretation of this relation in terms of inherence. Metaphysical reasons, linked with the discovery of infinitesimal calculus, explain this shift.

This is not an article, but it is published after the paper "The theory of rejected proposition.II" (in Studia Logica, 30 (1972), pp. 97-145), its broad abstract in Polish on pages 140-142.

The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)