In the present paper we discuss a recent suggestion of Schroeder-Heister concerning the possibility of defining an intensional notion of harmony using isomorphism in second-order propositional logic. The latter is not an absolute notion, but its definition is relative to the choice of criteria for identity of proofs. In the paper, it is argued that in order to attain a satisfactory account of harmony, one has to consider a notion of identity stronger than the usual one (based on β- and (...) η-conversions) that the authors have investigated in recent work. (shrink)

Developing a suggestion by Russell, Prawitz showed how the usual natural deduction inference rules for disjunction, conjunction and absurdity can be derived using those for implication and the second order quantifier in propositional intuitionistic second order logic NI\. It is however well known that the translation does not preserve the relations of identity among derivations induced by the permutative conversions and immediate expansions for the definable connectives, at least when the equational theory of NI\ is assumed to consist only of (...) \- and \-equations. On the basis of the categorial interpretation of NI\, we introduce a new class of equations expressing what in categorial terms is a naturality condition satisfied by the transformations interpreting NI\-derivations. We show that the Russell–Prawitz translation does preserve identity of proof with respect to the enriched system by highlighting the fact that naturality corresponds to a generalized permutation principle. Finally we sketch how these results could be used to investigate the properties of connectives definable in the framework of higher-level rules. (shrink)

In a previous paper we investigated the extraction of proof-theoretic properties of natural deduction derivations from their impredicative translation into System F. Our key idea was to introduce an extended equational theory for System F codifying at a syntactic level some properties found in parametric models of polymorphic type theory. A different approach to extract proof-theoretic properties of natural deduction derivations was proposed in a recent series of papers on the basis of an embedding of intuitionistic propositional logic into a (...) predicative fragment of System F, called atomic System F. In this paper we show that this approach finds a general explanation within our equational study of second-order natural deduction, and a clear semantic justification in terms of parametricity. (shrink)

The investigations on higher-order type theories and on the related notion of parametric polymorphism constitute the technical counterpart of the old foundational problem of the circularity of second and higher-order logic. However, the epistemological significance of such investigations has not received much attention in the contemporary foundational debate.We discuss Girard’s normalization proof for second order type theory or System F and compare it with two faulty consistency arguments: the one given by Frege for the logical system of the Grundgesetze and (...) the one given by Martin-Löf for the intuitionistic type theory with a type of all types.The comparison suggests that the question of the circularity of second order logic cannot be reduced to Russell’s and Poincaré’s 1906 “vicious circle” diagnosis. Rather, it reveals a bunch of mathematical and logical ideas hidden behind the hazardous idea of impredicative quantification, constituting a vast domain for foundational research. (shrink)

A proof-theoretic test for paradoxicality was famously proposed by Tennant: a paradox must yield a closed derivation of absurdity with no normal form. Drawing on the remark that all derivations of a given proposition can be transformed into derivations in normal form of a logically equivalent proposition, we investigate the possibility of paradoxes in normal form. We compare paradoxes à la Tennant and paradoxes in normal form from the viewpoint of the computational interpretation of proofs and from the viewpoint of (...) proof-theoretic semantics. (shrink)

A comparison between the standard adiabatic piston dynamics and that of a perfectly conducting (diathermal) piston helps to clarify their different behaviors and, in particular, the anomalously large random displacement of the adiabatic piston as compared to the diathermal one. It is shown to be associated with a situation where the presence of a single massive “particle” (the piston), acting as an internal constraint in a many-particle system, plays a somewhat unexpected relevant role. A significant physical insight accounting for the (...) above difference is gained by means of a simple analysis of the phase space available to our system. (shrink)

