In this paper, we investigate the logical strength of completeness theorems for intuitionistic logic along the program of reverse mathematics. Among others we show that is equivalent over to the strong completeness theorem for intuitionistic logic: any countable theory of intuitionistic predicate logic can be characterized by a single Kripke model.

In this paper, we generalize a result of Brown and Simpson [1] to prove that RCA0+Π0∞-BCT is conservative over RCA0 with respect to the set of formulae in the form ∃!Xφ, where φ is arithmetical. We also consider the conservation of Π00∞-BCT over Σb1-NIA+∇b1-CA.

In the current model of visual transduction, the lifetime of active cGMP phosphodiesterase depends upon the period of its interaction with GTP-bound transducin. If recoverin regulates the lifetime of light-activated cGMP phosphodiesterase through inhibition of rhodopsin phosphorylation, rhodopsin should directly interact with cGMP phosphodiesterase and/or GTP-bound transducin complexed with cGMP phosphodiesterase. Is this true?

Let me start by saying that I had the privilege of witnessing the birth of Jon Barwise's new research on heterogeneous logic and its subsequent developments. I entered the Stanford philosophy graduate program in the Fall of 1987, became Barwise and Etchemendy's first research assistant on the project of diagrammatic/heterogeneous reasoning during summer of 1989, and under their guidance completed my thesis, “Valid reasoning and visual representation,” in August, 1991. With this experience I would like to focus on the more (...) personal and informal aspects of Jon's research on heterogeneous logic which may not be conveyed by his articles. (Accordingly, I have written this paper without footnotes or other references except to Jon's work.) The present article can only hint at the depth and the influence of Jon's work in this area.In the first section, I single out an important feature of the project on heterogeneous logic Jon founded together with John Etchemendy about 15 years ago. I title it “resolving conflicts” since the research, I strongly believe, grew out of Jon's personal attitude toward how to resolve a tension between opposite extremes.The second section focuses on how teaching logic itself was shaped as part of Barwise and Etchemendy's research agenda. It is worthwhile noting that their textbookLanguage, Proof, and Logicconstitutes part of their research and, hence, the success of the book vindicates the goal of the overall project. (shrink)

This paper reconstructs the Peircean interpretation of Kant's doctrine on the syntheticity of mathematics. Peirce correctly locates Kant's distinction in two different sources: Kant's lack of access to polyadic logic and, more interestingly, Kant's insight into the role of ingenious experiments required in theorem-proving. In this second respect, Kant's analytic/synthetic distinction is identical with the distinction Peirce discovered among types of mathematical reasoning. I contrast this Peircean theory with two other prominent views on Kant's syntheticity, i.e. the Russellian and the (...) Beckian views, and show how Peirce's interpretation of Kant solves the dilemma that each of these two views faces. I also show that Hintikka's criterion for Kant's synthetic judgments, i.e. a new individual introduced by the -instantiation rule, does not capture the most important characteristic of Peirce's theorematic reasoning, i.e. the process of choosing a correct individual. (shrink)

A number of artificial intelligence systems have been proposed to assist users in identifying the issues of algorithmic fairness and transparency. These AI systems use diverse bias detection methods from various perspectives, including exploratory cues, interpretable tools, and revealing algorithms. This study explains the design of AI systems by probing how users make sense of fairness and transparency as they are hypothetical in nature, with no specific ways for evaluation. Focusing on individual perceptions of fairness and transparency, this study examines (...) the roles of normative values in over-the-top platforms by empirically testing their effects on sensemaking processes. A mixed-method design incorporating both qualitative and quantitative approaches was used to discover user heuristics and to test the effects of such normative values on user acceptance. Collectively, a composite concept of transparent fairness emerged around user sensemaking processes and its formative roles regarding their underlying relations to perceived quality and credibility. From a sensemaking perspective, this study discusses the implications of transparent fairness in algorithmic media platforms by clarifying how and what should be done to make algorithmic media more trustable and reliable platforms. Based on the findings, a theoretical model is developed to define transparent fairness as an essential algorithmic attribute in the context of OTT platforms. (shrink)

In this paper, we discuss uniform versions of some axioms of second order arithmetic in the context of higher order arithmetic. We prove that uniform versions of weak weak König's lemma WWKL and Σ01 separation are equivalent to over a suitable base theory of higher order arithmetic, where is the assertion that there exists Φ2 such that Φf1 = 0 if and only if ∃x0 for all f. We also prove that uniform versions of some well-known theorems are equivalent to (...) or the axiom of the existence of the Suslin operator. (shrink)

