Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

Il tema della complessità della scienza è stato da qualche decennio oggetto di una vasta letteratura sia sul versante più strettamente scientifico, sia sul piano filosofico. Un argomento emerso con notevole interesse ha riguardato un aspetto della complessità inteso come rinuncia a una generalizzazione dei procedimenti assiomatico-deduttivi come metodo generale della ricerca scientifica. È stata espressa la convinzione che la fisica pre-relativistica sia stata fondata prevalentemente sul trionfo di questo metodo, sulla scia, fra l’altro, della gloriosa tradizione dei Principia newtoniani. (...) Pur riconoscendo la sua imponenza storica e concettuale, che ha condotto spesso a una sua identificazione con la stessa tradizione della scienza occidentale, la mia ricerca storica ha evidenziato una posizione antagonista presente nelle idee di Newton, e ripresa da due grandi fisici ottocenteschi, Ampere e Maxwell, posizione consistente in un ricorso alla cosiddetta deduzione dai fenomeni, un metodo di ricerca che rappresenta un’importante alternativa rispetto al metodo assiomatico-deduttivo. Nei primi decenni del nuovo secolo, si impongono poi progressivamente le idee di Einstein, che sul problema del metodo presentano un’irrisolta problematica. La celebrazione del metodo assiomatico-deduttivo si contrappone ad una lode dell’osservazione dei fenomeni e della riflessione sugli esperimenti, una variazione sul tema della deduzione dai fenomeni. Seppure i contributi del grande scienziato alle teorie derivate dagli assiomi del campo generalizzato non portarono a teorie conclusive, le sue idee in merito contribuirono enormemente alla moderna riflessione storico-epistemologica sulla scienza. (shrink)

FDE is a logic that captures relevant entailment between implication-free formulae and admits of an intuitive informational interpretation as a 4-valued logic in which “a computer should think”. However, the logic is co-NP complete, and so an idealized model of how an agent can think. We address this issue by shifting to signed formulae where the signs express imprecise values associated with two distinct bipartitions of the set of standard 4 values. Thus, we present a proof system which consists of (...) linear operational rules and only two branching structural rules, the latter expressing a generalized rule of bivalence. This system naturally leads to defining an infinite hierarchy of tractable depth-bounded approximations to FDE. Namely, approximations in which the number of nested applications of the two branching rules is bounded. (shrink)

The aim of this study is to proof the argument – i.e. ‘there are significant linkages amongst tolerance, hybrid identities and migration.’ These linkages can be comprehended by means of conceptualising extensions of hybrid identities in aggregate trans/inter-migration processes. It can be put forward that arising hybrid identities are embedded in a blurring structure of thoughts, beliefs, states of affairs, facts, belongings and so forth. From multiculturalism and cosmopolitanism viewpoints, it is argued that tolerance and migration ought to be analysed (...) in frame of sociology of law, human rights, international migration law, and of course the European Union law. So far, normative arguments and soft law approaches are very much well integrated with social aspects of migration, tolerance, identity and culture. In this context, the study examines to what extent cultural and human components are protected by law in multiple levels from an interdisciplinary perspective. In this framework, it is crucial to raise the research enquiries: What are possible criteria for the limits of tolerance? To what extent tolerance is related to human rights and morality? What ought to be the limit of tolerance towards hybrid identities in multicultural and cosmopolitan societies? In a consistent manner, the criteria and standards developed by some leading scholars were reconstructed and discussed throughout this paper. These criteria and standards are both moral (part of a universal system of morality) and legal (international, supranational, or national – i.e. constitutional). In order to apply such standards their validity was discussed (i.e. the respective normative power has the norms at the various levels). In the case of morals, their difference to particular ethnic systems was established (i.e. criteria by which the two can be distinguished). Then the research argument was elaborated on whether and how the legal standards comply with the moral standards, how national standards comply with supranational or international standards. Likewise, the study highlights the crucial contributions of “World Society and World System Paradigms” that are associated with social space, global civil society, cosmopolitanism, ethnic diversity, cultural hybridity, human rights activism and public sphere. Recent debates in Refugee Studies (e.g. Syrian Refugee Crisis, Dual and Multiple Citizenship Issues and so forth) highlight the fact that the European Union needs to consider new aspects of tolerance for hybrid identities and tolerate cultural rights of hybrid identities, create cohesion in communities and establish intercultural dialogue amongst home-states and host-states. Sanguinely, the efforts of hybrid identities are strengthening the relations between home-host states and these ought to attract some considerable attention. The authors of this study hope that their endeavours may contribute somewhat towards that. (shrink)

