This paper describes an AFOSR-supported basic research program that focuses on developing a new framework for combining hard with soft data in order to improve space situational awareness. The goal is to provide, in an automatic and near real-time fashion, a ranking of possible threats to blue assets (assets trying to be protected) from red assets (assets with hostile intentions). The approach is based on Conceptual Spaces models, which combine features from traditional associative and symbolic cognitive models. While Conceptual Spaces (...) are revolutionary, they lack an underlying mathematical framework. Several such frameworks have attempted to represent Conceptual Spaces, but by far the most robust is the model developed by Holender. His model utilizes integer linear programming in order to obtain an overall similarity value between observations and concepts that support the formation of hypotheses. This paper will describe a method for building Conceptual Spaces models for threats that utilizes ontologies as a means to provide a clear semantic foundation for this inferencing process; in particular threat ontologies and space domain ontologies are developed and employed in this approach. A space situational awareness use-case is presented involving a kinetic kill scenario and results are shown to assess the performance of this fusion-based inferencing framework. (shrink)

This paper provides a method for characterizing space events using the framework of conceptual spaces. We focus specifically on estimating and ranking the likelihood of collisions between space objects. The objective is to design an approach for anticipatory decision support for space operators who can take preventive actions on the basis of assessments of relative risk. To make this possible our approach draws on the fusion of both hard and soft data within a single decision support framework. Contextual data is (...) also taken into account, for example data about space weather effects, by drawing on the Space Domain Ontologies, a large system of ontologies designed to support all aspects of space situational awareness. The framework is coupled with a mathematical programming scheme that frames a mathematically optimal approach for decision support, providing a quantitative basis for ranking potential for collision across multiple satellite pairs. The goal is to provide the broadest possible information foundation for critical assessments of collision likelihood. (shrink)

The term ‘intelligence’ as used in this paper refers to items of knowledge collected for the sake of assessing and maintaining national security. The intelligence community (IC) of the United States (US) is a community of organizations that collaborate in collecting and processing intelligence for the US. The IC relies on human-machine-based analytic strategies that 1) access and integrate vast amounts of information from disparate sources, 2) continuously process this information, so that, 3) a maximally comprehensive understanding of world actors (...) and their behaviors can be developed and updated. Herein we describe an approach to utilizing outcomes-based learning (OBL) to support these efforts that is based on an ontology of the cognitive processes performed by intelligence analysts. Of particular importance to the Cognitive Process Ontology is the class Representation that is Warranted. Such a representation is descriptive in nature and deserving of trust in its veridicality. The latter is because a Representation that is Warranted is always produced by a process that was vetted (or successfully designed) to reliably produce veridical representations. As such, Representations that are Warranted are what in other contexts we might refer to as ‘items of knowledge’. (shrink)

The overall goal of the approach developed in this paper is to estimate the likelihood of a given kinetic kill scenario between hostile spacebased adversaries using the mathematical framework of Complex Conceptual Spaces Single Observation. Conceptual spaces are a cognitive model that provide a method for systematically and automatically mimicking human decision making. For accurate decisions to be made, the fusion of both hard and soft data into a single decision framework is required. This presents several challenges to this data (...) fusion framework. The first is the challenge involved in handling multiple complex terminologies, which is addressed by drawing on a set of Space Domain Ontologies. Another challenge is the complex combinatorics involved when considering all possible feature combinations. This can be mitigated by using integer linear programming optimization that is outlined by the Complex Conceptual Spaces Single Observation mathematical model framework. A third challenge is the complicated physics that is involved in a spacecraft collision that must be addressed to obtain a better understanding of threat assessment. Overcoming these various challenges allows for a quantitative ranking for the potential of a kinetic kill collision across multiple spacecraft pairs. In addition to overcoming these challenges this paper will break down threat assessment into four domains and identify a ranking of threat both for each individual domain and for the four domains combined. Simulation results are shown to verify the developed concepts. (shrink)

