Contrary to formal theories of induction, I argue that there are no universal inductive inference schemas. The inductive inferences of science are grounded in matters of fact that hold only in particular domains, so that all inductive inference is local. Some are so localized as to defy familiar characterization. Since inductive inference schemas are underwritten by facts, we can assess and control the inductive risk taken in an induction by investigating the warrant for its underwriting facts. In learning more facts, (...) we extend our inductive reach by supplying more localized inductive inference schemes. Since a material theory no longer separates the factual and schematic parts of an induction, it proves not to be vulnerable to Hume's problem of the justification of induction. (shrink)

Beatty, Brandon, and Sober agree that biological generalizations, when contingent, do not qualify as laws. Their conclusion follows from a normative definition of law inherited from the Logical Empiricists. I suggest two additional approaches: paradigmatic and pragmatic. Only the pragmatic represents varying kinds and degrees of contingency and exposes the multiple relationships found among scientific generalizations. It emphasizes the function of laws in grounding expectation and promotes the evaluation of generalizations along continua of ontological and representational parameters. Stability of conditions (...) and strength of determination in nature govern projectibility. Accuracy, ontological level, simplicity, and manageability provide additional measures of usefulness. (shrink)

James D Marshall; Wittgenstein on Rules: implications for authority and discipline in education, Journal of Philosophy of Education, Volume 19, Issue 1, 30 May.

I give an informal outline of the hole argument which shows that spacetime substantivalism leads to an undesirable indeterminism in a broad class of spacetime theories. This form of the argument depends on the selection of differentiable manifolds within a spacetime theory as representing spacetime. I consider the conditions under which the argument can be extended to address versions of spacetime substantivalism which select these differentiable manifolds plus some further structure to represent spacetime. Finally, I respond to the criticisms of (...) Tim Maudlin and Jeremy Butterfield. (shrink)

The controversy regarding the unit of selection is fundamentally a dispute about what is the correct causal structure of the process of evolution by natural selection and its ontological commitments. By characterizing the process as consisting of two essential steps--interaction and transmission--a singular answer to the unit question becomes ambiguous. With such an account on hand, two recent defenses of competing units of selection are considered. Richard Dawkins maintains that the gene is the appropriate unit of selection and Robert Brandon, (...) in response, argues that the individual organism is better suited to the role. This paper argues that by making explicit the underlying questions that each of these views addresses, the apparent conflict can be resolved. Furthermore, such a resolution allows for a more complete and realistic understanding of the process of evolution by natural selection. (shrink)

Thought experiments in science are merely picturesque argumentation. I support this view in various ways, including the claim that it follows from the fact that thought experiments can err but can still be used reliably. The view is defended against alternatives proposed by my cosymposiasts.

If the human race comes to an end relatively shortly, then we have been born at a fairly typical time in the history of humanity; if trillions of people eventually exist, then we have been born in the first surprisingly tiny fraction of all people. According to the 'doomsday argument' of Carter, Leslie, Gott and Nielsen, this means that the chance of a disaster which would obliterate humanity is much larger than usually thought. But treating possible observers in the same (...) way as those who actually exist avoids this conclusion: our existence is more likely in a race which is long-lived, and this cancels out the doomsday argument, so that the chance of a disaster is only what one would ordinarily estimate. (shrink)

1. Introduction. David Malament has described a natural and satisfying resolution of the traditional problems of Newtonian cosmology—natural in the sense that it effects the escape by altering Newtonian gravitation theory in a way that leaves its observational predictions completely unaffected. I am in full agreement with his approach. There is one part of his account, however, over which Malament has been excessively modest. The resolution requires a modification to Newtonian gravitation theory. Malament presents the modification as so straightforward as (...) to be automatic. This trivializes the crucial postulate, which I shall call the “relativity of acceleration.” It is a significant physical statement in its own right and requires careful justification. Moreover the postulate proved easy to overlook for decades of discussion of the paradox. It really only becomes natural from the perspective of the newer geometric methods Malament exploits. There the postulate has become a commonplace. My purpose here is to develop the following: While Newtonian cosmology can be repaired satisfactorily, in its traditional form it remains deeply troubled. These troubles can be expressed most vividly as the paradoxical contradictions indicated below. They persist in both the integral and differential formulations of Newtonian gravitation theory. Malament's careful geometric treatment is necessarily dense. By taking some liberties with precision, his core result can be expressed in a far simpler form. Attempts to avoid the resolution Malament describes do lead to disaster. Therefore this episode can be inverted and used as the strongest extant argument for the relativity of acceleration in Newtonian gravitation theory. (shrink)

