This paper studies the effects of social comparison on risk taking behavior. In our theoretical framework, decision makers evaluate the consequences of their choices relative to both their own and their peers’ conditions. We test experimentally whether the position in the social ranking affects risk attitudes. Subjects interact in a simulated workplace environment where they perform a work task, receive possibly different wages, and then undertake a risky decision that may produce an extra gain. We find that social comparison matters (...) for risk attitudes. Subjects are more risk averse in the presence of small social gain than social loss. In addition, risk aversion is decreasing in the size of the social gain. (shrink)

In this paper, I present an interpretation of Wittgenstein's remarks on the experience of wonder at the existence of the world. According to this interpretation, Wittgenstein's feeling of wonder stems from perceiving the existence of the world as an absolute miracle, that is, as a fact that is in principle beyond explanation. Based on this analysis, I will suggest that Wittgenstein's experience is akin to what has been described by other authors such as Coleridge, Pessoa, Heidegger, Scheler, Sartre, and Hadot, (...) among many others. Through a comparison between Wittgenstein and Coleridge on the experience of existence, I shall highlight some core features of this experience, chief among them the use of the notion of nothingness in clarifying what is understood in the experience, the role of intuition, and the presence of a specific pathos. As a whole, this paper aims to provide a contribution to the project of a phenomenology of the experience of existence and intends to create a bridge for a dialogue between Wittgenstein and the phenomenological tradition on the enigma of existence. (shrink)

According to some Philosophy for Children theorists, the pedagogy of the Community of Inquiry hinges upon the acceptance of a pragmatist epistemology. The underlying idea is that it is possible to participate, and to justify participation, in a community of inquiry only if some pragmatist view of truth and knowledge is true and accepted by the participants engaged in dialogue. In this article we argue that this claim is false. In this way, we want to free the pedagogy of the (...) Community of Inquiry from some epistemological assumptions that we regard as unwarranted. To support our contention, we shall highlight two distinctions that are important in order to appreciate the connection between epistemology and education: first, the distinction between the disposition of intellectual humility and the belief in fallibilism; second, the belief in the existence of Cartesian certainties and the attitude of psychological certainty. Finally, we also argue that to vindicate dialogic inquiry it is neither necessary to adopt a pragmatist theory of truth, nor is it necessary to regard warranted judgement as the primary aim of inquiry. In contrast, we argue that truth is the aim of inquiry, and so is the aim of children when they participate in a dialogic inquiry. In this way we also suggest a justification of philosophy with children that does not instrumentalize it. (shrink)

According to constitutivism, we can justify the authority of aims and norms on the ground that they are inescapable. Constitutivist views divide between ambitious and modest ones. According to ambitious constitutivism, the inescapability of aims grounds their unconditional authority, whereas according to modest constitutivism, the inescapability of aims only grounds their conditional authority. Either way, both forms of constitutivism share the assumption that inescapability grounds authority, which in turn presupposes that at the foundation of normativity we find aims and norms (...) that can be evaluated as having or lacking authority. In this paper I shall defend a form of constitutivism that rejects this assumption. According to this view, which I shall call Hinge Constitutivism, at the foundation of epistemic normativity we find an aim, the truth-aim, that is altogether beyond the evaluation in terms of the ordinary notion of authority. Moreover, I shall argue that to aim at truth is a condition of possibility for justifying the authority of any other aims or norms. In this sense, to aim at truth is a hinge of deliberation. (shrink)

Sets are central to mathematics and its foundations, but what are they? In this book Luca Incurvati provides a detailed examination of all the major conceptions of set and discusses their virtues and shortcomings, as well as introducing the fundamentals of the alternative set theories with which these conceptions are associated. He shows that the conceptual landscape includes not only the naïve and iterative conceptions but also the limitation of size conception, the definite conception, the stratified conception and the (...) graph conception. In addition, he presents a novel, minimalist account of the iterative conception which does not require the existence of a relation of metaphysical dependence between a set and its members. His book will be of interest to researchers and advanced students in logic and the philosophy of mathematics. (shrink)

