In 1952, Quine showed that the problem of reducing a propositional formula to a simplest normal equivalent can be solved in two steps, viz., (i) express the given formula, Φ, equivalently as the disjunction of all its prime implicants, and (ii) find all non-redundant disjunctions of the latter that are equivalent to Φ (Quine 1952). However, it seems not generally known that an ingenious form of the same two-step process was published by Hugh McColl in 1878.

Asperó and Schindler have completely solved the Axiom [Formula: see text] vs. [Formula: see text] problem. They have proved that if [Formula: see text] holds then Axiom [Formula: see text] holds, with no additional assumptions. The key question now concerns the relationship between [Formula: see text] and Axiom [Formula: see text]. This is because the foundational issues raised by the problem of Axiom [Formula: see text] vs. [Formula: see text] arguably persist in the problem of Axiom [Formula: see text] vs. (...) [Formula: see text]. The first of our two main theorems is that Axiom [Formula: see text] is equivalent to Axiom [Formula: see text], and as a corollary we show that Axiom [Formula: see text] fails in all the known models of [Formula: see text]. This suggests that [Formula: see text] actually refutes Axiom [Formula: see text]. Our second main theorem is that the [Formula: see text] Conjecture holds assuming [Formula: see text]. This is the strongest partial result known on this conjecture which is one of the central open problems of [Formula: see text]-theory and [Formula: see text]-logic. These results identify a fundamental asymmetry between the Continuum Hypothesis and any axiom which is both [Formula: see text]-expressible and which implies [Formula: see text], on the basis of generic absoluteness for the simplest of the nontrivial sentences of Third-Order Number Theory. These are the [Formula: see text]-sentences with no parameters. Such sentences are those which simply assert the existence of a set [Formula: see text] for which some property involving only quantification over [Formula: see text] holds. (shrink)

It is a little understood fact that the system of formal logic presented in Wittgenstein’s Tractatusprovides the basis for an alternative general semantics for a predicate calculus that is consistent and coherent, essentially independent of the metaphysics of logical atomism, and philosophically illuminating in its own right. The purpose of this paper is threefold: to describe the general characteristics of a Tractarian-style semantics, to defend the Tractatus system against the charge of expressive incompleteness as levelled by Robert Fogelin, and to (...) give a semantics for a formal language that is the Tractarian equivalent of a first-order predicate calculus. Of note in regard to the latter is the fact that a Tractatusstyle truth-definition makes no appeal to the technical trick of defining truth in terms of the satisfaction of predicates by infinite sequences of objects, yet is materially equivalent to the usual Tarski-style truth-definitions. (shrink)

In these essays, Hugh J. McCann develops a unified perspective on human action. Written over a period of twenty-five years, the essays provide a comprehensive survey of the major topics in contemporary action theory. In four sections, the book addresses the ontology of action ; the foundations of action ; intention, will, and freedom; and practical rationality. McCann works out a compromise between competing perspectives on the individuation of action ; explores the foundations of action and defends a volitional (...) theory; argues for a libertarian view of both the formation and the execution of intention; and considers the question of consistency in rational intentions, as well as the relationship between practical and theoretical reasoning. -/- Among the original features of McCann's work are his defense of both fine- and coarse-grained actions and his arguments for a noncausal theory of the relation between intention and action. He also suggests that intentions need not be consistent, either with each other or with beliefs about success. And he contends that intention formation is an intrinsically ratiocinative procedure, distinct from reasoning about what action would be best. (shrink)

