When members of a group doxastically disagree with each other, decisions in the group are often hard to make. The members are supposed to find an epistemic compromise. How do members of a group reach a rational epistemic compromise on a proposition when they have different (rational) credences in the proposition? I answer the question by suggesting the Fine-Grained Method of Aggregation, which is introduced in Brössel and Eder 2014 and is further developed here. I show (...) how this method faces challenges of the standard method of aggregation, Weighted Straight Averaging, in a successful way. One of the challenges concerns the fact that Weighted Straight Averaging does not respect the evidential states of agents. Another challenge arises because Weighted Straight Averaging does not account for synergetic effects. (shrink)

This paper aims to distinguish two main types of coarse graining, and reveal the relationship between the notions of coarse graining and emergence. In physics, some forms of coarse graining seem to be indispensable to show a physical property, and the other merely changes our descriptions of the system. To clarify the notion of coarse graining, this article investigates the cases of the renormalization group method and irreversibility, both of which have been important topics in philosophy of science, and (...) the case of the rigid body in classical mechanics, which is an elementary case including coarse graining. The case studies reveal the distinction between substantial and mere coarse-graining. This distinction clarifies the relationships between the notions of coarse graining and emergence and further provides some implications for the issues about emergence. (shrink)

Previous studies on crisis know­ledge organization mostly focused on the categorization of crisis know­ledge without regarding its dynamic trend and temporal-spatial features. In order to emphasize the dynamic factors of crisis collaboration, a fine-grained crisis know­ledge model is proposed by integrating temporal-spatial analysis based on ontology, which is one of the commonly used methods for know­ledge organization. The reconstruction of ontology-based crisis know­ledge will be implemented through three steps: analyzing temporal-spatial features of crisis know­ledge, reconstructing crisis know­ledge ontology, (...) and verifying the temporal-spatial ontology. In the process of ontology reconstruction, the main classes and properties of the domain will be identified by investigating the crisis information resources. Meanwhile the fine-grained crisis ontology will be achieved at the level of characteristic representation of crisis know­ledge including temporal relationship, spatial relationship, and semantic relationship. Finally, we conducted case addition and system implementation to verify our crisis know­ledge model. This ontology-based know­ledge organization method theoretically optimizes the static organizational structure of crisis know­ledge, improving the flexibility of know­ledge organization and efficiency of emergency response. In practice, the proposed fine-grained ontology is supposed to be more in line with the real situation of emergency collaboration and management. Moreover, it will also provide the know­ledge base for decision-making during rescue process. (shrink)

Commonplace syntactic constructions in natural language seem to generate ontological commitments to a dazzling array of metaphysical categories - aggregations, sets, ordered n-tuples, possible worlds, intensional entities, ideal objects, species, intensive and extensive quantities, stuffs, situations, states, courses of events, nonexistent objects, intentional and discourse objects, general objects, plural objects, variable objects, arbitrary objects, vague kinds and concepts, fuzzy sets, and so forth. But just because a syntactic construction in some natural language appears to invoke a new category of entity, (...) are we theoreticians epistemically justified in holding that there are such entities? This would hardly seem sufficient. To be epistemically justified, the ontology to which we theoreticians are committed must pass strict standards: the entities must be of the sort required by our best comprehensive theory of the world. The thesis of this paper is that fine-grained type-free intensional entities are like this. If the thesis is right, these entities have a special objective status perhaps not possessed by some of the other ontological categories associated with special syntactic constructions in natural language. In fact, it is plausible to hold that fine-grained type-free intensional entities provide the proper minimal framework for constructing logical and linguistic theories. In this paper my strategy will be to survey the competing conceptions of fine-grained type-free intensionality and to present arguments in support of one of them. Following this narrowing down process, I will go on to the indicated epistemological considerations. (shrink)

Economics has become a monolithic science, variously described as formalistic and autistic with neoclassical orthodoxy reigning supreme. So argue Dimitris Milonakis and Ben Fine in this new major work of critical recollection. The authors show how economics was once rich, diverse, multidimensional and pluralistic, and unravel the processes that lead to orthodoxy’s current predicament. The book details how political economy became economics through the desocialisation and the dehistoricisation of the dismal science, accompanied by the separation of economics from the (...) other social sciences, especially economic history and sociology. It is argued that recent attempts from within economics to address the social and the historical have failed to acknowledge long standing debates amongst economists, historians and other social scientists. This has resulted in an impoverished historical and social content within mainstream economics. The book ranges over the shifting role of the historical and the social in economic theory, the shifting boundaries between the economic and the non-economic, all within a methodological context. Schools of thought and individuals, that have been neglected or marginalised, are treated in full, including classical political economy and Marx, the German and British historical schools, American institutionalism, Weber and Schumpeter and their programme of Socialökonomik, and the Austrian school. At the same time, developments within the mainstream tradition from marginalism through Marshall and Keynes to general equilibrium theory are also scrutinised, and the clashes between the various camps from the famous Methodenstreit to the fierce debates of the 1930s and beyond brought to the fore. The prime rationale underpinning this account drawn from the past is to put the case for political economy back on the agenda. This is done by treating economics as a social science once again, rather than as a positive science, as has been the inclination since the time of Jevons and Walras. It involves transcending the boundaries of the social sciences, but in a particular way that is in exactly the opposite direction now being taken by "economics imperialism". Drawing on the rich traditions of the past, the reintroduction and full incorporation of the social and the historical into the main corpus of political economy will be possible in the future. (shrink)