The set of equations which use only one variable and hold in all representable relation algebras cannot be derived from any finite set of equations true in all representable relation algebras. Similar results hold for cylindric algebras and for logic with finitely many variables. The main tools are a construction of nonrepresentable one-generated relation algebras, a method for obtaining cylindric algebras from relation algebras, and the use of relation algebras in defining algebraic semantics for first-order logic.

The calculus of relations was created and developed in the second half of the nineteenth century by Augustus De Morgan, Charles Sanders Peirce, and Ernst Schröder. In 1940 Alfred Tarski proposed an axiomatization for a large part of the calculus of relations. In the next decade Tarski's axiomatization led to the creation of the theory of relation algebras, and was shown to be incomplete by Roger Lyndon's discovery of nonrepresentable relation algebras. This paper introduces the calculus of relations and the (...) theory of relation algebras through a review of these historical developments. (shrink)

In this paper we set out a semantics for relevant (counterfactual) conditionals. We combine the Routley-Meyer semantics for relevant logic with a semantics for conditionals based on selection functions. The resulting models characterize a family of conditional logics free from fallacies of relevance, in particular counternecessities and conditionals with necessary consequents receive a non-trivial treatment.

Models are constructed for a variety of systems of quantified relevance logic with identity. Models are given for systems with different principles governing the transitivity of identity and substitution, and the relative merits of these principles are discussed. The models in this paper are all extensions of the semantics of Fine's Semantics for Quantified Relevance Logic (Journal of Philosophical Logic 17 (1988)).

In this paper, we look at the new frontier of e-commerce, the ethical challenges it is facing and discuss some of the problems encountered and some of the solutions that are evolving. The areas of concern include the impact on other businesses, investors and consumers. Problems regarding financial reporting, intellectual property and privacy are discussed.

If two theory formulations are merely different expressions of the same theory, then any problem of choosing between them cannot be due to the underdetermination of theories by data. So one might suspect that we need to be able to tell distinct theories from mere alternate formulations before we can say anything substantive about underdetermination, that we need to solve the problem of identical rivals before addressing the problem of underdetermination. Here I consider two possible solutions: Quine proposes that we (...) call two theories identical if they are equivalent under a reconstrual of predicates, but this would mishandle important cases. Another proposal is to defer to the particular judgements of actual scientists. Consideration of an historical episodethe alleged equivalence of wave and matrix mechanicsshows that this second proposal also fails. Nevertheless, I suggest, the original suspicion is wrong; there are ways to enquire into underdetermination without having solved the problem of identical rivals. (shrink)

Working in Z + KP, we give a new proof that the class of hereditarily finite sets cannot be proved to be a set in Zermelo set theory, extend the method to establish other failures of replacement, and exhibit a formula Φ(λ, a) such that for any sequence $\langle A_{\lambda} \mid \lambda \text{a limit ordinal} \rangle$ where for each $\lambda, A_{\lambda} \subseteq ^{\lambda}2$ , there is a supertransitive inner model of Zermelo containing all ordinals in which for every λ A (...) λ = {α ∣Φ(λ, a)}. (shrink)

We describe the solution of the Limit Rule Problem of Revision Theory and discuss the philosophical consequences of the fact that the truth set of Revision Theory is a complete 1/2 set.

The Logic R4 is obtained by adding the axiom □(A v B) → (◇A v □B) to the modal relevant logic NR. We produce a model theory for this logic and show completeness. We also show that there is a natural embedding of a Kripke model for S4 in each R4 model structure.

The duality of truth and falsity in a Boolean algebra of propositions is used to generate a duality of belief and disbelief. To each additive probability measure that represents belief there corresponds a dual additive measure that represents disbelief. The dual measure has its own peculiar calculus, in which, for example, measures are added when propositions are combined under conjunction. A Venn diagram of the measure has the contradiction as its total space. While additive measures are not self-dual, the epistemic (...) state of complete ignorance is represented by the unique, monotonic, non-additive measure that is self-dual in its contingent propositions. Convex sets of additive measures fail to represent complete ignorance since they are not self-dual. (shrink)

J D Marshall; The Concept of Teaching, Journal of Philosophy of Education, Volume 9, Issue 1, 30 May 2006, Pages 105–118, https://doi.org/10.1111/j.1467-9752.19.

J D Marshall; Thomas Hobbes: education and obligation in the Commonwealth, Journal of Philosophy of Education, Volume 14, Issue 2, 30 May 2006, Pages 193–203, h.

