Many collective decision making problems have a combinatorial structure: the agents involved must decide on multiple issues and their preferences over one issue may depend on the choices adopted for some of the others. Voting is an attractive method for making collective decisions, but conducting a multi-issue election is challenging. On the one hand, requiring agents to vote by expressing their preferences over all combinations of issues is computationally infeasible; on the other, decomposing the problem into several elections on smaller (...) sets of issues can lead to paradoxical outcomes. Any pragmatic method for running a multi-issue election will have to balance these two concerns. We identify and analyse the problem of generating an agenda for a given election, specifying which issues to vote on together in local elections and in which order to schedule those local elections. (shrink)

We analyse the computational complexity of three problems in judgment aggregation: (1) computing a collective judgment from a profile of individual judgments (the winner determination problem); (2) deciding whether a given agent can influence the outcome of a judgment aggregation procedure in her favour by reporting insincere judgments (the strategic manipulation problem); and (3) deciding whether a given judgment aggregation scenario is guaranteed to result in a logically consistent outcome, independently from what the judgments supplied by the individuals are (the (...) problem of the safety of the agenda). We provide results both for specific aggregation procedures (the quota rules, the premisebased procedure, and a distance-based procedure) and for classes of aggregation procedures characterised in terms of fundamental axioms. (shrink)

This collection addresses two different audiences: 1) historians and philosophers of the life sciences reflecting on collaborations across disciplines, especially as regards defining and addressing Grand Challenges; 2) researchers and other stakeholders involved in cross-disciplinary collaborations aimed at tackling Grand Challenges in the life and medical sciences. The essays collected here offer ideas and resources both for the study and for the practice of goal-driven cross-disciplinary research in the life and medical sciences. We organise this introduction in three sections. The (...) first section provides some background and context. The second motivates our take on this topic and then outlines the central ideas of each paper. The third section highlights the specificity and significance of this approach by considering: a) how this collection departs from existing literature on inter- and trans-disciplinarity, b) what is characteristic about this approach, and c) what role this suggests for the history and philosophy of the life sciences in addressing Grand Challenges. (shrink)

The idea of personalised medicine (PM) has gathered momentum recently, attracting funding and generating hopes as well as scepticism. As PM gives rise to differing interpretations, there have been several attempts to clarify the concept. In an influential paper published in this journal, Schleidgen and colleagues have proposed a precise and narrow definition of PM on the basis of a systematic literature review. Given that their conclusion is at odds with those of other recent attempts to understand PM, we consider (...) whether their systematic review gives them an edge over competing interpretations. We have found some methodological weaknesses and questionable assumptions in Schleidgen and colleagues’ attempt to provide a more specific definition of PM. Our perplexities concern the lack of criteria for assessing the epistemic strength of the definitions that they consider, as well as the logical principles used to extract a more precise definition, the narrowness of the pool from which they have drawn their empirical data, and finally their overlooking the fact that definitions depend on the context of use. We are also worried that their ethical assumption that only patients’ interests are legitimate is too simplistic and drives all other stakeholders’ interests—including those that are justifiable—underground, thus compromising any hope of a transparent and fair negotiation among a plurality of actors and interests. As an alternative to the shortcomings of attempting a semantic disciplining of the concept we propose a pragmatic approach. Rather than considering PM to be a scientific concept in need of precise demarcation, we look at it as an open and negotiable concept used in a variety of contexts including at the level of orienting research goals and policy objectives. We believe that since PM is still more an ideal than an achieved reality, a plurality of visions is to be expected and we need to pay attention to the people, reasons and interests behind these alternative conceptions. In other words, the logic and politics of PM cannot be disentangled and disagreements need to be tackled addressing the normative and strategic conflicts behind them. (shrink)

The paper discusses the possibility that the benefits of pharmacogenomics will not be distributed equally and will create orphan populations. I argue that since these inequalities are not substantially different from those produced by ‘traditional’ drugs and are not generated with the intention to discriminate, their production needs not be unethical. Still, the final result is going against deep-seated moral feelings and intuitions, as well as broadly accepted principles of just distribution of health outcomes and healthcare. I thus propose two (...) provisos that would prevent the most offensive outcomes and moderate the scope of the produced inequalities. The first proviso rejects pharmacogenomics innovations that worsen existing group inequalities and aggravate the disadvantage of communities with a history of discrimination. The second proviso requires that there is a strategy in place to even out as much as possible the distribution of benefits in the future and that a system of compensations is in place for pharmacogenomic orphans. Given that only one moral problem generated by pharmacogenomics has been tackled, the list of provisos might be expanded when other issues are considered. (shrink)

