In "A Problem in Possible-World Semantics," David Kaplan presented a consistent and intelligible modal principle that cannot be validated by any possible world frame (in the terminology of modal logic, any neighborhood frame). However, Kaplan's problem is tempered by the fact that his principle is stated in a language with propositional quantification, so possible world semantics for the basic modal language without propositional quantifiers is not directly affected, and the fact that on careful inspection his principle does not target the (...) world part of possible world semantics—the atomicity of the algebra of propositions—but rather the idea of propositional quantification over a complete Boolean algebra of propositions. By contrast, in this paper we present a simple and intelligible modal principle, without propositional quantifiers, that cannot be validated by any possible world frame precisely because of their assumption of atomicity (i.e., the principle also cannot be validated by any atomic Boolean algebra expansion). It follows from a theorem of David Lewis that our logic is as simple as possible in terms of modal nesting depth (two). We prove the consistency of the logic using a generalization of possible world semantics known as possibility semantics. We also prove the completeness of the logic (and two other relevant logics) with respect to possibility semantics. Finally, we observe that the logic we identify naturally arises in the study of Peano Arithmetic. (shrink)

If the Past Hypothesis underlies the arrows of time, what is the status of the Past Hypothesis? In this paper, I examine the role of the Past Hypothesis in the Boltzmannian account and defend the view that the Past Hypothesis is a candidate fundamental law of nature. Such a view is known to be compatible with Humeanism about laws, but as I argue it is also supported by a minimal non-Humean "governing'' view. Some worries arise from the non-dynamical and time-dependent (...) character of the Past Hypothesis as a boundary condition, the intrinsic vagueness in its specification, and the nature of the initial probability distribution. I show that these worries do not have much force, and in any case they become less relevant in a new quantum framework for analyzing time's arrows---the Wentaculus. Hence, the view that the Past Hypothesis is a candidate fundamental law should be more widely accepted than it is now. (shrink)

This paper connects the following four topics: a class of generalized graphs whose relations do not have fixed arities called hypergraphs, a family of non-normal modal logics rejecting the aggregative axiom, an epistemic framework fighting logical omniscience, and the classical group knowledge modality of ‘someone knows’. Through neighborhood frames as their meeting point, we show that, among many completeness results obtained in this paper, the limit of a family of weakly aggregative logics is both exactly the modal logic of hypergraphs (...) and also the epistemic logic of local reasoning with veracity and positive introspection, and upon adding a single combinatorial axiom, it is also the logic of ‘someone knows’ for a fixed finite number of positively introspective agents. At the core of all these completeness results is a new canonical neighborhood model construction for monotone modal logics that is capable of dealing with all these diverse cases. We also provide an axiomatization for the logic of all non-n-colorable hypergraphs based on a filtration argument that also shows the decidability of the logics of hypergraphs we study. (shrink)

The Great Divide in metaphysical debates about laws of nature is between Humeans, who think that laws merely describe the distribution of matter, and non-Humeans, who think that laws govern it. The metaphysics can place demands on the proper formulations of physical theories. It is sometimes assumed that the governing view requires a fundamental / intrinsic direction of time: to govern, laws must be dynamical, producing later states of the world from earlier ones, in accord with the fundamental direction of (...) time in the universe. In this paper, we propose a minimal primitivism about laws of nature (MinP) according to which there is no such requirement. On our view, laws govern by constraining the physical possibilities. Our view captures the essence of the governing view without taking on extraneous commitments about the direction of time or dynamic production. Moreover, as a version of primitivism, our view requires no reduction / analysis of laws in terms of universals, powers, or dispositions. Our view accommodates several potential candidates for fundamental laws, including the principle of least action, the Past Hypothesis, the Einstein equation of general relativity, and even controversial examples found in the Wheeler-Feynman theory of electrodynamics and retrocausal theories of quantum mechanics. By understanding governing as constraining, non-Humeans who accept MinP have the same freedom to contemplate a wide variety of candidate fundamental laws as Humeans do. (shrink)

This paper studies connections between two alternatives to the standard probability calculus for representing and reasoning about uncertainty: imprecise probability andcomparative probability. The goal is to identify complete logics for reasoning about uncertainty in a comparative probabilistic language whose semantics is given in terms of imprecise probability. Comparative probability operators are interpreted as quantifying over a set of probability measures. Modal and dynamic operators are added for reasoning about epistemic possibility and updating sets of probability measures.

