We present an experiment designed to investigate three different mechanisms to achieve impartiality in distributive justice. We consider a first-person procedure, inspired by the Rawlsian veil of ignorance, and two third-party procedures, an involved spectator and a detached observer. First-person veiled stakeholders and involved spectators are affected by an initially unfair distribution that, in the stakeholders’ case, is to be redressed. We find substantial differences in the redressing task. Detached observers propose significantly fairer redistributions than veiled stakeholders or involved spectators. (...) Risk preferences partly explain why veiled stakeholders propose less egalitarian redistributions. Surprisingly, involved spectators, who are informed about their position in society, tend to favour stakeholders holding the same position as they do after the initial distribution. (shrink)

Why should sovereign states obey international law? What compels them to owe allegiance to a higher set of rules when each country is its own law of the land? What is the basis of their obligations to each other? Conventional wisdom suggests that countries are too different from one another culturally to follow laws out of mere loyalty to each other or a set of shared moral values. Surely, the prevailing view holds, countries act simply out of self-interest, and they (...) eventually consent to norms of international law to regulate matters of common interest.In this groundbreaking book, Fernando Tesón goes against this prevailing thought by arguing, in the Kantian tradition, that a shared respect for individual human rights underpins not just the obligation countries feel to follow international law but also international laws themselves and even the very legitimacy of nations in the eyes of the international community. Tesón, both a lawyer and a philosopher, proposes that an overlapping respect for human rights has created a moral common ground among the countries of the world; and moreover, that such an outlook is the only one that is rationally defensible. It is this common set of values rather than self-interest that ultimately provides legitimacy to international law. Using the tools of moral philosophy, Tesón analyzes the concepts of sovereignty, intervention, and national interest; the contributions of social contact theory, game theory, and feminist theory; and the puzzles of self-determination and group rights.More than simply outlining his theory, Tesón goes on to give detailed examples of international laws, international institutions, and their human rights foundations, putting his ideas to work and addressing legal reforms called for by the theory. He suggests that treaties, for example, should be considered binding if, and only if, the consent to the treaty was given by a genuinely representative government, one that acts out of interest for the human rights of its citizens. Although the theoretical achievement of this book is to challenge received wisdom on the foundation of international law, the practical ambition is a call to reform the international legal system for the post–Cold War era, to substitute for the old order one that gives primacy to human dignity and freedom over state power. (shrink)

Understanding Computers and Cognition presents an important and controversial new approach to understanding what computers do and how their functioning is related to human language, thought, and action. While it is a book about computers, Understanding Computers and Cognition goes beyond the specific issues of what computers can or can't do. It is a broad-ranging discussion exploring the background of understanding in which the discourse about computers and technology takes place. Understanding Computers and Cognition is written for a wide audience, (...) not just those professionals involved in computer design or artificial intelligence. It represents an important contribution to the ongoing discussion about what it means to be a machine, and what it means to be human. Book jacket. (shrink)

Research has indicated that microRNAs (miRNAs), a special class of non-coding RNAs (ncRNAs), can perform important roles in different biological and pathological processes. miRNAs’ functions are realized by regulating their respective target genes (targets). It is thus critical to identify and analyze miRNA-target interactions for a better understanding and delineation of miRNAs’ functions. However, conventional knowledge discovery and acquisition methods have many limitations. Fortunately, semantic technologies that are based on domain ontologies can render great assistance in this regard. In our (...) previous investigations, we developed a miRNA domain-specific application ontology, Ontology for MIcroRNA Target (OMIT), to provide the community with common data elements and data exchange standards in the miRNA research. This paper describes (1) our continuing efforts in the OMIT ontology development and (2) the application of the OMIT to enable a semantic approach for knowledge capture of miRNA-target interactions. (shrink)

Ignorance usually excuses from responsibility, unless the person is culpable for the ignorance itself. Since a lot of wrongdoing occurs in ignorance, the question of what makes ignorance culpable is central for a theory of moral responsibility. In this article I examine a prominent answer, which I call the ‘volitionalist tracing account,’ and criticize it on the grounds that it relies on an overly restrictive conception of responsibility‐relevant control. I then propose an alternative, which I call the ‘capacitarian conception of (...) control,’ and on the basis of it I advance an account of culpable ignorance that avoids the skeptical upshots of the volitionalist proposal. If correct, my account establishes three important truths: agents can be directly in control of their ignorance, they can be directly responsible for more than actions and omissions, and their moral obligations extend beyond the performance of intentional actions and omissions. (shrink)

