In this paper I compare parametric and nonparametric regression models with the help of a simulated data set. Doing so, I have two main objectives. The first one is to differentiate five concepts of simplicity and assess their respective importance. The second one is to show that the scope of the existing philosophical literature on simplicity and model selection is too narrow because it does not take the nonparametric approach into account, S112–S123, 2002; Forster and Sober in The British Journal (...) for the Philosophy of Science 45, 1–35, 1994; Forster, 2001, in Philosophy of Science 74, 588–600, 2007; Hitchcock and Sober in The British Journal for the Philosophy of Science 55, 1–34, 2004; Mikkelson in Philosophy of Science 73, 440–447, 2006; Baker 2013). More precisely, I point out that a measure of simplicity in terms of the number of adjustable parameters is inadequate to characterise nonparametric models and to compare them with parametric models. This allows me to weed out false claims about what makes a model simpler than another. Furthermore, I show that the importance of simplicity in model selection cannot be captured by the notion of parametric simplicity. ‘Simplicity’ is an umbrella term. While parametric simplicity can be ignored, there are other notions of simplicity that need to be taken into consideration when we choose a model. Such notions are not discussed in the previously mentioned literature. The latter therefore portrays an incomplete picture of why simplicity matters when we choose a model. Overall I support a pluralist view according to which we cannot give a general and interesting justification for the importance of simplicity in science. (shrink)

My aim in this paper is to show how the problem of inflated effect sizes corrupts the severity measure of evidence. This has never been done. In fact, the Winner’s Curse is barely mentioned in the philosophical literature. Since the severity score is the predominant measure of evidence for frequentist tests in the philosophical literature, it is important to underscore its flaws. It is also crucial to bring the philosophical literature up to speed with the limits of classical testing. The (...) Winner’s Curse is one of them. The problem is that when a significant result is obtained by using an underpowered test, the severity score becomes particularly high for large discrepancies from the null-hypothesis. This means that such discrepancies are very well supported by the evidence according to that measure. However, it is now well documented that significant tests with low power display inflated effect sizes. They systematically show departures from the null hypothesis H0 that are much greater than they really are. From an epistemological point of view this means that a significant result produced by an underpowered test does not provide evidence for large discrepancies from H0. Therefore, the severity score is an inadequate measure of evidence. Given that we are now aware of the phenomenon of inflated effect sizes, it would be irresponsible to rely on the severity score to measure the strength of the evidence against the null. Instead, one must take appropriate measures to try and avoid using underpowered tests by setting a threshold for the sample size or by replicating the results of the experiment. (shrink)

It has been claimed that if statistical power and p-values are both used to measure the strength of our evidence for the null-hypothesis when the results of our tests are not significant, then they can also be used to derive inconsistent epistemic judgements as we compare two different experiments. Those problematic derivations are known as power approach paradoxes. The consensus is that we can avoid them if we abandon the idea that statistical power can measure the strength of our evidence. (...) In this paper however, I put forward a different solution. I argue that every power approach paradox rests on an equivocation on "strong evidence". The main idea is that we need to make a careful distinction between the evidence provided by the quality of the test and the evidence provided by the outcome of the test. Both provide different types of evidence and their respective strength are to be evaluated differently. (shrink)

The p value is the probability under the null hypothesis of obtaining an experimental result that is at least as extreme as the one that we have actually obtained. That probability plays a crucial role in frequentist statistical inferences. But if we take the word ‘extreme’ to mean ‘improbable’, then we can show that this type of inference can be very problematic. In this paper, I argue that it is a mistake to make such an interpretation. Under minimal assumptions about (...) the alternative hypothesis, I explain why ‘extreme’ means ‘outside the most precise predicted range of experimental outcomes for a given upper bound probability of error’. Doing so, I rebut recent formulations of recurrent criticisms against the frequentist approach in statistics and underscore the importance of random variables. (shrink)

