The historical consensus is that logical evidence is special. Whereas empirical evidence is used to support theories within both the natural and social sciences, logic answers solely to a priori evidence. Further, unlike other areas of research that rely upon a priori evidence, such as mathematics, logical evidence is basic. While we can assume the validity of certain inferences in order to establish truths within mathematics and test scientifi c theories, logicians cannot use results from mathematics or the empirical sciences (...) without seemingly begging the question. Appeals to rational intuition and analyticity in order to account for logical knowledge are symptomatic of these commitments to the apriority and basicness of logical evidence. This chapter argues that these historically prevalent accounts of logical evidence are mistaken, and that if we take logical practice seriously we fi nd that logical evidence is rather unexceptional, sharing many similarities to the types of evidence appealed to within other research areas. (shrink)

There is a type of metaphysical picture that surfaces in a range of philosophical discussions, is of intrinsic interest, and yet remains ill-understood. According to this picture, the world contains a range of standpoints relative to which different facts obtain. Any true representation of the world cannot but adopt a particular standpoint. The aim of this paper is to propose a regimentation of a metaphysics that underwrites this picture. Key components are a factive notion of metaphysical relativity, a deflationary (...) notion of adopting standpoints, and two kinds of valid inference, one that allows one to abandon standpoints and one that does not. To better understand how theories formulated in terms of this framework are situated in dialectical space, I sketch a theory in the philosophy of time that admits both temporal and atemporal standpoints. (shrink)

In Groenendijk & Stokhof [1989] a system of dynamic predicate logic (DPL) was developed, as a compositional alternative for classical discourse representation theory (DRT ). DPL shares with DRT the restriction of being a first-order system. In the present paper, we are mainly concerned with overcoming this limitation. We shall define a dynamic semantics for a typed language with λ-abstraction which is compatible with the semantics DPL specifies for the language of first-order predicate logic. We shall propose to use (...) this new logical system as the semantic component of a Montague-style grammar (referred to as dynamic Montague grammar, DMG), which will enable us to extend the compositionality of DPL to the subsentential level. Furthermore, we shall extend this analysis also in this sense that we shall add new, dynamic interpretations for logical constants which in DPL were treated in a static fashion. This will substantially increase the descriptive coverage of DMG. (shrink)

Hartry Field distinguished two concepts of type-free truth: scientific truth and disquotational truth. We argue that scientific type-free truth cannot do justificatory work in the foundations of mathematics. We also present an argument, based on Crispin Wright's theory of cognitive projects and entitlement, that disquotational truth can do justificatory work in the foundations of mathematics. The price to pay for this is that the concept of disquotational truth requires non-classical logical treatment.

Bien qu'il existe des différences significatives entre la philosophie de Mario Bunge et celle de Graham Harman, il existe également des similitudes fonda-mentales entre elles. Ces penseurs affirment tous deux qu'il est possible de dé-velopper une théorie générale des objets. Le premier estime que la théorie en question est logico-mathématique, tandis que le second suggère qu'elle est on-tologique. Quoi qu’il en soit, ils conviennent que tous les objets doivent être con-sidérés, qu’ils soient réels ou non. En outre, ils suggèrent que (...) même si aucun ob-jet ne doit être exclu de la théorie, il est nécessaire d’en distinguer différents types. (shrink)

In the second Meditation, Descartes argues that, because he thinks, he must exist. What are his reasons for accepting the premise of this argument, namely that he thinks? Some commentators suggest that Descartes has a ‘logic’ argument for his premise: It is impossible to be deceived in thinking that one thinks, because being deceived is a species of thinking. In this paper, I argue that this ‘logic’ argument cannot contribute to the first certainty that supposedly stops the Cartesian doubt. Rather, (...) this certainty must be based on another type of access to our own minds, possibly a faculty of introspection. Applying this result to contemporary constitutive theories of self-knowledge (Wright), I show that these cannot be part of what justifies the ascription of particular mental states to a subject. -/- En la segunda de sus "Meditaciones metafísicas", Descartes argumenta que, porque piensa, debe existir. ¿Cuáles son sus razones para aceptar la premisa de este argumento, a saber el que piensa? Algunos comentaristas sugieren que Descartes tiene un argumento 'lógico' para su premisa: No es posible ser engañado en creer que uno piensa, porque el ser engañado también es una especie de pensamiento. En mi ponencia arguyo que este argumento 'lógico' no puede contribuir a la certeza que supuestamente para la duda cartesiana. Más bien, esta certeza debe fundarse en otro tipo de acceso, talvez de forma introspectiva, que tenemos a nuestra propia mente. Aplicando este resultado a teorías contemporáneas constitutivas del autoconocimiento (Wright), muestro que éstas no pueden contribuir a la justificación de la adscripción de estados mentales particulares. (shrink)