Prior to Kripke's seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano-Tarski notion of logical truth. According to this interpretation, `it is necessary that A' is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views in (...) modal metaphysics. In particular, we present an hitherto unpublished solution to problems 41 and 42 from Friedman's 102 problems, which uses a different method of proof from the solution presented in the paper of Tadeusz Prucnal. (shrink)

Introduction. There is substantial evidence that patients with delusions exhibit a reasoning bias—known as the “jumping to conclusions” bias—which leads them to accept hypotheses as correct on the basis of less evidence than controls. We address three questions concerning the JTC bias that require clarification. Firstly, what is the best measure of the JTC bias? Second, is the JTC bias correlated specifically with delusions, or only with the symptomatology of schizophrenia? And third, is the bias enhanced by emotionally salient material? (...) Methods. To address these questions, we conducted a series of meta-analyses of studies that used the Beads task to compare the probabilistic reasoning styles of individuals with and without delusions. Results. We found that only one of four measures of the JTC bias—“draws to decision”—reached significance. The JTC bias exhibited by delusional subjects—as measured by draws to decision—did not appear to be solely an epiphenomenal effect of schizophrenic symptomatology, and was not amplified by emotionally salient material. Conclusions. A tendency to gather less evidence in the Beads task is reliably associated with the presence of delusional symptomatology. In contrast, certainty on the task, and responses to contradictory evidence, do not discriminate well between those with and without delusions. The implications for the underlying basis of the JTC bias, and its role in the formation and maintenance of delusions, are discussed. (shrink)

I consider some different forms of filtration and raise some questions concerning the scope of the method of filtrations in propositional modal logic.

Mathematics has been the most successful and is the most mature of the sciences. Its first great master work – Euclid's ‘Elements’ – which helped to establish the field and demonstrate the power of its methods, was written about 2400 years ago; and it served as a standard text in the mathematics curriculum well into the twentieth century. By contrast, the first comparable master work of physics – Newton's Principia – was written 300 odd years ago. And the juvenile science (...) of biology only got its first master work – Darwin's ‘On the Origin of Species’ – a mere 150 years ago. The development of the subject has also been extraordinarily fertile, particularly in the last three centuries, and it is perhaps only in the last century that the other sciences have begun to approach mathematics in the steady accumulation of knowledge that it has been able to offer. There has, moreover, been almost universal agreement on its methods and how they are to be applied. What we require is proof; and, in practice, there is very little disagreement over whether or not we have it. The other sciences, by contrast, tend to get mired in controversy over the significance of this or that experimental finding or over whether one theory is to be preferred to another. (shrink)