Previous work has shown that the Complex Conceptual Spaces − Single Observation Mathematical framework is a useful tool for event characterization. This mathematical framework is developed on the basis of Conceptual Spaces and uses integer linear programming to find the needed similarity values. The work of this paper is focused primarily on space event characterization. In particular, the focus is on the ranking of threats for malicious space events such as a kinetic kill. To make the Conceptual Spaces framework work, (...) the similarity values between the contents of observations on the one hand and the properties of the entities observed on the other needs to be found. This paper shows how to exploit Dempster-Shafer theory to implement a statistical approach for finding these similarities values. This approach will allow a user to identify the uncertainty involved in similarity value data, which can later be propagated through the developed mathematical model in order for the user to know the overall uncertainty in the observation-to-concept mappings needed for space event characterization. (shrink)

We are immersed within an odorous sea of chemical currents that we parse into individual odors with complex structures. Odors have been posited as determined by the structural relation between the molecules that compose the chemical compounds and their interactions with the receptor site. But, naturally occurring smells are parsed from gaseous odor plumes. To give a comprehensive account of the nature of odors the chemosciences must account for these large distributed entities as well. We offer a focused review of (...) what is known about the perception of odor plumes for olfactory navigation and tracking, which we then connect to what is known about the role odorants play as properties of the plume in determining odor identity with respect to odor quality. We end by motivating our central claim that more research needs to be conducted on the role that odorants play within the odor plume in determining odor identity. (shrink)

A belief one has is safe if either (i) it could not easily be false or (ii) in any nearby world in which it is false, it is not formed using the method one uses to form one’s actual belief. It seems our mathematical beliefs are safe if mathematical pluralism is true: if, loosely put, almost any consistent mathematical theory is true. It seems, after all, that in any nearby world where one’s mathematical beliefs differ from one’s actual beliefs, one (...) would believe some other true, consistent theory. Focusing on Justin Clarke-Doane’s recent discussion, I argue the thesis that mathematical beliefs are safe given pluralism faces some obstacles. I argue (i) is true of mathematical belief given pluralism only if we deny plausible claims about the interpretation of non-pluralists who many of us could easily be. Unless strong metasemantic theses are true, it is plausible many of us could easily deny or refuse to believe a consistent and true mathematical theory we actually believe. Since philosophical arguments and controversies permeate the methodology of foundational mathematics, I argue we cannot confidently distinguish the methods we use in mathematics between worlds, thus raising doubts about (ii). (shrink)

Why are natural theories pre-well-ordered by consistency strength? In previous work, an approach to this question was proposed. This approach was inspired by Martin's Conjecture, one of the most prominent conjectures in recursion theory. Fixing a reasonable subsystem $T$ of arithmetic, the goal was to classify the recursive functions that are monotone with respect to the Lindenbaum algebra of $T$. According to an optimistic conjecture, roughly, every such function must be equivalent to an iterate $\mathsf{Con}_T^\alpha$ of the consistency operator ``in (...) the limit'' within the ultrafilter of sentences that are true in the standard model. In previous work the author established the first case of this optimistic conjecture; roughly, every recursive monotone function is either as weak as the identity operator in the limit or as strong as $\mathsf{Con}_T$ in the limit. Yet in this note we prove that this optimistic conjecture fails already at the next step; there are recursive monotone functions that are neither as weak as $\mathsf{Con}_T$ in the limit nor as strong as $\mathsf{Con}_T^2$ in the limit. In fact, for every $\alpha$, we produce a function that is cofinally equivalent to $\mathsf{Con}^\alpha_T$ yet cofinally equivalent to $\mathsf{Con}_T$. (shrink)

In this chapter I argue that writers on metaphor have misunderstood Aristotle on metaphor. Aristotle is not an elitist about metaphor and does not consider metaphors to be merely ornamental. Rather, Aristotle believes that metaphors are ubiquitous and believes that people can express themselves in a clearer and more attractive way through the use of metaphors and that people learn and understand things better through metaphor. He also distinguishes between the use of metaphor and the coinage of metaphor, and believes (...) that the ability to coin marvelous new metaphors is a form of literary genius, and he provided an entirely natural origin of metaphor coinage. (shrink)

