The addition of "actually" operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing "actually" operators has concentrated entirely upon extensions of KT5 and has employed a particular modeltheoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing "actually" operators, the weakest of which are conservative extensions of K, (...) using a novel generalisation of the standard semantics. (shrink)

It is widely assumed that the art media can be individuated with reference to the sense modalities. Different art media are perceived by means of different sense modalities, and this tells us what properties of each medium are aesthetically relevant. The case of pictures appears to fit this principle well, for pictures are deemed purely and paradigmatically visual representations. However, recent psychological studies show that congenitally and early blind people have the ability to interpret and make raised‐line drawings through touch. (...) This shows that pictures are not essentially visual representations. The view that pictures are essentially visual follows from influential views of the nature of depiction and of the nature of vision that are mistaken. By rooting out the mistake, we learn something about pictures, something about vision, and something about the doctrine that art media are individuated by the sense modalities. (shrink)

Recent work on the philosophy of modality has tended to pass over questions about iterated modalities in favour of constructing ambitious metaphysical theories of possibility and necessity, despite the central importance of iterated modalities to modal logic. Yet there are numerous unresolved but fundamental issues involving iterated modalities: Chandler and Salmon have provided forceful arguments against the widespread assumption that all necessary truths are necessarily necessary, for example. The current paper examines a range of ways in which one might (...) seek to identify limited regions within which some of the most well-known principles featuring iterated modalities may safely be assumed. (shrink)

Williamson has argued against scepticism concerning our metaphysically modal knowledge, by arguing that standard patterns of suppositional reasoning to counterfactual conclusions provide reliable sources of correct ascriptions of possibility and necessity. The paper argues that, while Williamson’s claims relating to necessity may well be right, he has not provided adequate reasons for thinking that the familiar modes of counterfactual reasoning to which he points generalise to provide a decent route to ascriptions of possibility. The paper also explores another path to (...) ascriptions of possibility that may be extracted from Williamson’s ideas, before briefly considering the general status of counterfactual reasoning in relation to our knowledge of possibilities. (shrink)

Why do we tend to ascribe possibility to what we can imagine? One strategy for answering that question involves the thought that, just as sensory episodes often involve its seeming to us as though the world is certain ways, so imaginings involve its seeming to us that what we have imagined is possible. This chapter argues that while some imaginings do feature appearances of possibility, very many others do not; and it explores the broader relevance of its conclusions for modal (...) epistemology. (shrink)

Representational theories of mind cannot individuate the sense modalities in a principled manner. According to representationalism, the phenomenal character of experiences is determined by their contents. The usual objection is that inverted qualia are possible, so the phenomenal character of experiences may vary independently of their contents. But the objection is inconclusive. It raises difficult questions about the metaphysics of secondary qualities and it is difficult to see whether or not inverted qualia are possible. This paper proposes an alternative test (...) of representationalism. Do experiences in different sense modalities have the same phenomenal character when they share content? Psychological work on the perception of shape through vision and spatial hearing is discussed. This work shows that visual and auditory experiences differ in phenomenal character even in so far as they represent similar properties. This objection to representationalism does not invite questions about secondary qualities or depend on establishing metaphysical possibilities. (shrink)

We often ascribe possibility to the scenes that are displayed by mental or nonmental sensory images. The paper presents a novel argument for thinking that we are prima facie justified in ascribing metaphysical possibility to what is displayed by suitable visual images, and it argues that many of our imagery‐based ascriptions of metaphysical possibility are therefore prima facie justified. Some potential objections to the arguments are discussed, and some potential extensions of them, to cover nonvisual forms of imagery and nonmetaphysical (...) forms of possibility, are endorsed. (shrink)

I examine two startling claims attributed to some philosophers associated with Megara on the Isthmus of Corinth, namely: Ml. Something possesses a capacity at t if and only if it is exercising that capacity at t. M2. One can speak of a thing only by using its own proper A6yor;. In what follows, I will call the conjunction of Ml and M2 'Megaricism' .1 The lit­ erature on ancient philosophy contains several valuable discussions of Ml and M2 taken individually .2 (...) But there is no discussion of them together, much less of their logical relations. I intend to remedy that lack, and to show why it is a lack worth remedying. My aims are both philosophical and historical. Inevitably, in saying anything new and interesting about Megaric views, I will be adopting assumptions scarcely free from controversy, and indulging in quite a bit of charitable recon­ struction. But the resulting picture is of considerable interest. For it explains why, although Ml and M2 seem to have little to do with one another, it is in fact small wonder that anyone who held one would hold the other, for, as I attempt to show, they entail each other. It explains why the Megarics are associated in the primary literature with the names of such diverse philosophical ancestors as Parmenides and Protagoras. And it explains why, although they are both false, Ml and M2 were claims taken seriously by both Plato and Aristotle, who in developing their own views on modality and language saw reason to mention Megaricism, and to argue against it. (shrink)

