We develop the theory of generically stable types, independence relation based on nonforking and stable weight in the context of dependent theories.

We study dp-minimal and strongly dependent theories and investigate connections between these notions and weight.

This paper continues the work in [S. Shelah, Towards classifying unstable theories, Annals of Pure and Applied Logic 80 229–255] and [M. Džamonja, S. Shelah, On left triangle, open*-maximality, Annals of Pure and Applied Logic 125 119–158]. We present a rank function for NSOP1 theories and give an example of a theory which is NSOP1 but not simple. We also investigate the connection between maximality in the ordering left triangle, open* among complete first order theories and the SOP2 property. We (...) prove that left triangle, open*-maximality implies SOP2 and obtain certain results in the other direction. The paper provides a step toward the classification of unstable theories without the strict order property. (shrink)

We investigate the notions of strict independence and strict non-forking, and establish basic properties and connections between the two. In particular, it follows from our investigation that in resilient theories strict non-forking is symmetric. Based on this study, we develop notions of weight which characterize NTP2, dependence and strong dependence. Many of our proofs rely on careful analysis of sequences that witness dividing. We prove simple characterizations of such sequences in resilient theories, as well as of Morley sequences which are (...) witnesses. As a by-product we obtain information on types co-dominated by generically stable types in dependent theories. For example, we prove that every Morley sequence in such a type is a witness. (shrink)

We develop the theory of domination by stable types and stable weight in an arbitrary theory.

Do the sciences aim to uncover the structure of nature, or are they ultimately a practical means of controlling our environment? In Instrumental Biology, or the Disunity of Science, Alexander Rosenberg argues that while physics and chemistry can develop laws that reveal the structure of natural phenomena, biology is fated to be a practical, instrumental discipline. Because of the complexity produced by natural selection, and because of the limits on human cognition, scientists are prevented from uncovering the basic structure (...) of biological phenomena. Consequently, biology and all of the disciplines that rest upon it--psychology and the other human sciences--must aim at most to provide practical tools for coping with the natural world rather than a complete theoretical understanding of it. (shrink)

Toy models are highly idealized and extremely simple models. Although they are omnipresent across scientific disciplines, toy models are a surprisingly under-appreciated subject in the philosophy of science. The main philosophical puzzle regarding toy models concerns what the epistemic goal of toy modelling is. One promising proposal for answering this question is the claim that the epistemic goal of toy models is to provide individual scientists with understanding. The aim of this article is to precisely articulate and to defend this (...) claim. In particular, we will distinguish between autonomous and embedded toy models, and then argue that important examples of autonomous toy models are sometimes best interpreted to provide how-possibly understanding, while embedded toy models yield how-actually understanding, if certain conditions are satisfied. _1_ Introduction _2_ Embedded and Autonomous Toy Models _2.1_ Embedded toy models _2.2_ Autonomous toy models _2.3_ Qualification _3_ A Theory of Understanding for Toy Models _3.1_ Preliminaries and requirements _3.2_ The refined simple view _4_ Two Kinds of Understanding with Toy Models _4.1_ Embedded toy models and how-actually understanding _4.2_ Against a how-actually interpretation of all autonomous toy models _4.3_ The how-possibly interpretation of some autonomous toy models _5_ Conclusion. (shrink)

For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics. A specialist (...) can use the book as a source of references. Results and methods of many directions in propositional modal logic, from completeness and duality to algorithmic problems, are collected and systematically presented in one volume. (shrink)

Analyzes the poem "On Nature" by Parmenides, arguing that is actually a philosophical argument disguised as Homer-like mythological journey. Original.

A traditional interpretation holds that Kant's political theory simply constitutes an account of the constraints which reason places on the state's authority to regulate external action. Alexander Kaufman argues that this traditional interpretation succeeds neither as a faithful reading of Kant's texts nor as a plausible, philosophically sound reconstruction of a `Kantian' political theory. Rather, he argues that Kant's political theory articulates a positive conception of the state's role.

Originally conceptualized by Bandura as the process of cognitive restructuring that allows individuals to disassociate with their internal moral standards and behave unethically without feeling distress, moral disengagement has attracted the attention of management researchers in recent years. An increasing body of research has examined the factors which lead people to morally disengage and its related outcomes in the workplace. However, the conceptualization of moral disengagement, how it should be measured, the manner in which it develops, and its influence on (...) work outcomes are areas of continued debate among researchers. In this article, we undertake a systematic review of research on moral disengagement in the workplace and develop a comprehensive research agenda that highlights opportunities for theoretical and empirical advancement of the literature. (shrink)

