The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

Given the fact that many people use Wikipedia, we should ask: Can we trust it? The empirical evidence suggests that Wikipedia articles are sometimes quite good but that they vary a great deal. As such, it is wrong to ask for a monolithic verdict on Wikipedia. Interacting with Wikipedia involves assessing where it is likely to be reliable and where not. I identify five strategies that we use to assess claims from other sources and argue that, to a greater of (...) lesser degree, Wikipedia frustrates all of them. Interacting responsibly with something like Wikipedia requires new epistemic methods and strategies. (shrink)

In this issue, Ahmadi1 reports on the practice of hymenoplasty—a surgical intervention meant to restore a presumed physical marker of virginity prior to a woman's marriage. As Mehri and Sills2 have stated, these women ‘want to ensure that blood is spilled on their wedding night sheets.’ Although Ahmadi's research was carried out in Iran specifically, this surgery is becoming increasingly popular in a number of Western countries as well, especially among Muslim populations.3 What are the ethics of hymen restoration?Consider the (...) role of the physician. Two of the doctors interviewed by Ahmadi reported being in ‘a perpetual state of guilt because of the surgery's inherent aim at deceiving the groom’ and noted their ‘personal conflict’ at being involved in this deception. Yet: "None of the doctors believed that the surgery was unethical, arguing that the girl could be ‘abused’ and ‘can even die’ if she is discovered not … ". (shrink)

Systems of logico-probabilistic (LP) reasoning characterize inference from conditional assertions interpreted as expressing high conditional probabilities. In the present article, we investigate four prominent LP systems (namely, systems O, P, Z, and QC) by means of computer simulations. The results reported here extend our previous work in this area, and evaluate the four systems in terms of the expected utility of the dispositions to act that derive from the conclusions that the systems license. In addition to conforming to the dominant (...) paradigm for assessing the rationality of actions and decisions, our present evaluation complements our previous work, since our previous evaluation may have been too severe in its assessment of inferences to false and uninformative conclusions. In the end, our new results provide additional support for the conclusion that (of the four systems considered) inference by system Z offers the best balance of error avoidance and inferential power. Our new results also suggest that improved performance could be achieved by a modest strengthening of system Z. (shrink)

This paper is an attempt to present a Kripkean (Causal) picture of Reference where the cognitive content in fixing reference plays a vital role. It also points out that Kripke is not a pure causal theorist. By introducing Thomas Kuhn and his theory on vulnerability of the rigid designation, I have shown that there is a danger for causal theory of reference. However Kuhn’s argument fails to have an impact if a Knowledge aspect is augmented to Kripkean theory of reference. (...) This new causal theory of reference preserves the truth of the referential term in spite of the vulnerability of the rigid designation and problem of reference change. It can also adequately answer the question of theoretical terms reference failure. (shrink)

If there is to be any progress in the debate about what sort of positive moral status Kant can give the emotions, we need a taxonomy of the terms Kant uses for these concepts. It used to be thought that Kant had little room for emotions in his ethics. In the past three decades, Marcia Baron, Paul Guyer, Barbara Herman, Nancy Sherman, Allen Wood and others have argued otherwise. Contrary to what a cursory reading of the Groundwork may indicate, Kant (...) thinks the emotions play an important role in the moral life. I want to extend the work of Baron, Guyer, Herman, Sherman and Wood in three ways. First, I will set out in a diagram Kant's taxonomy of feelings and emotions. Agreement on such a taxonomy should make it easier to evaluate debates about Kant and the emotions. Second, I will focus on a certain subclass of emotions – reason-caused affects – that have previously received little attention, even from these Kant scholars. Third, these scholars base much of their defence of Kant on his later works – especially the Metaphysics of Morals and the Anthropology – but Kant's fairly rich taxonomy of the emotions, including reason-caused affects, is clearly in place at least as early as the Critique of Judgment . I believe that the Critique of Judgment is an importantly ignored resource for understanding the moral role of the emotions for Kant. The third Critique makes positive, philosophically interesting claims about the emotions and morality. Kant emphasizes certain roles for emotions in this work that he develops to the same extent nowhere else. Nevertheless, the Critique of Judgment goes all but unmentioned by many who write on these issues. In what follows, I will defend as many of my claims as possible using the third Critique. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

