A long lasting debate in the field of implicit learning is whether participants can learn without acquiring conscious knowledge. One crucial problem is that no clear criterion exists allowing to identify participants who possess explicit knowledge. Here, we propose a method to diagnose during a serial reaction time task those participants who acquire conscious knowledge. We first validated this method by using Stroop-like material during training. Then we assessed participants’ knowledge with the Inclusion/Exclusion task and the wagering task . Both (...) experiments confirmed that for participants diagnosed as having acquired conscious knowledge about the underlying sequence the Stroop congruency effect disappeared, whereas for participants not diagnosed as possessing conscious knowledge it only slightly decreased. In addition, both experiments revealed that only participants diagnosed as conscious were able to strategically use their acquired knowledge. Thus, our method allows to reliably distinguish between participants with and without conscious knowledge. (shrink)

It is often presumed that the laws of nature have special significance for scientific reasoning. But the laws' distinctive roles have proven notoriously difficult to identify--leading some philosophers to question if they hold such roles at all. This study offers original accounts of the roles that natural laws play in connection with counterfactual conditionals, inductive projections, and scientific explanations, and of what the laws must be in order for them to be capable of playing these roles. Particular attention is given (...) to laws of special sciences, levels of scientific explanation, natural kinds, ceteris-paribus clauses, and physically necessary non-laws. (shrink)

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

Philosophy and Phenomenological Research, Volume 99, Issue 3, Page 714-719, November 2019.

Many philosophers argue that explanatoriness plays no special role in confirmation – that “inference to the best explanation” (IBE) incorrectly demands giving hypotheses extra credit for their potential explanatory qualities beyond the credit they already deserve for their predictive successes. This paper argues against one common strategy for responding to this thought – that is, for trying to fit IBE within a Bayesian framework. That strategy argues that a hypothesis’ explanatory quality (its “loveliness”) contributes either to its prior probability or (...) to its likelihood. This paper argues that this strategy fails because it must give different treatments to two hypotheses that are unlovely for the very same reason. The strategy therefore loses the insight into scientific reasoning that its reconstruction in terms of IBE is supposed to provide. The paper then provides a Bayesian account of the confirmatory role of explanatoriness that represents explanatory quality as having an impact in the same place for two hypotheses that are unlovely for the very same reason. This approach works by “putting explanation back into IBE” – that is, by invoking hypotheses that refer explicitly to scientific explanation and by invoking the agent's background opinions regarding the kind of explanation that the evidence is liable to have. On this approach, there is no list of “explanatory virtues” the possession of which always helps to make an explanation better. Rather, for different facts, there are different characteristics that our background knowledge of other explanations gives us some reason to expect the given fact's explanation to possess. (shrink)

Although all mathematical truths are necessary, mathematicians take certain combinations of mathematical truths to be ‘coincidental’, ‘accidental’, or ‘fortuitous’. The notion of a ‘ mathematical coincidence’ has so far failed to receive sufficient attention from philosophers. I argue that a mathematical coincidence is not merely an unforeseen or surprising mathematical result, and that being a misleading combination of mathematical facts is neither necessary nor sufficient for qualifying as a mathematical coincidence. I argue that although the components of a mathematical coincidence (...) may possess a common explainer, they have no common explanation ; that two mathematical facts have a unified explanation makes their truth non-coincidental. I suggest that any motivation we may have for thinking that there are mathematical coincidences should also motivate us to think that there are mathematical explanations, since the notion of a mathematical coincidence can be understood only in terms of the notion of a mathematical explanation. I also argue that the notion of a mathematical coincidence plays an important role in scientific explanation. When two phenomenological laws of nature are similar, despite concerning physically distinct processes, it may be that any correct scientific explanation of their similarity proceeds by revealing their similarity to be no mathematical coincidence. (shrink)

