Manipulating sensory and motor cues can cause an illusionary perception of ownership of a fake body part. Presumably, the illusion can work as long as the false body part’s position and appearance are anatomically plausible. Here, we introduce an illusion that challenges past assumptions on body ownership. We used virtual reality to switch and mirror participants’ views of their hands. When a participant moves their physical hand, they see the incongruent virtual hand moving. The result is an anatomically implausible configuration (...) of the fake hand. Despite the hand switch, participants reported significant body ownership sensations over the virtual hands. In the first between-group experiment, we found that the strength of body ownership over the incongruent hands was similar to that of congruent hands. Whereas, in the second within-group experiment, anatomical incongruency significantly decreased body ownership. Still, participants reported significant body ownership sensations of the switched hands. Curiously, we found that perceived levels of agency mediate the effect of anatomical congruency on body ownership. These findings offer a fresh perspective on the relationship between anatomical plausibility and assumed body ownership. We propose that goal-directed and purposeful actions can override anatomical plausibility constraints and discuss this in the context of the immersive properties of virtual reality. (shrink)

Name der Zeitschrift: Kant-Studien Jahrgang: 105 Heft: 4 Seiten: 531-553.

The comparison made by Ada Lovelace in 1843 between the Analytical Engine and the Jacquard loom is one of the well-known analogies between looms and computation machines. Given the fact that weaving – and textile production in general – is one of the oldest cultural techniques in human history, the question arises whether this was the first time that such a parallel was drawn. As this paper will show, centuries before Lovelace’s analogy, such a comparison was made by Gottfried Wilhelm (...) Leibniz. During the 17th century, Leibniz compared his calculating machines with another textile machine, the stocking frame, a machine which mechanized knitting and which was invented in 1589. During the following centuries, this machine was considered as a technological wonder and as a creation of God, and, during the last decades of the 17th century, Leibniz emphasized the need to consider it and other textile machines mathematically. What, then, were the reasons for the parallel drawn between this machine and Leibniz’s automatic computation machines? And what were the consequences of this analogy concerning the artisanal knowledge embedded in manual textile practices? (shrink)

Montague [7] translates English into a tensed intensional logic, an extension of the typed -calculus. We prove that each translation reduces to a formula without -applications, unique to within change of bound variable. The proof has two main steps. We first prove that translations of English phrases have the special property that arguments to functions are modally closed. We then show that formulas in which arguments are modally closed have a unique fully reduced -normal form. As a corollary, translations of (...) English phrases are contained in a simply defined proper subclass of the formulas of the intensional logic. (shrink)

Many authors show how useful logic can be as a tool for building theories that can account for problems in the philosophy of religion, such as paradoxical assertions. As a consequence, one's philosophy of logic is crucial as well, since it determines which logics, from the set of available and constructible logics, one can use to build a theory. In this paper, we present the relatively recent debate between logical pluralism and monism because the positions in this debate determine which (...) logic(s) can, with justification, be applied to build a theory that addresses problems in the philosophy of religion. We begin by presenting the problem of paradoxical assertions and the debate over logical pluralism that bears on the addressing paradoxical assertions. We then canvass strategies for arguing in favor of logical monism, and pluralism; ultimately, we conclude that the Western tradition has reached a stalemate on this issue. We then turn our attention to the potential for Indian religious traditions to contribute to the debate. We present the five-step-syllogism from Nyāya-Hindu philosophy, the four corners of reasoning from Buddhist philosophy, and the seven-fold theory of predication from Jaina philosophy. The upshot of our presentation is to lay the groundwork for cross-traditional logical debate by identifying the ways in which Indian discussions of debate and dialogue relate to modern approaches to logic and the philosophy of logic. (shrink)

We consider properties of sets in an intuitionistic setting corresponding to large cardinals in classical set theory. Adding such ‘large set axioms’ to intuitionistic ZF set theory does not violate well-know metamathematical properties of intuitionistic systems. Moreover, we consider statements in constructive analysis equivalent to the consistency of such ‘large set axioms’.

REVOLUTIONARY POLITICS AND LOCKE S TWO TREATISES OF GOVERNMENT by Richard Ashcraft Princeton: Princeton University Press, 1986. 613 pp., $65.00, $15.00 (paper) LOCKE'S TWO TREATISES OF GOVERNMENT by Richard Ashcraft London: Allen & Unwin, 1987. 316 pp., $34.95.