The central motivating idea behind the development of this work is the concept of prespace, a hypothetical structure that is postulated by some physicists to underlie the fabric of space or space-time. I consider how such a structure could relate to space and space-time, and the rest of reality as we know it, and the implications of the existence of this structure for quantum theory. Understanding how this structure could relate to space and to the rest of reality requires, (...) I believe, that we consider how space itself relates to reality, and how other so-called "spaces" used in physics relate to reality. In chapter 2, I compare space and space-time to other spaces used in physics, such as configuration space, phase space and Hilbert space. I support what is known as the "property view" of space, opposing both the traditional views of space and space-time, substantivalism and relationism. I argue that all these spaces are property spaces. After examining the relationships of these spaces to causality, I argue that configuration space has, due to its role in quantum mechanics, a special status in the microscopic world similar to the status of position space in the macroscopic world. In chapter 3, prespace itself is considered. One way of approaching this structure is through the comparison of the prespace structure with a computational system, in particular to a cellular automaton, in which space or space-time and all other physical quantities are broken down into discrete units. I suggest that one way open for a prespace metaphysics can be found if physics is made fully discrete in this way. I suggest as a heuristic principle that the physical laws of our world are such that the computational cost of implementing those laws on an arbitrary computational system is minimized, adapting a heuristic principle of this type proposed by Feynman. In chapter 4, some of the ideas of the previous chapters are applied in an examination of the physics and metaphysics of quantum theory. I first discuss the "measurement problem" of quantum mechanics: this problem and its proposed solution are the primary subjects of chapter 4. It turns out that considering how quantum theory could be made fully discrete leads naturally to a suggestion of how standard linear quantum mechanics could be modified to give rise to a solution to the measurement problem. The computational heuristic principle reinforces the same solution. I call the modified quantum mechanics Critical Complexity Quantum Mechanics (CCQM). I compare CCQM with some of the other proposed solutions to the measurement problem, in particular the spontaneous localization model of Ghirardi, Rimini and Weber. Finally, in chapters 5 and 6, I argue that the measure of complexity of quantum mechanical states I introduce in CCQM also provides a new definition of entropy for quantum mechanics, and suggests a solution to the problem of providing an objective foundation for statistical mechanics, thermodynamics, and the arrow of time. (shrink)


Someone who believes “I believe it will rain” can easily be mistaken about the rain. But it does not seem likely, and might even be impossible, that he is wrong about the fact that he believes that it is going to rain. How can we account for this authority about our own beliefs – the phenomenon known as first person authority? In this paper I examine a type of theory proposed, in distinct forms, by Crispin Wright and Jane (...) Heal for an explanation of our authority. Both authors claim that our second-order beliefs (of the form “I believe that p”) are constitutive of the first-order beliefs that are self-ascribed in them (beliefs of the form “p”) and both try to derive the necessity of first person authority from this constitutive relation. My paper analyses and criticizes the two proposals and suggests a non-constitutive, alternative account of first person authority. (shrink)

Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. (...) A further aim is to argue that a comparison between a plurality of theories is beneficial to the philosophical analysis. We may, for example, discover helpful features of one theory that we may want to import into another context, thus enriching our repertoire of formal tools. Or, through comparison with a less well-known theory, we may gain a better understanding of the characteristics of the theories we are familiar with. As argued in this chapter, CTT has much to offer in all of these respects. (shrink)

In this paper I propose a new solution to the problem of change: situationalism. According to this view, parts of reality fundamentally disagree about what is the case and reality as a whole is unsettled (i.e. metaphysically indeterminate). When something changes, parts of the world irreconcilably disagree about what properties it has. From this irreconcilable disagreement, indeterminacy arises. I develop this picture using situations, which are parts of possible worlds; this gives it the name situationalism. It allows a B-theory (...) endurance view on which there is genuine incompatibility when things change. There are costs to the view, which are explored, but it is a novel approach which offers a distinct explanation of what happens when things exist through change. (shrink)

The aim of this paper is to provide a proof-theoretic characterization of relevant logics including fusion and fission connectives, as well as Ackermann’s truth constant. We achieve this by employing the well-established methodology of labelled sequent calculi. After having introduced several systems, we will conduct a detailed proof-theoretic analysis, show a cut-admissibility theorem, and establish soundness and completeness. The paper ends with a discussion that contextualizes our current work within the broader landscape of the proof theory of relevant logics.

This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for a (...) more practice-based approach towards the philosophical understanding of proof systems and their role in structural proof theory. (shrink)

A de minimis risk is defined as a risk that is so small that it may be legitimately ignored when making a decision. While ignoring small risks is common in our day-to-day decision making, attempts to introduce the notion of a de minimis risk into the framework of decision theory have run up against a series of well-known difficulties. In this paper, I will develop an enriched decision theoretic framework that is capable of overcoming two major obstacles to the (...) modelling of de minimis risk. The key move is to introduce, into decision theory, a non-probabilistic conception of risk known as normic risk. (shrink)

It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend (...) an alternative interpretation of first-level function names in Grundgesetze into simple type-theoretic open terms rather than into closed terms of a function type. This interpretation offers a still unhistorical but more faithful type-theoretic approximation of Frege’s theory of levels and can be naturally extended to accommodate second-level functions. It is made possible by two key observations that Frege’s Roman markers behave essentially like open terms and that Frege lacks a clear criterion for distinguishing between Roman markers and function names. (shrink)