Niche construction is a concept that captures a wide array of biological phenomena, from the environmental effects of metabolism to the creation of complex structures such as termite mounds and beaver dams. A central point in niche construction theory is that organisms do not just passively undergo developmental, ecological, or evolutionary processes, but are also active participants in them Evolution: From molecules to men, Cambridge University Press, Cambridge, 1983; Laland KN, Odling-Smee J, Feldman MW, In: KN Laland and T Uller (...) Evolutionary causation: Biological and philosophical reflections, MIT Press, Cambridge, MA, 2019). In this paper, we distinguish between two fundamentally different ways in which organisms are active participants: as agents and as contributors. Roughly, organisms act as agents when niche constructing effects are a result of a goal-directed behavior over which the organisms have some degree of control. Organisms act as contributors when the niche constructing effects do not arise from a goal to perform the constructive activity. As illustrative examples we discuss plants altering leaf-morphology to optimize light exposure as reported by Sultan and bacteria creating novel niches through excreting energy-rich metabolites. The difference between agential and contributional niche construction is important for understanding the different ways organisms can actively participate in development, ecology, and evolution. Additionally, this distinction can increase our understanding of how the capacity of agency is distributed across the tree of life and how agency influences developmental and evolutionary processes. (shrink)

It is a little understood fact that the system of formal logic presented in Wittgenstein?s Tractatusprovides the basis for an alternative general semantics for a predicate calculus that is consistent and coherent, essentially independent of the metaphysics of logical atomism, and philosophically illuminating in its own right. The purpose of this paper is threefold: to describe the general characteristics of a Tractarian-style semantics, to defend the Tractatus system against the charge of expressive incompleteness as levelled by Robert Fogelin, and to (...) give a semantics for a formal language that is the Tractarian equivalent of a first-order predicate calculus. Of note in regard to the latter is the fact that a Tractatusstyle truth-definition makes no appeal to the technical trick of defining truth in terms of the satisfaction of predicates by infinite sequences of objects, yet is materially equivalent to the usual Tarski-style truth-definitions. (shrink)

In the most striking syntheses of ideas within his thought, and especially when he tries to relate the empirical world investigated by science to other ...

I hold no view as to what actions are basic, but I shall attempt to show in what follows that actions like raising an arm never are. My contention is that these actions involve actions of physical exertion on the part of the agent, the involvement being of a sort generally taken to be excluded by an actions being basic.

The paper interrogates the status, nature and significance of epistemological relativism as a key element of constructionism and critical realism. It finds that epistemological relativism is espoused by authorities in critical realism and marginalized or displaced in the field of management and organization studies, resulting in forms of analysis that are empirically, but not fully critically, realist. This evaluation prompts reflection on the question of whether, how and with what implications epistemological relativism might be recast at the heart of critical (...) realist studies of management and organization. (shrink)

Path-dependence offers a promising way of understanding the role historicity plays in explanation, namely, how the past states of a process can matter in the explanation of a given outcome. The two main existing accounts of path-dependence have sought to present it either in terms of dynamic landscapes or branching trees. However, the notions of landscape and tree both have serious limitations and have been criticized. The framework of causal networks is both more fundamental and more general that that of (...) landscapes and trees. Within this framework, I propose that historicity in networks should be understood as symmetry breaking. History matters when an asymmetric bias towards an outcome emerges in a causal network. This permits a quantitative measure for how path-dependence can occur in degrees, and offers suggestive insights into how historicity is intertwined both with causal structure and complexity. (shrink)

The results of this paper concern the effective cardinal structure of the subsets of [ω1]<ω1, the set of all countable subsets of ω1. The main results include dichotomy theorems and theorems which show that the effective cardinal structure is complicated.

The challenge this book addresses is to demonstrate how, in teaching content knowledge, the development of intellectual and moral dispositions as virtues is not merely a good idea, or peripheral to that content, but deeply embedded in the logic of searching for knowledge and truth. It offers a powerful example of how philosophy of education can be brought to bear on real problems of educational research and practice – pointing the reader to re-envision what it means to educate children by (...) developing the person, instead of simply knowledge and skills. Connected intimately to the practice of teaching and teacher education, the book sets forth an alternative theory of education where the developing person is at the center of education set in a moral space and a political order. To this end, a framework of public and personal knowledge forms the content, to which personal dispositions are integral, not peripheral. The book’s pedagogy is invitational, welcoming its readers as companions in inquiry and thought about the moral aspects of what we teach as knowledge. (shrink)