This paper investigates the principles that one must add to Boolean algebra to capture reasoning not only about intersection, union, and complementation of sets, but also about the relative size of sets. We completely axiomatize such reasoning under the Cantorian definition of relative size in terms of injections.

We consider extending the modal logic KD45, commonly taken as the baseline system for belief, with propositional quantifiers that can be used to formalize natural language sentences such as “everything I believe is true” or “there is something that I neither believe nor disbelieve.” Our main results are axiomatizations of the logics with propositional quantifiers of natural classes of complete Boolean algebras with an operator validating KD45. Among them is the class of complete, atomic, and completely multiplicative BAOs validating KD45. (...) Hence, by duality, we also cover the usual method of adding propositional quantifiers to normal modal logics by considering their classes of Kripke frames. In addition, we obtain decidability for all the concrete logics we discuss. (shrink)

This paper connects the following three apparently unrelated topics: an epistemic framework fighting logical omniscience, a class of generalized graphs without the arities of relations, and a family of non-normal modal logics rejecting the aggregative axiom. Through neighborhood frames as their meeting point, we show that, among many completeness results obtained in this paper, the limit of a family of weakly aggregative logics is both exactly the modal logic of hypergraphs and also the epistemic logic of local reasoning with veracity (...) and positive introspection. The logics studied are shown to be decidable based on a filtration construction. (shrink)

Scroggs's theorem on the extensions of S5 is an early landmark in the modern mathematical studies of modal logics. From it, we know that the lattice of normal extensions of S5 is isomorphic to the inverse order of the natural numbers with infinity and that all extensions of S5 are in fact normal. In this paper, we consider extending Scroggs's theorem to modal logics with propositional quantifiers governed by the axioms and rules analogous to the usual ones for ordinary quantifiers. (...) We call them Π-logics. Taking S5Π, the smallest normal Π-logic extending S5, as the natural counterpart to S5 in Scroggs's theorem, we show that all normal Π-logics extending S5Π are complete with respect to their complete simple S5 algebras, that they form a lattice that is isomorphic to the lattice of the open sets of the disjoint union of two copies of the one-point compactification of N, that they have arbitrarily high Turing-degrees, and that there are non-normal Π-logics extending S5Π. (shrink)

In this paper, I characterize and elaborate on the “Wentaculus” theory, a new approach to time’s arrow in a quantum universe that offers a unified solution to the problems of what gives rise to the arrow of time and what the ontology of quantum mechanics is.

Deconstruction is decidedly unsettling in that it destabilizes the otherwise comfortably assumed understanding of the nature of translation. What is also controversial is that it may make translation impossible, considering that it explicitly acknowledges the impossibility of translation. Yet Derrida emphasizes the necessity of translation as well, thus foregrounding the need to negotiate with the non-negotiable, and for this reason, to translate the untranslatable. Deconstruction captures and elucidates the complexity of translation in relation to the variability and complexity of its (...) nature and practice. Despite the disconcerting observation of his devastatingly relativist overtone and open-endedness, Derrida does not uphold complete free play, as is repeatedly pointed out by himself and other scholars. This paper argues that the context of translation plays a regulating role and intends to unravel what he calls translation as both possible and impossible, both respectful and abusive. Inspired by Derrida's profound contention that translation is in a way more about ‘what is not there’ than ‘what is there’, this paper will map some of the multiple implications of meaning and various modes of representation in translation, in which different meanings can be played with so as to give rise to spaces for exploring and expanding the range of translation strategies and methods. (shrink)

本书旨在对文学翻译的本质进行探讨,论述文学语言与翻译、文学翻译的过程、文学翻译的策略,及翻译的文化差异等。.

In their forthcoming article, ‘What makes a medical intervention invasive?’ De Marco, Simons, and colleagues explore the meaning and usage of the term ‘invasive’ in medical contexts. They describe a ‘Standard Account’, drawn from dictionary definitions, which defines invasiveness as ‘incision of the skin or insertion of an object into the body’. They then highlight cases wherein invasiveness is employed in a manner that is inconsistent with this account (eg, in describing psychotherapy) to argue that the term invasiveness is often (...) used to explicitly or implicitly reference interventions that do not fall under the standard account. The authors offer an alternative ‘schematic’ definition of invasiveness, whereby medical interventions entail an underlying context-independent property of ‘basic invasiveness’ and may be understood both relative to each other and to a context-specific threshold of what is ‘invasive’. 1 We propose that the meaning of terms such as ‘invasiveness’ is necessarily heterogeneous,... (shrink)

