This book provides an overview of behavioral decision theory and related research findings. In brief, behavioral decision theory is a general term for descriptive theories to explain the psychological knowledge related to decision-making behavior. It is called a theory, but actually it is a combination of various psychological theories, for which no axiomatic systems, such as the utility theory widely used in economics, have been established; it is often limited to qualitative knowledge. However, as suggested in the studies of H. (...) A. Simon, who won the Nobel Prize for Economics in 1978, and D. Kahneman, who won the prize in 2002, the psychological methodology and knowledge of behavioral decision theory have been applied widely in such fields as economics, business administration, and engineering, and are expected to become more useful in the future. This book explains various behavioral decision theories related to decision-making processes. Numerous models have been proposed to explain the psychological processes related to such a selection of decision strategies, and this book also introduces some new models that are useful to explain decision-making processes. The book concludes with speculation about the future of modern behavioral decision theories while referring to their relation to fields associated with neuroscience, such as neuroeconomics, that have been developed in recent years. In addition, each chapter includes a bibliography that can be referred to when studying more details related to behavioral decision theory. Reading this book requires no advanced expertise; nonetheless, an introductory knowledge of psychology, business administration, and economics, and approximately a high school graduate’s level of mathematics should facilitate the reader’s comprehension of the content. (shrink)

The existential and universal quantifiers in Japanese both consist of two morphemes: an indeterminate pronoun and a quantificational suffix. This paper examines the distributional characteristics of these suffixes (ka for the existential quantifier and mo for the universal quantifier). It is shown that ka can appear in a wider range of structural positions than mo can. This difference receives explanation on semantic grounds. I propose that mo is a generalized quantifier. More specifically, I assume that the phrase headed by mo (...) is of type ${\langle\langle\alpha, t\rangle, t}$ . Because of its type, mo cannot appear in certain structural positions without causing type mismatch. Ka, on the other hand, is a choice function variable of type ${\langle\alpha/t, \alpha\rangle}$ , and due to its type, its distribution is not as restricted. One of the consequences of this analysis is that there are no quantifier raising or type shifting operations in Japanese that would adequately obviate type mismatch. (shrink)

In kants kritik der reinen vernunft ist die urteilskraft ein vermogen, das besondere unter das allgemeine zu subsumieren. unter dieser bestimmenden urteilskraft wird die spontaneitat der einbildungskraft, die auf der subjektsseite von der urteilsform wirkt, durch die verstandesbegriffe, die die pradikatsseite ausmachen, beschrankt. trotzdem realisiert die einbildungskraft die verstandesbegriffe durch die produkzion der schemata. also muss die eigentliche spontaneitat der einbildungskraft darin bestehen, das intellektuelle ddrzustellen und zu realisieren. in kants kritik der urteilskraft ist die urteilskraft die reflektierende, zum besonderen (...) das allgemeine zu finden. unter dieser urteilskraft wird die einbildungskraft von den verstandesbegriffe (d.i. von der pradikatsseite) befreit. diese freie einbildungskraft erreicht das ubersinnliche substrat, das der natur und unserer vernunft zum grund liegt, und stellt es vermittelst der form und unform der natur dar. also ist das schone die darstellung der idee des ubersinnlichen in der begrenzten form der natur durch diese kraft. aber diese darstellung ist indirekt. (edited). (shrink)

Der spate Schelling sieht aber in der Natur nicht mehr die gottliche Poesie, sondern das irrationale Prinzip, auf dem die "Unseligkeit alles Seins" beruht. In die Natur zu pflanzen bedeutet daher in die Unseligkeit des Lebens zu pflanzen. Beim spaten Schelling liegt das Grauen der Schonheit zugrunde. Der spate Schelling fordert von der Kunst, sowie von der Philosophie, die Starke, sich mit dem Leben zu messen und ihre Kraft aus der Wirklichkeit zu nehmen. Und diese Starke allein fuhrt den Menschen (...) zur echten Freiheit. Hier konnte man einen Anfang der Asthetik des Schreckens finden, welche Schelling mit der spaten Romantik gemeinsam hat. (edited). (shrink)

Complex systems can be characterized by classes of equivalency of their elements defined according to system specific rules. We propose a generalized preferential attachment model to describe the class size distribution. The model postulates preferential growth of the existing classes and the steady influx of new classes. According to the model, the distribution changes from a pure exponential form for zero influx of new classes to a power law with an exponential cut-off form when the influx of new classes is (...) substantial. Predictions of the model are tested through the analysis of a unique industrial database, which covers both elementary units (products) and classes (markets, firms) in a given industry (pharmaceuticals), covering the entire size distribution. The model's predictions are in good agreement with the data. The paper sheds light on the emergence of the exponent tau approximately 2 observed as a universal feature of many biological, social and economic problems. (shrink)

