The global spread of corporate social responsibility (CSR) practices is widely explained in institutional-isomorphic terms: Corporations worldwide adopt CSR in reaction to isomorphic pressures exerted on them by a pro-CSR global environment, including normative calls for CSR, activist targeting, civil regulation frameworks, and educational activities. By contrast, this article considers the proactive agency of corporations in CSR diffusion, which is informed by nonmarket strategies that seek to instrumentally reshape the political and social environment of corporations. Applying a “channels-of-diffusion” perspective, we (...) show that in the initial phase of CSR’s transnational diffusion—as exemplified by the cases of Venezuela (1962-1967) and Britain (1977-1981)—CSR traveled through learning exchanges between business elite “exporters” and “importers” whose engagement in diffusion addressed crisis-enhanced political threats and opportunities in the receiving country. The focal agents established national CSR business associations, which disseminated among local corporations CSR practices adapted to confront the challenges at hand. We identify the features of such “business-led cross-national diffusions of CSR”; formulate propositions regarding their conditions, dynamics, and effects; and suggest that further research of this mode of diffusion would advance a more nuanced and balanced understanding of CSR’s globalization. (shrink)

Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects. This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms (...) is simply adjoined to AOT’s specially formulated comprehension principle for relations. This result constitutes a new and important paradox, given how much expressive and analytic power is contributed by having the two kinds of complex terms in the system. Its discovery is the highlight of our joint project and provides strong evidence for a new kind of scientific practice in philosophy, namely, computational metaphysics. Our results were made technically possible by a suitable adaptation of Benzmüller’s metalogical approach to universal reasoning by semantically embedding theories in classical higher-order logic. This approach enables one to reuse state-of-the-art higher-order proof assistants, such as Isabelle/HOL, for mechanizing and experimentally exploring challenging logics and theories such as AOT. Our results also provide a fresh perspective on the question of whether relational type theory or functional type theory better serves as a foundation for logic and metaphysics. (shrink)

Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects.This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms is (...) simply adjoined to AOT’s specially formulated comprehension principle for relations. This result constitutes a new and important paradox, given how much expressive and analytic power is contributed by having the two kinds of complex terms in the system. Its discovery is the highlight of our joint project and provides strong evidence for a new kind of scientific practice in philosophy, namely, computational metaphysics.Our results were made technically possible by a suitable adaptation of Benzmüller’s metalogical approach to universal reasoning by semantically embedding theories in classical higher-order logic. This approach enables one to reuse state-of-the-art higher-order proof assistants, such as Isabelle/HOL, for mechanizing and experimentally exploring challenging logics and theories such as AOT. Our results also provide a fresh perspective on the question of whether relational type theory or functional type theory better serves as a foundation for logic and metaphysics. (shrink)

Cognitive Science, Volume 46, Issue 5, May 2022.

What is consciousness and why is it so philosophically and scientifically puzzling? For many years philosophers approached this question assuming a standard physicalist framework on which consciousness can be explained by contemporary physics, biology, neuroscience, and cognitive science. This book is a debate between two philosophers who are united in their rejection of this kind of "standard" physicalism - but who differ sharply in what lesson to draw from this. Amy Kind defends dualism 2.0, a thoroughly modern version of dualism (...) (the theory that there are two fundamentally different kinds of things in the world: those that are physical and those that are mental) decoupled from any religious or non-scientific connotations. Daniel Stoljar defends non-standard physicalism, a kind of physicalism different from both the standard version and dualism 2.0. The book presents a cutting-edge assessment of the philosophy of consciousness and provides a glimpse at what the future study of this area might bring. (shrink)

Murray MacBeath, in his essay ``Time's Square'', describes a fictitious scenariowhere various physical observations made by the participants would, he claims, invitethe interpretation that time for them is two-dimensional. In the present paper, however, Iargue that such observations come close to underdetermining the hypothesis of time's twodimensionality;for a rival hypothesis - that, under certain circumstances, the observationscan be explained in terms of the familiar time dilation effects predicted by special relativity- almost fits the evidence as well. That is, under certain (...) (albeit artificial) circumstances theworld can already behave almost as though it were temporally two-dimensional. (shrink)

Equality, similarity and congruence are essential elements of Kant’s theory of geometrical cognition; nevertheless, Kant’s account of them is not well understood. This paper provides historical context for treatments of these geometrical relations, presents Kant’s views on their mathematical definitions, and explains Kant’s theory of their cognition. It also places Kant’s theory within the larger context of his understanding of the quality-quantity distinction. Most importantly, it argues that the relation of equality, in conjunction with the categories of quantity, plays a (...) pivotal and wide-ranging role in Kant’s account of mathematical cognition. (shrink)

Discussions of the principle of alternative possibilities have largely ignored the limits of what Frankfurt-style counter-examples can show. Rather than challenging the coherence of the cases, I argue that even if they are taken to demonstrate the falsity of the principle, they cannot advance the compatibilist cause. For a forceful incompatibilist argument can be constructed from the Frankfurtian premise that agents in Frankfurtian circumstances would have done what they did even if they could have done something else. This 'counterfactual stability' (...) meets the same fate under determinism as does the ability to do otherwise. Thus the cases are irrelevant to the compatibility debate. (shrink)