The paper uses two historical examples, public health (1840-1880) and town planning (1945-1975) in Britain, to analyse the challenges faced by goal-driven research, an increasingly important trend in science policy, as exemplified by the prominence of calls for addressing Grand Challenges. Two key points are argued. (1) Given that the aim of research addressing social or global problems is to contribute to improving things, this research should include all the steps necessary to bring science and technology to fruition. This need (...) is captured by the idea of practical integration, which brings this type of research under the umbrella of collective practical reason rather than under the aegis of science. Achieving practical integration is difficult for many reasons: the complexity of social needs, the plurality of values at stake, the limitation of our knowledge, the elusive nature of the skills needed to deal with uncertainty, incomplete information and asymmetries of power. Nevertheless, drawing from the lessons of the case studies, it is argued that (2) practical integration needs a proper balance between values, institutions and knowledge: i.e. a combination of mutual support and mutual limitation. Pursuing such a balance provides a flexible strategy for approximating practical integration. (shrink)

The paper points out three serious problems in Ruud ter Meulen’s view of solidarity and of its role in healthcare ethics. First, it is not clear whether and to what extent ter Meulen expects normative concepts to be rooted in existing social practices: his criticism of liberal theories of justice seems to imply a different view on this issue than his implicit assumption that normative concepts are independent from social and historical trends. Second, it is not clear at which level (...) his notion of solidarity is meant to be applied: does it provide principles for individuals or for institutions? Nor is it clear at what level of generality it should work: is it meant for healthcare institutions or for states, for citizens or for healthcare practitioners? Third, it is not at all clear how the communitarian and the universalist aspirations in his conception of solidarity can be reconciled. In light of such difficulties it is argued that within philosophical discourse solidarity can be a useful notion only if it can be clearly distinguished from existing and commonly used ethical concepts. Three examples of such narrow and specific uses of solidarity are presented. Finally, a sceptical view of confining the work of applied philosophers to articulating normative concepts is put forward and an alternative view of blending empirical and philosophical analysis is proposed. This vision of field philosophy requires serious attention and careful understanding of the circumstances and constraints within which normative recommendations operate. It is suggested that such a modest and empirically grounded understanding of normative work is a better way of honouring the belief that philosophy is rooted in social institutions and in complex webs of relations. (shrink)

We look at extensions (i.e., stronger logics in the same language) of the Belnap–Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap–Dunn and do not coincide with any of the known extensions (Kleene’s logics, Priest’s logic of paradox). We characterise the reduced algebraic models of these new logics and prove a completeness result for the first and last element of the chain stating that both logics are determined by a single finite logical (...) matrix. We show that the last logic of the chain is not finitely axiomatisable. (shrink)

In this paper we re-assess the philosophical foundation of Exactly True Logic ($$\mathcal {ET\!L}$$ ET L ), a competing variant of First Degree Entailment ($$\mathcal {FDE}$$ FDE ). In order to do this, we first rebut an argument against it. As the argument appears in an interview with Nuel Belnap himself, one of the fathers of $$\mathcal {FDE}$$ FDE, we believe its provenance to be such that it needs to be taken seriously. We submit, however, that the argument ultimately fails, (...) and that $$\mathcal {ET\!L}$$ ET L cannot easily be dismissed. We then proceed to give an overview of the research that was inspired by this logic over the last decade, thus providing further motivation for the study of $$\mathcal {ET\!L}$$ ET L and, more generally, of $$\mathcal {FDE}$$ FDE -related logics that result from semantical analyses alternative to Belnap’s canonical one. We focus, in particular, on philosophical questions that these developments raise. (shrink)