Roy Medvedev's new book reflects an important change among ruling circles in the Soviet Union, a willingness fundamentally to transform and improve Moscow-Beijing relations by making concessions to China away from the hard-line stance long backed by Soviet conservatives. Anti-Stalinist historian Medvedev details the assumptions underlying this major redirection of Soviet policy. Even the errors and omissions in Medvedev's important book are illuminating. In contrast to Andrei Sakharov, however, Medvedev's nationalism blinds him from seeing some key China-Soviet Union realities. While (...) Medvedev acknowledges that Brezhnev in 1970 sought United States support for a Soviet attack on China, nonetheless, “the chief part in creating the danger of war on the Sino-Soviet border was played by the Chinese leadership” (p. 55). (shrink)

In light of the widespread use of algorithmic (intelligent) systems across numerous domains, there is an increasing awareness about the need to explain their underlying decision-making process and resulting outcomes. Since oftentimes these systems are being considered as black boxes, adding explanations to their outcomes may contribute to the perception of their transparency and, as a result, increase users’ trust and fairness perception towards the system, regardless of its actual fairness, which can be measured using various fairness tests and measurements. (...) Different explanation styles may have a different impact on users’ perception of fairness towards the system and on their understanding of the outcome of the system. Hence, there is a need to understand how various explanation styles may impact non-expert users’ perceptions of fairness and understanding of the system’s outcome. In this study we aimed at fulfilling this need. We performed a between-subject user study in order to examine the effect of various explanation styles on users’ fairness perception and understanding of the outcome. In the experiment we examined four known styles of textual explanations (case-based, demographic-based, input influence-based and sensitivity-based) along with a new style (certification-based) that reflect the results of an auditing process of the system. The results suggest that providing some kind of explanation contributes to users’ understanding of the outcome and that some explanation styles are more beneficial than others. Moreover, while explanations provided by the system are important and can indeed enhance users’ perception of fairness, their perception mainly depends on the outcome of the system. The results may shed light on one of the main problems in explainability of algorithmic systems, which is choosing the best explanation to promote users’ fairness perception towards a particular system, with respect to the outcome of the system. The contribution of this study is reflected in the new and realistic case study that was examined, in the creation and evaluation of a new explanation style that can be used as the link between the actual (computational) fairness of the system and users’ fairness perception and in the need of analyzing and evaluating explanations while taking into account the outcome of the system. (shrink)

Doron Navot | : According to recent conceptual proposals, institutional corruption should be understood within the boundaries of the institution and its purpose. Political corruption in democracies, prominent scholars suggest, is characterized by the violation of institutional ideals or behaviors that tend to harm democratic processes and institutions. This paper rejects the idea that compromises, preferences, political agreements, or consent can be the baseline of conceptualization of political corruption. In order to improve the identification of abuse of power, the (...) concept of political corruption should not be related directly to democratic institutions and processes; rather, it should be related to ideals whose content is independent of citizens’ preferences, institutions and processes. More specifically, I articulate the relations between political corruption and the notion of subjection, and include powerful citizens in the category of political corruption. Yet, I also suggest redefining under what conditions agents are culpable for their motivations in promoting private gain. By doing this, we better realize how democratic institutions can be the source of corruption and not just its victims. Such a redefinition, I propose finally, is the basis for the distinction between individual and institutional corruption. | : Selon les propositions conceptuelles récentes, la corruption institutionnelle doit être comprise dans les limites de l’institution et de ses objectifs. D’éminents spécialistes suggèrent que la corruption politique dans les démocraties est caractérisée par la violation des idéaux ou comportements institutionnels, ce qui tend à nuire aux processus et institutions démocratiques. Cet article rejette l’idée que les compromis, les préférences, les ententes politiques ou le consentement peuvent constituer le fondement de la conceptualisation de la corruption politique. Afin d’améliorer l’identification des abus de pouvoir, le concept de corruption politique ne doit pas être relié directement aux institutions et processus démocratiques; il doit plutôt être rattaché aux idéaux dont le contenu est indépendant des préférences des citoyens ainsi que des institutions et des processus. Plus précisément, j’exprime clairement les relations qui existent entre la corruption politique et la notion d’assujettissement et inclus les citoyens puissants dans la catégorie de la corruption politique. Cependant, je suggère également de redéfinir les conditions dans lesquelles les agents peuvent être reconnus coupables pour leur motivation à favoriser le gain privé. Ce faisant, nous réalisons mieux de quelle manière les institutions démocratiques peuvent être la source de la corruption et pas seulement ses victimes. En terminant, je propose qu’une telle redéfinition constitue le fondement de la distinction entre la corruption individuelle et institutionnelle. (shrink)