In this paper I articulate a fictionalist solution to the closure problem that affects constructive empiricism. Relying on Stephen Yablo’s recent study of closure puzzles, I show how we can partition the content of a theory in terms of its truthmakers and claim that a constructive empiricist can believe that all the observable conditions that are necessary to make a part of her theory true obtain and remain agnostic about whether or not the other truthmakers for the other parts of (...) her theory obtain. This can be done even though she asserts her theory as if it was wholly true. (shrink)

In this paper, I compare theory-laden perceptions with imputed data sets. The similarities between the two allow me to show how the phenomenon of theory-ladenness can manifest itself in statistical analyses. More importantly, elucidating the differences between them will allow me to broaden the focus of the existing literature on theory-ladenness and to introduce some much-needed nuances.

The main point of this paper is to underscore that tests with very low power will be significant only if the observations are deviant under both H0 and H1. Therefore, the results of those significant tests will generate misleadingly high severity scores for differences between H0 and H1 that are excessively overestimated. In other words, that measure of evidence is bound to fail in those cases. It will inevitably fail to adequately measure the strength of the evidence provided by tests (...) with low power. (shrink)

The main point of this paper is to underscore the link between simplicity and truth in an unsupervised machine learning context. More precisely, we argue that parametric and dimensional simplicity are not indicators of truth but the methodological principle that urges us to pay attention to such notions of simplicity is truth conducive. The truth that we are looking for are specific geometrical shapes and we know which algorithm can find which shapes provided that we pay attention to parametric and (...) dimensional simplicity. (shrink)

In 1983, in an open letter to the journal Nature, Karl Popper and David Miller set forth a particularly strong critical argument which sought to demonstrate the impossibility of inductive probability. Since its publication the argument has faced many criticisms and we argue in this article that they do not reach their objectives. We will first reconstruct the demonstration made by Popper and Miller in their initial article and then try to evaluate the main arguments against it. Although it is (...) possible to conceptualize logically the idea of induction, it is shown that it is not possible on traditional Bayesian grounds. (shrink)

In 1983, in an open letter to the journal Nature, Karl Popper and David Miller set forth a particularly strong critical argument which sought to demonstrate the impossibility of inductive probability. Since its publication the argument has faced many criticisms and we argue in this article that they do not reach their objectives. We will first reconstruct the demonstration made by Popper and Miller in their initial article and then try to evaluate the main arguments against it. Although it is (...) possible to conceptualize logically the idea of induction, it is shown that it is not possible on traditional Bayesian grounds. (shrink)

The curse of dimensionality is one of the most prominent challenge that data scientists face when trying to make valuable inferences. It is an epistemic problem that hits particularly hard in "Big Data" research contexts, where the volume of the data set is particularly large. The way in which we tackle with this problem sheds light on the notion of scientific evidence. Yet, it is virtually absent from the current philosophical literature. In this paper, I aim to broaden the focus (...) of that literature by showing that the dimensions in which the data are embedded are an integral part of scientific evidence. This is an aspect of scientific evidence that is often hidden behind the traditional observation/theory dichotomy that we often encounter in philosophy of science. Dimensions are abstract objects. They are not observables like tables and chairs, nor are they entries in a data set. Ultimately, I aim to show that empirical adequacy is not merely a matter of finding the model that best fit the relevant observational data. It is also a matter of finding the model that best fit the relevant observational data inside the relevant dimensions. (shrink)

Machine learning is a scientific discipline that can be divided into two main branches: supervised machine learning and unsupervised machine learning. In this paper, we aim to show just how simplicity matters in unsupervised contexts. This is important because unsupervised machine learning algorithms have barely received any attention in philosophy. Yet, there is a direct link between simplicity and truth in unsupervised contexts that we do not find in their supervised counterparts. This has thus far evaded philosophical discussions on simplicity.