The discussion of collective agency involves the reduction problem of the concept of a collective. Individualism and Cartesian internalism have long restricted orthodox theories and made them face the tension between an irreducible concept of a collective and ontological reductionism. Heterodox theories as functionalism and interpretationism reinterpret the concept of agency and accept it as realized on the level of a collective. In order to adequately explain social phenomena that have relations as their essence, in this paper we propose a (...) relational, holistic account of collective agency and argue that functionalism and interpretationism can be integrated into such an account. (shrink)

This paper proposes a view of time that takes passage to be the most basic temporal notion, instead of the usual A-theoretic and B-theoretic notions, and explores how we should think of a world that exhibits such a genuine temporal passage. It will be argued that an objective passage of time can only be made sense of from an atemporal point of view and only when it is able to constitute a genuine change of objects across time. This requires that (...) passage can flip one fact into a contrary fact, even though neither side of the temporal passage is privileged over the other. We can make sense of this if the world is inherently perspectival. Such an inherently perspectival world is characterized by fragmentalism, a view that has been introduced by Fine in his ‘Tense and Reality’ (2005). Unlike Fine's tense-theoretic fragmentalism though, the proposed view will be a fragmentalist view based in a primitive notion of passage. (shrink)

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the (...) arguments advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. -/- Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. -/- To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions? (shrink)

The general aim of this article is to carry out a reconstruction of the theory of Population Dynamics (DP) in Ecology, according to Castle’s (2001) general stance with regard to the semantic view of theories, but doing it within the framework of metatheoretical structuralism. Thus, we will first identify Population Dynamics’ basic theory-element: its core K(DP) – with the class of potential models, the class of models (through the identification of its fundamental law) and the class of partial (...) potential models (though leaving aside the identification of its constraints and its intertheoretical links) –, and its domain of intended applications I(DP). Then, we will establish the general guiding lines of its theory-net, developing in some detail one of its main lines of specialization – namely, that related to the so-called “continuous growing” of the considered populations –, with DP’s principal “models”, and leave developing of the other of its main lines of specialization – namely, that related to the so-called “discrete growing” of the considered populations – for a further publication. (shrink)

According to the principle of Conjunction Closure, if one has justification for believing each of a set of propositions, one has justification for believing their conjunction. The lottery and preface paradoxes can both be seen as posing challenges for Closure, but leave open familiar strategies for preserving the principle. While this is all relatively well-trodden ground, a new Closure-challenging paradox has recently emerged, in two somewhat different forms, due to Backes :3773–3787, 2019a) and Praolini :715–726, 2019). This paradox synthesises elements (...) of the lottery and the preface and is designed to close off the familiar Closure-preserving strategies. By appealing to a normic theory of justification, I will defend Closure in the face of this new paradox. Along the way I will draw more general conclusions about justification, normalcy and defeat, which bear upon what Backes :2877–2895, 2019b) has dubbed the ‘easy defeat’ problem for the normic theory. (shrink)

The philosophy of mind concerns much about how novelty occurs in the world. The very recent progress in this field inspired by quantum mechanics indicates that symmetry restoration occurs in the mind at the moment when new creative thought arises. Symmetry restoration denotes the moment when one’s cognition leaves ordinary internalized mental schemes such as conceptual categories, heuristics, subjective theories, conventional thinking, or expectations. At this moment, fundamentally new, original thought may arise. We also predict that in older age, symmetry (...) restoration is less likely to occur as internalized mental schemes become more rigid in the elderly. Furthermore, the present study demonstrates that symmetry restoration may occur not only individually, in one’s mind, but also collectively, during collaborative creative activities, e.g. during small-group brainstorming sessions or creative improvisational performances. The possibility of collective symmetry restoration interacts well with the ideas in the field of relational ontology. Relational ontology highlights an important ontological role of relations. The ontological primacy is not given to individual entities, as in traditional metaphysics, but to relational structures and transformative relational processes (interactions). When accepting this assumption, we cannot imagine the situation when the actor’s mind could act absolutely independently and leave all of its relations as assumed in the compatibilist theory of free will. We argue that creative free action can be performed even in the case when the actor is entangled within their material, environmental, and social relational structures. (shrink)

“Critical thinking in higher education” is a phrase that means many things to many people. It is a broad church. Does it mean a propensity for finding fault? Does it refer to an analytical method? Does it mean an ethical attitude or a disposition? Does it mean all of the above? Educating to develop critical intellectuals and the Marxist concept of critical consciousness are very different from the logician’s toolkit of finding fallacies in passages of text, or the practice of (...) identifying and distinguishing valid from invalid syllogisms. Critical thinking in higher education can also encompass debates about critical pedagogy, i.e., political critiques of the role and function of education in society, critical feminist approaches to curriculum, issues related to what has become known as critical citizenship, or any other education-related topic that uses the appellation “critical”. Equally, it can, and usually does, refer to the importance and centrality of developing general skills in reasoning—skills that we hope all graduates possess. Yet, despite more than four decades of dedicated scholarly work “critical thinking” remains as elusive as ever. As a concept, it is, as Raymond Williams has noted, a ‘most difficult one’ (Williams, 1976, p. 74). (shrink)

Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases – predictions as to whether justification is present or absent in this or that case. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical principles. The exceptions are a handful of ‘closure’ principles, which have received a lot of attention, and which certain theories of justification are well known to invalidate. But (...) these closure principles are only a small sample of the logical principles that we might consider. In this paper, I will outline four further logical principles that plausibly hold for justification and two which plausibly do not. While my primary aim is just to put these principles forward, I will use them to evaluate some different approaches to justification and (tentatively) conclude that a ‘normic’ theory of justification best captures its logic. (shrink)

