Understanding the relationship between wilderness outings and the resulting experience has been a central theme in resource-based, outdoor recreation research for nearly 50 years. The authors provide a review and synthesis of literature that examines how people, over time, build relationships with wilderness places and express their identities as consequences of multiple, ongoing wilderness engagements (i.e., continued participation). The paper reviews studies of everyday places and those specifically protected for wilderness and backcountry qualities. Beginning with early origins and working through (...) contemporary research the authors synthesize what diverse social scientists have learned about the long-term and continual nature of wilderness participation and its impact on the formation of identity. The thrust of the paper points researchers, planners, and managers in non-traditional directions and reframes goals and objectives for visitor planning and management in wilderness and other protected areas. (shrink)

This article identifies and compares meanings of wildfire risk mitigation for stakeholders in the Front Range of Colorado, USA. We examine the case of a collaborative partnership sponsored by government agencies and directed to decrease hazardous fuels in interface areas. Data were collected by way of key informant interviews and focus groups. The analysis is guided by the Circuit of Culture model in communication research. We found both shared and differing meanings between members of this partnership (the ‘‘producers’’) and other (...) stakeholders not formally in the partnership (the ‘‘consumers’’). We conclude that those promoting the partnership’s project to mitigate risk are primarily aligned with a discourse of scientific management. Stakeholders outside the partnership follow a discourse of community. We argue that failure to recognize and account for differences in the way risk mitigation is framed and related power dynamics could hamper the communicational efforts of the collaborative partnership and impact goals for fuels reduction. We recommend ways that both groups can capitalize on shared meanings and how agency managers and decision makers can build better working relationships with interface communities and other external stakeholders. (shrink)

I gave the name “R theory of time " to the Buddhist philosophy of time in my 2005 article in The 'Indian International Journal of Buddhist Studies because after studying the currently discussed non Buddhist philosophies of time that have been offered to us by many physicists and analytic philosophers, I found that they seemed to not agree as much as I thought theories of time should with the findings of quantum physicists. Rather, the non Buddhist philosophies of time seemed (...) to only be in agreement with relativistic physics, but not at all in agreement with quantum physics. But on the other hand, it seemed to me that the Buddhist philosophy of time agreed best with quantum theory, and thus I published an article about the Buddhist philosophy of time in order to try to show why. (shrink)

This article attempts to answer a question that many dancers and non-dancers may have. What is dance according to the media? Furthermore, how does the written word portray dance in the media? To answer these ques-tions, this research focuses on the role that the discourse of dance in media plays in the public sphere’s knowledge construction of dance. This is impor-tant to study because the public sphere’s meaning of dance will determine whether dance education is promoted or banned in schools (...) and in society. The aim of this paper is to contribute to the existing literature of dance in the media. One limitation of this contribution is that the research uses only newspaper articles as a source of analysis. Future research should include an analysis of visual and audio clips of dance as portrayed in the media. (shrink)

Wilfrid Sellars's "Empiricism and the Philosophy of Mind" begins with an argument against sense-datum epistemology. There is some question about the validity of this attack, stemming in part from the assumption that Sellars is concerned with epistemic foundationalism. This paper recontextualizes Sellars's argument in two ways: by showing how the argument of EPM relates to Sellars's 1940s work, which does not concern foundationalism at all; and by considering the view of H.H. Price, Sellars's teacher at Oxford and the only classical (...) datum theorist to receive substantive comment in EPM. Timm Triplett has claimed that Sellars's discussion simply begs the question against Price, but this depends on the mistaken assumption that Sellars's concern is with foundationalism. On the contrary, Sellars's argument concerns the assumption that the innate capacity for sensory experience counts as "thinking in presence" in the way needed for empiricist accounts of content acquisition. Price's distinction between noticing universals and being aware of them encapsulates the tensions empiricists face here. (shrink)

John P. Burgess is the John N. Woodhull Professor of Philosophy at Princeton University. He obtained his Ph.D. from the Logic and Methodology program at the University of California at Berkeley under the supervision of Jack H. Silver with a thesis on descriptive set theory. He is a very distinguished and influential philosopher of mathematics. He has written several books: A Subject with No Object (with G. Rosen, Oxford University Press, 1997), Computability and Logic (with G. Boolos and R. (...) class='Hi'>Jeffrey, 5th ed., Cambridge University Press, 2007), Fixing Frege (Princeton University Press, 2005), Mathematics, Models, and Modality (Cambridge University Press, 2007), Philosophical Logic (Princeton University Press, 2009), Truth (with A. G. Burgess, Princeton University Press, 2011), Saul Kripke: Puzzles & Mysteries (Polity Press, 2012), Rigor & Structure (Oxford University Press, 2015), and Set Theory (Cambridge Elements, Forthcoming). In this interview, Professor Burgess talks about how his interests in mathematics and philosophy developed and relate to each other. He then answers questions about specific themes of his philosophical work, with a focus on issues pertaining to philosophy of mathematics. (shrink)

