I am grateful to Donald Ainslie, Lisa Austin, Michael Blake, Abraham Drassinower, David Dyzenhaus, George Fletcher, Robert Gibbs, Louis-Philippe Hodgson, Sari Kisilevsky, Dennis Klimchuk, Christopher Morris, Scott Shapiro, Horacio Spector, Sergio Tenenbaum, Malcolm Thorburn, Ernest Weinrib, Karen Weisman, and the Editors of Philosophy & Public Affairs for comments, and audiences in the UCLA Philosophy Department and Columbia Law School for their questions.

This paper offers an overview of consciousness and personal identity in eighteenth-century philosophy. Locke introduces the concept of persons as subjects of consciousness who also simultaneously recognize themselves as such subjects. Hume, however, argues that minds are nothing but bundles of perceptions, lacking intrinsic unity at a time or across time. Yet Hume thinks our emotional responses to one another mean that persons in everyday life are defined by their virtues, vices, bodily qualities, property, riches, and the like. Rousseau also (...) takes persons to be fundamentally determined by our socially-mediated emotional responses to one another, though unlike Hume or Locke, he has little interest in placing this account of persons alongside a larger discussion of the human mind and its operations. Developing this idea further, Kant argues that our moral commitments require that we must take ourselves to be free. The fundamental equality that Rousseau sought in the political order is, for Kant, a requirement that reason puts on all of us. (shrink)

The paper investigates Ernst Cassirer’s structuralist account of geometrical knowledge developed in his Substanzbegriff und Funktionsbegriff. The aim here is twofold. First, to give a closer study of several developments in projective geometry that form the direct background for Cassirer’s philosophical remarks on geometrical concept formation. Specifically, the paper will survey different attempts to justify the principle of duality in projective geometry as well as Felix Klein’s generalization of the use of geometrical transformations in his Erlangen program. The second aim (...) is to analyze the specific character of Cassirer’s geometrical structuralism formulated in 1910 as well as in subsequent writings. As will be argued, his account of modern geometry is best described as a “methodological structuralism”, that is, as a view mainly concerned with the role of structural methods in modern mathematical practice. (shrink)

This paper argues that debates between the Confucians and Mohists in Classical China anticipate contemporary discussions in political philosophy. Specifically, their debates about our responsibilities to other people are akin to debates between Rawlsans, Cosmopolitans, and Utilitarians about the content of our political obligations to other people, and about the proper scope of application of norms of justice.

A close look at Frege's proof in "Foundations of Arithmetic" that every number has a successor. The examination reveals a surprising gap in the proof, one that Frege would later fill in "Basic Laws of Arithmetic".

Das deutsche Gesundheitswesen steht durch die schnell steigende Anzahl an CO- VID-19-Erkrankten vor erheblichen Herausforderungen. In dieser Krisensituation sind alle Beteiligten mit ethischen Fragen konfrontiert, beispielsweise nach gerech- ten Verteilungskriterien bei begrenzten Ressourcen und dem gesundheitlichen Schutz des Personals angesichts einer bisher nicht therapierbaren Erkrankung. Daher werden schon jetzt klinische und ambulante Ethikberatungsangebote verstärkt mit Anfragen nach Unterstützung konfrontiert. Wie können Ethikberater*innen Entscheidungen in der Krankenversorgung im Rahmen der COVID-19-Pandemie unterstützen? Welche Grenzen von Ethikberatung sind zu beachten? Bislang liegen hierzu (...) noch wenige praktische Erfahrungen vor. Angesichts der dynamischen Entwicklung erscheint es der Akademie für Ethik in der Medizin (AEM) wichtig, einen Diskurs über die angemessene Rolle der Ethikberatung bei der Bewältigung der vielfachen Heraus- forderungen durch die COVID-19-Pandemie zu führen und professionelle Hinweise zu geben. Mit dem vorliegenden Diskussionspapier möchte die AEM einen Beitrag zur Beantwortung wesentlicher Fragen leisten, die sich für die Ethikberatung in den verschiedenen Bereichen des Gesundheitswesens stellen. Sie regt an, diesen Dis- kurs weiter zu führen und hat ein Online-Forum (s. unten) eingerichtet, in dem Ethikberater*innen ihre Erfahrungen teilen und die professionelle Selbstreflexion der Ethikberatung in Pandemiezeiten mit Anregungen fördern können. (shrink)