Public participation in scientific research has gained prominence in many scientific fields, but the theory of participatory research is still limited. In this paper, we suggest that the divergence of values and goals between academic researchers and public participants in research is key to analyzing the different forms this research takes. We examine two existing characterizations of participatory research: one in terms of public participants' role in the research, the other in terms of the virtues of the research. In our (...) view, each of these captures an important feature of participatory research but is, on its own, limited in what features it takes into account. We introduce an expanded conception of norms of collaboration that extends to both academic researchers and public participants. We suggest that satisfying these norms requires consideration of the two groups' possibly divergent values and goals, and that a broad characterization of participatory research that starts from participants' values and goals can motivate both public participants’ role in the research and the virtues of the research. The resulting framework clarifies the similarities and differences among participatory projects and can help guide the responsible design of such projects. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...) basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

Contemporary views of truth-directedness endorse what I shall call the Common-Element Argument. According to this argument, there is something in common between judgment and other attitudes like assumption and imagination: they all regard their contents as true. Since this regarding-as-true feature is not distinctive of judgment - the argument goes - it can’t explain its truth-directedness. On this ground, theorists have been motivated to endorse an inflationary view that tries to capture truth-directedness by appealing to some further feature: intentions, second-order (...) representations, sub-personal mechanisms, or subjugation to norms are the most discussed candidates for fulfilling this role. In this paper I will argue that the Common-Element Argument is unsound. It rests on a false premise, namely that there is some common element such as a regarding-as-true component between judgment and other cognitive attitudes. I shall reject Velleman’s and Railton’s defenses of the Common-Element-Argument. Then I will discuss three influential inflationary accounts of truth-directedness: Railton’s account, Velleman’s teleological account, and Shah and Velleman’s conceptualist account. I shall argue that they all face a phenomenological and an explanatory challenge. Finally, I shall sketch a deflationary view of truth-directedness that evades these challenges. (shrink)

We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible operators, only few appear in the lexicon of natural languages: the connectives in English, for example, are conjunction _and_, disjunction _or_, and negated disjunction _nor_; the lexical quantifiers are _all, some_ and _no_. The logically possible nand (negated conjunction) and Nall (negated universal) are not expressed by lexical entries in English, nor in any natural language. Moreover, (...) the lexicalized operators are all upward or downward monotone, an observation known as the Monotonicity Universal. We propose a logical explanation of lexical gaps and of the Monotonicity Universal, based on the dynamic behaviour of connectives and quantifiers. We define update potentials for logical operators as procedures to modify the context, under the assumption that an update by \( \phi \) depends on the logical form of \( \phi \) and on the speech act performed: assertion or rejection. We conjecture that the adequacy of update potentials determines the limits of lexicalizability for logical operators in natural language. Finally, we show that on this framework the Monotonicity Universal follows from the logical properties of the updates that correspond to each operator. (shrink)

ABSTRACTLinguistic evidence supports the claim that certain, weak rejections are less specific than assertions. On the basis of this evidence, it has been argued that rejected sentences cannot be premisses and conclusions in inferences. We give examples of inferences with weakly rejected sentences as premisses and conclusions. We then propose a logic of weak rejection which accounts for the relevant phenomena and is motivated by principles of coherence in dialogue. We give a semantics for which this logic is sound and (...) complete, show that it axiomatizes the modal logic KD45 and prove that it still derives classical logic on its asserted fragment. Finally, we defend previous logics of strong rejection as being about the linguistically preferred interpretations of weak rejections. (shrink)

Norm theory (Kahneman & Miller, 1986) described a tendency for people to associate stronger regret with a negative outcome when it is a result of an exception (abnormal behavior) compared to when it is a result of routine (normal behavior). In two pre-registered studies, we conducted a replication and extension of three classic experiments on past behavior exception/routine contrasts (N = 684). We successfully replicated Kahneman and Miller’s (1986) experiments with the classic hitchhiker-scenario (Part 1) and car accident-scenario (Part 2). (...) In both cases, participants examined negative outcomes and tended to indicate a protagonist who deviated from own past behavior as more regretful than another who followed routine. Pre-registered extensions also showed effects for ratings of social norms, negative affect, and perceived luck. We did not find support for the Miller and McFarland (1986) experiment robbery scenario (Part 3) using a compensation measure, in that compensation to a victim of a robbery was not significantly different comparing exceptional and routine circumstances. However, a pre-registered extension showed that robbery under exceptional circumstances was regretted more than robbery under routine circumstances. We discuss implications for current and future research. (shrink)