Recent research on algebraic models of _quasi-Nelson logic_ has brought new attention to a number of classes of algebras which result from enriching (subreducts of) Heyting algebras with a special modal operator, known in the literature as a _nucleus_. Among these various algebraic structures, for which we employ the umbrella term _intuitionistic modal algebras_, some have been studied since at least the 1970s, usually within the framework of topology and sheaf theory. Others may seem more exotic, for their primitive operations (...) arise from algebraic terms of the intuitionistic modal language which have not been previously considered. We shall for instance investigate the variety of _weak implicative semilattices_, whose members are (non-necessarily distributive) meet semilattices endowed with a nucleus and an implication operation which is not a relative pseudo-complement but satisfies the postulates of Celani and Jansana’s strict implication. For each of these new classes of algebras we establish a representation and a topological duality which generalize the known ones for Heyting algebras enriched with a nucleus. (shrink)

A recent paper by Jakl, Jung and Pultr succeeded for the first time in establishing a very natural link between bilattice logic and the duality theory of d-frames and bitopological spaces. In this paper we further exploit, extend and investigate this link from an algebraic and a logical point of view. In particular, we introduce classes of algebras that extend bilattices, d-frames and N4-lattices to a setting in which the negation is not necessarily involutive, and we study corresponding logics. We (...) provide product representation theorems for these algebras, as well as completeness, algebraizability results for the corresponding logics. (shrink)

We introduce a modal expansion of paraconsistent Nelson logic that is also as a generalization of the Belnapian modal logic recently introduced by Odintsov and Wansing. We prove algebraic completeness theorems for both logics, defining and axiomatizing the corresponding algebraic semantics. We provide a representation for these algebras in terms of twiststructures, generalizing a known result on the representation of the algebraic counterpart of paraconsistent Nelson logic.

Neutrosophy has been introduced some years ago by Florentin Smarandache as a new branch of philosophy dealing with “the origin, nature and scope of neutralities, as well as their interactions with different ideational spectra”. A variety of new theories have been developed on the basic principles of neutrosophy: among them is neutrosophic logics, a family of many-valued systems that can be regarded as a generalization of fuzzy logics. In this paper we present a critical introduction to neutrosophic logics, focusing on (...) the problem of defining suitable neutrosophic propositional connectives and discussing the relationship between neutrosophic logics and other well-known frameworks for reasoning with uncertainty and vagueness, such as (intuitionistic and interval-valued) fuzzy systems and Belnap’s logic. (shrink)

The need to better balance the promotion of scientific and technological innovation with risk management for consumer protection has inspired several recent reforms attempting to make regulations more flexible and adaptive. The pharmaceutical sector has a long, established regulatory tradition, as well as a long history of controversies around how to balance incentives for needed therapeutic innovations and protecting patient safety. The emergence of disruptive biotechnologies has provided the occasion for regulatory innovation in this sector. This article investigates the regulation (...) of advanced biotherapeutics in the European Union and shows that it presents several defining features of an adaptive regulation regime, notably institutionalized processes of planned adaptation that allow regulators to gather, generate, and mobilize new scientific and risk evidence about innovative products. However, our in-depth case analysis highlights that more attention needs to be paid to the consequences of the introduction of adaptive regulations, especially for critical stakeholders involved in this new regulatory ecosystem, the capacity and resource requirements placed on them to adapt, and the new tradeoffs they face. In addition, our analysis highlights a deficit in how we currently evaluate the performance and public value proposition of adaptive regulations vis-à-vis their stated goals and objectives. (shrink)

The background paper provides an introduction to the concept of pandemics and to the ethical and political issues related with pandemic preparedness.

In this article we raise a problem, and we offer two practical contributions to its solution. The problem is that academic communities interested in digital publishing do not have adequate tools to help them in choosing a publishing model that suits their needs. We believe that excessive focus on Open Access (OA) has obscured some important issues; moreover exclusive emphasis on increasing openness has contributed to an agenda and to policies that show clear practical shortcomings. We believe that academic communities (...) have different needs and priorities; therefore there cannot be a ranking of publishing models that fits all and is based on only one criterion or value. We thus believe that two things are needed. First, communities need help in working out what they want from their digital publications. Their needs and desiderata should be made explicit and their relative importance estimated. This exercise leads to the formulation and ordering of their objectives. Second, available publishing models should be assessed on the basis of these objectives, so as to choose one that satisfies them well. Accordingly we have developed a framework that assists communities in going through these two steps. The framework can be used informally, as a guide to the collection and systematic organization of the information needed to make an informed choice of publishing model. In order to do so it maps the values that should be weighed and the technical features that embed them. Building on our framework, we also offer a method to produce ordinal and cardinal scores of publishing models. When these techniques are applied the framework becomes a formal decision–making tool. Finally, the framework stresses that, while the OA movement tackles important issues in digital publishing, it cannot incorporate the whole range of values and interests that are at the core of academic publishing. Therefore the framework suggests a broader agenda that is relevant in making better policy decisions around academic publishing and OA. (shrink)