Various writers have proposed that the notion of a possible world is a functional concept, yet very little has been done to develop that proposal. This paper explores a particular functionalist account of possible worlds, according to which pluralities of possible worlds are the bases for structures which provide occupants for the roles which analyse our ordinary modal concepts. It argues that the resulting position meets some of the stringent constraints which philosophers have placed upon accounts of possible worlds, while (...) also trivializing the question what possible worlds are. The paper then discusses a range of problems facing the functionalist position. (shrink)

A model of metaphysics associated with EJ Lowe and Tuomas Tahko sees metaphysics as involving a priori knowledge of possible essences, or at least modal facts, and delimiting the actual ‘ontological categories,’ the ultimate and essential divisions of what exists, based on the results of a posteriori scientific investigation. Their approach to metaphysics has been criticized by those who argue that such metaphysics is unsuitably a priori, disconnected with empirical research in natural science, and ends up failing to provide meaningful (...) constraints on metaphysical theorization. I present different epistemological and semantic worries about these accounts to motivate an alternative perspective on which metaphysics centers on form, rather than possibility. This scholastic perspective is shown to incorporate the skeptical insights as constitutive of its approach to existence, by way of the position that ‘being’ is not a genus. Rather, ‘being’ is a determinable. The scholastic approach can thus provide responses to the skeptics, since it denies that ontological categories – in the Lowe/Tahko sense – are what metaphysicians investigate and proposes a different view of ontological categories as classes of forms. (shrink)

This short paper offers a series of responses to Jochem Zwier and Timothy Barker’s comments on my extended paper ‘Taking Exception: Philosophy of Technology as a Multidimensional Problem Space.’ Part one responds to questions concerning the modality of the renewed understanding of the theme of the transcendental that was argued for in my initial paper: I argue for the deep _contingency_ of such a move, against any sense that it is _necessary._ Part two takes this consideration of modality (...) further, considering the _possibilities_ that a renewal of the theme of the transcendental stands to offer philosophy of technology today. I argue that the contingency of our contemporary sense of the transcendental can be precisely what makes it valuable. Whereas parts one and two turn on incisive questions posed by Zwier, part three closes by reconsidering the claims for a ‘multidimensional problem space’ offered in my initial paper. In response to an acute insight from Barker, I close by arguing that philosophy of technology’s problem space should be explored in terms of a notion of ‘shared agonism’. (shrink)

There are numerous contexts in which philosophers and others use model-theoretic methods in assessing the validity of ordinary arguments; consider, for example, the use of models built upon 'possible worlds' in examinations of modal arguments. But the relevant uses of model-theoretic techniques may seem to assume controversial semantic or metaphysical accounts of ordinary concepts. So, numerous philosophers have suggested that standard uses of model-theoretic methods in assessing the validity of modal arguments commit one to accepting that modal claims are to (...) be analysed in terms of possible worlds. The paper provides a very general account of how uses of model-theoretic methods in demonstrating facts about validity and invalidity may in fact often be uncoupled from controversial semantic or metaphysical theses, applying the resulting techniques to some modal cases in particular. (shrink)

David Bentley Hart and Jordan Daniel Wood are part of a movement aiming to overcome any separation between divine and human nature, avoiding what they see as a problematic account of grace. As opposed to radical kenoticism which holds that God only exists or has a given character in relation to creation, Hart and Wood appeal to facts about God such that He could not act otherwise towards human beings, given His character. They thereby ground conclusions that God could not (...) fail to create and that human beings could not be otherwise than divinized. Even though they differ on what it is in virtue of the fact that God could not act otherwise, both authors rest their views on such claims. I will argue such views involve serious theological and metaphysical problems, because this strategy entails – as much as radical kenoticism – that God is constituted by His relation to creation. (shrink)

The current study used cross-modal oddball tasks to examine cardiac and behavioral responses to changing auditory and visual information. When instructed to press the same button for auditory and visual oddballs, auditory dominance was found with cross-modal presentation slowing down visual response times more than auditory response times (Experiment 1). When instructed to make separate responses to auditory and visual oddballs, visual dominance was found with cross-modal presentation decreasing auditory discrimination and participants also made more visual-based than auditory-based (...) errors on cross-modal trials (Experiment 2). Experiment 3 increased task demands while requiring a single button press and found evidence of auditory dominance, suggesting that it is unlikely that increased task demands can account for the reversal in Experiment 2. Auditory processing speed was the best predictor of auditory dominance, with auditory dominance being stronger in participants who were slower at processing the sounds, whereas, auditory and visual processing speed and baseline heart rate variability did not predict visual dominance. Examination of cardiac responses that were time-locked with stimulus onset showed cross-modal facilitation effects, with auditory and visual discrimination occurring earlier in the course of processing in the cross-modal condition than in the unimodal conditions. The current findings showing that response demand manipulations reversed modality dominance and that time-locked cardiac responses show cross-modal facilitation, not interference, suggest that auditory and visual dominance effects may both be occurring later in the course of processing, not from disrupted encoding. (shrink)