The aim of this paper is to vindicate the Cartesian quest for certainty by arguing that to aim at certainty is a constitutive feature of cognition. My argument hinges on three observations concerning the nature of doubt and judgment: first, it is always possible to have a doubt as to whether p in so far as one takes the truth of p to be uncertain; second, in so far as one takes the truth of p to be certain, one is (...) no longer able to genuinely wonder whether p is true; third, to ask the question whether p is to desire to receive a true answer. On this ground I clarify in what sense certainty is the aim of cognition. I then argue that in judging that p we commit ourselves to p’s being certain and that certainty is the constitutive norm of judgment. The paper as a whole provides a picture of the interplay between doubt and judgment that aims at vindicating the traditional insight that our ability to doubt testifies our aspiration to know with absolute certainty. (shrink)

Sleep strengthens memories by repeatedly reactivating associated neuron ensembles. Our studies show that although long-term memory for a medium number of word-pairs benefits from sleep, a large number does not. This suggests an upper limit to the amount of information that has access to sleep-dependent declarative memory consolidation, which is possibly linked to the availability of reactivation opportunities. Due to competing processes of global forgetting that are active during sleep, we hypothesized that even larger amounts of information would enhance the (...) proportion of information that is actively forgotten during sleep. In the present study, we aimed to induce such forgetting by challenging the sleeping brain with vast amounts of to be remembered information. For this, 78 participants learned a very large number of 640 word-pairs interspersed with periods of quiet awake rest over the course of an entire day and then either slept or stayed awake during the night. Recall was tested after another night of regular sleep. Results revealed comparable retention rates between the sleep and wake groups. Although this null-effect can be reconciled with the concept of limited capacities available for sleep-dependent consolidation, it contradicts our hypothesis that sleep would increase forgetting compared to the wake group. Additional exploratory analyses relying on equivalence testing and Bayesian statistics reveal that there is evidence against sleep having a detrimental effect on the retention of declarative memory at high information loads. We argue that forgetting occurs in both wake and sleep states through different mechanisms, i.e., through increased interference and through global synaptic downscaling, respectively. Both of these processes might scale similarly with information load. (shrink)

Experiences like pains, pleasures, and emotions have affective phenomenal character: they feel pleasant or unpleasant. Imperativism proposes to explain affective phenomenal character by appeal to imperative content, a kind of intentional content that directs rather than describes. We argue that imperativism is on the right track, but has been developed in the wrong way. There are two varieties of imperativism on the market: first-order and higher-order. We show that neither is successful, and offer in their place a new theory: reflexive (...) imperativism. Our proposal is that an experience P feels pleasant in virtue of being constituted by a Command with reflexive imperative content, while an experience U feels unpleasant in virtue of being constituted by a Command with reflexive imperative content : More of P!Less of U! If you need a slogan: experiences have affective phenomenal character in virtue of commanding us Get more of me! Get less of me! (shrink)

Timothy Smiley’s wonderful paper ‘Rejection’ (1996) is still perhaps not as well known or well understood as it should be. This note first gives a quick presentation of themes from that paper, though done in our own way, and then considers a putative line of objection – recently advanced by Julien Murzi and Ole Hjortland (2009) – to one of Smiley’s key claims. Along the way, we consider the prospects for an intuitionistic approach to some of the issues discussed in (...) Smiley’s paper. (shrink)

Wright claims that “the epistemology of good abstraction principles should be assimilated to that of basic principles of logical inference”. In this paper I follow Wright’s recommendation, but I consider a different epistemology of logic, namely anti-exceptionalism. Anti-exceptionalism’s main contention is that logic is not a priori, and that the choice between rival logics should be based on abductive criteria such as simplicity, adequacy to the data, strength, fruitfulness, and consistency. This paper’s goal is to lay down the foundations for (...) an application of the anti-exceptionalist methodology to abstraction principles. In Sect. 1 I outline my strategy. I show that anti-exceptionalism has a bearing on the so-called Bad Company problem, and explore some versions of anti-exceptionalism about abstraction. I then consider new criteria for choosing between rival abstraction principles, and, in particular, between consistent revisions of Frege’s Basic Law V. I finally consider how the abstractionist can compare between competing criteria, and argue that anti-exceptionalists should be pluralists about abstraction. (shrink)