Logic in Action/Doron Avital Nothing is more difficult, and therefore more precious, than to be able to decide (Napoleon Bonaparte) Introduction -/- This book was born on the battlefield and in nights of secretive special operations all around the Middle East, as well as in the corridors and lecture halls of Western Academia best schools. As a young boy, I was always mesmerized by stories of great men and women of action at fateful cross-roads of decision-making. Then, like as (...) today, I felt the full weight of the moment of truth as it confronts the individual, the man or woman of action, with the imminent necessity to decide. Alongside, as I was climbing up the ladder of education, I found myself just as well captivated by the great intellectual stories of our times, in particular 20th century analytic philosophy and, at its core, the machinery of modern logic. How do then the cool contemplative modes of the philosophical and analytic outlooks, that are better fitting of the philosopher's armchair at the fireplace, hang together with the heat of the battlefield or the angst of the ticking clock of time left to the completion of a daring special operation? Growing up I was pondering exactly that. Not accidently, and in fact as consequence, I have chosen a course in life that challenged me to visit the poles of both theory and practice. I set myself on a mission to unravel the tension between the contemplative inquiry, supposedly theoretical, aiming at the logical structure of things, and the uncompromising test of life and action. The puzzle of the gap between theory and practice has become ever since the guiding question of my life. -/- Not long ago, I met two friends, Avner Shor, a veteran combat soldier of the special forces unit I eventually commanded, and Aviram Halevi, a fellow officer with whom I served. Why will we not put into writing the ideas that guided us during our years of military action, we wondered. At that time, I used to deliver the keynote lectures to the senior officers' course of Israel central intelligence organization, the Mossad. For this I already had to put some of these ideas in writing. Avner was quick to introduce me with a notable publisher and even helped me write the first chapter. With Aviram I sat to many meetings, where he would challenge me with key questions, and we followed them with memories of operations and battles, aiming to draw the required lessons. This served me well when I finally sat down to write the first draft of the book. The result was more extensive than me and my friends had expected. I had to add a particularly long chapter dealing with the story of modern philosophy and logic. This was required, I felt, as no decision-making process lives in an intellectual vacuum. Knowingly or subconsciously, the intellectual climate of the time guides us for better or worse with the decisions we finally take. The initial draft was naturally cumbersome and inaccessible. But here I had the privilege of meeting a particularly talented editor, Rami Rothholtz. I found in Rami both an editor and a critical reader. As an infantry combat soldier at youth and now a senior journalist and editor, Rami insisted on simplifying and refining my ideas. Had it not been for his work, this book would have been literally unreadable. *** I opened my book with a brief description of a single night of a special operation deep at the Lebanon Bekaa valley, far away from Israel northern border. The mission was to kidnap a senior terror leader known to be holding in captivity an Israeli pilot. This was also the last special operation I commanded in my military career. A single special operation night, but what had to precede it? For sure, many months of intense and skillful preparations. What is Planning? This is the question with which I open up chapter (2) of the book. I confront in this chapter two approaches to planning. The first is the one I saw as a mission to myself to cultivate in my many years of military service. The second is the one I saw as representing a deep-rooted fallacy that holds a firm grip on today's conventional wisdom about planning. To further examine the logic of the competing models, I was required in chapter (3) to analyze the concept of "The Standard". I argue that the false model of planning has its roots in an attitude of an uncompromising adherence to the power of literal obedience to standards and rules. The standard, or what is outlined by a rule as prescribing a future course of action, is seen as an answer to the fundamental tension between theory (planning) and practice (execution). I argue in contrast that the standard does not produce an answer but rather what I call: "A Well-Defined Question". In essence, it is a meticulously-well-planned invitation to exercise a fresh judgment. A judgement that has as an anchor the default answer that the standard produces but is open to extension as it confronts the new frame of reference of the test of reality. In chapter (4), I present a new tool for planning and execution: "The Polygon of Risks" or "The Polygon of Execution". The Polygon is a geometric illustration of the underlying tension that exists between all dimensions of the operational project. The construction and conceptualization of the trade-offs that exist between the various dimensions - segments of the polygon - is the first topic on the planner's agenda. I position the concepts of "Daring" and "Taking Proactive and Well-Informed Risks" as necessary logical constituents of the polygon and show how in contrast the false model of planning is responsible for an operational culture that is risk-averse. It encourages, in fact, the piling up of false securities at the segments' level that eventually lead to the collapse of the polygon. The necessary trade-offs relationships that exist between the segments of the polygon express the fundamental tension between partnership and competition: partnership in a joint goal and competition over resources, both material and abstract. When this tension is not managed well, that is, when the players' local optimizations overshadow the global optimization required for the success of the project, the execution polygon collapses. In this scenario, we may find the setting of the bar of "High Standards" in a players' spheres of responsibility to conceal a hidden agenda of personal insurances taken against a possible failure. Once the overall risk is not mitigated by way of collaborative joint executional dialogue, the process that leads to a collapse of the polygon is literally unstoppable. *** In chapter (5), I discuss "(Fateful) Decisions". I examine the way in which we should translate the polygon into sequential critical decisions on the timeline. The execution polygon is not a rigid scaffolding but a dynamic conceptual illustration of the -/- project. It will need now to be converted into successive decision junctions. We will find the content of a decision and its timing on the timeline to be inseparable. The right decision is the one that is taken at the right time. The moment of decision is in fact the last moment of deliberation, the first moment available for action, i.e. the first possible "Can" is also the latest possible "Must". Deciding too soon is analog to the "Jumping of the Gun". The decision maker is forcing a pre-conceived answer to a state of affairs not ripe for an answer, e.g. the target in the shooting range is not yet erected. Late to decide and the decision maker may envision what he or she should have done but reality is no longer available for them to harness it right, e.g. consider a tennis player's frustration when reviewing a too-late-to-react move in the video replay. I review in this chapter many fateful decisions, both historical, from Napoleon's Waterloo, to a Bridge Too Far of WWII, to the failed rescue attempt of American hostages at the time of the Iranian Revolution, as well as fateful decisions I had to take in the course of my military life, both in combat and in special operations, and show the sense in which they all answer to our analysis. The theme of chapter (6) is "The Moment of Truth". This is the moment when everything is on the line and from which there is no turning back. I discuss the formative repetitive structure of the schooling and simulation phase and contrast it with the "One Shot, One Opportunity" nature of the moment of truth. This is extremely helpful when we analyze the logical structure of failures as unwarranted repetitions of past lessons. The schooling curriculum indeed consists of important abstractions drawn from lessons of the past. However, it is when we project them in a fashion that is literal or mechanical that we cross path with the possibility of a failure. The paradox of education is that what we must repeat in school and simulation must be extended and not repeated in real life. What is required of us so we do not fall into the fallacy of repetition in face of the moment of truth is the core subject of the discussion of this chapter. In chapter (7), I took a lengthy philosophical detour surveying the intellectual drama of modern logic, and in general, the story of 20th century analytic philosophy. Readers who choose to bypass the somehow demanding narrative of this drama can do so and still keep the argumentative thread of the book. However, even by way of skipping the more technical parts, I would still urge the readers to delve into the discussion in this chapter as I believe this would grant them a deeper understanding of the overall conceptual framework. I explore here the work of two key figures: the logician Kurt Gödel and the philosopher Ludwig Wittgenstein, both were crowned in 2000 by TIME Magazine, as the leading Logician and Philosopher, respectively, of the 20th Century. I review the fascinating logical result of Gödel's Incompleteness Theorem and examine its relevance as setting a theoretical limit to the power of formalization. This amazing logical result - a result that shakes the logical foundations of 20th century thought in as much as the discovery of irrational numbers shook the foundations of the Pythagorean program of the ancient Greeks - bears significantly on the question of action and the blind trust we place in the power of formalization in the form of protocols and rules. It is here that Wittgenstein's philosophy enters in full force. We follow Wittgenstein as he dismantles our conception of rules as if there were "Railroads to Infinite", i.e. as prescribing for us in-advance their proper employments in all possible -/- future eventualities. Instead we propose that the dilemma of action demands of us an extension of rules rather than a mechanical or blind repetition of their literal imperative. In turn, this extension can serve as a new lesson added to the curriculum of school and simulation. The theme of chapter (8), the concluding chapter, is Strategy, Logic, and Ethics. The chapter comes to place the ethical dilemma in the conceptual map we presented in the book. I discuss here the tension between strategy as a process of setting goals and deriving backward as it were the steps that are necessary for achieving these goals, to the inescapable dictation of the ethical imperative. This unavoidable tension is particularly important against the backdrop of contemporary culture that is guided by a vision of personal success and achievement that may threaten our ability to do what is right. Most of all, I am troubled in this chapter, with the role logic may play, first as a liberating force enabling a change that is tuned to the ethical imperative, and second, as a force designed to justify on logical grounds, as it were, the existing power structure. It is in this junction that brave individuals will be called to challenge the governing logic of the zeitgeist - logic that operates now as an oppressive force that serves the vested interest of beneficials of the existing order. When success is favored over doing what is right, as we must admit is the prevailing cultural mood of our times, that the words of Emanuel Kant carry their full weight: "Do the Right thing and leave the Consequences to God". For this we need heroes and heroines that challenge the time by bearing the full weight of responsibility that comes with the doing of what is Right. *** This book was written more than anything from the perspective of the heroes and heroines of action. Sometimes they may be missing the exact words or the full insight into the solid logical complexity that stands between them and the doing of what is right. They feel what is right to do on the battlefield of life, whether in real battle, in political or economic life or whether in the life of creativity and the quest of the intellect. They do need, in analogy, proper logical and intellectual artillery. I hope they will find the logical cannons they require as they travel through the pages of this book. The rest is in their hands at the Moment of Truth. -/- Doron Avital, Tel Aviv 2011 -/- . (shrink)