The paper discusses some of the implications of regulatory innovation in the area of advanced biological therapies and personalised medicine. Benefits, risks and trade-offs are highlighted.

We introduce a new product bilattice con- struction that generalizes the well-known one for interlaced bilattices and others that were developed more recently, allowing to obtain a bilattice with two residuated pairs as a certain kind of power of an arbitrary residuated lattice. We prove that the class of bilattices thus obtained is a variety, give a finite axiomatization for it and characterize the congruences of its members in terms of those of their lat- tice factors. Finally, we show how (...) to employ our product construction to define first-order definable classes of bi- lattices corresponding to any first-order definable subclass of residuated lattices. (shrink)

The paper contains some algebraic results on several varieties of algebras having an (interlaced) bilattice reduct. Some of these algebras have already been studied in the literature (for instance bilattices with conflation, introduced by M. Fit- ting), while others arose from the algebraic study of O. Arieli and A. Avron’s bilattice logics developed in the third author’s PhD dissertation. We extend the representation theorem for bounded interlaced bilattices (proved, among others, by A. Avron) to un- bounded bilattices and prove analogous (...) representation theorems for the other classes of bilattices considered. We use these results to establish categorical equivalences between these structures and well-known varieties of lattices. (shrink)

Concerns about emerging and re-emerging infectious diseases have given a new lease of life to quarantinist measures: a series of time-honoured techniques for controlling the spread of infectious diseases through breaking the chain of human contagion. Since such measures typically infringe individual rights or privacy their use is subject to legal regulations and gives rise to ethical and political worries and suspicions. Yet in some circumstances they can be very effective. After considering some case studies that show how epidemics are (...) unique, fluid and affected by a multitude of contingent factors, it is argued that the legal and ethical guidelines may not always be the best approach to discipline the use of quarantinist measures. An alternative model based on ex-post political accountability for reasonableness is proposed. This model restores the centrality of political decision and expert judgement in situations characterized by high risk, uncertainty and contingency. It is argued that such alternative model affords quicker and more flexible responses to serious outbreaks of infections, while providing adequate protection against abuses. (shrink)

Besides the better-known Nelson logic and paraconsistent Nelson logic, in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called $\mathcal{S}$. The logic $\mathcal{S}$ was originally presented by means of a calculus with infinitely many rule schemata and no semantics. We look here at the propositional fragment of $\mathcal{S}$, showing that it is algebraizable, in the sense of Blok and Pigozzi, with respect to a variety of three-potent involutive residuated lattices. We thus introduce the first known algebraic (...) semantics for $\mathcal{S}$ as well as a finite Hilbert-style calculus equivalent to Nelson’s presentation; this also allows us to clarify the relation between $\mathcal{S}$ and the other two Nelson logics $\mathcal{N}3$ and $\mathcal{N}4$. (shrink)

We look at extensions (i.e., stronger logics in the same language) of the Belnap–Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap–Dunn and do not coincide with any of the known extensions (Kleene’s logics, Priest’s logic of paradox). We characterise the reduced algebraic models of these new log- ics and prove a completeness result for the first and last element of the chain stating that both logics are determined by a single finite (...) logical matrix. We show that the last logic of the chain is not finitely axiomatisable. (shrink)