This paper seeks to widen the dialogue between the “epistemology of peer disagreement” and the epistemology informed by Wittgenstein’s last notebooks, later edited as On Certainty. The paper defends the following theses: not all certainties are groundless; many of them are beliefs; and they do not have a common essence. An epistemic peer need not share all of my certainties. Which response to a disagreement over a certainty is called for, depends on the type of certainty in question. Sometimes (...) a form of relativism is the right response. Reasonable, mutually recognized peer disagreement over a certainty is possible.—The paper thus addresses both interpretative and systematic issues. It uses Wittgenstein as a resource for thinking about peer disagreement over certainties. (shrink)

Donald T. Campbell outlines an epistemological theory that attempts to be faithful to evolution through natural selection. He takes his position to be consistent with that of Karl R. Popper, whom he credits as the primary advocate of his day for natural selection epistemology. Campbell writes that neither he nor Popper want to give up the goal of objectivity or objective truth, in spite of their evolutionary epistemology. In discussing the conflict between an epistemology based on natural selection and (...) objective truth, Campbell cites an article by the German sociologist and philosopher Georg Simmel entitled 'On a Connection of Selection Theory to Epistemology', as presenting the issue in a notably forthright manner.The present essay summarizes Simmel's article, with the purpose of clarifying, in terms that Campbell apparently finds satisfactory, the conflict that Campbell acknowledges between an evolutionary epistemology and ultimate truth; the essay then examines the responses of Campbell and Popper to Simmel's position. While Campbell and Popper acknowledge the work of Simmel, their responses suggest something less than a full consideration of Simmel's position. (shrink)

After about a century since the first attempts by Bohr, the interpretation of quantum theory is still a field with many open questions.1 In this article a new interpretation of quantum theory is suggested, motivated by philosophical considerations. Based on the findings that the ’weirdness’ of quantum theory can be understood to derive from a vanishing distinguishability of indiscernible particles, and the observation that a similar vanishing distinguishability is found for bundle theories in philosophical ontology, the claim (...) is made that quantum theory can be interpreted in an intelligible way by positing a bundle-theoretic view of objective idealism instead of materialism as the underlying fundamental nature of reality. (shrink)

Fragmentalism was first introduced by Kit Fine in his ‘Tense and Reality’. According to fragmentalism, reality is an inherently perspectival place that exhibits a fragmented structure. The current paper defends the fragmentalist interpretation of the special theory of relativity, which Fine briefly considers in his paper. The fragmentalist interpretation makes room for genuine facts regarding absolute simultaneity, duration and length. One might worry that positing such variant properties is a turn for the worse in terms of theoretical virtues because (...) such properties are not involved in physical explanations and hence theoretically redundant. It will be argued that this is not right: if variant properties are indeed instantiated, they will also be involved in straightforward physical explanations and hence not explanatorily redundant. Hofweber and Lange, in their ‘Fine’s Fragmentalist Interpretation of Special Relativity’, object that the fragmentalist interpretation is in tension with the right explanation of the Lorentz transformations. It will be argued that their objection targets an inessential aspect of the fragmentalist framework and fails to raise any serious problem for the fragmentalist interpretation of special relativity. (shrink)

In a number of papers and in his recent book, Is Water H₂O? Evidence, Realism, Pluralism (2012), Hasok Chang has argued that the correct interpretation of the Chemical Revolution provides a strong case for the view that progress in science is served by maintaining several incommensurable “systems of practice” in the same discipline, and concerning the same region of nature. This paper is a critical discussion of Chang's reading of the Chemical Revolution. It seeks to establish, first, that Chang's assessment (...) of Lavoisier's and Priestley's work and character follows the phlogistonists' “actors' sociology”; second, that Chang simplifies late-eighteenth-century chemical debates by reducing them to an alleged conflict between two systems of practice; third, that Chang's evidence for a slow transition from phlogistonist theory to oxygen theory is not strong; and fourth, that he is wrong to assume that chemists at the time did not have overwhelming good reasons to favour Lavoisier's over the phlogistonists' views. (shrink)

