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)

One influential positive argument for moral realism is the Explanatory Indispensability Argument. A crucial premise of this argument is the explanatory relevance of moral properties. On this premise, moral properties, such as wrongness, rightness, courage, and cowardice, are explanatorily indispensable to some empirical phenomena. Although there has been a lively debate on this premise, one crucial challenge to this thesis, what I call the Scientific Standard Challenge, has not been properly discussed. After explaining this challenge and a related concern, I (...) argue that in response to this central challenge, the proponents of the argument should take what I call the localist turn to defend the explanatory indispensability of moral properties. The localist turn encourages the defenders of moral explanations to be more sensitive to the nature of each moral explanation. For instance, some moral explanations are explanations of social matters, so the standards they need to meet are provided by relevant branches of the social sciences. On the other hand, some other moral explanations are about our psychology, so the theoretical standards those explanations need to meet should come from psychology. I illustrate how this localist project can be conducted in the case of the moral explanation that appeals to injustice. I argue that the field of comparative politics provides the theoretical standards moral explanations of institutional change need to meet. I shall then illustrate how a sophisticated moral explanation can meet those theoretical standards and how this moral explanation can be strong evidence of injustice’s explanatory indispensability. (shrink)

La psicología es una rama científica relativamente nueva y a la que todavía le faltan bases metodológicas consistentes para fundamentar sus investigaciones. Dada su inmadurez, tal ciencia tiene dificultades para delimitar su estatuto ontológico, lo que genera diversos equívocos epistemológicos y metodológicos. Así, se impone una cuestión fundamental para la aclaración del objeto de la psicología: el problema mente-cuerpo. En ese sentido, el objetivo de este artículo, basado en la fenomenología de Edith Stein, es analizar algunos trabajos de la filósofa, (...) a saber: “Causalidad Psíquica” e “Introducción a la Filosofía”. De esa manera, a través de las investigaciones de Stein acerca de la psique y del cuerpo, se concluye que es posible concebir la cuestión psique/mente-cuerpo como una unidad-dual que se instancia en el Leib.Psychology is a relatively new scientific branch that still lacks consistent methodological foundations to support their investigations. Given their immaturity, that science still faces difficulties to delimit its ontological status, which raises various epistemological and methodological misconceptions. Thus, there is a fundamental question for an elucidation of the object of Psychology: the mindbody problem. The proposal of this article, in this sense, is to discuss the mind-body problem in the light of the Phenomenology of Edith Stein, seeking from there lay the fundation of Psychology. For this, some works of the philosopher was analysed, namely: “Psychic Causality” and “Introduction to Philosophy”. In this way, through the investigations of Stein about the psyche and body, concluded that it is possible to conceive the psyche/mind-body issue while a dual-unit that instantiates in the Leib. (shrink)

Abstract“The wrongness of Albert's action causally explains why Jane judged that his action was wrong”. This type of causal moral explanation has been extensively discussed in the recent metaethical literature. This paper motivates the following claims about this type of moral explanation. First, a typical defence of this type of moral explanation suggested in the literature does not work because it predicts inaccurate modal information. Second, focusing on different aspects of the ways moral judgements are generated provides better chances for (...) the defender of this type of moral explanation. Third, the strategy mentioned in the previous point leads us to the following alternative evaluative explanation: The property of being a harmful action explains a recognisable pattern of moral judgements observed in the relevant empirical studies. One crucial implication the paper alludes to is a localist approach to the debates concerning moral realism: We should consider each moral property's ontological genuineness separately, referring to specific empirical findings that are particularly relevant to the target moral property in question. Such a localist approach can provide solid resources for realists to respond to various anti‐realist challenges, such as an influential evolutionary debunking argument. (shrink)