Several foundational documents of bioethics mention the special obligation researchers have to vulnerable research participants. However, the treatment of vulnerability offered by these documents often relies on enumeration of vulnerable groups rather than an analysis of the features that make such groups vulnerable. Recent attempts in the scholarly literature to lend philosophical weight to the concept of vulnerability are offered by Luna and Hurst. Luna suggests that vulnerability is irreducibly contextual and that Institutional Review Boards (Research Ethics Committees) can only (...) identify vulnerable participants by carefully examining the details of the proposed research. Hurst, in contrast, defines the vulnerable as those especially at risk of incurring the wrongs to which all research ethics participants are exposed. We offer a more substantive conception of vulnerability than Luna but one that gives rise to a different rubric of responsibilities from Hurst's. While we understand vulnerability to be an ontological condition of human existence, in the context of research ethics, we take the vulnerable to be research subjects who are especially prone to harm or exploitation. Our analysis rests on developing a typology of sources of vulnerability and showing how distinct sources generate distinct obligations on the part of the researcher. Our account emphasizes that the researcher's first obligation is not to make the research participant even more vulnerable than they already are. To illustrate our framework, we consider two cases: that of a vulnerable population involved in international research and that of a domestic population of people with diminished capacity. (shrink)

Partiality is the special concern that we display for ourselves and other people with whom we stand in some special personal relationship. It is a central theme in moral philosophy, both ancient and modern. Questions about the justification of partiality arise in the context of enquiry into several moral topics, including the good life and the role in it of our personal commitments; the demands of impartial morality, equality, and other moral ideals; and commonsense ideas about supererogation. This paper provides (...) an overview of the debate on the ethics of partiality through the lens of the domains of permissible and required partiality. After outlining the conceptual space, I first discuss agent-centred moral options that concern permissions not to do what would be impartially optimal. I then focus on required partiality, which concerns associative duties that go beyond our general duties to others and require us to give special priority to people who are close to us. I discuss some notable features of associative duties and the two main objections that have been raised against them: the Voluntarist and the Distributive objections. I then turn to the justification of partiality, focusing on underivative approaches and reasons-based frameworks. I discuss the reductionism and non-reductionism debate: the question whether partiality is derivative or fundamental. I survey arguments for ‘the big three’, according to which partiality is justified by appeal to the special value of either projects, personal relationships, or individuals. I conclude by discussing four newly emerging areas in the debate: normative transitions of various personal relationships, relationships with AI, epistemic partiality, and negative partiality, which concerns the negative analogue of our positive personal relationships. (shrink)

Explanation in mathematics has recently attracted increased attention from philosophers. The central issue is taken to be how to distinguish between two types of mathematical proofs: those that explain why what they prove is true and those that merely prove theorems without explaining why they are true. This way of framing the issue neglects the possibility of mathematical explanations that are not proofs at all. This paper addresses what it would take for a non-proof to explain. The paper focuses on (...) a particular example of an explanatory non-proof: an argument that mathematicians regard as explaining why a given theorem holds regarding the derivative of an infinite sum of differentiable functions. The paper contrasts this explanatory non-proof with various non-explanatory proofs of the same theorem. The paper offers an account of what makes the given non-proof explanatory. This account is motivated by investigating the difficulties that arise when we try to extend Mark Steiner’s influential account of explanatory proofs to cover this explanatory non-proof. (shrink)

The institution of the family and its importance have recently received considerable attention from political theorists. Leading views maintain that the institution’s justification is grounded, at least in part, in the non-instrumental value of the parent-child relationship itself. Such views face the challenge of identifying a specific good in the parent-child relationship that can account for how adults acquire parental rights over a particular child—as opposed to general parental rights, which need not warrant a claim to parent one’s biological progeny. (...) I develop a view that meets this challenge. This Project View identifies the pursuit of a parental project as a distinctive non-instrumentally valuable good that provides a justification for the family and whose pursuit is necessary and sufficient for the acquisition of parental rights. This view grounds moral parenthood in a normative relation as opposed to a biological one, supports polyadic forms of parenting, and provides plausible guidance in cases of assisted reproduction. (shrink)

