This book, published in 2000, is a clear account of causation based firmly in contemporary science. Dowe discusses in a systematic way, a positive account of causation: the conserved quantities account of causal processes which he has been developing over the last ten years. The book describes causal processes and interactions in terms of conserved quantities: a causal process is the worldline of an object which possesses a conserved quantity, and a causal interaction involves the exchange of conserved quantities. Further, (...) things that are properly called cause and effect are appropriately connected by a set of causal processes and interactions. The distinction between cause and effect is explained in terms of a version of the fork theory: the direction of a certain kind of ordered pattern of events in the world. This particular version has the virtue that it allows for the possibility of backwards causation, and therefore time travel. (shrink)

We characterize the modal logics of elementary classes of Kripke frames as precisely those modal logics that are axiomatized by modal axioms synthesized in a certain effective way from "quasi-positive" sentences of hybrid logic. These are pure positive hybrid sentences with arbitrary existential and relativized universal quantification over nominals. The proof has three steps. The first step is to use the known result that the modal logic of any elementary class of Kripke frames is also the modal logic of the (...) closure of this class under disjoint unions, generated subframes, bounded morphic images, and ultraroots. This latter class can be defined by the first-order sentences of a special syntactic form (called pseudo-equations by Goldblatt) that are valid in the former class. The second step is to translate these pseudo-equations into equivalent quasi-positive hybrid sentences. In the third and main step, we show that any quasi-positive sentence S generates an infinite set of modal formulas called "approximants," which together axiomatize a canonical modal logic that is sound and complete for the class of frames validating S. The proof is analogous to standard proofs of Sahlqvist's theorem. It generalizes to sets of quasi-positive sentences. The main result now follows. (shrink)

We show that the loosely guarded and packed fragments of first-order logic have the finite model property. We use a construction of Herwig and Hrushovski. We point out some consequences in temporal predicate logic and algebraic logic.

For any finite n 3 there are two atomic n-dimensional cylindric algebras with the same atom structure, with one representable, the other, not.Hence, the complex algebra of the atom structure of a representable atomic cylindric algebra is not always representable, so that the class RCAn of representable n-dimensional cylindric algebras is not closed under completions. Further, it follows by an argument of Venema that RCAn is not axiomatisable by Sahlqvist equations, and hence nor by equations where negation can only occur (...) in constant terms.Similar results hold for relation algebras. (shrink)

Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. (1999), who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the same results. We then (...) describe three additional empirical studies that investigate further claims in the literature on vagueness: the hypothesis that speakers confuse ‘P’ with ‘definitely P’, the relative persuasiveness of different formulations of the inductive premise of the Sorites, and the interaction of vague predicates with three different forms of negation. (shrink)

We prove that every first-order formula that is invariant under quasi-injective bisimulations is equivalent to a formula of the hybrid logic . Our proof uses a variation of the usual unravelling technique. We also briefly survey related results, and show in a standard way that it is undecidable whether a first-order formula is invariant under quasi-injective bisimulations.

Extending a construction of Andreka, Givant, and Nemeti (2019), we construct some finite vector spaces and use them to build finite non-representable relation algebras. They are simple, measurable, and persistently finite, and they validate arbitrary finite sets of equations that are valid in the variety RRA of representable relation algebras. It follows that there is no finitely axiomatisable class of relation algebras that contains RRA and validates every equation that is both valid in RRA and preserved by completions of relation (...) algebras. Consequently, the variety generated by the completions of representable relation algebras is not finitely axiomatisable. This answers a question of Maddux (2018). (shrink)

A countably infinite relational structure M is called absolutely ubiquitous if the following holds: whenever N is a countably infinite structure, and M and N have the same isomorphism types of finite induced substructures, there is an isomorphism from M to N. Here a characterisation is given of absolutely ubiquitous structures over languages with finitely many relation symbols. A corresponding result is proved for uncountable structures.

Michael Polanyi, along with colleagues at University of Manchester, worked to produce the journal Humanitas, A University Quarterly for two years just after the end of World War II. This essay outlines how Polanyi’s two articles in Humanitas and other work on the journal reflect Polanyi’s developing philosophical perspective.

