Illustrations: Numerous B/w Figures Description: Key questions in the history of Navya-nyaya (New Nyaya) remain unresolved: when did this school of logic begin, who was its founder, what distinguishes Navya-nyaya from Pracina-nyaya (Old Nyaya), and so on. This book attempts to answer these key questions in Part I. Part II provides a translation, analysis, and critical edition of the Lion and Tiger Definitions of Invariable Concomitance Chapter (Simha-vyaghra-laksana: LT Chapter) of the Tattva-cintamani-rahasya (TCR) of Mathuranatha (16th-17th c.). The hypothesis adopted (...) by the author with regard to the first question is that Udayana, who lived in the 11th century, is the founder of Navya-nyaya. This hypothesis is closely linked to the hypothesis offered regarding the second question, which is that the feature that distinguishes Navya-nyaya from the earlier school is its description of concepts and the structure of the world in terms of relation. Early Navya-nyaya authors, who flourished between Udayana and Gangesa (14th c.), devised specific terminology, of which delimitor (avacchedaka) and describer (niËpaka) are the most important, in order to identify or specify relation. This book attempts to illustrate the function of these and other Navya-nyaya terms from the viewpoint of relation. The main sources upon which the author has based his conclusions are Udayana s Laksanavali and the chapters on invariable concomitance or pervasion (vyapti) of the Nyaya-siddhanta-dipa (NSD) of Sasadhara (13rd-14th c.), the Tattva-cintamaÆi (TC) of Gangesa, and the TCR. Of these Sanskrit texts no scholar has worked on the Invariable Concomitance Chapter (Vyapti-vada) of the NSD in detail or the LT Chapter of the TCR. The latter chapter follows in the TCR the Five Definitions of Invariable Concomitance Chapter (Vyapti-pancaka), which Ingalls edited, translated, and analyzed in his epoch-making book Materials for the Study of Navya-Nyaya Logic (1951). One major innovation of this book made in Part II is to explain the structure of Navya-nyaya analysis by employing 86 diagrams based on the dharma-dharmin (property and property-possessor) relation, which serve as a visual aid and help readers to more easily understand the complicated structure of its analysis. The diagrams are also helpful in ascertaining how the definitions of invariable concomitance apply to individual cases and how the entities are connected in the application of the definitions. Another major innovation is: almost every sub-section of the LT Chapter of the TCR contains Mathuranatha s clarification of part of the two definitions; but this clarification does not give the definition incorporating prior clarifications and insertions; this book provides such a definition accompanied by a diagram. In other words, Part II illustrates the structure of the whole definition at every process of the clarification, which (definition) is never presented as such in Mathuranatha s text. (shrink)

レヴィナス思想における哲学とユダヤ教という次元の架橋へ。ツェランら詩人との思想交流から、イスラエル国家の問題まで―「場所」という概念を軸に包括的なレヴィナス像を描き出す。第3回東京大学南原繁記念出版賞 受賞作。.

Contributed papers presented at a seminar held at Graduate School of Letters, Nayoga U. in 2005.

