Quantum measurement is a physical process. A system and an apparatus interact for a certain time period, and during this interaction, information about an observable is transferred from the system to the apparatus. In this study, we quantify the energy fluctuation of the quantum apparatus required for this physical process to occur autonomously. We first examine the so-called standard model of measurement, which is free from any non-trivial energy–time uncertainty relation, to find that it needs an external system that switches (...) on the interaction between the system and the apparatus. In such a sense this model is not closed. Therefore to treat a measurement process in a fully quantum manner we need to consider a “larger” quantum apparatus which works also as a timing device switching on the interaction. In this setting we prove that a trade-off relation, \, holds between the energy fluctuation \ of the quantum apparatus and the measurement time \. We use this trade-off relation to discuss the spacetime uncertainty relation concerning the operational meaning of the microscopic structure of spacetime. In addition, we derive another trade-off inequality between the measurement time and the strength of interaction between the system and the apparatus. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Bayle, Saint-Evremond, and Fideism:A Reply to Thomas M. LennonGianluca MoriIn a recent article published in this journal Thomas M. Lennon returns to the controversial question of Bayle's attitude towards religion. The point he debates is the particular use that, in expounding his conception of the relationship between faith and reason, Bayle makes of a passage from Saint-Evremond. In Lennon's view the correct interpretation of this point would show that (...) Bayle's fideism is to be "taken at face value" without any hint of irony and with no suspicion of dissimulation or insincerity.1 This would cast doubt on and greatly weaken the interpretation I proposed in my Bayle philosophe.2 My aim here is to respond briefly to Lennon's arguments and to clarify even more briefly what in my opinion is the right perspective in which to consider Bayle's position on this topic.The context in which Bayle quotes Saint-Evremond is to be found in the Eclaircissements he added to the second edition of his Dictionnaire historique et critique (1702) to counter the Dutch religious authorities' harsh criticism of the first edition. In particular the Walloon Consistory accused Bayle of taking a skeptical position that undermined the most important dogmas of Christian faith. In response Bayle wrote the Eclaircissement sur les Pyrrhoniens, a clumsy mosaic of quotations from the Scriptures and from patristic and profane texts, with which he sought to show that his skeptical fideism was not in the least heterodox but indeed the position that most closely reflected true Christianity. The quotation from Saint-Evremond, almost at the end of this text, is taken [End Page 323] from the Conversation du Maréchal d'Hocquincourt et du Père Canaye (written in about 1654).3 The final passage gives a clear idea of the general tone: after having disputed with a churchman the need to subject one's intellect to the yoke of faith, the marshal concludes by saying that he is ready to be crucified "without knowing why." Father Canaye replies: "No reason! That is the true religion. No reason! God has granted you a fine grace, mylord." So, and here Lennon obviously agrees (229), Saint-Evremond's is a text with no shadow of mystical inspiration, indeed strongly tending in the libertine direction, as is clear from the blatant way it pours scorn on the fideist approach.In my interpretation Bayle's use of this quotation does not at all demonstrate his atheism or unbelief, for in my view that question is undecidable. However, the quotation from Saint-Evremond is sufficient—and this is the onlyreason I mentioned it4 —to show that Bayle's approach to fideism is in no way innocent and naive as is sometimes claimed. On the contrary, his texts on this subject contain what amounts to provocations aimed at orthodox readers (to which they immediately reacted). This, together with other more important reasons, leads me to believe that Bayle's professions of Christian faith, though frequent, are generally far from being above suspicion: indeed, almost every line of them raises questions about their actual significance.The provocation contained in the quotation from Saint-Evremond appears in all its rhetorical weight if we associate this text with three other passages from Bayle's works. The first is from the Nouvelles de la république des lettres of December 1686, in which Bayle stresses the unedifying nature of the religious maxims contained in Saint-Evremond's Conversation (which, incidentally, he himself had just had printed in the collection Le Retour des pièces choisies).5 The second is taken from a letter by Jean d'Oulès to Bayle, written in 1696, in which the author deals with exactly the same passage from the Conversation that was later to be reproduced in the Eclaircissement. In this letter d'Oulès quotes the full passage which he considers to be a "naughty text" deliberately written to throw ridicule on the fanatical fideism of Pierre Jurieu.6 The third passage is from Bayle's Continuation des pensées diverses of 1704 in which, shortly after the death of Saint-Evremond, he publicly reveals the poet... (shrink)