Scientific essentialism aims to account for the natural laws' special capacity to support counterfactuals. I argue that scientific essentialism can do so only by resorting to devices that are just as ad hoc as those that essentialists accuse Humean regularity theories of employing. I conclude by offering an account of the laws' distinctive relation to counterfactuals that portrays laws as contingent but nevertheless distinct from accidents by virtue of possessing a genuine variety of necessity.

This paper examines some recent attempts that use counterfactuals to understand the asymmetry of non-causal scientific explanations. These attempts recognize that even when there is explanatory asymmetry, there may be symmetry in counterfactual dependence. Therefore, something more than mere counterfactual dependence is needed to account for explanatory asymmetry. Whether that further ingredient, even if applicable to causal explanation, can fit non-causal explanation is the challenge that explanatory asymmetry poses for counterfactual accounts of non-causal explanation. This paper argues that several recent (...) accounts Explanation beyond causation: philosophical perspectives on non-causal explanations, Oxford University Press, Oxford, pp 117–140, 2018; Jansson and Saatsi in Br J Philos Sci, forthcoming; Jansson in J Philos 112:7–599, 2015; Saatsi and Pexton in Philos Sci 80: 613–624, 2013; French and Saatsi, in: Reutlinger and Saatsi Explanation beyond causation: philosophical perspectives on non-causal explanations, Oxford University Press, Oxford, pp 185–205, 2018) fail to meet this challenge. The paper then sketches a more positive proposal for dealing with explanatory asymmetry in non-causal explanations. (shrink)

Some mathematical proofs explain why the theorems they prove hold. This paper identifies several challenges for any counterfactual account of explanation in mathematics (that is, any account according to which an explanatory proof reveals how the explanandum would have been different, had facts in the explanans been different). The paper presumes that countermathematicals can be nontrivial. It argues that nevertheless, a counterfactual account portrays explanatory power as too easy to achieve, does not capture explanatory asymmetry, and fails to specify why (...) certain proofs are explanatory and others are not. Greater informativeness about counterfactual dependence can even yield less explanatory power. (shrink)

Rosenberg has recently argued that explanations supplied by (what he calls) functional biology are mere promissory notes for macromolecular adaptive explanations. Rosenberg's arguments currently constitute one of the most substantial challenges to the autonomy, irreducibility, and indispensability of the explanations supplied by functional biology. My responses to Rosenberg's arguments will generate a novel account of the autonomy of functional biology. This account will turn on the relations between counterfactuals, scientific explanations, and natural laws. Crucially, in their treatment of the laws' (...) relation to counterfactuals, Rosenberg's arguments beg the question against the autonomy of functional biology. This relation is considerably more subtle than is suggested by familiar slogans such as Laws support counterfactuals; accidents don't. (shrink)

Buch 1. Geschichte des Materialismus bis auf Kant.--Buch 2. Geschichte des Materialismus seit Kant.

Why do forces compose according to the parallelogram of forces? This question has been controversial; it is one episode in a longstanding, fundamental dispute regarding which facts are not to be explained dynamically. If the parallelogram law is explained statically, then the laws of statics are separate from and “transcend” the laws of dynamics. Alternatively, if the parallelogram law is explained dynamically, then statical laws become mere corollaries to the dynamical laws. I shall attempt to trace the history of this (...) controversy in order to identify what it would be for one or the other of these rival views to be correct. I shall argue that various familiar accounts of natural law not only make it difficult to see what the point of this dispute could have been, but also improperly foreclose some serious scientific options. I will sketch an alternative account of laws that helps us to understand what this dispute was all about. (shrink)