There can be no doubt that discrimination based on sex, race, ethnicity, religion or beliefs should not be tolerated in academia. Surprisingly, however, in recent years, policies of Diversity, Inclusion and Equity(DIE), officially introduced to counteract discrimination, have increasingly led to quite the opposite result: the exclusion of individuals who do not share a radical 'woke' ideology on identity politics (feminism, other gender activisms, critical race theory, etc.), and to the suppression of the academic freedom to discuss such dogmas. (...) This subversion of academia ― disguised Trojan-horse style as universal human rights advocacy ― is unacceptable because academia must be politically neutral and protect freedom of speech, a cornerstone of professional scholarly activity without which universities as we know them will slowly but surely suffocate. -/- Our purpose here is to put together some particularly illustrative cases of such repression in a single book, testifying to a ubiquitous trend within western culture, irreducible to a few isolated complaints. The essays contained here illustrate the abuse of power, censorship and witch-hunts at many universities and research centres in the name of DIE. -/- List of coauthors in alphabetical order: Dorian Abbot, Tomonori Agoh, Gerhard Amendt, Ivar Arpi, David Benatar, Peter Boghossian, Civitas Research Team, David Díaz Pardo de Vera, Pedro Domingos, Janice Fiamengo, Étienne Forest, Jorge Gibert Galassi, Norman Goldstuck, José L. González Quirós, Lawrence M. Krauss, Patrick LaBelle, Martín López Corredoira, Heather Mac Donald, Martin Malmgren, Erik. J. Olsson, Jordan Peterson, Constantin Polychronakos, Philip C. Salzman, Alessandro Strumia, Tom Todd, Andrei Yafaev. (shrink)

The tremendous advances of research into artificial intelligence as well as neuroscience made over the last two to three decades have given further support to a renewed interest into philosophical discussions of the mind-body problem. Especially the last decade has seen a revival of panpsychist and idealist considerations, often focused on solving philosophical puzzles like the socalled hard problem of consciousness.1–9 While a number of respectable philosophers advocate some sort of panpsychistic solution to the mind-body problem now, fewer advocate that (...) idealism can contribute substantially to the debate. Interest in idealism has nevertheless risen again, as can be seen also from recent overview articles and collections of works.10–14 The working hypothesis here is that a properly formulated idealism can not only provide an alternative view of the mind/matter gap, but that this new view will also shed light on open questions in our common scientific, i.e. materialist, world view. To investigate this possibility, idealism first of all needs a model for the integration of modern science which allows for a mathematically consistent reinterpretation of the physical world as a limiting case of a both material and non-material world, which would make the outcome of idealistic considerations accessible to scientific investigation. To develop such a model I will first try to explain what I mean when I speak of a ‘scientifically tenable’ idealism, including a formulation of the emanation problem which for idealism replaces the interaction problem, then give a very brief summary of the available elements of such a theory in the philosophical literature, before sketching out some ‘design questions’ which have to be answered upon the construction of such models, and finally put forward a first model for a scientifically tenable objective idealism. (shrink)

In this paper I explore some ideas inspired by Federico Picinali’s Justice In-Between: A Study of Intermediate Criminal Verdicts. Picinali makes a case for the introduction of intermediate options in criminal trials – verdicts with consequences that are harsher than an acquittal, but not so harsh as a conviction. From a certain perspective, the absence of intermediate options in criminal trials is puzzling – out of kilter with much of our everyday decision-making and, perhaps, with the recommendations of expected utility (...) theory. I will argue, however, that the lack of intermediate options is much less puzzling when put in the context of our ordinary practices of blame and non-legal punishment. (shrink)

This paper outlines a novel solution to the Ship of Theseus puzzle. The solution relies on situations, a philosophical tool used in natural language semantics among other places. The core idea is that what is true is always relative to the situation under consideration. I begin by outlining the problem before briefly introducing situations. I then present the solution: in smaller situations the candidate is identical to Theseus’s ship. But in larger situations containing both candidates these identities are neither true (...) nor false. Finally, I discuss some worries for the view that arise from the nature of identity, and suggest responses. It is concluded that the solution, and the theory that underpins it, are worth further investigation. (shrink)

This paper constructs a model of metaphysical indeterminacy that can accommodate a kind of ‘deep’ worldly indeterminacy that arguably arises in quantum mechanics via the Kochen-Specker theorem, and that is incompatible with prominent theories of metaphysical indeterminacy such as that in Barnes and Williams (2011). We construct a variant of Barnes and Williams's theory that avoids this problem. Our version builds on situation semantics and uses incomplete, local situations rather than possible worlds to build a model. We evaluate the (...) resulting theory and contrast it with similar alternatives, concluding that our model successfully captures deep indeterminacy. (shrink)