Vision often dominates other perceptual modalities both at the level of experience and at the level of judgment. In the well-known McGurk effect, for example, one’s auditory experience is consistent with the visual stimuli but not the auditory stimuli, and naïve subjects’ judgments follow their experience. Structurally similar effects occur for other modalities (e.g. rubber hand illusions). Given the robustness of this visual dominance, one might not be surprised that visual imagery often dominates imagery in other modalities. One might (...) be surprised, however, that visual imagery often dominates perception in other modalities. This more controversial claim is motivated both by empirical data and by introspection. Some think of perception-perception visual dominance as epistemically good, holding that cases in which visual dominance misleads us (e.g. McGurk and rubber hand illusions) are cases in which the perceptual system resolves conflicts according to principles that are generally reliable. Here, we explore support for the more controversial claim that imagery-perception visual dominance is epistemically good. We suggest that, when the task is richly spatial, requiring for optimal performance the all-at-once identification of macro-spatial and allocentric properties (e.g. identifying the shape or location of a felt or heard object), the visual, whether perception or imagination, should dominate other modalities. Put another way, when identifying objects, one should go and look or, short of that, visually imagine candidate objects, and then follow the visual, even against conflicting perceptions from other modalities. For this broadly-typed category of of cognitive-perceptual task, vision does dominate and it should. (shrink)

Studies in modal notions, such as necessity, possibility or impossibility, have always played an important role in philosophical analysis. The history of these conceptions is a fascinating story of a variety of assumptions which have given shape to one part of rational discourse. A typical modern approach to modality is codified in what is generally known as possible worlds semantics. According to this view, necessity refers to what is actual in any alternative state of affairs, possibility to what is (...) actual in some, and impossibility to what is not actual in any alternative domain. The idea of spelling out the meaning of modal terms with the synchronic alternatives hardly occurred at all in ancient thinkers. They did not draw any sharp distinction between conceptual and real modalities and they were inclined to think that all generic possibilities must prove their mettle through actualization. Why and when did ancient modal conceptions and the modes of thought based on them lose their dominance? The main thesis of this book is that the idea of modality as multiplicity of reference with respect to alternative domains emerged in early medieval discussions and that it was originally influenced by the theological conception of God acting by choice. After a discussion of ancient modal paradigms, the author traces the interplay of old and new modal views in medieval logic and semantics, philosophy and theology. A detailed account is given of late medieval discussions of the new modal paradigms and attempts to apply them to modal logic, epistemic logic, and the logic of norms. These theories show striking similarities to some basic tenets of contemporary approaches to modal matters. This work will thus be of considerable interest to historians of philosophy and ideas, and philosophers of intensional logic and metaphysics. (shrink)

The main aim in the forthcoming discussion is to contrast theistic modal realism and theistic actualist realism. Actualist realism is the dominant view among theists and presents the most serious challenge to theistic modal realism. I discuss various prominent forms of theistic actualist realism. I offer reasons for rejecting the view of metaphysical reality that actualist realism affords. I discuss theistic modal realism and show that the traditional conception of God is perfectly consistent with the metaphysics of genuine modal realism. (...) Indeed theistic modal realism is more suited to traditional theism than is any version of actualist realism. (shrink)

This paper has two goals. The first is to develop a cross-linguistically valid model of modality and mood that captures the most important dimensions along which modal expressions vary. I posit a model with two such dimensions, one of volitivity, and one of event-orientation vs. speaker-orientation, mood being placed at the speaker-oriented end relative to modality proper. The second goal is to provide a new perspective on semantic change of modal expressions on the basis of the proposed model. (...) I argue that unidirectional change along the event-oriented / speaker-oriented dimension is the one overarching tendency of semantic change in modals. This stands in contrast to the widespread perception that change from deontic to epistemic is the dominant tendency. The directionality suggested in this new model is also more comprehensive than previously proposed tendencies of change, such as ‘‘from agent-oriented to epistemic’’, ‘‘from agent-oriented to speaker-oriented’’, and ‘‘from participant-internal to participant-external’’, as it better accounts for various kinds of change that have been previously neglected, including change from epistemic to deontic. (shrink)