In The Death of Human Capital?, Phillip Brown, Hugh Lauder, and Sin Yi Cheung demonstrate that the human capital story is one of a failed revolution that requires an alternative approach to education, jobs, and income inequalities. Rather than abandoning human capital theory, the authors seek to redefine it in a way that more accurately addresses today's challenges presented by global competition, new technologies, economic inequalities, and national debt.

A model of interreligious theology that seeks to reconcile the ideal of religious tolerance with an acknowledgement of the extent to which religious communities construct identity on the basis of religious differences.

This article examines the emergence of the Nyāya distinction between vāda and jalpa as didactic-scientific and agonistic-sophistical forms of debate, respectively. Looking at the relevant sutras in Gautama’s Nyāya-sūtra (NS 1.2.1-3) in light of the earlier discussion of the types of debate in Caraka Saṃhitā 8, the article argues that certain ambiguities and obscurities in the former text can be explained on the hypothesis that the early Nyāya presupposed an agonistic understanding of vāda similar to what we find in Caraka.

The leadership development industry regularly claims to aid in developing effective, ethical leaders, using 360-degree psychometric assessments as key tools for so doing. This paper analyses the effects of such tools on those subjected to and subjectivised by them from a Foucauldian perspective. We argue that instead of encouraging ethical leadership such instruments inculcate practices and belief systems that perpetuate falsehoods, misrepresentations and inequalities. ‘Followers’ are presumed compliant, malleable beings needing leaders to determine what is in their interests. Such techniques (...) pursue productivity and profitability, rather than ethical leadership. We examine the Multifactor Leadership Questionnaire, a widely used 360-degree tool that measures transformational leadership, as an illustrative case study to substantiate these criticisms. (shrink)

A new preface by the author updates this classic text.

ABSTRACT Biomedical experimentation on animals is justified, researchers say, because of its enormous benefits to human beings. Sure, animals suffer and die, but that is morally insignificant since the benefits of research incalculably outweigh the evils. Although this utilitarian claim appears straightforward and relatively uncontroversial, it is neither straightforward nor uncontroversial. This defence of animal experimentation is likely to succeed only by rejecting three widely held moral presumptions. We identify these assumptions and explain their relevance to the justification of animal (...) experimentation. We argue that, even if non‐human animals have considerably less moral worth than humans, experimentation is justified only if the benefits are overwhelming. By building on and expanding on arguments offered in earlier papers, we show that researchers cannot substantiate their claims on behalf of animal research. We conclude that there is currently no acceptable utilitarian defence of animal experimentation. Moreover, it is unlikely that there could be one. Since most apologists of animal experimentation rely on utilitarian justifications of their practice, it appears that biomedical experimentation on animals is not morally justified. (shrink)

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

In the first part of this article an attempt was made to clear the ground for a functional theory of knowledge, and the discussion of structure and function with which it concluded enables us to approach the problem of cognition. If the view already set forth is sound, it seems clear that the relation of the mind to its object is a function and not a structure of the mental processes involved. The mere existence of a mental content, however complex (...) it may be, however decorated with fringes or set off by a background, does not constitute an act of knowledge or give the content a meaning. In order to see a mental act as cognitive we must consider its function, its origin, its results, and in general the circumstances in which it stands. (shrink)

ABSTRACT This paper takes issue with the idea that there is a variety of moral theories available which can in some way usefully be applied to problems in ethics. The idea is reflected in the common view that those favouring a systematic approach would do well to abandon consequentialist thinking and turn to some alternative theory. It is argued here that this is not an option, since each of the usual supposed alternatives lacks the independent resources to meet the minimal (...) requirements of being a moral theory at all. The aim is to demonstrate that virtue ethics, rights theory and deontology lack the different forms of explanation that would make them genuinely alternative theories. The conclusion is that this part of ethics is much more of a unity than is standardly assumed and that, far from our being able to move on from consequentialism, certain problems that arise from its very nature are bound to remain central to any attempt at moral theory. (shrink)