We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...) This demonstrates that an inferentialist approach to meaning can be successfully extended beyond the core logical constants. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the Liar Paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the Liar Paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

In this paper I discuss a new kind of hinge epistemology which is called transcendental hinge epistemology. According to this view, hinges are immune from doubt because it is impossible to doubt them coherently, and this impossibility arises because any attempt to doubt them will presuppose their truth. Such an immunity is possessed only by inescapable hinges, that is, hinges that must be presupposed in every inquiry. I will argue that current hinge epistemologies fail to provide a satisfactory anti-sceptical strategy (...) because they focus on escapable hinges, that is, hinges with respect to which one can entertain coherent doubts. (shrink)

Mindreading (or folk psychology, Theory of Mind, mentalizing) is the capacity to represent and reason about others’ mental states. The Simulation Theory (ST) is one of the main approaches to mindreading. ST draws on the common-sense idea that we represent and reason about others’ mental states by putting ourselves in their shoes. More precisely, we typically arrive at representing others’ mental states by simulating their mental states in our own mind. This entry offers a detailed analysis of ST, considers theoretical (...) arguments and empirical data in favour of and against it, discusses its philosophical implications, and illustrates some alternatives to it. (shrink)

The goal of this paper is to review and critically discuss the philosophical aspects of probabilistic seismic hazard analysis (PSHA). Given that estimates of seismic hazard are typically riddled with uncertainty, diferent epistemic values (related to the pursuit of scientifc knowledge) compete in the selection of seismic hazard models, in a context infuenced by non-epistemic values (related to practical goals and aims) as well. We frst distinguish between the diferent types of uncertainty in PSHA. We claim that epistemic and nonepistemic (...) considerations are closely related in the selection of the appropriate estimate of seismic hazard by the experts. Finally, we argue that the division of scientifc responsibility among the experts can lead to responsibility gaps. This raises a problem for the ownership of the results (“no one’s model” problem) similar to the “problem of many hands” in the ethics of technology. We conclude with a plea for a close collaboration between philosophy and engineering. (shrink)

Corporate social responsibility (CSR) aspirations by companies have been identified as a motivating factor for active employee participation in CSR implementation. However, a failure to practise what one preaches can backfire and lead to attribution of hypocrisy. Drawing on a qualitative study of an award-winning sustainability pioneer in the cosmetics sector, we explore the role of moral judgement in how and when employees interpret word–deed misalignment in CSR implementation as hypocritical. First, our case reveals that high CSR aspirations by companies (...) raise employees’ moral expectations. Second, we develop a framework that explains variations in employees’ hypocrisy interpretations based on consequentialist and deontological forms of moral judgement. Our research advances a contextual view of hypocrisy, not as an objective characteristic of an organisation, but as an outcome of interpretative processes of perceived motives and results in CSR implementation. Our framework thereby explains why even highly committed organisations may face accusations of hypocrisy. (shrink)

Abstraction principles and grounding can be combined in a natural way Modality: metaphysics, logic, and epistemology, Oxford University Press, Oxford, pp 109–136, 2010; Schwartzkopff in Grazer philosophische studien 82:353–373, 2011). However, some ground-theoretic abstraction principles entail that there are circles of partial ground :775–801, 2017). I call this problem auto-abstraction. In this paper I sketch a solution. Sections 1 and 2 are introductory. In Sect. 3 I start comparing different solutions to the problem. In Sect. 4 I contend that the (...) thesis that the right-hand side of an abstraction principle is prior to its left-hand side motivates an independence constraint, and that this constraint leads to predicative restrictions on the acceptable instances of ground-theoretic abstraction principles. In Sect. 5 I argue that auto-abstraction is acceptable unless the left-hand side is essentially grounded by the right-hand side. In Sect. 6 I highlight several parallelisms between auto-abstraction and the puzzles of ground. I finally compare my solution with the strategies listed in Sect. 3. (shrink)