In order to develop efficient tools for automated reasoning with inconsistency (theorem provers), eventually making Logics of Formal inconsistency (_LFI_) a more appealing formalism for reasoning under uncertainty, it is important to develop the proof theory of the first-order versions of such _LFI_s. Here, we intend to make a first step in this direction. On the other hand, the logic _Ciore_ was developed to provide new logical systems in the study of inconsistent databases from the point of view of _LFI_s. (...) An interesting fact about _Ciore_ is that it has a _strong_ consistency operator, that is, a consistency operator which (forward/backward) propagates inconsistency. Also, it turns out to be an algebraizable logic (in the sense of Blok and Pigozzi) that can be characterized by means of a 3-valued logical matrix. Recently, a first-order version of _Ciore_, namely _QCiore_, was defined preserving the spirit of _Ciore_, that is, without introducing unexpected relationships between the quantifiers. Besides, some important model-theoretic results were obtained for this logic. In this paper we study some proof–theoretic aspects of both _Ciore_ and _QCiore_ respectively. In first place, we introduce a two-sided sequent system for _Ciore_. Later, we prove that this system enjoys the cut-elimination property and apply it to derive some interesting properties. Later, we extend the above-mentioned system to first-order languages and prove completeness and cut-elimination property using the well-known Shütte’s technique. (shrink)

The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles, arithmatic of infinites, and calculus were developed. Although many technical studies have been devoted to these innovations, Mancosu provides the first comprehensive account of the relationship between mathematical advances of the seventeenth century and the philosophy of mathematics of the period. Starting with (...) the Renaissance debates on the certainty of mathematics, Mancosu leads the reader through the foundational issues raised by the emergence of these new mathematical techniques, including the influence of the Aristotelian conception of science in Cavalieri and Guldin, the foundational relevance of Descartes' Geometrie, the relation between geometrical and epistemological theories of the infinite, and the Leibnizian calculus and the opposition to infinitesimalist procedures. In the process Mancosu draws a sophisticated picture of the subtle dependencies between technical development and philosophical reflection in seventeenth century mathematics. (shrink)

From Brouwer To Hilbert: The Debate on the Foundations of Mathematics in the 1920s offers the first comprehensive introduction to the most exciting period in the foundation of mathematics in the twentieth century. The 1920s witnessed the seminal foundational work of Hilbert and Bernays in proof theory, Brouwer's refinement of intuitionistic mathematics, and Weyl's predicativist approach to the foundations of analysis. This impressive collection makes available the first English translations of twenty-five central articles by these important contributors and many others. (...) The articles have been translated for the first time from Dutch, French, and German, and the volume is divided into four sections devoted to (1) Brouwer, (2) Weyl, (3) Bernays and Hilbert, and (4) the emergence of intuitionistic logic. Each section opens with an introduction which provides the necessary historical and technical context for understanding the articles. Although most contemporary work in this field takes its start from the groundbreaking contributions of these major figures, a good, scholarly introduction to the area was not available until now. Unique and accessible, From Brouwer To Hilbert will serve as an ideal text for undergraduate and graduate courses in the philosophy of mathematics, and will also be an invaluable resource for philosophers, mathematicians, and interested non-specialists. (shrink)

Can taxation and the redistribution of wealth through the welfare state be conceived as a modern system of circulation of the gift? But once such a gift is institutionalized, regulated and sanctioned through legal mechanisms, does it not risk being perverted or corrupted, and/or not leaving room for genuinely altruistic motives? What is more: if the market’s utilitarian logic can corrupt or ‘crowd out’ altruistic feelings or motivations, what makes us think that the welfare state cannot also be a source (...) of corruption? To explain the standard answers to the abovementioned questions as well as their implications I will first re-examine two opposing positions assumed here as paradigmatic examples of other similar positions: on the one hand, Titmuss’s work and the never-ending debate about it; on the other, Godbout’s position, in-so-far as it shows how Titmuss’s arguments can easily be turned upside down. I will then introduce and reinterpret Einaudi’s “critical point” theory as a more complex and richer anthropological explanation of the problems and answers considered herein. Through the analysis of these paradigmatic positions I will develop two interrelated arguments. 1) The way these problems are posed as well as the standard answers to them are: a) subject to fallacies: the dichotomy fallacy and the fallacy of composition; b) too reductive and simplistic: we should at least try to clarify what kind of ‘gift’ or ‘corruption’ we are thinking about, and who or what the ‘giver’, the ‘corrupter’, the ‘receiver’ and/or the ‘corrupted’ party are. 2) The answers to these problems cannot be found by merely following a theoretical approach, nor can they be merely based on empirical evidence; instead, they need to take into account the forever troublesome, ambiguous and unpredictable matter of human freedom. (shrink)