Abstract of a paper to be presented in an APA symposium on Epistemology and Philosophy of Mind, December 28, 1987, commenting on papers by Alvin I. Goldman and Patricia Smith Churchland.

The cultural practice of flirtation has been multifariously scrutinized in various disciplines including sociology, psychology, psychoanalysis and literary studies. This paper frames the field of flirtation in Bourdieuian terms, while focusing narrowly on the semiotic economy that is defining of this cultural field. Moreover, seduction, as a uniquely varied form of discourse that is responsible for producing the cultural field of flirtation, is posited as the missing link for understanding why flirtation may be a peculiar case of non-habitus, contrary to (...) the received notion of cultural field as set of goaloriented practices and actionable habituses. This argument is pursued by highlighting the endemic traits of ambivalence and constant reversibility of signs or multimodal semiotic constellations in the discourse of seduction, while seeking to demonstrate that seduction, and by implication the cultural field of flirtation, does not necessarily partake of a teleological framework that is geared towards the consummation of sexual desire. This thesis is illustrated by recourse to a scene from the blockbuster ‘Hitch’. (shrink)

This study provides a unified theory of properties, relations, and propositions (PRPs). Two conceptions of PRPs have emerged in the history of philosophy. The author explores both of these traditional conceptions and shows how they can be captured by a single theory.

This paper contains replies to comments on the author's paper "A Priori Knowledge and the Scope of Philosophy." Several points in the argument of that paper are given further clarification: the notion of our standard justificatory procedure, the notion of a basic source of evidence, and the doctrine of modal reliabilism. The reliability of intuition is then defended against Lycan's skepticism and a response is given to Lycan's claim that the scope of a priori knowledge does not include philosophically central (...) topics such as the nature of consciousness. Next a counterfactual account of intuitions proposed by Sosa is criticized. Finally, in response to certain questions raised by Sosa, the explanation of the evidential status of intuition offered in the original paper receives further elaboration. (shrink)

Suppose that, for every event, whether mental or physical, there is some physical event causally sufficient for it. Suppose, moreover, that physical reductionism in its various forms fails—that mental properties cannot be reduced to physical properties and mental events cannot be reduced to physical events. In this case, how could there be mental causation? More specifically, how could mental events cause other mental events, physical events, and intentional actions? The primary goal of this paper is to answer this question.

The paper begins with a clarification of the notions of intuition (and, in particular, modal intuition), modal error, conceivability, metaphysical possibility, and epistemic possibility. It is argued that two-dimensionalism is the wrong framework for modal epistemology and that a certain nonreductionist approach to the theory of concepts and propositions is required instead. Finally, there is an examination of moderate rationalism’s impact on modal arguments in the philosophy of mind -- for example, Yablo’s disembodiment argument and Chalmers’s zombie argument. A less (...) vulnerable style of modal argument is defended, which nevertheless wins the same anti-materialist conclusions sought by these other arguments. (shrink)

This paper offers a social phenomenological reading of the globally binding practice of 'social distancing' in light of the precautionary measures against the spreading of the Covid-19 virus. Amid speculation about the far-reaching effects of temporarily applicable measures and foresights about the advent of an ethos that has been heralded by the media as the 'new normal', the ubiquitous phenomenon of social distancing calls for a fundamental ontological elucidation. The purported hermeneutic that is situated in the broader place branding and (...) experiential marketing literatures places Covid-19 in the shoes of Being, and, therefore, imagines how Being would behave ontologically if it were a virus. By positing that the virus does operate like Being, five these are formulated as experiential interpretive categories with regard to the ontological status of Covid-19. The adopted approach makes the following contributions to the extant literature: First, it addresses a wholly new phenomenon in place branding, namely a pre-branded place that is non-negotiable, globally applicable and seemingly equivalent to pure void. Second, it advances the application of phenomenological research in experiential consumption by highlighting the aptness of the so far peripheral (in the marketing discipline) strand of Heideggerian fundamental ontology. Third, it expands the notion of place in the place branding literature, by showing how spatialization is the outcome of temporalization, in line with the adopted phenomenological perspective. (shrink)