The aim of this study is to illustrate the role played by Augustine’s Commentary on the Genesis in the writings of Thomas Aquinas. This work is of great importance for Aquinas, not only because it is the work where Augustine clarifies his interpretation of creation, but also because creation is, among the theological topics, perhaps the most philosophical, insofar as it gives the opportunity of elaborating on many philosophical issues. In particular, the goal of the study is to rethink the (...) positions of Aquinas and Augustine on one of these issues, that is the relationship between soul and body. I mean to call into question two historiographical theses: first, that Augustine and Aquinas formulate positions that are irreconcilable with each other, and second, that they in no way address that which we today call the Mind-Body Problem. (shrink)

This study investigates transnational relations and global challenges which the European Industrial Relations have been facing recently. The paper, methodologically, was structured with taking into account both socio- political and judicial arguments. The social theory, and ergo, the practice in Europe were analyzed according to Marxist point of view. Basically, industrial relations and employment relationship were examined from the perspectives of employees, employee representatives and nation-states. The influence of the Charter of Fundamental Rights which is legally binding with the Lisbon (...) Treaty (TFEU) was examined. Likewise, the effectiveness of the acquis communautaire within the EU was argued with respect to the European Social Model; such as, social dialogue, tripartite and bipartite information exchange and consultation, collective bargaining and legal provisions regarding employment conditions and social protection. The importance of Europeanisation and convergence of national industrial relations was illustrated. (shrink)

The aim of this research is to examine the public policy influences on academic investigations that contain a substantial convergence among human resource management–industrial relations and corporate social responsibility–stakeholder approach by means of using bibliometric and content analyses of relevant publications in the Scopus and ScienceDirect databases. Totally, 160 publications were subject to bibliometric, cluster, and summative content analyses. In this context, this study claims that public policy in the EU influences academic investigations and scholars. The investigation draws attention to (...) the importance of active participation of different public institutions and key stakeholders (e.g., trade unions, works councils, academic associations) that prepare a basis for collaboration, solidarity, and communication for strengthening EU social model, social dialogue, collective bargaining, and the protection of social rights. The research findings illuminate the fact that European public policies have significant effects on shaping and encouraging investigations that are considered within the scope of IR–HRM and CSR–SA. One of the most crucial recommendations of this study is that the investigations which are out of this framework can be considered quite idealistic. Therefore, researchers may attempt to publish more scientific investigations in frame of IR–HRM and CSR–SA to enhance the comprehensiveness and depth of these two clusters. (shrink)

The Aristotelian axiom that function follows form was beautifully instantiated in molecular biology by the discovery of DNA’s structure that immediately suggested how DNA might work as depository and vehicle for genetic information. However, later on molecular biology became infatuated with the gene that became the center of the universe. This gene-centered viewpoint is an obstacle for the emerging field of evo-devo aiming at finding the causal connections between evolution and biological development. Here it is argued that molecular biology must (...) reject the narrow-minded causality associated with the gene-centered view and so it must recover to the spirit of Aristotelian natural history and its four types of causation in order to foster the evo-devo field of research. (shrink)

There is a current, ultra-Darwinian trend for finding in the process of evolution by natural selection the roots of our ethical behavior. In such a way that ethics may become a branch of biology. Nevertheless, this preposterous notion is supported on previous naive assumptions of contemporary biology that have already been falsified by recent results of research in genomics and molecular biology.