Climate change is an existential risk reinforced by ordinary actions in afuent societies—often silently present in comfortable and enjoyable habits. This silence is sometimes broken, presenting itself as a nagging reminder of how our habits fuel a catastrophe. As a case in point, global warming has created a state of urgency among wine makers in Spain, as the alcohol level has risen to a point where it jeopardises wine quality and thereby Spanish viticulture. Eforts are currently being made to solve (...) this problem technologically by developing (non-GMO) strains of yeast that produce less alcohol. If successful, this could help save Spanish viticulture. This kind of technological solution is routinely criticised for ofering simplistic “techno-fx” solutions to solve complex societal problems. However, it is not clear what features are criticised by the notion of techno-fx and hence how to avoid this criticism. In our interpretation, the techno-fx notion is not exclusively used as a dismissive term. The notion points to a general virtue of engineering: to create technological solutions that work silently in the background. This asset of technological solutions might sometimes be problematic and sometimes not. Hence, it needs to be analysed case-by-case by paying attention to the moral relevance of the hidden implications of the technology and of the unrefective actions and habits that they facilitate. Such moral analysis will in turn inform strategies for foregrounding this technology to counteract silencing. We discuss what this means in the case of modifying yeast as a viticultural climate resilience strategy. (shrink)

This essay analyses Peter Damian’s idea of perfection, by taking into account his texts devoted to the eremitic conversatio avellanita: in particular, Epistles 18, 50, and 109. It answers to the following working question: how is it possible to achieve an ‘angelic’ condition? Particular attention is paid to the ideas of time, space and ascesis.

Ethical concerns in e-social science are often raised with respect to privacy, confidentiality, anonymity and the ethical and legal requirements that govern research. In this article, the authors focus on ethical aspects of e-research that are not directly related to ethical regulatory framework or requirements. These frameworks are often couched in terms of benefits or harms that can be incurred by participants in the research. The authors shift the focus to the sources of value in terms of which benefits or (...) harms are understood in real social situations. A central claim of this paper is that the technologies that are used for research are not value neutral, but serve to reinforce some values at the expense of others. The authors discuss databases, modelling and simulation, network analysis as examples of technologies which affect the articulation of values. A view of e-social science as a techno-scientific constellation of researchers, technologies and society, in which values are always already embedded, is put forward as a basis for a view of ethics as reflexive and active engagement, conducted with awareness. Methodological pluralism and proactive openness are also proposed as responses to this view of the ethical dimensions of e-social science. (shrink)

A mesure qu'ils avancent dans leur œuvre de prospection, les sémioticiens s'aperçoivent que tout est communication, la langue bien sûr, mais aussi les images, les sons, les objets, les gestes, et que tous ces phénomènes constituent des systèmes de signes qui doivent être étudiés en ramenant chaque message aux codes qui en régissent l'émission et la compréhension. Comprendre les systèmes de signes impose toutefois d'envisager les codes comme des structures, puis de recouvrir à des structures toujours plus vastes, dans un (...) mouvement de régression vers la matrice originelle de toute communication possible, vers un prétendu Code des Codes qui devrait représenter la détermination " naturelle " précédant toute culture. Mais si la sémiotique s'engageait dans cette voie, elle ne pourrait qu'aboutir à la " source " de toute structure possible, forcément non structurée, à ce qu'Umberto Ecco appelle la structure absente. Son livre, tout en refusant ce Code des Codes, essaie de montrer que tout acte communicatif est dominé par la présence massive de codes socialement et historiquement déterminés. La sémiotique découvre ainsi dans la dialectique entre code et message les rapports entre l'univers de signes et l'univers des idéologies, qui se reflètent dans les modes communicatifs préconstitués, et elle relie le monde des choses au monde de la culture, qui formalise les choses non pas pour les reconnaître comme elles sont mais afin de les transformer. Après avoir étudié dans L'œuvre ouverte (1965) les structures des langages expérimentaux de l'art contemporain, Umberto Ecco traite ici l'ensemble des problèmes sémiotiques et ce livre constitue à la fois sa contribution à la recherche en cours et le panorama actuellement le plus vaste et le plus complet sur les préalables constitutifs à toute sémiotique et sur l'état présent du structuralisme. (shrink)

Heraclitus is the first philosopher, and one of the few ones, who is aware of original contradiction. His thought still presents some ambiguities mostly due to the still intuitive discovery of the relation between language, contradiction and logos. Heraclitus saw the contradiction. He does not care about how the fact of communication is possible, as it indeed is, but rather he endeavours to put into question its problematic essence. -/- .