In this paper, we develop an impure somatic theory of emotion, according to which emotions are constituted by the integration of bodily perceptions with representations of external objects, events, or states of affairs. We put forward our theory by contrasting it with Prinz's pure somatic theory, according to which emotions are entirely constituted by bodily perceptions. After illustrating Prinz's theory and discussing the evidence in its favor, we show that it is beset by serious problems—i.e., it gets the neural correlates (...) of emotion wrong, it isn't able to distinguish emotions from bodily perceptions that aren't emotions, it cannot account for emotions being directed towards particular objects, and it mischaracterizes emotion phenomenology. We argue that our theory accounts for the empirical evidence considered by Prinz and solves the problems faced by his theory. In particular, we maintain that our theory gives a unified and principled account of the relation between emotions and bodily perceptions, the intentionality of emotions, and emotion phenomenology. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

Proclus, head of the Philosophy School at Athens for fifty years, was one of the leading philosophical figures in Late Antiquity. Lucas Siorvanes here introduces Proclus to English-language readers, discussing his metaphysics and theory of knowledge and focusing in particular on his Neo-Platonism. Proclus lived in the turbulent fifth century A.D., a time of struggles among Christians, Jews, and pagans, the invasion of Attila the Hun, the fall of the Western Roman Empire, and the rise of the Eastern Roman Empire (...) in Byzantium. While Late Antiquity has been regarded as a time of superstition and forbiddingly complex philosophies, recent scholarship has shown it to be full of cultural and intellectual vigor. During Proclus's tenure as head of the Philosophy School, he systematized Neo-Platonism as the summit of ancient Greek thought, brought it to its peak of influence, and became responsible for the form in which it was transmitted to the Byzantine, Western European, and Islamic civilizations. Siorvanes's extensive original research presents Proclus as much more than just a metaphysician. He surveys all of Proclus's philosophical interests—including religion, physics, astronomy, mathematics, and poetry—revealing the philosopher's central concern with the problems of being and knowledge and relating the ideas of Proclus to those of such other major thinkers as Plato, Aristotle, and Ptolemy. To help the newcomer, Siorvanes supplies more than 200 quotations from Proclus's works. He also traces the impact of Proclus's Neo-Platonism across cultures, religions, and centuries, in such diverse areas as Christian and Islamic theologies, Renaissance art, Kepler's astronomy, Romantic poetry, Emerson's thought, modern philosophy and science, and current popular phrases. (shrink)

Equality is the great political issue of our time. Liberty is forgotten: Fraternity never did engage our passions: the maintenance of Law and Order is at a discount: Natural Rights and Natural Justice are outmoded shibboleths. But Equality—there men have something to die for, kill for, agitate about, be miserable about. The demand for Equality obsesses all our political thought. We are not sure what it is—indeed, as I shall show later, we are necessarily not sure what it is—but we (...) are sure that whatever it is, we want it: and while we are prepared to look on frustration, injustice or violence with tolerance, as part of the natural order of things, we will work ourselves up into paroxysms of righteous indignation at the bare mention of Inequality. (shrink)

Non‐classical logicians do not typically reject classically valid logical principles across the board. In fact, they sometimes suggest that their preferred logic recovers classical reasoning in most circumstances. This idea has come to be known in the literature as ‘classical recapture’. Recently, classical logicians have raised various doubts about it. The main problem is said to be that no rigorous explanation has been given of how is it exactly that classical logic can be recovered. The goal of the paper is (...) to address this problem. First, I discuss a number of different ways to characterize the idea of classical recapture and I examine how far it can be pushed. Secondly, I argue that a palatable form of classical recapture is given by the thought that classical logic can be retained for statements that are grounded (in Kripke’s sense). To substantiate this view I provide a formal fixed‐point semantics for a language containing a predicate standing for the concept of groundedness and I address a couple of objections that have been deployed against the claim that classical recapture can aid the non‐classical logician’s cause. (shrink)

I argue that Deutsch’s model for the behavior of systems traveling around closed timelike curves relies implicitly on a substantive metaphysical assumption. Deutsch is employing a version of quantum theory with a significantly supplemented ontology of parallel existent worlds, which differ in kind from the many worlds of the Everett interpretation. Standard Everett does not support the existence of multiple identical copies of the world, which the D-CTC model requires. This has been obscured because he often refers to the branching (...) structure of Everett as a “multiverse”, and describes quantum interference by reference to parallel interacting definite worlds. But he admits that this is only an approximation to Everett. The D-CTC model, however, relies crucially on the existence of a multiverse of parallel interacting worlds. Since his model is supplemented by structures that go significantly beyond quantum theory, and play an ineliminable role in its predictions and explanations, it does not represent a quantum solution to the paradoxes of time travel. (shrink)