Classical statistical inferences have been criticised for various reasons. To assess the soundness of such criticisms is a very important task because they are widely used in everyday scientific research. This is one of the reasons why the philosophy of statistics is an exciting field of study. In this paper, I focus on two such criticisms. The first one claims that the use of the p-value violates the principle of total evidence. It is a thesis that has been defended by (...) Elliott Sober and Bengt Autzen. The second one says that the result of classical tests does not only depend on the data but on the sampling plan of the experimenter also. The underlying criticism of course is that the sampling plan is not part of the evidence and that classical tests therefore violate PTE. The intentions of the experimenter should not affect the result of an inference. My aim is to show that both criticisms are unsound. Doing so, I hope to clarify the concept of p-value and the nature of the evidence in classical statistical tests. The point of my paper is to show that the identification of the evidence on which those criticisms rest is inadequate. (shrink)

From the 1660s onwards, France tried to establish itself as a leading maritime and colonial power. The first French East India Company allowed a decisive penetration into the Indian Ocean, while the foundation of the Rochefort arsenal was the starting point of a great shipbuilding effort. The archives of the State Secretariat of the French Navy, ports, and learned societies, as well as printed scholarly literature, testify to an increasing mobilisation around the health of the “gens de mer.” Most (...) of the actors involved in this reflection, whether doctors or surgeons, naval officers or engineers, scholars or inventors, agreed in associating seamen's diseases with the poor air quality prevailing within ships. The environment of seafarers was thus definitely regarded as harmful. However, the atmosphere of a ship was also seen through the possibility to reshape it and reduce its dangerousness, with adapted behaviours, careful maintenance, or technical solutions. This was crucial to ensure the circulation of human beings and goods across the French overseas empire, but also to defend it from the threats associated with the major conflicts of the second half of the 18th century. This article highlights how environments regarded as “pathogenic” were conceived and reshaped during the second half of the early modern period in France, using the example of naval hygiene. It examines the strategies designed and implemented to combat the “noxious” air of French ships, in particular through the regulations introduced since the end of the 17th century, and considers how this issue has stimulated the search for technological solutions. (shrink)

L’attitude réaliste constitue de prime abord la posture du sens commun vis-à-vis de la science. Elle consiste à attribuer à la science l’objectif de décrire littéralement la réalité tout en lui reconnaissant la capacité, en vertu de ses méthodes, d’atteindre ce but. Si le réalisme scientifique apparait comme représentant le sens commun, il a dû, au courant du siècle dernier, s’ériger en véritable posture philosophique argumentée devant l’influence grandissante des différentes formes d’antiréalismes. Dans la mesure où la posture qu’un philosophe (...) adopte concernant la prétention des théories scientifiques à décrire le réel a un impact sur son traitement d’à peu près toutes les questions pertinentes de son champ de recherche, on peut dire que l’examen de la question du réalisme scientifique est recommandable à quiconque souhaite mener une réflexion philosophique à propos de l’entreprise scientifique. Cet article débute sur la présentation des thèses fondamentales du réalisme scientifique pour ensuite le distinguer des autres postures réalistes et antiréalistes qui s’y sont opposées. Une fois les contours de la notion de réalisme scientifique précisés, il sera question des principales considérations qui ont été mises de l’avant en sa faveur et en sa défaveur. Le principal argument positif pour le réalisme scientifique est l’argument dit de l’absence de miracle. Au-delà de cet argument, tous les arguments du réalisme scientifique sont issus de répliques aux différents défis antiréalistes qui lui ont été lancés depuis la seconde moitié du 20e siècle. Il s’agira donc, par la suite, de présenter ces différents défis en identifiant les postures qui s’en réclament ainsi que les principales stratégies employées par les réalistes pour tenter de les relever. À la lumière de ce qui aura été présenté, l’article se conclut en interrogeant la distance qui sépare véritablement le réalisme scientifique de l’antiréalisme dans leurs formes contemporaines. (shrink)

(2012). DEL-sequents for regression and epistemic planning. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 337-367. doi: 10.1080/11663081.2012.736703.

