We investigate the “mathematical” strength of the theory I*2. In particular we prove the quadratic reciprocity law and Bertrand's postulate, using fragments of I*2 which employ some well-known number-theoretic functions.

We study the strength (over bounded induction) of axioms expressing particular cases of the Chinese Remainder Theorem with respect to the axiom ∀ x, y∃ z (z = xy).

. We provide an alternative proof of a theorem of P. Clote concerning end extensions of models of $\Sigma_n$ -induction, for $n \geq 2$.

We study problems of Clote and Paris, concerning the existence of end extensions of models of Σ n -collection. We continue the study of the notion of ‘Γ-fullness’, begun by Wilkie and Paris (Logic, Methodology and Philosophy of Science VIII (Moscow, 1987). Stud. Logic Found. Math., vol. 126, pp. 143–161. North- Holland, Amsterdam, 1989) and introduce and study a generalization of it, to be used in connection with the existence of Σ n -elementary end extensions (instead of plain end extensions). (...) We obtain (a) alternative proofs of results (Adamowicz in Fund. Math. 136, 133–145, 1990) and (Wilkie and Paris in Logic, Methodology and Philosophy of Science VIII (Moscow, 1987). Stud. Logic Found. Math., vol. 126, pp. 143–161. North-Holland, Amsterdam, 1989) related to the problem of Paris and (b) a partial solution to the problem of Clote. (shrink)

This essay is meant to shed light on a discourse that spans centuries and includes different voices. To be aware of such trans-textual resonances can add a level of historical understanding to the reading of philosophical texts. Specifically, we intend to demonstrate how the notion of the ineffable Dao 道, prominently expressed in the Daodejing 道德經, informs a long discourse on incongruent names in distinction to a mainstream paradigm that demands congruity between names and what they designate. Thereby, we trace (...) the development of the idea of the ineffable Dao quite differently from modern mystical interpretations. We show how, in an early Chinese context, it first gives rise to a sociopolitical critique of the incongruity underlying socially constructed names in the Zhuangzi 莊子, then to a discourse on the incongruity between moral virtues and names in Xuanxue 玄學 philosophy, and eventually to Sengzhao’s 僧肇 claim that a perceived congruence of names with things does not entail actual congruence between names and reality. (shrink)

Analyse: Le penseur chinois Wang Chong (27-97?) fut souvent considéré comme un auteur hétérodoxe, voire anti-confucianiste, tant en Chine ancienne qu'au XXe siècle.

The relation between peace-oriented politics and theology will be discussed from a philosophical point of view by approaching the problem in five steps. In a first step, I will focus on logic as one of the most powerful and simultaneously misleading forces in our thinking. Utilising the results of this step will, secondly, enable a clarification of the misunderstanding implied in an idea such as eternal peace. Thirdly, the article will unveil the paradoxical character of violence inherent in the notion (...) of political power as well as the antinomy of war and peace. This will open the space for accepting second-best solutions. In so doing at least some of the problems implied in any philosophical contribution to a political theology of pacifism may be solved. (shrink)

A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software.

BackgroundDisorders in different levels of body representation are present in hemiplegic cerebral palsy. However, it remains unclear whether the body image develops from aspects of body schema and body structural description, and how this occurs in children with HCP.Objective and methodsIn a cross-sectional study, we investigated 53 children with HCP and 204 typically developing control children to qualitatively evaluate whether and how body schema and body structural description affect the development of children’s body image and whether this development is delayed (...) through HCP. Graph analysis was used to create a lexical-semantic map of body representation from data of a semantic word fluency task.ResultsResults indicated a similar qualitative pattern of influences of sensorimotor and visuospatial experiences on lexical-semantic knowledge of body parts, with a delayed developmental course in children with HCP compared to TD children.ConclusionThese findings suggest that children’s body image seemed to be influenced by body schema and body structural descriptions as indicated by poorer lexical-semantic knowledge of body parts in children with HCP due to missing physical experiences of the affected body parts. This might imply that “body talk” may beneficially complement physical therapy for children with HCP to promote body image development. (shrink)

The theory of evolution has provided an historical outlook for the science of biology and has demonstrated that all living organisms on earth are kin to one another - be this kinship distant or close - that they all have their origin in the simple protoplast, and that the living world is a continual, historical entity. Every branch of the science of biology is permeated with the idea of evolution, and each branch has made contributions to the theory of evolution. (...) The theory of evolution is like a strand of red thread running through the entire science of biology. (shrink)

Mongolian philosophy on governance aiming at reforming Mongolian society; transliterated from old Mongolian into Cyrillic.

译自: Philosophy and sociology of science: an introduction/Stewart Richards. -- 英国: Blackwell, 1983.

This book presents an innovative reading of Daoist philosophy that highlights the critical and therapeutic functions of satire and humor. Moeller and D'Ambrosio show how the Zhuangzi expounds the Daoist art of "genuine pretending" the paradoxical skill of enacting social roles without submitting to them or letting them define one's identity.

This paper explores in detail an argument for epistemic expressivism, what we call the Argument from Motivation. While the Argument from Motivation has sometimes been anticipated, it has never been set out in detail. The argument has three premises, roughly, that certain judgments expressed in attributions of knowledge are intrinsically motivating in a distinct way (P1); that motivation for action requires desire-like states or conative attitudes (HTM); and that the semantic content of knowledge attributions cannot be specified without reference to (...) the intrinsically motivating judgments that such attributions express (P2). We argue that these premises entail a version of ecumenical expressivism. Since the argument from motivation has not been explicitly stated before, there is no current discussion of the argument. In this paper we therefore consider and reject various objections that one might propose to the argument, including some that stem from the idea that knowledge is factive, or that knowledge involves evidence that rules out relevant alternatives. Other objections to (P1) specifically might be derived from cases of apparent lack of epistemic motivation considered in in Kvanvig (The value of knowledge and the pursuit of understanding, 2003) and Brown (Nous 42(2):167–189, 2008), as well as from general forms of externalism about epistemic motivation. We consider these and find them wanting. Finally, the paper offers some critical remarks about the prospect of denying (P2). (shrink)