Past research has identified a number of asymmetries based on moral judgments. Beliefs about what a person values, whether a person is happy, whether a person has shown weakness of will, and whether a person deserves praise or blame seem to depend critically on whether participants themselves find the agent's behavior to be morally good or bad. To date, however, the origins of these asymmetries remain unknown. The present studies examine whether beliefs about an agent's “true self” explain these observed (...) asymmetries based on moral judgment. Using the identical materials from previous studies in this area, a series of five experiments indicate that people show a general tendency to conclude that deep inside every individual there is a “true self” calling him or her to behave in ways that are morally virtuous. In turn, this belief causes people to hold different intuitions about what the agent values, whether the agent is happy, whether he or she has shown weakness of will, and whether he or she deserves praise or blame. These results not only help to answer important questions about how people attribute various mental states to others; they also contribute to important theoretical debates regarding how moral values may shape our beliefs about phenomena that, on the surface, appear to be decidedly non-moral in nature. (shrink)

This paper provides arguments for and against M.Lotman’s (2002) contention that Y.Lotman’s seminal concept of semiosphere is of post-modernist (post-structuralist; Posner 2011) orientation. A comparative reading of the definitional components of the semiosphere, their hierarchical relationship and their interactions is undertaken against the two principal axes of space and subjectivity in the light of Kantian transcendental idealism, as inaugural and authoritative figure of modernity, the Foucauldian discursive turn and the Deleuzian (post) radical empiricism (sic), as representative authors of the highly (...) versatile post-modernvernacular. This comparative reading aims at highlighting not only similarities and differences between the Lotmanian conceptualization of the semiosphere and the concerned modernist and postmodernist authors, but the construct’s operational relevance in a post-metanarratives cultural predicament that has been coupled with the so-called spatial turn in cultural studies (Hess- Luttich 2012). (shrink)

The topic of a priori knowledge is approached through the theory of evidence. A shortcoming in traditional formulations of moderate rationalism and moderate empiricism is that they fail to explain why rational intuition and phenomenal experience count as basic sources of evidence. This explanatory gap is filled by modal reliabilism -- the theory that there is a qualified modal tie between basic sources of evidence and the truth. This tie to the truth is then explained by the theory of concept (...) possession: this tie is a consequence of what, by definition, it is to possess (i.e., to understand) one’s concepts. A corollary of the overall account is that the a priori disciplines (logic, mathematics, philosophy) can be largely autonomous from the empirical sciences. (shrink)

Aristotle and William of Ockham both argue that existence or being is a predicate, though not a distinguishing predicate. I place Ockham’s argument in an Aristotelian context and discuss its merits. I then turn to empiricist criticisms of the view that we can coherently predicate being of things. I argue that while Ockham’s argument is cogent, his account of how we come to have the concept of being is inadequate. Ockham’s view needs to be supplemented with Kantian insights.

This paper concerns metaphysical indeterminacy and, in particular, the issue of whether quantum mechanics gives motivation for thinking the world contains it. In a previous paper (Darby G, Pickup M. Synthese 198:1685–1710, 2021), we have offered one way to think about metaphysical indeterminacy which we take to avoid some issues arising from certain features of quantum mechanics (such as the Kochen-Specker theorem). This approach has recently been criticised by Corti (Synthese, forthcoming), and we take this opportunity to respond. Our paper (...) will therefore reply to Corti’s argument, but we also take it as a case study in ‘naturalistic metaphysics’ and hence to contribute to a more general discussion of the relationship between philosophy of science and analytic metaphysics. (shrink)

This paper provides a defense of two traditional theses: the Autonomy of Philosophy and the Authority of Philosophy. The first step is a defense of the evidential status of intuitions (intellectual seemings). Rival views (such as radical empiricism), which reject the evidential status of intuitions, are shown to be epistemically self-defeating. It is then argued that the only way to explain the evidential status of intuitions is to invoke modal reliabilism. This theory requires that intuitions have a certain qualified modal (...) tie to the truth. This result is then used as the basis of the defense of the Autonomy and Authority theses. The paper closes with a defense of the two theses against a potential threat from scientific essentialism. (shrink)