Joint attention customarily refers to the coordinated focus of attention between two or more individuals on a common object or event, where it is mutually “open” to all attenders that they are so engaged. We identify two broad approaches to analyse joint attention, one in terms of cognitive notions like common knowledge and common awareness, and one according to which joint attention is fundamentally a primitive phenomenon of sensory experience. John Campbell’s relational theory is a prominent representative of the latter (...) approach, and the main focus of this paper. We argue that Campbell’s theory is problematic for a variety of reasons, through which runs a common thread: most of the problems that the theory is faced with arise from the relational view of perception that he endorses, and, more generally, they suggest that perceptual experience is not sufficient for an analysis of joint attention. (shrink)

We use the primitive ontology framework of Allori et al. to analyze the quantum information-theoretic interpretation of Bub and Pitowsky. There are interesting parallels between the two approaches, which differentiate them both from the more standard realist interpretations of quantum theory. Where they differ, however, is in terms of their commitments to an underlying ontology on which the manifest image of the world supervenes. Employing the primitive ontology framework in this way makes perspicuous the differences between the quantum information-theoretic interpretation, (...) and the various realist interpretations of quantum theory. It also allows us to identify a sense in which the commitments of quantum information-theoretic interpretation are underspecified. Several possible ways of completing the interpretation are presented, and it is suggested that the most likely strategy would leave the information-theoretic interpretation such that it would fail to qualify as a theory, according to the primitive ontology approach. (shrink)

The paper generalizes Van McGee's well-known result that there are many maximal consistent sets of instances of Tarski's schema to a number of non-classical theories of truth. It is shown that if a non-classical theory rejects some classically valid principle in order to avoid the truth-theoretic paradoxes, then there will be many maximal non-trivial sets of instances of that principle that the non-classical theorist could in principle endorse. On the basis of this it is argued that the idea of classical (...) recapture, which plays such an important role for non-classical logicians, can only be pushed so far. (shrink)

Analyzing geometric properties of high-dimensional loss functions, such as local curvature and the existence of other optima around a certain point in loss space, can help provide a better understanding of the interplay between neural network structure, implementation attributes, and learning performance. In this work, we combine concepts from high-dimensional probability and differential geometry to study how curvature properties in lower-dimensional loss representations depend on those in the original loss space. We show that saddle points in the original space are (...) rarely correctly identified as such in expected lower-dimensional representations if random projections are used. The principal curvature in the expected lower-dimensional representation is proportional to the mean curvature in the original loss space. Hence, the mean curvature in the original loss space determines if saddle points appear, on average, as either minima, maxima, or almost flat regions. We use the connection between expected curvature in random projections and mean curvature in the original space (i.e., the normalized Hessian trace) to compute Hutchinson-type trace estimates without calculating Hessian-vector products as in the original Hutchinson method. Because random projections are not suitable to correctly identify saddle information, we propose to study projections along dominant Hessian directions that are associated with the largest and smallest principal curvatures. We connect our findings to the ongoing debate on loss landscape flatness and generalizability. Finally, for different common image classifiers and a function approximator, we show and compare random and Hessian projections of loss landscapes with up to about 7×10^6 parameters. (shrink)

When people want to identify the causes of an event, assign credit or blame, or learn from their mistakes, they often reflect on how things could have gone differently. In this kind of reasoning, one considers a counterfactual world in which some events are different from their real-world counterparts and considers what else would have changed. Researchers have recently proposed several probabilistic models that aim to capture how people do (or should) reason about counterfactuals. We present a new model and (...) show that it accounts better for human inferences than several alternative models. Our model builds on the work of Pearl (2000), and extends his approach in a way that accommodates backtracking inferences and that acknowledges the difference between counterfactual interventions and counterfactual observations. We present six new experiments and analyze data from four experiments carried out by Rips (2010), and the results suggest that the new model provides an accurate account of both mean human judgments and the judgments of individuals. (shrink)

