Numerous groups race to discover the gene biomarker whose alteration alone is indicative of a particular disease in all humans. Biomarkers are selected from the most frequently altered genes in large population cohorts. However, thousands of other genes are simultaneously affected, and, in each person, the same disease results from a unique, never-repeatable combination of gene alterations. Therefore, our Genomic Fabric Paradigm (GFP) switches the focus from the alteration of one particular gene to the overall change in selected groups of (...) functionally related genes. Biomarkers are of little therapeutic value, their high alterability indicating low protection by the homeostatic mechanisms as for minor players. Instead of these most alterable genes in all patients, GFP identifies in each patient the genes whose highly protected expression governs major functional pathways by controlling the expression of numerous other genes. Smart manipulation of such (commander) genes would have the maximum therapeutic benefit not for everybody but for the treated person. The genomic fabric is defined as the transcriptome associated with the most interconnected and stably expressed network of genes responsible for a particular functional pathway. The fabric exhibits specificity with respect to race/strain, sex, age, tissue/cell type, and lifestyle and environmental factors. It remodels during development, progression of a disease, and in response to external stimuli. GFP is powered by mathematically advanced analytical tools whose application is illustrated by reprocessing data from previously published gene expression experiments. (shrink)

Rawls' original position is a thought experiment by which we are asked to imagine ourselves as rational agents choosing the principles of justice under specific informational and motivational constraints. In this paper, I am concerned only with the informational constraints and I shall argue that the way Rawls designed them reveals an implausible conception of mind and knowledge. This conception, of a mind separable from knowledge, as well as one of its correlates which I will call epistemic egalitarianism, is not (...) an objection one may address uniquely to the original position. However, the failure to construct the original position as a one-solution problem renders its epistemology not only implausible but of no use for moral reasoning. (shrink)

The dissertation gives a second-order-logic-based explanation of modal incompleteness. The leading concept is that modal incompleteness is to be explained in terms of the incompleteness of standard second-order logic, since modal language is basically a second-order language. The development of Kripke-style semantics for modal logic has been underpinned by the conjecture that all modal systems are characterizable by classes of frames defined by first-order conditions on a binary relation. However, the discovery of certain incomplete modal systems has undermined the all-encompassing (...) feature of Kripke-style approach. There are logics not determined by any class of Kripke frames at all. ;In the dissertation I investigate a normal incomplete sentential modal system due to J. F. A. K. Van Benthem, and I address both the formal and the philosophical facets of modal incompleteness from the vantage point that modal logic is essentially second-order in its nature. Modal systems can be analyzed in terms of structures with a domain of second-order individuals that are assigned under an interpretation to propositional variables within languages of sentential modal logic. Hence, the phenomenon of there being incomplete modal systems can be accounted for through the incompleteness of standard second-order logic. ;Since second-order logic plays a crucial role in the explanation, Quine's animadversions upon second-order logic and in particular his views that second-order logic is 'Set Theory in Sheep's Clothing' are examined. Against Quine's stance I will seek to show that a vindication of second-order logic can be gotten provided a proper due is given to the sharp distinction between the logical notion of set which is the concern of second-order logic and the iterative notion of set which lies within the realm of set theory. (shrink)

Many important criticisms to the possibility of global justice are advanced following one or another operationalization of the Rawlsian concept of a basic structure. The purpose of this paper is twofold: i) to show that the existence of a global basic structure is irrelevant from the standpoint of justice; ii) to set the stage for a cosmopolitan theory of global justice that employs satisficing sufficientarianism as a distributive principle. One of the main contentions is that the institutional-interactional cut in the (...) recent literature should be transcended. That is, the site of justice should be extended to incorporate both the efficiency of discharging one’s duties through a just institutional scheme and the moral value of promoting a good state of affairs through one’s own efforts. In order to avoid the overdemandingness objection, however, the selected principles of justice ought to belong to the sufficientarian family. Towards the end of the paper I sketch one such theory, satisficing sufficientarianism. (shrink)