There are two ways that we might respond to the underdetermination of theory by data. One response, which we can call the agnostic response, is to suspend judgment: "Where scientific standards cannot guide us, we should believe nothing". Another response, which we can call the fideist response, is to believe whatever we would like to believe: "If science cannot speak to the question, then we may believe anything without science ever contradicting us". C.S. Peirce recognized these options and suggested evading (...) the dilemma. It is a Logical Maxim, he suggests, that there could be no genuine underdetermination. This is no longer a viable option in the wake of developments in modern physics, so we must face the dilemma head on. The agnostic and fideist responses to underdetermination represent fundamentally different epistemic viewpoints. Nevertheless, the choice between them is not an unresolvable struggle between incommensurable worldviews. There are legitimate considerations tugging in each direction. Given the balance of these considerations, there should be a modest presumption of agnosticism. This may conflict with Peirce's Logical Maxim, but it preserves all that we can preserve of the Peircean motivation. (shrink)

The frequency of the use of deception in American psychological research was studied by reviewing articles from journals in personality and social psychology from 1921 to 1994. Deception was used rarely during the developmental years of social psychology into the 1930s, then grew gradually and irregularly until the 1950s. Between the 1950s and 1970s the use of deception increased significantly. This increase is attributed to changes in experimental methods, the popularity of realistic impact experiments, and the influence of cognitive dissonance (...) theory. Since 1980 there appears to have been a decrease in the use of deception as compared to previous decades which is related to changes in theory, methods, ethical standards, and federal regulation of research. (shrink)

This paper sets out two semantics for the relevant logic R based on Dunn's four-valued semantics for first-degree entailments. Unlike Routley's semantics for weak relevant logics, they do not use two ternary accessibility relations. Unlike Restall's semantics, they capture all of R. But there is a catch. Both of the present semantics are neighbourhood semantics, that is, they include sets of propositions in the specification of their frames.

Antimicrobial resistance (AMR) poses an increasing threat to patient care and population health and there is a growing need for novel therapies to tackle AMR. Bacteriophage (phage) therapy is a re-emerging antimicrobial strategy with the potential to transform how bacterial infections are treated in patients and populations. Currently, in the UK, phages can be used as unlicensed medicinal products on a ‘named-patient’ basis. We make an ethical case for why it is crucially important for the UK to invest in Good (...) Manufacturing Practice (GMP) for both ongoing unlicensed and future licensed phage therapy. Access to phages produced to GMP (GMP phages) will ensure effective patient care and better outcomes as well as health systems benefits. The UK also has the potential to become a global leader in the timely and cost-efficient manufacturing and supply of a therapy that meets internationally recognised standards. (shrink)

Conjecture (1) of [Ma83] is confirmed here by the following result: if $3 \leq \alpha < \omega$, then there is a finite relation algebra of dimension α, which is not a relation algebra of dimension α + 1. A logical consequence of this theorem is that for every finite α ≥ 3 there is a formula of the form $S \subseteq T$ (asserting that one binary relation is included in another), which is provable with α + 1 variables, but not (...) provable with only α variables (using a special sequent calculus designed for deducing properties of binary relations). (shrink)

In "Doing Well Enough: Toward a Logic for Common Sense Morality", Paul McNamara sets out a semantics for a deontic logic which contains the operator It is supererogatory that. As well as having a binary accessibility relation on worlds, that semantics contains a relative ordering relation, . For worlds u, v and w, we say that u w v when v is at least as good as u according to the standards of w. In this paper we axiomatize logics complete (...) over three versions of the semantics. We call the strongest of these logics DWE for Doing Well Enough. (shrink)

We investigate the algebraic structure of the upper semi-lattice formed by the recursively enumerable Turing degrees. The following strong generalization of Lachlan's Nonsplitting Theorem is proved: Given n ≥ 1, there exists an r.e. degree d such that the interval $\lbrack\mathbf{d, 0'}\rbrack \subset\mathbf{R}$ admits an embedding of the n-atom Boolean algebra B n preserving (least and) greatest element, but also such that there is no (n + 1)-tuple of pairwise incomparable r.e. degrees above d which pairwise join to 0' (and (...) hence, the interval $\lbrack\mathbf{d, 0'}\rbrack \subset\mathbf{R}$ does not admit a greatest-element-preserving embedding of any lattice L which has n + 1 co-atoms, including B n + 1 ). This theorem is the dual of a theorem of Ambos-Spies and Soare, and yields an alternative proof of their result that the theory of R has infinitely many one-types. (shrink)

