This paper examines Ockham's development of the formal distinction, especially in contrast to Scotus's presentation of the formal distinction. The claim is that the major differences between the two presentations can be accounted for largely from the different uses to which Scotus and Ockhan employ the distinction. Whereas Scotus develops the distinction in an attempt to make comprehensible what appears to be incomprehensible (e.g. the Trinity), Ockham uses the distinction to establish the fundamental (...) incomprehensibility of the same issues (e.g. the Trinity). (shrink)

Resumen: Este escrito aborda la interpretación deleuziana de la sustancia spinozista. Su objetivo es mostrar que el núcleo fundamental de dicha interpretación reside en el señalamiento del carácter único y a la vez múltiple de la sustancia, carácter que Deleuze conceptualiza a través de la categoría de distinción formal, tomada de Duns Scoto. Con este propósito, se caracterizan las nociones de univocidad y de expresión, que nos conducen a plantear que la sustancia, por ser a la vez única y (...) múltiple, consiste en el desarrollo de una contradicción. Esta condición nos permite concluir que la interpretación deleuziana, más allá de su propósito manifiesto, enfatiza una arista del trabajo de Spinoza que lo acerca a la filosofía de Hegel. Lo cual implica que la propia producción de Deleuze ofrece, también, aspectos que la aproximan a la del filósofo alemán.: This paper addresses the Deleuzian interpretation of the Spinozist substance. It aims at showing that the fundamental nucleus of this interpretation lies in pointing out the unique and simultaneously multiple character of the substance, which Deleuze conceptualizes through the category of formal distinction, taken from Duns Scoto. To reach this goal, the notions of univocity and expression are characterized. This leads us to affirm that substance, being both unique and multiple, consists of the development of a contradiction. This character allows us to conclude that the Deleuzian interpretation, beyond its manifest purpose, emphasizes a dimension of Spinoza’s work that brings it closer to Hegel’s philosophy. This implies that Deleuze’s own production also offers aspects that approach it to the German philosopher’s work. (shrink)

Words associated with perceptually salient, highly imageable concepts are learned earlier in life, more accurately recalled, and more rapidly named than abstract words (R. W. Brown, 1976; Walker & Hulme, 1999). Theories accounting for this concreteness effect have focused exclusively on semantic properties of word referents. A novel possibility is that word structure may also contribute to the effect. We report a corpus-based analysis of the phonological and morphological structures of a large set of nouns with imageability ratings (N = (...) 2,023). High- and low-imageability nouns differed by length, etymology, prosody, affixation, phonological neighborhood density, and rates of consonant clustering. On average, nouns denoting abstract concepts were longer, more derivationally complex, and emerged in English from a different distribution of languages than did concrete nouns. We address implications for interactivity of word form and meaning as pertain to theories of word concreteness, lexical acquisition, and word processing. (shrink)

While Heidegger's earlier phenomenological writings inform much contemporary discourse in the continental philosophy of religion, his 1927 essay on ‘Phenomenology and Theology’ offers a largely uncontested distinction between philosophy and theology on the basis of their possibilities as sciences following ontological difference. This paper reconsiders Heidegger's distinction by invoking spirit and wonder, concepts Jacques Derrida and Mary-Jane Rubenstein have more recently emphasized as central to thought that is open to that which ruptures metaphysical schemas. I contend Heidegger's use (...) of ontological difference as a formal distinction between philosophy and theology distances us from the wonder, spirit, and truth (alētheia) that undoes the binaries behind which we take shelter. However, I temper this critique with the recognition that Heidegger, Derrida, and Rubenstein equally recognize an inescapable repetition of metaphysical thinking in the philosophy of religion. (shrink)

The degree of realism that Duns Scotus understood his formal distinction to have implied is a matter of dispute going back to the fourteenth century. Both modern and medieval commentators alike have seen Scotus's later, Parisian treament of the formal distinction as less realist in the sense that it would deny any extra-mentally separate formalities or realities. This less realist reading depends in large part on a question known to scholars only in the highly corrupt edition (...) of Luke Wadding, where it is printed as the first of the otherwise spurious Quaestiones miscellaneae de formalitatibus. The present study examines this question in detail. Cited by Scotus's contemporaries as the Quaestio logica Scoti, we establish that it was a special disputation held by Scotus at Paris in response to criticisms of his use of the formal distinction in God, identify its known manuscripts, and provide an analysis based upon a corrected text, showing in particular the total unreliability of the Wadding edition. Our analysis shows that the Logica Scoti does not absolutely prohibit an assertion of formalities as correlates of the formal distinction, even in the divine Person, so long as their non-identity is properly qualified. That is, the positing of formalities does not of itself entail an unqualified or absolute distinction. (shrink)