The perception of reality by biosystems is based on different, and in certain respects more effective, principles than those utilized by the more formal procedures of science. As a result, what appears as random pattern to the scientific method can be meaningful pattern to a living organism. The existence of this complementary perception of reality makes possible in principle effective use by organisms of the direct interconnections between spatially separated objects shown to exist in the work of J. S. Bell.

Spinoza's use of the phrase “sui iuris” in the Tractatus Politicus gives rise to the following paradox. On the one hand, one is said to be sui iuris to the extent that one is rational; and to the extent that one is rational, one will steadfastly obey the laws of the state. However, Spinoza also states that to the extent that one adheres to the laws of the state, one is not sui iuris, but rather stands under the power [sub (...) potestate] of the state (TP 3/5). It seems, then, that to the extent that one is sui iuris, one will not, in fact, be sui iuris. In this paper, I offer an interpretation of Spinoza's notion of being sui iuris that enables us to overcome this paradox and sheds light on Spinoza's relationship to the republican tradition. I work towards this goal by distinguishing between two ways in which Spinoza uses the locution, which correspond to two different conceptions of power: potentia and potestas. This distinction not only allows us to save Spinoza from internal inconsistency, it also enables us to see one important way in which Spinoza stands outside of the republican tradition, since he conceives of liberty not as constituted by independence, or citizenship in a res publica, but as being sui iuris in the first sense described above: being powerful. (shrink)

The Road less travelled often leads nowhere. But seldom, the uncharted path is the most sensible journey. Writing on this topic is an attempt to wade against the current discourse, not because it is a perspective from minority but it is a topic knowingly neglected by the majority. Tribal philosophy in India stands in contrast to majoritarian philosophy and hence, either looked down as insignificant or even considered the impossible. But its metaphysics illustrates the very heart of a worldview which (...) offers an alternative to the chaotic human experiences and institutions. This worldview is the oldest yet the newest. Tribal societies have lived the worldview without ever requiring the need of articulation. This paper, in that sense, is an attempt to capture and articulate first, the Philosophy inherent in a tribal lifestyle, second, pointing out the fusion of modernity in the life of a tribe. Articulating Philosophy of a tribal being is not a construction of metaphysics; rather it is a representation of thoughts of an indigenous being arising from her/his association with world, nature and life. Philosophy of the tribal world is the inner voice of the community diffusing through every member of the community. That inner voice of the community brings forth the indigeneity or ‘Adivasiyat’ – a strong sense of connection to land, nature, spirits and community. With modernity unsettling the life of a tribal person, a fusion in life must be sought to preserve the tradition and culture. Hence this paper will point out the outlook of tribals and shall try to bridge the gap between present and the past. (shrink)

In 2012, a German court ruled that religious circumcision of male minors constitutes criminal bodily assault. Muslim and Jewish groups responded with outrage, with some commentators pegging the ruling to Islamophobic and anti-Semitic motivations. In doing so, these commentators failed to engage with any of the legal and ethical arguments actually given by the court in its landmark decision. In this brief commentary, I argue that a firm distinction must be drawn between criticisms of religious practices that stem from irrational (...) prejudice and bigoted attitudes and those that are grounded in sound moral reasoning. Given that ritual circumcision is a pre-Enlightenment custom that elevates the inclinations of the community over the rights of the individual, it is hardly surprising that a growing number of post-Enlightenment philosophers and legal scholars are taking an ethical stand against it. As the “circumcision debate” continues, parties on all sides of the issue must remember to reason through the relevant considerations with care and respect. (shrink)

I explore Aristotle’s account in the Nicomachean Ethics of how agents attain self-awareness through contemplation. I argue that Aristotle sets up an account of self-awareness through contemplating friends in Books VIII-IX that completes itself in Book X’s remarks on theoretical contemplation. I go on to provide an account of how contemplating the divine, on Aristotle’s view, elicits self-awareness.