Dynamic Epistemic Logic (DEL) deals with the representation and the study in a multi-agent setting of knowledge and belief change. It can express in a uniform way epistemic statements about: 1. what is true about an initial situation 2. what is true about an event occurring in this situation 3. what is true about the resulting situation after the event has occurred. We axiomatize within the DEL framework what we can infer about (iii) given (i) and (ii). Given three formulas (...) φ,φ' and φ" describing respectively (i), (ii) and (iii), we also show how to build a formula φ ? φ' which captures all the information which can be inferred about (iii) from φ and φ'. We show how our results extend to other modal logics than K. In our proofs and definitions, we resort to a large extent to the normal form formulas for modal logic originally introduced by Kit Fine. In a companion paper (Aucher, 2012), we axiomatize what we can infer about (ii) given (i) and (iii), and what we can infer about (i) given (ii) and (iii), and show how to build two formulas φ ? φ" and φ' ? φ" which capture respectively all the information which can be inferred about (ii) from φ and φ", and all the information which can be inferred about (i) from φ' and φ". (shrink)

One way social scientists explain phenomena is by building structural models. These models are explanatory insofar as they manage to perform a recursive decomposition on an initial multivariate probability distribution, which can be interpreted as a mechanism. Explanations in social sciences share important aspects that have been highlighted in the mechanisms literature. Notably, spelling out the functioning the mechanism gives it explanatory power. Thus social scientists should choose the variables to include in the model on the basis of their function (...) in the mechanism. This paper examines the notion of ‘function’ within structural modelling. We argue that ‘functions’ ought to be understood as the theoretical underpinnings of the causes, namely as the role that causes play in the functioning of the mechanism. (shrink)

While Corporate Social Responsibility (CSR) is often seen to involve voluntary and deliberative approaches such as certification, governments have recently stepped into the picture through national legislation. France’s Law on Duty of Vigilance adopted in 2017 is a landmark case of such legislation. Years of voluntary CSR certification schemes led by Civil Society were replaced by a new philosophy of fighting for mandatory CSR controlled by a judge. We depict the change of mindset and the related change of roles inside (...) the coalition of Civil Society actors represents a Machiavellian Moment. The combination of collective civil society actors’ roles (namely nongovernmental organizations and labor unions) as Machiavellian _Virtue_ with disruptive events as Machiavellian _Fortuna_ made the law’s adoption possible. Based on this case study, we provide an analysis of civil society roles in the development of CSR-related legislation. (shrink)

Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling points of view which are logically possible. We call the one traditionally followed by epistemic logic the perfect external approach, because there the modeler is assumed to be an omniscient and external observer of the epistemic situation. In the rest of the paper we focus on what we call the internal approach, where the modeler is (...) one of the agents involved in the situation. For this approach we propose and axiomatize a logical formalism based on epistemic logic. This leads us to formalize some intuitions about the internal approach and about its connections with the external ones. Finally, we show that our internal logic is decidable and PSPACE-complete. (shrink)

Dès le tournant des xixe et xxe siècles en France, les féministes abordent la question du nom des femmes dans une perspective égalitaire et identitaire qui englobe la nomination, la dénomination et la filiation, à savoir le nom comme réputation et identité personnelle, le pseudonyme, le nom des femmes mariées, l’appellation Madame/Mademoiselle et la transmission du nom. À partir des moments forts du débat et des mobilisations autour du nom des femmes, une généalogie conceptuelle est retracée de la Belle Époque (...) aux premières années du xxie siècle. Les discours et pratiques féministes radicales de la Belle Époque, d’Hubertine Auclert et de Clémence Royer en particulier, posent les termes du débat qui est repris par les féministes modérées et par les féminismes d’État, à partir des années 1970, puis à nouveau par les féministes radicales qui œuvrent aux changements législatifs et administratifs (1985, 2002, 2012, 2013). Au-delà du droit, les pratiques égalitaires et l’inscription du nom des femmes dans l’espace public restent un objectif féministe. (shrink)

The Grand Challenges literature brings under its umbrella a wide variety of disjointed phenomena but runs the risk of reinventing the wheel as well as overlooking incremental progress and past work. To avert this, scholars need to (dis)connect (dis)similar issues, build on past research on these issues, and create opportunities for generalizability through theoretical examinations.