In Reference without Referents, Mark Sainsbury aims to provide an account of reference that honours the common-sense view that sentences containing empty names like "Vulcan" and "Santa Claus" are entirely intelligible, and that many such sentences -"Vulcan doesn't exist", "Many children believe that Santa Claus will give them presents at Christmas", etc.- are literally true. Sainsbury's account endorses the Davidsonian program in the theory of meaning, and combines this with a commitment to Negative Free Logic, which holds that all simple (...) sentences containing empty names are false. In this critical review, we pose a number of problems for this account. In particular, we question the ability of Negative Free Logic to make appropriate sense of the truth of familiar sentences containing empty names, including negative existential claims like "Vulcan doesn't exist". /// En Reference without Referents, Mark Sainsbury se propone ofrecer una explicación de la referencia que respete la idea de sentido común de que las oraciones con nombres vacíos como "Vulcano" y "Santa Claus" son completamente inteligibles, y que muchas de oraciones de este tipo -"Vulcano no existe", "Muchos niños creen que Santa Claus les traerá regalos en Navidad", y demás- son literalmente verdaderas. La propuesta de Sainsbury se inscribe dentro del programa davidsoniano en teoría del significado, y combina éste con un compromiso con la Lógica Libre Negativa, según la cual todas las oraciones simples que contienen nombres vacíos son falsas. En este estudio crítico, presentamos varios problemas de esta explicación. En particular, ponemos en duda la habilidad de la Lógica Libre Negativa de entender de manera apropiada la verdad de oraciones conocidas que contienen nombres vacíos, incluidas negaciones de existencia como "Vulcano no existe". (shrink)

This article argues that there are at least three different versions of methodological nationalism: state-centrism (unjustified supremacy granted to the nation-state), territorialism (understanding space as divided in territories), and groupism (equating society with the nation-state’s society). If these three versions are logically distinct, as it will be shown, the typology can serve as a tool to weight the influence of methodological nationalism in the social sciences. The paper has three sections arguing that 1) the three versions are all present in (...) the literature on methodological nationalism without always being distinguished; 2) the epistemological problems raised by methodological nationalism are sometimes misunderstood as ontological or normative questions about globalization and national borders; 3) the three versions of methodological nationalism can be shown to be logically independent by a few examples. (shrink)

When it comes to specifying the moral duties we bear towards future generations, most political philosophers position themselves on what could be regarded as a safe ground. A variant of the Lockean proviso is commonplace in the literature on intergenerational justice, taking the form of an obligation to bestow upon future people a minimum of goods necessary for reaching a certain threshold of well-being (Meyer, 2017). Furthermore, even this minimum is often frowned upon, given the non-identity problem and the challenges (...) this presents to the topic of justice between generations. Additional issues are raised at the level of non-ideal theory, the most significant being the problem of non-compliance (Gosseries and Meyer, 2009).In this paper I intend to probe the limits of “practical political possibility” (Rawls 1999), by inquiring whether embracing the sufficiency view (Frankfurt, 1987; Crisp, 2003; Benbaji, 2005) as a distributive pattern and capabilities as a metric can lead to more burdensome obligations for present generations. More specifically, I try to show that we have a duty to invest in research that aims at prolonging the lifespan of humans (the idea can already be found in the sufficientarian literature, for instance in Farrelly, 2007). Moreover, given the Earth’s limited resources, we ought to encourage the terraforming of other planets in order to make them inhabitable for (future) people.I argue that these two seemingly far-fetched projects are in fact worthwhile goals to pursue on the one hand, and moral obligations on the other hand. Nonetheless, they are not the only ones we ought to take on; for instance, we must simultaneously pursue them and try to improve the prospects of those who fall under a sufficiency threshold here and now. That is, specifying these (prima facie) duties towards future generations is connected with stronger obligations towards the current generation.Towards the end of the paper I engage in a discussion regarding the role of the feasibility constraint in a theory of justice, as rationales pertaining to feasibility are perhaps going to be the most recurrent criticisms raised against my proposal. To that end, I defend limitarian policies, which aim at setting an upper limit to how much money individuals are allowed to possess (Robeyns, 2017; Volacu and Dumitru, 2019). (shrink)

The potential to achieve dynamic, scalable and cost-effective marketplaces and eCommerce solutions has driven recent research efforts towards so-called Semantic Web Services that are enriching Web services with machine-processable semantics. To this end, the Web Service Modeling Ontology (WSMO) provides the conceptual underpinning and a formal language for semantically describing all relevant aspects of Web services in order to facilitate the automatization of discovering, combining and invoking electronic services over the Web. In this paper we describe the overall structure of (...) WSMO by its four main elements: ontologies, which provide the terminology used by other WSMO elements, Web services, which provide access to services that, in turn, provide some value in some domain, goals that represent user desires, and mediators, which deal with interoperability problems between different WSMO elements. Along with introducing the main elements of WSMO, we provide a logical language for defining formal statements in WSMO together with some motivating examples from practical use cases which shall demonstrate the benefits of Semantic Web Services. (shrink)