Despite the otherwise-dominant trends towards physicalism and naturalism in philosophy, it has become increasingly common for metaphysicians to accept the existence either of modal facts and properties, or of Lewisian possible worlds. This paper raises the historical question: why did these heavyweight realist views come into prominence? The answer is that they have arisen in response to the demand to find truthmakers for our modal statements. But this demand presupposes that modal statements are descriptive claims in need of truthmakers. This (...) presupposition was, however, rejected by many earlier analytic philosophers, including the logical positivists, Wittgenstein, Ryle and Sellars, all of whom denied that modal statement were descriptive at all. Yet the non-descriptivist approach has largely fallen out of discussion and out of philosophical consciousness. In this paper I examine why non-descriptivist views first came into and then fell out of favor, and consider what the prospects are for reviving this more deflationary approach to modality. (shrink)

In a recent paper “Safety, Sensitivity, and Differential Support” (Synthese, December 2017), Jose Zalabardo argues that (contra Sosa in Philos Perspect 33(13):141–153,1999) sensitivity can be differentially supported as the correct requirement for propositional knowledge. Zalabardo argues that safety fails to dominate sensitivity; specifically: some cases of knowledge failure can only be explained by sensitivity. In this paper, I resist Zalabardo’s conclusion that domination failure confers differential support for sensitivity. Specifically, I argue that counterexamples to sensitivity undermine differential support for sensitivity. (...) Using Zalabardo’s modal framework, I consider a less demanding modal condition, what I call weak sensitivity, and I explain how weak sensitivity avoids an influential counterexample to sensitivity. However, I argue that we can subvert that counterexample only by abandoning Zalabardo’s case for domination failure. So either way, we cannot differentially support sensitivity. (shrink)

Suppose there are several experts, with some dominating others (expert A dominates expert B if B says something is true whenever A says it is). Suppose, further, that each of the experts has his or her own view of what is possible — in other words each of the experts has their own Kripke model in mind (subject, of course, to the dominance relation that may hold between experts). How will they assign truth values to sentences in a common (...) modal language, and on what sentences will they agree? This problem can be reformulated as one about many-valued Kripke models, allowing many-valued accessibility relations. This is a natural generalization of conventional Kripke models that has only recently been looked at. The equivalence between the many-valued version and the multiple expert one will be formally established. Finally we will axiomatize many-valued modal logics, and sketch a proof of completeness. (shrink)

Attention to the conversational role of alethic terms seems to dominate, and even sometimes exhaust, many contemporary analyses of the nature of truth. Yet, because truth plays a role in judgment and assertion regardless of whether alethic terms are expressly used, such analyses cannot be comprehensive or fully adequate. A more general analysis of the nature of truth is therefore required – one which continues to explain the significance of truth independently of the role alethic terms play in discourse. We (...) undertake such an analysis in this paper; in particular, we start with certain elements from Kant and Frege, and develop a construct of truth as a normative modality of cognitive acts (e.g., thought, judgment, assertion). Using the various biconditional T-schemas to sanction the general passage from assertions to (equivalent) assertions of truth, we then suggest that an illocutionary analysis of truth can contribute to its locutionary analysis as well, including the analysis of diverse constructions involving alethic terms that have been largely overlooked in the philosophical literature. Finally, we briefly indicate the importance of distinguishing between alethic and epistemic modalities. (shrink)

Metaphysics-first approaches dominate the current literature in the epistemology of modality. According to metaphysics-firsters, metaphysical theses have an important role in the justification of modal epistemologies. For example, the thesis that essentialist truths constitute the metaphysical grounds of modal truths is meant to have an important role in the justification of essentialist modal epistemologies. In this article, we argue against this approach. We first pick up some of the groundwork on behalf of the metaphysics-firsters and explicitly spell out potential (...) arguments for their view. However, despite some initial plausibility, these arguments are ultimately found wanting. We conclude that the metaphysics-first approach lacks motivation and puts far too stringent demands upon modal epistemologists. (shrink)

The Aristotelian tradition in science, dominant before the advent of modern science, saw real modalities in nature: necessity, possibility, contingency, potentiality, and essence. Throughout the modern period and the early twentieth century, empiricists struggled to maintain that there was nothing to be found between matters of actual fact on the one hand and relations between ideas or words on the other. Probability has the logical form of a modality, but until the twentieth century, it could be construed as a (...) measure of ignorance, or of actual proportions and frequencies, not a basic parameter in nature itself. That changed with the advent of quantum mechanics and the admission of indeterminism as a theoretical possibility. The legitimacy of irreducible probabilities was admitted in the modelling of natural processes. The challenge to the empiricist now is to interpret probability as it appears there, and this includes the larger challenge of displaying an empiricistically acceptable role for modalities in general in the scientific image. This chapter provides a systematic critique of frequentist and propensity interpretations of physical probability, but also characterizes the models of probability theory as constructible from families of sequences constrained by limiting frequencies. This formal agreement with a certain kind of ’ideal frequency’ account is embedded in a philosophical view of modalities in general that turns on an account of the language of science on the level of pragmatics. (shrink)