In How We Get Along, philosopher David Velleman compares our social interactions to the interactions among improvisational actors on stage. He argues that we play ourselves - not artificially but authentically, by doing what would make sense coming from us as we really are. And, like improvisational actors, we deal with one another in dual capacities: both as characters within the social drama and as players contributing to the shared performance. In this conception of social intercourse, Velleman finds rational grounds (...) for morality, though not a rational guarantee. He maps a middle course between skepticism and rationalism, arguing that practical reasoning is 'pro-moral' without requiring moral action. The result is what he calls a 'Kinda Kantian metaethics'. How We Get Along is the summation of Velleman's thinking to date, incorporating and unifying previous work on agency, the self, the emotions, narrative and Kantian moral theory. (shrink)

This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and its relation to falsity. It is well known both that intuitionism can not deal constructively with negative information, and that defining falsity by means of intuitionistic negation leads, under widely-held assumptions, to a justification of bivalence. For example, we do not want to (...) equate falsity with the non-existence of a proof since this would render a statement such as “pi is transcendental” false prior to 1882. In addition, the intuitionist account of negation as shorthand for the derivation of absurdity is inadequate, particularly outside of purely mathematical contexts. To deal with these issues, I investigate the dual of intuitionistic logic, co-intuitionistic logic, as a logic of refutation, alongside intuitionistic logic of proofs. Direct proof and refutation are dual to each other, and are constructive, whilst there also exist syntactic, weak, negations within both logics. In this respect, the logic of refutation is weakly paraconsistent in the sense that it allows for statements for which, neither they, nor their negation, are refuted. I provide a proof theory for the co-constructive logic, a formal dualizing map between the logics, and a Kripke-style semantics. This is given an intuitive philosophical rendering in a re-interpretation of Kolmogorov’s logic of problems. (shrink)

This (1982) essay sets out the claim that psychoanalysis is a cogent extension of the intuitive common sense psychology by which we naturally understand human action. In this psychology explanation proceeds by relating actions to the logically and causally cohering desires and beliefs of agents. As Freud showed, this kind of explanation is systematically deepened and extended by the explanation of dreams, the symptoms of mental disorder, and other related phenomena via the Freudian concept of wish fulfilment, which was later (...) extended to the more inclusive post-Freudian concept of phantasy. In this extension everyday actions, such as Freud's writing up his patient Irma's case history on the day before his dream of Irma's injection, are seen to be rooted in the same unconscious motives as are represented as fulfilled in dreams and symptoms -- e.g., in this case, by unconscious stirrings of deep guilt on the topic of injection, of which Freud was unaware until he analysed the dream. As this illustrates, the understanding of wishfulfilments and other formations of phantasy enables us fill out our account of agents and their actions by adding a stock of previously unacknowledged desires and modes of expression of desire. These are seen to cohere with, and also to deepen, our previous understanding: after understanding Freud's dream, we also have a deeper and firmer (and so more cogent) understanding of his behaviour on the previous day. In this way Freud effected an extension of our everyday mode of understanding that was cogent, cumulative, and radical, as illustrated further by examination of Freud's case history of the patient described as the Rat Man. (shrink)

This paper examines Confucian, Daoist and Legalist view of self-realization zide 自得.

This project has been supported by the Australian Government through the Australian Research Council (project number CS170100008); the Department of Industry, Innovation and Science; and the Department of Prime Minister and Cabinet. ACOLA collaborates with the Australian Academy of Health and Medical Sciences and the New Zealand Royal Society Te Apārangi to deliver the interdisciplinary Horizon Scanning reports to government. The aims of the project which produced this report are: 1. Examine the transformative role that artificial intelligence may play in (...) different sectors of the economy, including the opportunities, risks and challenges that advancement presents. 2. Examine the ethical, legal and social considerations and frameworks required to enable and support broad development and uptake of artificial intelligence. 3. Assess the future education, skills and infrastructure requirements to manage workforce transition and support thriving and internationally competitive artificial intelligence industries. (shrink)