Most accounts of cognitive scaffolding focus on ways that external structure can support or augment an agent’s cognitive capacities. We call cases where the interests of the user are served benign scaffolding and argue for the possibility and reality of hostile scaffolding. This is scaffolding which depends on the same capacities of an agent to make cognitive use of external structure as in benign cases, but that undermines or exploits the user while serving the interests of another agent. We develop (...) criteria for scaffolding being hostile and show by reference to examples including the design features of electronic gambling machines and casino management systems that hostile scaffolding exists and can be highly effective. In cases where the scaffolding is deep and permits the offloading of significant cognitive work, hostile scaffolding exploitatively manipulates cognitive processing itself. Given the extent of human reliance on scaffolding this is an important and neglected vulnerability. [This is an updated version of the paper, added in February 2023.]. (shrink)

In a previous issue of this journal, Michael Hicks challenges my critique of Wilfrid Sellars’s arguments against the given and against the foundationalist epistemology that relies on the idea of a sensory given. I had argued that Sellars’s well-known claim that the given is a myth does not succeed because at a critical juncture he misconstrued sense-datum theorists such as Bertrand Russell and H. H. Price. In his response to my argument, Hicks makes the striking claim that Sellars was not (...) targeting foundationalism at all in his discussion of the myth of the given. Hicks reconstructs a key argument in “Empiricism and the Philosophy of Mind” (EPM) in a way intended both to avoid any reference to foundationalism and to do a more effective job than does Sellars’s original argument in uncovering a dilemma for traditional empiricism. The present paper challenges Hicks on two fronts. First, it argues that Hicks’s reconstruction is not more successful than Sellars’s original argument. Second, a review of relevant passages in makes clear that the critique of foundationalism is a prominent aspect of Sellars’s multi-faceted attack on the given. The conclusion reasserts the significance of Sellars’s place in the history of twentieth-century analytic philosophy. (shrink)

I argue that we can achieve certainty about some empirical propositions. When someone is having a migraine and attending to it, she can be certain that she is in pain. I show that examples intended to undermine claims of certainty or to raise doubts about the reliability of introspection do not touch such cases. Traditional foundationalists have held that epistemically certain beliefs can serve as the basis for all one’s other justified beliefs. This is not so, because those beliefs that (...) are certain are spread too thinly to serve as broad justificatory foundations. Certainty has a different role. The best explanation for the existence of epistemically certain empirical beliefs is experientialism, the view that nondoxastic sensory experiences can justify beliefs. Experientialism then offers a framework for showing how the stream of sensory experiences can provide an adequate basis for the justification of our ordinary beliefs about the external world. (shrink)

Es wird gezeigt, dass Wittgenstein in seiner Frühphilosophie ein nicht-axiomatisches Beweisverständnis entwickelt, für das sich das Problem der Begründung der Axiome nicht stellt. Nach Wittgensteins Beweisverständnis besteht der Beweis einer formalen Eigenschaft einer Formel – z.B. der logischen Wahrheit einer prädikatenlogischen Formel oder der Gleichheit zweier arithmetischer Ausdrücke – in der Transformation der Formel in eine andere Notation, an deren Eigenschaften sich entscheiden lässt, ob die zu beweisende formale Eigenschaft besteht oder nicht besteht. Dieses Verständnis grenzt Wittgenstein gegenüber einem axiomatischen (...) Beweisverständnis ab. Sein Beweisverständnis bedingt ein Programm der Grundlegung der Mathematik, das eine Alternative zu den Ansätzen des Logizismus, Formalismus und Konstruktivismus darstellt. Wittgensteins Ansatz steht im Widerspruch zu den Ergebnissen der Metamathematik, da er die Möglichkeit der Formulierung von Entscheidungsverfahren in der Prädikatenlogik und Arithmetik voraussetzt. Um seinem Ansatz gegenüber der traditionellen Metamathematik Recht zu geben, müsste gezeigt werden, dass sein Beweisverständnis im Bereich der Logik und Arithmetik – der traditionellen Metamathematik zum Trotz – realisierbar ist. (shrink)

Decision theorists widely accept a stochastic dominance principle: roughly, if a risky prospect A is at least as probable as another prospect B to result in something at least as good, then A is at least as good as B. Recently, philosophers have applied this principle even in contexts where the values of possible outcomes do not have the structure of the real numbers: this includes cases of incommensurable values and cases of infinite values. But in these contexts the usual (...) formulation of stochastic dominance is wrong. We show this with several counterexamples. Still, the motivating idea behind stochastic dominance is a good one: it is supposed to provide a way of applying dominance reasoning in the stochastic context of probability distributions. We give two new formulations of stochastic dominance that are more faithful to this guiding idea, and prove that they are equivalent. (shrink)

