This paper is about a special version of PDL, proposed by Marcus Kracht, for reasoning about sibling ordered trees. It has four basic programs corresponding to the child, parent, left- and right-sibling relations in such trees. The original motivation for this language is rooted in the field of model-theoretic syntax. Motivated by recent developments in the area of semi-structured data, and, especially, in the field of query languages for XML (eXtensible Markup Language) documents, we revisit the language. This renewed interest (...) comes with a special focus on complexity and expressivity aspects of the language, aspects that have so far largely been ignored. We survey and derive complexity results, and spend most of the paper on the most important open question concerning the language: what is its expressive power? We approach this question from two angles: Which first-order properties can be expressed? And which second-order properties? While we are still some way from definitive answers to these questions, we discuss two first-order fragments of the PDL language for ordered trees, and show how the language can be used to express some typical (second-order) problems, like the boolean circuit and the frontier problem. (shrink)

Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi ...

Relationalism maintains that perceptual experience involves, as part of its nature, a distinctive kind of conscious perceptual relation between a subject of experience and an object of experience. Together with the claim that perceptual experience is presentational, relationalism is widely believed to be a core aspect of the naive realist outlook on perception. This is a mistake. I argue that naive realism about perception can be upheld without a commitment to relationalism.

The chapter explores comparatively the attention to the practical dimension that—each in his own way—Michel Foucault, Friedrich Nietzsche, and the classic pragmatist thinker William James pay when confronted with the challenge of providing a non-skeptical response to the relativist stance on truth that arose in the post-Kantian age. Particular focus will be given to the extent to which these three authors conceived of the practical framework as the only one that allows us to meaningfully address and determine truth.

John Hyman insists that Frege-style cases for depiction show that any sound theory of depiction must distinguish between the ‘sense’ and the ‘reference’ of a picture. I argue that this rests on a mistake. Making sense of the cases does not require the distinction.

In the 1881 note 11 [156], Nietzsche mentions the “infinitely small moment” as “the highest reality and truth” for the individual who tries to contrast the “uniformity of sensations” and to affirm his “idiosyncratic taste”. The fragment explores some ideas on the herd instinct that will be developed in "The Gay Science"; observations on the cultural and anthropological value of science; critical refections on metaphysical realism. Most important, these considerations focus on the relationship between man and society, which is the (...) plane of the standardized “normal taste” selected throughout the evolution of mankind. The paper explores these issues and especially deals with the dialectic relationship between the individual and the community viewpoint that Nietzsche seems to take into account. (shrink)

"Absolute Beginners" is a multi-approach study of the founding role of the Absolute as the very beginning of knowledge in medieval philosophy (Henry of Ghent, Richard Conington), the subject being addressed from historical, methodological, ...

This volume explores the different aspects of the thinking of Marsilius of Inghen . It is devoted to the background of his philosophy and theology, to the significance of his many writings, and to the impact of his thought.

This volume provides a geographically and historically diverse overview of philosophical traditions that establish a deep connection between truth and practice, or even see truth itself as a kind of practice. Under the label "practices of truth" are subsumed disparate approaches that can be fruitfully brought together to explore the intersections between truth and practice in philosophy as well as to address a range of intriguing questions about truth that fall outside the domain of pure theory. The chapters in this (...) volume provide a variety of perspectives on key practices of truth in philosophy and in the history of philosophy, enriching our understanding of the different ways in which truth and practice may be connected, including the role of certain practices in enabling philosophical insight into truth; the ways in which truth may actually be embedded in some practices; and the impact of truth on practice. Practices of Truth in Philosophy will appeal to scholars and advanced students interested in the history of philosophy, comparative philosophy, ethics, epistemology, and the metaphysics of truth. (shrink)

This paper shows how Aquinas gradually developed his view on angelic speech. His major texts are summarized and compared to those of contemporaries (sections II-III). Next the texts are analyzed, focusing on three issues: the notion of ‘word’ (section IV), the role of the will (section V), and the need of signification (section VI). With regard to each of these topics, Aquinas’ thought evolved, first by juxtaposing and later by integrating Augustinian and Aristotelian viewpoints. Aquinas reaches his mature position in (...) the Summa Theologiae by radically reinterpretating the meaning of ‘word’ and denying that angelic speech has a semiotic structure. (shrink)