Starting from a critical evalutaion of the current mainstream in the philosophy of technology, this paper aims to outilne a historical and theoretical overview of the technology as philosophical question. The outocme of this overview is a taxonomy of the different ideas of a "philosophy of technology", that represents the basis for a brand new approach to this topic. It is a philosophical anthropology of technology, namely a Philosophy of Technology in the Nominative Case (filosofia della tecnica al nominativo - (...) TECNOM), grounded in turn on the twin concepts of neonvironmentality (neoambientalità) and feralization of human being (ferinizzazione dell'essere umano). (shrink)

The purpose of this paper is to present a critique of the current view that reduces cancer to a cellular problem caused by specific gene mutations and to propose, instead, that such a problem might become more intelligible, if it is understood as a phenomenon that results from the breakdown of the morphological plan or Gestalt of the organism. Such and organism, in Aristotelian terms, is characterized for presenting a specific morphe or logos (form) and for having a telos (end) (...) to fulfill. A malignant tumor represents an entity separated from both the organic logos and the organic telos. According to the basic postulates of Semiophysics – a blend of Aristotelian physics and Catastrophe Theory developed by René Thom – an organism is a source (original) form individuated by a dominant pregnance that corresponds to its morphogenetic field. Here it is suggested that cancer in aged individuals might result from the progressive exhaustion of developmental constraints that regulate the process of ontogeny, that it is expected to go from the fertilized non-differentiated zygote to the mature fully developed organism, because there is no further point ahead in the developmental pathway past the reproductive age. Cancer in young individuals (before their reproductive maturity) may then be consequence of the premature derangement of such fundamental developmental constraints. In all cases the result is the loss of morphological coherence within the organism. Thus representing a conflict between an organized morphology (the organism) and a part of such a morphology that drifts towards an amorphous state (the tumor). (shrink)

La pregunta sobre la esencia de la tecnología no atañe sólo a la filosofía, sino que tiene un alcance más vasto y una repercusión más general; transforma cualitativamente la relación entre el hombre y la tecnología al añadir un elemento fundamental: la libertad.

David Hume's famous riddle of induction implies a second problem related to the question of whether the laws and principles of nature might change in the course of time. Claims have been made that modern developments in physics and astrophysics corroborate the translational invariance of the laws of physics in time. However, the appearance of a new general principle of nature, which might not be derivable from the known laws of physics, or that might actually be a non-physical one (this (...) means completely independent of physical science) supports the notion that the course of nature can change in time. Here it is argued that natural selection satisfies the criteria that identify a general principle of nature which so far, appears to be non-derivable from the known laws of physics and therefore, it is likely that it arose in the course of time, thus leaving open again the quest for a true solution to Hume's second problem. (shrink)

Chance and necessity are mainstays of explanation in current biology, dominated by the neo-Darwinian outlook, a blend of the theory of evolution by natural selection with the basic tenets of population genetics. In such a framework the form of living organisms is somehow a side effect of highly contingent, historical accidents. Thus, at a difference of other sciences, biology apparently lacks theoretical principles that in a law-like fashion may explain the emergence and persistence of the characteristic forms of living organisms (...) that paradoxically, given the current importance attributed to chance, can be grouped into organized structural typologies. Nevertheless, the present essay shows that since its origins in Aristotelian natural history, biology aimed at achieving rational, non-accidental, explanations for the wide variety of living forms endowed with characteristic behaviors that constitute the landscape of biological species. (shrink)

This note discusses the importance of Natural History (biology) in the development of Aristotle philosophy and scientific outlook, and so the importance of considering Aristotle's philosophy as a necessary and useful background for contemporary biology.

Considerar un evento como descubrimiento científico es tarea compleja que, casi siempre, se ve influida por la sistematización de las investigaciones, la publicación de los hallazgos, o las ideas sobre la realidad del contexto donde se presenta.

This text answers the question, posed by the editor, on the philosophical and social issues resulting from the synthetic assembly of a modified bacterial genome that was introduced in an existing bacterial species (M.mycoides)and so it was claimed to represent the first ever kind of synthetic life produced by human manipulation.

En este artículo se analizan la nueva concepción en la apreciación de la ciencia y la crisis de racionalidad que provocó la obra de Thomas Kuhn, enmarcadas en el proceso que la filosofía de la ciencia ha seguido a lo largo de la historia.

Postmodern thought has focused itself on the critique of modern epistemology that was founded on a clear distinction between the knowing subject and the object of knowledge. For postmodern thought such a distinction is non-existent or dubious at best. Postmodernism has carried to its logical conclusion the postulates of structuralism; therefore, for postmodern thought there is no general intrinsic meaning in a fact of thing, but there are only particular ways for attributing meaning to such facts and things. Hereunder, we (...) attempt to trace the genealogy of postmodern thought on the history and philosophy of science, because science, traditionally regarded as the summit of knowledge and rationality by modern epistemology, has not been immune to the wholesale critique practiced by this new school of philosophical cynicism that we call postmodernism. (shrink)

Existen inconsistencias fundamentales entre el paradigma de la biología molecular y el paradigma de la física contemporánea y, por lo tanto, el marco conceptual vigente en la biología molecular resulta insuficiente para abordar las cuestiones del origen y desarrollo de la forma y organización biológicas.

The wealthiest nations in the World have a knowledge-based economy that depends on continued innovation based on research and development sustained by a pool of problem-solvers able to tackle the most diverse challenges. The Research University is the current gold standard for higher education and the research professors working in such an environment are the key figures responsible of fostering the new generations of problem-solvers.

The unit of selection is the concept of that ‘something’ to which biologists refer when they speak of an adaptation as being ‘for the good of’ something. Darwin identified the organism as the unit of selection because for him the ‘struggle for existence’ was an issue among individuals. Later on it was suggested that, in order to understand the evolution of social behavior, it is necessary to argue that groups, and not individuals, are the units of selection. The last addition (...) to this debate was the formulation by Dawkins, in 1976, that the genes themselves are the units of selection while the organisms are merely the temporary receptacles and vehicles for such genes. Thus, the preposterous dissolution of the organism into genes and the proteins coded by such genes has been introduced in the evolutionary discourse by neglecting that the explanations for biological phenomena can be either synchronic or diachronic, depending on the phenomenon to be explained. Therefore explanations in molecular biology are synchronic while evolutionary biology needs diachronic explanations. Nevertheless, for ultra-Darwinians such as Dawkins, efficient replication is all that biology is about. Here I develop an argument in order to show that there is nothing in molecular and cell biology that might support such a contention and that the idea of the gene as the unit of selection is incompatible with the evident evolution of biological complexity. (shrink)

Pain may appear to undermine the radically intentionalist view that the phenomenal character of any experience is entirely constituted by its representational content. That appearance is illusory. After categorizing versions of pain intentionalism along two dimensions, I argue that an 'objectivist' and 'non-mentalist' version is the most promising, if it can withstand two objections concerning what we say when in pain, and the distinctiveness of pain. I rebut these objections, in a way available to both opponents of and adherents to (...) the view that experiential content is entirely conceptual. (shrink)

The unit of selection is the concept of that ‘something’ to which biologists refer when they speak of an adaptation as being ‘for the good of’ something. Darwin identified the organism as the unit of selection because for him the ‘struggle for existence’ was an issue among individuals. Later on it was suggested that, in order to understand the evolution of social behavior, it is necessary to argue that groups, and not individuals, are the units of selection. The last addition (...) to this debate was the formulation by Dawkins, in 1976, that the genes themselves are the units of selection while organisms are merely the temporary receptacles and vehicles for such genes. Thus, the preposterous dissolution of the organism into genes and the proteins coded by such genes has been introduced in the evolutionary discourse by neglecting that the explanations for biological phenomena can be either synchronic or diachronic, depending on the phenomenon to be explained. Therefore explanations in molecular biology are synchronic while evolutionary biology needs diachronic explanations. Nevertheless, for ultra-Darwinians such as Dawkins, efficient replication is all that biology is about. Here I develop an argument in order to show that there is nothing in molecular and cell biology that might support such a contention and that the idea of the gene as the unit of selection is incompatible with the evident evolution of biological complexity. (shrink)

Since Aristotle the central question in biology was the origin of organic form; a question put in the backyard by neo-Darwinism that considers organic form as a side effect of the interactions between genes and their products. On the other hand, the fashionable notion of self-organization also fails to provide a true causal explanation for organic form. For Aristotle form is both a cause and the principle of intelligibility and this coupled to the classical concepts of potentiality and actuality provides (...) a rational framework,currently embodied in the contemporary concept of ‘attractor’, for understanding the origin of organic form. (shrink)

Los editores de la revista han planteado dos preguntas: ¿Están los ciudadanos en condiciones de incorporar el espíritu científico en sus deliberaciones públicas? ¿Es esto requisito necesario para la democracia? Así, este artículo pretende ofrecer una respuesta que va más allá de tales preguntas.

Two hundred years after Darwin’s birth, the evolution of living systems is an accepted fact but there is scope for controversy on the mechanisms involved in such a process. Mainstream neo-Darwinism champions the role of natural selection (NS) as the fundamental cause of the evolutionary process as well as of random, contingent events at the genetic level as the main source of variation upon which NS performs its causal role. Thus, according to neo-Darwinism the course of biological evolution is quite (...) unpredictable and the past can only be partially reconstructed by means of a historical narrative.This second-class status for biology within the natural sciences as a merely descriptive, historical science results from the chronic neglect of biological form in the neo-Darwinian discourse. Hereunder I discuss the need for reintroducing form as the central object of biology, aiming at the identification of the general and fundamental principles of biological form. Such a formal biology may go beyond simple historical description achieving a complete, rational explanation of how previous and current morphologies corresponding to identifiable species were established, and so providing a rational foundation for predicting the possible outcomes of future biological evolution on earth and perhaps elsewhere in the universe. (shrink)

Molecular biology is a relatively new and very successful branch of science but currently it faces challenges posed by very complex issues that cannot be addressed by a traditional reductionist approach. However, despite its origins in the providential shift of some theoretical physicists to biology, currently molecular biology is immersed in a blind trend in which high-throughput technology, able to generate trillions of data, is becoming the leading edge of a discipline that has traded rational and critical thinking for computer (...) power, data crunching and statistics in hope of finding, once more, its way. However, the complex questions facing MB may only be solved by a paradigm shift in the causal way of thinking, so that complex, emergent, non-linear phenomena may be effectively understood in top-down and not in bottom-up terms. (shrink)

For some the gene-centered reductionism that permeates contemporary neo-Darwinism is an obstacle for finding a common explanatory framework for both biological and cultural evolution. Thus social scientists are tempted to find new concepts that might bridge the divide between biology and sociology. Yet since Aristotle we know that the level of explanation must be commensurate with the particular question to be answered. In modern natural science there are many instances where a reductionist approach has failed to provide the right answer (...) to the corresponding question. Thus social scientists risk becoming non-relevant when mimicking some features of the natural sciences (such as hard or soft reductionism) just for the sake of it, instead of finding autonomous explanations commensurate with the level of phenomena studied by social science. (shrink)

Philosophers have rightly condemned lookism—that is, discrimination in favor of attractive people or against unattractive people—in education, the justice system, the workplace and elsewhere. Surprisingly, however, the almost universal preference for attractive romantic and sexual partners has rarely received serious ethical scrutiny. On its face, it’s unclear whether this is a form of discrimination we should reject or tolerate. I consider arguments for both views. On the one hand, a strong case can be made that preferring attractive partners is bad. (...) The idea is that choosing partners based on looks seems essentially similar to other objectionable forms of discrimination. (In particular, the preference for attractive partners is arguably both unfair and harmful to a significant degree.) One can try to resist this conclusion in several ways. I consider three possible replies. The first has to do with the possibility of controlling our partner preferences. The second pertains to attractiveness and “good genes”. The last attempts to link certain aspects of attractiveness to a prospective partner’s personality and values. I argue that the first two replies fail conclusively, while the third only amounts to a limited defense of a particular kind of attractiveness preference. So the idea that we should often avoid preferring attractive partners is compelling. (shrink)

Multidimensional adjectives are ubiquitous in natural language. An adjective F is multidimensional just in case whether F applies to an object or pair of objects depends on how those objects stand with respect to multiple underlying dimensions of F-ness. Developing a semantics for multidimensional adjectives requires us to address the problem of dimensional aggregation: how do the application conditions of an adjective F in its positive and comparative forms depend on its underlying dimensions? Here we develop a semantics for multidimensional (...) adjectives that incorporates aggregation functions. We then explore an analogy between dimensional aggregation and preference aggregation, bringing results from social choice theory to bear on the number and kind of aggregation functions that are admissible in a context. These results suggest that, for any given adjective, there will often be multiple aggregation functions admissible, meaning that multidimensional comparatives are often vague. (shrink)

This is the first chapter to our edited collection of essays on the nature and ethics of blame. In this chapter we introduce the reader to contemporary discussions about blame and its relationship to other issues (e.g. free will and moral responsibility), and we situate the essays in this volume with respect to those discussions.

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...) of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