Naïve realism, often overlooked among philosophical theories of perception, has in recent years attracted a surge of interest. Broadly speaking, the central commitment of naïve realism is that mind-independent objects are essential to the fundamental analysis of perceptual experience. Since the claims of naïve realism concern the essential metaphysical structure of conscious perception, its truth or falsity is of central importance to a wide range of topics, including the explanation of semantic reference and representational content, the nature of phenomenal consciousness, (...) and the basis of perceptual justification and knowledge. One of the greatest difficulties surrounding discussions of naïve realism, however, has been lack of clarity concerning exactly what affirming or denying it entails. In particular, it is sometimes unclear how naïve realism is related to the claim that perceptual experience is in some sense direct or unmediated, and also to what extent the view is compatible with another widely discussed thesis in the philosophy of perception, the claim that perceptual experiences are states with representational content. In this essay, I discuss how recent work on these issues helps to clarify both the central commitments of naïve realism, as well as its relation to representationalist theories of perception. Along the way, I will attempt to shed light on the different ways in which each approach tries to address the various theoretical challenges facing a philosophical theory of perception, and also to assess the prospects for views that attempts to combine features of each approach. (shrink)

An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical world and (...) are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

Integrated Information Theory (IIT) identifies consciousness with having a maximum amount of integrated information. But a thing’s having the maximum amount of anything cannot be intrinsic to it, for that depends on how that thing compares to certain other things. IIT’s consciousness, then, is not intrinsic. A mereological argument elaborates this consequence: IIT implies that one physical system can be conscious while a physical duplicate of it is not conscious. Thus, by a common and reasonable conception of intrinsicality, IIT’s consciousness (...) is not intrinsic. It is then argued that to avoid the implication that consciousness is not intrinsic, IIT must abandon its Exclusion Postulate, which prohibits overlapping conscious systems. Indeed, theories of consciousness that attribute consciousness to physical systems, should embrace the view that some conscious systems overlap. A discussion of the admittedly counterintuitive nature of this solution, along with some medical and neuroscientific realities that would seem to support it, is included. (shrink)

Most agree that, in some special scenarios, prudence can speak against feeling a fitting emotion. Some go further, arguing that the tension between fittingness and prudence afflicts some emotions in a fairly general way. This paper goes even further: it argues that, when it comes to anxiety, the tension between fittingness and prudence is nearly inescapable. On any plausible theory, an enormous array of possible outcomes are both bad and epistemically uncertain in the right way to ground fitting anxiety. What’s (...) more, the fittingness of an emotion is a demanding, not a permissive, normative status. So the norms of fitting emotion demand a great deal of anxiety. For almost any realistic agent, it would be deeply imprudent to feel anxiety in a way that meets the demands set by norms of fitting emotion. (shrink)

Th e present article reports a series of experiments designed to extend the empirical investigation of folk metaethical intuitions by examining how different kinds of ethical disagreement can impact attributions of objectivity to ethical claims.

Scepticism about ought simpliciter is the view that there is no such thing as what one ought simpliciter to do. Instead, practical deliberation is governed by a plurality of normative standpoints, each authoritative from their own perspective but none authoritative simpliciter. This paper aims to resist such scepticism. After setting out the challenge in general terms, I argue that scepticism can be resisted by rejecting a key assumption in the sceptic’s argument. This is the assumption that standpoint-relative ought judgments bring (...) with them a commitment to act in accordance with those judgments. Instead, I propose an alternative account of our normative concepts according to which only ought simpliciter judgments commit one to acting in accordance with those judgments. In addition to answering the sceptical challenge, the proposal offers an independently motivated account of what makes a concept normatively authoritative. (shrink)

A number of theistic philosophers have recently denied that God is subject to moral and rational norms. At the same time, many theists employ epistemological and inductive arguments for the existence of God. I will argue that ‘no-norms’ theists cannot make use of such arguments: if God is not subject to norms – particularly rational norms – then we can say nothing substantive about what kind of worlds God would be likely to create, and as such, we cannot predict the (...) likelihood of any particular evidence given theism. What is more, I argue that this lack of constraint on God's creative act raises a serious sceptical challenge for no-norms theism. (shrink)

For many years there has been a debate about the role of the parietal lobe in the generation of behavior. Does it generate movement plans (intention) or choose objects in the environment for further processing? To answer this, we focus on the lateral intraparietal area (LIP), an area that has been shown to play independent roles in target selection for saccades and the generation of visual attention. Based on results from a variety of tasks, we propose that LIP acts as (...) a priority map in which objects are represented by activity proportional to their behavioral priority. We present evidence to show that the priority map combines bottom-up inputs like a rapid visual response with an array of top-down signals like a saccade plan. The spatial location representing the peak of the map is used by the oculomotor system to target saccades and by the visual system to guide visual attention. (shrink)