This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context.

“Christianity is a μίμησις of the divine nature.” This definition of what it means to be a Christian, given by St Gregory of Nyssa in his letter De pro- fessione Christiana, employs a term commonly translated as “imitation” or “representation.” Even a brief study of some of the seminal sources of classical Greek thought, however, will show that the concept of mimesis surpasses any of these translations and effortlessly crosses the boundaries of the sphere of aesthetics, towards the fundamental questions (...) of epistemology, metaphysics, ontology, and ethics. An analysis of Gregory’s letter, together with the related treatise De perfectione, will then show his nuanced familiarity with the subtleties of mimesis, which he consciously employs to arrive at his definition of Christianity. With this in hand, I will argue that even some of Gregory’s most perplexing scriptural exegesis in his homilies on the Song of Songs grows out of his coherent concept of mimesis, which ultimately is of fundamental importance to Gregory’s anthropology, cosmology, and Christology. (shrink)

This paper examines two puzzles of indeterminacy. The first puzzle concerns the hypothesis that there is a unified phenomenon of indeterminacy. How are we to reconcile this with the apparent diversity of reactions that indeterminacy prompts? The second puzzle focuses narrowly on borderline cases of vague predicates. How are we to account for the lack of theoretical consensus about what the proper reaction to borderline cases is? I suggest (building on work by Maudlin) that the characteristic feature of indeterminacy is (...) alethic normative silence, and use this to explain both plurality and lack of consensus. (shrink)

My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a realm (...) of sui generis non-natural PROPERTIES. Semantic autonomy insists on a realm of sui generis non-natural PREDICATES which do not mean the same as any natural counterparts. Logical Autonomy maintains that moral conclusions cannot be derived from non-moral premises.-moral premises with the aid of logic alone. Logical Autonomy does not entail Semantic Autonomy and Semantic Autonomy does not entail Ontological Autonomy. But, given some plausible assumptions Ontological Autonomy entails Semantic Autonomy and given the conservativeness of logic – the idea that in a valid argument you don’t get out what you haven’t put in – Semantic Autonomy entails Logical Autonomy. So if Logical Autonomy is false – as Prior appears to prove – then Semantic and Ontological Autonomy would appear to be false too! I develop a version of Logical Autonomy (or NOFI) and vindicate it against Prior’s counterexamples, which are also counterexamples to the conservativeness of logic as traditionally conceived. The key concept here is an idea derived in part from Quine - that of INFERENCE-RELATIVE VACUITY. I prove that you cannot derive conclusions in which the moral terms appear non-vacuously from premises from which they are absent. But this is because you cannot derive conclusions in which ANY (non-logical) terms appear non-vacuously from premises from which they are absent Thus NOFI or Logical Autonomy comes out as an instance of the conservativeness of logic. This means that the reverse entailment that I have suggested turns out to be a mistake. The falsehood of Logical Autonomy would not entail either the falsehood Semantic Autonomy or the falsehood of Ontological Autonomy, since Semantic Autonomy only entails Logical Autonomy with the aid of the conservativeness of logic of which Logical Autonomy is simply an instance. Thus NOFI or Logical Autonomy is vindicated, but it turns out to be a less world-shattering thesis than some have supposed. It provides no support for either non-cognitivism or non-naturalism. (shrink)

The aim of this paper is to provide a conceptual framework that will help in understanding and evaluating, along social and ethical lines, the issue of killing day-old male chicks and two alternative directions of responsible innovations to solve this issue. The following research questions are addressed: Why is the killing of day-old chicks morally problematic? Are the proposed alternatives morally sound? To what extent do the alternatives lead to responsible innovation? The conceptual framework demonstrates clearly that there is a (...) moral “lock-in”, and why the killing of day-old chicks is indeed an issue. Furthermore, it is shown that both alternative directions address some important objections with regard to the killing of day-old chicks, but that they also raise new dilemmas. It also becomes clear that the framework enables and secures anticipation, reflection, deliberation with and responsiveness to stakeholders, the four dimensions of responsible innovation, in a structured way. (shrink)

Thomas Reid (1710–96) is increasingly being seen as a highly significant philosopher and a central figure in the Scottish Enlightenment. This new edition of Reid's classic philosophical text in the philosophy of mind at long last gives scholars a complete, critically edited text of the Inquiry. The critical text is based on the fourth life-time edition (1785). A selection of related documents showing the development of Reid's thought, textual notes, bibliographical details of previous editions and a full introduction by the (...) editor makes this an important contribution to the study of this increasingly respected philosopher. -/- Key Features - Complete, critically edited text of the Inquiry accompanied by a judicious selection of manuscript evidence relating to its composition - Comprehensive Introduction providing an historical and philosophical account of the formation of the Inquiry - Detailed textual notes which include bibliographical details and allusions, translations, references to secondary literature and selected passages from Reid's manuscripts. (shrink)