In this thesis, I deal with the notions of a condition holding for some proposition and a proposition being true in a certain number of possible worlds. These notions are called propositional quantifiers and numerical modalizers respectively. In each chapter, I attempt to dispose of a system. A system consists of: a language; axioms and rules of inference; and an interpretation. To dispose of a system is to prove its decidability and its consistency and completeness for the given interpretation. I (...) shall, in passing, make applications to de definability, translatability and other topics. In Chapter 1, I consider the system 5SQ. Its language is that of 55 with Q as a fresh unary operator. Its axioms and rules of inference are those for 85 plus the following special axiom-schemes for Q: 1) QA::>MA 2) Q A ::> L V L 3) L ::> 4) Q A ::> L Q A. 'QA' is interpreted as 'A is true in exactly one possible world.' I dispose of the system by showing that every formula in it is equivalent to one in normal form. In Chapter 2 I consider the system S5n. Its language is that of S5 but with the unary operators Qk for each non-negative integer k. Its axioms and rules are those of S5 plus the following special axiom-schemes for Qk: 1) Qk A>~Q1 A, 1˂K 2) Qk A ≡ Vki≡oQi ˄ Qk-I 3) L ˂ 4) Qk A ˂ L Qk A 5) Qo A ≡ L ~ A, 1 ≥ 0, k ≥ 1 ‘Qk A’ is interpreted as 'A is true in exactly k possible worlds.' I dispose of this system by generalising the normal forms of S5Q. In the chapters 3-5, I consider three systems which result from adding propositional quantifiers to S5. The first two systems, S5╥+ and S5╥, contain the usual axioms and rules for quantifiers. The first contains, in addition, the axiom-scheme G = )). The last, S5╥-, results from S5╥ by restricting the Scheme of Specification, viz., A > A, B free for P in A, to formulas B of the propositional calculus. To interpret these systems we must specify which propositions the variable P ranges over. For St╥-, we merely require that if p and q are propositions, then and are also propositions. For S5╥+, we also require that each possible world be describable i.e. that there be a proposition which is true in that world alone. And for S5╥, we require not that each possible world be describable but that there be a proposition which is true in just those possible worlds which are describable. Again, we dispose of the systems by normal forms. This requires that we eliminate quantifiers and nested occurrences of L by adding new symbols to the language. For S5╥+, the operators Qk suffice. For S5╥, the operators Qk suffice. For S5╥, we also require the constant g and a fresh unary operator N. For S5╥-, even greater additions are required. In the last two chapters, 6 and 7, I turn to systems which have essentially the same language as S5╥. However, ‘Qk A' is now interpreted as 'A is true in exactly k possible worlds accessible from the given world.' Different conditions on R, the relation of accessibility, lead to different axioms. In chapter 6 I consider the conditions of reflexivity, symmetry and transitivity, and in Chapter 7 the conditions of being a partial, convergent, total or dense order. I prove consistency and completeness by the method of maximally consistent systems. The method can yield decidability results, but I do not go into the matter. I have, as a rule, not given acknowledgements for well-established results or terminology. The main references are at the end of each chapter. Fuller references are in the bibliography. (shrink)

The four main essays in this volume investigate new sectors of the theory of decision, preference, act-characteristics, and action analysis. Herbert A. Simon applies tools developed in the theory of decision-making to the logic of action, and thereby develops a novel concept of heuristic power. Adapting ideas from utility and decision theory, Nicholas Rescher proposes a logic of preference by which conflicting theories proposed by G. H. von Wright, R. M. Chisholm, and others can be systematized. Donald Davidson discusses difficulties (...) in specifying the structure of action sentences to elucidate how their meaning depends on that structure. G. H. von Wright devises a method for describing each “state of the world” that results from an action, in a revision of his own earlier work. Additionally, a study of the logic of norms by Alan Ross Anderson is presented as an appendix, along with an appendix by Rescher outlining the aspects of action. (shrink)

This paper reviews the contribution of Hannah Arendt's 1963 monograph, On Revolution, to the theme of this collection: “contestatory cosmopolitanism.” I am critical of normative interpretations of the text that treat it as a wholesale rejection of the French revolutionary tradition and as a tribute either to American constitutionalism, in more liberal readings, or to the council system of direct democracy, in more radical readings. I read it against this doctrinal grain as a dialectical analysis of the modern revolutionary tradition (...) as a whole. I argue that it is more productive for our own purposes and more faithful to Arendt's own approach to read the book as an exploration of the developmental forms of the modern revolutionary tradition, beginning with the “perplexities” present in the modern concept of revolution and then moving on to the more applied and practical “perplexities” involved in the realization of the concept: first in the French Revolution, then in the American Revolution and finally in.. (shrink)

Brenner's ‘The Economics of Global Turbulence’ has induced a flood of responses, the vast majority of them critical, especially on grounds of method and theory. Tony Smith1 is an exception in seeking to defend Brenner, mostly by pushing his arguments further and by attacking his critics, including ourselves. In part, Smith interprets Brenner and credits him with positions that he can either defend for himself or, as we suspect, reject. Our concern in this reply is not to address issues (...) through the prism of Brenner but to assess Smith's own contribution critically on its own terms and merits. (shrink)

This paper describes the application of eight statistical and machine-learning methods to derive computer models for predicting mortality of hospital patients with pneumonia from their findings at initial presentation. The eight models were each constructed based on 9847 patient cases and they were each evaluated on 4352 additional cases. The primary evaluation metric was the error in predicted survival as a function of the fraction of patients predicted to survive. This metric is useful in assessing a model’s potential to assist (...) a clinician in deciding whether to treat a given patient in the hospital or at home. We examined the error rates of the models when predicting that a given fraction of patients will survive. We examined survival fractions between 0.1 and 0.6. Over this range, each model’s predictive error rate was within 1% of the error rate of every other model. When predicting that approximately 30°K of the patients will survive, all the models have an error rate of less than 1.5%. The models are distinguished more by the number of variables and parameters that they contain than by their error rates; these differences suggest which models may be the most amenable to future implementation as paper-based guidelines. (shrink)