La prima parte dello studio presenta una panoramica sulla vita e l'opera di Wylton, l'indagine poi verte sulla struttura e il contesto dottrinale della quaestio in esame , ed infine sulla dottrina della distinzione formale qui esposta. L'ampia appendice presenta un'edizione della quaestio, tradita nel ms Vat. Borgh. 36.

The first quodlibetal question by William of Alnwick is a reply to John Duns Scotus' Quaestio de Formalitatibus, where the latter clarified his understanding of the formal distinction: ‘formal non-identity’ of the personal properties in God (and of the divine attributes) does not preclude a formal distinction if the latter is conceived as a distinction weakened by the modifier ‘formal’. Whereas Scotus' Quaestio has been subjected to a detailed analysis by Stephen Dumont, “Duns (...) Scotus’ Parisian Question”, there is as yet no such analysis of Alnwick's response. In the present paper his position is explained in detail. Alnwick rejects Scotus' view of ‘formal’ as a weakening modifier; he argues that the formal distinction necessarily is unqualified and may still import too much of unwanted realism in the matter at hand. Both Scotus and Alnwick acknowledge that the formal non-identity reflects the nature of things without falling back to a real distinction. But for Alnwick the right kind of distinction is a qualified distinction that is not a formal distinction. (shrink)

Scotus’ theory of identity and distinction is a unique and central aspect of his thought, as he applies it throughout his metaphysics. On Scotus’ account of identity, the indiscernibility of identicals fails – i.e. A and B can be identical but not share all the same properties. As Ockham objected, Scotus is now in the difficult position of needing to provide alternative necessary and sufficient conditions for being identical, rather than simply invoking indiscernibility. The secondary literature has argued that (...) the lack of actual or potential separation is both necessary and sufficient for identity. I argue that is incorrect and provide alternative necessary and sufficient conditions for identity and real distinction, along with an analysis of Scotus’ theory of identity and distinction more broadly. Scotus thinks instead that the lack of actual, potential, and proportional separation are necessary and sufficient conditions for identity. The deeper root of this view is that identity corresponds to a certain degree of unity, and is accompanied by a sharing of esse. (shrink)

Formal systems of fuzzy logic are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of theorems with much (...) wider scope of applicability. In particular, we show how many of these fragments are really distinct and we find axiomatic systems for most of them. In fact, we construct strongly separable axiomatic systems for eight of our nine logics. We also fully answer the question for which of the studied fragments the corresponding class of algebras forms a variety. Finally, we solve the problem how to axiomatize predicate versions of logics without the lattice disjunction. (shrink)

The article aims to introduce the formal development of the verb _ tun _ in the German language, based on the corpuses of old, middle and modern-new-high-German language. However, the morphological analysis is primarily based on Józef Darski’s innovative model of linguistic analysis which, due to its synchronic cha racter, has been adopted in diachronic research. The verb forms of _ tun _, prone to modifications owing to multiple processes depending on both the stage of development and the language (...) as a paradigm, reveal its capability of adaptation to the two basic classes of verbs, i. e. strong verbs and/or weak verbs and their subclasses. Additionally, it is possible to observe the processes of homogenization of the verb forms within a given paradigm and among the forms of distinct paradigms, mainly to stabilise them. (shrink)

Should a liberal constitution constrain the racially discriminatory actions of state as well as nonstate employers? This essay answers in the affirmative, arguing that once we take seriously the right to nondiscrimination on the basis of race in terms of employment, we realize that such a constitution must constrain the actions of both. In doing so, this essay draws from John Rawls’s four-stage sequence, a sequence that suggests one way philosophical principles translate into constitutional design. A Theory of Justice is (...) the go-to theory for a wide range of political issues from a perspective of liberal theory, but scholars have paid less attention to it and comparative constitutional law. I take up this neglected inquiry by focusing on the distinction between the horizontal and vertical effect of a right not to be discriminated against on the basis of race in matters of employment. My analysis draws from the United States Constitution and the Constitution of the Republic of South Africa. A vertical effect constrains state power: a right to nondiscrimination is violated only when a state or public body discriminates on the basis of race. A horizontal effect constrains nonstate actors: a private employer may violate rights by discriminating on the basis of race. I argue that, in line with the South African Constitution, Rawls importantly adopts a horizontal effect of the right not to be discriminated against on the basis of race by ensuring formal equality of opportunity. His theory of justice suggests that a liberal constitution ought to constrain the racially discriminatory actions of both state and nonstate (private) employers. This, in turn, represents an important response to racism that occurs in the private sphere. (shrink)

