We examined how people think about how things could have turned out differently after they made a decision to cooperate or not in three social interactions: the Prisoner’s dilemma (Experiment 1), the Stag Hunt dilemma (Experiment 2), and the Chicken game (Experiment 3). We found that participants who took part in the game imagined the outcome would have been different if a different decision had been made by the other player, not themselves; they did so whether the outcome was good (...) or bad for them, their own choice had been to cooperate or not, and the other player’s choice had been to cooperate or not. Participants who only read about a fictional protagonist’s game imagined changes outside the protagonist’s control (such as the other player’s decision) after a good outcome but within the protagonist’s control (such as the protagonist’s decision) after a bad outcome. The implications for theories of counterfactual thinking and moral decision-making are discussed. (shrink)

We describe a first experiment on whether product complexity affects competition and consumers in retail markets. We are unable to detect a significant effect of product complexity on prices, except insofar as the demand elasticity for complex products is higher. However, there is qualified evidence that complex products have the potential to induce consumers to buy more than they would otherwise. In this sense, consumer exploitability in quantities cannot be ruled out. We also find evidence for shaping effects: consumers’ preferences (...) are shaped by past experience with prices, and firms may in principle exploit this to sell more. (shrink)

The chemist and philosopher Michael Polanyi was one of the first twentieth-century scientists to propose a program to resolve the internal conflict of the modern Enlightenment: scientific detachment and moral nihilism with humanist values. Stefania Jha’s intellectual biography places Polanyi in the context of his time and culture, analyzes his key philosophical ideas, and explicates the application—and at times misappropriation—of his work. Polanyi’s method was not laid out in his published works, and his vocabulary tends to make his writings (...) difficult to understand. By exposing the structure of his theory of tacit knowing, and by tracing the growth of his thinking, Jha shows how the various elements of his thought are integrated. Through examination of his philosophical roots in Kant and the complexity of his evolving thought, she counteracts the popular notion that Polanyi’s philosophy stands apart from the western philosophic tradition. Jha’s deep analysis makes Polanyi’s shift of focus from science to philosophy more intelligible, his philosophy more approachable, and the causes he championed—such as the freedom of science and cultural freedom—more understandable. Applying his notion of tacit knowing in practical directions, Jha seeks to bring the study of Polanyi’s philosophy out of the specialists’ enclave and into such fields as ethics and clinical medicine. (shrink)

This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to ...

Cette étude se propose de vérifier l’efficacité des collocations en tant qu’indice pour distinguer les genres textuels. De plus, elle a le double objectif d’aborder l’exploration de la variabilité de l’italien en utilisant des méthodologies computationnelles, et de vérifier l’efficacité d’une nouvelle mesure d’association dans l’étude des collocations.Quatre typologies de collocations ont été analysées (verbe-nom, nom-adjectif, nom-nom et nom-préposition-nom) dans six genres textuels différents, dont trois sont écrits (textes littéraires, textes académiques et compositions scolaires) et trois sont oraux (conversations, discours (...) et dialogues filmiques).La fréquence des collocations dans les différents genres montre que chaque typologie de texte a des préférences spécifiques pour des typologies de collocations spécifiques; la seule fréquence et la seule distinction entre textes écrits et oraux, toutefois, ne réussit pas à interpréter cette différente distribution selon un modèle cohérent. A cet effet, la mesure statistique de la gravité lexicale semble posséder une efficacité majeure, comme nous essayerons de démontrer. (shrink)

In this paper we discuss a view of the Machine Learning technique called Explanation-Based Learning (EBL) or Explanation-Based Generalization (EBG) as a process for the interpretation of vague concepts in logic-based models of law.The open-textured nature of legal terms is a well-known open problem in the building of knowledge-based legal systems. EBG is a technique which creates generalizations of given examples on the basis of background domain knowledge. We relate these two topics by considering EBG''s domain knowledge as corresponding to (...) statute law rules, and EBG''s training example as corresponding to a precedent case. (shrink)