This article examines how Quine and Sellars develop informatively contrasting responses to a fundamental tension in Carnap’s semantics ca. 1950. Quine’s philosophy could well be styled ‘Essays in Radical Empiricism’; his assay of radical empiricism is invaluable for what it reveals about the inherent limits of empiricism. Careful examination shows that Quine’s criticism of Carnap’s semantics in ‘Two Dogmas of Empiricism’ fails, that at its core Quine’s semantics is for two key reasons incoherent and that his hallmark Thesis of Extensionalism (...) is untenable. The tension in Carnap’s semantics together with Quine’s exposure of the severe limits of radical empiricism illuminate central features of Sellars’s philosophy: the fully general form of the myth of givenness, together with Sellars’s alternative Kantian characterisation of understanding; the full significance of Carnap’s distinction between conceptual analysis and conceptual explication, and its important methodological implications; the specifically pragmatic character of Sellars’s realism; and Sellars’s methodological reasons for holding that philosophy must be systematic and that systematic philosophy must be deeply historically and textually informed. This paper thus re-examines this recent episode of philosophical history for its philosophical benefits and systematic insights. (shrink)

In his celebrated 'Good and Evil' (l956) Professor Geach argues as against the non-naturalists that ‘good’ is attributive and that the predicative 'good', as used by Moore, is senseless.. 'Good' when properly used is attributive. 'There is no such thing as being just good or bad, [that is, no predicative 'good'] there is only being a good or bad so and so'. On the other hand, Geach insists, as against non-cognitivists, that good-judgments are entirely 'descriptive'. By a consideration of what (...) it is to be an A, we can determine what it is to be a good A, even where the ‘A’ in question is ‘human being’. These battles are fought on behalf of naturalism, indeed, of an up-to-date Aristotelianism. Geach plans to 'pass' from the 'purely descriptive' man to good/bad man, and from human act to good/bad human act. I argue: (l) That the predicative 'good' does have a genuine sense and that it is a mistake to suppose that ‘good’ is a purely attributive adjective. This does not entail that the predicative good (as used by Moore) denotes a non-natural property, but his mistake, if any is metaphysical or ontological not conceptual. (2) That the attributive 'good' cannot be used to generate a naturalistic ethic. It is difficult to extract a set of biologically based requirements out of human nature that are a) reasonably specific; b) rationally binding or at least highly persuasive; and c) morally credible. -/- On the way I protest against Geach’s tendency to try to win arguments by affecting not to understand things. -/- My views to some extent anticipate those of Kraut in *Against Absolute Goodness*. (shrink)

This paper outlines Lewis’s favoured foundational account of linguistic representation, and outlines and briefly evaluates variations and modifications. Section 1 gives an opinionated exegesis of Lewis’ work on the foundations of reference—his interpretationism. I look at the way that the metaphysical distinction between natural and non-natural properties came to play a central role in his thinking about language. Lewis’s own deployment of this notion has implausible commitments, so in section 2 I consider variations and alternatives. Section 3 briefly considers a (...) buck-passing strategy involving fine-grained linguistic conventions. (shrink)

While Immanuel Kant is an epochal figure in a variety of fields, he has not figured prominently in the study of rhetoric and communication. This book represents the most detailed examination available into Kant's uneasy but often misunderstood relationship with rhetoric. By explicating Kant's complex understanding of rhetoric, this book advances the thesis that communicative practices play an important role in Kant's account of how we become better humans and how we create morally cultivating communities.

Explanations in behavioural neuroscience are often said to be mechanistic in the sense that they explain an organism’s behaviour by describing the activities and organisation of the organism’s parts that are “constitutively relevant” to organism behaviour. Much has been said about the constitutive relevance of working parts (in debates about the so-called “mutual manipulability criterion”), but relatively little has been said about the constitutive relevance of the organising relations between working parts. Some New Mechanists seem to endorse a simple causal-linking (...) account: organising relations are constitutively relevant to organism behaviour if and only if (and because) they are causal relations that link the working parts that are constitutively relevant to organism behaviour. In this paper, I argue that the causal-linking account is inadequate because it neglects the constitutive relevance of anatomical relations that organise the working parts of a behaving organism. I demonstrate this by considering a case study where the anatomical organisation of the barn owl (Tyto alba) is constitutively relevant to their mechanism for sound localization. The anatomical organisation of this mechanism is best understood as the back-and-forth flow of task information across 7 “levels of anatomy” (a notion that I distinguish from levels of mechanism). A further implication, I conclude, is that at least some of the interlevel structure of neuroscientific explanation is accounted for by levels of anatomy, not levels of mechanism. (shrink)