Scholars have debated the meaning of the foreign-relations clauses in the U.S. Constitution. This essay attempts to outline the foreign-relations clauses that an ideal constitution should have. A liberal constitution must enable the government to implement a morally defensible foreign policy. The first priority is the defense of liberty. The constitution must allow the government to effectively defend persons, territory, and liberal institutions themselves. The liberal government should also contribute to the advancement of global freedom, subject to a number of (...) conditions, especially cost. The essay recommends improved methods to incorporate treaties and customary international law into the constitutional structure. Treaties should be approved by the whole legislature and should generally be self-executing. Customary law should be genuine, not fake, and consistent with liberal principles. Finally, based on economic theory and evidence, the essay recommends that liberal constitutions prohibit the government from erecting trade barriers. It concludes by tentatively proposing concrete constitutional language to implement these recommendations. (shrink)

The notion of naivety is a form of classification and explanation of the social world. By applying Erving Goffman’s expression games model, it is observed that the notion of naivety corresponds to a situation in which an observer assumes that the observed subject does not accommodate his behavior to the presence of the observer, in the assumption that the latter might take advantage from what he learns from it. This article explores this model’s explanatory power in reference to the diverse (...) forms in which the notion of naivety is used in contexts where transinteractive structures of the art world have to be taken into account. La noción de ingenuidad es una forma cotidiana de clasificación y explicación del mundo social. Usando el modelo de juegos de expresión de Erving Goffman, se observa que ella corresponde a la situación en que un actor asume que otro no modifica su comportamiento teniendo en cuenta lo que el primero aprende de él para alcanzar sus propios objetivos. En este artículo se explora la utilidad de este modelo para explicar el uso de la noción de ingenuidad en referencia a estructuras transinteractivas de mundos del arte. (shrink)

We discuss in this paper the scope of abduction in Economics. The literature on this type of inference shows that it can be interpreted in different ways, according to the role and nature of its outcome. We present a formal model that allows to capture these various meanings in different economic contexts.

In recent years, sequencing technologies have enabled the identification of a wide range of non-coding RNAs (ncRNAs). Unfortunately, annotation and integration of ncRNA data has lagged behind their identification. Given the large quantity of information being obtained in this area, there emerges an urgent need to integrate what is being discovered by a broad range of relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a systematically structured and precisely defined controlled vocabulary for the (...) domain of ncRNAs, thereby facilitating the discovery, curation, analysis, exchange, and reasoning of data about structures of ncRNAs, their molecular and cellular functions, and their impacts upon phenotypes. The goal of NCRO is to serve as a common resource for annotations of diverse research in a way that will significantly enhance integrative and comparative analysis of the myriad resources currently housed in disparate sources. It is our belief that the NCRO ontology can perform an important role in the comprehensive unification of ncRNA biology and, indeed, fill a critical gap in both the Open Biological and Biomedical Ontologies (OBO) Library and the National Center for Biomedical Ontology (NCBO) BioPortal. Our initial focus is on the ontological representation of small regulatory ncRNAs, which we see as the first step in providing a resource for the annotation of data about all forms of ncRNAs. (shrink)

Events employed in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a motion picture. The relevant finite automata then amount to movie cameras/projectors, or more formally, to finite Kripke structures with par- tial valuations. The usual regular constructs (concatena- tion, choice, etc) are supplemented with superposition of strings/automata/languages, realized model-theoretically as conjunction.

We construct a weak second-order theory of arithmetic which includes Weak König's Lemma (WKL) for trees defined by bounded formulae. The provably total functions (with Σ b 1 -graphs) of this theory are the polynomial time computable functions. It is shown that the first-order strength of this version of WKL is exactly that of the scheme of collection for bounded formulae.

What is the nature of knowledge? A popular answer to that long-standing question comes from robust virtue epistemology, whose key idea is that knowing is just a matter of succeeding cognitively—i.e., coming to believe a proposition truly—due to an exercise of cognitive ability. Versions of robust virtue epistemology further developing and systematizing this idea offer different accounts of the relation that must hold between an agent’s cognitive success and the exercise of her cognitive abilities as well as of the very (...) nature of those abilities. This paper aims to give a new robust virtue epistemological account of knowledge based on a different understanding of the nature and structure of the kind of abilities that give rise to knowledge. (shrink)