Philosophers and psychologists often assume that mirror reflections are optical illusions. According to many authors, what we see in a mirror appears to be behind it. I discuss two strategies to resist this piece of dogma. As I will show, the conviction that mirror reflections are illusions is rooted in a confused conception of the relations between location, direction, and visibility. This conception is unacceptable to those who take seriously the way in which mirrors contribute to our experience of the (...) world. My argument may be read as an advertisement of the neglected field of philosophical catoptrics, the philosophical study of the optical properties of mirrors. It enables us to recast familiar issues in the philosophy of perception. (shrink)

Many people assume that fictional entities are encapsulated in the world of fiction. I show that this cannot be right. Some works of fiction tell us about pieces of poetry, music, or theatre written by fictional characters. Such creations are fictional creations, as I will call them. Their authors do not exist. But that does not take away that we can perform, recite, or otherwise generate actual instances of such works. This means we can bring such individuals actually into existence, (...) as the works they are. I conclude that the assumption about encapsulation is untenable, unless an exception is made for types. (shrink)

Au nom d'un "rationalisme économique morbide" une nouvelle colonisation des esprits envahit la planète. Avec ses agences d'évaluation et ses hommes de main, cette "religion du marché" interdit de penser le monde, notre monde, autrement que comme un stock de marchandises ou de produits financiers. Pour réaliser cette nouvelle manière de civiliser les moeurs il fallait faire chuter la valeur de l'expérience et celle du récit - de la parole - qui la transmet. En faisant baisser le cours de la (...) parole au profit de l'information, de sa part la plus technique et mesurable, nous perdons le monde commun, nous perdons notre monde. Et plus encore en Occident, nous nous habituons à lâcher la démocratie pour l'ombre d'une technocratie qui organise insidieusement nos servitudes volontaires. Cet ouvrage invite au retour du politique pour retrouver les conditions sociales et culturelles permettant de penser, de juger et de décider. Cela exige que soit d'abord interrogé le statut du savoir dans la culture, son rapport à l'expérience et aux pratiques sociales. Mais comment retrouver aujourd'hui la dignité de penser dans une culture qui ignore la légitimité du savoir du conte, du rêve, du jeu et de leurs récits? La France qui se lève tôt a-t-elle encore le temps de raconter sa vie, son histoire et ses rêves? (shrink)

Part of the distinction between artefacts, objects made by humans for particular purposes, and natural objects is that artefacts are subject to normative judgements. A drill, say, can be a good drill or a poor drill, it can function well or correctly or it can malfunction. In this paper I investigate how such judgements fit into the domain of the normative in general and what the grounds for their normativity are. Taking as a starting point a general characterization of normativity (...) proposed by Dancy, I argue how statements such as ‘this is a good drill’ or ‘this drill is malfunctioning’ can be seen to express normative facts, or the content of normative statements. What they say is that a user who has a desire to achieve a particular relevant outcome has a reason to use, or not to use, the artefact in question. Next this analysis is extended to show that not just statements that say that an artefact performs its function well or poorly, but all statements that ascribe a function to an artefact can be seen as expressing a normative fact. On this approach the normativity of artefacts is analyzed in terms of reasons on grounds of practical, and to a lesser extent theoretical, rationality. I close by investigating briefly to what extent reasons on moral grounds are, in the analysis adopted here, involved in the normativity of artefacts.Keywords: Artefact; Normativity; Instrumental reason; Practical rationality; Function; Use. (shrink)

The present study examined whether individuals with full-blown memories of highly implausible events are prone to commit source monitoring errors. Participants reporting previous-life memories and those without such memories completed a false fame task. This task provides an index of source monitoring errors . Participants with previous-life memories had a greater tendency to judge the names of previously presented non-famous people as famous than control participants. The two groups did not differ in terms of correct recognition of new non-famous names (...) and famous names. Although dissociation, cognitive failures, sleep-related experiences, depressive symptoms, and signs of psychological distress were all significantly higher in participants with previous-life memories than in controls, these variables did not predict the false fame illusion. (shrink)

The concept of the future is re-emerging as an urgent topic on the academic agenda. In this article, we focus on the ‘politics of the future’: the social processes and practices that allow particular imagined futures to become socially performative. Acknowledging that the performativity of such imagined futures is well-understood, we argue that how particular visions come about and why they become performative is underexplained. Drawing on constructivist sociological theory, this article aims to fill this gap by exploring the question (...) ‘how do imagined futures become socially performative’? In doing so, the article has three aims to identify the leading social–theoretical work on the future; conceptualize the relationship of the imagination of the future with social practices and the performance of reality; provide a theoretical framework explaining how images of the future become performative, using the concepts ‘techniques of futuring’ and ‘dramaturgical regime’. (shrink)