It is a core feature of the conception of freedom as non-domination that freedom requires the absence of exposure to arbitrary power across a range of relevant possible worlds. While this modal robustness is critical to the analysis of paradigm cases of unfreedom such as slavery, critics such as Gerald Gaus have argued that it leads to absurd conclusions, with barely-felt constraints appearing as sources of unfreedom. I aim to clarify the demands of the modal robustness requirement, and offer a (...) reinterpretation of its place in the conceptual framework of freedom as non-domination. I illustrate this point through a discussion of low-probability threats of interference which are central to Gaus’s critique, which I term ‘distant threats’. I argue that those committed to robust conceptions of freedom should still be concerned by these kinds of threats, which will sometimes constitute genuine sources of unfreedom. But rather than leading to absurd conclusions, we should instead view them as diagnostic of deficiencies within existing regimes of non-domination. The challenge posed by distant threats of domination to the republican conception of freedom does not prove it implausible, but illustrates some of its most important insights about the social and economic conditions of free status, and the fragility of that freedom. (shrink)

The Actual and the Possible presents new essays by leading specialists on modality and the metaphysics of modality in the history of modern philosophy from the seventeenth to the twentieth centuries. It revisits key moments in the history of modern modal doctrines, and illuminates lesser-knownmoments of that history. The ultimate purpose of this historical approach is to contextualise and even to offer some alternatives to dominant positions within the contemporary philosophy of modality. Hence the volume contains not (...) only new scholarship on the early-modern doctrines of Baruch Spinoza,G. W. F. Leibniz, Christian Wolff and Immanuel Kant, but also work relating to less familiar nineteenth-century thinkers such as Alexius Meinong and Jan Lukasiewicz, together with essays on celebrated nineteenth- and twentieth-century thinkers such as G. W. F. Hegel, Martin Heidegger and BertrandRussell, whose modal doctrines have not previously garnered the attention they deserve. The volume thus covers a variety of traditions, and its historical range extends to the end of the twentieth century, addressing the legacy of W. V. Quine's critique of modality within recent analyticphilosophy. (shrink)

In the twentieth century three approaches to modality dominated. One denied its legitimacy. A second made language the source of modality. The third treats possible worlds as the source of truth for modal propositions Meinong’s account of modality is quite different from all of these. Like the last it has an ontological basis, but it eschews worlds in favour of a rich one-world ontology of objects and states of affairs, many of which notoriously fail to exist and (...) some even more notoriously fail to be possible. We lay out the ontological basis of Meinong’s system and show how he accommodates standard modal notions. Two peculiarities of his system are investigated: his preference of possibility over necessity, and his treatment of degrees of possibility, which allows him to subsume probability theory in his account. (shrink)

Social-rank cues communicate social status or social power within and between groups. Information about social-rank is fluently processed in both visual and auditory modalities. So far, the investigation on the processing of social-rank cues has been limited to studies in which information from a single modality was assessed or manipulated. Yet, in everyday communication, multiple information channels are used to express and understand social-rank. We sought to examine the voluntary nature of processing of facial and vocal signals of social-rank (...) using a cross-modal Stroop task. In two experiments, participants were presented with face-voice pairs that were either congruent or incongruent in social-rank. Participants’ task was to label face social dominance while ignoring the voice, or label voice social dominance while ignoring the face. In both experiments, we found that face-voice incongruent stimuli were processed more slowly and less accurately than were the congruent stimuli in the face-attend and the voice-attend tasks, exhibiting classical Stroop-like effects. These findings are consistent with the functioning of a social-rank bio-behavioural system which consistently and automatically monitors one’s social standing in relation to others and uses that information to guide behaviour. (shrink)

Power is clearly a crucial concept for feminist theory. Insofar as feminists are interested in analyzing power, it is because they have an interest in understanding, critiquing, and ultimately challenging the multiple array of unjust power relations affecting women in contemporary Western societies, including sexism, racism, heterosexism, and class oppression. In "The Power of Feminist Theory," Amy Allen diagnoses the inadequacies of previous feminist conceptions of power, and draws on the work of a diverse group of theorists of power, including (...) Michel Foucault, Judith Butler, and Hannah Arendt, in order to construct a new feminist conception of power. The conception of power developed in this book enables readers to theorize domination, resistance, and solidarity, and, perhaps more importantly, to do so in a way that illuminates the interrelatedness of these three modalities of power. (shrink)