We explore the prospects of a monist account of explanation for both non-causal explanations in science and pure mathematics. Our starting point is the counterfactual theory of explanation for explanations in science, as advocated in the recent literature on explanation. We argue that, despite the obvious differences between mathematical and scientific explanation, the CTE can be extended to cover both non-causal explanations in science and mathematical explanations. In particular, a successful application of the CTE to mathematical explanations requires us to (...) rely on counterpossibles. We conclude that the CTE is a promising candidate for a monist account of explanation in both science and mathematics. (shrink)

Philosophical discussions often involve appeals to verdicts about particular cases, sometimes actual, more often hypothetical, and usually with little or no substantive argument in their defense. Philosophers — on both sides of debates over the standing of this practice — have often called the basis for such appeals ‘intuitions’. But, what might such ‘intuitions’ be, such that they could legitimately serve these purposes? Answers vary, ranging from ‘thin’ conceptions that identify intuitions as merely instances of some fairly generic and epistemologically (...) uncontroversial category of mental states or episodes to ‘thick’ conceptions that add to this thin base certain semantic, phenomenological, etiological, or methodological conditions. As this chapter discusses, thick conceptions turn out to have their own methodological problems; some may even leave philosophers in the methodologically untenable position of being unable to determine when anyone is doing philosophy correctly. (shrink)

This chapter contains sections titled: Introduction The PSR Nonlocal CPs Toward a First Cause The Gap Problem Conclusions and Further Research References.

We define a notion of the intelligence level of an idealized mechanical knowing agent. This is motivated by efforts within artificial intelligence research to define real-number intelligence levels of compli- cated intelligent systems. Our agents are more idealized, which allows us to define a much simpler measure of intelligence level for them. In short, we define the intelligence level of a mechanical knowing agent to be the supremum of the computable ordinals that have codes the agent knows to be codes (...) of computable ordinals. We prove that if one agent knows certain things about another agent, then the former necessarily has a higher intelligence level than the latter. This allows our intelligence no- tion to serve as a stepping stone to obtain results which, by themselves, are not stated in terms of our intelligence notion (results of potential in- terest even to readers totally skeptical that our notion correctly captures intelligence). As an application, we argue that these results comprise evidence against the possibility of intelligence explosion (that is, the no- tion that sufficiently intelligent machines will eventually be capable of designing even more intelligent machines, which can then design even more intelligent machines, and so on). (shrink)

Introduction : the computer as a mode of mediation -- The unworkable interface -- Software and ideology -- Are some things unrepresentable? -- Disingenuous informatics -- Postscript : we are the gold farmers.

List (2014, 2019) has recently argued for a particular view of free will as a higher-level phenomenon compatible with determinism. According to List, one could refute his account by showing that determinism at the physical level implies the impossibility of doing otherwise at the agential level. This paper takes up that challenge. Based on assumptions to which List’s approach is committed, I provide a simple probabilistic model that establishes the connection between physical determinism and the impossibility of doing otherwise at (...) the agential level that is needed to refute free will as a higher-level phenomenon. (shrink)

The readiness potential (RP) is one of the most controversial topics in neuroscience and philosophy due to its perceived relevance to the role of conscious willing in action. Libet and colleagues reported that RP onset precedes both volitional movement and conscious awareness of willing that movement, suggesting that the experience of conscious will may not cause volitional movement (Libet, Gleason, Wright, & Pearl, 1983). Rather, they suggested that the RP indexes unconscious processes that may actually cause both volitional movement and (...) the accompanying conscious feeling of will (Libet et al., 1983; pg. 640). Here, we demonstrate that volitional movement can occur without an accompanying feeling of will. We additionally show that the neural processes indexed by RPs are insufficient to cause the experience of conscious willing. Specifically, RPs still occur when subjects make self-timed, endogenously-initiated movements due to a post-hypnotic suggestion, without a conscious feeling of having willed those movements. (shrink)

We examine some assumptions about the nature of 'levels of reality' in the light of examples drawn from physics. Three central assumptions of the standard view of such levels (for instance, Oppenheim and Putnam 1958) are (i) that levels are populated by entities of varying complexity, (ii) that there is a unique hierarchy of levels, ranging from the very small to the very large, and (iii) that the inhabitants of adjacent levels are related by the parthood relation. Using examples from (...) physics, we argue that it is more natural to view the inhabitants of levels as the behaviors of entities, rather than entities themselves. This suggests an account of reduction between levels, according to which one behavior reduces to another if the two are related by an appropriate limit relation. By considering cases where such inter-level reduction fails, we show that the hierarchy of behaviors differs in several respects from the standard hierarchy of entities. In particular, while on the standard view, lower-level entities are 'micro' parts of higher-level entities, on our view, a system's macro-level behavior can be seen as a ('non-spatial') part of its micro-level behavior. We argue that this second hierarchy is not really in conflict with the standard view and that it better suits examples of explanation in science. (shrink)