There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst the big five axiom systems from reverse mathematics, so far $\mathrm {ATR}_0$ has no identified counterpart in the Weihrauch degrees. We explore and evaluate several candidates, and conclude that the situation is complicated.

In lieu of an abstract, here is a brief excerpt of the content:A Short ReplyGianluca MoriWhile thanking Thomas Lennon for the interest he has shown in my work—and without going into details of interpretation which cannot bear discussion in this context—I would like to make a few remarks on factual questions raised by his response.1) Lennon's text (p. 338): "The text that Bayle and Mori erroneously take to be Saint-Evremond's is in fact from Jean-François Sarasin."While it is not certain that (...) Bayle and I "erroneously" take this text to be Saint-Evremond's, it is certain that Lennon erroneously takes it to be Sarasin's. In fact, the text quoted by Bayle is not taken from Sarasin's Discours sur Epicure, but, as Bayle explicitly points out ("Xénophanes," K, note 124), from a "Discours des ennuis et des déplaisirs." This "Discours" is chapter 5 of De l'usage de la vie, a text published in many editions of Saint-Evremond's works (see the Barbin 1692 in-4° ed., Seconde Partie, p. 326). The paternity of De l'usage de la vie is doubtful and controversial, but it possibly contains some passages taken from Saint-Evremond's unpublished manuscripts, especially in chapters 3-6, as reported by an important source quoted by Ternois in Saint-Evremond, Œuvres en prose, IV, 3-4, note 1.2) Lennon's text (pp. 338-39): "The significance of two of the other texts advanced by Mori is fully vitiated, for in them Bayle makes the same mistake."In my article, I did not fail to state that these texts (OD I, 158 and Dict., "Epicure," M) are taken from an apocryphal source. On page 329 I wrote: "[Bayle] mistakenly attributes to [Saint-Evremond] a text on Epicurus's morals [i.e., Sarasin's Discours] included in that volume." However, it was absolutely impossible, for seventeenth-century readers, to distinguish between Saint-Evremond's original and apocryphal texts: the author himself—as is widely known—did not want to clarify this point (with a few exceptions, including the Saint-Evremoniana, which, as we have seen, Bayle never attributed to Saint-Evremond). [End Page 343] And this is true for all editions: there is no significant difference between genuine and pirated editions, since no official edition, authorized and revised by the author, existed before Des Maizeaux's posthumous one. From this point of view, virtually nobody (before 1705) could "study" Saint-Evremond's texts. (On this connection it should be added that I never claimed that Bayle "studied" Saint-Evremond, but only that he read his available works and made up his mind on them, and particularly on the Conversation du Maréchal d'Hocquincourt—which should be at the core of the present debate—long before reading Cotolendi).3) Lennon's text (p. 336): "As Mori acknowledges elsewhere, Labrousse thinks Le Vassor was a left-wing Anglican who failed to understand Bayle's calvinist perspective."Concerning Le Vassor, I "acknowledge" Labrousse's opinion only to reject it with a detailed argument (Bayle philosophe, 262, note 341).Gianluca MoriUniversità del Piemonte OrientaleCopyright © 2004 The Journal of the History of Ideas, Inc.... (shrink)

本書の3つの工夫:(1)企業不祥事や長時間労働など、現実のさまざまな問題を取り上げて解説しています。(2)倫理学や経済学を学んだことがなくても読み進められるように、用語の説明を丁寧に行っています。(3 )興味や関心に合わせて読むことができるように、各章のタイトルを問いかけの形式にしています。.

This paper reports our research efforts on social robots that recognize interpersonal relationships. These investigations are carried out by observing group behaviors while the robot interacts with people. Our humanoid robot interacts with children by speaking and making various gestures. It identifies individual children by using a wireless tag system, which helps to promote interaction such as the robot calling a child by name. Accordingly, the robot is capable of interacting with many children, causing spontaneous group behavior from the children (...) around it. Here, group behavior is associated with social relationships among the children themselves. For example, a child may be accompanied by his or her friends and then play together with them. We propose the hypothesis that our interactive robot prompts a child’s friends to accompany him or her; thus, we can estimate their friendship by simply observing their accompanying behaviors. We conducted a field experiment for two weeks in a Japanese elementary school to verify this hypothesis. In the experiment, two “Robovie” robots were placed where children could freely interact with them during recesses. As a result, we found that they mostly prompted friend-accompanying behavior. Moreover, we could estimate some of their friendly relationships, in particular among the children who often appeared around the robot. For example, we could estimate 5% of all friendships with 80% accuracy, and 15% of them with nearly 50% accuracy. Thus, this result basically supports our hypothesis on friendship estimation from an interactive humanoid robot. We believe that this ability to estimate human relationships is essential for robots to behave socially. (shrink)