The epistemology of religion is the branch of epistemology concerned with the rationality, the justificatory status and the knowledge status of religious beliefs – most often the belief in the existence of an omnipotent, omniscient and loving God as conceived by the major monotheistic religions. While other sorts of religious beliefs – such as belief in an afterlife or in disembodied spirits or in the occurrence of miracles – have also been the focus of considerable attention from epistemologists, I shall (...) concentrate here on belief in God. There were a number of significant works in the epistemology of religion written during the early and mid Twentieth Century. The late Twentieth Century, however, saw a surge of interest in this area, fuelled by the work of philosophers such as William Alston, Alvin Plantinga and Linda Zagzebski amongst others. Alston, Plantinga and Zagzebski succeeded in importing, into the epistemology of religion, various new ideas from mainstream epistemology – in particular, externalist approaches to justification, such as reliabilism, and virtue theoretic approaches to knowledge (see, for instance, Alston, 1986, 1991, Plantinga, 1988, 2000, Zagzebski, 1993a, 1993b). This laid fertile ground for new research – questions about the justificatory and knowledge status of belief in God begin to look very different when viewed through the lens of theories such as these. I will begin by surveying some of this groundbreaking work in the present article, before moving on to work from the last five years – a period in which the epistemology of religion has again received impetus from a number of ideas from mainstream epistemology; ideas such as pragmatic encroachment, phenomenal conservatism and externalist theories of evidence. (shrink)

According to Larry Hickman, John Dewey’s general philosophical project of analyzing and critiquing human experience may be understood in terms of technological inquiry (Hickman 1990, 1). Following this, I contend that technology provides a model for Dewey’s analysis of language and meaning, and this analysis suggests a treatment of linguistic metaphor as a way of meeting new demands of experience with old tools of a known and understood language. An account of metaphor consistent with Dewey’s views on language and meaning (...) avoids a strict dualism of literal meaning and metaphorical meaning as well as the explanatory shortcomings of a nondualistic theory like that found in Donald Davidson’s well-known paper ”What Metaphors Mean” (1978).2 A Deweyan explanation of. (shrink)

Extended simples are fruitfully discussed in metaphysics. They are entities which are located in a complex region of space but do not themselves have parts. In this paper, I will discuss unextended complexes: entities which are not located at a complex region of space but do themselves have parts. In particular, I focus on one type of unextended complex: pointy complexes. Four areas are indicated where pointy complexes might prove philosophically useful. Unextended complexes are therefore philosophically fruitful, in much (...) the same way as extended simples. (shrink)

The focus in the literature on scientific explanation has shifted in recent years towards model-based approaches. In recent work, Alisa Bokulich has argued that idealization has a central role to play in explanation. Bokulich claims that certain highly-idealized, structural models can be explanatory, even though they are not considered explanatory by causal, mechanistic, or covering law accounts of explanation. This paper focuses on Bokulich’s account in order to make the more general claim that there are problems with maintaining that a (...) structural criterion can capture the way that highly-idealized models explain. This paper examines Bokulich’s claim that the structural model explanation of quantum wavefunction scarring, featuring semiclassical mechanics, is deeper than the explanation provided by the local quantum model. The challenge for Bokulich is to show that the semiclassical model answers a wider range of w-questions, as this is her method of assessing structural information. I look at two reasonable approaches employing w-questions, and I argue that neither approach is ultimately satisfactory. Because structural similarity has preferences for more fundamental models, I argue that the local quantum model provides explanations that at least as deep as the semiclassical ones. The criterion either wrongly identifies all models as explanatory, or prefers models from fundamental theory. Either way, it cannot capture the way that highly-idealized models explain. (shrink)

Text představuje aktivní role-playing jako výzkumnou experimentální metodu v sociálních vědách. Zasazuje role-playing do rámce simulačních výzkumných metod, rozkrývá jeho epistemo- logii a dosavadní metodologická uchopení zejména v sociální psychologii. Hlavní linií textu je obhajoba epistemologických kvalit metody a experimentu v sociálních vědách obecně. Inspiračním zdrojem je zde na jedné straně Latourova kvalitativní sociologie asociací, tázající se po původu sociality a problematizující samotný před- mět sociálních věd, tj. sociálno. A na druhé straně přístupy naturalizující sociálně- vědné výzkumy propojením s kognitivní (...) vědou. V tomto ohledu je naším klíčovým předpokladem pro smysluplné uchopení sociální reality v její simulované podobě shodnost kognitivních mechanismů skutečného i simulovaného jednání. V pojetí textu jsou oba zdroje spojeny jejich akcentem na tematizaci sociálna jako inter-psychologického fenoménu mezi tradiční mikro a makro úrovní. Analogií s Petriho miskou text promýšlí posunutí původní metody situační sociální psycho- logie směrem k využití konstruovaných diegetických liminálních situací jako svého druhu laboratoří sociálna. (shrink)

According to the deductive-nomological account of ground, a fact A grounds another fact B in case the laws of metaphysics determine the existence of B on the basis of the existence of A. Accounts of grounding of this particular variety have already been developed in the literature. My aim in this paper is to sketch a new version of this account. My preferred account offers two main improvements over existing accounts. First, the present account is able to deal with necessitarian (...) as well as non-necessitarian cases of grounding by acknowledging the existence of two types of metaphysical laws. I will argue that we should assume that metaphysical laws come in the necessitarian as well as in the non-necessitarian varietyclosely paralleling the distinction between strict and non-strict laws in the philosophy of science. The second main improvement of the present account is that this account is able to provide an explanation of why the laws of metaphysics have a direction built into them. I will argue that we should characterize metaphysical laws with the help of Theodore Sider’s (2011) notion of structure, which is a descendent of David Lewis’s (1983) notion of naturalness. According to the account of metaphysical laws developed in this paper, metaphysical laws express in their antecedents either perfectly structural truths or more structural truths than in their consequents. Since on Sider’s account structural features of reality are fundamental features of reality, the account is able to explain as to why the laws of metaphysics take us from the fundamental to the derivative. (shrink)