This paper reviews and synthesizes emerging multi-disciplinary evidence toward understanding the development of social and political organization in the Last Glacial. Evidence for the prevalence and scope of political egalitarianism is reviewed and the biological, social, and environmental influences on this mode of human organization are further explored. Viewing social and political organization in the Last Glacial in a much wider, multi-disciplinary context provides the footing for coherent theory building and hypothesis testing by which to further explore human political systems. (...) We aim to overcome the claim that our ancestors’ form of social organization is untestable, as well as counter a degree of exaggeration regarding possibilities for sedentism, population densities, and hierarchical structures prior to the Holocene with crucial advances from disparate disciplines. (shrink)

Speakers frequently produce elaborate hand movements during talk that have been shown to serve a communicative function. Nevertheless, two-thirds of the semantic content of these hand movements is encoded linguistically elsewhere in the discourse . The present experiment demonstrated that while 62.9% of semantic information in gesture was elsewhere, most gestures retained at least one semantic feature that was never represented linguistically. Semantic features were more explicit when they occurred in gesture than when represented linguistically. Even in cases where the (...) imagistic gesture appeared somewhat redundant, gesture at the narrative level preserves a discernable communicative function. (shrink)

I am a behavioral economist, who is interested in both behavioral sciences and economic behavior. By the term “economic behavior” I refer to the calculative reasoned domain of economic analysis, whereas by “behavioral economics” I address aspects of human feelings, emotions and everything that is not captured by the “rational” paradigm. Evidently, erroneous calculations, as well as unhinged sentiments lead to economic losses, and every change in the economics of the world has both calculative and behavioral sides to it. In (...) what follows, we examine these two sides of behavior in relation to the COVID-19 pandemic by drawing on contemporaneous data, forecasts, and images. Each side of behavior reveals distinctive insights, and intriguingly, not all outcomes count as loss. As we face this crisis, there is a clear environmental gain that we would be smart to preserve post pandemic. (shrink)