Proof-theory has traditionally been developed based on linguistic (symbolic) representations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were introduced in the eighteenth century. But it is quite recent (more precisely, in the 1990s) that logicians started to study them from a formal logical viewpoint. We propose a novel approach to the formalization of Euler diagrammatic reasoning, in which diagrams are defined not in terms of regions as in (...) the standard approach, but in terms of topological relations between diagrammatic objects. We formalize the unification rule, which plays a central role in Euler diagrammatic reasoning, in a style of natural deduction. We prove the soundness and completeness theorems with respect to a formal set-theoretical semantics. We also investigate structure of diagrammatic proofs and prove a normal form theorem. (shrink)

In 2018 the World Heath Organization decided to re-examine the classification of gender identity disorder and exclude it from being defined as a mental illness. This re-examination means that sex a...

Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler diagrams. A translation of an Euler diagrammatic system into a natural deduction system is given, and the soundness and faithfulness of the translation are proved. Some consequences of the translation are discussed in view of the notion of free ride, which is mainly discussed in the literature of cognitive science as an account of inferential efficacy of diagrams. The translation enables us to (...) formalize and analyze free ride in terms of proof theory. The notion of normal form of Euler diagrammatic proofs is investigated, and a normalization theorem is proved. Some consequences of the theorem are further discussed: in particular, an analysis of the structure of normal diagrammatic proofs; a diagrammatic counterpart of the usual subformula property; and a characterization of diagrammatic proofs compared with natural deduction proofs. (shrink)

This paper presents a polarized phase semantics, with respect to which the linear fragment of second order polarized linear logic of Laurent [15] is complete. This is done by adding a topological structure to Girard's phase semantics [9]. The topological structure results naturally from the categorical construction developed by Hamano—Scott [12]. The polarity shifting operator ↓ (resp. ↑) is interpreted as an interior (resp. closure) operator in such a manner that positive (resp. negative) formulas correspond to open (resp. closed) facts. (...) By accommodating the exponentials of linear logic, our model is extended to the polarized fragment of the second order linear logic. Strong forms of completeness theorems are given to yield cut-eliminations for the both second order systems. As an application of our semantics, the first order conservativity of linear logic is studied over its polarized fragment of Laurent [16]. Using a counter model construction, the extension of this conservativity is shown to fail into the second order, whose solution is posed as an open problem in [16]. After this negative result, a second order conservativity theorem is proved for an eta expanded fragment of the second order linear logic, which fragment retains a focalized sequent property of [3]. (shrink)

To investigate the relationship between logical reasoning and majority voting, we introduce logic with groups Lg in the style of Gentzen’s sequent calculus, where every sequent is indexed by a group of individuals. We also introduce the set-theoretical semantics of Lg, where every formula is interpreted as a certain closed set of groups whose members accept that formula. We present the cut-elimination theorem, and the soundness and semantic completeness theorems of Lg. Then, introducing an inference rule representing majority voting to (...) Lg, we introduce logic with majority voting Lv. Formalizing the discursive paradox in judgment aggregation theory, we show that Lv is inconsistent. Based on the premise-based and conclusion-based approaches to avoid the paradox, we introduce logic with majority voting for axioms Lva, where majority voting is applied only to non-logical axioms as premises to construct a proof in Lg, and logic with majority voting for conclusions Lvc, where majority voting is applied only to the conclusion of a proof in Lg. We show that both Lva and Lvc are syntactically complete and consistent, and we construct collective judgments based on the provability in Lva and Lvc, respectively. Then, we discuss how these systems avoid the discursive paradox. (shrink)

We introduce a simple inference system based on two primitive relations between terms, namely, inclusion and exclusion relations. We present a normalization theorem, and then provide a characterization of the structure of normal proofs. Based on this, inferences in a syllogistic fragment of natural language are reconstructed within our system. We also show that our system can be embedded into a fragment of propositional minimal logic.

One of the traditional applications of Euler diagrams is as a representation or counterpart of the usual set-theoretical models of given sentences. However, Euler diagrams have recently been investigated as the counterparts of logical formulas, which constitute formal proofs. Euler diagrams are rigorously defined as syntactic objects, and their inference systems, which are equivalent to some symbolic logical systems, are formalized. Based on this observation, we investigate both counter-model construction and proof-construction in the framework of Euler diagrams. We introduce the (...) notion of “counter-diagrammatic proof”, which shows the invalidity of a given inference, and which is defined as a syntactic manipulation of diagrams of the same sort as inference rules to construct proofs. Thus, in our Euler diagrammatic framework, the completeness theorem can be formalized in terms of the existence of a diagrammatic proof or a counter-diagrammatic proof. (shrink)

This volume comprises thirteen original research papers and three overview papers presenting new work using a number of experimental techniques from psycho- and neurolinguistics in the three key areas of current semantics and pragmatics: implicature, negation and presupposition.