In this paper we consider the emerging position in metaphysics that artifact functions characterize real kinds of artifacts. We analyze how it can circumvent an objection by David Wiggins (Sameness and substance renewed, 2001, 87) and then argue that this position, in comparison to expert judgments, amounts to an interesting fine-grained metaphysics: taking artifact functions as (part of the) essences of artifacts leads to distinctions between principles of activity of artifacts that experts in technology have not yet made. (...) We show, moreover, that our argument holds not only in the artifactual realm but also in biology: taking biological functions as (part of the) essences of organs leads to distinctions between principles of activity of organs that biological experts have not yet made. We run our argument on the basis of analyses of artifact and biological functions as developed in philosophy of technology and of biology, thus importing results obtained outside of metaphysics into the debate on ontological realism. In return, our argument shows that a position in metaphysics provides experts reason for trying to detect differences between principles of activities of artifacts and organs that have not been detected so far. (shrink)

In this paper we consider the emerging position in metaphysics that artifact functions characterize real kinds of artifacts. We analyze how it can circumvent an objection by David Wiggins (Sameness and substance renewed, 2001, 87) and then argue that this position, in comparison to expert judgments, amounts to an interesting fine-grained metaphysics: taking artifact functions as (part of the) essences of artifacts leads to distinctions between principles of activity of artifacts that experts in technology have not yet made. (...) We show, moreover, that our argument holds not only in the artifactual realm but also in biology: taking biological functions as (part of the) essences of organs leads to distinctions between principles of activity of organs that biological experts have not yet made. We run our argument on the basis of analyses of artifact and biological functions as developed in philosophy of technology and of biology, thus importing results obtained outside of metaphysics into the debate on ontological realism. In return, our argument shows that a position in metaphysics provides experts reason for trying to detect differences between principles of activities of artifacts and organs that have not been detected so far. (shrink)

Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. We implement and compare these two approaches. First, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we prevent (...) the generation of inconsistencies by letting the agents engage in a turn-based rational protocol about the axioms to be added to the integrated ontology. We instantiate the two approaches using real-world ontologies and compare them by measuring the levels of satisfaction of the agents w.r.t. the ontology obtained by the two procedures. (shrink)

“Mechanical objectivity,” which Lorraine Daston and Peter Galison trace to the mid-nineteenth century, often coincided with efforts to inscribe nature “directly,” such as through automatic registering machines. But what did this inscription entail? Addressing this question requires that we reexamine indexicalization: the shift in semiotic ideology whereby medial technologies are imagined and acted on as if they preserved material traces of the real. Indexicalization is no simple reflex of mechanical objectivity and is more varied and consequential than commonly imagined. This (...) essay demonstrates this by returning to the sciences of face-to-face interaction, which crystallized in postwar America but drew inspiration from earlier research on talk therapy. Returning to efforts to record psychoanalysis sessions in the early 1930s “objectively,” it chronicles a shift in the technosemiotic mediation of knowledge. Whereas transcripts were originally “verbatim” records of literal content, researchers came to seek tacit, symptomological signs. And whereas mechanical recording was introduced to avoid an observer effect, it was later deemed necessary to preserve indexical traces for fine-grained analysis. This indexicalization had ontological as well as epistemological effects, and it was inspired not by mechanical objectivity but by the parallel capacities of the perceptive psychoanalyst and the receptive mechanical recorder, both virtuosic in registering the indexical richness of the communicative unconscious. (shrink)

Do philosophers use intuitions? Should philosophers use intuitions? Can philosophical methods (where intuitions are concerned) be improved upon? In order to answer these questions we need to have some idea of how we should go about answering them. I defend a way of going about methodology of intuitions: a metamethodology. I claim the following: (i) we should approach methodological questions about intuitions with a thin conception of intuitions in mind; (ii) we should carve intuitions finely; and, (iii) we should carve (...) to a grain to which we are sensitive in our everyday philosophising. The reason is that, unless we do so, we don’t get what we want from philosophical methodology. I argue that what we want is information that will aid us in formulating practical advice concerning how to do philosophy responsibly/well/better. (shrink)