The many-property problem has traditionally been taken to show that the adverbial theory of perception is untenable. This paper first shows that several widely accepted views concerning the nature of perception---including both representational and non-representational views---likewise face the many-property problem. It then presents a solution to the many-property problem for these views, but goes on to show how this solution can be adapted to provide a novel, fully compositional solution to the many-property problem for adverbialism. Thus, with respect to the (...) many-property problem, adverbialism and several widely accepted views in the philosophy of perception are on a par, and the problem is solved. (shrink)

Mathematicians distinguish between proofs that explain their results and those that merely prove. This paper explores the nature of explanatory proofs, their role in mathematical practice, and some of the reasons why philosophers should care about them. Among the questions addressed are the following: what kinds of proofs are generally explanatory (or not)? What makes a proof explanatory? Do all mathematical explanations involve proof in an essential way? Are there really such things as explanatory proofs, and if so, how do (...) they relate to the sorts of explanation encountered in philosophy of science and metaphysics? (shrink)

Prior’s puzzle is standardly taken to be the puzzle of why, given the assumption that that-clauses denote propositions, substitution of “the proposition that P” for “that P” within the complements of many propositional attitude verbs is invalid. I show that Prior’s puzzle is much more general than is ordinarily supposed. There are two variants on the substitutional form of the puzzle—a quantificational variant and a pronominal variant—and all three forms of the puzzle arise in a wide range of grammatical positions, (...) rather than merely in the complements of propositional attitude verbs. The generalized puzzle shows that a range of proposed solutions to the original puzzle fail, or are radically incomplete, and also reveals the connections between Prior’s puzzle and debates over the nature of semantic types and higher-order quantification. I go on to develop a novel, higher-order solution to the generalized form of the puzzle, and I argue that this higher-approach is superior to its first-order alternatives. (shrink)