The term “know” is one of the ten most common verbs in English, and yet a central aspect of its usage remains mysterious. Our willingness to ascribe knowledge depends not just on epistemic factors such as the quality of our evidence. It also depends on seemingly non-epistemic factors. For instance, we become less inclined to ascribe knowledge when it’s important to be right, or once our attention is drawn to possible sources of error. Accounts of this phenomenon proliferate, but no (...) consensus has been achieved, decades of research notwithstanding. Alexander Dinges offers a fresh examination of this ongoing debate. After reviewing and complementing relevant data from both armchair and experimental philosophy, he assesses extant accounts of this data including semantic, metaphysical, pragmatic, doxastic as well as more recent psychological accounts. Against this background, he offers a novel psychological account based on the idea that non-epistemic factors affect estimates of probability. (shrink)

Corrupt behavior presents major challenges for organizations in a wide range of settings. This article embraces a complexity theoretical perspective to elucidate the causal patterns of factors underlying consumers’ unethical judgments. This study examines how causal conditions of four distinct domains combine into configurational causes of unethical judgments of two frequent forms of corrupt consumer behavior: shoplifting and fare dodging. The findings of fuzzy-set Qualitative Comparative Analyses indicate alternative, consistently sufficient “recipes” for the outcomes of interest. This study extends prior (...) work on the topic by offering new insights into the interplay and the interconnected structures of multiple causal factors and by describing configurational causes of consumers’ ethical evaluations of corrupt behaviors. This knowledge may support practitioners and policy makers to develop education and control approaches to thwart corrupt consumer behaviors. (shrink)

In ‘Ramseyan Humility’ David Lewis argues that a particular view about fundamental properties, quidditism, leads to the position that we are irredeemably ignorant of the identities of fundamental properties. We are ignorant of the identities of fundamental properties since we can never know which properties play which causal roles, and we have no other way of identifying fundamental properties other than by the causal roles they play. It has been suggested in the philosophical literature that Lewis’ argument for Humility is (...) merely an instance of traditional scepticism, to which traditional responses to scepticism are applicable. I agree that in ‘Ramseyan Humility’ Lewis does present an argument to which it is appropriate to consider the applicability of responses to traditional scepticism—he argues that we irredeemably lack the evidence to rule out possibilities in which different properties occupy the causal roles described by our best physical theory. And prima facie this is just the kind of argument responses to traditional scepticism are designed to tackle. However, I will argue that Lewis bolsters this argument with a second. This second argument serves to deepen Lewis’ case and cannot be met with a response to traditional scepticism. For Lewis argues that not only do we lack evidence for which properties play which roles, we lack the ability to grasp any such proposition about role-occupancy. And if we cannot grasp any such proposition we cannot know it. (shrink)

What exactly do social scientists and biologists say when they make causal claims? This question is one of the central puzzles in philosophy of science. Alexander Reutlinger sets out to answer this question. He aims to provide a theory of causation in the special sciences (that is, a theory causation in the social sciences, the biological sciences and other higher-level sciences). According one recent prominent view, causation is that causation is intimately tied to manipulability and the possibility of intervene. (...) Reutlinger's main negative target is to argue interventionist account of causation is not adequate. Where do interventionist accounts go wrong? Reutlinger argues that the central concept of the interventionist theories – that is, the very concept of an intervention – is tremendously problematic. Reutlinger's main positive claim consists in replacing the interventionist approach by an alternative explication of causation in the special sciences, the comparative variability theory of causation. This alternative preserves many insights of the interventionist account without a commitment to the claim that causation and interventions are intimately tied together. (shrink)

It is commonly held that retraction data, if they exist, show that assessment relativism is preferable to non-indexical contextualism. I argue that this is not the case. Whether retraction data have the suggested probative force depends on substantive questions about the proper treatment of tense and location. One’s preferred account in these domains should determine whether one accepts assessment relativism or non-indexical contextualism.

In the insightful and searching paper of Mills and Beatty the following definition of ‘fitness’, as the term figures in the theory of natural selection, is offered:The [individual] fitness of an organism x in environment E equals n =dfn is the expected number of descendants which x will leave in E.

Platonism has played a central role in Christianity and is essential to a deep understanding of the Christian theological tradition. At times, Platonism has constituted an essential philosophical and theological resource, furnishing Christianity with an intellectual framework that has played a key role in its early development, and in subsequent periods of renewal. Alternatively, it has been considered a compromising influence, conflicting with the faith's revelatory foundations and distorting its inherent message. In both cases the fundamental importance of Platonism, as (...) a force which Christianity defined itself by and against, is clear. Written by an international team of scholars, this landmark volume examines the history of Christian Platonism from antiquity to the present day, covers key concepts, and engages issues such as the environment, natural science and materialism. (shrink)