This paper is concerned with Maurice Merleau-Ponty’s contribution to the hermeneutical theory of expressive meaning that has been developed on the basis of an ongoing dialogue with traditional phenomenology. The early portion of the paper examines the unstable boundaries between expression and indication as a key to a new approach to expressive meaning. The paper then takes up Merleau-Ponty’s understanding of expressive life as it emerges in ‘Phenomenology of Perception,’ his first attempt to discuss perception, aesthetics, and temporality in comprehensive (...) terms. The third part of the paper examines Merleau-Ponty’s return to the paintings of Paul Cezanne, which not only clarifies his earlier position but also deepens the philosophical meaning of his reflections on language. My final comments are concerned with how phenomenology can be broadened in a way that can become responsive to the hermeneutical theory of expressive meaning. (shrink)

Moral philosophers are, among other things, in the business of constructing moral theories. And moral theories are, among other things, supposed to explain moral phenomena. Consequently, one’s views about the nature of moral explanation will influence the kinds of moral theories one is willing to countenance. Many moral philosophers are (explicitly or implicitly) committed to a deductive model of explanation. As I see it, this commitment lies at the heart of the current debate between moral particularists and moral generalists. In (...) this paper I argue that we have good reasons to give up this commitment. In fact, I show that an examination of the literature on scientific explanation reveals that we are used to, and comfortable with, non-deductive explanations in almost all areas of inquiry. As a result, I argue that we have reason to believe that moral explanations need not be grounded in exceptionless moral principles. (shrink)

This paper explains how to use a new software tool for argument diagramming available free on the Internet, showing especially how it can be used in the classroom to enhance critical thinking in philosophy. The user loads a text file containing an argument into a box on the computer interface, and then creates an argument diagram by dragging lines from one node to another. A key feature is the support for argumentation schemes, common patterns of defeasible reasoning historically know as (...) topics . Several examples are presented, as well as the results of an experiment in using the system with students in a university classroom. (shrink)

In a pair of recent articles, Brian Leftow and Eleonore Stump offer independent, although similar, accounts of the metaphysics of the Incarnation. Both believe that their Aquinas-inspired theories can offer solutions to the kind of Leibniz’s Law problems that can seem to threaten the logical possibility of this traditional Christian doctrine. In this paper, I’ll have a look at their compositional account of the nature of God incarnate. In the end, I believe their position can be seen to have unacceptable (...) philosophical and theological implications, and that is it inadequate to solve the Leibniz’s law problems that motivate it in the first place. (shrink)

Robert Kimball, in “What’s Wrong with Argumentum Ad Baculum?” (Argumentation, 2006) argues that dialogue-based models of rational argumentation do not satisfactorily account for what is objectionable about more malicious uses of threats encountered in some ad baculum arguments. We review the dialogue-based approach to argumentum ad baculum, and show how it can offer more than Kimball thinks for analyzing such threat arguments and ad baculum fallacies.

We present an original emergent individuals view of human persons, on which persons are substantial biological unities that exemplify metaphysically emergent mental states. We argue that this view allows for a coherent model of identity-preserving resurrection from the dead consistent with orthodox Christian doctrine, one that improves upon alternatives accounts recently proposed by a number of authors. Our model is a variant of the “falling elevator” model advanced by Dean Zimmerman that, unlike Zimmerman’s, does not require a closest continuer account (...) of personal identity. We end by raising some remaining theological concerns. (shrink)

Until recently Francisco Suárez (1548–1617) has been regarded as the “last medieval philosopher,” representing the end of the philosophically respectful scholastic tradition going back to the Early Middle Ages. In fact, however, Suárez stood at the beginning, rather than at the end, of a distinguished scholastic culture, which should best be labeled “Baroque scholasticism,” and which flourished throughout the seventeenth and early eighteenth centuries. In this paper I offer some ideas on why the study of this philosophical culture has been (...) so far neglected by the mainstream Anglo-American philosophical historiography and argue that more attention should be paid to it. (shrink)

A number of researchers have focused on the distinction between upward counterfactuals that simulate a better reality and downward counterfactuals that simulate a worse reality. In this chapter the authors will discuss the important aspects of a model (Markman and McMullen 2003) that attempts to explain how the very same counterfactual can engender dramatically different affective reactions. According to the model, the consequences of simulation direction are moderated by what we have termed simulation mode--relatively stronger tendencies to engage in reflective (...) versus evaluative processing. In turn, the authors will describe how the interaction between simulation direction and mode produces important consequences for affect, motivation, and behavior. (shrink)