In lieu of an abstract, here is a brief excerpt of the content:201 HUME TO SMITH: AN UNPUBLISHED LETTER* In all probability, a newly-discovered letter by David Hume, written on 17 November 1772 and published here for the first time, was addressed to Adam Smith. Purchased in May 1982 by Kwansei Gakuin University Library, it now forms part of the Adam Smith Collection there. The vendors stated the letter was acquired from a French collector, but there seems to be no (...) other information available about its provenance. The letter itself is a brief one in which Hume urges the addressee to move to an excellent house in the New Town of Edinburgh which will be empty next Whitsuntide, one of the Scottish quarterdays or term-days, fixed for the beginning and end of tenancy and usually falling on 15 May. There is a postscript, in which Hume adds that he is enclosing an account of the importing of money into Spain that was once requested from him. This enclosure has not been traced. There is no doubt about the authenticity of the Hume letter, but there is a technical difficulty about the identity of the addressee. This is made known by a slip pasted on the foot of the letter. A suspicious mind might think of an owner doing this to enhance the value of the letter, but the words 'Adam Smith Esqr Kirkaldy' are probably in Hume's hand, and the slip may well have been cut from the cover of the letter. The contents of the letter, to be sure, point definitely to Adam Smith as the recipient. For one thing, Hume stresses that the house he has in mind for his correspondent 'has a Prospect of... even I believe Kirkaldy,' and Smith was certainly the most prominent of Hume's intimate friends then living in 202 the 'lang toun' visible across the Firth of Forth from many parts of Edinburgh. There were others associated with Kirkcaldy, of course, such as James Oswald of Dunnikier, also Smith's childhood friend and someone with a great interest in political economy, but he had died in 1769. One might think, too, of the brothers Adam, in particular Robert and John, rising architects and later designers of Hume's memorial on Carlton Hill, but the focus of their life was London by this date, and they were unlikely to be asking Hume for an account of the money imported into Spain. In Hume's later years, he delighted in conversing with his friends in his home, and would call on them to pass time with him, even to move to Edinburgh to be near him. For example, he wrote to Smith on 23 November 1772 (corr. 134) that Adam Ferguson 'comes over next week, to a house in this neighbourhood. Pray, come over this winter, and join us.' On other occasions, too, he urged Smith to come to Edinburgh to visit him or to settle there so that they could enjoy each other's company. Thus, the first point suggesting that the new letter must be addressed to Smith arises from awareness of the relationship between Hume and Smith at this period. As is well known, Smith left the service of the Duke of Buccleuch in 1767 and returned from London to Kirkcaldy. There he lived with his mother and immersed himself in writing the Wealth of Nations until he left for London in May 1773 to see to the publication of his great book. As John Rae wrote of the intervening years: 'Hume, who thought the country an unsuitable place for a man of letters, used every endeavour to persuade [Smith] to remove to 2 Edinburgh, but without success.' 203 In a letter from James's Court of the Old Town, dated 20 August 1769 (Corr. 121), Hume asked Smith with all sincerity, ¦ but with a pleasing sense of humour, to spend some time with him: I am glad to have come within sight of you, and to have a View of Kirkaldy from my Windows: But as I wish also to be within speaking terms of you, I wish we coud concert measures for that purpose. I am mortally sick at Sea, and regard with horror, and a kind of... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:201 HUME TO SMITH: AN UNPUBLISHED LETTER* In all probability, a newly-discovered letter by David Hume, written on 17 November 1772 and published here for the first time, was addressed to Adam Smith. Purchased in May 1982 by Kwansei Gakuin University Library, it now forms part of the Adam Smith Collection there. The vendors stated the letter was acquired from a French collector, but there seems to be no (...) other information available about its provenance. The letter itself is a brief one in which Hume urges the addressee to move to an excellent house in the New Town of Edinburgh which will be empty next Whitsuntide, one of the Scottish quarterdays or term-days, fixed for the beginning and end of tenancy and usually falling on 15 May. There is a postscript, in which Hume adds that he is enclosing an account of the importing of money into Spain that was once requested from him. This enclosure has not been traced. There is no doubt about the authenticity of the Hume letter, but there is a technical difficulty about the identity of the addressee. This is made known by a slip pasted on the foot of the letter. A suspicious mind might think of an owner doing this to enhance the value of the letter, but the words 'Adam Smith Esqr Kirkaldy' are probably in Hume's hand, and the slip may well have been cut from the cover of the letter. The contents of the letter, to be sure, point definitely to Adam Smith as the recipient. For one thing, Hume stresses that the house he has in mind for his correspondent 'has a Prospect of... even I believe Kirkaldy,' and Smith was certainly the most prominent of Hume's intimate friends then living in 202 the 'lang toun' visible across the Firth of Forth from many parts of Edinburgh. There were others associated with Kirkcaldy, of course, such as James Oswald of Dunnikier, also Smith's childhood friend and someone with a great interest in political economy, but he had died in 1769. One might think, too, of the brothers Adam, in particular Robert and John, rising architects and later designers of Hume's memorial on Carlton Hill, but the focus of their life was London by this date, and they were unlikely to be asking Hume for an account of the money imported into Spain. In Hume's later years, he delighted in conversing with his friends in his home, and would call on them to pass time with him, even to move to Edinburgh to be near him. For example, he wrote to Smith on 23 November 1772 (corr. 134) that Adam Ferguson 'comes over next week, to a house in this neighbourhood. Pray, come over this winter, and join us.' On other occasions, too, he urged Smith to come to Edinburgh to visit him or to settle there so that they could enjoy each other's company. Thus, the first point suggesting that the new letter must be addressed to Smith arises from awareness of the relationship between Hume and Smith at this period. As is well known, Smith left the service of the Duke of Buccleuch in 1767 and returned from London to Kirkcaldy. There he lived with his mother and immersed himself in writing the Wealth of Nations until he left for London in May 1773 to see to the publication of his great book. As John Rae wrote of the intervening years: 'Hume, who thought the country an unsuitable place for a man of letters, used every endeavour to persuade [Smith] to remove to 2 Edinburgh, but without success.' 203 In a letter from James's Court of the Old Town, dated 20 August 1769 (Corr. 121), Hume asked Smith with all sincerity, ¦ but with a pleasing sense of humour, to spend some time with him: I am glad to have come within sight of you, and to have a View of Kirkaldy from my Windows: But as I wish also to be within speaking terms of you, I wish we coud concert measures for that purpose. I am mortally sick at Sea, and regard with horror, and a kind of... (shrink)