A significant body of research concludes that stable beliefs of perceived consumer effectiveness lead to sustainable consumption choices. Consumers who believe that their decisions can significantly affect environmental and social issues are more likely to behave sustainably. Little is known, however, about how perceived consumer effectiveness can be increased. We find that feelings of guilt and pride, activated by a single consumption episode, can regulate sustainable consumption by affecting consumers’ general perception of effectiveness. This paper demonstrates the impact that guilt (...) and pride have on perceived consumer effectiveness and shows how this effect rests on the ability of these emotions to influence perceptions of agency. After experiencing guilt or pride, consumers see themselves as the cause of relevant sustainability outcomes. The process of causal attribution associated with these emotions influences consumers’ use of neutralization techniques. Through the reduction in consumers’ ability to neutralize their sense of personal responsibility, guilt and pride positively influence perceived consumer effectiveness. The inability to rationalize-away their personal responsibility, persuades consumers that they affect sustainability outcomes through their decisions. The research advances our understanding of sustainable consumption and identifies a new avenue for the regulation of individual consumer behavior that has significant implications for the development of sustainable marketing initiatives. (shrink)

A growing body of literature documents the important role played by moral outrage or moral anger in stakeholders’ reactions to cases of corporate social irresponsibility. Existing research focuses more on the consequences of moral outrage than a systematic analysis of how appraisals of irresponsible corporate behavior can lead to this emotional experience. In this paper, we develop and test, in two field studies, an extended model of moral outrage that identifies the cognitions that lead to, and are associated with, this (...) emotional experience. This research contributes to the existing literature on reactions to corporate social irresponsibility by explaining how observers’ evaluation of irresponsible corporate behavior leads to reactions of moral anger. The paper also helps clarify the difference between moral outrage and other types of anger and offers useful insights for managers who have to confront public outrage following cases of irresponsible corporate behavior. Finally, the analysis of the causes of stakeholders’ anger at irresponsible corporations opens important avenues for future research that are presented in the paper. (shrink)

The publication of Guido Calabresi’s book “The Future of Law and Economics” has drawn a substantial amount of attention among law and economics scholars. We thought that the best way to devote special attention to this book was to devote a Special issue to it. This article situates Calabresi’s book among other reflections on the future of the discipline, introduces and explains the reasons behind this Special issue and discuss the organization and content of it. -/- We emphasize how Calabresi’s (...) historical-conceptual standpoint allows him to isolate the stakes of different future developments around the question of how could further appreciation of legal institutions that defy the standard economic assumptions help the field develop theoretically. Overall, the contributors all shared Calabresi’s attempt to restore the balance between Law and Economics and the need to better account for the “whole unanalysed experience of human race”, often neglected by the Economic Analysis of Law approach. Most disagreements are about the ‘how’. In any case, the search for the Law and Economics ‘not (yet) taken’ or for other “Law and … ” approaches is always open to the Future. (shrink)

This introduction explains the reasons behind this Special issue and discuss the organization and content of it. The difficulty of a genuine dialogue and understanding between economics, law and humanities, seems to be due not only to the fragmentation of reflections on man, but to a real ‘conflict of anthropologies’. What kind of conceptions of man and human values are presupposed by and / or privileged by economics, law, economic approaches to law and social sciences? How and when do these (...) conceptions come into conflict within and between disciplines? How do these conceptions of man and his values influence the conceptions of economics, law and institutions, and vice versa, how do these last conceptions influence the former? What are the normative, regulatory and practical implications of assuming an anthropological and / or axiological perspective instead of another? This Special issue aims at exploring the possibility of finding a common ground for discussion between economics, law and humanities, through the analysis and comparison of both the conceptions of man, human action and values assumed by economics, law and humanities, and their normative implications. The contributions to this Special issue and its organization are outlined at the end of this introduction. (shrink)