Ceteris-paribus clauses are nothing to worry about; aceteris-paribus qualifier is not poisonously indeterminate in meaning. Ceteris-paribus laws teach us that a law need not be associated straightforwardly with a regularity in the manner demanded by regularity analyses of law and analyses of laws as relations among universals. This lesson enables us to understand the sense in which the laws of nature would have been no different under various counterfactual suppositions — a feature even of those laws that involve no ceteris-paribus (...) qualification and are actually associated with exceptionless regularities. Ceteris-paribus generalizations of an‘inexact science’ qualify as laws of that science in virtue of their distinctive relation to counterfactuals: they form a set that is stable for the purposes of that field. (Though an accident may possess tremendous resilience under counterfactual suppositions, the laws are sharply distinguished from the accidents in that the laws are collectively as resilient as they could logically possibly be.) The stability of an inexact science's laws may involve their remaining reliable even under certain counterfactual suppositions violating fundamental laws of physics. The ceteris-paribus laws of an inexact science may thus possess a kind of necessity lacking in the fundamental laws of physics. A nomological explanation supplied by an inexact science would then be irreducible to an explanation of the same phenomenon at the level of fundamental physics. Island biogeography is used to illustrate how a special science could be autonomous in this manner. (shrink)

In 1984, Danecki proved that satisfiability in IPDL, i.e., Propositional Dynamic Logic (PDL) extended with an intersection operator on programs, is decidable in deterministic double exponential time. Since then, the exact complexity of IPDL has remained an open problem: the best known lower bound was the ExpTime one stemming from plain PDL until, in 2004, the first author established ExpSpace-hardness. In this paper, we finally close the gap and prove that IPDL is hard for 2-ExpTime, thus 2-ExpTime-complete. We then sharpen (...) our lower bound, showing that it even applies to IPDL without the test operator interpreted on tree structures. (shrink)

This study takes a systemic functional multimodal social semiotic approach to the analysis and discussion of image and text relations in two sets of data. First, patterns of contextualisation of images and text in the online magazines Dabiq and Rumiyah produced by the Islamic extremist organisation which refers to itself as Islamic State are examined. The second data set consists of a sample of texts from Western online news and blog sites which include recontextualisations of images found in the first (...) data set. A sample of examples of the use and re-use of images is discussed in order to identify patterns of similarity and difference when images and text are recontextualised. It is argued that the ISIS material tends to foreground the interpersonal metafunction in combination with the textual metafunction, while the other data set tends to foreground the ideational metafunction. These inferences indicate that further exploration of a larger data set is worth pursuing. Such studies would provide deeper insights helping to distinguish between online material which supports terrorism and that which opposes it, as well as facilitating the further development of multimodal social semiotic approaches to image and text relations. (shrink)

In a notable article entitled “What is the Theory of Relativity?” written at the request of The Times and published in its November 28, 1919 edition, Albert Einstein famously distinguished “theories of principle” from “constructive theories.” Einstein placed relativity theory among the principle theories. His distinction has recently received increased attention, especially as it relates to scientific explanation. In particular, there has been considerable discussion of how to explain why there obtain the Lorentz transformations as well as of how to (...) account for the Lorentz covariance of the dynamical laws. Some .. (shrink)

I was born on November 22, 1963. Later that day, President Kennedy was assassinated. This coincidence does not cry out for any special explanation. But it led m.

In “Tense and Reality”, Kit Fine () proposed a novel way to think about realism about tense in the metaphysics of time. In particular, he explored two non-standard forms of realism about tense, arguing that they are to be preferred over standard forms of realism. In the process of defending his own preferred view, fragmentalism, he proposed a fragmentalist interpretation of the special theory of relativity, which will be our focus in this paper. After presenting Fine's position, we will raise (...) a problem for his fragmentalist interpretation of STR. We will argue that Fine's view is in tension with the proper explanation of why various facts obtain. We will then consider whether similar considerations also speak against fragmentalism in domains other than STR, notably fragmentalism about tense. (shrink)