A conjecture of Gabbay (1981) states that any class of flows of time having the property known as finite H-dimension admits a finite set of expressively complete one-dimensional temporal connectives. Here we show that the class of 'circular' structures refutes the generalisation of this conjecture to Kripke frames. We then construct from this class, by a general method, a new class of irreflexive transitive flows of time that refutes the original conjecture. Our paper includes full descriptions of a method for (...) establishing finite H-dimension for a class of structures and of the technique for extending finite H-dimension to other classes, and an introduction surveying the area of expressive completeness. (shrink)

‘The problem of Spartan land tenure is one of the most vexed in the obscure field of Spartan institutions.’ Walbank's remark is as true today as when it was written nearly thirty years ago. Controversy surrounding this subject has a long tradition going back to the nineteenth century and the last thirty years have witnessed no diminution in the level of disagreement, as is demonstrated by a comparison of the differing approaches in the recent works by Cartledge, Cozzoli, David and (...) Marasco. Although another study runs the risk of merely adding one more hypothesis to the general state of uncertainty, a fundamental reassessment of the question is required, not least because of its significance for the historian's interpretation of the overall character of Spartiate society. Through the introduction of a new perspective it may be possible to advance our understanding of the subject. In Section I of this essay I shall attempt to review several influential scholarly theories and to examine their feasibility and the reliability of the evidence upon which they are based. Section II will begin to construct a more plausible alternative account which is based upon more trustworthy evidence. Finally, Section III will discuss a comparatively underemphasised aspect of the topic, the property rights of Spartiate women, which suggests a rather different interpretation of the character of land tenure and inheritance from those more usually adopted. (shrink)

Much research has linked surprise to violation of expectations, but it has been less clear how one can be surprised when one has no particular expectation. This paper discusses a computational theory based on Algorithmic Information Theory, which can account for surprises in which one initially expects randomness but then notices a pattern in stimuli. The authors present evidence that a “randomness deficiency” heuristic leads to surprise in such cases.

Abstract“Scaling-up” is the next hurdle facing the local food movement. In order to effect broader systemic impacts, local food systems (LFS) will have to grow, and engage either more or larger consumers and producers. Encouraging the involvement of mid-sized farms looks to be an elegant solution, by broadening the accessibility of local food while providing alternative revenue streams for troubled family farms. Logistical, structural and regulatory barriers to increased scale in LFS are well known. Less is understood about the way (...) in which scale developments affect the perception and legitimacy of LFS. This value-added opportunity begs the question: Is the value that adheres to local food scalable? Many familiar with local food discourse might suggest that important pieces of added value within LFS are generated by the reconnection of producer and consumer, the direct exchange through which this occurs, and the shared goals and values that provide the basis for reconnection. However, these assertions are based on tenuous assumptions about how interactions within the direct exchange produce value, and how LFS are governed. Examination shows that existing assumptions do not properly acknowledge the hybridity, diversity, and flexibility inherent in LFS. A clear analysis of the potential of scale in LFS will depend on understanding both how value is determined within LFS, and the processes through which these systems are governed. Such an analysis shows that, while scaled-up LFS will be challenged to maintain legitimacy and an identity as “alternative”, the establishment of an open governance process—based on a “negotiation of accommodations”—is likely to enhance their viability. (shrink)

We prove decidability of satisfiability of sentences of the monodic packed fragment of first-order temporal logic with equality and connectives Until and Since, in models with various flows of time and domains of arbitrary cardinality. We also prove decidability over models with finite domains, over flows of time including the real order.

1 Context The idea for the current issue of Philosophia Scientiæ emerged from discussions which took place in the Manchester Ethnomethodology Reading Group. This reading group has its origins in Wes Sharrock’s weekly discussion groups, which have taken place in Manchester (UK) since the early 1970s. As the global Covid-19 pandemic hit in early 2020, the reading group moved online, facilitated by Phil Hutchinson and Alex Holder. Being an online reading group opened up participation to people b...

This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference (...) for both the pure logician and the theoretical computer scientist. (shrink)

In this paper, we introduce a new fragment of the first-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal operator have at most one free variable. We show that the satisfiability problem for monodic formulas in various linear time structures can be reduced to the satisfiability problem for a certain fragment of classical first-order logic. This reduction is then used to single out a number of decidable fragments of first-order temporal logics and of two-sorted (...) first-order logics in which one sort is intended for temporal reasoning. Besides standard first-order time structures, we consider also those that have only finite first-order domains, and extend the results mentioned above to temporal logics of finite domains. We prove decidability in three different ways: using decidability of monadic second-order logic over the intended flows of time, by an explicit analysis of structures with natural numbers time, and by a composition method that builds a model from pieces in finitely many steps. (shrink)