Anhand der genaueren Analyse von Newtons experimentum crucis und der Argumentation, die er auf dieses Experiment stützt, sowie Goethes Kritik hieran sollen im Folgenden zwei verbreitete Vorurteile revidiert werden: -/- 1. Newton ist kein Dogmatiker, der methodische Ansprüche vertritt, die er nicht einlösen kann, sondern gründet seinen Anspruch, experimentelle Beweise führen zu können, auf einer vorbildlichen Methodologie kausaler Erklärungen, was seine Kritiker allerdings übersehen. 2. Goethe ist kein Antiwissenschaftler, der einen einzigartigen Kontrapunkt zur vorherrschenden wissenschaftlichen Tradition bildet, sondern steht inmitten (...) traditioneller Auffassungen zur Farbenlehre, deren experimentelle und methodologische Grundlagen bezüglich eines Erklärungsanspruches denen Newtons unterlegen sind. (shrink)

In §8 of Remarks on the Foundations of Mathematics (RFM), Appendix 3 Wittgenstein imagines what conclusions would have to be drawn if the Gödel formula P or ¬P would be derivable in PM. In this case, he says, one has to conclude that the interpretation of P as “P is unprovable” must be given up. This “notorious paragraph” has heated up a debate on whether the point Wittgenstein has to make is one of “great philosophical interest” revealing “remarkable insight” in (...) Gödel’s proof, as Floyd and Putnam suggest (Floyd (2000), Floyd (2001)), or whether this remark reveals Wittgenstein’s misunderstanding of Gödel’s proof as Rodych and Steiner argued for recently (Rodych (1999, 2002, 2003), Steiner (2001)). In the following the arguments of both interpretations will be sketched and some deficiencies will be identified. Afterwards a detailed reconstruction of Wittgenstein’s argument will be offered. It will be seen that Wittgenstein’s argumentation is meant to be a rejection of Gödel’s proof but that it cannot satisfy this pretension. (shrink)

This article considers two important traditions concerning the chemical elements. The first is the meaning of the term “element” including the distinctions between element as basic substance, as simple substance and as combined simple substance. In addition to briefly tracing the historical development of these distinctions, I make comments on the recent attempts to clarify the fundamental notion of element as basic substance for which I believe the term “element” is best reserved. This discussion has focused on the writings of (...) Fritz Paneth which are here analyzed from a new perspective. The other tradition concerns the reduction of chemistry to quantum mechanics and an understanding of chemical elements through their microscopic components such as protons, neutrons and electrons. I claim that the use of electronic configurations has still not yet settled the question of the placement of several elements and discuss an alternative criterion based on maximizing triads of elements. I also point out another possible limitation to the reductive approach, namely the failure, up to now, to obtain a derivation of the Madelung rule. Mention is made of some recent similarity studies which could be used to clarify the nature of ‘elements’. Although it has been suggested that the notion of element as basic substance should be considered in terms of fundamental particles like protons and electrons, I resist this move and conclude that the quantum mechanical tradition has not had much impact on the question of what is an element which remains an essentially philosophical issue. (shrink)

In his early philosophy as well as in his middle period, Wittgenstein holds a purely syntactic view of logic and mathematics. However, his syntactic foundation of logic and mathematics is opposed to the axiomatic approach of modern mathematical logic. The object of Wittgenstein’s approach is not the representation of mathematical properties within a logical axiomatic system, but their representation by a symbolism that identifies the properties in question by its syntactic features. It rests on his distinction of descriptions and operations; (...) its aim is to reduce mathematics to operations. This paper illustrates Wittgenstein’s approach by examining his discussion of irrational numbers. (shrink)

This paper illustrates what a philosophical and a logical investigation of colors amounts to in contrast to other kinds of color analysis such as physical, physiological, chemical, psychological or cultural analysis of colors. Neither a philosophical nor a logical analysis of colors is concerned with specific aspects of colors. Rather, these kinds of color analysis are concerned with what one might call “logical foundations of color theory”. I will illustrate this first by considering philosophical and then logical analysis of colors.

Unfortunately, many people today see the regulation of lies, disinformation, hate speech, and fake news as an infringement of free speech, at least when such speech is ‘political,’ despite the damage that such speech can do. But this very protective attitude toward speech rests on a mistaken understanding of the role of free speech in a liberal society. The right to free speech is based on the liberal value of freedom, and as such can be no broader than freedom itself. (...) And freedom has always been subject to reasonable limits in a liberal society. Indeed, while the principles of toleration and neutrality are often cited as supporting a broad interpretation of the right to free speech, they also tell us that certain limits apply to that right. We need not tolerate speech that encourages intolerance, and while government should be neutral between reasonable conceptions of the good, it need not be neutral between reasonable and unreasonable conceptions. These ideas form the framework of liberal society, and as I shall show, also provide a guide for understanding what kind of speech is protected in a liberal society and what it is not. (shrink)