Background Medical ethics deals with the ethical obligations of doctors to their patients, colleagues and society. The annual reports of Sri Lanka Medical Council indicate that the number of complaints against doctors has increased over the years. We aimed to assess the level of knowledge, attitude and practice regarding medical ethics among doctors in three teaching hospitals in Sri Lanka. Methods A hospital-based cross-sectional study was conducted among doctors using a pre-tested self-administered, anonymous questionnaire. Chi Squared test, and ANOVA test (...) were used to identify the significance of association between level of knowledge and selected factors. Results Most doctors had a poor level of knowledge on medical ethics, with postgraduate trainees showing significantly higher level of knowledge. The average knowledge on medical ethics among doctors was significantly different between the three hospitals. Over 95% had a favourable attitude towards gaining knowledge and advocated the need for training. The majority indicated awareness of unethical practices. 24.6% of respondents stated that they get a chaperone ‘sometimes’ during patient examination while 3.5% never do. The majority responded that they never accept gifts from pharmaceutical companies in recognition of their prescribing pattern. 12–41% of doctors participated in the study acknowledged that they ‘sometime’ engaged in unethical practices related to prescribing drugs, accepting gifts from pharmaceutical companies and when obtaining leave. Conclusion Most doctors had a poor level of knowledge of medical ethics. Postgraduate trainees had a higher level of knowledge than other doctors. The majority showed a favourable attitude towards gaining knowledge and the need of training. Regular in-service training on medical ethics for doctors would help to improve their knowledge on medical ethics, as well as attitudes and ethical conduct. (shrink)

The renewed interest in concepts and their role in psychological theorizing is partially motivated by Machery’s claim that concepts are so heterogeneous that they have no explanatory role. Against this, pluralism argues that there is multiplicity of different concepts for any given category, while hybridism argues that a concept is constituted by a rich common representation. This article aims to advance the understanding of the hybrid view of concepts. First, we examine the main arguments against hybrid concepts and conclude that, (...) even if not successful, they challenge hybridism to find a robust criterion for concept individuation and to show an explanatory advantage for hybrid concepts. Then we propose such a criterion of individuation, which we will call ‘functional stable coactivation’. Finally, we examine the prospects of hybridism to understand what is involved in recent approaches to categorization and meaning extraction. 1 The Heterogeneity of Conceptual Representations2 Two Challenges for Hybrid Concepts: Individuation and Explanation2.1 The coordination criterion2.2 Concepts as constituents of thoughts3 Individuating Hybrids: Functional Stable Coactivation4 The Explanatory Power of Hybrid Concepts4.1 Categorization4.2 Meaning extraction4.2.1 Linguistic comprehension and rich lexical entries4.2.2 Polysemy and hybrid concepts5 Conclusion. (shrink)

Economists generally agree that free trade leads to economic growth. This proposition is supported both by theoretical models and empirical data. Further, while the empirical evidence is more limited on this question, the general consensus among economists holds that trade restrictions are likely to hurt the poor. Even if the latter consensus turns out to be wrong, if free trade leads to superior growth, governments would have more resources to redistribute to the poor. It is surprising then that philosophers and (...) human rights scholars do not advocate liberalizing trade as a way to improve the welfare of the poor as a class. While many scholars in these fields are silent with respect to the effect of free trade on the poor, some actually argue that liberalized trade is harmful for the poor, contrary to the claims of economists. In this article, we argue that any serious scholar concerned with the plight of the poor needs to address the theory and evidence regarding the effects of trade liberalization on economic growth, suggesting that the standard policy prescriptions of the philosophers and human rights scholars are, at best, of second order concern and, at worst, likely to be counterproductive in terms of improving the welfare of the poor. (shrink)

A model for the quantum measurement of the electronic current in a Josephson junction is presented and analyzed. The model is similar to a Stern-Gerlach apparatus, relying on the deflection of a spin-polarized particle beam by the magnetic field created by the Josephson current. The aim is (1) to explore, with the help of a simple model, some general ideas about the nature of the information which can be obtained by measurements upon a quantum system and (2) to find new (...) approaches for obtaining information about the nature of the states of a macroscopic quantum system. In the case of sufficiently strong coupling between the system and the apparatus, we find that the model provides in principle a standard ideal measurement of the value of the instantaneous Josephson current. In the case of weak coupling, where the measurement is not ideal, we show that the scattering of neutrons from a junction can in principle be used to measure the average value of the Josephson current, thereby allowing an experimental distinction to be made between an eigenstate of relative phase and one of relative Cooper pair number. The possibility of the latter type of measurement suggests an experimental approach to answer a question of fundamental interest, namely whether two isolated superconductors (or superfluids) possess a definite relative phase or a definite relative number of superconducting (or super/lowing) particles. (shrink)