I defend a strong version of the Kantian claim that actions done solely from duty have moral worth by (1) considering pure cases of acting from duty, (2) showing that love and sympathy, unlike a sense of duty, can often lead us to do the wrong thing, (3) carefully distinguishing moral from non-moral virtues, and (4) by distinguishing pathological sympathy from practical sympathy. Not only is acting purely from a sense of duty superior to acting from love and sympathetic feelings, (...) but the cold-heartedness found in Kant’s examples should be thought of as a virtue rather than a vice. (shrink)

Human interaction and communication involve space in multiple ways. This paper examines the spatial and interactional order of a covertly video-taped police interrogation. When the participants enter the interrogation room and become engaged in the interrogation process, the room itself is a constraint and a resource for interaction. While interacting within a built environment, the participants appropriate their material surroundings in ways that constitute a spatial order and make possible certain arguments. This paper examines how the physical structure of the (...) interrogation room is differentially appropriated, used, and filled in by the participants''; territorial and postural manoeuvers over the course of their interaction; and how the spatial structures thus created by the bodily appropriation of the physical locale are subsequently formulated by talk and thereby used as a metaphorical resource to frame the participants'' situated experience. Through this embedded process, the interrogators move the suspect toward confession. (shrink)

There is no safe place and no single locus of enunciation from where the uni-versal could be articulated for all and forever. Hindu nationalism and Western neo-liberalism are entangled in a long history of the logic of coloniality (domination, oppression, exploitation) hidden under the rhetoric of modernity (salvation, civilization, progress, development, freedom and democracy). There are, however, needs and possibilities for Indians and Western progressive intellectuals working together to undermine and supersede the assumptions that liberal thinkers in the West are (...) better placed to understand what is the common good better than Indian thinkers in post-partition India. Science, in the last analysis, doesn't carry in itself an ethics and politics. Therefore, it is doubtful to argue that science is beyond both, and only concerned with the advancement of the frontier of knowledge and understanding. Science could be (like Christianity, Hinduism, Liberalism or Marxism) both imperial and liberating. Knowledge and understanding, rather than science; gnoseology rather than epistemology, should be thought out as which the horizon toward a dialogical and critical cosmopolitanism (e.g., pluriversallity as universal project), could be envisioned beyond East and West, Hindu nationalism and Westertn (neo) liberalism. (shrink)

Although rationing of scarce health-care resources is inevitable in clinical practice, there is still limited and scattered information about how physicians perceive and execute this bedside rationing (BSR) and how it can be performed in an ethically fair way. This review gives a systematic overview on physicians’ perspectives on influences, strategies, and consequences of health-care rationing. Relevant references as identified by systematically screening major electronic databases and manuscript references were synthesized by thematic analysis. Retrieved studies focused on themes that fell (...) under three major headings: (i) conditions and influences of BSR, (ii) strategies of BSR, and (iii) consequences of BSR. The range of themes indicates that physicians’ rationing behavior is highly variable, strongly influenced by context-related factors, and consists mainly of implicit rationing strategies. Torn between patient advocacy and the obligation to contain costs, physicians experience various role conflicts. The development of explicit rationing strategies seems necessary to avoid arbitrary BSR and allow a fair allocation of health-care resources. (shrink)

Vendler’s :161–173, 1979) puzzle about imagination is that the sentences ‘Imagine swimming in that water’ and ‘Imagine yourself swimming in that water’ seem at once semantically different and semantically the same. They seem semantically different, since the first requires you to imagine ’from the inside’, while the second allows you to imagine ’from the outside.’ They seem semantically the same, since despite superficial dissimilarity, there is good reason to think that they are syntactically and lexically identical. This paper sets out (...) the puzzle and offers a novel solution. Our proposal is that, just as there is knowledge-wh, there is also imagining-wh and that the inside/outside distinction Vendler points to is properly understood as a distinction within imagining-wh. In particular, to imagine swimming from the inside is to imagine what it feels like to swim, while to imagine swimming from the outside is to imagine what it looks like to swim. We show that this proposal is well grounded in both the semantics and syntax of ‘imagine.’ We also argue it makes better sense than its rivals of the data Vendler found so puzzling. (shrink)

Here we argue that the concept of strategies, as it was introduced into biology by John Maynard Smith, is a prime illustration of the four dimensions of theoretical biology in the post-genomic era. These four dimensions are: data analysis and management, mathematical and computational model building and simulation, concept formation and analysis, and theory integration. We argue that all four dimensions of theoretical biology are crucial to future interactions between theoretical and empirical biologists as well as with philosophers of biology.