We show that there is a computable procedure which, given an ∀∃-sentence ${\varphi}$ in the language of the partially ordered sets with a top element 1 and a bottom element 0, computes whether ${\varphi}$ is true in the Medvedev degrees of ${\Pi^0_1}$ classes in Cantor space, sometimes denoted by ${\mathcal{P}_s}$.

This paper reports our research efforts on social robots that recognize interpersonal relationships. These investigations are carried out by observing group behaviors while the robot interacts with people. Our humanoid robot interacts with children by speaking and making various gestures. It identifies individual children by using a wireless tag system, which helps to promote interaction such as the robot calling a child by name. Accordingly, the robot is capable of interacting with many children, causing spontaneous group behavior from the children (...) around it. Here, group behavior is associated with social relationships among the children themselves. For example, a child may be accompanied by his or her friends and then play together with them. We propose the hypothesis that our interactive robot prompts a child’s friends to accompany him or her; thus, we can estimate their friendship by simply observing their accompanying behaviors. We conducted a field experiment for two weeks in a Japanese elementary school to verify this hypothesis. In the experiment, two “Robovie” robots were placed where children could freely interact with them during recesses. As a result, we found that they mostly prompted friend-accompanying behavior. Moreover, we could estimate some of their friendly relationships, in particular among the children who often appeared around the robot. For example, we could estimate 5% of all friendships with 80% accuracy, and 15% of them with nearly 50% accuracy. Thus, this result basically supports our hypothesis on friendship estimation from an interactive humanoid robot. We believe that this ability to estimate human relationships is essential for robots to behave socially. (shrink)

In this article, we examine philosophy of sport as a field of study in Japan, its history, characteristics, and future prospects, as part of a contribution to the international development of the discipline of sport philosophy. The Japan Society for the Philosophy of Sport and Physical Education has been holding an annual sport philosophy conference every year since its inception in 1978. Nevertheless, the trends of sport philosophy in Japan have not been conveyed abroad. The language barrier between Japanese and (...) English as an international communication tool makes it difficult to spread our work on the philosophy of sport throughout the world. The question arises as to whether the philosophy of sport in Japan has the same trends as those in the Western countries. Is it reasonable to assume that it has different aspects and interests than philosophy of sport in English-speaking countries? We will also try to address these questions for our audience. (shrink)

Consider a randomness notion C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document}. A uniform test in the sense of C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document} is a total computable procedure that each oracle X produces a test relative to X in the sense of C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document}. We say that a binary sequence Y is C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document}-random uniformly relative to (...) X if Y passes all uniform C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document} tests relative to X. Suppose now we have a pair of randomness notions C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document} and D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{D}}$$\end{document} where C⊆D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C} \subseteq \mathcal{D}}$$\end{document}, for instance Martin-Löf randomness and Schnorr randomness. Several authors have characterized classes of the form Low which consist of the oracles X that are so feeble that C⊆DX\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C} \subseteq \mathcal{D}^X}$$\end{document}. Our goal is to do the same when the randomness notion D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{D}}$$\end{document} is relativized uniformly: denote by Low \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\star}$$\end{document} the class of oracles X such that every C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}}$$\end{document}-random is uniformly D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{D}}$$\end{document}-random relative to X. We show that X∈Low⋆\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${X\in Low ^\star}$$\end{document} if and only if X is c.e. tt-traceable if and only if X is anticomplex if and only if X is Martin-Löf packing measure zero with respect to all computable dimension functions. We also show that X∈Low⋆\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${X\in Low^\star}$$\end{document} if and only if X is computably i.o. tt-traceable if and only if X is not totally complex if and only if X is Schnorr Hausdorff measure zero with respect to all computable dimension functions. (shrink)