This article addresses the following meta-ethical question: do moral values have a special position among other values? According to Robert Adams, moral values do have a special position and are of overriding importance. I argue that the "overridingness" thesis is inconsistent with Adams’s value theory that only God has value in himself and all other things are valuable to the extent that they resemble God. I consider some possible ways of integrating the overridingness thesis that are latent in Adams’s (...) work and argue that none succeeds. My main contribution is to propose a solution to the inconsistency in Adams’s theory. I argue that a theological account of beauty gives us reason to reject the overridingness thesis. Morality overrides some other concerns, but not all other concerns. (shrink)

If something changes from being in one state to being in another state, when exactly does it change? And what’s going on at that time? These questions are often discussed under the heading of the ‘moment’ or ‘instant’ of change. In this paper, I will investigate a view on which there is an intrinsically distinguished, atomic time at which something changes, and at that time it is metaphysically indeterminate what is the case. The background metaphysical picture is situationalism, a (...) class='Hi'>theory on which reality is composed of irreducibly conflicting parts. These conflicting parts give rise to unsettledness in reality as a whole, and also at the point of change. I propose this view as a competitor for existing accounts of the time of change, and spell out a few reasons in its favour. (shrink)

This paper explores the significant strengths of Fricker's account, and then develops the following questions. Can volitional epistemic practice correct for non-volitional prejudices? How can we address the structural causes of credibility-deflation? Are the motivations behind identity prejudice mostly other-directed or self-directed? And does Fricker aim for neutrality vis-à-vis identity, in which case her account conflicts with standpoint theory?

Modern scientific cosmology pushes the boundaries of knowledge and the knowable. This is prompting questions on the nature of scientific knowledge. A central issue is what defines a 'good' model. When addressing global properties of the Universe or its initial state this becomes a particularly pressing issue. How to assess the probability of the Universe as a whole is empirically ambiguous, since we can examine only part of a single realisation of the system under investigation: at some point, data will (...) run out. We review the basics of applying Bayesian statistical explanation to the Universe as a whole. We argue that a conventional Bayesian approach to model inference generally fails in such circumstances, and cannot resolve, e.g., the so-called 'measure problem' in inflationary cosmology. Implicit and non-empirical valuations inevitably enter model assessment in these cases. This undermines the possibility to perform Bayesian model comparison. One must therefore either stay silent, or pursue a more general form of systematic and rational model assessment. We outline a generalised axiological Bayesian model inference framework, based on mathematical lattices. This extends inference based on empirical data (evidence) to additionally consider the properties of model structure (elegance) and model possibility space (beneficence). We propose this as a natural and theoretically well-motivated framework for introducing an explicit, rational approach to theoretical model prejudice and inference beyond data. (shrink)

This article explores aspects of Rosenzweig’s Star of Redemption from the perspective of systems theory. Mosès, Pollock, and others have noted the systematic character of the Star. While “systematic” does not mean “systems theoretic,” the philosophical theology of the Star encompasses ideas that are salient in systems theory. The Magen David star to which the title refers, and which deeply structures Rosenzweig’s thought, fits the classic definition of “system” – a set of elements (God, World, Human) and relations (...) between the elements (Creation, Revelation, Redemption). The Yes and No of the elements and their reversals illustrate the bridging of element and relation with the third category of “attribute,” a notion also central to the definition of “system.” In the diachronics of “the All,” the relations actualize what is only potential in the elements in their primordial state and thus remedy the incompleteness of these elements, fusing them into an integrated whole. Incompleteness is a major theme of systems theory, which also explicitly examines the relations between wholes and parts and offers a formal framework for expressing such fusions. In this article, the systems character of Parts I & II of the Star is explored through extensive use of diagrams; a systems exploration of Part III is left for future work. Remarkably, given its highly architectonic character, diagrams are absent in Rosenzweig’s book, except for the triangle of elements, the triangle of relations, and the hexadic star, which are presented on the opening page of each part of the book. While structures can be explicated entirely in words, diagrams are a visual medium of communication that supplements words and supports a nonverbal understanding that structures both thought and experience. (shrink)

The Catastrophe Theory of Rene Thom and E. C. Zeeman suggests a mathematical interpretation of certain aspects of Hegelian and Marxist dialectics. Specifically, the three 'classical' dialectical principles, (1) the transformation of quantity into quality, (2) the unity and struggle of opposites, and (3) the negation of negation, can be modeled with the seven 'elementary catastrophes' given by Thorn, especially the catastrophes known as the 'cusp' and the 'butterfly'. Far from being empty metaphysics or scholasticism, as critics have argued, (...) the dialectical principles embody genuine insights into a class of phenomena, insights which can now be expressed within a precise mathematical formalism. This fact does not, however, support the claim that these principles, possibly modified or supplemented, constitute the laws of motion for human thought and for natural and social processes or even just the last of these. (shrink)