After observing that the truth conditions of connectives of non–classical logics are generally defined in terms of formulas of first–order logic, we introduce ‘protologics’, a class of logics whose connectives are defined by arbitrary first–order formulas. Then, we introduce atomic and molecular logics, which are two subclasses of protologics that generalize our gaggle logics and which behave particularly well from a theoretical point of view. We also study and introduce a notion of equi-expressivity between two logics based on different classes (...) of models. We prove that, according to that notion, every pure predicate logic with \ variables and constants is as expressive as a predicate atomic logic, some sort of atomic logic. Then, we prove that the class of protologics is equally expressive as the class of molecular logics. That formally supports our claim that atomic and molecular logics are somehow ‘universal’. Finally, we identify a subclass of molecular logics that we call predicate molecular logics and which constitutes its representative core: every molecular logic is as expressive as a predicate molecular logic. (shrink)

In update logic as studied by Baltag, Moss, Solecki and van Benthem, little attention is paid to the interpretation of an action by an agent, which is just assumed to depend on the situation. This is actually a complex issue that nevertheless complies to some logical dynamics. In this paper, we tackle this topic. We also deal with actions that change propositional facts of the situation. In parallel, we propose a formalism to accurately represent an agent's epistemic state based on (...) hyperreal numbers. In that respect, we use infinitesimals to express what would surprise the agents (and by how much) by contradicting their beliefs. We also use a subjective probability to model the notion of belief. It turns out that our probabilistic update mechanism satisfies the AGM postulates of belief revision. (shrink)

Guillaume Collett questions to what extent we can locate Deleuze within the Lacanian School during the late-1960s, prior to Guattari. In so doing, he offers a new, integrated reading of Deleuze's The Logic of Sense by understanding it as a 'psychoanalysis of sense', and gives a new interpretation of Deleuze's conception of philosophy itself. The Psychoanalysis of Sense shows that Deleuze was not merely aware of the debates animating the Lacanian School during the 1960s: he sought to contribute to (...) them. Emphasising his appropriation of the work of post-Lacanian Serge Leclaire, Collett explains how Deleuze constructed a more singular and immanent theory of the linguistic structure of the unconscious - granting the erogenous body a larger structuring role. (shrink)

Critical thinking is often taught with some emphasis on categories and operations of cognitive biases. The underlying thought is that knowledge of biases equips students to reduce them. The empirical evidence, however, doesn’t provide much support for this thought. We have previously argued that the emphasis on debiasing in critical thinking education is worth preserving, but in light of a more explicit and broader conception of debiasing. We now argue that this broader conception of debiasing strategies obliges critical thinking instructors (...) and curriculum designers to reflect on the teaching approaches that might facilitate the use of those strategies. We propose some teaching techniques to expand the scope of debiasing in the classroom—some untested, some only rarely and recently characterized as critical thinking strategies, rather than as pragmatic considerations in, e.g., design, engineering, marketing. These methods and others like them, we suggest, broaden the prospects for teaching a range of effective critical thinking techniques for debiasing. (shrink)