For an arbitrary similarity type of Boolean Algebras with Operators we define a class of Sahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities are canonical, that is, their validity is preserved under taking canonical (...) embedding algebras. Taken together, these properties imply that results about a Sahlqvist variety V van be obtained by reasoning in the elementary class of canonical structures of algebras in V. We give an example of this strategy in the variety of Cylindric Algebras: we show that an important identity called Henkin's equation is equivalent to a simpler identity that uses only one variable. We give a conceptually simple proof by showing that the firstorder correspondents of these two equations are equivalent over the class of cylindric atom structures. (shrink)

Genes are often described by biologists using metaphors derived from computa- tional science: they are thought of as carriers of information, as being the equivalent of ‘‘blueprints’’ for the construction of organisms. Likewise, cells are often characterized as ‘‘factories’’ and organisms themselves become analogous to machines. Accordingly, when the human genome project was initially announced, the promise was that we would soon know how a human being is made, just as we know how to make airplanes and buildings. Impor- tantly, (...) modern proponents of Intelligent Design, the latest version of creationism, have exploited biologists’ use of the language of information and blueprints to make their spurious case, based on pseudoscientific concepts such as ‘‘irreducible complexity’’ and on flawed analogies between living cells and mechanical factories. However, the living organ- ism = machine analogy was criticized already by David Hume in his Dialogues Concerning Natural Religion. In line with Hume’s criticism, over the past several years a more nuanced and accurate understanding of what genes are and how they operate has emerged, ironically in part from the work of computational scientists who take biology, and in particular developmental biology, more seriously than some biologists seem to do. In this article we connect Hume’s original criticism of the living organism = machine analogy with the modern ID movement, and illustrate how the use of misleading and outdated metaphors in science can play into the hands of pseudoscientists. Thus, we argue that dropping the blueprint and similar metaphors will improve both the science of biology and its understanding by the general public. (shrink)

Aim of this paper is to reflect on the anthropological ideal Nietzsche outlines in his late period. The way Nietzsche deals with concepts such as “German”, “(good) European”, and “free spirit” in the sections of Twilight of the Idols which deal with Goethe will be especially considered. Furthermore, I shall argue that Renaissance plays an important role in Nietzsche’s anthropological project, for it helps to define the spiritual strength which characterizes the health type of man to which Nietzsche destined his (...) late philosophical wisdom and gay science. (shrink)

This comment on 'Economic theories and their Dueling interpretations' questions the descriptive adequacy of the ‘sociology of economics' proposed by Gilboa, Postlewaite, Samuelson, and Schmeidler (GPSS) (2022). We ask whether economists still perceive the role of microeconomic theory as central as do GPSS. In particular, is present-day economics unified by the principles of maximising, subject to constraints and equilibrium analysis? We argue that this is not the case. GPSS’ appeal to the interpretative flexibility of economic theories appears apologetic, especially the (...) suggestion that theories and models, which once were considered positive descriptions or predictive instruments, are now cast as analytical or methodological exercises. We conclude on a more constructive note, drawing from the recent philosophical discussion of modelling which, quite paradoxically, grants highly idealized and simplified models a more important role than GPSS appear to allow. (shrink)

One way to address such questions about artifact kinds is to look for clues in the available literature on parallel questions that have been posed with respect to kinds in the natural domain. Philosophers have long been concerned with the ...

In this paper we will be concerned with the interpretability logic of PA and in particular with the fact that this logic, which is denoted by ILM, does not have the interpolation property. An example for this fact seems to emerge from the fact that ILM cannot express Σ₁-ness. This suggests a way to extend the expressive power of interpretability logic, namely, by an additional operator for Σ₁-ness, which might give us a logic with the interpolation property. We will formulate (...) this extension, give an axiomatization which is modally complete and arithmetically complete (although for proofs of these theorems we refer to an earlier paper), and investigate interpolation. We show that this logic still does not have the interpolation property. (shrink)