In most modal logics, atomic propositional symbols are directly representing the meaning of sentences (such as sets of possible worlds). In other words, they use only rigid propositional designators. This means they are not able to handle uncertainty in meaning directly at the sentential level. In this paper, we offer a modal language involving non-rigid propositional designators which can also carefully distinguish de re and de dicto use of these designators. Then, we axiomatize the logics in this language with respect (...) to all Kripke models with multiple modalities and with respect to S5 Kripke models with a single modality. (shrink)

In this paper, I provide a framework for accounting for the self, based on a reconstruction of Galen Strawson’s “theory of SESMETs,” or the Pearl view, with Barry Dainton’s continuous consciousness thesis. I argue that the framework I provide adequately accounts for the self and is preferable to solely adopting either Strawson’s or Dainton’s theory. I call my reconstruction the “Necklace” view of the self.

Physical laws are strikingly simple, although there is no a priori reason they must be so. I propose that nomic realists of all types (Humeans and non-Humeans) should accept that simplicity is a fundamental epistemic guide for discovering and evaluating candidate physical laws. This principle of simplicity clarifies and addresses several problems of nomic realism and simplicity. A consequence is that the oft-cited epistemic advantage of Humeanism over non-Humeanism disappears, undercutting an influential epistemological argument for Humeanism. Moreover, simplicity is shown (...) to be more tightly connected to lawhood than to mere truth. (shrink)

Di 1 bian. Kongzi si xiang ji lun yu -- di 2 bian. Mengzi si xiang ji Meng Xun tong yi -- di 3 bian. Gaozi si xiang -- di 4 bian. Ming li -- di 5 bian. Jiao yu xiu yang Wen hua.

Drawing on the core values of western civilization, the author refines the counterparts in Chinese civilization, summarized as four core principles: duty before freedom, obedience before rights, community before individual, and harmony before conflict. Focusing on guoxue or Sinology as the basis of his approach, the author provides detailed explanations of traditional Chinese values. Recent scholars have addressed the concept of guoxue since the modern age, sorting through it and piecing it together, which has produced an extremely abundant range of (...) information. However, given that the concepts and theories involved have been left largely unanalyzed, this book develops a theoretical treatment of them in several important respects. First, it analyzes the mindset of guoxue, examining the dominant ideas and values of the era from which the term "guoxue" arose, focusing on its connection to early changes and trends in society and culture, and distinguishing three key phases of development. Past scholars mainly had in mind the range of objects studied in guoxue when defining it, and what this book underscores is the meaning of guoxue as a modern body of research. Secondly, it assesses several phases in the modern evolution of the body of guoxue research from the beginning to the end of the 20th century, id est, ending with the later phase of the National Heritage movement. Third and lastly, the book explores the various main modes of modern guoxue, which correspond step by step with the evolutionary phases of guoxue research. (shrink)

If a benevolent and all-powerful God exists, how can there be so much suffering? Could God have created a better world? Or is evil the price we pay for freedom of the will?

Background: Losing one’s only child may lead to post-traumatic stress disorder, of which re-experiencing is the core symptom. However, neuroimaging studies of sex differences in re-experiencing in the context of the trauma of losing one’s only child and PTSD are scarce; comparisons of the functional networks from the hippocampal subfields to the thalamus might clarify the neural basis.Methods: Thirty couples without any psychiatric disorder who lost their only child, 55 patients with PTSD, and 50 normal controls underwent resting-state functional magnetic (...) resonance imaging. The functional connectivity from the hippocampal subregions to the thalamus and the correlations of FC with re-experiencing symptoms were analyzed within and between the sexes.Results: Compared with husbands without PTSD, wives without PTSD had higher re-experiencing symptoms and weaker FC between the right hippocampal cornu ammonis 3 and the right thalamus. Moreover, only the correlation between the RCA3-RT FC and re-experiencing in wives without PTSD was significant. Among the three groups, only the RCA3-RT FC in female subjects was markedly different. Additionally, the RCA3-RT FC in wives without PTSD was remarkably lower relative to female patients with PTSD.Conclusion: Wives without PTSD who lost their only child had worse re-experiencing symptoms relative to their husbands, which was associated with the FC alteration between the hippocampal subregions and the thalamus. Importantly, the low level of the RCA3-RT FC may play a potentially protective role against the development of PTSD in wives who have lost their only child. (shrink)