The thought of Pietro Piovani (Naples 1922 1980) ranges from moral philosophy, the history of philosophy and the philosophy of law, but in the anti-ontology of his most original core. In Principles of moral philosophy Piovani said that given the finite nature of the individual, the existing "no longer needs no foundation (...) because it is based." In particular, the contemporary individual is more than ever unfounded, having to constantly rely so. In this regard Piovani speaks of assenzialismo: being a (...) be "limited" man bases its existence on an absence, that does not constitute something negative, but, on the contrary, represents that "most" of Nietzsche's memory is unique about the individual. -/- . (shrink)

Bilattices, introduced by Ginsberg as a uniform framework for inference in artificial intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the well-known Belnap–Dunn four-valued logic to the standard language of bilattices. Our aim is to study Arieli and Avron’s logic from the perspective of abstract (...) algebraic logic . We introduce a Hilbert-style axiomatization in order to investigate the properties of the algebraic models of this logic, proving that every formula can be reduced to an equivalent normal form and that our axiomatization is complete w.r.t. Arieli and Avron’s semantics. In this way, we are able to classify this logic according to the criteria of AAL. We show, for instance, that it is non-protoalgebraic and non-self-extensional. We also characterize its Tarski congruence and the class of algebraic reducts of its reduced generalized models, which in the general theory of AAL is usually taken to be the algebraic counterpart of a sentential logic. This class turns out to be the variety generated by the smallest non-trivial bilattice, which is strictly contained in the class of algebraic reducts of logical bilattices. On the other hand, we prove that the class of algebraic reducts of reduced models of our logic is strictly included in the class of algebraic reducts of its reduced generalized models. Another interesting result obtained is that, as happens with some implicationless fragments of well-known logics, we can associate with our logic a Gentzen calculus which is algebraizable in the sense of Rebagliato and Verdú . We also prove some purely algebraic results concerning bilattices, for instance that the variety of distributive bilattices is generated by the smallest non-trivial bilattice. This result is based on an improvement of a theorem by Avron stating that every bounded interlaced bilattice is isomorphic to a certain product of two bounded lattices. We generalize it to the case of unbounded interlaced bilattices. (shrink)

An analysis on the topic of lightness according to a philosophical perspective, which, on the trace of Parmenides, questions what is positive: the lightness or heaviness? The main point is that of Nietzsche and Calvin, but references ranging from Ovid to Kundera to the world of science. That of light, literary, scientific, philosophy, appears to be the preferred way forward in the eternal man's attempt to bring order to chaos. -/- .

Pietro Piovani is a philosopher who is still, unjustly, little known. Here we set out to investigate the absence of foundation as a crossroads in contemporary philosophy and to evaluate the new contribution of Piovani’s reflection. In our study, we analysed mainly the works of the past twenty years and especially Principi di una filosofia della morale (1972) and Oggettivazione etica e assenzialismo(1980). The basic option in Piovani’s thinking is that, given the finite nature of the individual, as the willing (...) who was not self-willed, man no longer needs any foundation. In fact, the contemporary individual is more unfounded than ever, having to constantly base himself on and interact with a reality that is ever changing. Piovani reaches the height of his critical foundation by stating that, forced to stabilise his own instability, man must base his existence on an absence. Here, Piovani, through the "non self-willed willing", eradicates the assumptions of modern thought, and captures the beginning of existence in the experience of limitation and finiteness. Man, who is based on de-ontology, on de-esse, is a sign of a dissatisfaction that asks to be satisfied, of an inadequacy. This study highlights how Piovani’s thinking, having abandoned the perspectives of Western ontology, proposes a new reflection on the positivity of the inadequate where absence is heralded as the greatest energy force of life. Philosophy, therefore, has a future only as negative philosophy. -/- -/- . (shrink)

In a previous work we studied, from the perspective ofAlgebraic Logic, the implicationless fragment of a logic introduced by O. Arieli and A. Avron using a class of bilattice-based logical matrices called logical bilattices. Here we complete this study by considering the Arieli-Avron logic in the full language, obtained by adding two implication connectives to the standard bilattice language. We prove that this logic is algebraizable and investigate its algebraic models, which turn out to be distributive bilattices with additional implication (...) operations. We axiomatize and state several results on these new classes of algebras, in particular representation theorems analogue to the well-known one for interlaced bilattices. (shrink)