FN:s allmänna förklaring om de mänskliga rättigheterna innehåller en katalog över ett antal mänskliga fri- och rättigheter. I den här uppsatsen argumenterar jag för att det krävs en kvantifierad deontisk logik för att förstå den logiska formen hos flera av de normer som uttrycks i denna förklaring. Jag kommer att gå igenom ett antal argument som intuitivt är giltiga, men som inte kan bevisas i klassisk logik. Därefter kommer jag att visa hur dessa argument kan formaliseras och bevisas med hjälp (...) av kvantifierad deontisk logik. Diskussionen ger stöd åt uppfattningen att vi behöver en kvantifierad deontisk logik för att analysera många typer av normativa uttryck och kastar också förhoppningsvis nytt ljus över hur vissa centrala utsagor i FN:s allmänna förklaring bör tolkas och vilken logisk form de har. (shrink)

Provides an overview of the anonymous work of sophistic rhetoric known as Dissoi Logoi or Double Arguments.

In Symbolic Logic (1932), C. I. Lewis developed five modal systems S1 − S5. S4 and S5 are so-called normal modal systems. Since Lewis and Langford’s pioneering work many other systems of this kind have been investigated, among them the 32 systems that can be generated by the five axioms T, D, B, 4 and 5. Lewis also discusses how his systems can be augmented by propositional quantifiers and how these augmented logics allow us to express some interesting ideas that (...) cannot be expressed in the corresponding quantifier-free logics. In this paper, I will develop 64 normal modal semantic tableau systems that can be extended by propositional quantifiers yielding 64 extended systems. All in all, we will investigate 128 different systems. I will show how these systems can be used to prove some interesting theorems and I will discuss Lewis’s so-called existence postulate and some of its consequences. Finally, I will prove that all normal modal systems are sound and complete and that all systems (including the extended systems) are sound with respect to their semantics. It is left as an open question whether or not the extended systems are complete. (shrink)

Though the 'medieval' is often deployed as a stigmatic symbol of all that is retrograde, against modernity, and barbaric, the medieval is increasingly being sought as a bedrock of tradition, heritage, and identity, especially by writers and politicians on the far right. Both characterisations- the medieval as violent other and the medieval as vital foundation- are mined and studied in this book. It examines contemporary political uses of the Middle Ages to ask why the medieval continues to play such a (...) prominent role in the political and historical imagination today." -- Back cover. (shrink)

I argue that Plantinga’s Proper Function and Evolutionary arguments fail against liberal naturalism defined in a broad sense as the view that „there aren’t any supernatural beings”. The former argument can be interpreted in at least three ways: deductively, inductively and theistically. None of these, however, is successful. The latter argument suffers from several deficiencies of which two major ones are: The unlikelihood of the reliability of our cognitive faculties, given naturalism and evolutionism, is not shown. Agnosticism with respect to (...) the likelihood of our cognitive reliability is insufficient to establish the self-defeating character of naturalistic evolutionism, unless it is also shown that the belief in this reliability lacks an independent warrant. The last condition has been neglected by Plantinga. (shrink)

One version of the problem of induction is how to justify hypotheses in the face of data. Why advance hypothesis A rather than B — or in a probabilistic context, why attach greater probability to A than B? If the data arrive as a stream of observations (distributed through time) then the problem is to justify the associated stream of hypotheses. Several perspectives on this problem have been developed including Bayesianism (Howson and Urbach, 1993) and belief-updating (Hansson, 1999). These are (...) broad families of approaches; the citations are meant just as portals. (shrink)

We advance a theory of inductive reasoning based on similarity, and test it on arguments involving mammal categories. To measure similarity, we quantified the overlap of neural activation in left Brodmann area 37 (lBA37) in response to pictures of different categories; the choice of lBA37 is motivated by previous literature. The theory was tested against estimated probability judgments for 160 arguments generated from 16 categories and a common predicate. The theory’s predictions (based on neural similarity) correlate strongly with these estimates. (...) Other brain regions in the ventral visual pathway yield similarities that also allow the model to predict inductive judgments accurately whereas use of rated similarity in place of neural similarity is less successful. We conclude by extending the theory to aspects of causal reasoning and considering the relation between similarity and feature ratings of categories. (shrink)

J. B. Predd S. R. Kulkarni H. V. Poor D. N. Osherson Department of Electrical Engineering Department of Psychology Princeton University Princeton University Princeton, NJ 08544 Princeton, NJ 08544 {jpredd,kulkarni,poor}@princeton.edu [email protected]..

Leaving Morality Where It Is describes and thinks through every facet of the debate in moral theory, especially as it has played out between Kantian and Eudaimonist camps. It is an indispensable work for philosophers in general and ethicists in particular.

L’apôtre Paul a la réputation d’être un théologien performant dans l’argumentation, plus enclin à la rationalité qu’aux envols extatiques. Or, un examen attentif de sa correspondance fait apparaître la présence d’expériences religieuses, que l’apôtre raconte, et que l’on ne peut hésiter à appeler mystiques. Les signes sont discrets, mais indéniables: parler en langues, guérisons charismatiques, extases, visions. L’enquête de Daniel Marguerat fait l’inventaire de ces expériences, mettant en évidence l’interprétation qu’en donne l’apôtre. On ira jusqu’à parler d’une subversion de (...) l’expérience mystique chez Paul. (shrink)