Fischer’s approach for structure elucidation of linear aldohexoses is still the most widespread alternative in textbooks for carbohydrates. However, in post-Fischer era, a series of remarkable discoveries and inventions were made in different laboratories, and by their use a more comprehensive and coherent strategy for structure elucidation of linear isomeric aldohexoses can be elaborated. Fischer used the exceptional properties of d-mannose for the knowledge of configuration of C-2 and called it the key of the gate to stereochemistry. We bring the (...) evidence that Fischer had an alternative to this monosaccharide, d-idose. Fischer discovered the correct structure of the enantiomers of tartaric acid by pure intuition but Bijvoet proved it experimentally by means of X-rays. Hybridization, a concept taken by L. Pauling from biology, reconciled physics and chemistry concerning the valence of carbon atom and explained the stereochemical picture that had been empirically elaborated by Van’t Hoff and Le Bel. Other chemical transformations of monosaccharides, useful in the elucidation of their structure, have been also discovered or invented in post-Fischer era. (shrink)

Migrant women are often stereotyped. Some scholars associate the feminization of migration with domestic work and criticize the “care drain” as a new form of imperialism that the First World imposes on the Third World. However, migrant women employed as domestic workers in Northern America and Europe represent only 2% of migrant women worldwide and cannot be seen as characterizing the “feminization of migration”. Why are migrant domestic workers overestimated? This paper explores two possible sources of bias. The first is (...) sampling: conclusions about “care drain” are often generalized from small samples of domestic workers. The second stems from the affect heuristic: imagining children left behind by migrant mothers provokes strong feelings of injustice which trump other considerations. The paper argues that neither source of bias is unavoidable and finds evidence of gender stereotypes in the “care drain” construal. (shrink)

Language is more than a source of information for accessing higher-order conceptual knowledge. Indeed, language may determine how people perceive and interpret visual stimuli. Visual processing in linguistic contexts, for instance, mirrors language processing and happens incrementally, rather than through variously-oriented fixations over a particular scene. The consequences of this atypical visual processing are yet to be determined. Here, we investigated the integration of visual and linguistic input during a reasoning task. Participants listened to sentences containing conjunctions or disjunctions and (...) looked at visual scenes containing two pictures that either matched or mismatched the nouns. Degree of match between nouns and pictures and between their expected and actual spatial positions affected fixations as well as judgments. We conclude that language induces incremental processing of visual scenes, which in turn becomes susceptible to reasoning errors during the language-meaning verification process. (shrink)

This paper argues that by overestimating the importance of citizenship rights, the ethics of immigration turns away from the more serious problem of closed borders. Precisely, this contribution is a threefold critique of Carens’ idea that "justice requires that democratic states grant citizenship at birth to the descendants of settled immigrants" (Carens, 2013: 20). Firstly, I argue that by making 'justice' dependent on states and their attributes (birthright citizenship), this idea strengthens methodological nationalism which views humanity as naturally divided into (...) bounded nation-states. Secondly, I analyze its justification and argue that grounding (citizenship) rights on the existence of social connections is logically and morally problematic. Thirdly, I analyze its scope (granting rights to the descendants of the ‘settled’) and its method of implementation (granting citizenship rights automatically ‘at birth’). While from a less sedentarist perspective, no one can be considered ‘settled’ in advance, I will express some doubts that granting citizenship rights is always automatically a way to extend people’s rights. All in all, I argue that by its justification, scope and method of implementation, this idea moves us away from, rather than gets us closer to, an open-borders world. (shrink)

In this paper we prove polyadic counterparts of the Hájek, Paris and Shepherdson's conservative extension theorems of Łukasiewicz predicate logic to rational Pavelka predicate logic. We also discuss the algebraic correspondents of the provability and truth degree for polyadic MV-algebras and prove a representation theorem similar to the one for polyadic Pavelka algebras.

