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)

(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.

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)

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)

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)

Knowledge based privacy policies are more declarative than traditional action based ones, because they specify only what is permitted or forbidden to know, and leave the derivation of the permitted actions to a security monitor. This inference problem is already non trivial with a static privacy policy, and becomes challenging when privacy policies can change over time. We therefore introduce a dynamic modal logic that permits not only to reason about permitted and forbidden knowledge to derive the permitted actions, but (...) also to represent explicitly the declarative privacy policies together with their dynamics. The logic can be used to check both regulatory and behavioral compliance, respectively by checking that the permissions and obligations set up by the security monitor of an organization are not in conflict with the privacy policies, and by checking that these obligations are indeed enforced. (shrink)

Knowledge based privacy policies are more declarative than traditional action based ones, because they specify only what is permitted or forbidden to know, and leave the derivation of the permitted actions to a security monitor. This inference problem is already non trivial with a static privacy policy, and becomes challenging when privacy policies can change over time. We therefore introduce a dynamic modal logic that permits not only to reason about permitted and forbidden knowledge to derive the permitted actions, but (...) also to represent explicitly the declarative privacy policies together with their dynamics. The logic can be used to check both regulatory and behavioral compliance, respectively by checking that the permissions and obligations set up by the security monitor of an organization are not in conflict with the privacy policies, and by checking that these obligations are indeed enforced. (shrink)

We, the authors, would like to thank Guillaume Aucher for informing us of his “Displaying Updates in Logic”, published in the Journal of Logic and Computation, 26:1865-1912.

A hipótese que propomos aqui defende que o dispositivo do "médico da civilização" montado em 1962 pela leitura que Deleuze faz de Nietzsche, longe de poder ser generalizado como tal (como se a sequência da obra deleuziana não fosse senão a sua aplicação diferenciada ou mesmo a sua continuação por outros meios), somente age nessa sequencia por força de um deslocamento da enunciação deleuziana em relação à instância da filosofia clínica que ele define. E que, por essa razão, a figura (...) do filósofo como médico da civilização permite melhor problematizar algumas dificuldades que a tarefa de uma sintomatologia dos modos coletivos de existência encontra. Ao tomar esta tarefa a sério, eu diria, finalmente, que o deslocamento do dispositivo nietzschiano em relação ao encontro com Guattari e ao Anti-Édipo encontra um ponto de resolução, ou pelo menos coerência e equilíbrio, na determinação de uma prática analítica sui generis, a mesma que Guattari designa "esquizo-análise" e, mais especificamente, no conceito de agenciamento que, de Anti-Édipo a Mil Platôs, vai suportar cada vez mais claramente suas coordenadas próprias. (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.

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)

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)

Although Wilhelm Dilthey and Franz Brentano apparently were pursuing roughly the same objective—to offer a description of our mental functions and of their relations to objects—and both called their respective research programs ‘descriptive psychology’, they seem to have used the term to refer to two different methods of psychological research. In this article, I compare analyses of these differences. Against the reading of Orth but also against a possible application of recent relativist accounts of the epistemology of peer disagreement to (...) this case, I argue that their apparent shared objective is not enough to support an understanding of their views as two alternatives within a given historical or scientific context, or as a mutual peer disagreement. I show that the impression of a shared objective can be explained away as stemming from the influence of their teacher Adolf Trendelenburg, and I stress that the case of introspection strongly suggests that an account in terms of peer disagreement is not plausible. Finally, I conclude that the opposition between two traditions, Austrian philosophy and historicism, might be better suited to account for the dispute and its apparent common historical context. (shrink)