In a recent discussion article in this journal, Gila Sher responds to some of my criticisms of her work on what she calls the formal-structural account of logical consequence. In the present paper I reply and attempt to advance the discussion in a constructive way. Unfortunately, Sher seems to have not fully understood my 1997. Several of the defenses she mounts in her 2001 are aimed at views I do not hold and did not advance in my 1997. Most (...) prominent among these are her claims that I reject the formal-structural account, because it licenses “unnatural” logical constants, and that I consider the “truth-functional criterion” for connectives “a paradigm of a successful criterion of logicality”. Both of these claims are simply false, as even a moderately careful reading of my 1997 will show. Other charges she makes have some basis in fact but are inaccurate. For example, she says that I claim that FS is “neutral with regard to the apriority of logic,” and that this neutrality “renders it inconsistent”. What I actually say is that Sher’s acceptance of the neutrality in question is “inconsistent with part of the legacy of Tarski, a legacy that she finds very congenial”, not that FS itself is inconsistent. More interestingly, she misunderstands my claim about the apriority of logic, and clarification of this misunderstanding suggests two distinct ways in which logic might be held to be free of empirical influence. It is also noteworthy that Sher’s statements about the apriority of logic constitute both a change in the position she took in her 1991 and, although she seems not to realize it, an admission that she does not take issue with one of my major criticisms. (shrink)

Section 1 contains a survey of options in constructing a formal system of dialogue rules. The distinction between material and formal systems is discussed (section 1.1). It is stressed that the material systems are, in several senses, formal as well. In section 1.2 variants as to language form (choices of logical constants and logical rules) are pointed out. Section 1.3 is concerned with options as to initial positions and the permissibility of attacks on elementary statements. The (...) problem of ending a dialogue, and of infinite dialogues, is treated in section 1.4. Other options, e.g., as to the number of attacks allowed with respect to each statement, are listed in section 1.5. Section 1.6 explains the concept of a chain of arguments.From section 2 onward four types of dialectic systems are picked out for closer study: D, E, Di and Ei. After a preliminary section on dialogue sequents and winning strategies, the equivalence of derivability in intuitionistic logic and the existence of a winning strategy (for the Proponent) on the strength of Ei is shown by simple inductive proofs. (shrink)

The present paper analyses the topic of scientific discovery and the problem of the existence of a logical framework involved in such endeavour. We inquire how several non-monotonic logic frameworks and other formalisms can account for such a task. In the same vein, we analyse some key aspects of the historical and theoretical debate surrounding scientific discovery, in particular, the context of discovery and context of justification context distinction. We present an argument concerning the weakening of the discovery/justification context (...) dichotomy based on the descriptive accent contained in the non-monotonic logic perspective together with its epistemological concerns. (shrink)

Exact sciences are described as sciences whose theories are formalized. These are contrasted to inexact sciences, whose theories are not formalized. Formalization is described as a broader category than mathematization, involving any form/content distinction allowing forms, e.g., as represented in theoretical models, to be studied independently of the empirical content of a subject-matter domain. Exactness is a practice depending on the use of theories to control subject-matter domains and to align theoretical with empirical models and not merely a state (...) of a science. Inexact biological sciences tolerate a degree of “mismatch” between theoretical and empirical models and concepts. Three illustrations from biological sciences are discussed in which formalization is achieved by various means: Mendelism, Weismannism, and Darwinism. Frege’s idea of a “conceptual notation” is used to further characterize the notion of a form/content distinction. (shrink)