Researchers have evaluated how broad categories of emotion influence judgments of learning relative to neutral items. Specifically, JOLs are typically higher for emotional relative to neutral items. The novel goal of the present research was to evaluate JOLs for fine-grained categories of emotion. Participants studied faces with afraid, angry, sad, or neutral expressions and with afraid, angry, or sad expressions. Participants identified the expressed emotion, made a JOL for each, and completed a recognition test. JOLs were higher for (...) the emotional relative to neutral expressions. However, JOLs were insensitive to the categories of negative emotion. Using a survey design in Experiment 3, participants demonstrated idiosyncratic beliefs about emotion. Some people believed the fine-grained emotions were equally memorable, whereas others believed a specific emotion was most memorable. Thus, beliefs about emotion are nuanced, which has important implications for JOL theory. (shrink)

In this paper it is argued that sensitivity theory suffers from a fatal defect. Sensitivity theory is often glossed as: (1) S knows that p only if S would not believe that p if p were false. As Nozick showed in his pioneering work on sensitivity theory, this formulation needs to be supplemented by a further counterfactual condition: (2) S knows that p only if S would believe p if p were true. Nozick further showed that the theory needs a (...) qualification on the method used to form the belief. However, when these complications are spelled out in detail, it becomes clear that the two counterfactuals are in irresolvable tension. To jibe with the externalist intuitions that motivate sensitivity theory in the first place, (1) needs a fine-grained grouping of belief-formation methods, but (2) needs coarse-grained grouping. It is therefore suggested that sensitivity theory is in dire straits: either its proponents need to provide a workable principle of method individuation or they must retrench and give up their claims to providing sufficient conditions for knowledge. (shrink)

Intensionality (or opacity) is a core property of mental representations and sometimes understanding opacity is claimed to be a part of children's theory of mind (evidenced with the false belief task). Children, however, pass the false belief task and the intensionality tasks at different ages (typically 4 vs. 5;1-6;11 years). According to two dominant interpretations, the two tests either require different conceptual resources or vary only in their executive or linguistic load. In two experiments, involving 120 children aged 3-6 (Experiment (...) 1) and 75 children aged 4-6 (Experiment 2), we tested two variants of the executive load hypothesis: The differential linguistic complexity of the two tests, and the dual-name problem of the intensionality task. The former was addressed by standardizing and minimizing the linguistic demands of both tasks (contrasted with the typical narrative intensionality task), and the latter by introducing the dual-name problem into the false belief task as well, so that it was present in both tasks. We found that (1) two structurally different intensionality tasks shared more variance with each other than with the structurally similar false belief task, and that (2) introducing a dual label problem into the false belief task did not reduce the developmental gap. Our results speak against interpreting the difference between the time children pass the two tests entirely in terms of performative issues, and support the conceptual enrichment hypothesis. We discuss the theoretical relevance of these results, suggesting that they are best explained by fine-grained increments within the concept of belief, rather than a radical conceptual change. We conclude that understanding opacity of minds – which emerges between age 5 and 6 – is an important step towards a more advanced form of ToM. (shrink)

The aggregation of consistent individual judgments on logically interconnected propositions into a collective judgment on the same propositions has recently drawn much attention. Seemingly reasonable aggregation procedures, such as propositionwise majority voting, cannot ensure an equally consistent collective conclusion. The literature on judgment aggregation refers to such a problem as the \textit{discursive dilemma}. In this paper we assume that the decision which the group is trying to reach is factually right or wrong. Hence, we address the question (...) of how good the various approaches are at selecting the right conclusion. We focus on two approaches: distance-based procedures and a Bayesian analysis. They correspond to group-internal and group-external decision-making, respectively. We compare those methods in a probabilistic model, demonstrate the robustness of our results over various generalizations and discuss their applicability in different situations. The findings vindicate (i) that in judgment aggregation problems, reasons should carry higher weight than conclusions and (ii) that considering members of an advisory board to be highly competent is a better strategy than to underestimate their advice.". (shrink)

Naturalistic stimuli, including movie, music, and speech, have been increasingly applied in the research of neuroimaging. Relative to a resting-state or single-task state, naturalistic stimuli can evoke more intense brain activities and have been proved to possess higher test–retest reliability, suggesting greater potential to study adaptive human brain function. In the current research, naturalistic functional magnetic resonance imaging (N-fMRI) has been a powerful tool to record brain states under naturalistic stimuli, and many efforts have been devoted to study the high-level (...) semantic features from spatial or temporal representations via N-fMRI. However, integrating both spatial and temporal characteristics of brain activities for better interpreting the patterns under naturalistic stimuli is still underexplored. In this work, a novel hybrid learning framework that comprehensively investigates both the spatial (via Predictive Model) and the temporal [via convolutional neural network (CNN) model] characteristics of the brain is proposed. Specifically, to focus on certain relevant regions from the whole brain, regions of significance (ROS), which contain common spatial activation characteristics across individuals, are selected via the Predictive Model. Further, voxels of significance (VOS), whose signals contain significant temporal characteristics under naturalistic stimuli, are interpreted via one-dimensional CNN (1D-CNN) model. In this article, our proposed framework is applied onto the N-fMRI data during naturalistic classical/pop/speech audios stimuli. The promising performance is achieved via the Predictive Model to differentiate the different audio categories. Especially for distinguishing the classic and speech audios, the accuracy of classification is up to 92%. Moreover, spatial ROS and VOS are effectively obtained. Besides, temporal characteristics of the high-level semantic features are investigated on the frequency domain via convolution kernels of 1D-CNN model, and we effectively bridge the “semantic gap” between high-level semantic features of N-fMRI and low-level acoustic features of naturalistic audios in the frequency domain. Our results provide novel insights on characterizing spatiotemporal patterns of brain activities via N-fMRI and effectively explore the high-level semantic features under naturalistic stimuli, which will further benefit the understanding of the brain working mechanism and the advance of naturalistic stimuli clinical application. (shrink)