The paper examines some presuppositions of toleration and pluralism and explores two models, a deontological and a consequentialist model, that could support the view that rational agents should act in a tolerant way. Within the first model two arguments are given in favor of the view that people are better off and more rational if they are tolerant. The first argument draws upon a principle of charity that one usually makes use of in philosophy of mind and philosophy of language, (...) but which could work equally well with regard to this foundational issue in ethics and philosophy of action. The second argument is built upon the epistemic principle of fallibilism and is meant to show that from this vantage point acting in a tolerant way is the rational thing to do. (shrink)

The general slogan in the title of this paper gives a general, but nevertheless accurate, expression of Strawson’s view concerning the nature of formal logic per se in relation to natural language. What is at stake here is the extent to which the formal methods and the formal semantics of contemporary symbolic logic can render the meanings of natural language expressions. Strawson sets up an agenda for logical theory which, although rather dated for a logic text, is what one naturally (...) expects from an introduction to elementary formal logic and a systematic analysis of certain crucial metalogical concepts, most notably entailment. However, my own reading is that Strawson’s approach to logic makes a lasting contribution to understanding the inner workings of natural language through his critical discussion of the limits of the formal renderings of the semantics of natural language expressions via canonical first-order notations. One can recognize in this critical attitude towards the limits of formal methods a consistent generalization of Strawson’s own strategy from his critical response to Russell’s theory of descriptions.In my paper I shall focus on certain examples which illustrate the general slogan that characterizes Strawson’s views on the nature of logic in connection with ordinary language and talk. (shrink)

In this paper I examine some presuppositions of toleration and pluralism. I explore two models, viz. a deontological and a consequentialist model, respectively, which could support the view that rational agents should act in a tolerant way. Against the background which is offered by the first model I give two arguments in favor of the view that people are better off and more rational if they act in a tolerant way. The first argument draws upon a principle of charity which (...) one usually makes use of in philosophy of mind and philosophy of language but which could work equally well with regard to this foundational issue in ethics and philosophyof action. The second argument is built upon the epistemic principle of fallibilism and it is meant to show that from this vantage point acting in a tolerant way is the rational thing to do. (shrink)

In this article I investigate the nature of the moral duties that citizens of a legitimate state have towards emigrants. A large part of the literature dedicated to the normative study of the migration phenomenon focuses on two major topics: the brain drain phenomenon and the legitimacy of restricting immigrations. If the first of these concerns the moral obligations that individuals have towards a state and their co-nationals, the second regards the policies that a state can justifiably adopt in order (...) to manage migration flows. With the exception of temporary labor migration, less discussed in the literature are the moral duties that we have towards those citizens who chose to emigrate. My answer is that a state has neither more, nor less responsibilities towards its emigrants than it has towards the other citizens. However, the particular way that it can discharge those duties have to pay attention to each citizen’s particular situation, so that public policies dealing specifi cally with the emigrants are required. If we embrace a sufficientarian position, we could see how public policies have to be forged in order to be morally justifiable. I compare in the article two potential ways in which a state could try to discharge its moral duties towards emigrants. The first consists in promoting policies that focus on reverse migration. The second is based on cooperating with host societies and ensuring that emigrants’ rights and well-being are protected to the fullest degree. I argue that the second proposal is the one that can be morally defended, and is in line with moral defenses of reformed temporary labor migration programs which would take into account the rights and legitimate interests of migrants (Baubock and Ruhs: 2022). (shrink)

In this paper we aim to examine a novel view on distributive justice, i.e. limitarianism, which claims that it is morally impermissible to be rich. Our main goal is to assess the two arguments provided by Ingrid Robeyns in favour of limitarianism, namely the democratic argument and the argument from unmet urgent needs and the two distinct limitarian views which these arguments give rise to. We claim that strong limitarianism, which is supported by the democratic argument, should be rejected as (...) it fails to fully instantiate the value of political equality, while having some other unattractive implications as well. By contrast, we argue that weak limitarianism, which is supported by the argument from unmet urgent needs, should be endorsed, albeit in a qualified version which also takes responsibility constraints into consideration. (shrink)

According to Kant’s philosophy of geometry, Euclidean geometry is synthetic _a priori_. The advent of non-Euclidean geometries proved this position at least problematic, if not obsolete. However, based on Nash’s embedding theorems we show that a weaker notion of _preeminence_ supports the view that Euclidean geometry, even though not strictly _a priori_, enjoys a more fundamental status than non-Euclidean geometries.