The objective of this paper is to consider some of the philosophical problems on gender in sport in terms of practical philosophy by examining previous studies on sports and gender in Japan. The previous studies of the Journal of Sport and Gender Studies, an institutional journal of the Japan Society for Sport and Gender Studies , and were reviewed to explain the characteristics and the limits of previous sports-gender studies in Japan to establish the parameters for a philosophical discussion of (...) sport-gender studies. A philosophical examination of the issues of affirmative actions, which is the least discussed topic among those listed in ‘JSGS’, is presented. By revealing fundamental problems in research on sports and gender in Japan, this study may potentially contribute to the resolution of multiple issues surrounding women in sports in Japan. Also, by exposing general and omnipresent problems, the study transcends the limited framework of sports in Japan, and can point to those common and overarching gender issues that need to be resolved around the world. (shrink)

明治時代の“知と行動の巨人”の思想に迫る!東洋大学創立者、妖怪博士、近代仏教復興の立役者...と獅子奮迅の活躍を見せた井上円了。その業績を支えた独自の世界観・人生観を原典に基づきながら解明。.

仏教復興への情熱と行動の足跡を丹念にたどり、この偉大な先達が哲学的に究明した仏教思想の全貌をあきらかにする。画期的円了論。.

We extend natural deduction for first-order logic (FOL) by introducing diagrams as components of formal proofs. From the viewpoint of FOL, we regard a diagram as a deductively closed conjunction of certain FOL formulas. On the basis of this observation, we first investigate basic heterogeneous logic (HL) wherein heterogeneous inference rules are defined in the styles of conjunction introduction and elimination rules of FOL. By examining what is a detour in our heterogeneous proofs, we discuss that an elimination-introduction pair of (...) rules constitutes a redex in our HL, which is opposite the usual redex in FOL. In terms of the notion of a redex, we prove the normalization theorem for HL, and we give a characterization of the structure of heterogeneous proofs. Every normal proof in our HL consists of applications of introduction rules followed by applications of elimination rules, which is also opposite the usual form of normal proofs in FOL. Thereafter, we extend the basic HL by extending the heterogeneous rule in the style of general elimination rules to include a wider range of heterogeneous systems. (shrink)

インド、中国そして日本。古代から近代へと、東洋思想の核心を求めて。この世界は、実体的存在などなく、あらゆるものが互いに関係し合って存在している。ではそこで自己とはいかなる存在で、どのようにあるべきなの か。唯識の事的世界観から華厳の事事無礙法界へ、さらに空海の人人無礙の曼荼羅、そして西田の「個物の哲学」へ。東洋の大地にそびえたつ哲学の連峰を縦横に踏破し、その叡智の真髄を未来に向けて照らし出す壮大な書 。.

In the present study it was shown that both decision heuristics and social value orientation play important roles in the building of preferences. This was revealed in decision tasks in which participants were deciding about candidates for a job position. An eye-tracking equipment was applied in order to register participants´ information acquisition. It was revealed that participants performing well on a series of heuristics tasks (availability, representativeness, anchoríng & adjustment,and attribution) including a confidence judgment also behaved more accurately than low (...) performers in the fulfillment of the preference tasks. It was also established that the high performers were not as influenced by whether uncertainty was presented in terms of probabilities or in terms of frequencies as was the low performers. With regard to social value orientation the results revealed that decision processing differences were more systematic between cooperators and competitors than between cooperators and individualists. Also, the cooperators did not seem to attend more to proenvironmental goals than to profit goals in the evaluation of the candidates. Finally, it was shown that accountable cooperators invested more time in their decisions than those that were not accountable, and that no such difference was observed between accountable and not accountable competitors or individualists. (shrink)

O objetivo deste artigo é analisar a letra do samba-enredo: “Agudás: os que levaram a África no coração e trouxeram para o coração da África, o Brasil”. Que contribuição este enredo oferece ao ensino de História da África e cultura afro-brasileira? Oferece uma memória histórica inédita ao carnaval carioca, dando visibilidade ao povo negro que retornou à África antes da abolição da escravidão no Brasil em 1888. Assim, propõe desconstruir o paradigma eurocêntrico e construir caminhos para a descolonização do currículo (...) escolar, na perspectiva dos Estudos Culturais. Esta arte carnavalesca da escola de samba Unidos da Tijuca, do carnaval carioca de 2003, é uma pedagogia cultural com potencial para desenvolver uma educação antirracista e decolonial no espaço escolar. Palavras-chave: Lei n. 10.639/2003. História da África. Ensino de História. (shrink)

This paper generalizes the simple regret model by Bell in Operations Research 30(5), 961-981 and Loomes and Sugden in The Economic Journal 92(368), 805-824 to cope with the situation in which decision outcomes are multi-attributed. We propose a model that combines the simple regret model for ex ante preferences and the additive difference representation for ex post preferences. We first present a necessary and sufficient axiomatization of our model in Savage’s framework. The proposed model is composed of three types of (...) functions. One is a value function for each attribute. The others are attribute-dependent and holistic regret-rejoicing functions that capture trade-offs among value-differences of chosen and forgone outcomes for each attribute and among all attributes, respectively. We then provide constructive procedures for those functions and methods for consistency checks of the procedures. We, finally, conduct an experiment to estimate those functions in the two attributes case by means of the constructive procedure and give an application of the model and our findings. (shrink)