In this paper, we show within ${\mathsf{RCA}_0}$ that both the Jordan curve theorem and the Schönflies theorem are equivalent to weak König’s lemma. Within ${\mathsf {WKL}_0}$ , we prove the Jordan curve theorem using an argument of non-standard analysis based on the fact that every countable non-standard model of ${\mathsf {WKL}_0}$ has a proper initial part that is isomorphic to itself (Tanaka in Math Logic Q 43:396–400, 1997).

In this paper, we show that equation image is a equation image-conservative extension of BΣ1 + exp, thus it does not imply IΣ1.

We investigate the reverse-mathematical status of several theorems to the effect that the natural number system is second-order categorical. One of our results is as follows. Define a system to be a triple A,i,f such that A is a set and i∈A and f:A→A. A subset X⊆A is said to be inductive if i∈X and ∀a ∈X). The system A,i,f is said to be inductive if the only inductive subset of A is A itself. Define a Peano system to be (...) an inductive system such that f is one-to-one and i∉the range of f. The standard example of a Peano system is N,0,S where N={0,1,2,…,n,…}=the set of natural numbers and S:N→N is given by S=n+1 for all n∈N. Consider the statement that all Peano systems are isomorphic to N,0,S. We prove that this statement is logically equivalent to WKL0 over RCA0⁎ source. From this and similar equivalences we draw some foundational/philosophical consequences. (shrink)

Background There are several psychosocial and ethical issues surrounding the decision to be a living kidney donor. The present study aimed to determine the perceptions of psychosocial and ethical issues that living kidney donors may have, and analyze their psychological characteristics.Methods Face-to-face semi-structured interviews were conducted with 15 donors. Thematic analysis was then performed to categorize the thematic elements of the transcripts. All procedures were approved by the relevant review board.Results Four main categories were identified: Awareness of family dynamics, barriers (...) to a proper understanding, contrasting psychological effects of recipient presence in clinical practice, insufficient information explained in informed consent.Conclusion Donors felt that they took on the “role as a care giver” for the recipient and were less aware of themselves as patients. This is a new concept that has not been shown in previous studies. Donors exist within the recipient and family, and the range of their autonomy may go beyond the traditional concept of autonomy and be rooted in relational autonomy. This study suggested that medical treatment in the presence of the recipient promotes the relational autonomy of the donor. (shrink)

We show that many principles of first-order arithmetic, previously only known to lie strictly between [Formula: see text]-induction and [Formula: see text]-induction, are equivalent to the well-foundedness of [Formula: see text]. Among these principles are the iteration of partial functions of Hájek and Paris, the bounded monotone enumerations principle by Chong, Slaman, and Yang, the relativized Paris–Harrington principle for pairs, and the totality of the relativized Ackermann–Péter function. With this we show that the well-foundedness of [Formula: see text] is a (...) far more widespread than usually suspected. Further, we investigate the [Formula: see text]-iterated version of the bounded monotone iterations principle, and show that it is equivalent to the well-foundedness of the -height [Formula: see text]-tower [Formula: see text]. (shrink)