The present paper presents a philosophical analysis of earth science, a discipline that has received relatively little attention from philosophers of science. We focus on the question of whether earth science can be reduced to allegedly more fundamental sciences, such as chemistry or physics. In order to answer this question, we investigate the aims and methods of earth science, the laws and theories used by earth scientists, and the nature of earth-scientific explanation. Our analysis leads to the tentative conclusion that (...) there are emergent phenomena in earth science but that these may be reducible to physics. However, earth science does not have irreducible laws, and the theories of earth science are typically hypotheses about unobservable (past) events or generalised - but not universally valid - descriptions of contingent processes. Unlike more fundamental sciences, earth science is characterised by explanatory pluralism: earth scientists employ various forms of narrative explanations in combination with causal explanations. The main reason is that earth-scientific explanations are typically hampered by local underdetermination by the data to such an extent that complete causal explanations are impossible in practice, if not in principle. (shrink)

Decision making in noisy and changing environments requires a fine balance between exploiting knowledge about good courses of action and exploring the environment in order to improve upon this knowledge. We present an experiment on a restless bandit task in which participants made repeated choices between options for which the average rewards changed over time. Comparing a number of computational models of participants’ behavior in this task, we find evidence that a substantial number of them balanced exploration and exploitation by (...) considering the probability that an option offers the maximum reward out of all the available options. (shrink)

This paper offers a reassesment of Simon Stevin’s mechanics, by focusing on how Stevin tries to anchor his mathematical demonstrations in the behavior of material instruments. It is shown how his views on the relation between spiegheling and daet are crucial to correctly understand his famous proof of the law of the inclined plane and his experimental test of the Aristotelian law of free fall. The distance separating spiegheling and daet is reproduced in that between instruments at rest and instruments (...) in motion, because of Stevin’s claim that impediments to motion are “inseperable accidents” of all moving objects. (shrink)

Friedrich Nietzsche's criticism towards the substance-concept «I» plays an important role in his late thought, and can be properly understood by making reference to the 19th century debate on the scientific psychology. Friedrich Lange and Ernst Mach gave an important contribution to that debate. Both of them developed the ideas of Gustav Fechner, and thought about a «psychology without a soul», i.e. an investigation that gives up with the old metaphysics of substance in dealing with the mind-body problem. In this (...) paper I shall deal with Lange's and Mach's view of the I/soul, in order to shed some light on Nietzsche's rejection of the «I» in philosophy. (shrink)

What sets the practice of rigorously tested, sound science apart from pseudoscience? In this volume, the contributors seek to answer this question, known to philosophers of science as “the demarcation problem.” This issue has a long history in philosophy, stretching as far back as the early twentieth century and the work of Karl Popper. But by the late 1980s, scholars in the field began to treat the demarcation problem as impossible to solve and futile to ponder. However, the essays that (...) Massimo Pigliucci and Maarten Boudry have assembled in this volume make a rousing case for the unequivocal importance of reflecting on the separation between pseudoscience and sound science. (shrink)

Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This paper offers a modal perspective on Peirce algebras. Using modal logic as a characterization of the full Peirce algebras is given, as well as a finite axiomatization of their equational theory that uses so-called unorthodox derivation rules. In addition, the expressive power of Peirce algebras is analyzed through their connection with first-order logic and the fragment of first-order logic corresponding to Peirce algebras is described (...) in terms of bisimulations. (shrink)

Undergraduate geoscience students are rarely exposed to history and philosophy of science. I will describe the experiences with a short course unfavourably placed in the first year of a bachelor of earth science. Arguments how HPS could enrich their education in many ways are sketched. One useful didactic approach is to develop a broader interest by connecting HPS themes to practical cases throughout the curriculum, and develop learning activities that allow students to reflect on their skills, methods and their field (...) in relation to other disciplines and interactions with society with abilities gained through exposure to HPS. Given support of the teaching staff, the tenets of philosophy of science in practice, of conceptual history of knowledge, and of ethics of science for society can fruitfully and directly be connected to the existing curriculum. This is ideally followed by a capstone HPS course late in the bachelor programme. (shrink)

The ‘European Space of Higher Education’ could be mapped as an infrastructure for entrepreneurship and a place where the distinction between the social and the economic becomes obsolete. Using Foucault's understanding of biopolitics and discussing the analyses of Agamben and Negri/Hardt it is argued that the actual governmental configuration, i.e. the economisation of the social, also has a biopolitical dimension. Focusing on the intersection between a politicisation and economisation of human life allows us to discuss a kind of ‘bio‐economisation’ , (...) a regime of economic terror and learning as investment. Finally it is argued how fostering learning, i.e. fostering life could turn into ‘let die’ and even into ‘make die’. (shrink)