Analytic philosophy in the mid-twentieth century underwent a major change of direction when a prior consensus in favour of extensionalism and descriptivism made way for approaches using direct reference, the necessity of identity, and modal logic. All three were first defended, in the analytic tradition, by one woman, Ruth Barcan Marcus. But analytic philosophers now tend to credit them to Kripke, or Kripke and Carnap. I argue that seeing Barcan Marcus in her historical context – one dominated by extensionalism and (...) descriptivism – allows us to see how revolutionary she was, in her work and influence on others. I focus on her debate with Quine, who found himself retreating to softened, and more viable, versions of his anti-modal arguments as a result. I make the case that Barcan's formal logic was philosophically well-motivated, connected to her views on reference, and well-matched to her overall views on ontology. Her nominalism led her to reject posits which could not be directly observed and named, such as possibilia. She conceived of modal calculi as facilitating counterfactual discourse about actual existents. I conclude that her contributions ought to be recognized as the first of their kind. Barcan Marcus must be awarded a central place in the canon of analytic philosophy. (shrink)

Research on the relation between sound and meaning in language has reported substantial evidence for implicit associations between articulatory–acoustic characteristics of phonemes and emotions. In the present study, we specifically tested the relation between the acoustic properties of a text and its emotional tone as perceived by readers. To this end, we asked participants to assess the emotional tone of single stanzas extracted from a large variety of poems. The selected stanzas had either an extremely high, a neutral, or an (...) extremely low average formant dispersion. To assess the average formant dispersion per stanza, all words were phonetically transcribed and the distance between the first and second formant per vowel was calculated. Building on a long tradition of research on associations between sound frequency on the one hand and non‐acoustic concepts such as size, strength, or happiness on the other hand, we hypothesized that stanzas with an extremely high average formant dispersion would be rated lower on items referring to Potency (dominance) and higher on items referring to Activity (arousal) and Evaluation (emotional valence). The results confirmed our hypotheses for the dimensions of Potency and Evaluation, but not for the dimension of Activity. We conclude that, at least in poetic language, extreme values of acoustic features of vowels are a significant predictor for the emotional tone of a text. (shrink)

In this note, I show how Christian List's modal logic of republican freedom (as published in this journal in 2006) can be extended (1) to grasp the differences between liberal freedom (noninterference) and republican freedom (non-domination) in terms of two purely logical axioms and (2) to cover a more recent definition of republican freedom in terms of `arbitrary interference' that gains popularity in the literature.

The ability of bilingual individuals to manage two competing languages is assumed to rely on both domain-specific language control and domain-general control mechanisms. However, previous studies have reported mixed findings about the extent and nature of cross-domain generality. The present study examined the role of language dominance, along with bilingual language experience, in the relationship between word recognition and domain-general cognitive control. Two single-language lexical decision tasks and a domain-general flanker task were administered to bilinguals who live in the (...) sociolinguistic context of a minority and a majority language, namely, Uyghur and Chinese, respectively. The results showed a diversity in language dominance patterns with better performance in L2 than L1 in the recognition modality, even for participants who self-identified as globally being dominant in L1. This finding reflected all bilinguals’ self-evaluation that their preferred language for reading was L2, suggesting that language dominance is dynamic, depending on what language modality is measured. Furthermore, it was found that an earlier onset age of L2 acquisition and a higher across-modality dominance in L2 were related to faster L2 word recognition. When self-reported language dominance was operationalised as a grouping variable, it was further found that both across-modality L1- and L2-dominant bilingual participants demonstrated a significant relationship between L2 word recognition and domain-general monitoring control, while only L1-dominant bilinguals additionally tapped into inhibitory control, indexed by the flanker effect during L2 word recognition. These findings suggest that language dominance has an impact on the extent and nature of the overlap in control mechanisms across specific linguistic and domain-general cognitive domains and add evidence to a domain-general monitoring account of bilingual word recognition. (shrink)

forthcoming in a collection of papers (from OUP, edited by Bob Hale) given at the Arché modality conference, St Andrews University, 7th-9th June 2006.

ABSTRACT Analytic philosophy in the mid-twentieth century underwent a major change of direction when a prior consensus in favour of extensionalism and descriptivism made way for approaches using direct reference, the necessity of identity, and modal logic. All three were first defended, in the analytic tradition, by one woman, Ruth Barcan Marcus. But analytic philosophers now tend to credit them to Kripke, or Kripke and Carnap. I argue that seeing Barcan Marcus in her historical context – one dominated by extensionalism (...) and descriptivism – allows us to see how revolutionary she was, in her work and influence on others. I focus on her debate with Quine, who found himself retreating to softened, and more viable, versions of his anti-modal arguments as a result. I make the case that Barcan's formal logic was philosophically well-motivated, connected to her views on reference, and well-matched to her overall views on ontology. Her nominalism led her to reject posits which could not be directly observed and named, such as possibilia. She conceived of modal calculi as facilitating counterfactual discourse about actual existents. I conclude that her contributions ought to be recognized as the first of their kind. Barcan Marcus must be awarded a central place in the canon of analytic philosophy. (shrink)