RASP is a recent extension to Answer Set Programming (ASP) that permits declarative specification and reasoning on the consumption and production of resources. ASP can be seen as a particular case of RASP. In this paper, we study the relationship between linear logic and RASP problem specification. We prove that RASP programs can be translated into (a fragment of) linear logic, and vice versa. In doing so, we introduce a linear logic representation of default negation as understood in ASP. We (...) are also able to establish a link between linear logic and here-and-there (HT) logic. (shrink)

BackgroundSeveral investigations have addressed the process of balance adaptation to external perturbations. The adaptation during unperturbed stance has received little attention. Further, whether the current sensory conditions affect the adaptation rate has not been established. We have addressed the role of vision and haptic feedback on adaptation while standing on foam.MethodsIn 22 young subjects, the analysis of geometric and spectral variables of the oscillation of the centre of feet pressure identified the effects of vision, light-touch or both in the anteroposterior (...) and mediolateral direction over 8 consecutive 90 s standing trials.ResultsAdaptation was obvious without vision and tenuous with vision. With trial repetition, path length and median frequency diminished with EC while sway area and mean level of the spectrum increased. The low- and high-frequency range of the spectrum increased and decreased in AP and ML directions, respectively. Touch compared to no-touch enhanced the rate of increase of the low-frequency power. Spectral differences in distinct sensory conditions persisted after adaptation.ConclusionBalance adaptation occurs during standing on foam. Adaptation leads to a progressive increase in the amplitude of the lowest frequencies of the spectrum and a concurrent decrease in the high-frequency range. Within this common behaviour, touch adds to its stabilising action a modest effect on the adaptation rate. Stabilisation is improved by favouring slow oscillations at the expense of sway minimisation. These findings are preliminary to investigations of balance problems in persons with sensory deficits, ageing, and peripheral or central nervous lesion. (shrink)

In the present paper, we discuss Husserl's deep account of the notions of ?calculation? and of arithmetical ?operation? which is found in the final chapter of the Philosophy of Arithmetic, arguing that Husserl is as far as we know the first scholar to reflect seriously on and to investigate the problem of circumscribing the totality of computable numerical operations. We pursue two complementary goals, namely: (i) to provide a formal reconstruction of Husserl's intuitions, and (ii) to demonstrate on the basis (...) of our reconstruction that the class of operations that Husserl has in mind turns out to be extensionally equivalent to the one that, in contemporary logic, is known as the class of partial recursive functions. (shrink)

In the multi-agent setting, it is relevant to model group dynamics of agents, and logic has proved a good tool to do so. We propose an epistemic logic, L-DINF-E, that allows one to formalize what are the beliefs formed by a group of agents, where several groups exist and agents can pass from a group to another one. We introduce a new modality which allows an agent to reason about the beliefs of other agents. This allows us to model aspects (...) of the “Theory of Mind”, understood as the set of social-cognitive skills involving the ability to attribute and reason about mental states, desires, beliefs, and knowledge of agents. In this paper, we present the logic L-DINF-E and illustrate how it can be used to solve “false-belief tasks”, i.e., tests in which an agent should understand that some other agent may develop, under some circumstances, false beliefs. (shrink)

This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives. The first two sections focus on the two most prominent candidate theories for a foundation of mathematics. Readers may trace current research in set theory, (...) which has widely been assumed to serve as a framework for foundational issues, as well as new material elaborating on the univalent foundations, considering an approach based on homotopy type theory (HoTT). The further sections then build on this and are centred on philosophical questions connected to the foundations of mathematics. Here, the authors contribute to discussions on foundational criteria with more general thoughts on the foundations of mathematics which are not connected to particular theories. This book shares the work of some of the most important scholars in the fields of set theory (S. Friedman), non-classical logic (G. Priest) and the philosophy of mathematics (P. Maddy). The reader will become aware of the advantages of each theory and objections to it as a foundation, following the latest and best work across the disciplines and it is therefore a valuable read for anyone working on the foundations of mathematics or in the philosophy of mathematics. (shrink)