In the contemporary epistemological literature, peer disagreement is often taken to be an instance of a more general phenomenon of “higher-order evidence.” Correspondingly, its epistemic significance is often thought to turn on the epistemic significance of higher-order evidence in general. This chapter attempts to evaluate this claim, and in doing so to clarify some points of unclarity in the current literature – both about what it is for evidence to be “higher-order,” and about the relationship between disagreement and higher-order evidence. (...) We will begin by considering some candidate definitions of “higher-order evidence,” and offering our own definition that attempts to capture the phenomenon of interest. We will then consider, in light of this definition, whether disagreement and its epistemic significance are best-understood as a kind of higher-order evidence. We’ll argue that although peer disagreement can be epistemically significant qua higher-order evidence, this role doesn’t exhaust its significance, and that it can also serve as straightforward first-order evidence. Finally, we’ll suggest that inattention to this latter point has made broadly conciliatory views about peer disagreement seem somewhat easier to resist than they in fact are. (shrink)

Human behavior depends on the ability to effectively introspect about our performance. For simple perceptual decisions, this introspective or metacognitive ability varies substantially across individuals and is correlated with the structure of focal areas in prefrontal cortex. This raises the possibility that the ability to introspect about different perceptual decisions might be mediated by a common cognitive process. To test this hypothesis, we examined whether inter-individual differences in metacognitive ability were correlated across two different perceptual tasks where individuals made judgments (...) about different and unrelated visual stimulus properties. We found that inter-individual differences were strongly correlated between the two tasks for metacognitive ability but not objective performance. Such stability of an individual’s metacognitive ability across different perceptual tasks indicates a general mechanism supporting metacognition independent of the specific task. (shrink)

A large part of Hilary Putnam’s latest work is spent on disagreeing with John McDowell’s conceptualist view of perception which has been expressed in Mind and World and the McDowellian disjunctivism. Nevertheless, Putnam does not articulate which specific aspects of McDowell’s view he disagrees with. This paper endeavours to: first, clarify what Putnam’s disagreement with McDowell precisely is based on an investigation of the views held by each of the two philosophers regarding the problem of the mind and perception, as (...) well as their attitudes toward the relevant sciences; and second, examine Putnam’s argument against McDowell, then reconstruct it in its most plausible form. Before diving into Putnam’s exact disagreement with McDowell in §3, I consider it important to first clarify the common stance that the two philosophers share, namely the stance which opposes reductionism and eliminativism about the mind. Following that, I will explicate the views held by each of the two philosophers as well as point out where they diverge or disagree on. We will see that Putnam has appreciated the virtue in McDowell’s conceptualist view of doxastic perception. Nevertheless, Putnam argues that perceptual experience is not exhausted by what must be put under the actualisation of the perceiving subject’s conceptual capacities, and there is the dimension of ‘sense impression’, together with the possibility for science’s intervention to our discussion on perception, that has been neglected by McDowell. Finally, in §4, I will discuss some problems I have found in Putnam’s argument and give my own solutions in the hope of contributing to today’s current debates. I argue that ‘sense impression’, though it exceeds the perceiver’s acquired conceptual capacities, must in principle be conceptual insofar as it can be intelligible to us. Putnam’s criticism of McDowell only stands if McDowell’s conceptualist view is understood as a static first-order metaphysical picture of human perception. Meanwhile, Putnam’s proposal for science’s intervention should be taken not as aiming at a better substitutive picture to McDowell’s, but as advocating a certain attitude towards our enterprise of studying human perception which is always open to possible collaborations between different disciplines as well as to possible critiques from future reflections. (shrink)

In this paper, I provide a framework for accounting for the self, based on a reconstruction of Galen Strawson’s “theory of SESMETs,” or the Pearl view, with Barry Dainton’s continuous consciousness thesis. I argue that the framework I provide adequately accounts for the self and is preferable to solely adopting either Strawson’s or Dainton’s theory. I call my reconstruction the “Necklace” view of the self.