One solution to the problem of moral knowledge is to claim that we can acquire it a posteriori through moral experience. But what is a moral experience? When we examine the most compelling putative cases, we find features which, I argue, are best explained by the hypothesis that moral experiences are emotions. To preempt an objection, I argue that putative cases of emotionless moral experience can be explained away. Finally, I allay the worry that emotions are an unsuitable basis for (...) moral knowledge. I conclude that those who believe in moral experience should hold that it consists of emotion. (shrink)

Within the phenomenological tradition, one frequently finds the bold claim that interpersonal understanding is rooted in a sui generis form of intentional experience, most commonly labeled empathy (Einfühlung). The following paper explores this claim, emphasizing its distinctive character, and examining the phenomenological considerations offered in its defense by two of its main proponents, Edmund Husserl and Edith Stein. After offering in section 2 some preliminary indications of how empathy should be understood, I then turn to some characterizations of its distinctive (...) structure, considering, in section 3, the Husserlian claim that certain forms of empathy are perceptual in nature, and in section 4, Stein’s insistence that empathetic experience frequently involves explicating the other’s own intentional experiences. Section 5 concludes by assessing the extent to which their analyses lead support to a conception of empathy as an intuitive experience of other minds. (shrink)

A polemical account of Australian philosophy up to 2003, emphasising its unique aspects (such as commitment to realism) and the connections between philosophers' views and their lives. Topics include early idealism, the dominance of John Anderson in Sydney, the Orr case, Catholic scholasticism, Melbourne Wittgensteinianism, philosophy of science, the Sydney disturbances of the 1970s, Francofeminism, environmental philosophy, the philosophy of law and Mabo, ethics and Peter Singer. Realist theories especially praised are David Armstrong's on universals, David Stove's on logical probability (...) and the ethical realism of Rai Gaita and Catholic philosophers. In addition to strict philosophy, the book treats non-religious moral traditions to train virtue, such as Freemasonry, civics education and the Greek and Roman classics. (shrink)

Recent empirical work on folk moral objectivism has attempted to examine the extent to which folk morality presumes that moral judgments are objectively true or false. Some researchers report findings that they take to indicate folk commitment to objectivism (Goodwin & Darley, 2008, 2010, 2012; Nichols & Folds-Bennett, 2003; Wainryb et al., 2004), while others report findings that may reveal a more variable commitment to objectivism (Beebe, 2014; Beebe et al., 2015; Beebe & Sackris, 2016; Sarkissian, et al., 2011; Wright, (...) 2018; Wright, Grandjean, & McWhite, 2013; Wright, McWhite, & Grandjean, 2014). However, the various probes that have been used to examine folk moral objectivism almost always fail to be good direct measures of objectivism. Some critics (Beebe, 2015; Pölzler, 2017, 2018) have suggested that the problems with existing probes are serious enough that they should be viewed as largely incapable of shedding any light on folk metaethical commitments. Building upon the work of Justin Khoo and Joshua Knobe (2018), I argue that many of the existing probes can be seen as good measures of the extent to which people think that the truth of one moral judgment excludes the possibility that a judgment made by a disagreeing party is also true and that the best explanation of the findings obtained using these measures is significant folk support for indexical moral relativism—the view that the content of moral judgments is context-sensitive. If my thesis is correct, many contemporary moral philosophers are deeply mistaken about the metaethical contours of folk morality in one very important respect. (shrink)

This paper is about the similarity between the appreciation of a piece of art, such as a cherished music album, and the loving appreciation of a person whom one knows well. In philosophical discussion about the rationality of love, the Qualities View (QV) says that love can be justified by reference to the qualities of the beloved. I argue that the oft-rehearsed trading-up objection fails to undermine the QV. The problems typically identified by the objection arise from the idea that (...) love-worthy qualities could be coarse-grained, when in fact they must be fine-grained. The analogy with appreciation of aesthetic qualities helps to draw out this point. Once the fine-grained nature of love-worthy qualities is properly understood, it is clear that critics of the QV cannot rely on the trading-up objection to motivate its rejection. Moreover, the paper’s core argument helps to illuminate the persistently aesthetic nature of interpersonal affections. (shrink)