Unlike in physics, the category of thought experiment is not very common in biology. At least there are no classic examples that are as important and as well-known as the most famous thought experiments in physics, such as Galileo’s, Maxwell’s or Einstein’s. The reasons for this are far from obvious; maybe it has to do with the fact that modern biology for the most part sees itself as a thoroughly empirical discipline that engages either in real natural history or in (...) experimenting on real organisms rather than fictive ones. While theoretical biology does exist and is recognized as part of biology, its role within biology appears to be more marginal than the role of theoretical physics within physics. It could be that this marginality of theory also affects thought experiments as sources of theoretical knowledge. Of course, none of this provides a sufficient reason for thinking that thought experiments are really unimportant in biology. It is quite possible that the common perception of this matter is wrong and that there are important theoretical considerations in biology, past or present, that deserve the title of thought experiment just as much as the standard examples from physics. Some such considerations may even be widely known and considered to be important, but were not recognized as thought experiments. In fact, as we shall see, there are reasons for thinking that what is arguably the single most important biological work ever, Charles Darwin’s On the Origin of Species, contains a number of thought experiments. There are also more recent examples both in evolutionary and non-evolutionary biology, as we will show. Part of the problem in identifying positive examples in the history of biology is the lack of agreement as to what exactly a thought experiment is. Even worse, there may not be more than a family resemblance that unifies this epistemic category. We take it that classical thought experiments show the following characteristics: They serve directly or indirectly in the non-empirical epistemic evaluation of theoretical propositions, explanations or hypotheses. Thought experiments somehow appeal to the imagination. They involve hypothetical scenarios, which may or may not be fictive. In other words, thought experiments suppose that certain states of affairs hold and then try to intuit what would happen in a world where these suppositions are true. We want to examine in the following sections if there are episodes in the history of biology that satisfy these criteria. As we will show, there are a few episodes that might satisfy all three of these criteria, and many more if the imagination criterion is dropped or understood in a lose sense. In any case, this criterion is somewhat vague in the first place, unless a specific account of the imagination is presupposed. There will also be issues as to what exactly “non-empirical” means. In general, for the sake of discussion we propose to understand the term “thought experiment” here in a broad rather than a narrow sense here. We would rather be guilty of having too wide a conception of thought experiment than of missing a whole range of really interesting examples. (shrink)

Corporate codes of ethics, which have spread in the last decades, have shown a limited ability to foster ethical behaviors. For instance, they have been criticized for relying too much on formal compliance, rather than taking into account sufficiently agents and their moral development, or promoting self-reflexive behaviors. We aim here at showing that a code of ethics in fact has meaning and enables ethical progress when it is interpreted and appropriated with practical wisdom. We explore a model that represents (...) an uncommon organizational code of ethics: the monastic Rule of St. Benedict, written in the sixth century and still used today. Our empirical study—conducted in several monasteries living under this rule—shows that organization members interpret this rule, both hermeneutically and ethically, to adapt it to situations. They also appropriate this rule as a way of life and treat it as a dynamic framework that helps them to follow their purpose within their organization. This exceptional code actually offers an alternative model for practicing codes of ethics, in a virtue-ethical manner, beyond mere compliance with the text. The way in which reflexive and active agents practice the code, both individually and collectively, shapes their organizational experience and fosters their moral development. (shrink)

Entretien à Paris, le 15 décembre 2006, avec Beatriz Ferreyra, compositrice de musique acousmatique. Cette musicienne, née en 1937 à Cordoba en Argentine, s’est installée en France en 1961 et a rapidement été en contact avec la recherche musicale expérimentale autour des travaux de Pierre Schaeffer, le célèbre inventeur de la musique concrète. Elle compose depuis 1967 et jouit aujourd’hui d’une reconnaissance internationale. Nous la remercions vivement de s’être prêtée très simplement au jeu...

In this paper, I discuss the distribution and the interpretation of the temporal suffix -kue in Mbyá, a Guaraní language that is closely related to Paraguayan Guaraní. This suffix is attested both inside noun phrases and inside clauses. Interestingly, its nominal uses give rise to inferences that are unattested in its clausal uses. These inferences were first identified in Paraguayan Guaraní by Tonhauser, who called them the existence property and the change of state property. Tonhauser further argued that these properties (...) are built into the lexical entry of the nominal temporal marker -kue. By contrast, I argue that -kue denotes a relative past tense both in its nominal and clausal uses, and that the existence and change of state properties are pragmatic inferences that arise from the interaction of the literal meaning of -kue with general constraints on the interpretation of noun phrases, notably constraints on the topicality of the time of evaluation of noun phrases. This allows me to maintain a uniform analysis of -kue across its nominal uses and its clausal uses. The analysis of -kue in Mbyá is relevant to a number of current debates on the expression of tense crosslinguistically. Firstly, the existence of relative tenses has sometimes been called into question. Klein notably argues that relative tenses are actually combinations of tense with the perfect aspect. Others have argued that there exist true relative tenses in certain languages. I argue that facts of Mbyá support the latter view. Secondly, Klein famously defined tenses as relations between topic times and the time of utterance. I argue, on the other hand, that relative tenses only denote relations between times, and that the topicality or non-topicality of their temporal arguments depends on their context of use, including their syntactic environment. Thirdly, this paper contributes to debates on the nature and reality of nominal tenses The Oxford handbook of tense and aspect, 2012), by arguing that tense in Mbyá is a genuinely nominal category, in the sense that temporal functional projections are part of the extended projection of the noun phrase. (shrink)