Algorithms, or rather algorithmic actions, are seen as problematic because they are inscrutable, automatic, and subsumed in the flow of daily practices. Yet, they are also seen to be playing an important role in organizing opportunities, enacting certain categories, and doing what David Lyon calls “social sorting.” Thus, there is a general concern that this increasingly prevalent mode of ordering and organizing should be governed more explicitly. Some have argued for more transparency and openness, others have argued for more democratic (...) or value-centered design of such actors. In this article, we argue that governing practices—of, and through algorithmic actors—are best understood in terms of what Foucault calls governmentality. Governmentality allows us to consider the performative nature of these governing practices. They allow us to show how practice becomes problematized, how calculative practices are enacted as technologies of governance, how such calculative practices produce domains of knowledge and expertise, and finally, how such domains of knowledge become internalized in order to enact self-governing subjects. In other words, it allows us to show the mutually constitutive nature of problems, domains of knowledge, and subjectivities enacted through governing practices. In order to demonstrate this, we present attempts to govern academic writing with a specific focus on the algorithmic action of Turnitin. (shrink)

It is not uncommon among theorists favoring a deviant logic on account of the semantic paradoxes to subscribe to an idea that has come to be known as ‘classical recapture’. The main thought underpinning it is that non-classical logicians are justified in endorsing many instances of the classically valid principles that they reject. Classical recapture promises to yield an appealing pair of views: one can attain naivety for semantic concepts while retaining classicality in ordinary domains such as mathematics. However, Julien (...) Murzi and Lorenzo Rossi have recently suggested that revisionary approaches to truth breed revenge paradoxes when they are coupled with the thought that classical reasoning can be recaptured in certain circumstances. What’s novel about the paradoxes they put forward is that they cannot be dismissed so easily. The concepts used to generate these paradoxes—those of paradoxicality and unparadoxicality—are concepts that non-classical theorists need in order to offer a diagnosis of the truth-theoretic paradoxes. My goal in this paper is to argue that non-classical theorists can represent the concept of paradoxicality without falling prey to revenge paradoxes. In particular, I will show how to provide a formal fixed-point semantics for a language extended with a paradoxicality predicate that adequately expresses the non-classical logician’s notion of paradoxicality. (shrink)

Information and communication technology is changing many aspects ofhuman endeavour and existence. This is beyond dispute for most. Whatare contested are the social and ethical implications of thesechanges. Possible sources of these disputes are the multiple ways inwhich one can conceptualize and interpret the informationtechnology/society interrelationship. Each of these ways ofconceptualization and interpretation enables one to see theinformation technology/society relationship differently and thereforeconstrue its social and ethical implications in a different manner. Atthe center of this technology/society interrelationship we find manycomplex (...) questions about the nature of the human, the technical,agency, autonomy, freedom and much more. This is indeed a vastintellectual landscape, which can obviously not be explored here inits fullness. This entry is about just one particular perspective onthis landscape. It is primarily concerned with the phenomenologicalapproach to interpreting information technology and its social andethical implications. It should be noted from the start that there isnot a unified phenomenological tradition or approach to informationtechnology in particular, or other phenomena more generally. Thephenomenological tradition consists of many different approaches thatshare certain characteristics but not all. We may however suggest, with Don Ihde,that they all accept that “phenomenology investigates theconditions of what makes things appear as such [as that which we takethem to be].” Differently stated, phenomenology suggests thatthere is a co-constitutive relationship between us and the phenomenawe encounter in our engagement with the world. In this sensephenomenologists would suggest that to understand thetechnology/society relationship we need to reveal how theyco-constitute each other—i.e. draw on each other for theirongoing meaning and sense. We will elaborate more precisely what thismeans in section 2 below. However, in order to understand the distinctiveness of thephenomenological approach other possible ways of interpreting thistechnology/society relationship will also be outlined brieflybelow., It can be said that information technology has become in a very realsense ubiquitous. Most everyday technologies such as elevators,automobiles, microwaves, watches, and so forth depend onmicroprocessors for their ongoing operation. Most organizations andinstitutions have become reliant on their information technologyinfrastructure to a lesser or greater degree. Indeed informationtechnology is seen by many as a cost-efficient way to solve amultitude of problems facing our complex contemporary society. One canalmost say that information technology has become construed as thedefault technology for solving a whole raft of technical and socialproblems such as health provision, security, governance, etc. Onecould also argue that it has become synonymous with society’sview of modernization and progress. For most it seems obvious thatinformation technology has made it possible for humans to continue toconstruct increasingly complex systems of coordination and socialordering—systems without which contemporary society would not beable to exist in its present form. To say the least, we, ascontemporary human beings, have our manner of being made possiblethrough a rather comprehensive entanglement with information andcommunication technology. Indeed, the economic, organizational andsocial benefit of information technology is not widely disputed. Thedispute is more often about the way information technology is changingor transforming the social domain, and in particular, the ethicaldomain. This dispute is largely centered around different ways ofconceptualizing and interpreting the nature of our entanglement withinformation technology. This debate is not merely an academic debateabout different and competing theoretical ‘models.’Rather, these different ways of conceptualizing it is central to ourunderstanding of how we go about managing our increasingly entangledrelationship with information technology. (shrink)