We maintain that in many contexts promising to try is expressive of responsibility as a promiser. This morally significant application of promising to try speaks in favor of the view that responsible promisers favor evidentialism about promises. Contra Berislav Marušić, we contend that responsible promisers typically withdraw from promising to act and instead promise to try, in circumstances in which they recognize that there is a significant chance that they will not succeed.

Ramsification is a well-known method of defining theoretical terms that figures centrally in a wide range of debates in metaphysics. Prior's puzzle is the puzzle of why, given the assumption that that-clauses denote propositions, substitution of "the proposition that P" for "that P" within the complements of many propositional attitude verbs sometimes fails to preserve truth, and other times fails to preserve grammaticality. On the surface, Ramsification and Prior's puzzle appear to have little to do with each other. But Prior's (...) puzzle is much more general than is ordinarily appreciated, and Ramsification requires a solution to the generalized form of Prior's puzzle. Without such a solution, a wide range of theories will either fail to imply their Ramsey sentences, or have Ramsey sentences that are ill-formed. As a consequence, definitions of theoretical terms given using the Ramsey sentence will be either incorrect or nonsensical. I present a partial solution to the puzzle that requires making use of a neo-Davidsonian language for scientific theorizing, but the would-be Ramsifier still faces serious challenges. (shrink)

In this paper I present an empirical solution to the puzzle of Macbeth's dagger. The puzzle of Macbeth's dagger is the question of whether, in having his fatal vision of a dagger, Macbeth sees a dagger. I answer this question by addressing a more general one: the question of whether perceptual verbs are intensional transitive verbs (ITVs). I present seven experiments, each of which tests a collection of perceptual verbs for one of the three features characteristic of ITVs. One of (...) these features is Nonexistence: the failure of sentences involving transitive verbs to entail the existence of their direct objects. The experiments reveal that with respect to all three of these features, "see" behaves much more like a paradigmatically extensional verb than an intensional one. But surprisingly, unlike "see", "perceive" behaves much more like a paradigmatically intensional verb. This shows that the category of perceptual verbs is not uniform with respect to the features of intensionality; while Macbeth does not see a dagger, he may still perceive one. (shrink)