People construe reality by using words as basic units of meaningful categorization. The present theory-driven study applied the method of a free association task to explore how people express the concepts of the world and the self in words. The respondents were asked to recall any five words relating with the word world. Afterwards they were asked to recall any five words relating with the word self. The method of free association provided the respondents with absolute freedom to choose (...) any words they wanted. Such free recall task is suggested as being a relatively direct approach to the respondents’ self- and world-related conceptual categories, without enormous rational processing. The results provide us, first, with associative ranges for constructs of the world and the self, where some associative dimensions are defined by semantic polarities in the meanings of peripheral categories (e.g., Nature vs. Culture). Second, our analysis showed that some groups of verbal categories that were associated with the words world and self are central, while others are peripheral with respect to the central position. Third, the analysis of category networks revealed that some categories play the role of a transmitter, mediating the pathway between other categories in the network. (shrink)

Entangled quantum systems can be harnessed to transmit, store, and manipulate information in a more efficient and secure way than possible in the realm of classical physics. Given this resource character of entanglement, it is an important problem to characterize ways to manipulate it and meaningful approaches to its quantification. This is the objective of entanglement theory.

Content disjunctivism is the view that veridical experience involves contents and objects that differ from those of corresponding hallucinations. On one formulation of this view, we are aware of ordinary material things in our surroundings when we experience veridically, and we are aware of mere appearances when we hallucinate. This paper proposes a way of developing this view and offers some considerations in support. Central to the proposed regimentation will be a distinction between different notions of appearance. We distinguish between (...) the notion of something merely appearing to have a property and the notion of mere appearances, which are types of objects that we can refer to and be aware of. Mere appearances are not sense data or Meinongian non-existent objects but existing objects that do not have the properties that they appear to have. These notions of appearance will be elucidated, in particular by characterizing how they are involved in hallucination and illusion. I argue that the resulting view is supported by how our mental life seems to us when we experience our environment. (shrink)

Systems theory offers a language in which one might formulate a metaphysics (or more specifically an ontology) of problems. This proposal is based upon a conception of systems theory shared by vonBertalanffy, Wiener, Boulding, Rapoport, Ashby, Klir, and others,and expressed succinctly by Bunge, who considered game theory, information theory, feedback control theory, and the like to be attempts to construct an "exact and scientific metaphysics." Our prevailing conceptions of "problems" are concretized yet also fragmented, and (...) in fact dissolved, by the standard reductionist model of science, which cannot provide a general framework for analysis. The idea of a "systems theory," however, suggests the possibility of an abstract and coherent account of the origin and essence of problems. Such an account would constitute a secular theodicy. (shrink)

Chapter 1 constitutes an introduction to Gentzen calculi from two perspectives, logical and philosophical. It introduces the notion of generalisations of Gentzen sequent calculus and the discussion on properties that characterize good inferential systems. Among the variety of Gentzen-style sequent calculi, I divide them in two groups: syntactic and semantic generalisations. In the context of such a discussion, the inferentialist philosophy of the meaning of logical constants is introduced, and some potential objections – mainly concerning the choice of working with (...) semantic generalizations – are addressed. Finally, I’ll introduce the case studies that I’ll be dealing with in part II. Chapter 2 is concerned with the origins and development of Jaśkowski’s discussive logic. The main idea of this chapter is to systematize the various stages of the development of discussive logic related researches from two different angles, i.e., its connections to modal logics and its proof theory, by highlighting virtues and vices. Chapter 3 focuses on the Gentzen-style proof theory of discussive logic, by providing a characterization of it in terms of labelled sequent calculi. Chapter 4 deals with the Gentzen-style proof theory of relevant logics, again by employing the methodology of labelled sequent calculi. This time, instead of working with a single logic, I’ll deal with a whole family of them. More precisely, I’ll study in terms of proof systems those relevant logics that can be characterised, at the semantic level, by reduced Routley-Meyer models, i.e., relational structures with a ternary relation between states and a unique base element. Chapter 5 investigates the proof theory of a modal expansion of intuitionistic propositional logic obtained by adding an ‘actuality’ operator to the connectives. This logic was introduced also using Gentzen sequents. Unfortunately, the original proof system is not cut-free. This chapter shows how to solve this problem by moving to hypersequents. Chapter 6 concludes the investigations and discusses the future of the research presented throughout the dissertation. (shrink)

partial review of Thomas Nagel’s book, Mind and Cosmos: Why the Materialist Neo-Darwinian Conception of Nature Is Almost Certainly False is used to articulate some systems-theoretic ideas about the challenge of understanding subjective experience. The article accepts Nagel’s view that reductionist materialism fails as an approach to this challenge, but argues that seeking an explanation of mind based on emergence is more plausible than seeking one based on pan-psychism, which Nagel favors. However, the article proposes something similar to Nagel’s neutral (...) monism by positing a hierarchy of information processes that spans the domains of matter, life, and mind. As depicted in this hierarchy, subjective experience is emergent, but also continuous with informational phenomena at lower levels. (shrink)