The paper aims to address the following two questions: what kind of discourse is that which attempt to found or defend the autonomy or the boundaries of a discipline? Why do such discourses tend to turn into normative, dogmatic-excommunicating discourses between disciplines, schools or scholars? I will argue that an adequate answer may be found if we conceive disciplines as dogmatics, where such discourses often take the form of a discourse on the foundation of a discipline, a foundation in the (...) name of which the scholar speaks and with which he/she entertains an identity relationship. To this purpose I will re-examine the methodological discourses of (and debates between) Pareto, Croce and Einaudi on the demarcation issue between philosophy, economics and value-judgments as highly instructive to understand such issues. (shrink)

On an influential line of thinking tracing back to Ramsey, conditionals are closely linked to the attitude of supposition. When applied to counterfactuals, this view suggests a subjunctive version of the so-called Ramsey test: the probability of a counterfactual If A, would B ought to be equivalent to the probability of B, under the subjunctive supposition that A. I present a collapse result for any view that endorses the subjunctive version of the Ramsey test. Starting from plausible assumptions, the result (...) shows that one’s rational credence in a would-counterfactual and in the corresponding might-counterfactual have to be identical. (shrink)

European Journal of Philosophy, Volume 29, Issue 4, Page 937-947, December 2021.

That words express a conceptual content is uncontroversial. This does not entail that their content should break down neatly into a grammatical part, relevant for language and to be analyzed in linguistic terms, and a conceptual part, relevant for cognition and to be analyzed in psychological terms. Various types of empirical evidence are reviewed, showing that the conceptual content of words cannot be isolated from their linguistic properties, because it is affected and shaped by them. The view of words as (...) labels or containers for a non-linguistic conceptual content stems from a naive disregard of the complex and structured nature of lexical knowledge. On the contrary, knowledge of language is shown not just to organize and categorize conceptual content in a way not reducible to non-linguistic cognition, but also to affect its scope, as the range of verbalized concepts is both limited by abstract templates and expanded by productive word formation. This suggests that lexical knowledge is a distinctively linguistic dimension of conceptualization, and that words do not so much label or package concepts, as provide an inner form for conceptual knowledge. (shrink)

Il libro ricostruisce la vita e il pensiero di Jean Guitton (1901-1999), il grande amico di Paolo VI, a quasi ventʼanni dalla sua morte. La vicenda umana di questo scrittore e filosofo cristiano ha attraversato quasi integralmente il XX secolo quale testimone diretto di eventi epocali: i primi tentativi ecumenici, le due guerre mondiali, le radicalizzazioni ideologiche del secondo dopoguerra, lʼera atomica e il Concilio Vaticano II. Il primo capitolo del volume è dedicato alla ricostruzione della vita di Guitton (...) e alle sue prime sintesi accademiche; ed esso fanno seguito altri due capitoli che trattano della sua antropologia (il tempo, il pudore, l'amore umano) e della sua cristologia filosofica (le condizioni di possibilità della rivelazione, la filosofia della risurrezione, la sua innovativa mariologia). Ne viene il ritratto di un pensiero di impronta umanista, ben radicato nella tradizione francese e che forse, come già lamentava Yves Congar nel 1963, non ha avuto, fino ad oggi, quellʼattenzione e quellʼaccoglienza che sembra meritare. (shrink)

Current research has documented how cases of irresponsible corporate behavior generate negative reactions from consumers and other stakeholders. Existing research, however, has not examined empirically whether the characteristics of the victims of corporate malfeasance contribute to shaping individual reactions. This study examines, through four experimental surveys, the role played by the national identity of the people affected on consumers’ intentions to spread negative word of mouth. It is shown that national identity influences individual reactions indirectly; mediated by perceived similarity and (...) sympathy. Consumers perceive foreign victims as different from the self and this reduces the sympathy experienced towards them. Sympathy is an emotion that shapes consumer reactions and regulates WOM. The study identifies two moderating processes of this effect. Individuals who score high on collective narcissism are most likely to be strongly biased against foreign victims. In-group bias is also moderated by the perceived severity of the crisis. When a case is perceived as very serious, perceived similarity plays a less important role in generating sympathy because consumers focus on the perceived suffering of the victims. Hence, in-group bias is stronger in cases perceived as having minor consequences. The paper contributes to the literature on corporate social irresponsibility and offers implications for both scholars and managers. (shrink)

Meaningful places -- Fictional objects -- Migrant objects -- Multicultural and transcultural objects -- Objects as props -- Conclusion.

Suppose that you're certain that a certain sentence, e.g. "Frida is tall", lacks a determinate truth value. What cognitive attitude should you take towards it—reject it, suspend judgment, or what else? We show that, by adopting a seemingly plausible principle connecting credence in A and Determinately A, we can prove a very implausible answer to this question: i.e., all indeterminate claims should be assigned credence zero. The result is striking similar to so-called triviality results in the literature on modals and (...) conditionals. (shrink)

This article begins by examining the status of “difference” in representations of perspectivist cosmologies, which are themselves often represented as radically different to Euro-American cosmologi...

In this paper we investigate splitting algebras in varieties of logics, with special consideration for varieties of BL-algebras and similar structures. In the case of the variety of all BL-algebras a complete characterization of the splitting algebras is obtained.

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on (...) the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)