In order to illustrate the difference between sensation and perception, Reid imagines a blind man that by ‘some strange distemper’ has lost all his notions of external objects, but has retained the power of sensation and reasoning. Reid argues that since sensations do not resemble external objects, the blind man could not possibly infer from them any notion of primary qualities. Condillac proposed a similar thought experiment in the Treatise on Sensations. I argue that Condillac can reach a conclusion opposite (...) to that of Reid only by assuming that some particular collections of sensations do indeed resemble the qualities of external objects. Reid had considered a similar case in a manuscript, but he again notices that such complex collections sensations do not resemble the qualities of external objects. (shrink)

While Hume had a favorable opinion of the new commercial society, Reid envisioned a utopian system that would eliminate private property and substitute the profit incentive with a system of state-conferred honors. Reid’s predilection for a centralized command economy cannot be explained by his alleged discovery of market failures, and has to be considered in the context of his moral psychology. Hume tried to explain how the desire for gain that motivates the merchant leads to industry and frugality. These, in (...) their turn, benefit all society. Reid still saw the desire for money as a degenerate form of the desire for power. The contrast between Hume and Reid, however, has not to be taken too far. On some particular matters of economic policy, such as paper credit, Hume and Reid eventually came to similar views. (shrink)

In a recent article on Reid’s theory of single and double vision, James Van Cleve considers an argument against direct realism presented by Hume. Hume argues for the mind-dependent nature of the objects of our perception from the phenomenon of double vision. Reid does not address this particular argument, but Van Cleve considers possible answers Reid might have given to Hume. He finds fault with all these answers. Against Van Cleve, I argue that both appearances in double vision could be (...) considered visible figures of the object, and show how this solution might preserve Reid’s direct realism. However, this solution is not compatible with the single appearance of an object predicted by Reid’s theory of single and double vision. This consequence will appear evident once we consider the critique of Reid’s theory of single and double vision formulated by William Charles Wells (1757-1817). Wells argues that Reid’s theory is either incomplete or incompatible with other claims made by Reid. It is incomplete since it fails to specify the unique direction in which we the object in single vision; if it not incomplete and is compatible with the law of monocular direction given by Reid, then it is incompatible with Reid’s claim that we do not perceive immediately distance by sight. (shrink)

The Belnap–Dunn logic is a well-known and well-studied four-valued logic, but until recently little has been known about its extensions, i.e. stronger logics in the same language, called super-Belnap logics here. We give an overview of several results on these logics which have been proved in recent works by Přenosil and Rivieccio. We present Hilbert-style axiomatizations, describe reduced matrix models, and give a description of the lattice of super-Belnap logics and its connections with graph theory. We adopt the point of (...) view ofAlgebraic Logic, exploring applications of the general theory of algebraization of logics to the super-Belnap family. In this respect we establish a number of new results, including a description of the algebraic counterparts, Leibniz filters, and strong versions of super-Belnap logics, as well as the classification of these logics within the Leibniz and Frege hierarchies. (shrink)

This paper focuses on order-preserving logics defined from varieties of distributive lattices with negation, and in particular on the problem of whether these can be axiomatized by means Hilbert-style calculi that are finite. On the negative side, we provide a syntactic condition on the equational presentation of a variety that entails failure of finite axiomatizability for the corresponding logic. An application of this result is that the logic of all distributive lattices with negation is not finitely axiomatizable; we likewise establish (...) that the order-preserving logic of the variety of all Ockham algebras is also not finitely axiomatizable. On the positive side, we show that an arbitrary subvariety of semi-De Morgan algebras is axiomatized by a finite number of equations if and only if the corresponding order-preserving logic is axiomatized by a finite Hilbert-style calculus. This equivalence also holds for every subvariety of a Berman variety of Ockham algebras. We obtain, as a corollary, a new proof that the implication-free fragment of intuitionistic logic is finitely axiomatizable, as well as a new corresponding Hilbert-style calculus. Our proofs are constructive in that they allow us to effectively convert an equational presentation of a variety of algebras into a Hilbert-style calculus for the corresponding order-preserving logic, and vice versa. We also consider the assertional logics associated to the above-mentioned varieties, showing in particular that the assertional logics of finitely axiomatizable subvarieties of semi-De Morgan algebras are finitely axiomatizable as well. (shrink)