Our research concerns a formal representation of Bolzano’s original concepts of Substanz and Adhärenz. The formalized intensional theory enables to articulate a question about the consistency of a part of Bolzano’s metaphysics and to suggest an answer to it in terms of contemporary model theory. The formalism is built as an extension of Zalta’s theory of abstract objects, describing two types of predication, viz. attribution and representation. Bolzano was aware about this distinction. We focus on the consistency of (...) this formalism and the description of its semantics. Firstly, we explore the possibility to reconstruct a Russellian antinomy based on the concept of the Bolzano’s Inbegriff of all adherences. Our aim is to show limitations of his theory that prevent a contradiction when the Inbegriff consists of non-self-referential adherences. Next, we discuss two competing semantics for the proposed theory: Scott’s and Aczel’s semantics. The first one yields a problematic result, that there are no models for the considered theory, containing a non-empty collection of all adherences. This is due to the fact that Scott’s structures verify the formula on reloading abstracts in extensional contexts. We show that Aczel’s semantics does not contain this difficulty. There are described Aczel’s models with a non-empty set of all adherences. The self-referentiality of such a collection becomes irrelevant here. Finally, we show that there are Aczel’s structures verifying the formula on reloading abstracts and we exclude them from the class of models intended for our theory. (shrink)

My aim in this note is to address the question of how a context of utterance can figure within a formal, specifically truth-conditional, semantic theory. In particular, I want to explore whether a formal semantic theory could, or should, take the intentional states of a speaker to be relevant in determining the literal meaning of an uttered sentence. The answer I’m going to suggest, contrary to the position of many contemporary formal theorists, is negative. The structure of (...) this note is then as follows: first, I’ll very briefly sketch three distinct forms of semantic theory. One, ‘strong formal semantics’, will be seen to be immediately problematic, leaving us with two other options: use-based theories and what I’ll term ‘moderate formal semantics’. If we opt for the latter position, the question arises of what kinds of appeals to a context of utterance are legitimate given a formal outlook. I’ll suggest that this question arises in two distinct ways and explore the moderate formal semanticist’s position in regard to both. However, the conclusion I will reach is that what is characteristic of formal semantics is that it makes only the most minimal semantic concessions to context. (shrink)

I argue that Aristotle’s account of scientific demonstrations in the Posterior Analytics is centred upon formal causation, understood as a demonstration in terms of essence (and as innocent of the distinction between form and matter). While Aristotle says that all four causes can be signified by the middle term in a demonstrative syllogism, and he discusses at some length efficient causation, much of Aristotle’s discussion is foremost concerned with the formal cause. Further, I show that Aristotle had (...) very detailed procedures for identifying the formal cause, and that he is aware of several problems which might lead one to erroneously identify the wrong form as the cause of a property. Finally, I show that Aristotle’s account can easily be adapted to material causation, and through some modifications (introduction of process universals related through parthood), hinted at in II 11-12 and 16-17, to efficient and final causation. (shrink)

In this section, we apply the notions obtained above to a famous historical example of a false proof. Our goal is to demonstrate that this proof shows a sufficient degree of distinctiveness for a formalization in a Naproche-like system and hence that automatic checking could indeed have contributed in this case to the development of mathematics. This example further demonstrates that even incomplete distinctivication can be sufficient for automatic checking and that actual mistakes may occur already in the margin between (...) the degree of distinctiveness necessary for formalization and complete distinctiveness. (shrink)

In this paper I attempt a formalization of Descartes’ causal argument for the existence of God presented in the Third Meditation. By taking into account the philosophical setting of Descartes’ Meditations, I argue that the best logical theory to carry out the formalization is quantified modal logic where free logic is used for the first-order axioms. This fact is related to Descartes’ distinction between formal and objective reality which — to my mind — suggests both the adoption of (...) modality (e.g. true in formal vs true in objective reality) and the possibility of using empty names (i.e. names which lack reference in “formal reality”). After presenting the formal system and the reconstruction of Descartes’ proof, I will discuss some issues related to the philosophical import of the formalization, such as the understanding of rigid designation and lack of reference. I will argue that the formalization of Descartes’ argument has an intrinsic philosophical value for it sheds light on the structure of argument, its implicit difficulties, and the use of logic itself to understand the philosophical tradition. (shrink)

A system HW of normal modal logic, developed by R. Bigelow & R. Pargetter is presented. Some formal issues concerning the system are examined, such as completeness, number of distinct modalities and relations to other systems. Some philosophical topics are also discussed. The Authors interpret the system HW as the system of physical (nomic) modalities. It is questioned, whether or not the system HW is justified to be claimed to be the logic of physical necessity. The answer seems to (...) may be negative. (shrink)

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks (...) for a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model. (shrink)