Logische Studien - Ein Beitrag zur Neubegrundung der formalen Logik und der Erkenntnisstheorie ist ein unveranderter, hochwertiger Nachdruck der Originalausgabe aus dem Jahr 1894. Hansebooks ist Herausgeber von Literatur zu unterschiedlichen Themengebieten wie Forschung und Wissenschaft, Reisen und Expeditionen, Kochen und Ernahrung, Medizin und weiteren Genres.Der Schwerpunkt des Verlages liegt auf dem Erhalt historischer Literatur.Viele Werke historischer Schriftsteller und Wissenschaftler sind heute nur noch als Antiquitaten erhaltlich. Hansebooks verlegt diese Bucher neu und tragt damit zum Erhalt selten gewordener Literatur und (...) historischem Wissen auch fur die Zukunft bei.". (shrink)

Myrvold (2003) has proposed an attractive Bayesian account of why theories that unify phenomena tend to derive greater epistemic support from those phenomena than do theories that fail to unify them. It is argued, however, that "unification" in Myrvold's sense is both too easy and too difficult for theories to achieve. Myrvold's account fails to capture what it is that makes unification sometimes count in a theory's favor.

Solipsism is an extreme position. Ludwig Wittgenstein addressed this position several times over more than 20 years. Wittgenstein first became familiar with solipsism under the title of “theoretical egoism” when reading Schopenhauer at the tender age of 16. Elizabeth Anscombe related a personal conversation in which Wittgenstein said that Schopenhauer's theory of the world “as idea” struck him as fundamentally right, if in need of a few clarifications and adjustments, but that he opposed the theory of the world as will. (...) Wittgenstein's first philosophy was that of Schopenhauer and he was only liberated from it by Frege's conceptual realism. According to Schopenhauer, an “organic” philosophy needs an organic exposition. An organic philosophy stands in contrast to systematic philosophy, which argues sequentially “in the form of a chain” of propositions starting from one fundamental principle. Wittgenstein's overarching aim in the Tractatus is to delimit sense by expounding the limits for the expression of thoughts in language. (shrink)

Among the niftiest arguments for scientific anti-realism is the ‘pessimistic induction’ (also sometimes called ‘the disastrous historical meta-induction’). Although various versions of this argument differ in their details (see, for example, Poincare 1952: 160, Putnam 1978: 25, and Laudan 1981), the argument generally begins by recalling the many scientific theories that posit unobservable entities and that at one time or another were widely accepted. The anti-realist then argues that when these old theories were accepted, the evidence for them was quite (...) persuasive – roughly as compelling as our current evidence is for our best scientific theories positing various unobservable entities. Nevertheless, the anti-realist argues, most of these old theories turned out to be incorrect in the unobservables they posited. Therefore, the anti-realist concludes that with regard to the theories we currently accept, we should believe that probably, most of them are likewise incorrect in the unobservable entities they posit. (This argument appeals to what our best current theories say about unobservables in order to show that the entities posited by some earlier theory are not real. So the argument takes the form of a reductio of the view that the apparent success of some scientific theory justifies our believing in its accuracy regarding unobservables.) Of course, this argument has been criticized on many grounds. Some have argued, for instance, that the scientific theories we currently accept are much better supported than were earlier scientific theories at the time they were accepted. In addition, some have argued that many scientific theories accepted justly in the past were in fact accurate.. (shrink)

This chapter contains section titled: Is Biology Like Physics? Laws of Nature: The Standard Picture Why Not Laws of Biology? The Problem of Exceptions Why Not Laws of Biology? The Problem of Accidentalness A Worked Example: The “Area Law” Evolutionary Accidents as Laws of Functional Biology References Further Reading.