Nei paragrafi conclusivi della terza dissertazione della "Genealogia della morale" Nietzsche espone l'obiettivo della propria filosofia matura e circoscrive il compito al quale intende dedicarsi negli anni a venire. Quest'ultimo consiste principalmente nel porre in questione ciò che la filosofia non ha mai affrontato problematicamente e operare in particolare una critica del «valore della verità», che è per Nietzsche anche una critica della morale e della cultura europee.

This paper focuses on sections of Nietzsche's Twilight of the Idols that deal with Goethe, with the aim of reflecting on the anthropological ideal that Nietzsche outlines in his late period. I give particular attention to the way in which Nietzsche deals with concepts such as "German", "(good) European", and "free spirit", connecting them in a coherent picture. Finally, I argue that the Renaissance plays an important role in Nietzsche's anthropological project, for it helps to define the spiritual strength that (...) characterizes the healthy type of man whom Nietzsche thought destined to realize his late philosophy. (shrink)

People can come to seem to us more beautiful the better we get to know their personalities. Some have taken this to show there is a moral kind of beauty. According to the moral beauty view, moral personality traits realise moral beauty in people. Here I present a problem for the standard articulation of the moral beauty view, namely that it is not a logical truth that people inherit the beauty of their virtues. I call this the ‘inheritance problem’. I (...) present an alternative articulation of the moral beauty view that does not give rise to the problem. On this alternative articulation, the moral beauty view is not as revisionary as it is standardly taken to be. (shrink)

Starting with a discussion of what I call `Koyré's paradox of conceptual novelty', I introduce the ideas of Damerow et al. on the establishment of classical mechanics in Galileo's work. I then argue that although their view on the nature of Galileo's conceptual innovation is convincing, it misses an essential element: Galileo's use of the experiments described in the first day of the Two New Sciences. I describe these experiments and analyze their function. Central to my analysis is the idea (...) that Galileo's pendulum experiments serve to secure the reference of his theoretical models in actually occurring cases of free fall. In this way, Galileo's experiments constitute an essential part of the meaning of the new concepts of classical mechanics. (shrink)

Eighteenth century river hydraulics used both theory and measurement to address problems of flood safety, navigation and defense related to the rivers. In the late eighteenth century the Dutch overseer of the rivers, Christiaan Brunings, integrated hydraulic theory and meteorological practices, which enabled him to design a unique instrument for measuring river flow. The question is whether the unprecedented detail of measurements fits the putative empirical stance in the eighteenth century. The interactions between theory, instrument, measurement, and other knowledge practices (...) are here assessed using experiences in similar measurement practices. I argue that Brunings had theoretical and embodied understanding of hydrodynamics, as he knew how to design an instrument for flow measurement of sufficient accuracy for his purpose in the sociopolitical context of river management. (shrink)

The ‘European Space of Higher Education’ could be mapped as an infrastructure for entrepreneurship and a place where the distinction between the social and the economic becomes obsolete. Using Foucault's understanding of biopolitics and discussing the analyses of Agamben and Negri/hardt it is argued that the actual governmental configuration, i.e. the economisation of the social, also has a biopolitical dimension. Focusing on the intersection between a politicisation and economisation of human life allows us to discuss a kind of ‘bio‐economisation’ (cf. (...) Bröckling), a regime of economic terror and learning as investment. Finally it is argued how fostering learning, i.e. fostering life (as a learning process) could turn into ‘let die’ and even into ‘make die’. (shrink)

Schools and classrooms, as well as the work place and the Internet, are considered today as learning environments . People are regarded as learners and the main target of school education has become 'learning' pupils and students how to learn. The roles of teachers and lecturers are redefined as instructors, designers of (powerful) learning environments and facilitators or coaches of learning processes. The aim of this paper is to argue that the current self-understanding in terms of learning environments is not (...) merely about a renewal of our vocabulary, but an indication of a far more general transformation of the world of education. It is argued that the current self-understanding in terms of 'learning environments' and 'learners' indicates a shift in our experience of time and place; a shift from (modern) historical self-understanding towards (post-modern) environmental self-understanding. The essay draws upon Foucauldian concepts in order to map the modern organisation of time and space in 'schools'. This past organisation is confronted with the current organisation of time and space in 'learning environments'. By contrasting both maps the paper focuses on the main characteristics of the current experience of time and space, that is, 'environmental self-understanding', and explores in the final section the dark side of this self-understanding. (shrink)

This chapter contains sections titled: Introduction Object and Aims of Earth Science The Autonomy of Earth Science Explanation in Earth Science Conclusion Acknowledgment References.