Let M be a first-order structure; we denote by DEF(M) the set of all first-order definable relations and functions within M. Let π be any one-to-one function from N into the set of prime integers. Let ∣ and $\bullet$ be respectively the divisibility relation and multiplication as function. We show that the sets DEF(N,π,∣) and $\mathrm{DEF}(\mathbb{N},\pi,\bullet)$ are equal. However there exists function π such that the set DEF(N,π,∣), or, equivalently, $\mathrm{DEF}(\mathbb{N},\pi,\bullet)$ is not equal to $\mathrm{DEF}(\mathbb{N},+,\bullet)$ . Nevertheless, in all cases (...) there is an $\{\pi,\bullet\}$ -definable and hence also {π,∣}-definable structure over N which is isomorphic to $\langle\mathbb{N},+,\bullet\rangle$ . Hence theories TH(N,π,∣) and $\mathrm{TH}(\mathbb{N},\pi,\bullet)$ are undecidable. The binary relation of equipotence between two positive integers saying that they have equal number of prime divisors is not definable within the divisibility lattice over positive integers. We prove it first by comparing the lower bound of the computational complexity of the additive theory of positive integers and of the upper bound of the computational complexity of the theory of the mentioned lattice. The last section provides a self-contained alternative proof of this latter result based on a decision method linked to an elimination of quantifiers via specific tables. (shrink)

Given two strings, text t of length n, and pattern p = p1…pk of length k, and given a natural number w, the subsequence matching problem consists in finding the number of size w windows of text t which contain pattern p as a subsequence, i.e. the letters p1,…,pk occur in the window, in the same order as in p, but not necessarily consecutively . Subsequence matching is used for finding frequent patterns and association rules in databases. We generalize the (...) Knuth–Morris–Pratt pattern matching algorithm; we define a non-conventional kind of RAM, the MP-RAMs which model more closely the microprocessor operations; we design an O on-line algorithm for solving the subsequence matching problem on MP-RAMs. (shrink)

An early, very preliminary edition of this book was circulated in 1962 under the title Set-theoretical Structures in Science. There are many reasons for maintaining that such structures play a role in the philosophy of science. Perhaps the best is that they provide the right setting for investigating problems of representation and invariance in any systematic part of science, past or present. Examples are easy to cite. Sophisticated analysis of the nature of representation in perception is to be found already (...) in Plato and Aristotle. One of the great intellectual triumphs of the nineteenth century was the mechanical explanation of such familiar concepts as temperature and pressure by their representation in terms of the motion of particles. A more disturbing change of viewpoint was the realization at the beginning of the twentieth century that the separate invariant properties of space and time must be replaced by the space-time invariants of Einstein's special relativity. Another example, the focus of the longest chapter in this book, is controversy extending over several centuries on the proper representation of probability. The six major positions on this question are critically examined. Topics covered in other chapters include an unusually detailed treatment of theoretical and experimental work on visual space, the two senses of invariance represented by weak and strong reversibility of causal processes, and the representation of hidden variables in quantum mechanics. The final chapter concentrates on different kinds of representations of language, concluding with some empirical results on brain-wave representations of words and sentences. (shrink)

_"One of the most important political books of 2018."—Rod Dreher, ___American Conservative__ Of the three dominant ideologies of the twentieth century—fascism, communism, and liberalism—only the last remains. This has created a peculiar situation in which liberalism’s proponents tend to forget that it _is _an ideology and not the natural end-state of human political evolution. As Patrick Deneen argues in this provocative book, liberalism is built on a foundation of contradictions: it trumpets equal rights while fostering incomparable material inequality; its (...) legitimacy rests on consent, yet it discourages civic commitments in favor of privatism; and in its pursuit of individual autonomy, it has given rise to the most far-reaching, comprehensive state system in human history. Here, Deneen offers an astringent warning that the centripetal forces now at work on our political culture are not superficial flaws but inherent features of a system whose success is generating its own failure. (shrink)