Many philosophers endorse the Transparency Thesis, the claim that by introspection one cannot become aware of one's experience. Recently, some authors have suggested that the Transparency Thesis is challenged by introspective states reached under mindfulness. We label this the Mindfulness Opacity Hypothesis. The present paper develops the hypothesis in important new ways. First, we motivate the hypothesis by drawing on recent clinical psychology and cognitive science of mindfulness. Secondly, we develop the hypothesis by describing the implied shift in experiential perspective, (...) the scope of introspectable qualities, and the level of skill. Thirdly, we defend the hypothesis against various philosophical arguments. We conclude that the Mindfulness Opacity Hypothesis is empirically and theoretically well motivated and supported. (shrink)

Really statistical explanation is a hitherto neglected form of noncausal scientific explanation. Explanations in population biology that appeal to drift are RS explanations. An RS explanation supplies a kind of understanding that a causal explanation of the same result cannot supply. Roughly speaking, an RS explanation shows the result to be mere statistical fallout.

For theologians, to conceive of God in terms of light has some undeniable advantages, allowing a middle-of-the road position between the two extremes of thinking about God in terms of a purely disembodied, unfathomable, unsensible being, and of crediting Him with a body, possibly even a human body. This paper first reviews the reasons why God, in early medieval Islam, was never fully theorized in terms of light. It then proceeds to discuss light-related narratives in two major, late-medieval compilations of (...) hadiths about the afterlife, by al-Suyuti and al-Majlisi, suggesting that eschatology was the area in which God’s light continued to shine in Islam, and the backdoor through which a theology of light, in the thought of al-Suhrawardi and his followers, made a triumphant re-entry into Islamic thought. (shrink)

Batterman and Rice offer an account of “minimal model explanations” and argue against “common features accounts” of those explanations. This paper offers some objections to their proposals and arguments. It argues that their proposal cannot account for the apparent explanatory asymmetry of minimal model explanations. It argues that their account threatens ultimately to collapse into a “common features account.” Finally, it argues against their motivation for thinking that an explanation appealing to “common features” would have to explain the common features’ (...) own prevalence. (shrink)

Philosophers who regard some mathematical proofs as explaining why theorems hold, and others as merely proving that they do hold, disagree sharply about the explanatory value of proofs by mathematical induction. I offer an argument that aims to resolve this conflict of intuitions without making any controversial presuppositions about what mathematical explanations would be.

Fine and Rosen have argued that normative necessity is distinct from and weaker than metaphysical necessity. The first aim of this paper is to specify what it would take for this view to be true—that is, what normative necessity would have to be like. The author argues that in order for normative necessity to be weaker than metaphysical necessity, the metaphysical necessities must all be preserved under every counterfactual antecedent with which they are all collectively logically consistent—even when their preservation (...) requires that a normative necessity fail to be preserved. By exhibiting some examples that fail to display this pattern of counterfactual invariance, the author argues against the view that normative necessity is weaker than metaphysical necessity. To give this argument is the second aim of this paper. (shrink)

A conservation law in physics can be either a constraint on the kinds of interaction there could be or a coincidence of the kinds of interactions there actually are. This is an important, unjustly neglected distinction. Only if a conservation law constrains the possible kinds of interaction can a derivation from it constitute a scientific explanation despite failing to describe the causal/mechanical details behind the result derived. This conception of the relation between “bottom-up” scientific explanations and one kind of “top-down” (...) scientific explanation is motivated by several examples from classical and modern physics. (shrink)

Wilson derives various broad philosophical morals from the scientific role played by the Principle of Virtual Work. He argues roughly that PVW conditionals cannot be understood in terms of things as large as possible worlds; that PVW conditionals are peculiar and so cannot be accommodated by general accounts of counterfactuals, thereby reflecting the piecemeal character of scientific practice and standing at odds with the one-size-fits-all approach of “analytic metaphysicians”; and that PVW counterfactuals are not made true partly by natural laws. (...) I distinguish, elaborate and critically examine various arguments for these morals suggested by the PVW and Wilson’s text, looking especially at what makes a displacement “virtual” and the operation of the conditionals that the PVW takes to express necessary and sufficient conditions for equilibrium. Ultimately, I do not find the PVW to be especially well suited to support Wilson’s morals; some of these arguments fail, whereas others arise from general considerations rather than having to appeal to anything like the PVW. (shrink)