The distinction between true belief and knowledge is one of the most fundamental in philosophy, and a remarkable effort has been dedicated to formulating the conditions on which true belief constitutes knowledge. For decades, much of this epistemological undertaking has been dominated by a single strategy, referred to here as the modal approach. Shared by many of the most widely influential constraints on knowledge, including the sensitivity, safety, and anti-luck/risk conditions, this approach rests on a key underlying assumption — the (...) modal profiles available to known and unknown beliefs are in some way asymmetrical. The first aim of this paper is to deconstruct this assumption, identifying its plausibility with the way in which epistemologists frequently conceptualize human perceptual systems as excluding certain varieties of close error under conditions conducive to knowledge acquisition. The second aim of this paper is to then argue that a neural phase phenomenon indicates that this conceptualization is quite likely mistaken. This argument builds on the previous introduction of this neural phase to the context of epistemology, expanding the use of neural phase cases beyond relatively narrow questions about epistemic luck to a much more expansive critique of the modal approach as a whole. (shrink)

Philip Pettit’s conception of freedom as nondomination is modally robust in that it requires not simply reducing the probability of uncontrolled interference by others but entirely eliminating that possibility. In this article, I consider whether freedom as nondomination provides an attractive analysis of official discretion, particularly in the context of the criminal law, an area of recurring interest for Pettit. I argue that not only does the modally robust character of freedom as nondomination have some rather unattractive implications in the (...) criminal law, but that it sits poorly with Pettit’s more general ambitions to provide a consequentialist framework for the evaluation of social institutions. Drawing on recent work by Niko Kolodny, I develop an ‘anti-deference’ interpretation of nondomination and contrast it to Pettit’s modally robust conception. (shrink)

Previous studies have shown that Chinese speakers and non-Chinese speakers exhibit different patterns of cross-modal congruence for the lexical tones of Mandarin Chinese, depending on which features of the pitch they attend to. But is this pattern of language-specific listening a conscious cultural strategy or an automatic processing effect? If automatic, does it also apply when the same pitch contours no longer sound like speech? Implicit Association Tests (IATs) provide an indirect measure of cross-modal association. In a series of IAT (...) studies, conducted with participants with three kinds of language backgrounds (Chinese-dominant bilinguals, Chinese balanced bilinguals, and English speakers with no Chinese experience) we find language-specific congruence effects for Mandarin lexical tones but not for matched sine-wave stimuli. That is, for linguistic stimuli, non-Chinese speakers show advantages for pitch-height congruence (high-pointy, low-curvy); no congruence effects were found for Chinese speakers. For non-linguistic stimuli, all participant groups showed advantages for pitch-height congruence. The present findings suggest that non-lexical tone congruence (high-pointy, low-curvy) is a basic congruence pattern, and the acquisition of a language with lexical tone can alter this perception. (shrink)

The article examines the modalities of social development. Reconsidering the history of the evolution of ideas, it can be noted that the development of countries was usually interpreted only in two modalities – evolution and revolution. But the concepts of revolution and evolution – qua states of progress – cannot explain the whole variety of real but unique processes and events, cannot reflect the specifics of the development process in countries of different regions of the world. In the humanities, there (...) is a domination of formal pragmatic ideas that social well-being is determined by the level of the economic and technical base of society, by the total volume of the benefits consumed. However, the state of public consciousness, being a form of the internal state of society, directly affects social well-being. For this reason, the concept of “trauma” is proposed as a term for a specific state, different from a revolutionary or evolutionary one, a state that draws society away from the logic of development and progress. Thus, we should talk about the “trauma society,” which should be understood as the third modality of social development along with evolution and revolution. The trauma state primarily manifests itself in the forms of social self-awareness. Trauma society lacks a clear strategy and understanding of its own prospects. The actions of society are inconsistent in nature and are not able to mobilize resources to overcome destructive processes. Due to that, the traumatic conditions have economic and political consequences. In a trauma society, national specificity is usually either ignored or, contrarily, exaggerated. The degradation of economic and government institutions leads to a merger of power and property. Therefore, the harmonization of public consciousness should be considered as one of the conditions for overcoming the institutional crisis. (shrink)

The following paradigm, most closely associated with the work of Angelika Kratzer, dominates the literature on the semantics of modals: MUST is a universal quantifier over a contextually determined set of worlds, where ⌜MUST.