La réflexion philosophique, dont l'ouverture à l'univers dans lequel nous nous découvrons - avec une acuité proportionnelle à un étonnement renouvelé - n'a pas de limites, n'en est que plus tributaire des sciences et des techniques, des arts et de multiples activités qui régissent plus ou moins fructueusement notre expérience. Or, au sein des sciences humaines, privilégiées pour éclairer une condition que nous ne saurions cesser d'interpréter, peu d'oeuvres du dernier siècle auront enrichi en le précisant notre être-au-monde, comme la (...) théorie linguistique de Gustave Guillaume, assez solitaire, et les recherches multiformes de Jean Piaget - où la psychologie de l'enfant a souvent occulté la visée épistémologique et son enracinement biologique (cf Biologie et connaissance, 1967) et ses prolongements pédagogiques, voire éthiques. Le Cinquantenaire et le Trentenaire de leur disparition appelaient un hommage d'autant plus impératif qu'ils sont restés marginaux ou ignorés dans les milieux philosophiques, malgré la centralité de leurs élucidations. Leur commune orientation génétique et structurale n'ayant suscité aucun échange, pendant la contemporanéité de publications d'un tiers de siècle (1923-1960), mesurer leur complémentarité s'impose d'autant plus. S'ils peuvent aider à repenser la condition humaine, c'est qu'ils auront contribué à dissiper le "mystère de la pensée". L'un cherchant à habiliter les caractères systématique et cinétique des langues, irremplaçables moyens de penser ; l'autre dans un vis-à-vis cognitif et opératoire de Freud, en relavant sur les plans épistémologique et logique, notamment, l'élan révolutionnaire de la seconde modernité, autour de l'évolutionnisme. Mais les thèmes majeurs du constructivisme, du schème et de la symbolisation - et plus largement du temps et du langage - auront sans doute aidé à spécifier les mutations autorisées par la révolution critique. Entre l'Instant du je parle et un décentrement exigible pratiquement (éthique) comme théoriquement (épistémique), c'est bien la condition humaine dans son ensemble qui est concernée. Si repenser cette Condition s'impose en permanence, il importe de ne pas manquer des oeuvres qui, par-delà toute mode, proposent à notre expérience des fondations résistant à d'inéluctables vicissitudes. (shrink)

Conventional economic theory assumes that agents should be consistent across decisions. However, it is often observed that experimental subjects fail to report consistent preferences. So far, these inconsistencies are almost always examined singly. We thus wonder whether the more inconsistent individuals in one task are also more inconsistent in other tasks. We propose an experiment in which subjects are asked to report their preferences over risky bets so as to obtain, for each subject, three measures of inconsistencies: classical preference reversals, (...) framing effects and preference instability. In line with previous experimental findings, subjects are largely inconsistent according to each of these three measures and there are considerable individual differences. The main result is that we find no correlation among these three measures of inconsistency. (shrink)

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)

The confrontations of stakeholder visions about agriculture and food production has become a focal point in the public sphere, coinciding with a diversification of agrifood models. This study analyzes the debates stemming from the coexistence of these models, particularly during the initial term of neoliberal-centrist Emmanuel Macron’s presidency in France. Employing collective monitoring from 2017 to 2021, a corpus of 958 online news and blog articles was compiled. Using a computational analysis, we reveal the framings and controversies emerging from this (...) media discourse. The macro-structuring of discourse on model coexistence revolves around scientific, economic and political framings. Coexistence is a complex of debates based on specific frames associated with specific arenas and actor configurations: growth of organic agriculture, transformations of agrifood systems, sciences of production and impacts, livestock and meat diet controversies, agroecological innovations, CAP reform criticism, discourse of peasant agriculture and State-Profession _co-gestion_. Employing global sentiment analysis and focusing on salient controversies, namely EGAlim law, pesticide regulations, and agribashing, we show the shift from conciliation to a hardening of debates. Finally, we discuss the causes and consequences of this trend. The political will to support the transition of agriculture remains influenced by the _co-gestion_ system, an inherited configuration of decision-makers instrumental in the agricultural modernization. As a consequence, significant agricultural challenges, particularly highlighted in the scientific macro-frame, persist unresolved. This lock-in of the agrifood system is based on defensive strategies that challenge the democratic debate about food and agricultural practices. (shrink)