This chapter argues that dual-use emerging technologies are distributing unprecedented offensive capabilities to nonstate actors. To counteract this trend, some scholars have proposed that states become a little “less liberal” by implementing large-scale surveillance policies to monitor the actions of citizens. This is problematic, though, because the distribution of offensive capabilities is also undermining states’ capacity to enforce the rule of law. I will suggest that the only plausible escape from this conundrum, at least from our present vantage point, is (...) the creation of a “supersingleton” run by a friendly superintelligence, founded upon a “post-singularity social contract.” In making this argument, the present chapter offers a novel reason for prioritizing the “control problem,” i.e., the problem of ensuring that a greaterthan-human-level AI will positively enhance human well-being. (shrink)

This research applies the impression management theory of exemplification in an accounting study by identifying and measuring differences in both auditor and public perceptions of exemplary behaviors. The auditors were divided into two groups, one of which reported self-perceptions (A-S) while the other group reported their perceptions of a typical auditor (A-O). There were two separate public groups, which gave their perceptions of a typical auditor and were divided based on their levels of accounting sophistication. The more sophisticated public group (...) was comprised of bank loan officers (LO) while the less sophisticated public group consisted of investment club members (IC). Comparisons were made on 30 behaviors contained in the AICPA Code of Professional Conduct, which served as the basis for the research instrument. Profile analysis, a special form of MANOVA technique, was used to analyze the results. A-S perceptions were the highest of the four treatment levels and were significantly higher (i.e., more exemplary) than the perceptions of both the A-O and LO groups. The more sophisticated user group (LO) provided the lowest perceptions of the four treatment levels. For at least four of the six measures, the LO treatment group perceived the typical auditor to be less exemplary than both the IC and A-O treatments. There were no differences in perceptions between the A-O group and IC. Additional analysis revealed that auditors overrated the degree to which the public relied on financial statements. However, both public groups reported a reasonably high level of reliance on financial statements when making decisions. (shrink)

This paper examines Wesley Salmon's "process" theory of causality, arguing in particular that there are four areas of inadequacy. These are that the theory is circular, that it is too vague at a crucial point, that statistical forks do not serve their intended purpose, and that Salmon has not adequately demonstrated that the theory avoids Hume's strictures about "hidden powers". A new theory is suggested, based on "conserved quantities", which fulfills Salmon's broad objectives, and which avoids the problems discussed.

We show that the variety of weakly representable relation algebras is neither canonical nor closed under Monk completions.

We consider a modal language for affine planes, with two sorts of formulas (for points and lines) and three modal boxes. To evaluate formulas, we regard an affine plane as a Kripke frame with two sorts (points and lines) and three modal accessibility relations, namely the point-line and line-point incidence relations and the parallelism relation between lines. We show that the modal logic of affine planes in this language is not finitely axiomatisable.

The greatest existential threats to humanity stem from increasingly powerful advanced technologies. Yet the “risk potential” of such tools can only be realized when coupled with a suitable agent who; through error or terror; could use the tool to bring about an existential catastrophe. While the existential risk literature has provided many accounts of how advanced technologies might be misused and abused to cause unprecedented harm; no scholar has yet explored the other half of the agent-tool coupling; namely the agent. (...) This paper aims to correct this failure by offering a comprehensive overview of what we could call “agential riskology.” Only by studying the unique properties of different agential risk types can one acquire an accurate picture of the existential danger before us. (shrink)

As a first stab, call a property recurrent if it can be possessed by more than one object, and nonrecurrent if it can be possessed by at most one object. The question whether Aristotle holds that there are nonrecurrent properties has spawned a lively and ongoing debate among commentators over the last forty-five years. One source of textual evidence in the Categories, drawn on in this debate, is Aristotle’s claim that certain properties are inseparable from what they are in. Here (...) the point of contention is whether this commits Aristotle to holding that these properties are inseparable from individuals, since it is commonly held that a property is nonrecurrent, if it is inseparable from an individual. I argue that this evidence is neutral on the question whether there are nonrecurrent properties in Aristotle. One of my aims here is to disentangle the question of recurrence from local issues of individuality and universality in the Categories. But another aim is to turn from the textual considerations, which have dominated the debate, to broader methodological considerations. It is a shared assumption among all those who look to textual evidence from the Categories, so to decide whether Aristotle believes there are nonrecurrent properties, that in this work Aristotle is engaged in a project where the question of recurrence is relevant. I argue that Aristotle’s concerns in the Categories are disjoint from the question of recurrence, and so this shared assumption is false. (shrink)