I observe that the “concept-generator” theory of Percus and Sauerland (2003), Anand (2006), and Charlow and Sharvit (2014) does not predict an intuitive true interpretation of the sentence “Plato did not believe that Hesperus was Phosphorus”. In response, I present a simple theory of attitude reports which employs a fine-grained semantics for names, according to which names which intuitively name the same thing may have distinct compositional semantic values. This simple theory solves the problem with the concept-generator theory, (...) but, as I go on to show, it has problems of its own. I present three examples which the concept-generator theory can accommodate, but the simple fine-grained theory cannot. These examples motivate the full theory of the paper, which combines the basic ideas behind the concept-generator theory with a fine-grained semantics for names. The examples themselves are of interest independently of my theory: two of them constrain the original concept-generator theory more tightly than previously discussed examples had. (shrink)

The majority of contemporary philosophers of mind are physicalists. The majority of physicalists, however, are non-reductive physicalists. As nonreductive physicalists, these philosophers hold that a system's mental properties are different from a system's physical properties, that is, they hold that the sum total of mental facts about some system is a different set of facts than the sum total of physical facts about the same system. As physicalists, however, these nonreductivists hold that mental facts are nonetheless determined by physical facts, (...) that is, they subscribe to the supervenience thesis, i.e., the thesis that no mental differences can obtain without physical differences obtaining. In this paper I take up the issue of how best to understand the notion of supervenience, especially in the light of recent advances in the neurosciences. (shrink)

Invasion ecology addresses the spread of species outside of their native ranges. A central aim of this field is to find mechanistic explanations for why species are able to establish and spread in an area in which they did not evolve. Usually it remains unclear, however, what exactly is meant by ‘mechanistic explanation’ or ‘mechanism’. The paper argues that the field can benefit from the philosophical discussion of what a mechanism is. Based on conceptions of mechanisms as processes in concrete (...) systems, causal mechanisms can be defined as one type of mechanism, representing recurring networks of causal relationships. With the example of a well-known hypothesized mechanism in invasion ecology, namely enemy release, the paper demonstrates how such causal mechanisms can be depicted as causal network diagrams. This approach could facilitate the development of step-by-step explanations, enhance clear argumentation and allow for more precise linkage of empirical tests to theory. Challenges to assessing the empirical relevance of hypothesized mechanisms are discussed, and suggestions are made concerning how the proposed approach could help in overcoming some of them. (shrink)

Explanations of biological phenomena such as cell division, protein synthesis or circadian rhythms commonly take the form of models of the responsible mechanisms. Recently philosophers of science have attempted to analyze this practice, presenting mechanisms as organized collections of parts performing operations that together produce the phenomenon. But in some cases what researchers seek to explain is not a general phenomenon, but a specific feature of a more fine-grained phenomenon. In some of these cases, it is not the (...) model of the mechanism that performs the explanatory work. I consider a case in which the investigator offered an abstract representation of a fine-grained phenomenon to show why in had the feature in question. I consider a second case in which a researcher abstracted from the mechanism to identify a design principle that explains why the functioning mechanism exhibits a specific feature. (shrink)

What is 'fairness' in the context of educational assessment? I apply this question to a number of contemporary educational assessment practices and policies. My approach to philosophy of education owes much to Wittgenstein. A commentary set apart from the main body of the paper focuses on my style of philosophising. Wittgenstein teaches us to examine in depth the fine-grained complexities of social phenomena and to refrain from imposing abstract theory on a recalcitrant reality. I write philosophy of education (...) for policy makers and teachers. Scrutiny of examples plays a vital role in communicating with such an audience. Starting points include 'accommodations' for disabled students, allegedly gender-biased tests, and the recruitment procedures of 'elitist' music conservatoires. A key intuition that fairness is associated with test validity turns out to be seriously flawed. Problems centre on the idea of a 'construct', and the supposed divide between an underlying construct and its behavioural manifestations. Equality of opportunity notions underlie some accusations of unfairness but there are alternative approaches to a just society. Both the judgments about fairness, and the proposed remedies are open to serious philosophical criticisms. There are widespread conceptual difficulties, together with inconsistent and contestable value judgments. (shrink)