Résumé David Chalmers maintient que la réalité virtuelle est une véritable réalité. Une version de ce « réalisme virtuel » affirme que les entités virtuelles dépendent ontologiquement d'entités numériques réelles. Nous explorons ici cette suggestion, en proposant un nouveau modèle pour décrire la dépendance du virtuel à l’égard du numérique. En nous appuyant sur la théorie de la constitution de Lynne Rudder Baker, nous défendons que les objets virtuels sont constitués par des objets numériques, lorsque ceux-ci se trouvent dans certaines (...) circonstances favorables. Nous explorons les motivations et les implications de cette approche, que nous considérons comme une forme prometteuse de réalisme virtuel. (shrink)

In epistemic logic, some axioms dealing with the notion of knowledge are rather convoluted and difficult to interpret intuitively, even though some of them, such as the axioms.2 and.3, are considered to be key axioms by some epistemic logicians. We show that they can be characterized in terms of understandable interaction axioms relating knowledge and belief or knowledge and conditional belief. In order to show it, we first sketch a theory dealing with the characterization of axioms in terms of interaction (...) axioms in modal logic. We then apply the main results and methods of this theory to obtain specific results related to epistemic and doxastic logics. (shrink)

In this paper, we use an experimental design to compare the performance of elicitation rules for subjective beliefs. Contrary to previous works in which elicited beliefs are compared to an objective benchmark, we consider a purely subjective belief framework. The performance of different elicitation rules is assessed according to the accuracy of stated beliefs in predicting success. We measure this accuracy using two main factors: calibration and discrimination. For each of them, we propose two statistical indexes and we compare the (...) rules’ performances for each measurement. The matching probability method provides more accurate beliefs in terms of discrimination, while the quadratic scoring rule reduces overconfidence and the free rule, a simple rule with no incentives, which succeeds in eliciting accurate beliefs. Nevertheless, the matching probability appears to be the best mechanism for eliciting beliefs due to its performances in terms of calibration and discrimination, but also its ability to elicit consistent beliefs across measures and across tasks, as well as its empirical and theoretical properties. (shrink)

This conference was devoted to the 80 years of the Copenhagen Interpretation, and to the question of the relevance of the Copenhagen interpretation for the present understanding of quantum mechanics. It is in this framework that fundamental questions raised by quantum mechanics, especially in information theory, were discussed throughout the conference. As has become customary in our series of conference in Växjö, we were glad to welcome a fruitful assembly of theoretical physicists, experimentalists, mathematicians and even philosophers interested in the (...) foundations of probability and physics. The nature of quantum fluctuations---in the form of Stochastic Electrodynamics or in other approaches to stochastic quantum mechanics---was also a central topic discussed during the conference, especially during debates. We should also mention talks on the completeness or incompleteness of quantum mechanics; on macroscopic quantum systems; on Bell's inequality, entanglement and experiments on quantum nonlocality (and locality); on Bohmian mechanics; on the connection between quantum mechanics and general relativity; on quantum probability; on quantum computing, quantum teleportation and quantum cryptography technologies; and more generally on the mathematical formalism of quantum mechanics and on the philosophical problems raised by its interpretations. (shrink)

This Växjö conference was devoted to the reconsideration of quantum foundations. Due to increasing research in quantum information theory, especially on quantum computing and cryptography, many questions regarding the foundations of quantum mechanics, which have long been considered to be exclusively of philosophical interest, nowadays play an important role in theoretical and experimental quantum physics.