This paper presents an attempt to bridge the gap between logical and cognitive treatments of strategic reasoning in games. There have been extensive formal debates about the merits of the principle of backward induction among game theorists and logicians. Experimental economists and psychologists have shown that human subjects, perhaps due to their bounded resources, do not always follow the backward induction strategy, leading to unexpected outcomes. Recently, based on an eye-tracking study, it has turned out that even human subjects who (...) produce the outwardly correct ‘backward induction answer’ use a different internal reasoning strategy to achieve it. The paper presents a formal language to represent different strategies on a finer-grained level than was possible before. The language and its semantics help to precisely distinguish different cognitive reasoning strategies, that can then be tested on the basis of computational cognitive models and experiments with human subjects. The syntactic framework of the formal system provides a generic way of constructing computational cognitive models of the participants of the Marble Drop game. (shrink)

How do people reason about their opponent in turn-taking games? Often, people do not make the decisions that game theory would prescribe. We present a logic that can play a key role in understanding how people make their decisions, by delineating all plausible reasoning strategies in a systematic manner. This in turn makes it possible to construct a corresponding set of computational models in a cognitive architecture. These models can be run and fitted to the participants’ data in terms of (...) decisions, response times, and answers to questions. We validate these claims on the basis of an earlier game-theoretic experiment about the turn-taking game “Marble Drop with Surprising Opponent”, in which the opponent often starts with a seemingly irrational move. We explore two ways of segregating the participants into reasonable “player types”. The first way is based on latent class analysis, which divides the players into three classes according to their first decisions in the game: Random players, Learners, and Expected players, who make decisions consistent with forward induction. The second way is based on participants’ answers to a question about their opponent, classified according to levels of theory of mind: zero-order, first-order and second-order. It turns out that increasing levels of decisions and theory of mind both correspond to increasing success as measured by monetary awards and increasing decision times. Next, we use the logical language to express different kinds of strategies that people apply when reasoning about their opponent and making decisions in turn-taking games, as well as the ‘reasoning types’ reflected in their behavior. Then, we translate the logical formulas into computational cognitive models in the PRIMs architecture. Finally, we run two of the resulting models, corresponding to the strategy of only being interested in one’s own payoff and to the myopic strategy, in which one can only look ahead to a limited number of nodes. It turns out that the participant data fit to the own-payoff strategy, not the myopic one. The article closes the circle from experiments via logic and cognitive modelling back to predictions about new experiments. (shrink)

There are two important aspects of any democratic decision: aggregation of preferences and deliberation about preferences. They are essential and complementary components of any decision making process. While the well-studied process of aggregation focuses on accumulating individual preferences without discussing their origin [4], deliberation can be seen as a conversation through which individuals justify their preferences, a process that might lead to changes in their opinions as they get influenced by one another. Till now, there has been a lot of (...) work on the ‘aggregation’ aspect (e.g., [12, 14, 6]). However, some recent work has focussed on the deliberation aspect as well [8, 9, 10, 15]. Sometimes, deliberation does not lead to unanimity in preferences, but the discussion can lead to some ‘preference uniformity’ (see how deliberation can help in bypassing social choice theory’s impossibility results in [5]), which might facilitate their eventual aggregation. In addition, the combination of both processes provides a more realistic model for decision making scenarios. In light of this status quo, our focus is on the formal study of achieving such preference uniformities, e.g., single-peaked, single-caved, single-crossing, value-restricted, best-restricted, worst-restricted, medium-restricted, or group-separable profiles. In this short abstract we provide our preliminary ideas towards achieving singlepeakedness of preference profiles via deliberation. In what follows, we define two preference upgrade operators based on [8, 9] and provide a preliminary discussion on how single-peaked preference profiles can be achieved through such operations. We will delve into the details of the logical language in the main paper. (shrink)

We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion and we add a new modal variant to that class of logics. We also discuss the relative expressive power of the proposed logic in comparison to the standard (...) modal counterparts. (shrink)