In management literature, intellectual capital is considered the key driver of the competitive advantage of the third millennium enterprise firm; consequently, measuring, managing and reporting IC has become a critical issue. Frameworks addressed to measure and report IC have proliferated, nevertheless the adoption of these frameworks is not so widespread in practice. The strong call for critically investigating IC practices has been raised by several leading authors in the area. Doing a critical and performative IC research means empirically researching IC (...) organisational practices in specific contexts, in order to increase the understanding of the IC dynamics. By critically analysing the IC practices of ANPAS Piemonte, an Italian non-profit organisation chosen for its long-standing experience in issuing audited IC reports, the article contributes to the knowledge of how and why IC is measured and reported in a specific, outstanding NPO disclosing IC. Moreover, the case study analysis contributes to shed lights on the levers and barriers that should be faced by other managers intending to implement and effectively use an IC measurement, management and reporting system within organisation. (shrink)

This book presents a unique rethinking of G. W. F. Hegel's philosophy from unusual and controversial perspectives in order to liberate new energies from his philosophy. The role Hegel ascribes to women in the shaping of society and family, the reconstruction of his anthropological and psychological perspective, his approach to human nature, the relationship between mental illness and social disease, the role of the unconscious, and the relevance of intercultural and interreligious pathways: All these themes reveal new and inspiring aspects (...) of Hegel’s thought for our time. (shrink)

Between 1490 to 1625, twenty-two editions of Galen's opera omnia were published in Latin, while only two in Greek. In the Western world Galen's literary production was mostly known through Latin translations, even in the sixteenth century, when Greek medicine was being rediscovered in its original language. The paper discusses the twenty-two Latin editions of Galen's writings and how they evolved. In these editions the number of works increased, especially from 1490 to 1533, while later, from 1576–1577 to 1586, forged (...) commentaries on Hippocrates were added, when Galenic medicine was declining. Moreover, in 1490 Galen's works were printed in medieval translations from Arabic and Greek, while by 1541–1542 most of them had already received new humanist translations. The humanist translations, which started about 1480, depended on Greek manuscripts until 1525, when the Aldine provided the standard Greek text of Galen. Afterwards, the Greek manuscripts were used to correct the Latin, especially in the editions from 1541–1542 to 1565. Therefore the complete Latin editions included most of the philological work on Galen during the sixteenth century, as well as discussions on the authorship of some works, on the order in which they had to be read or printed, and on their selection for medical education. (shrink)

Lakatos is considered to be a Popperian who adapted his Hegelian-Marxist training to critical philosophy. I claim this is too narrow and misses Lakatos' goal of understanding scientific inquiry as heuristic inquiry—something he did not find in Popper, but found in Polanyi. Archival material shows that his ‘new method' struggled to overcome what he saw as the Popperian handicap, by using Polanyi.

Four studies show that observers and readers imagine different alternatives to reality. When participants read a story about a protagonist who chose the more difficult of two tasks and failed, their counterfactual thoughts focused on the easier, unchosen task. But when they observed the performance of an individual who chose and failed the more difficult task, participants' counterfactual thoughts focused on alternative ways to solve the chosen task, as did the thoughts of individuals who acted out the event. We conclude (...) that these role effects may occur because participants' attention is engaged when they experience or observe an event more than when they read about it. (shrink)

Quantification is particularly seductive in times of global uncertainty. Not surprisingly, numbers, indicators, categorizations, and comparisons are central to governmental and popular response to the COVID-19 pandemic. This essay draws insights from critical data studies, sociology of quantification and decolonial thinking, with occasional excursion into the biomedical domain, to investigate the role and social consequences of counting broadly defined as a way of knowing about the virus. It takes a critical look at two domains of human activity that play a (...) central role in the fight against the virus outbreak, namely medical sciences and technological innovation. It analyzes their efforts to craft solutions for their user base and explores the unwanted social costs of these operations. The essay argues that the over-reliance of biomedical research on “whiteness” for lab testing and the techno-solutionism of the consumer infrastructure devised to curb the social costs of the pandemic are rooted in a distorted idea of a “standard human” based on a partial and exclusive vision of society and its components, which tends to overlook alterity and inequality. It contends that to design our way out of the pandemic, we ought to make space for distinct ways of being and knowing, acknowledging plurality and thinking in terms of social relations, alterity, and interdependence. (shrink)