We present a formal analysis of Douglas Hofstadter’s concept of superrationality. We start by defining superrationally justifiable actions, and study them in symmetric games. We then model the beliefs of the players, in a way that leads them to different choices than the usual assumption of rationality by restricting the range of conceivable choices. These beliefs are captured in the formal notion of type drawn from epistemic game theory. The theory of coalgebras is used to frame type spaces and to (...) account for the existence of some of them. We find conditions that guarantee superrational outcomes. (shrink)

This paper critically assesses Sosa’s normative framework for performances as well as its application to epistemology. We first develop a problem for one of Sosa’s central theses in the general theory of performance normativity according to which performances attain fully desirable status if and only if they are fully apt. More specifically, we argue that given Sosa’s account of full aptness according to which a performance is fully apt only if safe from failure, this thesis can’t be true. We then (...) embark on a rescue mission on behalf of Sosa and work towards a weakened account of full aptness. The key idea is to countenance a distinction between negligible and non-negligible types of risk and to develop an account of full aptness according to which even performances that are endangered by risk can be fully apt, so long as the risk is of a negligible type. While this alternative account of full aptness solves the problem we developed for Sosa earlier on, there is also bad news for Sosa. When applied to epistemology, the envisaged treatment of barn façade cases as cases in which the agent falls short of fully apt belief will no longer work. We show that, as a result, Sosa faces a new version of a familiar dilemma for virtue epistemology. Either he construes full aptness as strong enough to get barn façade cases right in which case his view will run right into the problem we develop. Or else he construes full aptness as weak enough to avoid this problem but then he will not be able to deal with barn façade cases in the way envisaged. (shrink)

Habituation is defined as a decline in responding to a repeated stimulus. After more than eighty years of research, there is an enduring consensus among researchers on the existence of 9-10 behavioral regularities or parameters of habituation. There is no similar agreement, however, on the best approach to explain these facts. In this paper, we demonstrate that the Sometimes Opponent Processes (SOP) model of stimulus processing accurately describes all of these regularities. This model was proposed by Allan Wagner as a (...) quantitative elaboration of Priming Theory, which states that the processing of a stimulus, and therefore its capacity to provoke its response, depends inversely on the degree to which the stimulus is pre-represented in short-term memory. Using computer simulations, we show that all the facts involving within-session effects or short-term habituation might be the result of priming from recent presentations of the stimulus (self-generated priming). The characteristics involving between-sessions effects or long-term habituation would result from the retrieval of the representation of the stimulus from memory by the associated context (associatively-generated priming). (shrink)

We introduce a new typed combinatory calculus with a type constructor that, to each type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}, associates the star type σ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma ^*$$\end{document} of the nonempty finite subsets of elements of type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}. We prove that this calculus enjoys the properties of strong normalization and confluence. With the aid of this star combinatory (...) calculus, we define a functional interpretation of first-order predicate logic and prove a corresponding soundness theorem. It is seen that each theorem of classical first-order logic is connected with certain formulas which are tautological in character. As a corollary, we reprove Herbrand’s theorem on the extraction of terms from classically provable existential statements. (shrink)

The processing of sequences of (English) sentences is analyzedcompositionally through transitions that merge sentences, rather thandecomposing them. Transitions that are in a precise senseinertial are related to disjunctive and non-deterministic approaches toambiguity. Modal interpretations are investigated, inducing variousequivalences on sequences.

Part charlatan, part wunderkind, and part learned scholastic, Fernando of Cordova burst upon the European scene in 1444-1446 when he traveled to different parts of Europe. He astounded audiences by his command of the subject matter in all univ. subjects, his mastery of oriental languages, his skill in painting, music, and instrument making, and his expertise in knightly warfare. After disappearing in 1446, he reappeared in 1466 as a Roman curialist active in several controversies. He died in 1486. (...) class='Hi'>Fernando's philosophical, theological, and scientific writings cover a wide range of topics important to his age, and his biography has a special value because of what he did and whom he impressed in his travels in the cities, courts, and universities of Europe. (shrink)

