In the slipstream of several large-scale corporate scandals, the board of directors has gained a pivotal position in the corporate governance debate. However, due to an overreliance on particular methodological (i.e. input–output studies) and theoretical (i.e. agency theory) research fortresses in past board research, academic knowledge concerning how this important governance mechanism actually operates and functions remains relatively limited. This theoretical paper aims to contribute to the promising stream of research which focuses on behavioural perspectives and processes within the corporate (...) board, by delving into one of the research areas perhaps plagued most by these predominant approaches: board leadership. In adopting a team perspective on the board of directors our study goes beyond traditional board leadership research, which has turned a blind eye on actual leadership dynamics, by examining leadership processes and behaviours inside the board team. Specifically, we develop a conceptual framework addressing a novel and ethical approach to team leadership within the board, i.e. shared leadership, which has previously been demonstrated to result in performance benefits in various other team settings. (shrink)

In this note we show that the classical modal technology of Sahlqvist formulas gives quick proofs of the completeness theorems in [8] : 57-78, 2001) and vastly generalizes them. Moreover, as a corollary, interpolation theorems for the logics considered in [8] are obtained. We then compare Gregory's modal language enriched with an "actually" operator with the work of Arthur Prior now known under the name of hybrid logic. This analysis relates the "actually" axioms to standard hybrid axioms, yields the decidability (...) results in [8], and provides a number of complexity results. Finally, we use a bisimulation argument to show that the hybrid language is strictly more expressive than Gregory's language. (shrink)

This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...) to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science. (shrink)

Maarten Boudry and Jerry Coyne have written a piece, forthcoming in Philosophical Psychology, called “Disbelief in Belief,” in which they criticize my recent paper “Religious credence is not factual belief” (2014, Cognition 133). Here I respond to their criticisms, the thrust of which is that we shouldn’t distinguish religious credence from factual belief, contrary to what I say. I respond that their picture of religious psychology undermines our ability to distinguish common religious people from fanatics. My response will appear (...) in the same issue as their paper. (shrink)

Many recent developments in artificial intelligence research are relevant for traditional issues in the philosophy of science. One of the developments in AI research we want to focus on in this article is diagnostic reasoning, which we consider to be of interest for the theory of explanation in general and for an understanding of explanatory arguments in economic science in particular. Usually, explanation is primarily discussed in terms of deductive inferences in classical logic. However, in recent AI research it is (...) observed that a diagnostic explanation is actually quite different from deductive reasoning. In diagnostic reasoning the emphasis is on restoring consistency rather than on deduction. Intuitively speaking, the problem diagnostic reasoning is concerned with is the following. Consider a description of a system in which the normal behavior of the system is characterized and an observation that conflicts with this normal behavior. The diagnostic problem is to determine which of the components of the system can, when assumed to be functioning abnormally, account for the conflicting observation. A diagnosis is a set of allegedly malfunctioning components that can be used to restore the consistency of the system description and the observation. In this article, this kind of reasoning is formalized and we show its importance for the theory of explanation. We will show how the diagnosis nondeductively explains the discrepancy between the observed and the correct system behavior. The article also shows the relevance of the subject for real scientific arguments by showing that examples of diagnostic reasoning can be found in Friedman's Theory of the Consumption Function. Moreover, it places the philosophical implications of diagnostic reasoning in the context of Mill's aprioristic methodology. (shrink)

Basisbegrippen. Een formeel model voor de ontwikkeling van de kunst is een structuur T, <, K, , d, p, q, s, B , waarbij T een verzameling van “tijdstippen” is, < (“is eerder dan”) een relatie op T is, K een verzameling van “mogelijke kunstwerken” is, (“levert commentaar op”) een relatie op K is, d, p, q en s functies van K naar de verzameling van alle deelverzamelingen van K zijn, en B een functie van T naar de verzameling van (...) alle deelverzamelingen van K is. d(x) is de discipline waartoe kunstwerk x behoort, p(x) is het proc´ed´e waarmee x vervaardigd is, q(x) is de kwaliteit van x, s(x) is de stijl van x, en B(t) is de verzameling kunstwerken die op tijdstip t bestaan. (shrink)

In response to Maarten Van Dyck’s commentary, I present a translation of Vailati’s original paper with a short introductory note.Keywords: Giovanni Vailati; Ernst Mach; Archimedes; Balance.