Radical empiricism is the view that a person's experiences (sensory and introspective), or a person's observations, constitute the person's evidence. This view leads to epistemic self-defeat. There are three arguments, concerning respectively: (1) epistemic starting points; (2) epistemic norms; (3) terms of epistemic appraisal. The source of self-defeat is traced to the fact that empiricism does not count a priori intuition as evidence (where a priori intuition is not a form of belief but rather a form of seeming, specifically intellectual (...) as opposed to sensory). Moderate rationalism, by contrast, avoids self-defeat. (shrink)

This paper argues that participation in an intimate relationship can generate additional or stronger reasons for one to act paternalistically toward the intimate. Moreover, participation in such a relationship can also weaken or cancel some of the presumptive reasons of respect one would otherwise have not to interfere. The paper also reflects, more generally, on the nature of intimate relationships, the normative significance of paternalism, and the normative differences between paternalism in larger-scale institutional contexts and paternalism in closer, interpersonal ones. (...) -/- . (shrink)

This paper constructs a model of metaphysical indeterminacy that can accommodate a kind of ‘deep’ worldly indeterminacy that arguably arises in quantum mechanics via the Kochen-Specker theorem, and that is incompatible with prominent theories of metaphysical indeterminacy such as that in Barnes and Williams (2011). We construct a variant of Barnes and Williams's theory that avoids this problem. Our version builds on situation semantics and uses incomplete, local situations rather than possible worlds to build a model. We evaluate the resulting (...) theory and contrast it with similar alternatives, concluding that our model successfully captures deep indeterminacy. (shrink)

Globalization allegedly constitutes one of the most used and abused concepts in the contemporary academic and lay lexicons alike. This paper pursues a deconstructive avenue for canvassing the semiotic economy of cultural globalization. The variegated ways whereby ideology has been framed in different semiotic perspectives (Peircean, structuralist, post-structuralist, neo-Marxist) are laid out. By engaging with the post-structuralist semiotic terrain, cultural globalization is identified with a transition from Baudrillard’s Political Economy of Signs towards a spectral ideology where signs give way to (...) traces of différance. Subsequently, the process whereby globalization materializes is conceived as a social hauntology. In this context, global citizens engage in a constant retracing of the meaning of signs of globalization that crystallize as translocally flowing ideoscapes and mediascapes. The propounded thesis is exemplified by recourse to cultural consumption phenomena from the domains of cinematic discourse, computer-gaming, food and social gaming. (shrink)

Indeterminacy in its various forms has been the focus of a great deal of philosophical attention in recent years. Much of this discussion has focused on the status of vague predicates such as ‘tall’, ‘bald’, and ‘heap’. It is determinately the case that a seven-foot person is tall and that a five-foot person is not tall. However, it seems difficult to pick out any determinate height at which someone becomes tall. How best to account for this phenomenon is, of course, (...) a controversial matter. For example, some (such as Sorensen (2001) and Williamson (2002)) maintain that there is a precise height at which someone becomes tall and such apparent cases of indeterminacy merely reflects our ignorance of this fact. Others maintain that there is some genuine – and not merely epistemic – indeterminacy present is such cases and offer various accounts of how best to account for it. Supervaluationists (such as Keefe (2008)), for example, claim that the indeterminacy with respect to vague terms lies in their not having a single definite extension. Rather, each term is associated with a range of possible precise extensions or precisifications such that it is semantically unsettled which is the correct extension. One precisification of ‘tall’ might allow that anyone over five feet ten inches is tall, whereas another would only allow those over six foot to qualify; but no precisification will take someone who is five foot to be tall, and someone who is seven foot will count as tall on all precisifications. Thus – while someone who is seven foot will be determinately tall and someone who is five foot determinately not so – it will be indeterminate whether someone who stands at five foot eleven inches is tall. -/- Yet, it is important to stress that putative cases of indeterminacy are not limited to vague predicates of this kind. Philosophers have invoked indeterminacy in discussions of topics as diverse as moral responsibility (Bernstein (forthcoming)), identity over time (Williams (2014)), and the status of the future (Barnes and Cameron (2009)). In this paper, we focus on two areas where discussion of various kinds of indeterminacy has been commonplace: physics and fiction. We propose a new model for understanding indeterminacy across these domains and argue that it has some notable advantages when compared to earlier accounts. Treating physics and fiction cases univocally also indicates an interesting connection between indeterminacy in these two areas. (shrink)