Nhiều nаm hơn nữ đượс đăng ký tên trên GCNQSDĐ. Phụ nữ sở hữu ít mảnh đất hơn nаm giới. Điều này đượс giải thíсh là dо phụ nữ tiếp сận đất đаi hạn сhế, vì ít mảnh đất hơn сhỉ dо phụ nữ sở hữu hоặс đồng sở hữu. Một số yếu tố giải thíсh sự kháс biệt. Để bắt đầu, đánh giá định tính và khảо sát сủа сhúng tôi сhо thấy rằng сáс khíа сạnh văn hóа ưu (...) tiên nаm giới như ưu tiên соn trаi trоng thựс hành thừа kế vẫn сòn phù hợp ở Việt Nаm. Những kết quả này сhо thấy сần сó những người hành nghề xã hội và pháp luật và сhính quyền làm việс ở сấp xã để hỗ trợ nhu сầu сủа người dân về thông tin về luật, quyền сủа họ và сáс quy trình để сó đượс đất. Tiếp сận сáс xã này để сảm hóа và thúс đẩy bình đẳng giới trоng quá trình сấp giấy сhứng nhận quyền sử dụng đất sẽ là một bướс đi đúng hướng quаn trọng. Cáс сơ quаn сhứс năng сấp tỉnh сấp GCNQSDĐ сần сảnh giáс và yêu сầu làm rõ khi người dân muốn đăng ký tài sản mà không ghi tên vợ hоặс сhồng. (shrink)

In this paper I argue for a version of the Total Evidence view according to which the rational response to disagreement depends upon one's total evidence. I argue that perceptual evidence of a certain kind is significantly weightier than many other types of evidence, including testimonial. Furthermore, what is generally called "The Uniqueness Thesis" is actually a conflation of two distinct principles that I dub "Evidential Uniqueness" and "Rationality Uniqueness." The former principle is likely true but the latter almost certainly (...) false. Seeing why the Rationality Uniqueness fails opens the door to seeing how mutual reasonable disagreement is possible even among those who share the same evidence. (shrink)

The New Demon World Objection claims that reliabilist accounts of justification are mistaken because there are justified empirical beliefs at demon worlds—worlds at which the subjects are systematically deceived by a Cartesian demon. In this paper, I defend strongly verific (but not necessarily reliabilist) accounts of justification by claiming that there are two ways to construct a theory of justification: by analyzing our ordinary concept of justification or by taking justification to be a theoretic term defined by its role in (...) the theory of knowledge. The former route is not promising because of the splintered nature of our ordinary concept of justification—or perhaps because there is no single such concept. On the other hand, if justification is defined by the role it plays in the theory of knowledge, then there is good reason to think that justification must be strongly truth-conductive since the term was introduced by Edmund Gettier to play the primary role in converting true belief into knowledge. And if that is right, then there will be no justified empirical belief at demon worlds. The real lesson of the demon world is then turned on its head: justification does not supervene on what one shares with one’s deceived doppelganger. (shrink)

Obóz Kultury 2.0 Mirosław Filiciak, Alek Tarkowski, Agata Jałosińska, Andrzej Klimczuk, Maciej Rynarzewski, Jacek Seweryn, Stunża M., D. Grzegorz, Marcin Wilkowski & Anna Orlik .

This article demonstrates how a new reading of Rilke’s poetry can provide a basis for comparing and contrasting the aesthetic approach to art and the language-based approach that foregrounds the role of metaphor and materiality in literary production. Lessing’s Laocoön is discussed in terms of an implied dialogue between painting and poetry, which, however, acquires a different valence when the Fifth of Rilke’s 'Duino Elegies' suggests that poetry itself functions as a ‘metaphorical hypoicon’ allowing for shared meanings. My concluding remarks (...) emphasize the importance of the performing self to a complete understanding of Rilke’s semiotic potential. (shrink)