Resumo O artigo descreve o poema “An die Melancholie” como um momento crucial e essencial da evolução da filosofia de Nietzsche, aquele de uma primeira intuição da noção de “vontade de potência”. O filósofo se afasta da longa tradição alemã dos hinos à melancolia, ao mesmo tempo em que subverteu os poemas filosóficos - os darwinistas em particular - de sua época, para superar seu pessimismo schopenhaueriano.The article aims at describing the poem “An die Melancholie” as an essential and crucial (...) moment within the development of Nietzsche’s philosophy, which refers to the first intuition of the notion of “Will to Power”. The philosopher deviates from the long German tradition of odes to melancholy, whilst subverting the philosophical poems of his own time - specially the Darwinian ones -, in order to overcome his Schopenhauerian pessimism. (shrink)

ObjectivesFrom a self-determination theory perspective, the purpose of this cross sectional study was to better understand how to motivate hospitalized older adults’ behaviors and test an integrative model of the role of causality orientations and a supportive/controlled environment on basic need satisfaction, motivation for health oriented physical activity, positive and negative affective states, depressive symptoms, apathy, and boredom.MethodsOlder adults in French hospital units completed self-report questionnaires and socio-demographic data were also collected.ResultsPartial least squares path modeling results showed that participants’ autonomy (...) orientation positively associated with the perception of a supportive environment was related to need satisfaction, autonomous motivation for health-oriented physical activity, and high scores on positive affective states. Conversely, participants’ impersonal orientation positively associated with the perception of a controlled environment was related to undermining need satisfaction, controlled motivation for health-oriented physical activity, and amotivation, and high scores on both negative affective states, and boredom.ConclusionThe present results indicate that taking into account personality factors in hospital units can be useful and health professionals should take an interest both in the patients’ causality orientations and the supportive nature of the environment in order to understand better how to motivate patients’ behaviors. The present study points to the need to focus on all motivational dynamics which allow patients’ need satisfaction. (shrink)

Le film n’est pas seulement un récit, c’est aussi un discours sur le monde. Or, trop souvent, la puissance de ce discours est surestimée et les publics caricaturés, en contradiction avec notre pratique ordinaire d’une discussion, non seulement après, mais avec les films. La tradition rhétorique et argumentative, retravaillée aujourd’hui dans une perspective pragmatique, envisage formes et contextes conjointement et permet de comprendre les liens entre le film, son discours et le spectateur. Entre formes et espace public, les analyses de (...) films, reportages et séries proposées dans cet ouvrage montrent ainsi que la démarche rhétorique permet de restituer, à côté de leur capacité mimétique, la capacité délibérative des images et des sons, fondement d’un dialogue entre le film et le spectateur. (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)

L’auteur montre que le principe de précaution est souvent confondu avec d’autres (notamment principes de prévention ou de préparation). Sa formulation en droit français est restrictive et, même dans cette acception, son application par le législateur ou la jurisprudence est rare. Alors que le principe de précaution exige des évaluations des risques rigoureuses et continues, il est à tort invoqué pour justifier ou critiquer des décisions publiques qui n’en relèvent pas.

Cet article propose de réfléchir sur la nature des images animées, à partir sur trois thèses de Kendall Walton. Le philosophe américain, bien connu dans le monde analytique pour un livre sur les arts représentationnels, Mimesis as Make-Believe (1990), discute très régulièrement de films, mais aucune de ses recherches n’a à proprement parler versé dans la philosophie du cinéma. C’est pourquoi, cet article se demande à quoi ressemblerait une philosophie waltonienne du cinéma. Pour ce faire, je présente et discute trois (...) propositions tirées des travaux de Walton : (1) les œuvres de fiction ne sont pas définies comme des contre-vérités, (2) les dépictions nous donnent à imaginer autant qu’à percevoir ce qu’elles représentent, (3) les photographies nous placent dans une relation épistémique objective avec leurs sujets. De là, j’élabore une interprétation waltonienne de la distinction entre l’image fictive et l’image documentaire. (shrink)

Dans cet article, il est question des fondements du récit cinématographique. Contre une thèse endossée par des théoriciens du cinéma français (Metz, Oudart) aussi bien que des philosophes américains (Levinson, Chatman), je défends qu’il n’existe pas de narrateur cinématographique implicite. Pour ce faire, je montre que l’argument a priori, d’après lequel la notion même de récit cinématographique implique qu’il y ait dans tout film, même implicitement, un narrateur, est erroné. En me reposant sur Gaut, j’avance que le postulat d’un narrateur (...) implicite conduit à une conception absurde de l’expérience du spectateur. Je conclus qu’il convient d’abandonner ce platonisme à l’égard du récit cinématographique, pour lui préférer, suivant une remarque de Bordwell, un nominalisme. (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)