According to the sensitivity account of knowledge, S knows that p only if S's belief in p is sensitive in the sense that S would not believe that p if p were false. It is widely accepted that the sensitivity condition should be relativized to belief-formation methods to avoid putative counterexamples. A remaining issue for the account is how belief-formation methods should be individuated. In this paper, I argue that while a coarse-grained individuation is still susceptible to counterexamples, a (...) fine-grained individuation makes the target belief trivially insensitive. Therefore, there is no principled way of individuating belief-formation methods that helps the sensitivity account to accommodate different cases. (shrink)

Reasoning about concurrent programs involves representing the information that concurrent processes manipulate disjoint portions of memory. In sophisticated applications, the division of memory between processes is not static. Through operations, processes can exchange the implied ownership of memory cells. In addition, processes can also share ownership of cells in a controlled fashion as long as they perform operations that do not interfere, e.g., they can concurrently read shared cells. Thus the traditional paradigm of distributed computing based on locations is replaced (...) by a paradigm of concurrent computing which is more tightly based on program structure. Concurrent Separation Logic with Permissions, developed by O’Hearn, Bornat et al., is able to represent sophisticated transfer of ownership and permissions between processes. We demonstrate how these ideas can be used to reason about fine-grained concurrent programs which do not employ explicit synchronization operations to control interference but cooperatively manipulate memory cells so that interference is avoided. Reasoning about such programs is challenging and appropriate logical tools are necessary to carry out the reasoning in a reliable fashion. We argue that Concurrent Separation Logic with Permissions provides such tools. We illustrate the logical techniques by presenting the proof of a concurrent garbage collector originally studied by Dijkstra et al., and extended by Lamport to handle multiple user processes. (shrink)

Inverted spectrum and absent-qualia arguments have at least shown that giving the functional role of a qualitative state is challenging, as it is arguable that the same functional organization among one's inputs, outputs, and mental states can be preserved despite having one's qualia radically altered or eliminated. Sydney Shoemaker has proposed a promising strategy for the functionalist: defining a given qualitative state as being disposed to cause a belief that one is in such a state. Such beliefs would be different (...) or not obtain should the qualitative state be altered or absent—showing that the qualitative state is in fact functionally relevant. I will argue that this approach, and a similar one by David Chalmers, face a difficulty in accounting for qualia at a fine grain, particularly those that do not readily fit our linguistic concepts and/or occur in peripheral awareness. I then show how the problem can be solved by incorporating certain conditional statements into functional definitions of qualia, and by relying on two theoretical resources I will discuss: qualitative beliefs with nonlinguistic content and QSMs (qualia-structuring mental phenomena). (shrink)

ABSTRACT McCabe [2021: 137–40] identifies a crucial ambiguity in the terms ‘learns’ and ‘knows’. Such terms can be read as either ‘perfective’ or ‘imperfective’. This is an aspect difference. The former indicates a settled state, the latter a directed process. McCabe uses this insight to show how Socrates can rebut the sophists’ view of meaning, render compelling Socrates’ self-refutation arguments, and explain the Socratic connections between learning, knowledge, and how one should live. In the final section of the Euthydemus, Euthydemus (...) offers the ‘Omniscience Sophism’, and the related, rather cheeky, ‘Father Sophisms’. McCabe [ibid.: 140–2] suggests that the Omniscience Sophism might be addressed by identifying an aspect ambiguity, but does not follow up her point in detail. In this response, I argue that McCabe’s instinct is good and that a relative term, such as ‘knowledgeable’, can be understood as having two senses. That distinction is between what I call ‘fine-grained’ and ‘coarse-grained’ senses of ‘knowledgeable’. I suggest that this distinction that tracks McCabe’s aspect distinction between senses of ‘learns’ and best explains the fallacy committed in the Omniscience Sophism. (shrink)

René Jagnow [2012] argues that David Rosenthal's theory of consciousness cannot account for certain experiences that involve colours so fine-grained that we do not and cannot have concepts of them. Jagnow claims that an appeal to comparative concepts such as being slightly darker than cannot help Rosenthal, since, in order to apply such concepts, we would already need to be conscious of two distinct fine-grained colours. The present paper contests this claim. It appeals to the Cornsweet (...) illusion and some other visual phenomena, in order to argue that our visual systems can and do represent brutely comparative matters. (shrink)