Every quantum state can be represented as a probability distribution over the outcomes of an informationally complete measurement. But not all probability distributions correspond to quantum states. Quantum state space may thus be thought of as a restricted subset of all potentially available probabilities. A recent publication (Fuchs and Schack, arXiv:0906.2187v1, 2009) advocates such a representation using symmetric informationally complete (SIC) measurements. Building upon this work we study how this subset—quantum-state space—might be characterized. Our leading characteristic is that the inner (...) products of the probabilities are bounded, a simple condition with nontrivial consequences. To get quantum-state space something more detailed about the extreme points is needed. No definitive characterization is reached, but we see several new interesting features over those in Fuchs and Schack (arXiv:0906.2187v1, 2009), and all in conformity with quantum theory. (shrink)

Rationalization in the sense of biased self-justification is very familiar. It's not cheating because everyone else is doing it too. I didn't report the abuse because it wasn't my place. I understated my income this year because I paid too much in tax last year. I'm only a social smoker, so I won't get cancer. The mental mechanisms subserving rationalization have been studied closely by psychologists. However, when viewed against the backdrop of philosophical accounts of the regulative role of truth (...) in doxastic deliberation , rationalization can look very puzzling. Almost all contemporary philosophers endorse a version of the thesis of deliberative exclusivity—a thinker cannot in full consciousness decide whether to believe that p in a way that issues directly in forming a belief by adducing anything other than considerations that he or she regards as relevant to the truth of p. But, as I argue, rationalization involves the weighing of considerations that the thinker kn.. (shrink)

