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)

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)

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)

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)

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)

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)

We discuss potential biorisks from large language models (LLMs). AI assistants based on LLMs such as ChatGPT have been shown to significantly reduce barriers to entry for actors wishing to synthesize dangerous, potentially novel pathogens and chemical weapons. The harms from deploying such bioagents could be further magnified by AI-assisted misinformation. We endorse several policy responses to these dangers, including prerelease evaluations of biomedical AIs by subject-matter experts, enhanced surveillance and lab screening procedures, restrictions on AI training data, and access (...) controls on biomedical AI. We conclude with a suggestion about future research directions in bioethics. (shrink)

According to a widespread view in metaphysics and philosophy of science, all explanations involve relations of ontic dependence between the items appearing in the explanandum and the items appearing in the explanans. I argue that a family of mathematical cases, which I call “viewing-as explanations”, are incompatible with the Dependence Thesis. These cases, I claim, feature genuine explanations that aren’t supported by ontic dependence relations. Hence the thesis isn’t true in general. The first part of the paper defends this claim (...) and discusses its significance. The second part of the paper considers whether viewing-as explanations occur in the empirical sciences, focusing on the case of so-called fictional models. It’s sometimes suggested that fictional models can be explanatory even though they fail to represent actual worldly dependence relations. Whether or not such models explain, I suggest, depends on whether we think scientific explanations necessarily give information relevant to intervention and control. Finally, I argue that counterfactual approaches to explanation also have trouble accommodating viewing-as cases. (shrink)

The problem of truth in fiction concerns how to tell whether a given proposition is true in a given fiction. Thus far, the nearly universal consensus has been that some propositions are ‘implicitly true’ in some fictions: such propositions are not expressed by any explicit statements in the relevant work, but are nevertheless held to be true in those works on the basis of some other set of criteria. I call this family of views ‘implicitism’. I argue that implicitism faces (...) serious problems, whereas the opposite view is much more plausible than has previously been thought. After mounting a limited defence of explicitism, I explore a difficult problem for the view and discuss some possible responses. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (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.

Appropriate information and consent has been one of the most intensely discussed topics within the context of biobank research. In parallel to the normative debate, many socio-empirical studies have been conducted to gather experiences, preferences and views of patients, healthy research participants and further stakeholders. However, there is scarcity of literature which connects the normative debate about justifications for different consent models with findings gained in empirical research. In this paper we discuss findings of a limited review of socio-empirical research (...) on patients’ and healthy research participants’ experiences and views regarding consent to biobank research in light of ethical principles for appropriate information and consent. (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)

Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to Gauss (...) and Eisenstein, and a sophisticated proof using algebraic number theory, due to Hilbert. Philosophers have yet to look carefully at such explanatory disagreements in mathematics. I do so here. According to the view I defend, there are two important explanatory virtues—depth and transparency—which different proofs (and other potential explanations) possess to different degrees. Although not mutually exclusive in principle, the packages of features associated with the two stand in some tension with one another, so that very deep explanations are rarely transparent, and vice versa. After developing the theory of depth and transparency and applying it to the case of quadratic reciprocity, I draw some morals about the nature of mathematical explanation. (shrink)

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)

There is good reason to think that, in every case of perceptual consciousness, there is something of which we are conscious; but there is also good reason to think that, in some cases of perceptual consciousness—for instance, hallucinations—there is nothing of which we are conscious. This paper resolves this inconsistency—which we call the presentation problem—by (a) arguing that ‘conscious of’ and related expressions function as intensional transitive verbs and (b) defending a particular semantic approach to such verbs, on which they (...) have readings that lack direct objects or themes. The paper further argues that this approach serves not only as a linguistic proposal about the semantics of ‘conscious of’, but also as a proposal about the metaphysics of conscious states. (shrink)