The program of Reverse Mathematics (Simpson 2009) has provided us with the insight that most theorems of ordinary mathematics are either equivalent to one of a select few logical principles, or provable in a weak base theory. In this paper, we study the properties of the Dirac delta function (Dirac 1927; Schwartz 1951) in two settings of Reverse Mathematics. In particular, we consider the Dirac Delta Theorem, which formalizes the well-known property \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$${\int_\mathbb{R}f(x)\delta(x)\,dx=f(0)}$$\end{document} of the Dirac delta function. We show that the Dirac Delta Theorem is equivalent to weak König’s Lemma (see Yu and Simpson in Arch Math Log 30(3):171–180, 1990) in classical Reverse Mathematics. This further validates the status of WWKL0 as one of the ‘Big’ systems of Reverse Mathematics. In the context of ERNA’s Reverse Mathematics (Sanders in J Symb Log 76(2):637–664, 2011), we show that the Dirac Delta Theorem is equivalent to the Universal Transfer Principle. Since the Universal Transfer Principle corresponds to WKL, it seems that, in ERNA’s Reverse Mathematics, the principles corresponding to WKL and WWKL coincide. Hence, ERNA’s Reverse Mathematics is actually coarser than classical Reverse Mathematics, although the base theory has lower first-order strength. (shrink)

Functional electrical stimulation (FES), a method for inducing muscle contraction, has been successfully used in gait rehabilitation for patients with deficits after neurological disorders and several clinical studies have found that it can improve gait function after stroke and spinal cord injury. However, FES gait training is not suitable for patients with walking difficulty, such as those with severe motor paralysis of the lower limbs. We have previously shown that action observation combined with motor imagery (AO + MI) of walking (...) induces walking-related cortical activity. Therefore, we combined FES, which alternately generates dorsiflexion and plantar flexion, with AO + MI as an alternative to gait training. The present study investigates the transient effects of 20-min of FES simultaneously with and without AO + MI of walking on corticospinal and spinal reflex excitability in able-bodied participants. We measured motor evoked potentials and Hoffmann-reflexes to assess corticospinal and spinal reflex excitability at rest before and after the 20-min FES with and without the AO + MI. Our results show that FES without AO + MI did not change excitability (p > 0.05), while FES with AO + MI facilitated corticospinal excitability (p < 0.05). This facilitation likely occurred due to the synchronization of sensory inputs from FES and cortical activity during AO + MI. Facilitation was observed only in the dorsiflexor but not the plantar flexor muscle (p < 0.05), suggesting muscle specificity of the facilitation. These results demonstrate the effectiveness of combining FES with AO + MI and pave the way for novel neurorehabilitation strategies for patients with neurological gait deficits. (shrink)

A system for analyzing concerns of people from Weblog articles is proposed. The system called KANSHIN analyzes concerns of people by collecting Japanese, Chinese, and Korean Weblog articles. Users can find concerns of people in each language. Users can also compare differences of concerns between Japanese, Chinese, and Korean language communities. We describe several analysis results: (1) patterns of social concerns, (2) change of focuses on a problem along with the time, (3) differences of concerns on a problem between Japanese, (...) Chinese, and Korean Weblog sites, and (4) relation between words in Weblog articles and real world natural phenomenon. (shrink)

In this paper, we introduce a system of nonstandard second-order arithmetic $\mathsf{ns}$-$\mathsf{WWKL_0}$ which consists of $\mathsf{ns}$-$\mathsf{BASIC}$ plus Loeb measure property. Then we show that $\mathsf{ns}$-$\mathsf{WWKL_0}$ is a conservative extension of $\mathsf{WWKL_0}$ and we do Reverse Mathematics for this system.

In this paper, we introduce the systems ns-ACA₀ and ns-WKL₀ of non-standard second-order arithmetic in which we can formalize non-standard arguments in ACA₀ and WKL₀, respectively. Then, we give direct transformations from non-standard proofs in ns-ACA₀ or ns-WKL₀ into proofs in ACA₀ or WKL₀.

In this paper, we introduce systems of nonstandard second-order arithmetic which are conservative extensions of systems of second-order arithmetic. Within these systems, we do reverse mathematics for nonstandard analysis, and we can import techniques of nonstandard analysis into analysis in weak systems of second-order arithmetic. Then, we apply nonstandard techniques to a version of Riemannʼs mapping theorem, and show several different versions of Riemannʼs mapping theorem.

This research is motivated by the program of reverse mathematics and non-standard arguments in second-order arithmetic. Within a weak subsystem of second-order arithmetic ACA0, we investigate some aspects of non-standard analysis related to sequential compactness. Then, using arguments of non-standard analysis, we show the equivalence of the Riemann mapping theorem and ACA0 over WKL0. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim).