The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to apply (...) to Grove’s sphere system, a semantical representation of the AGM theory, logics that do not infer everything from contradictory premises, viz., paraconsistent logics. I use three paraconsistent logics and discuss three sphere systems that are based on them. I then examine the completeness of the postulates of the AGM theory with respect to the systems. At the end, I discuss some philosophical implications of the examination. (shrink)

Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I turn the tables on classical logicians (...) and ask what sense can be made of explosive reasoning. While I acknowledge a bias on this issue, it is not clear that even classical logicians can answer this question. (shrink)

In this paper, we propose an extension of the Minimal Generation Gap (MGG) to reduce the number of fitness evaluation for the real-coded GAs (RCGA). When MGG is applied to actual engineering problems, for example applied to optimization of design parameters, the fitness calculating time is usually huge because MGG generates many children from one pair of parents and the fitness is calculated by repetitive simulation or analysis. The proposed method called Saving MGG reduces the number of fitness evaluation by (...) estimating the promising degrees of children using individual distribution and fitness information of population, and selecting children based on the promising degree before evaluating the fitness. Experimental results show that RCGA with Saving MGG can provide large reducing effects on 20 or 30 dimensional Sphere functions, Rosenbrock functions, ill-scaled Rosenbrock functions, and Rastrigin function. (shrink)

あはれ・わび・いきなどの美意識や芸術の本質について、和辻哲郎、九鬼周造などの知の巨人から学ぶ。.

Kripke completeness of some infinitary predicate modal logics is presented. More precisely, we prove that if a normal modal logic above is -persistent and universal, the infinitary and predicate extension of with BF and BF is Kripke complete, where BF and BF denote the formulas pi pi and x x, respectively. The results include the completeness of extensions of standard modal logics such as , and its extensions by the schemata T, B, 4, 5, D, and their combinations. The proof (...) is obtained by extending the correspondence between the representation of modal algebras and the completeness of propositional modal logic to infinite. (shrink)

This article explores the concept of recognizing a face holistically and examines the experimental paradigms that serve as the “gold standards” for holistic perception. It discusses the contribution of featural and configural information to the holistic process and the controversy surrounding these often misunderstood concepts. It claims that the recruitment of holistic processes is what distinguishes faces from most types of object recognition. The discussion focuses on the kind of featural and configural information that is impaired in an inverted face (...) as well as the information that is spared. Finally, the article considers the concept of a “perceptual field” that allows for the preservation of both featural and configural information within a restricted spatial region of an inverted face. (shrink)

The paper is concerned with John Searle’s famous Chinese room argument. Despite being objected to by some, Searle’s Chinese room argument appears very appealing. This is because Searle’s argument is based on an intuition about the mind that ‘we’ all seem to share. Ironically, however, Chinese philosophers don’t seem to share this same intuition. The paper begins by first analysing Searle’s Chinee room argument. It then introduces what can be seen as the (implicit) Chinese view of the mind. Lastly, it (...) demonstrates a conceptual difference between Chinese and Western philosophy with respect to the notion of mind. Thus, it is shown that one must carefully attend to the presuppositions underlying Chinese philosophising in interpreting Chinese philosophers. (shrink)

We introduce a new construction of real closed fields by using an elementary extension of an ordered field with an integer part satisfying. This method can be extend to a finite extension of an ordered field with an integer part satisfying. In general, a field obtained from our construction is either real closed or algebraically closed, so an analogy of Ostrowski's dichotomy holds. Moreover we investigate recursive saturation of an o‐minimal extension of a real closed field by finitely many function (...) symbols. (shrink)

Some spatio-temporal structures are easier to transfer implicitly in sequential learning. In this study, we investigated whether the consistent reversal of triads of learned components would support the implicit transfer of their temporal structure in visuomotor sequence learning. A triad comprised three sequential button presses ([1][2][3]) and seven consecutive triads comprised a sequence. Participants learned sequences by trial and error, until they could complete it 20 times without error. Then, they learned another sequence, in which each triad was reversed ([3][2][1]), (...) partially reversed ([2][1][3]), or switched so as not to overlap with the other conditions ([2][3][1] or [3][1][2]). Even when the participants did not notice the alternation rule, the consistent reversal of the temporal structure of each triad led to better implicit transfer; this was confirmed in a subsequent experiment. These results suggest that the implicit transfer of the temporal structure of a learned sequence can be influenced by both the structure and consistency of the change. (shrink)

In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...) way of modelling logical possibility that makes room for both kinds of logical impossibility. Doing so has interesting implications for the relationship between logical possibility and other kinds of possibility (for example, metaphysical possibility) and implications for the necessity or contingency of the laws of logic. (shrink)

Narrative views of the self argue that we constitute our self in self-narratives. Embodied views hold that our self is shaped through embodied experiences. In that case, what is the relation between embodiment and narrativity in the process of self-constitution? The question demands a clear definition of embodiment, but existing studies remains unclear on this point (section 2). We offer a correction to this situation by drawing on Merleau-Ponty’s analysis of the body that highlights its habituality. On this account, the (...) body has an inherent tendency to cultivate an organization of habits through its history of engagement with the world (section 3). Next, we explore its role in narrative self-constitution by distinguishing between two aspects of the narrative self, the narrated I and the narrating I (section 4). We argue on phenomenological grounds that self-narratives are informed by bodily perspectives in both respects. Furthermore, a focus on the habituality of the body allows for a better explanation of self-constitution than those based on implicit self-narratives (section 5). For these phenomenological and theoretical reasons, we conclude that narrative self-constitution is an embodied and embedded practice (section 6). (shrink)

An assessment of mood or emotion is important in developing mental health measures, and facial expressions are strongly related to mood or emotion. This study thus aimed to examine the relationship between levels of negative mood and characteristics of mouth parts when moods are drawn as facial expressions on a common platform. A cross-sectional study of Japanese college freshmen was conducted, and 1,068 valid responses were analyzed. The questionnaire survey consisted of participants’ characteristics, the Profile of Mood States, and a (...) sheet of facial expression drawing, and the sheet was digitized and analyzed using an image-analysis software. Based on the total POMS score as an index of negative mood, the participants were divided into four groups: low, normal, high, and very high. Lengths of drawn lines and between both mouth corners were significantly longer, and circularity and roundness were significantly higher in the L group. With increasing levels of negative mood, significant decreasing trends were observed in these lengths. Convex downward and enclosed figures were significantly predominant in the L group, while convex upward figures were significantly predominant and a tendency toward predominance of no drawn mouths or line figures was found in the H and VH groups. Our results suggest that mood states can be significantly related to the size and figure characteristics of drawn mouths of FACED on a non-verbal common platform. That is, these findings mean that subjects with low negative mood may draw a greater and rounder mouth and figures that may be enclosed and downward convex, while subjects with a high negative mood may not draw the line, or if any, may draw the line shorter and upward convex. (shrink)

Fuzzy logic has become an important tool for a number of different applications ranging from the control of engineering systems to artificial intelligence. In this concise introduction, the author presents a succinct guide to the basic ideas of fuzzy logic, fuzzy sets, fuzzy relations, and fuzzy reasoning, and shows how they may be applied. The book culminates in a chapter which describes fuzzy logic control: the design of intelligent control systems using fuzzy if-then rules which make use of human knowledge (...) and experience to behave in a manner similar to a human controller. Throughout, the level of mathematical knowledge required is kept basic and the concepts are illustrated with numerous diagrams to aid in comprehension. As a result, all those curious to know more about fuzzy concepts and their real-world application will find this a good place to start. (shrink)

Graphical AbstractEnvironmental oxygen might have been the key for the evolution of novel developmental mechanisms, such as the interdigital cell death of amniotes. Increased amount of oxygen can also induce cell death in interdigital regions of an amphibian that typically lacks it. To learn more about the role of environmental oxygen in the evolution of new traits, see the article number 2000025 by Ingrid Rosenburg Cordeiro and Mikiko Tanaka. Cover image by Itoko Tanaka and Mikiko Tanaka.