Nishida Kitaro, originator of the Kyoto School and 'father of Japanese Philosophy' is usually viewed as an essentially apolitical thinker who underwent a 'turn' in the mid-1930s, becoming an ideologue of Japanese imperialism. Political Philosophy in Japan challenges the view that a neat distinction can be drawn between Nishida's apolitical 'pre-turn' writings and the apparently ideological tracts he produced during the war years. In the context of Japanese intellectual traditions, this book suggests that Nishida was a political thinker form the (...) very beginning of his career, and consequently, his later political works cannot be dismissed as peripheral to his philosophical project. Counter-intuitively however, Christopher Goto-Jones argues that a consistently political reading of his philosophy reveals a dissenting standpoint even during the height of the Pacific War. This book argues that the prevailing postwar tendency to dismiss interwar and wartime Japanese culture as fascist or ultra nationalist en total neglects a lively political discourse, which contained some serous and profound political insight and even dissent. By suggesting that Nishida tetsugaku was a voice of dissent during Japan's Great East Asia War, Goto-Jones presents a case for the rehabilitation of Nishida as a political thinker, and as an example of a Japanese resistance, able to make a valuable contribution to contemporary debates about international political, globalization , and inter-cultural relations. Offering a unique and potentially controversial view of the subject of Nishida and the Kyoto School, The Political Philosophy of Japan will be of huge interest to anyone studying Japanese History, Political Philosophy and comparative philosophy alike. (shrink)

The logic CD is an intermediate logic which exactly corresponds to the Kripke models with constant domains. It is known that the logic CD has a Gentzen-type formulation called LD and rules are replaced by the corresponding intuitionistic rules) and that the cut-elimination theorem does not hold for LD. In this paper we present a modification of LD and prove the cut-elimination theorem for it. Moreover we prove a “weak” version of cut-elimination theorem for LD, saying that all “cuts” except (...) some special forms can be eliminated from a proof in LD. From these cut-elimination theorems we obtain some corollaries on syntactical properties of CD: fragments collapsing into intuitionistic logic. Harrop disjunction and existence properties, and a fact on the number of logical symbols in the axiom of CD. (shrink)

We establish the “contraction-elimination theorem” which means that if a sequent Γ A is provable in the implicational fragment of the Gentzen's sequent calculus LK and if it satisfies a certain condition on the number of the occurrences of propositional variables, then it is provable without the right contraction rule. By this theorem, we get the following.1. If an implicational formula A is a theorem of classical logic and is not a theorem of intuitionistic logic, then there is a propositional (...) variable which occurs at least once positively and at least twice negatively in A → a) → a).2. If an implicational formula A is a theorem of intuitionistic logic and is not a theorem of BCK-logic, then there is a propositional variable which occurs at least twice positively and at least once negatively in A → a → b).We prove the contraction-elimination theorem by a fully syntactical method, which has some analogy with Gentzen's cut-elimination. (shrink)

This paper demonstrates an empirical analysis of the visual order of membership categories in a way consistent with both an early ethnomethodological research interest and recent arguments in membership categorization analysis. Early ethnomethodological studies have highlighted that we can infer and understand the membership categories of observed people about whom we have no information in advance, even without talking to them. Recent membership categorization analysts have argued the methodological importance of using video data. Given this, fictional films serve as video (...) data to advance the investigation into the visual order of membership categories since audiences do not know the fictional characters’ information in advance and cannot talk to them. We analyze how potential audiences understand fictional characters’ membership categories and how production crew members organize the visual and conversational order of membership categories. The analysis illustrates that our practical inferences of fictional characters’ membership categories are based on conversations among characters and visually available information. Such visually available information includes environments and lighting, as well as characters’ clothes, body orientations, facial expressions, and physical distance from each other. In other words, production crew members of fictional films design the visual and conversational order for remote audiences by arranging visually available information and fictional characters’ conversations. The findings provide insights into the “possible correctness” and “defeasibility” of membership categorization practices. Particularly regarding fictional characters’ membership categories, production crew members can employ the “possible correctness” and “defeasibility” of categorization practices to mislead audiences. (shrink)

9th and 10th Nov. 2013 at Kyoto University. Organizers: Takeshi Sato and Shunsuke Sugimoto.