According to the view that there is moral encroachment in epistemology, whether a person has knowledge of p sometimes depends on moral considerations, including moral considerations that do not bear on the truth or likelihood of p. Defenders of moral encroachment face a central challenge: they must explain why the moral considerations they cite, unlike moral bribes for belief, are reasons of the right kind for belief (or withheld belief). This paper distinguishes between a moderate and a radical version of (...) moral encroachment. It shows that, while defenders of moderate moral encroachment are well-placed to meet the central challenge, defenders of radical moral encroachment are not. The problem for radical moral encroachment is that it cannot, without taking on unacceptable costs, forge the right sort of connection between the moral badness of a belief and that belief’s chance of being false. (shrink)

How were reliable predictions made before Pascal and Fermat's discovery of the mathematics of probability in 1654? What methods in law, science, commerce, philosophy, and logic helped us to get at the truth in cases where certainty was not attainable? The book examines how judges, witch inquisitors, and juries evaluated evidence; how scientists weighed reasons for and against scientific theories; and how merchants counted shipwrecks to determine insurance rates. Also included are the problem of induction before Hume, design arguments for (...) the existence of God, and theories on how to evaluate scientific and historical hypotheses. It is explained how Pascal and Fermat's work on chance arose out of legal thought on aleatory contracts. The book interprets pre-Pascalian unquantified probability in a generally objective Bayesian or logical probabilist sense. (shrink)

Experimental philosophy brings empirical methods to philosophy. These methods are used to probe how people think about philosophically interesting things such as knowledge, morality, and freedom. This paper explores the contribution that qualitative methods have to make in this enterprise. I argue that qualitative methods have the potential to make a much greater contribution than they have so far. Along the way, I acknowledge a few types of resistance that proponents of qualitative methods in experimental philosophy might encounter, and provide (...) reasons to think they are ill-founded. (shrink)

Subject-sensitive invariantism posits surprising connections between a person’s knowledge and features of her environment that are not paradigmatically epistemic features. But which features of a person’s environment have this distinctive connection to knowledge? Traditional defenses of subject-sensitive invariantism emphasize features that matter to the subject of the knowledge-attribution. Call this pragmatic encroachment. A more radical thesis usually goes ignored: knowledge is sensitive to moral facts, whether or not those moral facts matter to the subject. Call this moral encroachment. This paper (...) argues that, insofar as there are good arguments for pragmatic encroachment, there are also good arguments for moral encroachment. (shrink)

In this thesis, I examine how "truth" is never adequately defined yet still used as a foundation for meaning and purpose. The elephant which is ignored is the paradoxical nature of truth and how it relates to the infinite, which is something we have not yet come to understand well enough. I propose that it is still possible if we are open-minded enough to accept the unexpected.

The default theory of aesthetic value combines hedonism about aesthetic value with strict perceptual formalism about aesthetic value, holding the aesthetic value of an object to be the value it has in virtue of the pleasure it gives strictly in virtue of its perceptual properties. A standard theory of aesthetic value is any theory of aesthetic value that takes the default theory as its theoretical point of departure. This paper argues that standard theories fail because they theorize from the default (...) theory. (shrink)

There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article lays out and compares these (...) options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized. (shrink)

We report the results of an exploratory study that examines the judgments of climate scientists, climate policy experts, astrophysicists, and non-experts (N = 3367) about the factors that contribute to the creation and persistence of disagreement within climate science and astrophysics and about how one should respond to expert disagreement. We found that, as compared to non-experts, climate experts believe that within climate science (i) there is less disagreement about climate change, (ii) methodological factors play less of a role in (...) generating disagreements, (iii) fewer personal or institutional biases influence climate research, and (iv) there is more agreement about which methods should be used to examine relevant phenomena we also observed that the uniquely American political context predicted experts’ judgments about some of these factors. We also found that, in regard to disagreements concerning cosmic ray physics, and commensurate with the greater inherent uncertainty and data lacunae in their field, astrophysicists working on cosmic rays were generally more willing to acknowledge expert disagreement, more open to the idea that a set of data can have multiple valid interpretations, and generally less quick to dismiss someone articulating a non-standard view as non-expert, than climate scientists were in regard to climate science. (shrink)