This book is a systematic analysis of John R. Searle’s philosophy of mind. Searle’s view of mind, as a set of subjective _and_ biologically embodied processes, can account for our being part of nature _qua_ mindful beings. This model finds support in neuroscience and offers reliable solutions to the problems of consciousness, mental causation, and the self.

Stefania Tutino shows that post-Reformation Catholic culture was a rich laboratory for our current moral and hermeneutical anxieties.

This paper analyzes and evaluates Bolzano's remarks on the apagogic method of proof with reference to his juvenile booklet "Contributions to a better founded presentation of mathematics" of 1810 and to his ?Theory of science? (1837). I shall try to defend the following contentions: (1) Bolzanos vain attempt to transform all indirect proofs into direct proofs becomes comprehensible as soon as one recognizes the following facts: (1.1) his attitude towards indirect proofs with an affirmative conclusion differs from his stance to (...) indirect proofs with a negative conclusion; (1.2) by Bolzano's lights arguments via consequentia mirabilis only seem to be indirect. (2) Bolzano does not deny that indirect proofs can be perfect certifications (Gewissmachungen) of their conclusion; what he denies is rather that they can provide grounds for their conclusions. (2.1) They cannot do the latter, since they start from false premises and (2.2) since they make an unnecessary detour. (3) The far-reaching agreement between his early and late assessment of apagogical proofs (in the Beyträge of 1810 and the Wissenschaftslehre of 1837) is partly due to the fact that he develops his own position always against the background of Wolff's and Lambert's views. (shrink)

From the thirteenth century to early modern times, Venetian church interiors gleamed with brilliant gold and silver altarpieces and frontals, enlivening dim naves and providing awe-inspiring backdrops for the celebration of the liturgy. Grand in scale and materially sumptuous, these artworks were ingenious viewing machines. Many could be opened and closed horizontally to reveal and conceal multiple layers of imagery. When closed, they were further screened behind purpose-made panel paintings, called contropale or pale feriali. These multimedia ensembles - the best (...) known of which is formed by San Marco’s Pala d’Oro and Pala Feriale - played a vital role as intermediaries between architecture and rite, and they represented the radiant core of rich religious rituals that dramatized Christian notions of divine revelation. Yet, despite their attraction, Venetian gold and silver pale remain insufficiently studied. This article brings an initial analysis of these artifacts into dialogue with broader art historical debates about the materiality and the performativity of medieval artworks. By doing so, it demonstrates the significance of gold and silver pale in defining Venice’s religious and aesthetic cityscape, and it lays the methodological groundwork for future research into these complex artifacts and their environment. (shrink)

Cet article se focalise sur un aspect précis du concept de temps dans l’éducation, sur les priorités que les temps futurs de l’éducation doivent choisir comme les directions les plus pertinentes pour nos sociétés. Les temps structurent et accompagnent la vie de chacun, marquent le passage entre les générations et deviennent un indicateur du développement des sociétés. Le rôle de la réflexion sur l’éducation est de s’atteler aux problématiques qui se dessinent à chaque période, et lui sont liées en termes (...) d’époque spécifique. Ceci implique d’ouvrir les frontières de la recherche vers des objets toujours vus comme nouveaux, au moins en partie, et d’envisager des opportunités et des défis importants et urgents, en ce que par leur condition de nouveauté, ces éléments inattendus sont susceptibles de former un projet tourné vers l’avenir. Au cours de cette réflection, nous proposons d’imaginer des futurs dans lesquels la résilience aux changements profonds et aux mutations complexes est présente. Celle-ci implique d’engager une réflexion sur l’avenir des connaissances et des valeurs qui sont plus importantes et urgents pour les savoirs et pour les sociétés. (shrink)