This book introduces a new approach to the issue of radical scientific revolutions, or "paradigm-shifts," given prominence in the work of Thomas Kuhn. The book articulates a dynamical and historicized version of the conception of scientific a priori principles first developed by the philosopher Immanuel Kant. This approach defends the Enlightenment ideal of scientific objectivity and universality while simultaneously doing justice to the revolutionary changes within the sciences that have since undermined Kant's original defense of this ideal. Through a modified (...) Kantian approach to epistemology and philosophy of science, this book opposes both Quinean naturalistic holism and the post-Kuhnian conceptual relativism that has dominated recent literature in science studies. Focussing on the development of "scientific philosophy" from Kant to Rudolf Carnap, along with the parallel developments taking place in the sciences during the same period, the author articulates a new dynamical conception of relativized a priori principles. This idea applied within the physical sciences aims to show that rational intersubjective consensus is intricately preserved across radical scientific revolutions or "paradigm-shifts and how this is achieved. (shrink)

In this paper I look at belief and degrees of belief through the lens of inquiry. I argue that belief and degrees of belief play different roles in inquiry. In particular I argue that belief is a “settling” attitude in a way that degrees of belief are not. Along the way I say more about what inquiring amounts to, argue for a central norm of inquiry connecting inquiry and belief and say more about just what it means to have an (...) inquiry or question settled. (shrink)