When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style epistemic logic for (...) reasoning about knowledge via matching agentsÊ expectations to their observations. It is shown how epistemic expectation models can be obtained from epistemic protocols. Furthermore, a characterization is presented of the effective equivalence of epistemic protocols. We introduce a new logic that incorporates updates of protocols and that can model reasoning about knowledge and observations. Finally, the framework is extended to incorporate fact-changing actions, and a worked-out example is given. © 2013 Elsevier B.V. (shrink)

We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion with respect to such a language extension, and we add a new modal variant to that class. We discuss the relative expressive power of the proposed logic in (...) comparison to the standard modal counterparts. We prove that the model checking problem for the resulting logic is \(\textsf{P}\) -complete. In addition, by exploring the connection with related product logics, we gain more insight towards having a better understanding of the subtleties of the proposed framework. (shrink)

We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 8th International Workshop on Logic, Rationality, and Interaction, LORI 2021, held in Xi`an, China, in October 2021. The 15 full papers presented together with 7 short papers in this book were carefully reviewed and selected from 40 submissions. The workshop covers a wide range on the following topics such as doxastic and epistemic logics, deontic logic, intuitionistic and subsstructural logics, voting theory, and causal inference.

Study of Saṅkṣepaśārīraka of Sarvajñātman, condensed version of Śārīrakamīmāṃsābhāṣya of Śaṅkarācārya, work on Advaita Vedanta philosophy.

On the philosophical concepts of the religion of the Khasis, ethnic people from Meghalaya.

Correspondence between Aurobindo Ghose, 1872-1950 and Dilip Kumar Roy, 1897-1980.

The welfare and protection of human subjects is critical to the integrity of clinical investigation and research. Institutional review boards were thus set up to be impartial reviewers of research protocols in clinical research. Their main role is to stand between the investigator and her human subjects in order to ensure that the welfare of human subjects are protected. While there is much literature on the conflicts of interest faced by investigators and researchers in clinical investigations, an area that is (...) less explored is CIs that may affect members of IRBs during the institutional ethics review of clinical investigations. This article examines the notion of CIs in clinical research and attempts to develop a framework for a clearer and more balanced approach to identifying CIs that may influence members of IRBs and impede their independence. It will also apply the proposed framework to demonstrate how IRBs possess, or at least may appear to possess, forms of financial CIs and non-financial CIs. The proper identification and management of these CIs is critical to preserving the integrity of clinical investigations and achieving the primary aim of human subjects protection. (shrink)

Philip Pettit's narrative of the eclipse of republican by liberal liberty in late eighteenth-century Britain adds colour and plausibility to his analytical contrast between republican and liberal liberty. The narrative supports his argument that republicanism and liberalism can be helpfully contrasted in terms of non-domination and non- interference conceptions of liberty. While the narrative has not been scrutinized in the literature, it is in fact flawed. The flaws raise new questions about how stringent a value liberty as non-domination is and (...) what motivated the value. The flaws also raise new questions about the significance of liberty as non-interference within the very strand of liberalism that Pettit focuses upon. Finally, the article casts doubt on some aspects of Quentin Skinner's interpretation of republican liberty. (shrink)

An intellectual biography of Max Weber which uses his most famous work, The Protestant Ethic and the Spirit of Capitalism as its starting point, with wider reference to the social, political, and religious thought of the time.

Ghosh introduces the term 'plastic turn' and gives a new direction for how we can interpret and experience the turn today. By what he calls the material-aesthetic, he opens up a fresh direction in our experience and understanding of plastic through the correspondence that plastic as a material brings with the aesthetic that it inspires and figures"-.

The literature on the democratic legitimacy of judicial review and also on institutionalizing deliberative democracy neglects the possibility of employing juries rather than judges to determine bill-of-rights matters. This neglect is unfortunate, for there are findings emerging especially from deliberative polling that support the feasibility of such juries. Such feasibility would raise a new countermajoritarian concern with judicial review. The argument supporting this new concern also casts fresh light on the traditional countermajoritarian concern.

In this technology-driven Digital Age, Management Education is primarily engaged in development of skills and techno-economic competence of students with dominant thrust on sharpening their rational faculties and quantitative ability. Deeper questions and nobler qualittative issues like Spirituality, Corporate Social Responsibility and Ethics are naturally assigned low priority in the rush for money, career, fame, power and position both at the individual and organizational levels. The present paper engages in a Qualitative Research by conducting Focus group Interviews among Participants at (...) the Undergraduate level who had taken up Management Education. After content analysis of the responses the authors highlight their observations on the existing gaps in prevailing management education leading to failure of the present system in charging the students with a deeper Meaning of Work and a higher Purpose of Life. The paper then delves into exploration in pertinent tenets of Classical Indian Wisdom to enrich the spectrum of Management education with insights on Humanistic Philosophy, Holistic Learning, Enlightened CSR and Ethics, and Inspirational Leadership towards creating a better and more humane future for modern organizations. (shrink)

The philosophy of “presence” seeks to challenge current understandings of meaning and understanding. One can trace its origins back to Vico, Dilthey, and Heidegger, though its more immediate exponents include Jean-Luc Nancy, Hans Ulrich Gumbrecht, and such contemporary philosophers of history as Frank Ankersmit and Eelco Runia. The theoretical paradigm of presence conveys how the past is literally with us in the present in significant and material ways: Things we cannot touch nonetheless touch us. This makes presence a post-linguistic or (...) post-discursive theory that challenges current understandings of “meaning” and “interpretation.” Presence provides an overview of the concept and surveys both its weaknesses and its possible uses. In this book, Ethan Kleinberg and Ranjan Ghosh bring together an interdisciplinary group of contributors to explore the possibilities and limitations of presence from a variety of perspectives—history, sociology, literature, cultural theory, media studies, photography, memory, and political theory. The book features critical engagements with the presence paradigm within intellectual history, literary criticism, and the philosophy of history. In three original case studies, presence illuminates the relationships among photography, the past, memory, and the Other. What these diverse but overlapping essays have in common is a shared commitment to investigate the attempt to reconnect meaning with something “real” and to push the paradigm of presence beyond its current uses. The volume is thus an important intervention in the most fundamental debates within the humanities today. Contributors: Bill Ashcroft, University of New South Wales; Mark Bevir, University of California, Berkeley; Susan A. Crane, University of Arizona; Ranjan Ghosh, University of North Bengal; Suman Gupta, Open University Ethan Kleinberg, Wesleyan University; John Michael, University of Rochester; Vincent P. Pecora, University of Utah; Roger I. Simon. (shrink)

This book provides a radical rethinking of the prominent Indian thinker Rabindranath Tagore, exploring how his philosophy of education relates to the ideas of Western theorists such as Kant, Plato and Aristotle. Tagore's thoughts on pedagogy, university and formal education are subjected to a fascinating critique within Ghosh's transcultural framework, referencing a wide range of thinkers across varying time periods, places, and cultures, and developing a greater sensitivity to other traditions, languages, and forms of thinking and writing. The book (...) changes the way we have so far thought about the educationist Tagore, and will be of interest to scholars and specialists of literature, Indian history, and philosophy of education. It is political, deeply philosophical and has a transcultural take on our understanding of a variety of issues relating to Tagore and to philosophy of education in general. (shrink)

Current understanding of Mill as a founding father of liberalism is a Cold War creation. Discarding this conception opens the way to a general reassessment of his thought: who was the historical Mill? He did not define himself as liberal and there is no simple template. Most obviously he is a pluralist, defined by a plural heritage received through his father. This framework permitted great creativity in political and social theory, but it was diffuse. The one clear unifying theme is (...) a unique conception of a hierarchy of intellect founded on the inexorable accumulation of positive knowledge. The one important exception to this is political economy. What stands out overall is his individuality, where Mill embodies his own ideal. So apart from political economy, where he could be identified in more conventional terms, his nineteenth-century legacy was personal and incalculably diffusive rather than doctrinaire. This left it ripe for twentieth-century re-invention. (shrink)

Six cardinal leadership virtues based on Aristotelian and Confucian typology were advanced through this study by developing a measurement instrument and examining its predictive validity by studying the causal association with perceived leader happiness. Based on a sample of 183 school principals engaged in various types of schools, the results of both exploratory and confirmatory factor analyses generated satisfactory empirical outcomes by finding adequate support for the overall leadership virtue scale and the constituent subscale elements. The paper concluded with the (...) theoretical and practical implications for this developed instrument of leadership virtue especially in the context of school education. The major contribution of the paper lies in developing a measurement scale of virtues for school leaders. (shrink)

In this overview, I begin by situating De-Moralizing Gay Rights within the field of queer studies/queer theory. I then delineate the book’s principal arguments. The book critically interrogates three sets of distortions in 21st century public discourse on LGBT+ rights in the United States. The first relates to the critique of pinkwashing, often advanced by scholars who claim to be proponents of a radical politics. I suggest that this critique sometimes suffers from analytical overreach. The second concerns a recent US (...) Supreme Court decision, Obergefell v. Hodges (2015), a judgment that established marriage equality across the 50 states. I argue that this judgment mobilizes the Court’s endorsement of two elements of homonormativity: amatonormativity and repronormativity. Instead of endorsing homonormativity, the Court should have employed an approach based on decisional minimalism. The third distortion occurs in Kenji Yoshino’s theorization of the concept of gay covering. Yoshino’s calls to dismantle cultural demands for gay covering turn out, I argue, to constitute an oppressive command to ‘gay-flaunt.’. (shrink)

The article examines the construction of ‘Puritanism’ in Max Weber's famous essays on the Protestant Ethic, and finds that the principal, empirical source for this lies in a set of neglected writings deriving from the religious margins of Britain: Scotland, Ireland and English Unitarianism. However, the impulse to construct “Puritanism” was not simply empirical, but conceptual. Historical ‘Puritanism’ would never have aroused so much of Weber's attention except as a close approximation to ‘ascetic Protestantism’—the avowed subject of the Protestant Ethic (...) and an undeniably new and modern idea. The nature of Weberian asceticism and its relationship to Puritanism is thus the article's second major concern. Besides exploring the intellectual world of Max Weber, the article also offers a more general, theoretical finding: that “empirical sources” are not tablets of stone, eternally available to the truth-seeking historian; rather they have a history of their own. They rise into prominence in much the same way as “secondary” literature, because they can hardly be understood independently of organizing concepts, and so seldom are. (shrink)

According to the Navya Naiyāyikas, inference is the knowledge, which is produced out of consideration. But what is to be understood by the term ‘consideration’ or ‘parāmarśa’? According to them, parāmarśa or consideration is the factor through the operation of which the inferential conclusion can be attained. Parāmarśa has been defined as the knowledge of the existence of the hetu or reason in the pakṣa or subject, which reason is characterized by its being concomitant with the sādhya, the knowledge in (...) the form of parāmarśa is actually caused by the knowledge of invariable concomitance of probans (hetu) with the probandum (sādhya) and the knowledge of the existence of the hetu in the subject (pakṣa). It has been said by Viśvanātha that the cognition of the existence of probans or hetu in the subject of inference along with the cognition of the prabans or hetu as pervaded by sādhya is called parāmarśa (pakṣasya vyāpyavṛttitvadhīḥ parāmarśa ucyate). The invariable co-existence in the form ‘where there is smoke, there is fire’ is known as vyāpti or invariable concomitance. Here the invariable coexistence (avyabhicārī sāhacarya) between the probans and probandum (i.e., smoke and fire) is the definition of vyāpti. The term ‘co-existence’ means remaining in the same locus of the probans with the probandum, which is not the counter positive of the absolute negation existing in the locus of the hetu. To Gangeśa, the knowledge of the co-existence of the probans and probandum along with the absence of the knowledge of deviation of the probans is the cause of ascertaining vyāpti. Repeated observations, of course, sometimes act as a promoter (prayojaka) in ascertaining vyāpti by removing the doubt of deviation. The doubt of deviation can be removed sometimes by Tarka or sometimes by the absence of the collocation of causes of doubt, which is called svataḥsiddhaḥ. Gangeśa admits sāmānyalakṣaṇā as a pratyāsatti in ascertaining vyāpti between smoke-in-general and fire-in-general. To him, the super-normal connection through universal (sāmānyalakṣaṇā pratyāsatti) has got a prominent role in ascertaining vyāpti. If somebody challenges about the validity of the syllogistic argument in the form “The mountain is fiery as it possesses smoke” (parvato vahnimān dhūmāt), the philosophers of Nyāya and Navya-nyāya persuasion will justify the same with the help of five constituents (avayava-s). The process is called parāthānumāna (syllogistic argument for making others understand). The constituents of a syllogism are proposition (pratijňā), reason (hetu), example (udāharaṇa), application (upanaya), and conclusion (nigamana). (shrink)

Building legal domain ontologies is a prominent challenge in the ontology engineering community. The ontology builders confront issues such as the complexity of the legal domain, the difficulty of applying existing ontology engineering approaches, and the intention of developing legal models faithful to realities. In this paper, we discuss constructing a well-founded legal domain ontology, named CargO-S, for the traceability of goods in logistic sea corridors. For building CargO-S, a pattern-oriented approach is applied, supported by ontology-driven conceptual modeling, ontology layering, (...) and ontology reuse processes. CargO-S is grounded in the unified foundational ontology UFO by using the ontology-driven conceptual modeling language OntoUML. Besides, ontology layering is proposed to simplify the development process by dividing CargO-S into three layers located at different granularity levels: upper, core, and domain. For building the upper and core layers, conceptual ontology patterns are reused from the foundational ontology UFO and the legal core ontology UFO-L. These patterns are applied, either by extension or analogy with legal rules, for building the domain layer. CargO-S is then validated by implementing the ontology as OWL and SWRL rules. Finally, the performance and the semantic accuracy of CargO-S are evaluated using a dual evaluation approach. (shrink)

This paper presents four theorems that connect continuity postulates in mathematical economics to solvability axioms in mathematical psychology, and ranks them under alternative supplementary assumptions. Theorem 1 connects notions of continuity (full, separate, Wold, weak Wold, Archimedean, mixture) with those of solvability (restricted, unrestricted) under the completeness and transitivity of a binary relation. Theorem 2 uses the primitive notion of a separately continuous function to answer the question when an analogous property on a relation is fully continuous. Theorem 3 provides (...) a portmanteau theorem on the equivalence between restricted solvability and various notions of continuity under weak monotonicity. Finally, Theorem 4 presents a variant of Theorem 3 that follows Theorem 1 in dispensing with the dimensionality requirement and in providing partial equivalences between solvability and continuity notions. These theorems are motivated for their potential use in representation theorems. (shrink)

The present paper deals with the idea of understanding Vedic ethics as a code of righteous living, in the light of Mīmāṁsā philosophy. The paper also intends to reflect upon the possibility of such methods as a means of attaining liberation. In other words, the Vedas provide us with prescriptive codes of right and wrong actions. It commands us about duties and non-duties, through the performance of rituals, in order to lead a good life. We know that human endeavours are (...) primarily based on attaining the desired, and to prevent the unwanted ends. Hence, the entire effort of human actions lies in the fact that we want to attain the cessation of sufferings. This paves the way for studies in Soteriology, and the question arises that, could the Vedas be considered as a literature on Soteriology. The paper consists of a number of sections. The initial ones involve the linguistic analysis of the Vedic statements based on Sanskrit grammar and semantics. These are aimed at depicting the manner in which Vedic sentences act as prescriptive ethical codes. The latter ones deal with the questions raised by the opposing schools, namely Sāṁkhya-Yoga, against the idea of considering Vedas as a supreme sanction of means, leading beings to their salvation from empirical sufferings, and their plausible responses. Keywords: duties, ends, sacrifices, knowledge, liberation. (shrink)