本书主要内容包括:新人本主义的“人一自然”观,关于人与自然关系的哲学伦理学思考,文明生态视角下的“人一自然”观,关于人与自然关系的宗教伦理学思考等.

Reputation detection in traditional distributed systems relies heavily on the factor of interaction reputation, which can be derived from direct interactions between agents through bidirectional relationships. However, in the current information diffusion in social network systems, the characteristic of the unidirectional relationship between agents and the decay property of diffusion will result in lacking direct interactions; therefore, interaction reputations will be difficult to be obtained by agents in a distributed manner. To solve this problem, a novel distributed reputation detection model (...) following the pattern “from path to individual” is proposed, which can provide a new reputation factor as an alternative to interaction reputation in such environments. The main idea is that the positive observation of an information diffusion process increases the belief of the corresponding diffusion path, which further increases the reputation of each involved agent. Thus, the reputation of a target agent can be assessed by the superimposition of reputations of multiple paths on which this agent has participated in past information diffusion processes. Furthermore, being aware of agent’s limited capacity for reputation detection in SNS, we then propose the enhanced FPTI model, which simplifies the detection source to reduce detection costs and achieve the approximate performance as FPTI. Theoretical analyses and experimental evaluations validate the efficiency and effectiveness of our models and also show several properties of the models, for example, the robustness for dynamic environments. (shrink)

Weyl's tile argument purports to show that there are no natural distance functions in atomistic space that approximate Euclidean geometry. I advance a response to this argument that relies on a new account of distance in atomistic space, called "the mixed account," according to which local distances are primitive and other distances are derived from them. Under this account, atomistic space can approximate Euclidean space (and continuous space in general) very well. To motivate this account as a genuine solution to (...) Weyl's tile argument, I argue that this account is no less natural than the standard account of distance in continuous space. I also argue that the mixed account has distinctive advantages over Forrest's (1995) account in response to Weyl's tile argument, which can be considered as a restricted version of the mixed account. (shrink)

In The Humanist Spirit of Daoism, Chen Guying presents a concise overview of his understanding of the meaning and significance of Daoist philosophy. Chen is a leading contemporary Chinese thinker and spokesperson for a new Daoist approach to existential and socio-political issues. He was born in mainland China in 1935, but after having resettled to Taiwan, he received his education there and was a student activist in the 1960s. He became famous in the Chinese-speaking world with his writings (...) on Nietzsche, Laozi and Zhuangzi. At present he is a Professor at Peking University. This volume collects representative essays from the past 25 years which not only outline Chen's interpretation of Daoism as a deeply humanist way of thinking and living, but also show how he employs this philosophy in a critique of totalitarianism and neo-imperialism. (shrink)

The early literature on epistemic logic in philosophy focused on reasoning about the knowledge or belief of a single agent, especially on controversies about "introspection axioms" such as the 4 and 5 axioms. By contrast, the later literature on epistemic logic in computer science and game theory has focused on multi-agent epistemic reasoning, with the single-agent 4 and 5 axioms largely taken for granted. In the relevant multi-agent scenarios, it is often important to reason about what agent A believes about (...) what agent B believes about what agent A believes; but it is rarely important to reason just about what agent A believes about what agent A believes. This raises the question of the extent to which single-agent introspection axioms actually matter for multi-agent epistemic reasoning. In this paper, we formalize and answer this question. To formalize the question, we first define a set of multi-agent formulas that we call agent-alternating formulas, including formulas like Box_a Box_b Box_a p but not formulas like Box_a Box_a p. We then prove, for the case of belief, that if one starts with multi-agent K or KD, then adding both the 4 and 5 axioms (or adding the B axiom) does not allow the derivation of any new agent-alternating formulas—in this sense, introspection axioms do not matter. By contrast, we show that such conservativity results fail for knowledge and multi-agent KT, though they hold with respect to a smaller class of agent-nonrepeating formulas. (shrink)

China is currently afflicted by enormous environmental problems. This book, drawing on ancient and modern Chinese environmental thinking, considers what it is that makes an environment a desirable place for living. The book emphasises ideas of beauty, and discusses how these ideas can be applied in natural, agricultural and urban environments in order to produce desirable environments. The book argues that environment is both a product of nature and of human beings, and as such is potentially alterable by culture. The (...) book explores the three aspects of environmental beauty whereby such alteration might be beneficially made: integrated and holistic; ecological and man-made; and authentic and everyday. (shrink)