This paper describes a decision procedure for disjunctions of conjunctions of anti-prenex normal forms of pure first-order logic (FOLDNFs) that do not contain V within the scope of quantifiers. The disjuncts of these FOLDNFs are equivalent to prenex normal forms whose quantifier-free parts are conjunctions of atomic and negated atomic formulae (= Herbrand formulae). In contrast to the usual algorithms for Herbrand formulae, neither skolemization nor unification algorithms with function symbols are applied. Instead, a procedure is described that rests on (...) nothing but equivalence transformations within pure first-order logic (FOL). This procedure involves the application of a calculus for negative normal forms (the NNF-calculus) with A -||- A & A (= &I) as the sole rule that increases the complexity of given FOLDNFs. The described algorithm illustrates how, in the case of Herbrand formulae, decision problems can be solved through a systematic search for proofs that reduce the number of applications of the rule &I to a minimum in the NNF-calculus. In the case of Herbrand formulae, it is even possible to entirely abstain from applying &I. Finally, it is shown how the described procedure can be used within an optimized general search for proofs of contradiction and what kind of questions arise for a &I-minimal proof strategy in the case of a general search for proofs of contradiction. (shrink)

We analyze the logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance. The form of the assumptions which justify analogies is given schematically as the "determination rule", so called because it expresses the relation of one set of variables determining the values of another set. The determination relation is a logical generalization of the different types of dependency relations defined in database theory. Specifically, we define determination as a relation between schemata of first (...) order logic that have two kinds of free variables: (1) object variables and (2) what we call "polar" variables, which hold the place of truth values. Determination rules facilitate sound rule inference and valid conclusions projected by analogy from single instances, without implying what the conclusion should be prior to an inspection of the instance. They also provide a way to specify what information is sufficiently relevant to decide a question, prior to knowledge of the answer to the question. (shrink)

The young Wittgenstein called his conception of logic “New Logic” and opposed it to the “Old Logic”, i.e. Frege’s and Russell’s systems of logic. In this paper the basic objects of Wittgenstein’s conception of a New Logic are outlined in contrast to classical logic. The detailed elaboration of Wittgenstein’s conception depends on the realization of his ab-notation for first order logic.

Cognitive scaffolding refers to external structures that change the cognitive demands of tasks. This dissertation begins by reviewing the literature around scaffolding—discussing key thinkers such as Hutchins (1995a), Clark (1997) and Sterelny (2003, 2010). I then develop the above scaffolding characterisation by drawing a distinction between shallow and deep scaffolding. Shallow scaffolding primarily involves cues, whereas deep scaffolding involves the significant offloading of cognitive work. By appealing to the complementarity thesis, I show that deep scaffolds can be explained through a (...) model of cognitive extension (Menary, 2006; Sutton, 2010). Most crucially, despite the abundance of benign/ neutral examples in the literature, I argue that scaffolding can also be ‘hostile’ to agents’ interests—benefitting one agent while undermining another. I draw on Sterelny (2003) to clarify my use of the word ‘hostile’ and also specify what I mean by ‘interests’. I then review authors with similar concerns to my own—i.e., the lack of discussion around external structures that negatively impact agents (Aagaard, 2020; Liao & Huebner, 2020; Slaby, 2016). Despite these authors’ concerns, the idea of ‘hostile scaffolding’ is not quite reached. I then present examples of shallow hostile scaffolding by reviewing how sunglasses (Viola, 2022) and casino interior design and ambience (Friedman, 2000; Schüll, 2012) can be hostile. Most importantly, I show that deep hostile scaffolding is a genuine concern (and not only a theoretical one) by reviewing gambling machines that use player tracking systems and virtual reel mapping (Schüll, 2012), as well as Twitter’s use of gamification (Nguyen, 2021). I close the dissertation by discussing avenues for future hostile scaffolding research. This includes the ethical implications deep hostile scaffolding, scaffolding’s role in forming addictive behavior, other instance of gamification, ‘racist scaffolding’, and hostile scaffolding in developing technologies (such as VR, dark patterns and AI). (shrink)

In the TACITUS project for using commonsense knowledge in the understanding of texts about mechanical devices and their failures, we have been developing various commonsense theories that are needed to mediate between the way we talk about the behavior of such devices and causal models of their operation. Of central importance in this effort is the axiomatization of what might be called commonsense metaphysics. This includes a number of areas that figure in virtually every domain of discourse, such as granularity, (...) scales, time, space, material, physical objects, shape, causality, functionality, and force. Our effort has been to construct core theories of each of these areas, and then to define, or at least characterize, a large number of lexical items in terms provided by the core theories. In this paper we discuss our methodological principles and describe the key ideas in the various domains we are investigating. (shrink)