H. Putnam has been considered the most Peircean philosopher among the neopragmatists. This note sugests that Putnam pays great atention to the problems Peirce tackled, but he does not share Peirce's thesis on the relation between "practical interests" and science. Therefore, Putnam's realism is more Deweyan and Jamesian than Peircean.

Louveau showed that if a Borel set in a Polish space happens to be in a Borel Wadge class $$\Gamma $$, then its $$\Gamma $$ -code can be obtained from its Borel code in a hyperarithmetical manner. We extend Louveau’s theorem to Borel functions: If a Borel function on a Polish space happens to be a $$ \underset{\widetilde{}}{\varvec{\Sigma }}\hbox {}_t$$ -function, then one can find its $$ \underset{\widetilde{}}{\varvec{\Sigma }}\hbox {}_t$$ -code hyperarithmetically relative to its Borel code. More generally, we prove (...) extension-type, domination-type, and decomposition-type variants of Louveau’s theorem for Borel functions. (shrink)

In this article, we study an analogue of tt-reducibility for points in computable metric spaces. We characterize the notion of the metric tt-degree in the context of first-level Borel isomorphism. Then, we study this concept from the perspectives of effective topological dimension theory and of effective fractal dimension theory.

Unter dem Titel Feuerbach und der Judaismus wird mit dieser Publikation ein neues Kapitel in der Feuerbachforschung aufgeschlagen, da erstmalig Feuerbachs Stellung zum Judaismus, aber auch sein Einfluß auf die deutsch-jüdische Philosophie ...

コーシーとワイエルシュトラスによって構築されたε‐σ論法を論理学の基礎から解説。.

We give a partial answer to an important open problem in descriptive set theory, the Decomposability Conjecture for Borel functions on an analytic subset of a Polish space to a separable metrizable space. Our techniques employ deep results from effective descriptive set theory and recursion theory. In fact it is essential to extend several prominent results in recursion theory (e.g. the Shore-Slaman Join Theorem) to the setting of Polish spaces. As a by-product we give both positive and negative results on (...) the Martin Conjecture on the degree preserving Borel functions between Polish spaces. Additionally we prove results about the transfinite version as well as the computable version of the Decomposability Conjecture. (shrink)

In lowland South America, breath animates human and non-human bodies, pulsating through the materialities of organisms. Humans, however, should manage their bodies to recast and reconfigure breath in its most life-enhancing manifestations: singing and smoking. These are the specialized domains of those able to manage their vitalities in such a way as to produce potent effects in themselves and in the world around them, including influencing atmospheric conditions, the lives of animals and plants and the harming and healing of others. (...) In these relational onto-epistemologies, intersubjectivity, intercorporality and states of non-cognitive interaffection find new depths. Breath, properly managed, can make and unmake worldly forms, including bodies and the societies they come together in. Focusing on two Amerindian communities, the Warekena of northwestern Rio Negro, Brazil and the Shipibo-Konibo of the Ucayali valley in Eastern Peru, this article examines the interface between human and non-human subjectivities, and how resonant interaffective atmospheric conditions are induced to promote health. (shrink)

We report here an emerging dispute in Italy concerning triage criteria for critically ill covid-19 patients, and how best to support doctors having to make difficult decisions in a context of insufficient life saving resources. The dispute we present is particularly significant as it juxtaposes two opposite views of who should make triage decisions, and how doctors should best be supported. There are both empirical and normative questions at stake here. The empirical questions pertain to the available level of evidence (...) that healthcare professionals would rather not be left alone with their ‘clinical judgments’ to make triage decisions, and to the accounts of distributive justice that doctors and healthcare professionals rely on, when making triage decisions. The normative questions pertain to how this empirical evidence should inform guidelines on how prioritisation decisions are made in a context of emergency, and who gets to have the authority to do so. This debate goes beyond the discussion of the care of critically ill patients with COVID-19 and has broader implications beyond the national context for the discussion of how to relieve moral distress in contexts of imbalances between healthcare resources and clinical needs of a population. (shrink)

We propose that observables in quantum theory are properly understood as representatives of symmetry-invariant quantities relating one system to another, the latter to be called a reference system. We provide a rigorous mathematical language to introduce and study quantum reference systems, showing that the orthodox “absolute” quantities are good representatives of observable relative quantities if the reference state is suitably localised. We use this relational formalism to critique the literature on the relationship between reference frames and superselection rules, settling a (...) long-standing debate on the subject. (shrink)