Very little has been done to find out what corporations have done to build ethical values into their organizations. In this report on a survey of 1984 Fortune 1000 industrial and service companies the Center for Business Ethics reveals some facts regarding codes of ethics, ethics committees, social audits, ethics training programs, boards of directors, and other areas where corporations might institutionalize ethics. Based on the survey, the Center for Business Ethics is convinced that corporations are beginning to take steps (...) to institutionalize ethics, while recognizing that in most cases more specific mechanisms and strategies need to be implemented to make their ethics efforts truly effective. (shrink)

With the rise and public accessibility of AI-enabled decision-support systems, individuals outsource increasingly more of their decisions, even those that carry ethical dimensions. Considering this trend, scholars have highlighted that uncritical deference to these systems would be problematic and consequently called for investigations of the impact of pertinent technology on humans’ ethical decision-making. To this end, this article conducts a systematic review of existing scholarship and derives an integrated framework that demonstrates how intelligent decision-support systems (IDSSs) shape humans’ ethical decision-making. (...) In particular, we identify resulting consequences on an individual level (i.e., deliberation enhancement, motivation enhancement, autonomy enhancement and action enhancement) and on a societal level (i.e., moral deskilling, restricted moral progress and moral responsibility gaps). We carve out two distinct methods/operation types (i.e., processoriented and outcome-oriented navigation) that decision-support systems can deploy and postulate that these determine to what extent the previously stated consequences materialize. Overall, this study holds important theoretical and practical implications by establishing clarity in the conceptions, underlying mechanisms and (directions of) influences that can be expected when using particular IDSSs for ethical decisions. (shrink)

Sober and Huemer have independently argued that simplicity has no place in evaluating philosophical views. In particular, they have argued that the best rationales for scientists to appeal to simplicity in judging between rival theories fail to carry over to philosophers judging between rival philosophical accounts. This paper disagrees with Sober and Huemer. It argues that two rationales for scientific appeals to simplicity equally well underwrite appeals to simplicity when philosophers evaluate rival rational reconstructions of some social normative practice. These (...) two rationales are shown to apply to two philosophical appeals to simplicity: in Quine’s argument against analyticity and in an argument against pluralism in accounts of scientific explanation. Some factors are identified that influence how much weight simplicity should carry in these and other philosophical cases. Simplicity’s legitimate role in evaluating rival rational reconstructions suggests that simplicity will also turn out to be justly relevant to ontological investigations. (shrink)

This paper analyzes the logical truths as (very roughly) those truths that would still have been true under a certain range of counterfactual perturbations.What’s nice is that the relevant range is characterized without relying (overtly, at least) upon the notion of logical truth. This approach suggests a conception of necessity that explains what the different varieties of necessity (logical, physical, etc.) have in common, in virtue of which they are all varieties of necessity. However, this approach places the counterfactual conditionals (...) in an unfamiliar foundational role. (shrink)

We say a countable model ������ has a 0-basis if the types realized in ������ are uniformly computable. We say ������ has a (d-)decidable copy if there exists a model ������ ≅ ������ such that the elementary diagram of ������ is (d-)computable. Goncharov, Millar, and Peretyat'kin independently showed there exists a homogeneous model ������ with a 0-basis but no decidable copy. We extend this result here. Let d ≤ 0' be any low₂ degree. We show that there exists a homogeneous (...) model ������ with a 0-basis but no d-decidable copy. A degree d is 0-basis homogeneous bounding if any homogenous ������ with a 0-basis has a d-decidable copy. In previous work, we showed that the nonlow₂ $\Delta _{2}^{0}$ degrees are 0-basis homogeneous bounding. The result of this paper shows that this is an exact characterization of the 0-basis homogeneous bounding $\Delta _{2}^{0}$ degrees. (shrink)