In [5], Béziau provides a means by which Gentzen’s sequent calculus can be combined with the general semantic theory of bivaluations. In doing so, according to Béziau, it is possible to construe the abstract “core” of logics in general, where logical syntax and semantics are “two sides of the same coin”. The central suggestion there is that, by way of a modification of the notion of maximal consistency, it is possible to prove the soundness and completeness for any normal logic. (...) However, the reduction to bivaluation may be a side effect of the architecture of ordinary sequents, which is both overly restrictive, and entails certain expressive restrictions over the language. This paper provides an expansion of Béziau’s completeness results for logics, by showing that there is a natural extension of that line of thinking to n-sided sequent constructions. Through analogical techniques to Béziau’s construction, it is possible, in this setting, to construct abstract soundness and completeness results for n-valued logics. (shrink)

Three accounts of effective realism (ER) have been advanced to solve three problems for scientific realism: Fraser and Vickers (forthcoming) develop a version of ER about non-relativistic quantum mechanics that they argue is compatible with all the main realist versions (‘interpretations’) of quantum mechanics avoiding the problem of underdetermination among them; Williams (2019) and Fraser (2020b) propose ER about quantum field theory as a response to the problems facing realist interpretations; Robertson and Wilson (forthcoming) propose ER to deal with the (...) dubious ontological status of the entities belonging to superseded theories. This paper argues for the unification of these proposals based on realism about modal structure and the idea of scale relativity of ontology developed by ontic structural realists. This solves problems some or all the accounts of ER face, especially that of making explicit in what way they are realist. Furthermore, we respond to a recent critique that has been raised against the ontic structural realist account of quantum mechanics that we employ. (shrink)

A state-based reason for one to intend to perform an action F is a reason for one to intend to F which is not a reason for one to F. Are there any state-based reasons to intend? According to the Explanatory Argument, the answer is no, because state-based reasons do not satisfy a certain explanatory constraint. I argue that whether or not the constraint is correct, the Explanatory Argument is unsound, because state-based reasons do satisfy the constraint. The considerations that (...) undermine the Explanatory Argument also generate a strong, positive case for the existence of state-based reasons to intend. (shrink)

It is becoming increasingly common for authoritarian regimes to leverage digital technologies to surveil, repress and manipulate their citizens. Experts typically refer to this practice as “digital authoritarianism” (DA). Existing definitions of DA consistently presuppose a politically repressive agent intentionally exploiting digital technology in pursuit of authoritarian ends. I refer to this as the "intention-based definition." This paper argues that this definition is untenable as a general description of DA. I begin by illustrating the current predominance of the intention-based definition (...) (Section 1). Section 2 then presents four counterexamples to this definition: benign surveillance; digital sovereignty; attention-harvesting algorithms; and tech-induced loneliness. In each case, we witness authoritarianism being promoted by digital technologies without any evidence of this being intentionally caused by politically repressive agents. Based on these observations, I contend that the intention-based definition is underinclusive and therefore unsustainable. Section 3 then outlines an improved definition of DA – what I call the "promotion-based definition." Since this more expansive definition does not posit intentional, politically repressive agency as a precondition of DA, it can accommodate the counterexamples discussed in Section 2. Moreover, it enables us to catch a broader spectrum of cases of DA, such as tech-induced loneliness, which those adhering to the intention-based definition are prone to overlook. After outlining further practical benefits of the promotion-based definition, I argue that we still need to distinguish between intentional and unintentional forms of DA since they call for distinct types of remedial action. (shrink)

Recent debates between representational and relational theories of perceptual experience sometimes fail to clarify in what respect the two views differ. In this essay, I explain that the relational view rejects two related claims endorsed by most representationalists: the claim that perceptual experiences can be erroneous, and the claim that having the same representational content is what explains the indiscriminability of veridical perceptions and phenomenally matching illusions or hallucinations. I then show how the relational view can claim that errors associated (...) with perception should be explained in terms of false judgments, and develop a theory of illusions based on the idea that appearances are properties of objects in the surrounding environment. I provide an account of why appearances are sometimes misleading, and conclude by showing how the availability of this view undermines one of the most common ways of motivating representationalist theories of perception. (shrink)