This paper introduces the category of b-frames as a new tool in the study of complete lattices. B-frames can be seen as a generalization of posets, which play an important role in the representation theory of Heyting algebras, but also in the study of complete Boolean algebras in forcing. This paper combines ideas from the two traditions in order to generalize some techniques and results to the wider context of complete lattices. In particular, we lift a representation theorem of Allwein (...) and MacCaull to a duality between complete lattices and b-frames, and we derive alternative characterizations of several classes of complete lattices from this duality. This framework is then used to obtain new results in the theory of complete Heyting algebras and the semantics of intuitionistic propositional logic. (shrink)

Using an alternative to Tarskian semantics for first-order logic known as possibility semantics, I introduce an approach to nonstandard analysis that remains within the bounds of semiconstructive mathematics, i.e., does not assume any fragment of the Axiom of Choice beyond the Axiom of Dependent Choices. I define the Fr´echet hyperreal line †R as a possibility structure and show that it shares many fundamental properties of the classical hyperreal line, such as a Transfer Principle and a Saturation Principle. I discuss the (...) technical advantages of †R over some other alternative approaches to nonstandard analysis and argue that it is well-suited to address some of the philosophical and methodological concerns that have been raised against the application of nonstandard methods to ordinary mathematics. (shrink)

Face à une installation impénétrable comme face à un mur de fond de scène, l’évidence est la même : l’impasse constitue l’œuvre, qu’elle soit plastique ou théâtrale. Aujourd’hui débordée de tous côtés, cette clôture de l’œuvre est cependant assumée, voire ironiquement redoublée, dans certaines scénographies. L’impasse y prend alors une valeur paradoxale en mobilisant des puissances de perception et d’attention renouvelées : à autant d’écarts inframinces, de seuils inaperçus, comme aux échos d’autres tentatives de traversée plus directement politiques.

Résumé Chez Samuel Beckett, François Morellet et KP Brehmer, l’art de la contrainte impose une trame formelle et logique pour mieux la trahir – l’altérer, la révéler –, renouvelant au passage l’économie de l’œuvre et son statut. Dans une double tradition littéraire et plastique, la mise au dehors du geste créateur et l’apparente désaffection des systèmes choisis produisent autant d’interférences symptomatiques dans l’œuvre et dans son contexte. Cet abandon agit comme le moyen paradoxal d’impliquer l’affect et d’ouvrir l’œuvre à des (...) résonances nouvelles. (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.

How do we individuate the senses, what exactly do we do when we do so, and why does it matter? In the following article, I propose a general answer to these related questions based on Franz Brentano's views on the senses. After a short survey of various answers offered in the recent literature on the senses, I distinguish between two major ways of answering this question, causally and descriptively, arguing that only answers giving priority to description and to the classification (...) involved in it are on the right track for a general answer to the related questions. In the second part of the article, I argue that Brentano's descriptive psychology is an attractive candidate for such an answer. His descriptive psychology provides a plausible account of the classification involved in description, in particular regarding the classification of sensory qualities. I close the article by briefly explaining how Brentano spells out the priority of descriptive answers over causal ones. (shrink)

Dans cet article, nous livrons une analyse du statut épistémologique de l’hypothèse d’efficience des marchés. Sans juger de sa véracité ou de sa fausseté, nous montrons qu’elle ne peut, en aucun sens rigoureux, être entendue comme une proposition empirique testable. Aucune expérience n’existe permettant de la falsifier irrévocablement. A rebours, nous montrons qu’elle ne peut être entendue que comme une proposition analytique, comme inaugurant un nouveau système de définitions cohérent par lui-même. En cela, la formulation de l’hypothèse d’efficience des marchés (...) a ouvert un nouveau programme de recherche, dont nous mettons en évidence les grandes lignes directrices. (shrink)