Nietzsche often gives the impression that all human beliefs are false. Some scholars, like Maudemarie Clark, believe that such a “falsification thesis” is unacceptable and try to limit Nietzsche's commitment to it, claiming that he abandons it in his very last works. Others, like Lanier Anderson and Nadeem Hussain, take it in ways that make it true and locate it in all. I argue that the view that is common to both approaches—that Nietzsche held that thesis in the first place—is (...) unjustified. To that end, I interpret the texts where these scholars claim to find the thesis in a way that shows that they do not commit Nietzsche to it, and I offer some reasons for thinking that this is a more fruitful way of interpreting his views on the importance of truth—and falsehood—and their function in the economy of human life. (shrink)

Nicholas Dixon’s Kantian argument for why mixed martial arts (MMA) is intrinsically immoral has received several critical responses. We offer an additional critical response. Unlike previous responses, ours does not rely on an interpretation of the categorical imperative that Dixon would find tendentious. Instead, we grant that Dixon’s views about what makes other sports consistent with the categorical imperative are correct and argue from this assumption that MMA is also consistent with the categorical imperative. Our argument focuses on Dixon’s claims (...) about certain cycling tactics, which we call ‘pain-leveraging cycling tactics’. We argue that MMA is consistent with the categorical imperative for the same sort of reasons that Dixon claims make pain-leveraging cycling tactics consistent with the categorical imperative. (shrink)

Biased research occurs frequently in the sciences. In this paper, I will focus on one particular kind of biased research: research that is subject to sponsorship bias. I will address the following epistemological question: what precisely is epistemically wrong with biased research of this kind? I will defend the evidential account of epistemic wrongness: that is, research affected by sponsorship bias is epistemically wrong if and only if the researchers in question make false claims about the evidential support of some (...) hypothesis H by data E. I will argue that the evidential account captures the epistemic wrongness of three paradigmatic types of sponsorship bias. (shrink)

Despite its centrality and its familiarity, W. V. Quine's dispute with Rudolf Carnap over the analytic/synthetic distinction has lacked a satisfactory analysis. The impasse is usually explained either by judging that Quine's arguments are in reality quite weak, or by concluding instead that Carnap was incapable of appreciating their strength. This is unsatisfactory, as is the fact that on these readings it is usually unclear why Quine's own position is not subject to some of the very same arguments. A satisfying (...) and surprising account is here presented that stiches together the puzzling pieces of this important philosophical exchange and that in turn leads to an explanation of why it is so difficult to say whether anything of substance is at stake. (shrink)

Volume 20, Issue 3, March 2020, Page 19-21.

In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these (...) accounts use, however, is too strong, as the standard translation from modal logic to first-order logic is not compositional in this sense. In light of this, we will explore a weaker version of this notion that we will call schematicity and show that there is no schematic translation either from first-order logic to propositional logic or from intuitionistic logic to classical logic. (shrink)

Accounts of public reason disagree as to the conditions a reason must meet in order to qualify as public. On one prominent account, a reason is public if, and only if, it is shareable between citizens. The shareability account, I argue, relies on an implausibly demanding assumption regarding the epistemic capabilities of citizens. When more plausible, limited, epistemic capabilities are taken into consideration, the shareability account becomes self‐defeating. Under more limited epistemic conditions, few, if any, reasons will be shareable between (...) all reasonable citizens, making the shareability account so demanding that it precludes public reasoning altogether. (shrink)

A LARGE NUMBER OF PEOPLE, ancient and modern alike, have always found in Socrates what seemed to them a suspicious, if not actually repugnant, aspect. This aspect, to put the point first in crude terms, is his devotion to philosophy, which presupposes an apparently unshakable faith in reason, in the power of understanding to secure goodness, and in the power of goodness to provide us with happiness.

The value of resting electroencephalogram (EEG) in revealing neural constitutes of consciousness (NCC) was examined. We quantified the dynamic repertoire, duration and oscillatory type of EEG microstates in eyes-closed rest in relation to the degree of expression of clinical self-consciousness. For NCC a model was suggested that contrasted normal, severely disturbed state of consciousness and state without consciousness. Patients with disorders of consciousness were used. Results suggested that the repertoire, duration and oscillatory type of EEG microstates in resting condition quantitatively (...) related to the level of consciousness expression in brain-damaged patients and healthy-conscious subjects. Specifically, results demonstrated that (a) decreased number of EEG microstate types was associated with altered states of consciousness, (b) unawareness was associated with the lack of diversity in EEG alpha-rhythmic microstates, and (c) the probability for the occurrence and duration of delta-, theta- and slow-alpha-rhythmic microstates were associated with unawareness, whereas the probability for the occurrence and duration of fast-alpha-rhythmic microstates were associated with consciousness. In conclusion, resting EEG has a potential value in revealing NCC. This work may have implications for clinical care and medical–legal decisions in patients with disorders of consciousness. (shrink)