Throughout history, almost all mathematicians, physicists and philosophers have been of the opinion that space and time are infinitely divisible. That is, it is usually believed that space and time do not consist of atoms, but that any piece of space and time of non-zero size, however small, can itself be divided into still smaller parts. This assumption is included in geometry, as in Euclid, and also in the Euclidean and non- Euclidean geometries used in modern physics. Of the few (...) who have denied that space and time are infinitely divisible, the most notable are the ancient atomists, and Berkeley and Hume. All of these assert not only that space and time might be atomic, but that they must be. Infinite divisibility is, they say, impossible on purely conceptual grounds. (shrink)

We report the results of four empirical studies designed to investigate the extent to which an epistemic closure principle for knowledge is reflected in folk epistemology. Previous work by Turri (2015a) suggested that our shared epistemic practices may only include a source-relative closure principle—one that applies to perceptual beliefs but not to inferential beliefs. We argue that the results of our studies provide reason for thinking that individuals are making a performance error when their knowledge attributions and denials conflict with (...) the closure principle. When we used research materials that overcome what we think are difficulties with Turri’s original materials, we found that participants did not reject closure. Furthermore, when we presented Turri’s original materials to non-philosophers with expertise in deductive reasoning (viz., professional mathematicians), they endorsed closure for both perceptual and inferential beliefs. Our results suggest that an unrestricted closure principle—one that applies to all beliefs, regardless of their source—provides a better model of folk patterns of knowledge attribution than a source-relative closure principle. (shrink)

Much recent work on philosophical methodology has focused on whether we should accept evidence: the claim that philosophers use intuitive judgments about cases as evidence for/against philosophical theories. This paper outlines a new way of thinking about the philosophical method of appealing to cases such that evidence is true but not as it is typically understood. The idea proposed is that, when philosophers appeal to cases, they are engaged in a project of conceptual engineering and that, within that project, intuitions (...) about cases provide evidence as to the normative constraints which are relevant within that project. The paper demonstrates that this is a feasible interpretation of the way that cases are appealed to in recent journal issues, and makes the case that this would be a better way to think of what philosophers are doing when they appeal to cases. (shrink)

We report the results of a study that investigated the views of researchers working in seven scientific disciplines and in history and philosophy of science in regard to four hypothesized dimensions of scientific realism. Among other things, we found that natural scientists tended to express more strongly realist views than social scientists, that history and philosophy of science scholars tended to express more antirealist views than natural scientists, that van Fraassen’s characterization of scientific realism failed to cluster with more standard (...) characterizations, and that those who endorsed the pessimistic induction were no more or less likely to endorse antirealism. (shrink)

This paper examines the general prospects for conceptual role expressivism, expressivist theories that embrace conceptual role semantics. It has two main aims. The first aim is to provide a general characterisation of the view. The second aim is to raise a challenge for the general view. The challenge is to explain why normative concepts are not a species of defective concepts, where defective concepts are those that cannot meaningfully embed and participate in genuine inference. After rejecting existing attempts to answer (...) the challenge, I propose an alternative solution. However, the solution leaves conceptual role expressivism a far less distinctive and interesting position than its proponents claim. I conclude that we should be sceptical about how much expressivists gain by appealing to conceptual role semantics. (shrink)

In What Science Knows, the Australian philosopher and mathematician James Franklin explains in captivating and straightforward prose how science works its magic. It offers a semipopular introduction to an objective Bayesian/logical probabilist account of scientific reasoning, arguing that inductive reasoning is logically justified (though actually existing science sometimes falls short). Its account of mathematics is Aristotelian realist.

Some reasons are thought to depend on relations between people, such as that of a promiser to a promisee. It has sometimes been assumed that all reasons that are relational in this way are moral obligations. I argue, via a counter example, that there are non-obligatory relational reasons. If true, this has ramifications for relational theories of morality.

The task of visual search is to determine as rapidly as possible whether a target item is present or absent in a display. Rapidly detected items are thought to contain features that correspond to primitive elements in the human visual system. In previous theories, it has been assumed that visual search is based on simple two-dimensional features in the image. However, visual search also has access to another level of representation, one that describes properties in the corresponding three-dimensional scene. Among (...) these properties are three dimensionality and the direction of lighting, but not viewing direction. These findings imply that the parallel processes of early vision are much more sophisticated than previously assumed. (shrink)