People with the kind of preferences that give rise to the St. Petersburg paradox are problematic---but not because there is anything wrong with infinite utilities. Rather, such people cannot assign the St. Petersburg gamble any value that any kind of outcome could possibly have. Their preferences also violate an infinitary generalization of Savage's Sure Thing Principle, which we call the *Countable Sure Thing Principle*, as well as an infinitary generalization of von Neumann and Morgenstern's Independence axiom, which we call *Countable (...) Independence*. In violating these principles, they display foibles like those of people who deviate from standard expected utility theory in more mundane cases: they choose dominated strategies, pay to avoid information, and reject expert advice. We precisely characterize the preference relations that satisfy Countable Independence in several equivalent ways: a structural constraint on preferences, a representation theorem, and the principle we began with, that every prospect has a value that some outcome could have. (shrink)

I defend an ontological distinction between three kinds of relation: internal,external and grounded relations. Even though, as we shall see, this trichotomy is basic, it is not found in influential contemporary metaphysics. Specifically, the widespread tendency, exemplified notably by David Armstrong, of not recognizing grounded relations as distinct from external relations, can be shown to be mistaken. I propose a definition of each of the three kinds of relation. Of vital importance to the parsimony of metaphysics, I also argue that (...) only external relations are ontologically fundamental. (shrink)

I claim that Berkeley's main argument against abstraction comes into focus only when we see Descartes as one of its targets. Berkeley does not deploy Winkler's impossibility argument but instead argues that what is impossible is inconceivable. Since Descartes conceives of extension as a determinable, and since determinables cannot exist as such, he falls within the scope of Berkeley's argument.

The most discussed theory of law of the twentieth century – HLA Hart’s theory from _The Concept of Law_ – is fundamentally _psychological_. It explains the existence of legal systems in terms of an attitude taken by legal officials: the internal point of view. Though much has been said about this attitude (what statements _express_ it, what it is _not_, how Hart _ought_ to have conceived of it, etc.), we nonetheless lack an adequate account of the attitude itself. This paper (...) presents and defends an account of the internal point of view and shows how, when understood as the account suggests, this attitude can play the several roles that Hartian positivists need it to play. (shrink)

Should we make significant sacrifices to ever-so-slightly lower the chance of extremely bad outcomes, or to ever-so-slightly raise the chance of extremely good outcomes? *Fanaticism* says yes: for every bad outcome, there is a tiny chance of extreme disaster that is even worse, and for every good outcome, there is a tiny chance of an enormous good that is even better. I consider two related recent arguments for Fanaticism: Beckstead and Thomas's argument from *strange dependence on space and time*, and (...) Wilkinson's *Indology* argument. While both arguments are instructive, neither is persuasive. In fact, the general principles that underwrite the arguments (a *separability* principle in the first case, and a *reflection* principle in the second) are *inconsistent* with Fanaticism. In both cases, though, it is possible to rehabilitate arguments for Fanaticism based on restricted versions of those principles. The situation is unstable: plausible general principles tell *against* Fanaticism, but restrictions of those same principles (with strengthened auxiliary assumptions) *support* Fanaticism. All of the consistent views that emerge are very strange. (shrink)

At the core of Kant’s Critique of Pure Reason was a decisive break with certain fundamental Cartesian assumptions or claims about consciousness and self-consciousness, claims that have nonetheless remained perennially tempting, from a phenomenological perspective, independently of any further questions concerning the metaphysics of mind and its place in nature. The core of this philosophical problem has recently been helpfully exposed and insightfully probed in Dan Zahavi’s book, Self and Other: Exploring Subjectivity, Empathy, and Shame. In these remarks I suggest (...) that Zahavi’s view of what he calls ‘The Experiential Self’ defends precisely the sorts of claims to which a Kantian account of consciousness is fundamentally opposed, and while assessing the overall merits of the two contrasting outlooks is no easy matter, I side with the Kantian view. (shrink)

When faced with multiple claims to a particular good, what does distributive justice require? To answer this question, we need a substantive moral theory that will enable us assign relative moral weights to the parties' claims. But this is not all we need. Once we have assessed the moral weight of each party's claim, we still need to decide what method of distribution to employ, for there are two methods open to us. We could take the winner-take-all approach, and award (...) the good to the party with the strongest claim. On the other hand, we could divide the good proportionally, according to the relative strength of each party's claim. Because the choice between these two methods of distribution can have a dramatic impact on the resulting pattern of distribution, the choice presents a question of justice. But this is a question of justice that is often overlooked. As a result, we currently employ the principle of proportionality far less often than justice actually requires. If we focus on the question of distributive method, however, we are not only better able to understand how certain reasons enter into our all-things-considered moral judgments, we are also able to explain some perplexing but common aspects of our moral beliefs: how rights can be said to have peremptory force, yet still be balanced against other important interests; how justice can sometimes require compromise, yet sometimes require victory; and how a moral theory can avoid being too demanding while still being demanding enough. Key Words: autonomy • equality • indivisibility • inviolability • weighted lotteries • rights. (shrink)