This is a translation of Nicolai Hartmann’s article “Der Megarische und der Aristotelische Möglichkeitsbegriff: ein Beitrag zur Geschichte des ontologischen Modalitätsproblems,” first published in 1937. In this article, Hartmann defends an interpretation of the Megarian conception of possibility, which found its clearest form in Diodorus Cronus’ expression of it and according to which “only what is actual is possible” or “something is possible only if it is actual.” Hartmann defends this interpretation against the then dominant Aristotelian conception of possibility, based (...) on the opposition between dynamis and energeia, and according to which there is always an open multiplicity of simultaneous “possibilities,” the outcome of which remains undetermined. Since, according to Hartmann, reality suffers no indetermination, the Megarian conception of possibility is an account of real possibility, whereas the Aristotelian one is merely an account of epistemic possibility. (shrink)

In _ Psychiatry in the Scientific Image, _Dominic Murphy looks at psychiatry from the viewpoint of analytic philosophy of science, considering three issues: how we should conceive of, classify, and explain mental illness. If someone is said to have a mental illness, what about it is mental? What makes it an illness? How might we explain and classify it? A system of psychiatric classification settles these questions by distinguishing the mental illnesses and showing how they stand in relation to one (...) another. This book explores the philosophical issues raised by the project of explaining and classifying mental illness. Murphy argues that the current literature on mental illness -- exemplified by the Diagnostic and Statistical Manual of Mental Disorders -- is an impediment to research; it lacks a coherent concept of the mental and a satisfactory account of disorder, and yields too much authority to commonsense thought about the mind. He argues that the explanation of mental illness should meet the standards of good explanatory practice in the cognitive neurosciences, and that the classification of mental disorders should group symptoms into conditions based on the causal structure of the normal mind. (shrink)

In this paper, we advocate the usage of the family of Heyting-valued modal logics, introduced by M. Fitting, by presenting a simple 3-valued modal language and axiomatizing an interesting 3-valued logic of belief. We give two simple bisimulation relations for the modal language, one that respects non-falsity and one that respects the truth value. The doxastic logic axiomatized, apart from being interesting in its own right for KR applications, it comes with an underlying 3-valued propositional logic which is a syntactic (...) variant of the ‘logic of here-and-there’, whose importance in KR and Logic Programming is well-known, it is endowed from its very inception with a Gentzen-style proof theory from [Fit92] and a completeness theorem from [KNP02], it can be equivalently seen as a logic describing the epistemic agreement of two interrelated agents: a K45 agent who ‘dominates’ an S5 agent, as we show here, its satisfiability problem is NP-complete, i.e. at the lower level one can expect for applied logics. This is the first concrete example of an epistemic logic from Fitting's framework, that has been overlooked hitherto, despite its many attractive characteristics. (shrink)

We describe BDD-based decision procedures for the modal logic K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Instead, we compute certain fixpoints of a set of types — which can be viewed as an on-the-fly emptiness of the automaton. We use BDDs to represent and manipulate such type sets, and investigate different kinds of representations as well as a “level-based” representation scheme. The latter turns out to speed up construction and reduce memory consumption (...) considerably. We also study the effect of formula simplification on our decision procedures. To prove the viability of our approach, we compare our approach with a representative selection of other approaches, including a translation of K to QBF. Our results indicate that the BDD-based approach dominates for modally heavy formulae, while search-based approaches dominate for propositionally heavy formulae. (shrink)

Birth asphyxia is the most common single cause of death in term newborn infants. The majority of deaths in developed countries follow decisions to withdraw intensive care. Recent technological advances, particularly the use of magnetic resonance imaging (MRI) of the brain, may affect the process of prognostication and decision-making. There is little existing evidence about how prognosis is determined in newborn infants and how this relates to treatment withdrawal decisions.An exploratory qualitative study was performed using in-depth semi-structured interviews with a (...) sample of ten neonatologists from tertiary intensive care units in the UK. Participants were purposively selected to ensure a range of experience and type of unit. They were asked about the process of prognostication for infants with birth asphyxia and decisions about treatment withdrawal. Interviews were transcribed and thematically analysed.MRI played a significant role in decision-making about life-sustaining treatment for a number of clinicians. Clinicians did not identify particular ethical concerns related to MRI, though wider discussion revealed issues relating to uncertainty around predictions, the timing of prognostication and decision-making, and difficulty in predicting quality of life. (shrink)

For centuries, philosophers have identified beauty with what brings pleasure. Dominic McIver Lopes challenges this interpretation by offering an entirely new theory of beauty - that beauty engages us in action, in concert with others, in the context of social networks - and sheds light on why aesthetic engagement is crucial for quality of life.