É possível considerar o poema Títônio de Safo como um texto filosófico pré-socrático? Certas características nos fazem considerar estes versos em sua filosofia: 1) Retrata uma situação de aprendizagem amorosa, amor ao saber; 2) A presença de uma sentença de caráter universal sobre a humanidade: “Não envelhecer, para o homem, é um caso impossível.”; 3) Uma crítica ao senso comum e um aprofundamento de sabedoria; em particular a consideração da humanidade pela corrupção do devir mais do que pela mortalidade; 4) (...) A repercussão do saber teórico em uma atitude e em um modo de vida prático: “O que posso eu fazer?” e a respectiva resposta proposta; 5) Um termo base a conduzir e dar unidade de estilo filosófico e de modo de pensar à autora. (shrink)

Esse texto é um resultado parcial e provisório de uma pesquisa de Pós-doutorado em andamento na Scuola Normale Superiore de Pisa/Italia sobre a supervisão do filósofo Roberto Esposito. Observa-se que nessas primeiras décadas do século XXI o pensamento filosófico Italiano, por algumas das razões que tentaremos expor abaixo, tem sido objeto de um grande interesse mundial, tornando-se objeto de inúmeros seminários, livros e artigos. O texto tenta avaliar se existiria algo como uma “filosofia Italiana” para além da pertença nacional daqueles (...) que contribuíram para a sua construção. Pode-se falar em uma Italian Theory? Se a resposta a essa questão for afirmativa, quais seriam as suas especificidades? (shrink)

Reichenbach's event, reference and speech times are interpreted semantically by stringing and superposing sets of temporal formulae, structured within regular languages. Notions of continuation branches and of inertia, bound (in a precise sense) by reference time, are developed and applied to the progressive and the perfect.

In this paper we show that any reasoning process in which conclusions can be both fallible and corrigible can be formalized in terms of two approaches: (i) syntactically, with the use of defeasible reasoning, according to which reasoning consists in the construction and assessment of arguments for and against a given claim, and (ii) semantically, with the use of partial structures, which allow for the representation of less than conclusive information. We are particularly interested in the formalization of scientific reasoning, (...) along the lines traced by Lakatos’ methodology of scientific research programs. We show how current debates in cosmology could be put into this framework, shedding light on a very controversial topic. (shrink)

No son muchos los textos en filosofía de las matemáticas que intentan dirigirse a la práctica matemática avanzada y, menos aún, aquellos que intentan acercarse a las matemáticas contemporáneas en acción. La lista de tales esfuerzos es bastante reducida—Pólya, Lakatos, Kline, Wilder, Kitcher acercándose a la matemática clásica; De Lorenzo, MacLane, Tymoczko haciéndolo a la matemática moderna; Badiou, Maddy, Patras a la matemática contemporánea—por lo que el trabajo de Corfield, ya sólo por situarse en esa línea minoritaria, merece una cierta (...) atención. El trabajo sin embargo cuenta con amplios méritos propios, más allá de apoyar una saludable línea alternativa, que se contrapone con las tendencias predominantes de la filosofía analítica o de la filosofía del lenguaje aplicadas al universo matemático. Desde el comienzo mismo, gracias a su polémico título, Towards a Philosophy of Real Mathematics, intenta romper con los prejuicios normativos al uso en la filosofía matemática, en particular con las “creencias entre filósofos de que el estudio de las mayores corrientes matemáticas recientes es innecesario”. Las matemáticas “reales” evocan la Apología de Hardy en donde el matemático inglés identifica matemáticas reales con matemáticas avanzadas, ya sea clásicas, del tipo Euler o Gauss, ya sea modernas, del tipo Galois o Riemann. Una amplia introducción presenta una argumentada defensa del valor de una perspectiva filosófica orientada hacia esas matemáticas no elementales, y exhibe algunos de los problemas mayores que emergen en esa aproximación, pero que, en cambio, el “filtro fundacionalista” no deja detectar: el estatuto de los bordes estructurales de las matemáticas, la conectividad de las diferentes teorías matemáticas, la evolución de los conceptos matemáticos, la contingencia del pensamiento matemático, la progresiva riqueza recursiva de las construcciones matemáticas. (shrink)

Conditional logic is the deductive system , where is the set of propositional connectives {, ,} and is the structural finitary consequence relation on the absolutely free algebra that preserves degrees of truth over the structure of truth values C, . HereC is the non-commutative regular extension of the 2-element Boolean algebra to 3 truth values {t, u, f}, andfut. In this paper we give a Gentzen type axiomatization for conditional logic.