The paper addresses the nature of duties grounded in human rights. Rather than being protections against harm, per se, I contend that human rights largely shield against risk impositions to protected interests. “Risk imposition” is a normative idea requiring explication, but understanding dutiful action in its terms enables human rights to provide prospective policy guidance, hold institutions accountable, operate in non-ideal circumstances, embody impartiality among persons, and define the moral status of agencies in international relations. Slightly differently, I indicate a (...) general understanding of dutiful action that permits human rights to see to the tasks of an institutional morality. (shrink)

In summaries of “best practices” for pedagogy, one typically encounters enthusiastic advocacy for metacognition. Some researchers assert that the body of evidence supplied by decades of education studies indicates a clear pedagogical imperative: that if one wants their students to learn well, one must implement teaching practices that cultivate students’ metacognitive skills. -/- In this dissertation, I counter that education research does not impose such a mandate upon instructors. We lack sufficient and reliable evidence from studies that use the appropriate (...) research design to validate the efficacy of metacognitive skill-building interventions (not just evaluate their relationship to learning outcomes). I argue that improved academic outcomes following these interventions aren’t necessarily mediated by increased metacognitive skills; rather, enhanced student performance can be accounted for by other factors that accompany metacognitive training, particularly the explicit provision of domain-specific knowledge. -/- On the way to this conclusion, I elaborate some complications and controversies surrounding “metacognition.” This is a sprawling and nebulous construct, which makes generalizations about its pedagogical value dubious from the outset. Moreover, it is unclear the extent to which the end goal of metacognitive skill-building (cognitive self-mastery, involving knowledge of and control over our own minds) is even possible, given our mental architecture; some cognitive scientists allege that we are subject to phenomenological illusions which make this seem more achievable than it actually is. -/- I also attempt to provide an account of how metacognitive skill-building could receive glowing endorsements from educators and education researchers, even though its conceptual and empirical underpinnings are flimsy. The error theory I offer identifies two major factors that may foster belief in the efficacy of metacognitive training: goalpost-shifting around the objective of such efforts, and motivated reasoning in defense of the desirable conclusion that educators can significantly reshape students’ minds and unlock their intellectual potential through simple pedagogical interventions. (shrink)

Taking my cue from Michael Smith, I try to extract a decent argument for non-cognitivism from the text of the Treatise. I argue that the premises are false and that the whole thing rests on a petitio principi. I then re-jig the argument so as to support that conclusion that Hume actually believed (namely that an action is virtuous if it would excite the approbation of a suitably qualified spectator). This argument too rests on false premises and a begged question. (...) Thus the Motivation Argument fails BOTH as an argument for noncognitivism AND as an argument for what Hume actually believed, that moral distinctions are not derived from reason and that moral properties are akin to secondary qualities. So far as the Motivation Argument is concerned, both cognitivists and rationalists can rest easy. Themes: 1) Hume’s Slavery of Reason thesis is only defensible if passions are not only desires but sometimes dispositions to acquire desires (DTADs). 2) A desire for our good on the whole, which Humeans need to posit to fend off apparent counterexamples to the Slavery of Reason Thesis, does not sit well with the Humean theory of how novel desires arise (an objection due originally to Reid). 3) Hume is wrong to suppose that ‘abstract or demonstrative reasoning never influences any of our actions, but only as it directs our judgment concerning causes and effects’ as the examples of Russell and Hobbes convincingly demonstrate. This ironic as both Russell and Hobbes subscribed to the Slavery of Reason Thesis. 4) I critique Michael Smith’s critique of motivational externalism. (shrink)

ABSTRACTIn this paper I defend a form of epistocracy I call limited epistocracy – rule by institutions housing expertise in non-political areas that become politically relevant. This kind of limited epistocracy, I argue, isn't a far-off fiction. With increasing frequency, governments are outsourcing political power to expert institutions to solve urgent, multidimensional problems because they outperform ordinary democratic decision-making. I consider the objection that limited epistocracy, while more effective than its competitors, lacks a fundamental intrinsic value that its competitors have; (...) namely, political inclusion. After explaining this challenge, I suggest that limited epistocracies can be made compatible with robust political inclusion if specialized institutions are confined to issuing directives that give citizens multiple actionable options. I explain how this safeguards citizens’ inclusion through rational deliberation, choice, and contestation. (shrink)