Ordinarily, we take moral responsibility to come in degrees. Despite this commonplace, theories of moral responsibility have focused on the minimum threshold conditions under which agents are morally responsible. But this cannot account for our practices of holding agents to be more or less responsible. In this paper we remedy this omission. More specifically, we extend an account of reasons-responsiveness due to John Martin Fischer and Mark Ravizza according to which an agent is morally responsible only if she is appropriately (...) receptive to and reactive to reasons for action. Building on this, we claim that the degree to which an agent is responsible will depend on the degree to which she is able to recognize and react to reasons. To analyze this, we appeal to relations of comparative similarity between possible worlds, arguing that the degree to which an agent is reasons-reactive depends on the nearest possible world in which given sufficient reason to do otherwise, she does so. Similarly, we argue that the degree to which an agent is reasons-receptive will depend on the intelligibility of her patterned recognition of reasons. By extending an account of reasons-responsiveness in these ways, we are able to rationalize our practice of judging people to be more or less responsible. (shrink)

Simon Blackburn objects that Wittgenstein's private language argument overlooks the possibility that a private linguist can equip himself with a criterion of correctness by confirming generalizations about the patterns in which his private sensations occur. Crispin Wright responds that appropriate generalizations would be too few to be interesting. But I show that Wright's calculations are upset by his failure to appreciate both the richness of the data and the range of theories that would be available to the private linguist.

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

Recent progress in artificial intelligence (AI) has drawn attention to the technology’s transformative potential, including what some see as its prospects for causing large-scale harm. We review two influential arguments purporting to show how AI could pose catastrophic risks. The first argument — the Problem of Power-Seeking — claims that, under certain assumptions, advanced AI systems are likely to engage in dangerous power-seeking behavior in pursuit of their goals. We review reasons for thinking that AI systems might seek power, that (...) they might obtain it, that this could lead to catastrophe, and that we might build and deploy such systems anyway. The second argument claims that the development of human-level AI will unlock rapid further progress, culminating in AI systems far more capable than any human — this is the Singularity Hypothesis. Power-seeking behavior on the part of such systems might be particularly dangerous. We discuss a variety of objections to both arguments and conclude by assessing the state of the debate. (shrink)

In this paper, I develop and defend a new adverbial theory of perception. I first present a semantics for direct-object perceptual reports that treats their object positions as supplying adverbial modifiers, and I show how this semantics definitively solves the many-property problem for adverbialism. My solution is distinctive in that it articulates adverbialism from within a well-established formal semantic framework and ties adverbialism to a plausible semantics for perceptual reports in English. I then go on to present adverbialism as a (...) theory of the metaphysics of perception. The metaphysics I develop treats adverbial perception as a directed activity: it is an activity with success conditions. When perception is successful, the agent bears a relation to a concrete particular, but perception need not be successful; this allows perception to be fundamentally non-relational. The result is a novel formulation of adverbialism that eliminates the need for representational contents, but also treats successful and unsuccessful perceptual events as having a fundamental common factor. (shrink)