The present contribution shows that a Hilbert-style axiomatization for dynamic logic of relation changers is complete for the standard Kripke semantics not by a well-known rewriting technique but by the idea of an auxiliary semantics studied by van Benthem and Wang et al. A key insight of our auxiliary semantics for dynamic logic of relation changers can be described as: “relation changers are bounded morphisms.” Moreover, we demonstrate that this semantic insight can be used to provide a modular cut-free labelled (...) sequent calculus for the logic in the sense that our calculus can be regarded as a natural expansion of a labelled sequent calculus of iteration-free propositional dynamic logic. (shrink)

Lonely hearts advertisements (LHA) published in Japan were examined in a comparative study on sexually dimorphic mate preference. I analyzed 944 LHA written by Japanese (730 by males and 214 by females) seeking short-term relationships and 780 LHA (577 by males and 203 by females) seeking long-term relationships. Some universal patterns of mate preference were confirmed and others were not. Female advertisers in both categories sought more traits than they offered; they also sought more traits than male advertisers. Males tended (...) to offer their financial and social status, and females tended to seek those traits. More females requested family commitment than males. While there was no sex difference in offering and seeking physical appearance and health, females tended to request photographs of their potential mates. Males were more likely than females to be willing to accept children from previous relationships, although there was no significant difference in refusing such children. More females seeking long-term mates requested family commitment than females seeking short-term mates. In both males and females, more advertisers seeking long-term mates offered family commitment than advertisers seeking short-term mates. Some predictions for contingent preference were also examined. One prediction confirmed was that females offering physical appearance and health sought more traits than those not doing so. However, males offering financial and social status did not make higher demands than those who did not, which does not support one prediction. (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)

The most famous chapter of Montesquieu’s _ The Spirit of the Laws _ (1748), Book XI, Chapter 6, 'On the constitution of England,' was an important i nspiration to the creators of modern constitutions, to which they often referred. However, as a result of scholarly focus on the political institutions discussed in this book, Montesquieu’s economic analysis has been woefully neglected. In order to correct this scholarly imbalance, this paper will elucidate the essential significance of Montesquieu’s comparison between the constitution (...) of modern England and that of ancient Rome in Book XI of _ The Spirit of the Laws _ ; inextricable relationship between military and political institutions on the one hand, and the transfer and distribution of wealth on the other. To argue this point, this paper will focus on Montesquieu’s other writings in the same year and shortly after the publication of _ The Spirit of the Laws _ : the revised edition in 1748 of _ The Considerations on the Causes of the Greatness of t... _. (shrink)

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)

Let ℸ be the set of Gödel numbers Gn of function symbols f such that PRA ⊢ and let γ be the function such that equation imageWe prove: The r. e. set ℸ is m-complete; the function γ is not primitive recursive in any class of functions {f1, f2, ⃛} so long as each fi has a recursive upper bound. This implies that γ is not primitive recursive in ℸ although it is recursive in ℸ.

朱子学は現代に生きる私たちにとって価値なきものなのだろうか? 儒教思想と近代的権利概念の親和性に着目、再検証を試みる。.

人道的介入がもたらす非人道性、対テロ戦争における標的殺害の是非、平和構築や民主化の直面する矛盾―現代の国際社会が直面する、戦争と平和をめぐる「道義的難問」に挑む。.

We introduce several restricted versions of the structural rules in the implicational fragment of Gentzen's sequent calculus LJ. For example, we permit the applications of a structural rule only if its principal formula is an implication. We investigate cut-eliminability and theorem-equivalence among various combinations of them. The results include new cut-elimination theorems for the implicational fragments of the following logics: relevant logic E, strict implication S4, and their neighbors (e.g., E-W and S4-W); BCI-logic, BCK-logic, relevant logic R, and the intuitionistic (...) logic. (shrink)

Draws on the traditions of the martial arts to ask whether playing violent videogames actually transform gamers into better people.

The essays in this book take a new approach to the subject, engaging substantially with the philosophical texts of members of the Kyoto School, and ...