In this paper the cosmological argument of Gottfried-Wilhelm Leibniz is revisited. We propose an interpretation of the argument as being an argument based on the structure of the logical space of all abstract facts. For this we view Leibnizian philosophy as providing a picture theory of language. This structure is given by the metaphysical foundations of Leibnizian philosophy: Leibniz’s theory of truth in the form of praedicatum inesse subiecto, the Principle of Sufficient Reason and the distinction between necessary and (...) contingent facts. The theory of truth is interpreted as being provided by a formal calculus of abstract concepts in the sense of Edward Zalta. The other metaphysical requirements are also briefly discussed. Using these the structure on logical space is realised by an antisymmetric, transitive relation which admits arbitrary joins. Such a relation must admit a minimum, which is interpreted as the existence of God. This interpretation entails the difficulties of explicating existence in Leibniz’s metaphysics, which are also discussed. (shrink)

Kant argued at length against the idea that moral principles could be “material” principles, but consequentialist principles presuppose a theory of the good and thus seem to be material principles. After a careful explication of Kant's distinction between formal principles and material principles, especially as it is developed in The Critique of Practical Reason, we see that a consequentialist principle can indeed be a formal principle, and that they can even pass the universalizability test for moral principles. (...) The formula of universal law is compatible with consequentialism. (shrink)

We investigate the formal cause of diagrams, initially realizing that diagrams have no obvious form. It is argued their form is to mimic expert perspectives. This perspective provides a organizational structure that represents the relations important in understanding the worldly situation. We then shift to a study of how we are to understand an expert perspective. Using the distinction between intuitive and formal logic, logica utens versus logica docens, we identify games of habituation: games of focus and (...) distraction. The skills required for games of focus and distraction are phenomenological in regulating the way we see, i.e., how we approach and analyze different situations. This unique phenomenological skill is characteristic of diagrammatic reasoning. (shrink)

Using formal techniques, Schrodinger's 1935 cat argument is reproduced. Assumptions of the argument are made explicit as axioms and rules of inference; from these a contradiction is derived. The formal statement is then used to elucidate several crucial distinctions, to reject several commonly proposed resolutions, and to sketch an Einsteinian perspective for the argument.

This is a thesis in formal semantics. It consists of two parts corresponding to the distinction, due to Richard Montague, between universal grammar and specific semantic theories. The first part concerns universal grammar and is intended to provide a precise and unified conceptual framework within which different theories of formal semantics can be represented and compared. ;The second part of the thesis is concerned with intensional logic, i.e., with the logical analysis of discourse involving so called oblique (...) contexts. These contexts are characterized by the apparent failure of certain classically valid principles of substitutivity. Two kinds of reactions among logicians to the appearance of oblique contexts in natural languages are distinguished: (1) the intensional point of view, according to which oblique contexts are seen as genuine counterexamples to classical logic and to the related semantical principle of extensionality: the principle that the denotation of an expression is a function of the denotations of its parts; and (2) the extensional point of view, according to which the conflict between oblique contexts and classical logic is only apparent. The extensional point of view therefore calls for analyses of oblique contexts that preserve the laws of classical logic and the principle of extensionality. In this thesis, we are concerned with the precise formulation of and comparison between different programs for the formal semantic representation of oblique contexts. In Chapter 5, we are concerned with Church's program of representing oblique contexts within a formal language whose semantics is fully extensional and based on Frege's distinction between sense and denotation. The ambiguity between the "direct" and "indirect" denotation of an expression A is avoided by letting A be replaced in oblique contexts by an expression which denotes A's ordinary sense. We provide a possible-worlds semantics for a version of Church's formal language with the following features: (i) Objectual quantification into oblique constructions is accounted for. The treatment of quantification requires for each entity x an essence of x, by which we mean a sense which determines x in those worlds in which x exists and is undefined in all other worlds. (ii) The variables range over actually existing entities only. It is allowed that entities of certain types are contingent, i.e., the same entity may exist in one world and fail to exist in other worlds. (iii) In order to combine a proper treatment of the cross-world identification of functions with varying domains, partial functions are allowed. (iv) Senses are allowed to be partially defined. For example, the sense of a proper name is undefined in a world in which the denotation of the name does not exist. (v) Senses of functions from objects of type a to objects of type b are identified with functions from senses of objects of type a to senses of objects of type b. In Chapters 6 and 7, we pursue the Russellian Alternative in intensional semantics, where a sense/denotation distinction is avoided. Apparent failures of substitutivity principles for singular terms are explained along the lines of Russell's theory of definite descriptions. Failures of substitutivity of coextensional sentences and predicates are explained by Russell's doctrine that sentences and predicate denote propositions and propositional functions , respectively. Russellian semantics is fully extensional in the sense that the Russellian denotation of a designator is a function of the Russellian denotations of its parts. In Chapter 6, a theory of Russellian propositions is developed within set theory. This theory is then applied in Chapter 7 to the task of providing a set-theoretic semantics for Russellian type theory. (shrink)