Credit risk, also known as default risk, is the likelihood of a corporation losing money if a business partner defaults. If the liabilities are not met under the terms of the contract, the firm may default, resulting in the loss of the company. There is no clear way to distinguish between organizations that will default and those that will not prior to default. We can only make probabilistic estimations of the risk of default at best. There are two types of (...) credit risk default models in this regard: structural and reduced form models. Structural models are used to calculate the likelihood of a company defaulting based on its assets and liabilities. If the market worth of a company's assets is less than the debt it owes, it will default. Reduced form models often assume an external cause of default, such as a Poisson jump process, which is driven by a stochastic process. They model default as a random event with no regard for the balance sheet of the company. This paper provides a Review of credit risk default models. (shrink)

Philosophical interest in state power has tended to focus on the state’s coercive powers rather than its expressive powers. I consider an underexplored aspect of the state’s expressive capacity: its capacity to use symbols (such as monuments, memorials, and street names) to promote political ends. In particular, I argue that the liberal state’s deployment of symbols to promote its members’ commitment to liberal ideals is in need of special justification. This is because the state’s exercise of its capacity to use (...) symbols may be in tension with respecting individual autonomy, particularly in cases in which the symbols exert influence without engaging citizens’ rational capacities. But despite the fact that the state’s deployment of symbols may circumvent citizens’ rational capacities, I argue that it may nonetheless be permissible when surrounded by certain liberal institutions and brought about via democratic procedures. (shrink)

In this chapter I argue that there is such a barrier created by self-conscious intentional states—conscious intentional states that are about one’s own conscious intentional states. As we will see, however, this result is entirely compatible with a scientific theory of mind, and, in fact, there is an elegant non-reductive framework in which just such a theory may be pursued.

Reflections and projections upon the history of ontology and its meaning for the future of philosophy.

Scientific essentialism is the view that some necessities can be known only with the aid of empirical science. The thesis of the paper is that scientific essentialism does not extend to the central questions of philosophy and that these questions can be answered a priori. The argument is that the evidence required for the defense of scientific essentialism is reliable only if the intuitions required by philosophy to answer its central questions is also reliable. Included is an outline of a (...) modal reliabilist theory of basic evidence and a concept-possession account of the reliability of a priori intuition. (shrink)

It is argued that the distinction between the mental and the nonmental is at bottom logical. The paper begins by sketching and defending a theory of intensional logic in which the notion of logically and metaphysically basic relations (called connections) can be defined. This notion is then employed in an analysis of intentionality: a connection is intentional iff it can contingently connect some individual to some proposition or concept independently of whether it connects the individual to some necessarily equivalent proposition (...) or concept. After potential counterexamples have been explained away, the paper then extends the analysis to a general analysis of mentality. Finally, a "transcendental" argument is given for the thesis that at least some mental relations must be logically and metaphysically basic. (shrink)

This paper begins with a brief summary of the Self-consciousness Argument, developed in the author’s paper “Self-consciousness.” (This argument is designed to refute the extant versions of functionalism -- American functionalism, Australian functionalism, and language-of-thought functionalism.) After this summary is given, two thesis are defended. The first is that the Self-consciousness Argument is not guilty of a Fregean equivocation regarding embedded occurrences of mental predicates, as has been suggested by many commentators, including Mark McCullagh. The second thesis is that the (...) Self-consciousness Argument cannot be avoided by weakening the psychological theory upon which Ramsified functional definitions are based. Specifically, it does no good to excise psychological principles involving embedded mental predicates. Why? Because functional definitions based on the resulting sparse theories are exposed to an interesting new family of counterexamples. (shrink)

Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator εx. Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential (...) theorems obtained by this elimination procedure. (shrink)