This paper presents an account of the semantics of copular be as displayed in its behaviour in be+AP configurations. I begin by arguing against the Partee/Dowty distinction between a semantically null be of predication and a thematically relevant agentive be, and I propose that there is one semantically relevant verb whose grammatical role is to turn an AP predicate into a verbal one. The denotation of be must thus be a function from denotations of Adjective Phrases to denotation of Verb (...) Phrases. I argue that these denotations are crucially different in kind: verbs (and thus VPs) denote eventualities, which are count entities and which are temporally locatable, while adjectives (and thus APs) denote mass entities, which are states and which are not temporally locatable. Be thus denotes a locating function which maps from the mass to the count domain, and is the analogue of the ‘packaging’ function in the nominal domain. After a comparison between the mass/count distinction in the verbal and nominal domains, I show how this theory accounts for properties of be in small clause and progressive constructions which have hitherto been explained by positing a so-called agentive be. (shrink)

Frankfurt cases are supposed to provide us with counterexamples to the principle of alternative possibilities. Among the most well known responses to these cases is what John Fischer has dubbed the flicker of freedom strategy. Here we revisit a version of this strategy, which we refer to as the fine-grained response. Although a number of philosophers, including some who are otherwise unsympathetic to Frankfurt’s argument, have dismissed the fine grained response, we believe there is a good (...) deal to be said on its behalf. We argue, in particular, that reflection on certain cases involving omissions undermines the main objections to the response and also provides the groundwork for an argument in support of it. (shrink)

We study imagination as reality-oriented mental simulation : the activity of simulating nonactual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive psychology (...) and the philosophy of mind. We then provide a logic of imagination as ROMS which models such features, combining techniques from epistemic logic, action logic, and subject matter semantics. Our logic comprises a modal propositional language with non-monotonic imagination operators, a formal semantics, and an axiomatization. (shrink)

We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplified version of Hyland–Ong-style games and it emphasizes the intuitive connection between the concurrent nature of games and that of computation. The model is fully abstract for may-equivalence.

The impossibility results in judgement aggregation show a clash between fair aggregation procedures and rational collective outcomes. In this paper, we are interested in analysing the notion of rational outcome by proposing a proof-theoretical understanding of collective rationality. In particular, we use the analysis of proofs and inferences provided by linear logic in order to define a fine-grained notion of group reasoning that allows for studying collective rationality with respect to a number of logics. We analyse (...) the well-known paradoxes in judgement aggregation and we pinpoint the reasoning steps that trigger the inconsistencies. Moreover, we extend the map of possibility and impossibility results in judgement aggregation by discussing the case of substructural logics. In particular, we show that there exist fragments of linear logic for which general possibility results can be obtained. (shrink)

When Booth moved his finger, thereby firing a gun, thereby killing Lincoln, did he perform three discrete actions, or were there relations of identity or inclusion among them? Most treatments of this problem have tended to assume there is but one sort of entity properly to be called an action, and hence that one answer to this question must be established to the exclusion of all others. And the favored answer has been that Booth's actions are not discrete, or indeed (...) even overlapping, but identical. It is possible, however, to adopt a more conciliatory spirit, in which a place is sought for talk of discrete or fine-grained actions in cases like this, as well as for entities of the coarser sort most have favored. (shrink)

Imposition of sanctions for violations of competition law rules is an important instrument of the European Union (EU) and Lithuanian competition enforcement authorities and is an inevitable part of the EU and Lithuanian competition law policy. The fining policy of the Lithuanian Competition Council for breaches of the Lithuanian and EU competition rules has recently been changed by the new 2012 Government resolution and has been aligned with the 2006 Commission Guidelines on the method of setting fines. The new (...) Lithuanian fining rules set exactly the same basic principles for setting the amount of fines and are very similar to the Commission’s Guidelines, however some peculiarities may and shall be distinguished. The new Lithuanian fining rules in some aspects are even stricter than the EU fining rules established in the Commission’s Guidelines. The aim of the article is to analyse the main changes in the Competition Council’s fining policy and identify the discrepancies in national and EU fining rules, analyse advantages and disadvantages of the new fining policy. (shrink)

In this paper I rehearse two central failings of traditional possible world semantics. I then present a much more robust framework for intensional logic and semantics based liberally on the work of George Bealer in his book Quality and Concept. Certain expressive limitations of Bealer's approach, however, lead me to extend the framework in a particularly natural and useful way. This extension, in turn, brings to light associated limitations of Bealer's account of predication. In response, I develop a more general (...) and intuitively more adequate account of the logical form of predication. (shrink)