Bringing together contributors from philosophy, international relations, security studies, and strategic studies, New Wars and New Soldiers offers a truly interdisciplinary analysis reflective of the nature of modern warfare. This comprehensive approach allows the reader to see the broad scope of modern military ethics, and to understand the numerous questions about modern conflict that require critical scrutiny. Aimed at both military and academic audiences, this paperback will be of significant interest to researchers and students in philosophy, sociology, military and strategic (...) studies, international relations, politics, and security studies, acting as an ideal course text or as supplementary reading. (shrink)

At the same time, the book is a contribution to recent philosophical debates, in particular on the prospects for a successful nominalist reconstruction of .

In this paper we investigate splitting algebras in varieties of logics, with special consideration for varieties of BL-algebras and similar structures. In the case of the variety of all BL-algebras a complete characterization of the splitting algebras is obtained.

The literature on indicative conditionals contains two appealing views. The first is the selectional view: on this view, conditionals operate by selecting a single possibility, which is used to evaluate the consequent. The second is the informational view: on this view, conditionals don’t express propositions, but rather impose constraints on information states of speakers. Both views are supported by strong arguments, but they are incompatible on their standard formulations. Hence it appears that we have to choose between mutually exclusive options. (...) But the options are not exclusive. This paper develops a theory of the semantics and assertability of conditionals that is both selectional and informational. The theory vindicates the signature inferences of both selectional and informational theories, including so-called Conditionals Excluded Middle and principles about the interplay between conditionals and ‘might’. It also predicts some interesting and puzzling facts about the assertion of conditionals. (shrink)

The aim of this article is to tackle the sociosemiotic strategies through which the relation between power and visibility is articulated in today’s metropolitan São Paulo. Drawing on the theoretical-methodological framework of Greimasian and post-Greimasian semiotics, the following hypotheses are put forth: (1) contemporary São Paulo is characterized by a true visual hypertrophy, which manifests itself, all at once, in both its architectural and mediatic landscapes; (2) in São Paulo, power is hypervisible and apparently transparent; (3) the excess of images, (...) gazes, and perspectives produces, in São Paulo, dense and wide areas of topological, mediatic, and social invisibility; (4) the predominant visibility in São Paulo can be qualified as a “populist” visibility. Based on these assumptions, this article intends to contribute to the consolidation of a critical debate on the visual matrices of power and on social processes of exclusion and inclusion currently in place in global metropolises. Likewise, it is intended to contribute to the elaboration of a theoretical-methodological framework capable of understanding and addressing the complexity of the phenomena that characterize such debate. (shrink)