In 1A:7 of the Mengzi, Mengzi tries to convince King Xuan of Qi that he is a “true” king. As a reading of Mengzi’s reasoning involved in his attempt at persuasion, David Nivison advances an inferential view, according to which Mengzi’s persuasion involves inferences. In this paper, I consider the assumptions underlying the objections raised against Nivison’s inferential view. I argue that these objections assume a contemporary Western view about the nature of logic and inferences. I propose an alternative characterisation (...) of the relevant sense of inference that, I believe, is more sensitive to the classical Chinese philosophical context and argue that certain insights can be derived from reading Mengzi in light of this alternative characterization of inferences. (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)

It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of belief revision in a paraconsistent setting.

In lieu of an abstract, here is a brief excerpt of the content:Acceptance of the Other as a Similarly Valid Path and Awareness of One's Self-Culpability:A Deepening Realization of My Religious Identity through DialogueKenneth K. TanakaAs the title of my paper indicates, two features of my identity have become more vivid as the result of my participation in the International Buddhist-Christian Theological Encounter (IBCTE) sessions. The first of the two stemmed from my rude awakening that not everyone involved with our (...) sessions accepted the assumption that the other was a similarly valid soteriological path.In one of our sessions a few years back, the discussion moved to a topic of the nature of "ultimate path," which, as it turned out, began to raise some extremely sensitive issues. An unusually tense atmosphere hung over the discussion table, a rare turn of events for our usually jovial dialogue group composed mostly of liberal-minded members. One of the Christian members gave voice to her fundamental view that Jesus was the sole path through which one can be saved. It was clearly what anyone would regard as an exclusivist position. In asking for further clarification, she reiterated her view that her Christian faith necessitated that she took that position, and that I as a Buddhist was, therefore, not included in that soteriological scheme. I responded to her that I understood that I would not be in her scheme since I was not Christian, but would I nevertheless be saved? After some hesitation, in so many words, she replied that I would not be! Had she been a member of a more conservative group, it would have been easier to accept that kind of a response, but coming from an academic with liberal leanings, her comments caught me off guard. But on the other hand, I appreciated her honesty in being true to her understanding of the tradition, for it seemed to me that it was not an easy thing for her to say.This short encounter has been etched firmly in my mind and, ironically, remains for me the most memorable moment among all of the IBCTE sessions attended. I did not pursue the matter further at that time (aside from the fact that time had run [End Page 41] out for that particular session), since I was aware that such an exclusive position (as distinguished from those of inclusivism and pluralism) was common among Christians. I just happened to have encountered it in a rather unexpected circumstance and was not prepared with a comeback.This encounter forced me to inquire about my own position concerning the salvation of people other than Buddhists. Would I regard her as not being saved? After some probing and reflection on my part, I can say with little hesitation that I would never be able to say, "no, you are not." I have no basis on which to refute what her time-tested tradition promises. I am not in a position to negate the claims of her tradition or to question the sincerity of her commitment. From my Buddhist perspective there is no universal criterion on which to make judgments about others. My personal view on this issue has been similar to John Hick's pluralism position, but without his insistence that all paths reflect and lead to the same truth.Perhaps, my view reflects a prevailing, modern or postmodern understanding of Shinran (1173–1262), the founder of my tradition (Jodo-Shinshu), who is often portrayed as an extremely liberal thinker as seen in the following words attributed to him from the Tannisho (emphasis added):Now, whether you accept the Nembutsu, entrusting yourself to it, or reject it, that is your own decision.These rather well-known passages reinforce the image of Shinran, particularly in the Jodo-Shinshu community in the United States, as an accommodating and tolerant thinker.However, the picture is a little more complex, for I am also aware that Shinran held what I refer to as an "exceptionalist" view. Based largely on his historical belief that with the arrival of Mappo, the Last Period of the Dharma, there were no other teachings appropriate for the age of spiritual decadence. While he was tolerant of others, thereby allowing even his... (shrink)

In this article, a cut-free system TLMω1 for infinitary propositional modal logic is proposed which is complete with respect to the class of all Kripke frames.The system TLMω1 is a kind of Gentzen style sequent calculus, but a sequent of TLMω1 is defined as a finite tree of sequents in a standard sense. We prove the cut-elimination theorem for TLMω1 via its Kripke completeness.

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)