As well as disagreeing about how much one should donate to charity, moral theories also disagree about where one should donate. In light of this disagreement, how should the morally uncertain philanthropist allocate her donations? In many cases, one intuitively attractive option is for the philanthropist to split her donations across all of the charities that are recommended by moral views in which she has positive credence, with each charity’s share being proportional to her credence in the moral theories that (...) recommend that particular charity. Despite the fact that something like this approach is already being used by real-world philanthropists to distribute billions of dollars of donations, it is not supported by any of the approaches to moral uncertainty that have been proposed thus-far in the philosophical literature. In this paper, we will develop a bargaining-based approach to moral uncertainty that honors the proportionality intuition in favor of splitting one’s donations. We also show how this bargaining-based approach has several further advantages over the best alternative proposals. (shrink)

Intentional action involves both a series of neural events in the motor areas of the brain, and also a distinctive conscious experience that ''I'' am the author of the action. This paper investigates some possible ways in which these neural and phenomenal events may be related. Recent models of motor prediction are relevant to the conscious experience of action as well as to its neural control. Such models depend critically on matching the actual consequences of a movement against its internally (...) predicted effects. However, it remains unclear whether our conscious experience of action depends on a precise matching process, or a retrospective inference that ''I'' must have been responsible for a particular event. We report an experiment in which normal subjects judged the perceived time of either intentional actions, involuntary movements, or subsequent effects (auditory tones) of these. We found that the subject's intention to produce the auditory tone produced an intentional binding between the perceived times of the subject's action and the tone. However, if the intention was interrupted by an imposed involuntary movement, followed by the identical tone, no such binding occurred. The phenomenology of intentional action requires an appropriate predictive link between intentions and effects, rather than a retrospective inference that ''I'' caused the effect. (shrink)

When certain formal symbol systems (e.g., computer programs) are implemented as dynamic physical symbol systems (e.g., when they are run on a computer) their activity can be interpreted at higher levels (e.g., binary code can be interpreted as LISP, LISP code can be interpreted as English, and English can be interpreted as a meaningful conversation). These higher levels of interpretability are called "virtual" systems. If such a virtual system is interpretable as if it had a mind, is such a "virtual (...) mind" real? This is the question addressed in this "virtual" symposium, originally conducted electronically among four cognitive scientists: Donald Perlis, a computer scientist, argues that according to the computationalist thesis, virtual minds are real and hence Searle's Chinese Room Argument fails, because if Searle memorized and executed a program that could pass the Turing Test in Chinese he would have a second, virtual, Chinese-understanding mind of which he was unaware (as in multiple personality). Stevan Harnad, a psychologist, argues that Searle's Argument is valid, virtual minds are just hermeneutic overinterpretations, and symbols must be grounded in the real world of objects, not just the virtual world of interpretations. Computer scientist Patrick Hayes argues that Searle's Argument fails, but because Searle does not really implement the program: A real implementation must not be homuncular but mindless and mechanical, like a computer. Only then can it give rise to a mind at the virtual level. Philosopher Ned Block suggests that there is no reason a mindful implementation would not be a real one. (shrink)

Heightened political polarization challenges civic educators seeking to prepare youth as citizens who can navigate affective boundaries. Current approaches to civic education do not yet account for the emotional basis of citizenship. This paper presents an argument for critical affective literacy in civic education classrooms. Drawing from concepts and theories in critical emotion studies, affective citizenship, and agonistic political theory, critical affective civic literacy challenges the rationalistic bent of civic education, and offers instructional strategies for educating the political emotions of (...) students. The voices of late-arrival migrant youth enacting affective citizenship are featured in order to help illuminate the contributions of critical affective literacy to social studies research and practice. (shrink)

This book publishes 31 of the author's selected papers which have appeared, with one exception, since 1970. The papers cover a wide range of topics in the philosophy of science. Part I is concerned with general methodology, including formal and axiomatic methods in science. Part II is concerned with causality and explanation. The papers extend the author's earlier work on a probabilistic theory of causality. The papers in Part III are concerned with probability and measurement, especially foundational questions about probability. (...) Part IV consists of several papers, including two historical ones, on the foundations of physics, with the main emphasis being on quantum mechanics. Part V, the longest part, is on the foundations of psychology and includes papers mainly on learning and perception. The book is aimed at philosophers of science, scientists concerned with the methodology of the social sciences, and mathematical psychologists interested in theories of learning, perception and measurement. (shrink)

Hybrid languages have both modal and first-order characteristics: a Kripke semantics, and explicit variable binding apparatus. This paper motivates the development of hybrid languages, sketches their history, and examines the expressive power of three hybrid binders. We show that all three binders give rise to languages strictly weaker than the corresponding first-order language, that full first-order expressivity can be gained by adding the universal modality, and that all three binders can force the existence of infinite models and have undecidable satisfiability (...) problems. (shrink)

Moral latitude is only ever a matter of coincidence on the most popular decision procedure in the literature on moral uncertainty. In all possible choice situations other than those in which two or more options happen to be tied for maximal expected choiceworthiness, Maximize Expected Choiceworthiness implies that only one possible option is uniquely appropriate. A better theory of appropriateness would be more sensitive to the decision maker’s credence in theories that endorse agent-centred prerogatives. In this paper, we will develop (...) and defend a modified version of this view that allows for agent-centred prerogatives and supererogation as part of its verdicts about appropriateness. (shrink)

On certain plausible views, if humanity were to unanimously decide to cause its own extinction, this would not be wrong, since there is no one whom this act would wrong. We argue this is incorrect. Causing human extinction would still wrong someone; namely, our forebears who sacrificed life, limb and livelihood for the good of posterity, and whose sacrifices would be made less morally worthwhile by this heinous act.

The author proposes the thesis that all perception, including observation in natural science, is hermeneutical as well as causal; that is, the perceiver (or observer) learns to 'read' instrumental or other perceptual stimuli as one learns to read a text. This hermeneutical aspect at the heart of natural science is located where it might be least expected, within acts of scientific observation. In relation to the history of science, the question is addressed to what extent the hermeneutical component within scientific (...) observation opens natural science to the charge of reflecting merely cultural values, and of providing merely a culturally acceptable reading of the "Book of Nature", rather than, as the author states, one stating universal antecedent conditions of possibility of cultural activity itself. (shrink)

Organisationen spielen in modernen Gesellschaften eine zentrale Rolle. Der Beitrag geht davon aus, dass in den mittlerweile etablierten Formen von Ethik und Ethikberatung in Einrichtungen des Gesundheitssystems eine angemessene Reflexion des Organisationsbezugs oft ausbleibt bzw. eine besondere Herausforderung darstellt. Wir konzipieren deshalb eine „prozedurale Organisationsethik“, die sich kritisch mit der organisationalen Passung der Prozesse ethischer Reflexion auseinandersetzt. Daraus lassen sich als Anregung für Theorie und Praxis von ethischen Prozessen praktische Schlussfolgerungen ableiten. Sie betreffen die Orte der Differenzsetzung für die Frage (...) nach dem Guten; die ethischen Hintergrundtheorien und die Frage nach der organisatorischen Verknüpfung der Reflexionssettings. (shrink)

Definition of the problem Organisations play a vital role in modern societies. This article presumes a lack of sufficient organisational reflection of well-established forms of ethics and ethics counselling in institutions belonging to the health sector or sees particular challenges where it is implemented. Arguments We have therefore conceived a procedural type of organisational ethics which critically examines the organisational fit of processes in terms of ethical reflection, leading to practicable suggestions. Conclusions On the one hand they relate to where (...) differences are established when asking for the good; on the other hand they are concerned with background theories and the organisational fit of the reflection settings. (shrink)

In §2-4, I survey three extant ways of making sense of indeterminate truth and find each of them wanting. All the later sections of the paper are concerned with showing that the most promising way of making sense of indeterminate truth is via either a theory of truthmaker gaps or via a theory of truthmaking gaps. The first intimations of a truthmaker–truthmaking gap theory of indeterminacy are to be found in Quine (1981). In §5, we see how Quine proposes to (...) solve Unger’s problem of the many via positing the possibility of groundless truth. In §6, I elaborate the truthmaker gap model of indeterminacy first sketched by Sorensen (2001, ch.11) and use it to give a reductive analysis of indeterminate truth. In §7, I briefly assess what kind of formal framework can best express the possibility of truthmaker gaps. In §8, I contrast what I dub ‘the ordinary conception of worldly indeterminacy’ with Williamson’s conception of worldly indeterminacy. In §9, I show how one can distinguish linguistic from worldly indeterminacy on a truthmaker gap conception. In §10, I briefly sketch the relationship between truthmaker gaps and ignorance. In §11, I assess whether a truthmaker gap conception of vagueness is really just a form of epistemicism. In §12, I propose that truthmaker gaps can yield a plausible model of (semantic) presupposition failure. In §13, in response to the worry that a truthmaker gap conception of indeterminacy is both parochial and controversial—since it commits us to an implausibly strong theory of truthmaking—I set forth a truthmaking gap conception of indeterminacy. In §14, I answer the worry that groundless truths, of whatever species, are just unacceptably queer. A key part of this answer is that a truthmaker–truthmaking gap model of indeterminacy turns out to be considerably less queer than any model of indeterminacy which gives up on Tarski’s T-schema for truth (and cognate schemas). (shrink)

Though my ultimate concern is with issues in epistemology and metaphysics, let me phrase the central question I will pursue in terms evocative of philosophy of religion: What are the implications of our logic-in particular, of Cantor and G6del-for the possibility of omniscience?

Kant famously insisted that “the idea of the will of every rational being as a universally legislative will” is the supreme principle of morality. Recent interpreters have taken this emphasis on the self-legislation of the moral law as evidence that Kant endorsed a distinctively constructivist conception of morality according to which the moral law is a positive law, created by us. But a closer historical examination suggests otherwise. Kant developed his conception of legislation in the context of his opposition to (...) theological voluntarist accounts of morality and his engagement with conceptions of obligation found in his Wolffian predecessors. In order to defend important claims about the necessity and immediacy of moral obligation, Kant drew and refined a distinction between the legislation and authorship of the moral law in a way that precludes standard theological voluntarist theories and presents an obstacle to recent constructivist interpretations. A correct understanding of Kant's development and use of this distinction reveals that his conception of legislation leaves little room for constructivist moral anti-realism. (shrink)

The conscious feeling of exercising ‘free-will’ is fundamental to our sense of self. However, in some psychopathological conditions actions may be experienced as involuntary or unwilled. We have used suggestion in hypnosis to create the experience of involuntariness in normal participants. We compared a voluntary finger movement, a passive movement and a voluntary movement suggested by hypnosis to be ‘involuntary.’ Hypnosis itself had no effect on the subjective experience of voluntariness associated with willed movements and passive movements or on time (...) estimations of their occurrence. However, subjective time estimates of a hypnotically-suggested, ‘involuntary’ finger movement were more similar to those for passive movements than for voluntary movements. The experience of anomalous control is qualitatively and quantitatively different from the normal conscious experience of a similar act produced intentionally. The experience of anomalous control may be produced either by pathology, or, in our case, by suggestion. (shrink)

Ethics consultation in institutions of the healthcare system has been given a standard form based on three pillars: education, the development of guidelines and concrete ethics consultation in case conferences. The spread of ethics committees, which perform these tasks on an organizational level, is a remarkable historic achievement. At the same time it cannot be denied that modern ethics consultation neglects relevant aspects of care ethics approaches. In our essay we present an “ethics of care” approach as well as an (...) empirical pilot project—“Ethics from the bottom up”—which organizes ethics consultation based on this focus. Findings and philosophy of the project will be discussed as far as relevant for ethics consultation in the healthcare system. (shrink)

Can selection explain why individuals have the traits they do? This question has generated significant controversy. I will argue that the debate encompasses two separable aspects, to detrimental effect: (1) the role of selection in explaining the origin and evolution of biological traits and (2) the implications this may have for explaining why individuals have the traits they do. (1) can be settled on the basis of evolutionary theory while (2) requires additional, extra-scientific assumptions. By making a distinction between traits (...) affected by a single factor and traits affected by multiple factors I show that selection can, under certain conditions, help explain the origin of traits. Resolving the first aspect enables us to critically assess the various incompatible and independent philosophical commitments made within the second aspect of the debate. (shrink)

This paper offers a new approach to an old debate about superaddition in Locke. Did Locke claim that some objects have powers that are unrelated to their natures or real essences? The question has split commentators. Some (Wilson, Stuart, Langton) claim the answer is yes and others (Ayers, Downing, Ott) claim the answer is no. This paper argues that both of these positions may be mistaken. I show that Locke embraced a robust epistemic humility. This epistemic humility includes ignorance of (...) the real essences of bodies, of the causal processes underlying the production of natural phenomena, and of God’s method of creation. I show how this epistemic humility offers strong support for an agnostic response to the question of superaddition. Locke did not intend to claim that bodies either do or do not have properties unrelated to their real essences. Instead, his primary goal in discussing the topic was to emphasize the strict limits to human knowledge. (shrink)

A better appreciation of Kant’s commitments in a variety of disciplines reveals Kant had a deeper understanding of human and non-human animals than generally recognized, and this sheds new light on Kant’s claims about the nature and scope of moral status and helps to address, at least from Kant’s perspective, many of the familiar objections to his notorious account of “duties regarding animals.” Kant’s core principles about the nature of moral obligation structure his thoughts about the moral status of human (...) beings and non-human animals. Kant’s commitments in biology, psychology, anthropology and physical geography support his account of the nature of and distinction between humans and non-human animals. This account supports Kant’s judgment that we have duties to every human being and significant duties regarding non-human animals, duties which involve direct concern for animals because of their nature. A comparison of Kant’s account with some recently proposed Kantian alternatives provides additional perspective on some of the distinctive features, and strengths and weaknesses, of Kant’s approach. (shrink)

Husserl argues in the Crisis that the prevalent tradition of positive science in his time had a philosophical core, called by him "Galilean science", that mistook the quest for objective theory with the quest for truth. Husserl is here referring to Gottingen science of the Golden Years. For Husserl, theory "grows" out of the "soil" of the prescientific, that is, pretheoretical, life-world. Scientific truth finally is to be sought not in theory but rather in the pragmatic-perceptual praxes of measurement. Husserl (...) is faulted for taking measuring processes to be "infinitely perfectible". The dependence of new scientific phenomena on the existence of prior "prescientific" inductive praxis is analyzed, also Husserl's residual objectivism and failure to appreciate the hermeneutic character of measurement. Though not a scientific (theory-)realist, neither was he an instrumentalist, but he was a scientific (phenomena-)realist. (shrink)

In the first Critique, Kant says, “[A]ll the actions of a human being are determined in accord with the order of nature,” adding that “if we could investigate all the appearances . . . there would be no human action we could not predict with certainty.” Most Kantian treatments of human action discuss action from a practical perspective, according to which human beings are transcendentally free, and thus do not sufficiently lay out this Kant’s empirical, causal description of human action. (...) Drawing on Kant’s lectures in empirical psychology and his anthropological writings, this paper offers a clear and detailed elucidation of Kant’s empirical account of human action. After explaining the connection between cognitions, feelings, desires, and actions, I show how the lower faculty of desire is governed by various instincts, inclinations, and propensities, and how the higher faculty of desire is governed by (empirical) character. I also discuss how character and inclinations arise from natural human propensities combined with other empirical causes. By looking at both Kant’s faculty psychology and his account of predispositions, I lay out an overall Kantian framework for explaining any kind of human action. (shrink)

Up to now theories of semantic information have implicitly relied on logical monism, or the view that there is one true logic. The latter position has been explicitly challenged by logical pluralists. Adopting an unbiased attitude in the philosophy of information, we take a suggestion from Beall and Restall at heart and exploit logical pluralism to recognise another kind of pluralism. The latter is called informational pluralism, a thesis whose implications for a theory of semantic information we explore.

Scheduling surgical procedures among operating rooms is mistakenly regarded as merely a tedious administrative task. However, the growing demand for surgical care and finite hours in a day qualify OR time as a limited resource. Accordingly, the objective of this manuscript is to reframe the process of OR scheduling as an ethical dilemma of allocating scarce medical resources. Recommendations for ethical allocation of OR time—based on both familiar and novel ethical values—are provided for healthcare institutions and individual surgeons.

Gender is one of the most researched and contentious topics in consumer ethics research. It is common for researchers of gender studies to presume that women are more ethical than men because of their reputation for having a selfless, sensitive nature. Nevertheless, we found evidence that women behaved less ethically than men in two field experiments testing a passive form of unethical behavior. Women benefited to a larger extent from a cashier miscalculating the bill in their favor than men. However, (...) in three follow-up studies, we found that women did not necessarily intend to benefit at the expense of someone else. Women are less prone to speak up to a cashier than men are, even when the mistake is made in their disfavor. These results reveal that gender differences in assertiveness affect differences in unethical behavior. (shrink)

But it’s not the mere fact that the RA theorist needs an account of ‘ruling out’ and ‘relevance’ that has tended to lead people to regard the RA approach with suspicion. In itself, this simply means that the RA theorist has some further work to do; and what theorist doesn’t? No; the principal source of scepticism regarding the ability of the RA theorist to come up with a complete and satisfactory account of knowing stems, rather, from an unhappiness with the (...) specific elaborations of the core RA claim that various theorists have offered; for these elaborations have typically involved some rather controversial claims and/or assumptions, and it is against these claims/assumptions that the bulk of the criticism of the whole RA approach has been directed. (shrink)

Philosophy of science is a paradigm of contemporary intellectual rigor. It offers a challenge of clarification, a promise of systematic understanding, and an invitation to innovative conceptual exploration. Such is its appeal. The occult traditions are steeped in antiquity. They reach us with an atmosphere of mystery, a whisper of wisdom, and a hint of beckoning unknown. Such is their appeal. This is an attempted to bring the two together.

Fanatics judge a lottery with a tiny probability of arbitrarily high value as better than the certainty of some modest value, and they are prone to getting swindled. You need only make the lie “big enough” to get one over on them. I put forward an elegant solution to the fanatic’s problem. When coming to a fully rational decision, agents may ignore outlandish possibilities.

Many of the formalisms used in Attribute Value grammar are notational variants of languages of propositional modal logic, and testing whether two Attribute Value Structures unify amounts to testing for modal satisfiability. In this paper we put this observation to work. We study the complexity of the satisfiability problem for nine modal languages which mirror different aspects of AVS description formalisms, including the ability to express re-entrancy, the ability to express generalisations, and the ability to express recursive constraints. Two main (...) techniques are used: either Kripke models with desirable properties are constructed, or modalities are used to simulate fragments of Propositional Dynamic Logic. Further possibilities for the application of modal logic in computational linguistics are noted. (shrink)

This critical survey of recent work on Kant's doctrine of the fact of reason and his doctrine of the practical postulates (of freedom, God, and immortality) assesses the implications of these doctrines for the debate about realism and antirealism in Kant's moral philosophy. Section 1 briefly surveys some salient considerations from the first Critique and Groundwork. In section 2, I argue that recent work on the role, content, "factual" nature, and epistemic status of the fact of reason does not support (...) an anti-realist interpretation of Kant's ethics. In section 3, I argue that recent work on the derivation and epistemic and ontological status of the practical postulates does not support an anti-realist interpretation of Kant's ethics. (shrink)

C. A. W. Manning was an important figure in the early days of what became known as the English School, and was one of the most philosophically explicit articulators of the interpretivist approach t...

A panoramic collection of ninety photographs captures the spirit of people at work and play along the Illinois River, as well as the quiet beauty of the flora and fauna that make the river a natural retreat.

In this note we show that the classical modal technology of Sahlqvist formulas gives quick proofs of the completeness theorems in [8] (D. Gregory, Completeness and decidability results for some propositional modal logics containing "actually" operators, Journal of Philosophical Logic 30(1): 57-78, 2001) and vastly generalizes them. Moreover, as a corollary, interpolation theorems for the logics considered in [8] are obtained. We then compare Gregory's modal language enriched with an "actually" operator with the work of Arthur Prior now known under (...) the name of hybrid logic. This analysis relates the "actually" axioms to standard hybrid axioms, yields the decidability results in [8], and provides a number of complexity results. Finally, we use a bisimulation argument to show that the hybrid language is strictly more expressive than Gregory's language. (shrink)