In some ways, I think, the analytic method in philosophy and science suffers from an embarrassment of riches. It has too many distinctions—in the sense that any distinction which is infirm, but which is yet carted about along with the necessary apparatus of a method, is superfluous. In these pages I propose to examine one such distinction.A principle which is subscribed to by almost all of the “analysers” with whose work I am acquainted is that which is constituted (...) by a certain kind of dichotomization between what we may for the present loosely characterize as the “formal” and the “non-formal.” Sometimes this distinction is presented as one existing between the “formal sciences” and the “non-formal sciences”; more frequently, perhaps, it is taken as a distinction holding between certain kinds of expressions, i.e., analytic and synthetic statements. It will be the thesis of this paper that there are good reasons for believing that this distinction in either of its forms is not a cogent one. (shrink)

The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or medicine. The benefit of using top-level ontologies in applied ontology can only be realized when each of the categories identified (...) and defined by a top-level ontology is integrated with the others in a coherent fashion. Basic Formal Ontology (BFO) has from the beginning included function as one of its categories, exploiting a version of the etiological account of function that is framed at a level of generality sufficient to accommodate both biological and artifactual functions. This account has been subjected to a series of criticisms and refinements. We here articulate BFO’s account of function, provide some reasons for favoring it over competing views, and defend it against objections. (shrink)

Faced with the disenchantment and disengagement expressed by their employees, business leaders are considering ways of incorporating more benevolence into managerial practices. Nevertheless, ‘benevolence’—care and concern for the well-being of others—has not yet been studied in an organizational profit-focused context. In this paper, we seek to investigate the emergence and practice of benevolence with an eye on profit and performance. We begin by investigating the main ethical approaches to benevolence—virtue ethical, utilitarian, and deontological. Then, based on an empirical study, we (...) identify two distinct types of benevolence. On the one hand, formal benevolence is defined and monitored by the organizational processes and actions of leaders; it is understood by all concerned to be bounded by organizational performance. On the other hand, informal benevolence exists at the margin of these processes, in interpersonal and discretionary relationships. We set out to analyze these two types of benevolence and the complementarity between them. We also discuss to what extent they can be managed, teasing out some implications for managers and some potential avenues for further research. (shrink)

Etiquette and other merely formal normative standards like legality, honor, and rules of games are taken less seriously than they should be. While these standards are not intrinsically reason-providing in the way morality is often taken to be, they also play an important role in our practical lives: we collectively treat them as important for assessing the behavior of ourselves and others and as licensing particular forms of sanction for violations. This chapter develops a novel account of the normativity (...) of formal standards where the role they play in our practical lives explains a distinctive kind of reason to obey them. We have this kind of reason to be polite because etiquette is important to us. We also have this kind of reason to be moral because morality is important to us. This parallel suggests that the importance we assign to morality is insufficient to justify it being substantive. (shrink)

This paper offers a conceptually novel contribution to the understanding of the distinctive governance challenges arising from the increasing reliance on formalized knowledge in the governance of research activities. It uses the current Australian research governance system as an example – a system which exhibits a comparatively strong degree of formalization as to its knowledge mechanisms. Combining theoretical reflections on the political-administrative and epistemic dimensions of processes of formalization with analyses of interview data gathered at Australian universities, it is suggested (...) that such a strong reliance on formalized knowledge has rather ambivalent governance ramifications. On the one hand, it allows for a seemingly rational and efficient form of the control and coordination of research activities. Yet on the other hand, it also increases the risk that knowledge is used in governance contexts in superficial, unconsidered and ultimately unreasonable ways. It is further suggested that there are a range of indications that precisely such use elicits and reinforces a range of dysfunctional behaviors on part of relevant individual and organizational actors in the public science system. (shrink)