Recent work in philosophy of language has raised significant problems for the traditional theory of propositions, engendering serious skepticism about its general workability. These problems are, I believe, tied to fundamental misconceptions about how the theory should be developed. The goal of this paper is to show how to develop the traditional theory in a way which solves the problems and puts this skepticism to rest. The problems fall into two groups. The first has to do with reductionism, specifically attempts (...) to reduce propositions to extensional entities-either extensional functions or sets. The second group concerns problems of fine grained content-both traditional 'Cicero'/'Tully' puzzles and recent variations on them which confront scientific essentialism. After characterizing the problems, I outline a non-reductionist approach-the algebraic approach-which avoids the problems associated with reductionism. I then go on to show how the theory can incorporate non-Platonic (as well as Platonic) modes of presentation. When these are implemented nondescriptively, they yield the sort of fine-grained distinctions which have been eluding us. The paper closes by applying the theory to a cluster of remaining puzzles, including a pair of new puzzles facing scientific essentialism. (shrink)

The paper elaborates upon various points and arguments in the author’s “A Priori Knowledge and the Scope of Philosophy” (Philosophical Studies, 1993), in which the author defends the autonomy of philosophy from the empirical sciences. It provides, for example, an extended defense of the modal reliabilist theory of basic evidence, including a new argument against evolutionary explanations of the reliability of intuitions. It also contains a fuller discussion of how to neutralize the threat of scientific essentialism to the autonomy of (...) philosophy. (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

The Fifth Element (1997) is a French science-fiction film in English, directed and co-written by Luc Besson. The title and the plot of the film refer to a central notion of Greek philosophy, that is, pemptousia, or quintessence. Pre-Socratic philosophers such as Thales, Anaxagoras, Anaximenes and others, were convinced that all natural beings – in fact, nature itself – consist in four primary imperishable elements or essences (ousiai), i.e., fire, earth, water, and air. To these four, Aristotle added aether, a (...) fifth essence (pemptousia). The introduction of aether gave birth to a great tradition in late Antique and Medieval philosophy, and eventually it came to signify not an additional primary element, but the core-essence of all beings, their fundamental ontological structure. Besson’s film draws its inspiration on this philosophical tradition but its cinematographic rendering of the concept of Quintessence is typical of the contemporaneous views on the core characteristics of matters. The modernity that stimulates the film is equally anti-transcendentalist and anti-essentialist. Thus, the fifth element of the film is existentially personified and genderized making the traditional philosophical significance of the term to be adjusted by modernity in an immanent and temporal context where in addition aesthetics plays a crucial role. (shrink)

Why does scholarship on transnational labor regulation (TLR) consistently fails to search for improvements in working conditions, and instead devotes itself to relentless efforts for identifying administrative processes, semantics, and amalgamations of stakeholders? This article critiques TLR from a pro-worker perspective, through the philosophical work of Georg Lukács, and the concepts of reification and commodification. A set of theoretically grounded criteria is developed and these are applied against selected contemporary cases of TLR. In the totality that is capitalism, reification of (...) social relations of production conceals completely the experiences of workers. In TLR, managerialist and process-oriented scholarship is dominant, verifiable outcomes and positive improvements in conditions of employment are not sought, and worse, meaningless procedures are celebrated as positive achievements. (shrink)

We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...) iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (shrink)

Presented here is an argument for the existence of universals. Like Church's translation- test argument, the argument turns on considerations from intensional logic. But whereas Church's argument turns on the fine-grained informational content of intensional sentences, this argument turns on the distinctive logical features of 'that'-clauses embedded within modal contexts. And unlike Church's argument, this argument applies against truth-conditions nominalism and also against conceptualism and in re realism. So if the argument is successful, it serves as a defense of full (...) ante rem realism. The argument emphasizes the need for a unified treatment of intensional statements -- modal statements as well as statements of assertion and belief. The larger philosophical moral will be that ante rem universals are uniquely suited to carry a certain kind of modal information. Linguistic entities, mind-dependent universals, and instance-dependent universals are incapable of serving that function. (shrink)

It is argued that, because of scientific essentialism, two currently popular arguments against the mind-body identity thesis -- the multiple-realizability argument and the Nagel-Jackson knowledge argument -- are unsatisfactory as they stand and that their problems are incurable. It is then argued that a refutation of the identity thesis in its full generality can be achieved by weaving together two traditional Cartesian arguments -- the modal argument and the certainty argument. This argument establishes, not just the falsity of the identity (...) thesis, but also the metaphysical possibility of disembodiment. (shrink)