One of the most fruitful applications of substructural logics stems from their capacity to deal with self-referential paradoxes, especially truth-theoretic paradoxes. Both the structural rules of contraction and the rule of cut play a crucial role in typical paradoxical arguments. In this paper I address a number of difficulties affecting noncontractive approaches to paradox that have been discussed in the recent literature. The situation was roughly this: if you decide to go substructural, the nontransitive approach to truth offers a lot (...) of benefits that are not available in the noncontractive account. I sketch a noncontractive theory of truth that has these benefits. In particular, it has both a proof- and a model-theoretic presentation, it can be extended to a first-order language, and it retains every classically valid inference. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, supervaluationists (...) can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

The subject of Labelled Non-Classical Logics is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Logics are presented as labelled deduction systems, which are proved to be sound and complete with respect to the corresponding Kripke-style semantics. We investigate the proof theory of our systems, and show them to possess structural properties such as normalization and the subformula property, which we exploit not only to (...) establish advantages and limitations of our approach with respect to related ones, but also to give, by means of a substructural analysis, a new proof-theoretic method for investigating decidability and complexity of (some of) the logics we consider. All of our deduction systems have been implemented in the generic theorem prover Isabelle, thus providing a simple and natural environment for interactive proof development. Labelled Non-Classical Logics is essential reading for researchers and practitioners interested in the theory and applications of non-classical logics. (shrink)

According to some currents of modern historiography, Galilei's propensity for circular motion would have led him to consider this and not rectilinear motion as “natural motion”; therefore the principle of inertia could not be fully attributed to Galileo, which he would never have formulated. The question of the authorship of the principle of inertia certainly weighs on both nationalistic elements and returns of antigaleleism, while the question of its not explicit formulation as a principle is due to ignorance of the (...) type of organization that Galileo intended to give to the exposition of his physics. The author, after having hinted at possible prodromes of the principle of inertia and having reported the adverse opinions of illustrious historians of science (A. Koyré, I. B. Cohen, P. M. Duhem, P. Rossi, G. Holton), through a careful analysis of the Galilean writings, conducted on the digital versions with the help of text analysis programs, firmly reaffirms Galileo's authorship of the principle of inertia and the consequent principle of classical relativity. (shrink)

In the literature on self-referential paradoxes one of the hardest and most challenging problems is that of revenge. This problem can take many shapes, but, typically, it besets non-classical accounts of some semantic notion, such as truth, that depend on a set of classically defined meta-theoretic concepts, like validity, consistency, and so on. A particularly troubling form of revenge that has received a lot of attention lately involves the concept of validity. The difficulty lies in that the non-classical logician cannot (...) accept her own definition of validity because it is given in a classical meta-theory. It is often suggested that this mismatch between the consequence relation of the account being espoused and the consequence relation of the meta-theory is a serious embarrassment. The main goal of the paper is to explore whether certain substructural accounts of the paradoxes can avoid this sort of embarrassment. Typically, these accounts are expressively incomplete, since they cannot assert in the object language that certain invalid arguments are in fact invalid. To overcome this difficulty I develop a novel type of hybrid proof-procedure, one that takes invalidities to be just as fundamental as validities. I prove that this proof-procedure enjoys a number of interesting properties and I analyze the prospects of applying it to languages capable of expressing self-referential statements. (shrink)