The Adverse Outcome Pathway (AOP) concept is a knowledge assembly and communication tool to facilitate the transparent translation of mechanistic information into outcomes meaningful to the regulatory assessment of chemicals. The AOP framework and associated knowledgebases (KBs) have received significant attention and use in the regulatory toxicology community. However, it is increasingly apparent that the potential stakeholder community for the AOP concept and AOP KBs is broader than scientists and regulators directly involved in chemical safety assessment. In this paper we (...) identify and describe those stakeholders who currently—or in the future—could benefit from the application of the AOP framework and knowledge to specific problems. We also summarize the challenges faced in implementing pathway-based approaches such as the AOP framework in biological sciences, and provide a series of recommendations to meet critical needs to ensure further progression of the framework as a useful, sustainable and dependable tool supporting assessments of both human health and the environment. Although the AOP concept has the potential to significantly impact the organization and interpretation of biological information in a variety of disciplines/applications, this promise can only be fully realized through the active engagement of, and input from multiple stakeholders, requiring multi-pronged substantive long-term planning and strategies. (shrink)

The "semiotic threshold" is U. Eco's metaphor of the borderline between the world of semiosis and the nonsemiotic world and hence also between semiotics and its neighboring disciplines. The paper examines Eco's threshold in comparison to the views of semiosis and semiotics of C. S. Peirce. While Eco follows the structuralist tradition, postulating the conventionality of signs as the main criterion of semiosis, Peirce has a much broader concept of semiosis, which is not restricted to phenomena of culture but includes (...) many processes in nature. Whereas Eco arrives at the conclusion that biological processes, such as the ones within the immune system, cannot be included in the program of semiotic research, Peirce's broader defmition of semiosis has meanwhile become thefoundation of semiotic studies in biology and medicine and hence in biosemiotics and medical semiotics. (shrink)

This text explores four books produced by one of the most prominent semioticians of the previous century, Umberto Eco, in order to create a semiotic meta-theory which enhances a multifarious way of â oereadabilityâ and scientifically justifies the dichotomy between the creation of a work of art and its being read, visualized and experienced by the audience. It begins by treating the â oenarrationâ component as one of the main theoretical challenges of Ecoâ s theory, specifically focusing on the (...) concept of time, seen from the linguistic and semiotic viewpoints. The book also explores Ecoâ s text theory, as well as â oesemiotics properâ, representing an analysis of the â oeencodingâ and â oedecodingâ theories. In addition, it exemplifies the â oeopennessâ and â oecollaborationâ between the writer and the reader, as well as relationships between the creator and audience in all forms of art. The book will appeal to scholars, students, and intellectuals who want to have a detailed knowledge of Ecoâ s overall contribution to semiotics, and seek a â oeformulaâ which would inter-connect informational and code theories with the narration method, so as to create what we call â oeinterpretative semioticsâ today. (shrink)

Review of Emanuele Banfi, Nicola Grandi - Le lingue extraeuropee: Americhe, Australia e lingue di contatto.

In this paper, I interrogate the question of how aesthetics might be used in terms of an antifascist project. The exposition includes two main steps. First, drawing on the work of Umberto Eco and Sven Reichardt, I introduce a perspective on fascism, in which I identify its character as synthetico-paradoxical. Then, I utilize Jacques Rancière’s conception of aesthetics as politics to show how a decentralized understanding of what makes good art can disrupt fascism by appealing to the sense of (...) re-recognition of the individual political subject. (shrink)

This is a review of Umberto Eco's novel La misteriosa fiamma della regina Loana (2004) with a special focus on its portrayal of the self and memory, and reflections on the way the novel's treatment reveals the intertextual makeup of personal identity and of ideology, and their grounding in a specific cultural and discursive environment. -/- Note: Downloadable file is in Spanish: "La identidad intertextual: La misteriosa llamada de la reina Loana".

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus (...) for the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof. (shrink)

A discussion of Umberto Eco's notion of open and closed texts.