Although CSR scholarship has highlighted how tensions in CSR implementation are negotiated, little is known about its normative and moral dimension at a micro-level. Drawing upon the economies of worth framework, we explore how spirituality influences the negotiation of CSR tensions at an individual level, and what types of justification work they engage in when experiencing tensions. Our analysis of semi-structured interview data from individuals who described themselves as Buddhist and were in charge of CSR implementations for their organizations shows (...) that spirituality influences how they compromise among competing moral values by identifying two forms of justification work: compartmentalizing work and contextualizing work, which help spiritual practitioners minimize moral dissonance. (shrink)

Shin and DuBrow propose that a key principle driving event segmentation relates to causal analyses: specifically, that experiences that are attributed as having the same underlying cause are grouped together into an event. This offers an alternative to accounts of segmentation based on prediction error.

現代における清沢思想の意義を見直し、現代人に“同時代的思想家”としてのあり方を問い直す渾身の論考など10篇を収載。.

Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use of diagrams has a long but unequal history in logic: The golden age of diagrammatic logic of the 19th century thanks to Euler and Venn diagrams was followed by the early 20th century's symbolization of modern logic by Frege and Russell. Recently, (...) we have been witnessing a revival of interest in diagrams from various disciplines - mathematics, logic, philosophy, cognitive science, and computer science. This book aims to provide a space for this newly debated topic - the logical status of diagrams - in order to advance the goal of universal logic by exploring common and/or unique features of visual reasoning. (shrink)

Parallelism has been drawn between modes of representation and problem-sloving processes: Diagrams are more useful for brainstorming while symbolic representation is more welcomed in a formal proof. The paper gets to the root of this clear-cut dualistic picture and argues that the strength of diagrammatic reasoning in the brainstorming process does not have to be abandoned at the stage of proof, but instead should be appreciated and could be preserved in mathematical proofs.

法に対して合理的で批判的な姿勢を吹き込もうとする試み。ハート=ドゥオーキン論争以降の「法実証主義の現代的展開」を描き出す。本書ではとくに、ハートの理論的継承者であるラズおよびマーモーの議論に注目する。 .

In spite of an increasing number of studies on ethical climate, little is known about the antecedents of ethical climate and the moderators of the relationship between ethical climate and work outcomes. The present study conducted firm-level analyses regarding the relationship between chief executive officer (CEO) ethical leadership and ethical climate, and the moderating effect of climate strength (i.e., agreement in climate perceptions) on the relationship between ethical climate and collective organizational citizenship behavior (OCB). Self-report data were collected from 223 (...) CEOs and 6,021 employees in South Korea. The results supported all study hypotheses. As predicted, CEOs' self-rated ethical leadership was positively associated with employees' aggregated perceptions of the ethical climate of the firm. The relationship between ethical climate and firm-level collective OCB was moderated by climate strength. More specifically, the relationships between ethical climate and interpersonally directed collective OCB and between ethical climate and organizationally directed collective OCB were more pronounced when climate strength was high than when it was low. Theoretical and practical implications of these findings are addressed herein. (shrink)

During the last years the demand for regionally and culturally harmonised machine design is increasingly on the agenda. The problem of localising products like machine tools instantly poses the question for new procedures that allow including the regional and cultural adaptations into the design processes of machine tool companies. How to transform the general insight into the necessity of culture- and region-adapted technologies and how to embed it into a design procedure comprising applicable design attributes is the crucial problem addressed. (...) The paper shows in an exemplary way how ambiguous design attributes can eventually be embodied in a prototype design. (shrink)

Despite the prevailing discourses on the importance of top management ethical leadership, related theoretical and empirical developments are lacking. Drawing on institutional theory, we propose that top management ethical leadership contributes to organizational outcomes by promoting firm-level ethical and procedural justice climates. This theoretical framework was empirically tested using multi-source data obtained from 4,468 employees of 147 Korean companies from various industries. The firm-level analysis shows that top management ethical leadership significantly predicts ethical climate, which then results in procedural justice (...) climate that fully mediates the effects of top management ethical leadership on two organizational outcomes, namely, firm-level organizational citizenship behavior and firm financial performance. The present study provides a plausible theoretical account and empirical validation of a mechanism through which top management ethical leadership enhances organizational performance. (shrink)