Abstract Truth-telling is a key issue within the nurse–patient relationship. Nurses make decisions on a daily basis regarding what information to tell patients. This paper analyses truth-telling within an end of life scenario. Virtue ethics provides a useful philosophical approach for exploring decisions on information disclosure in more detail. Virtue ethics allows appropriate examination of the moral character of the nurse involved, their intention, ability to use wisdom and judgement when making decisions and the virtue of truth-telling. It is appropriate (...) to discuss nursing as a 'practice' in relation to virtue ethics. This is achieved through consideration of the implications of arguments made by Alasdair MacIntyre who believes that qualities such as honesty, courage and justice are virtues because they enable us to achieve the internal goods of practices. (shrink)

Experimental methods and conceptual confusion : philosophy, science, and what emotions really are -- To 'make our voices resonate' or 'to be silent'? : shame as fundamental ontology -- Emotion, cognition, and world -- Shame and world.

Attributed to Phil Smith ("the Crab Man") on the publisher's webite.

Changing patterns of political participation observed by political scientists over the past half-century undermine traditional democratic theory and practice. The vast majority of democratic theory, and deliberative democratic theory in particular, either implicitly or explicitly assumes the need for widespread citizen participation. It requires that all citizens possess the opportunity to participate and also that they take up this opportunity. But empirical evidence gathered over the past half-century strongly suggests that many citizens do not have a meaningful opportunity to participate (...) in the ways that many democratic theorists require, and do not participate in anything like the numbers that they believe is necessary. This paper outlines some of the profound changes that have been experienced by liberal democratic states in the 20th and early 21st Centuries, changes which are still ongoing, and which have resulted in declines in citizens participation and trust, the marginalisation of citizens from democratic life, and the entrenchment of social and economic inequalities which have damaged democracy. The paper challenges the conventional wisdom in rejecting the idea that the future of democracy lies in encouraging more widespread participation. The paper takes seriously the failure of the strategies adopted by many states to increase participation, especially among the poor, and suggests that instead of requiring more of citizens, we should in fact be requiring less of them. Instead of seeking to encourage more citizen participation, we should acknowledge that citizens will probably not participate in the volume, or in the ways, many democratic theorists would like, and that therefore we need an alternative approach: a regime which can continue to produce democratic outcomes, and which satisfies the requirements of political equality, in the absence of widespread participation by citizens. (shrink)

In this paper I reconsider a standard counterexample to the chance-raising theory of singular causation. Extant versions of this theory are so different that it is difficult to formulate the core thesis that they all share, despite the guiding idea that causes raise the chance of their effects. At one extreme, ‘Humean’ theories – which can be traced to Reichenbach – say that a particular event of type C is the cause of a particular event of type E only if (...) P(E|C & K) > P(E|~C & K) where K is a set of background conditions and where the probabilities are interpreted as relative frequencies. At the other extreme, explicitly non-Humean theories take chance to be a physical, particular, local feature of the world. (shrink)

We provide a canonical construction of conformal covers for finite hypergraphs and present two immediate applications to the finite model theory of relational structures. In the setting of relational structures, conformal covers serve to construct guarded bisimilar companion structures that avoid all incidental Gaifman cliques-thus serving as a partial analogue in finite model theory for the usually infinite guarded unravellings. In hypergraph theoretic terms, we show that every finite hypergraph admits a bisimilar cover by a finite conformal hypergraph. In terms (...) of relational structures, we show that every finite relational structure admits a guarded bisimilar cover by a finite structure whose Gaifman cliques are guarded. One of our applications answers an open question about a clique constrained strengthening of the extension property for partial automorphisms (EPPA) of Hrushovski, Herwig and Lascar. A second application provides an alternative proof of the finite model property (FMP) for the clique guarded fragment of first-order logic CGF, by reducing (finite) satisfiability in CGF to (finite) satisfiability in the guarded fragment, GF. (shrink)

We study the notion of H-dimension and the formally stronger k-variable property, as considered by Gabbay, Immerman and Kozen. We exhibit a class of flows of time that has H-dimension 3, and admits a finite expressively complete set of onedimensional temporal connectives, but does not have the k-variable property for any finite k.