Der Band versammelt neue Beiträge namhafter Husserl-Forscher und eröffnet analytische und phänomenologische Interpretationsperspektiven auf Husserls Werk. Zugleich versuchen die Autoren, die Diskussionsgrundlagen zwischen Husserl und einigen seiner wichtigsten und einflußreichsten Gesprächspartner wiederherzustellen: Bernard Bolzano, Franz Brentano, Gottlob Frege, Martin Heidegger und Ludwig Wittgenstein. Mit Beiträgen von: Christian Beyer, Stefania Centrone, Dagfinn Føllesdal, George Heffernan, Wolfgang Künne, Eduard Marbach und Markus Stepanians.

In a fragment entitled Elementa Nova Matheseos Universalis Leibniz writes “the mathesis [...] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” Leibniz considers all mathematical disciplines as branches of the mathesis and conceives the mathesis as a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is (...) possible at least in principle. As a general science of forms the mathesis investigates possible relations between “arbitrary objects”. It is an abstract theory of combinations and relations among objects whatsoever. In 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitled Contributions to a Better-Grounded Presentation of Mathematics. There is, according to him, a certain objective connection among the truths that are germane to a certain homogeneous field of objects: some truths are the “reasons” of others, and the latter are “consequences” of the former. The reason-consequence relation seems to be the counterpart of causality at the level of a relation between true propositions. Arigorous proof is characterized in this context as a proof that shows the reason of the proposition that is to be proven. Requirements imposed on rigorous proofs seem to anticipate normalization results in current proof theory. The contributors of Mathesis Universalis, Computability and Proof, leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related ideas exploring topics in proof theory, computability theory, intuitionistic logic, constructivism and reverse mathematics, delving deeply into a contextual examination of the relationship between mathematical rigor and demands for simplification. (shrink)

In an experiment on markets for services, we find that consumers are likely to stick to default tariffs and achieve suboptimal outcomes. We find that inattention to the task of choosing a better tariff is likely to be a substantial problem in addition to any task and tariff complexity effect. The institutional setup on which we primarily model our experiment is the UK electricity and gas markets, and our conclusion is that the new measures by the UK regulator Ofgem to (...) improve consumer outcomes are likely to be of limited impact. (shrink)

SummaryThis study examines local heterogeneity in the aptitude of Sardinian mothers towards late reproduction, and explores its temporal persistence and association with both post-reproductive longevity and propensity to consanguineous marriage. Data on women's fertility from 1961 and birth records for 1980–1996 from Vital Statistics were analysed by means of the following indicators: the incidence of old mothers at last childbirth, female mortality at 80 years of age and over and the proportion of consanguineous marriages. A variable kernel-smoothing method was used (...) to create interpretable representations of the true spatial structure of the indicators, and to highlight areas of higher than expected intensity. In particular, an area of reproductive and post-reproductive longevity was identified where the traits combine with a higher tendency to relatedness. Intriguingly, this area corresponds approximately to the geographically and historically well defined central-eastern zone, which was the refuge of Sardinians during past invasions, and overlaps the Ogliastra region, which has been widely studied for its genetic homogeneity. (shrink)

In his booklet "Contributions to a better founded presentation of mathematics" of 1810 Bernard Bolzano made his first serious attempt to explain the notion of a rigorous proof. Although the system of logic he employed at that stage is in various respects far below the level of the achievements in his later Wissenschaftslehre, there is a striking continuity between his earlier and later work as regards the methodological constraints on rigorous proofs. This paper tries to give a perspicuous and critical (...) account of the fragmentary logic of Beyträge, and it shows that there is a tension between that logic and Bolzano's methodological ban on ?kind crossing? (shrink)