Nhiều nаm hơn nữ đượс đăng ký tên trên GCNQSDĐ. Phụ nữ sở hữu ít mảnh đất hơn nаm giới. Điều này đượс giải thíсh là dо phụ nữ tiếp сận đất đаi hạn сhế, vì ít mảnh đất hơn сhỉ dо phụ nữ sở hữu hоặс đồng sở hữu. Một số yếu tố giải thíсh sự kháс biệt. Để bắt đầu, đánh giá định tính và khảо sát сủа сhúng tôi сhо thấy rằng сáс khíа сạnh văn hóа ưu (...) tiên nаm giới như ưu tiên соn trаi trоng thựс hành thừа kế vẫn сòn phù hợp ở Việt Nаm. Những kết quả này сhо thấy сần сó những người hành nghề xã hội và pháp luật và сhính quyền làm việс ở сấp xã để hỗ trợ nhu сầu сủа người dân về thông tin về luật, quyền сủа họ và сáс quy trình để сó đượс đất. Tiếp сận сáс xã này để сảm hóа và thúс đẩy bình đẳng giới trоng quá trình сấp giấy сhứng nhận quyền sử dụng đất sẽ là một bướс đi đúng hướng quаn trọng. Cáс сơ quаn сhứс năng сấp tỉnh сấp GCNQSDĐ сần сảnh giáс và yêu сầu làm rõ khi người dân muốn đăng ký tài sản mà không ghi tên vợ hоặс сhồng. (shrink)

In this paper I propose a set-theoretical interpretation of the logical square of opposition, in the perspective opened by generalized quantifier theory. Generalized quantifiers allow us to account for the semantics of quantificational Noun Phrases, and of other natural language expressions, in a coherent and uniform way. I suggest that in the analysis of the meaning of Noun Phrases and Determiners the square of opposition may help representing some semantic features responsible to different logical properties of these expressions. I will (...) conclude with some consideration on scope interactions between quantifiers. (shrink)

This paper will argue that there is no such thing as introspective access to judgments and decisions. I t won't challenge the existence of introspective access to perceptual and imagistic states, nor to emotional feelings and bodily sensations. On the contrary, the model presented in Section 2 presumes such access. Hence introspection is here divided into two categories: introspection of propositional attitude events, on the one hand, and introspection of broadly perceptual events, on the other. I shall assume that the (...) latter exists while arguing that the fonner doesn't . Section I makes some preliminary points and distinctions, and outlines the scope of the argument. Section 2 presents and motivates the general model of introspection that predicts a divided result. Section 3 provides independent evidence for the conclusion that judgments and decisions aren't introspectable. Section 4 then replies to a number of objections to the argument, the most important of which is made from the perspective of so-called "dual systems theories" of belief formation and decision making, The upshot is a limited form of eliminativism about introspection, in respect of at least two core categories of propositional attitude. (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)

Traditional theists are, with few exceptions, global semantic realists about the interpretation of external world statement. Realism of this kind is treated by many as a shibboleth of traditional Christianity, a sine qua non of theological orthodoxy. Yet, this love affair between theists and semantic realism is a poor match. I suggest that everyone (theist or no) has compelling evidence drawn from everyday linguistic practice to reject a realist interpretation of most external world statements. But theists have further reason to (...) forswear this view, because those who insist on global semantic realism open themselves to the charge of hubris of a theologically inappropriate kind. If the arguments in this paper are sound, then neither God nor any of us have reason to apply a realist interpretation to all or even most statements about the external world. (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)

Can agents be duty-bound towards ends that are infeasible? Some scholars have endorsed a “feasibility constraint” on justice and answered that we cannot be duty-bound to bring about the infeasible. In this paper, I question whether the feasibility constraint on justice should still be endorsed and whether we are duty-bound to pursue some aims regardless of this constraint. I ask: Can an ethical agent be duty-bound to work towards bringing about a state of affairs that is desirable but infeasible? I (...) consider the climate crisis: climate justice may require us to work towards ends that may be infeasible, such as maintaining global climate warming below 1.5°C or mitigating climate change in a way that treats all people affected fairly. I argue that we may be duty-bound or obliged to work towards some desirable goals when faced with the infeasible and conclude that we should reject feasibility constraints on climate justice. (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)

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)

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)

Defense of an account of intrinsic properties in terms of (what is now called) grounding rather than naturalness.