The notion of harmony has played a pivotal role in a number of debates in the philosophy of logic. Yet there is little agreement as to how the requirement of harmony should be spelled out in detail or even what purpose it is to serve. Most, if not all, conceptions of harmony can already be found in Michael Dummett's seminal discussion of the matter in The Logical Basis of Metaphysics. Hence, if we wish to gain a better (...) understanding of the notion of harmony, we do well to start here. Unfortunately, however, Dummett's discussion is not always easy to follow. The following is an attempt to disentangle the main strands of Dummett's treatment of harmony. The different variants of harmony as well as their interrelations are clarified and their individual shortcomings qua interpretations of harmony are demonstrated. Though no attempt is made to give a detailed alternative account of harmony here, it is hoped that our discussion will lay the ground for an adequate rigorous treatment of this central notion. (shrink)
Maximalism is the view that an agent is permitted to perform a certain type of action if and only if she is permitted to perform some instance of this type, where φ-ing is an instance of ψ-ing if and only if φ-ing entails ψ-ing but not vice versa. Now, the aim of this paper is not to defend maximalism, but to defend a certain account of our options that when combined with maximalism results in a theory that accommodates the idea (...) that a moral theory ought to be morally harmonious—that is, ought to be such that the agents who satisfy the theory, whoever and however numerous they may be, are guaranteed to produce the morally best world that they have the option of producing. I argue that, for something to count as an option for an agent, it must, in the relevant sense, be under her control. And I argue that the relevant sort of control is the sort that we exercise over our reasons-responsive attitudes by being both receptive and reactive to reasons. I call this sort of control rational control, and I call the view that φ-ing is an option for a subject if and only if she has rational control over whether she φs rationalism. When we combine this view with maximalism, we get rationalist maximalism, which I argue is a promising moral theory. (shrink)
Michael Dummett and Dag Prawitz have argued that a constructivist theory of meaning depends on explicating the meaning of logical constants in terms of the theory of valid inference, imposing a constraint of harmony on acceptable connectives. They argue further that classical logic, in particular, classical negation, breaks these constraints, so that classical negation, if a cogent notion at all, has a meaning going beyond what can be exhibited in its inferential use. I argue that Dummett gives a mistaken (...) elaboration of the notion of harmony, an idea stemming from a remark of Gerhard Gentzen's. The introduction-rules are autonomous if they are taken fully to specify the meaning of the logical constants, and the rules are harmonious if the elimination-rule draws its conclusion from just the grounds stated in the introduction-rule. The key to harmony in classical logic then lies in strengthening the theory of the conditional so that the positive logic contains the full classical theory of the conditional. This is achieved by allowing parametric formulae in the natural deduction proofs, a form of multiple-conclusion logic. (shrink)
This paper takes a close look at the thought that mereological relations on material objects mirror, and are mirrored by, parallel mereological relations on their exact locations. This hypothesis is made more precise by means of a battery of principles from which more substantive consequences are derived. Mereological harmony turns out to entail, for example, that atomistic space is an inhospitable environment for material gunk or that Whiteheadian space is not a hospitable environment for unextended material atoms.
This paper responds to recent work in the philosophy of Homotopy Type Theory by James Ladyman and Stuart Presnell. They consider one of the rules for identity, path induction, and justify it along ‘pre-mathematical’ lines. I give an alternate justification based on the philosophical framework of inferentialism. Accordingly, I construct a notion of harmony that allows the inferentialist to say when a connective or concept is meaning-bearing and this conception unifies most of the prominent conceptions of harmony through (...) category theory. This categorical harmony is stated in terms of adjoints and says that any concept definable by iterated adjoints from general categorical operations is harmonious. Moreover, it has been shown that identity in a categorical setting is determined by an adjoint in the relevant way. Furthermore, path induction as a rule comes from this definition. Thus we arrive at an account of how path induction, as a rule of inference governing identity, can be justified on mathematically motivated grounds. (shrink)
Many prominent writers on the philosophy of logic, including Michael Dummett, Dag Prawitz, Neil Tennant, have held that the introduction and elimination rules of a logical connective must be ‘in harmony ’ if the connective is to possess a sense. This Harmony Thesis has been used to justify the choice of logic: in particular, supposed violations of it by the classical rules for negation have been the basis for arguments for switching from classical to intuitionistic logic. The Thesis (...) has also had an influence on the philosophy of language: some prominent writers in that area, notably Dummett and Robert Brandom, have taken it to be a special case of a more general requirement that the grounds for asserting a statement must cohere with its consequences. This essay considers various ways of making the Harmony Thesis precise and scrutinizes the most influential arguments for it. The verdict is negative: all the extant arguments for the Thesis are weak, and no version of it is remotely plausible. (shrink)
The paper exposes the relevance of permuting conversions (in natural-deduction systems) to the role of such systems in the theory of meaning known as proof-theoretic semantics, by relating permuting conversion to harmony, hitherto related to normalisation only. This is achieved by showing the connection of permuting conversion to the general notion of canonicity, once applied to arbitrary derivations from open assumption. In the course of exposing the relationship of permuting conversions to harmony, a general definition of the former (...) is proposed, generalising the specific cases of disjunction and existential quantifiers considered in the literature. (shrink)
Inferentialism claims that expressions are meaningful by virtue of rules governing their use. In particular, logical expressions are autonomous if given meaning by their introduction-rules, rules specifying the grounds for assertion of propositions containing them. If the elimination-rules do no more, and no less, than is justified by the introduction-rules, the rules satisfy what Prawitz, following Lorenzen, called an inversion principle. This connection between rules leads to a general form of elimination-rule, and when the rules have this form, they may (...) be said to exhibit “general-elimination” harmony. Ge-harmony ensures that the meaning of a logical expression is clearly visible in its I-rule, and that the I- and E-rules are coherent, in encapsulating the same meaning. However, it does not ensure that the resulting logical system is normalizable, nor that it satisfies the conservative extension property, nor that it is consistent. Thus harmony should not be identified with any of these notions. (shrink)
In my Steinberger 2009 I argued that Neil Tennant’s Harmony requirement is untenable because of its failure to account for the standard quantifier rules.1 Instead of justifying the customary rules for the existential and universal quantifiers, Tennant’s account appears to sanction only wholly unrestricted – and so patently disharmonious – quantifier rules. In his characteristically thoughtful response Tennant 2010, Tennant offers a sequent calculus version of his Harmony requirement that rules out such pathological would-be quantifiers. While I agree (...) with Tennant that recasting his Harmony requirement in the sequent format as he proposes blocks the said disharmonious quantifier rules, I submit that Tennant’s revamped Harmony requirement nevertheless misses the mark. I present two objections to substantiate my claim. First, I show that the crucial additional assumption underlying Tennant’s sequent calculus-based account – what I call the admissibility assumption – is excessively strong: so strong, in fact, that it renders otiose the core of Tennant’s original account. Second, I argue that the admissibility assumption, as a global requirement on deductive systems, is ill-suited for the purposes of codifying the intuitive notion of harmony. Fortunately, though, as I will demonstrate, we can dispense with the admissibility assumption altogether. (shrink)
According to logical inferentialists, the meanings of logical expressions are fully determined by the rules for their correct use. Two key proof-theoretic requirements on admissible logical rules, harmony and separability, directly stem from this thesis—requirements, however, that standard single-conclusion and assertion-based formalizations of classical logic provably fail to satisfy :1035–1051, 2011). On the plausible assumption that our logical practice is both single-conclusion and assertion-based, it seemingly follows that classical logic, unlike intuitionistic logic, can’t be accounted for in inferentialist terms. (...) In this paper, I challenge orthodoxy and introduce an assertion-based and single-conclusion formalization of classical propositional logic that is both harmonious and separable. In the framework I propose, classicality emerges as a structural feature of the logic. (shrink)
The paper studies the extension of harmony and stability, major themes in proof-theoretic semantics, from single-conclusion natural-deduction systems to multiple -conclusions natural-deduction, independently of classical logic. An extension of the method of obtaining harmoniously-induced general elimination rules from given introduction rules is suggested, taking into account sub-structurality. Finally, the reductions and expansions of the multiple -conclusions natural-deduction representation of classical logic are formulated.
Chenyang Li’s new book, The Philosophy of Confucian Harmony, has been heralded as the first book-length exposition of the concept of harmony in the approximately 3,000 year old Confucian tradition. It provides a systematic analysis of Confucian harmony and defence of its relevance for contemporary moral and political thought. In this philosophical discussion of Li’s book, I expound its central claims, contextualize them relative to other salient work in English-speaking Confucian thought, and critically reflect on them in (...) light of a conception of harmony that is salient in the sub-Saharan African tradition. Hence, this article aims to continue the nascent dialogue between indigenous Chinese and African philosophical traditions that has only just begun. Li responds to this critical notice in the same issue of the journal. (shrink)
The thesis that, in a system of natural deduction, the meaning of a logical constant is given by some or all of its introduction and elimination rules has been developed recently in the work of Dummett, Prawitz, Tennant, and others, by the addition of harmony constraints. Introduction and elimination rules for a logical constant must be in harmony. By deploying harmony constraints, these authors have arrived at logics no stronger than intuitionist propositional logic. Classical logic, they maintain, (...) cannot be justified from this proof-theoretic perspective. This paper argues that, while classical logic can be formulated so as to satisfy a number of harmony constraints, the meanings of the standard logical constants cannot all be given by their introduction and/or elimination rules; negation, in particular, comes under close scrutiny. (shrink)
In 2005, Chinese President Hu Jintao instituted a “Harmonious Society” policy marking a new China’s approach toward development. This generated intense excitement among observers of Corporate Social Responsibility (CSR) who perceive an overlap in objectives between CSR and Harmonious Society and believe that Harmonious Society will lead to increased CSR engagement in China. However, there is little exploration of how Harmonious Society will contribute to increasing CSR engagement. This article seeks to explore whether Harmonious Society will meet this promise. It (...) does so by drawing up a list of actions that if taken by the government would increase the level of CSR in China and make Harmonious Society a relevant factor in the development of Chinese CSR. To do so, my article studies comparative literature on CSR development to develop a framework that divides causes of CSR in a country into environmental constraints and discretionary responses. Understanding what drives the development of CSR allows us to understand what measures the Chinese government can take to influence the level of CSR. Using this framework, my article suggests that Harmonious Society is unlikely to promote CSR in China’s growing private sector because policy measures that affect the “constraints” driving CSR are bounded by other political considerations. (shrink)
Family firm leaders acting as stewards of a close-knit enterprise may attempt to build a positive atmosphere of trust, clarity, and cohesiveness in the firm’s operation. Yet, conditions unique to family firms may lead some family members to develop a heightened sense of entitlement and weaker bonds to the organization. This creates conditions for a Fredo effect, where a family member’s incompetence, opportunistic behaviors, and/or ethically dubious actions can impede the firm’s success, potentially resulting in a scandal that could lead (...) to the firm’s demise and negative economic impact on employees, customers, and other stakeholders. Surveying 147 family-firm members, we examine the role that linkages among perceptions of family harmony norms, distributive fairness, role ambiguity, and relationship conflict play in the emergence of a family member who acts as an impediment to the firm, which can be manifested in damaging unethical behaviors. As hypothesized, family harmony norms and fairness perceptions are negatively related to family impediment, while role ambiguity is positively related to family impediment. However, relationship conflict mediates these connections, underscoring the potential damage this type of conflict can create in a family firm, even if leaders of the firm attempt to establish conditions that reflect a stewardship approach to firm governance. We discuss how these findings impact the development of an ethical climate in the family firm and the implications for family business survival or scandal. (shrink)
According to a common reading, Spinoza and Leibniz stand on opposite ends of the modal spectrum. At one extreme lies ‘‘Spinoza the necessitarian,’’ for whom the actual world is the only possible world. At the other lies ‘‘Leibniz the anti-necessitarian,’’ for whom the actual world is but one possible world among an infinite array of other possible worlds; the actual world is privileged for existence only in virtue of a free decree of a benevolent God. In this paper, I challenge (...) both of these readings. Spinoza is no necessitarian and Leibniz is no anti-necessitarian – at least as these characterizations are usually understood. Rather, I contend, Spinoza and Leibniz are both anti-essentialists; they believe that the modality of objects can vary relative to how those objects are conceived. This shared commitment to anti-essentialism allows them to consistently affirm both necessitarianism and its denial, relative to different ways of conceiving the world. Their embrace of this modal theory, I further argue, is grounded in their similar views on metaphysical perfection, ontological plentitude, and the principle of sufficient reason. (shrink)
The standard natural deduction rules for the identity predicate have seemed to some not to be harmonious. Stephen Read has suggested an alternative introduction rule that restores harmony but presupposes second-order logic. Here it will be shown that the standard rules are in fact harmonious. To this end, natural deduction will be enriched with a theory of definitional identity. This leads to a novel conception of canonical derivation, on the basis of which the identity elimination rule can be justified (...) in a proof-theoretical manner. (shrink)
The primary task confronting an examination of the claimed connection between Kant's general theory of cognition and his account of aesthetic judgment requires clarifying perhaps the most obscure component of that account, the doctrine of the harmony of the faculties. Kant's presentation of this doctrine makes it notoriously difficult to penetrate. Much of what Kant says about the harmony of the faculties – perhaps the very phrase “the harmony of the faculties” – is rather imprecise and metaphorical. (...) Yet, the importance of a correct understanding of the harmony of the faculties to assessing both the merits of Kant's aesthetic theory and his claims for the epistemological significance of reflection is difficult to overstate, for it is precisely this state of harmony that ultimately grounds the validity of judgments of taste and does so in virtue of being a state in which the most general prerequisites to conceptual judgment are present. (shrink)
In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known as reduction and (...) expansion . We propose a construction of the E-rules (in GE-form) from given I-rules, and prove that the constructed rules satisfy also local intrinsic harmony. The construction is based on a classification of I-rules, and constitute an implementation to Gentzen’s (and Pawitz’) remark, that E-rules can be “read off” I-rules. (shrink)
When I began working on my dissertation on Kant’s aesthetic theory in 1971, I was able to read virtually all of the extant literature on the Critique of Judgment in English, German, andFrench going back to Hermann Cohen’s Kants Begr¨undung der A¨ sthetik of 1889, while also reading most of what I wanted to read of eighteenth-century British and German aesthetics before Kant—not because I had paid my dues to Evelyn Wood, but just because there was not all that much (...) to read.1 I pity the graduate student who sets out to write a dissertation on the third Critique now: since Donald Crawford, Francis Coleman, Jens Kulenkampff, Eva Schaper, and I published books on Kant’s aesthetics between 1974 and 1979 there has been a continuing flood of articles (this journal receives more submissions on Kant’s aesthetics annually than on any other historical topic) and books, a flood that has only accelerated since 2000. Confining myself only to monographs and anthologies on Kant’s aesthetics or the third Critique as a whole (but not those devoted exclusively to teleology) in English, German, and French on my shelves, and no doubt missing some, at least in German and French, I find twenty-eight monographs and anthologies published in the period between 1980 and 1999 and another twenty-seven just since 2000. (Indeed, two more have arrived on my desk since this article was written.)3 Someone setting out to work on the third Critique now has at least as many books from the last decade alone to read as I had in 1971 from the eight preceding decades. The present review will make only a small dent in this pile: I will discuss just five monographs and one introduction to the third Critique, all published in English in 2006 and 2007. (shrink)
This chapter takes a close look at the thought that mereological relations on material objects mirror, and are mirrored by, parallel mereological relations on their exact locations. This hypothesis is made more precise by means of a battery of principles from which more substantive consequences are derived. Mereological harmony turns out to entail, for example, that atomistic space is an inhospitable environment for material gunk or that Whiteheadian space is not a hospitable environment for unextended material atoms.
This article argues that Cassirer’s thinking about the relationship between the different symbolic forms is best elucidated via the paradigm of “organic harmony.” Although Cassirer did not use the term himself, the harmonious cooperation between the parts found in the organic world provided him with a welcome alternative to traditional accounts of order. This article gives three examples of “organic harmony” from which Cassirer drew inspiration: Goethe’s idealistic morphology, Wilhelm von Humboldt’s account of language, and Herder’s account of (...) history. Through “organic harmony” we can make better sense of and better articulate the pluralism of Cassirer’s PSF. Finally, this article shows how the motif of organic harmony is the normative moment in Cassirer’s own challenge to twentieth-century fascism and argues that the Cassirerian emphasis on finding a coherence which does justice to the uniqueness of particulars—harmony—is an ethical injunction relevant for our times. (shrink)
This volume is intended for professional philosophers and laymen with an interest in East-West studies and comparative philosophy and religion. The central focus is the concept of comparing perspectives from both the Eastern and the Western philosophical traditions on harmony and strife. The unique and happy result is an East-West anthology which is directed at analyzing a single philosophical problem which is of importance to both traditions. Unlike many anthologies which tend to be collections of isolated and unrelated essays, (...) the Editors' focus on a single theme has resulted in a unified volume which maintains a high continuity of interest throughout. The Editors have carefully culled and organized essays from a select group of philosophers from the United States, West Germany, Japan, Australia, Beijing, Taipei and Hong Kong. Harmony and strife are analyzed as systematic concepts in Western philosophy, as parts of classical Chinese thought, as central concepts in Buddhism, as metaphysical concepts, as dialectical concepts and even as null concepts. The Editors have taken great care so that a continuity and a coherence of presentation is achieved despite the striking variety of perspectives from which harmony and strife are analyzed. It is both unusual and important to have such a systematic and thorough investigation of a topic of paramount social and philosophical significance by some of the leading minds of the day. Besides, the essays included are eminently readable. The volume is likely to become a standard work in this area for some years to come. (shrink)
Although idealism was widely defended in the history of philosophy, it is nowadays almost universally considered a non-starter. This holds in particular for a strong form of idealism, which asserts that not just minds or the mental in general, but our human minds in particular are metaphysically central to reality. Such a view seems to be excessively anthropocentric and contrary to what we by now know about our place in the universe. Nonetheless, there is reason to think that such a (...) strong form of idealism is indeed correct. In this paper, I will present an argument for idealism of this kind through considerations about a harmony between our thought and reality. The central argument in favour of idealism will come from a possibly unexpected source: we can see that a strong form of idealism is true simply from considerations about our language alone. I shall argue that thinking about how we represent reality allows us to conclude that idealism is true, and thus that reality must be a certain way. But no argument of this kind seems to allow for a metaphysical conclusion like idealism, since considerations about our language alone only show how we represent reality, not how reality is. And thus idealism can’t possibly follow, since it concerns how reality is, not just how we represent it to be. A good part of the second half of the paper is devoted to showing how such an argument is possible after all, and that it really does establish idealism. (shrink)
This paper explores whether MacIntyrean virtue ethics concepts are applicable in non-Western business contexts, specifically in SMEs in Taiwan, a country strongly influenced by the Confucian tradition. It also explores what differences exist between different polities in this respect, and specifically interprets observed differences between the Taiwanese study and previous studies conducted in Europe and Asia. Based on case study research, the findings support the generalizability of the MacIntyrean framework. Drawing on the institutional logics perspective and synthesizing this with MacIntyrean (...) concepts, the paper explains the differences between the studies largely by reference to the Confucian tradition operating at both the micro-level within firms and at the macro-level as a means of harmonizing the potentially competing institutional logics to which firms are subject. The recent weakening of this tradition, however, suggests that increased conflict may characterize the future. (shrink)
This paper formulates a bilateral account of harmony, which is an alternative to the one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading some of the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. Thus the consequences of asserting a formula give grounds for denying it, namely if the opposite speech act is (...) applied to the consequences. Similarly, the consequences of denying a formula give grounds for asserting the formula. I formulate a process of inversion, which allows the determination of assertive elimination rules from assertive introduction rules, and rejective elimination rules from rejective introduction rules, and conversely. It corresponds to Francez's notion of vertical harmony. I also formulate a process of conversion, which allows the determination of rejective introduction rules from certain assertive elimination rules and conversely, and the determination for assertive introduction rules from certain rejective elimination rules and conversely. It corresponds to Francez's notion of horizontal harmony. (shrink)
The philosophical discussion about logical constants has only recently moved into the substructural era. While philosophers have spent a lot of time discussing the meaning of logical constants in the context of classical versus intuitionistic logic, very little has been said about the introduction of substruc-tural connectives. Linear logic, affine logic and other substructural logics offer a more ﬁne-grained perspective on basic connectives such as conjunction and disjunction, a perspective which I believe will also shed light on debates in the (...) philosophy of logic. In what follows I will look at one particularly interesting instance of this: The development of the position known as logical inferentialism in view of substructural connectives. I claim that sensitivity to structural properties is an interesting challenge to logical inferentialism, and that it ultimately requires revision of core notions in the inferentialist litera-ture. Speciﬁcally, I want to argue that current deﬁnitions of proof theoretic harmony give rise to problematic nonconservativeness as a result of their insensitivity to substructurality. These nonconservativeness results are undesirable because they make it impossible to consistently add logical constants that are of independent philosophical interest. (shrink)
The object of Angleâ€™s rich, fascinating and wide-ranging book is the admirable one of building a bridge between Confucian ethics and modern ethical thought. He does this through the use of two major tools. The first is the overall framework: Confucian ethics is understood as a type of virtue ethics. The second is the deployment of â€œbridge conceptsâ€ â€œwhich allow us to put two traditions into dialogueâ€ for â€œthey are open enough to permit of greater specificationâ€ (Stalnaker 2006: 17) in (...) relation to each of the traditions brought into dialogue (52). These two tools are linked, for Angle thinks of virtue ethics itself as a bridge concept, â€œwhich is meant to be a general framework for discussion rather than a particular, fully specified understandingâ€ (52). This is an interesting approach to the problem of the definition of virtue ethics, but I shall not focus on this issue. Nor shall I challenge the virtue ethical framework of Angleâ€”I am not qualified enough for thatâ€”though I believe that some reject such a framework in favor of role ethics. I myself believe that virtue ethics in its fuller development should embrace role ethics through the notion of what I have called â€œdifferentiatedâ€ virtue. But this issue is not the focus of Angleâ€™s book. Rather I shall concentrate on aspects of two concepts which Angle appears to deploy as bridge concepts: balance in relation to the Confucian idea of harmony, and attention in relation to the Confucian idea of reverence. We begin with balance and harmony. (shrink)
This study aimed to explore the role of two models of well-being in the prediction of psychological distress during the COVID-19 pandemic, namely PERMA and mature happiness. According to PERMA, well-being is mainly composed of five elements: positive emotions, engagement, relationships, meaning in life, and achievement. Instead, mature happiness is understood as a positive mental state characterized by inner harmony, calmness, acceptance, contentment, and satisfaction with life. Rooted in existential positive psychology, this harmony-based happiness represents the result of (...) living in balance between positive and negative aspects of one's life. We hypothesized that mature happiness would be a more prominent protective factor during the present pandemic than the PERMA composite. A total of 12,203 participants from 30 countries responded to an online survey including the Depression Anxiety Stress Scale, the PERMA-Profiler, and the Mature Happiness Scale-Revised. Confirmatory factor analyses indicated that PERMA and mature happiness were highly correlated, but nonetheless, they represented two separate factors. After controlling for demographic factors and country-level variables, both PERMA Well-being and MHS-R were negative predictors of psychological distress. Mature happiness was a better predictor of stress, anxiety, and general distress, while PERMA showed a higher prediction of depression. Mature happiness moderated the relation between the perceived noxious effects of the pandemic and all markers of distress. Instead, PERMA acted as a moderator in the case of depression and stress. These findings indicate that inner harmony, according to the mature happiness theory, is an essential facet of well-being to be taken into consideration. The results of this study can also orient policies aimed to alleviate the negative effects of the pandemic on mental health through the promotion of well-being. (shrink)
The patient admission scheduling problem is an optimization problem in which we assign patients automatically to beds for a specific period of time while preserving their medical requirements and their preferences. In this paper, we present a novel solution to the PAS problem using the harmony search algorithm. We tailor the HS to solve the PAS problem by distributing patients to beds randomly in the harmony memory while respecting all hard constraints. The proposed algorithm uses five neighborhood strategies (...) in the pitch adjustment stage. This technique helps in increasing the variations of the generated solutions by exploring more solutions in the search space. The PAS standard benchmark datasets are used in the evaluation. Initially, a sensitivity analysis of the HS algorithm is studied to show the effect of its control parameters on the HS performance. The proposed method is also compared with nine methods: non-linear great deluge, simulated annealing with hyper-heuristic, improved with equal hyper-heuristic, simulated annealing, tabu search, simple random simulated annealing with dynamic heuristic, simple random improvement with dynamic heuristic, simple random great deluge with dynamic heuristic, and biogeography-based optimization. The proposed HS algorithm is able to produce comparably competitive results when compared with these methods. This proves that the proposed HS is a very efficient alternative to the PAS problem, which can be efficiently used to solve many scheduling problems of a large-scale data. (shrink)
In diesem Beitrag soll systematisch untersucht werden, wie in der Moderne der Begriff der Tyrannis umgedeutet wird, und wie die moderne Auffassung der Tyrannis mit der Aufwertung des Antagonismus zusammenhängt. Von der Antike bis zum Spätmittelalter wird die tyrannische Herrschaft über die durch sie selbst herbeigeführte Auflösung des Staates definiert: Als tyrannisch gilt die Regierung, die jene in der Antike als normativ gesetzte und im Mittelalter als gottgegeben aufgefasste Harmonie des Gemeinwesens zerstört. In der Moderne gelten dagegen alle Regierungen als (...) tyrannisch, die das Individuum bei oder gar in der Entfaltung seiner Talente und Eigenschaften hindern. Diese neue Begriffsbestimmung gründet auf die Aufwertung der Antagonismen als Bestandteile der menschlichen Natur und zugleich als Triebfeder des staatsrechtlichen Fortschritts. Die neuzeitliche Aufwertung der Antagonismen und das mit ihm zusammenhängende Primat der individuellen Freiheit haben zur Folge, dass vom Staat die Fähigkeit gefordert wird, die aus der Entfaltung der individuellen Freiheit entstehenden Antagonismen anzuerkennen. Erst in der Moderne wird nämlich der Anspruch zur Geltung gebracht, einen staatsrechtlichen Raum zu gestalten, der Antagonismen ohne Schmälerung der individuellen Freiheit zu regeln vermag. (shrink)
The paper begins with a conceptual discussion of Michael Dummett's proof-theoretic justification of deduction or proof-theoretic semantics, which is based on what we might call Gentzen's thesis: 'the introductions constitute, so to speak, the "definitions" of the symbols concerned, and the eliminations are in the end only consequences thereof, which could be expressed thus: In the elimination of a symbol, the formula in question, whose outer symbol it concerns, may only "be used as that which it means on the basis (...) of the introduction of this symbol".' The intuitive philosophical content of Dummett's notions of harmony and stability is that harmony obtains if the grounds for asserting a proposition match the consequences of accepting it, and stability obtains if the converse also holds. Rules of inference define the meanings of a logical constant they govern if and only if they are stable. Gentzen observed that 'it should be possible to establish on the basis of certain requirements that the elimination rules are functions of the corresponding introduction rules.' One of the objectives of this paper is to specify such a function: I will specify a process by which it is possible to determine the elimination rules of logical constants from their introduction rules, and conversely, to determine the introduction rules from the elimination rules. I'll give the general forms of rules of inference and generalised reduction procedures for the normalisation of deduction. I'll give a formally precise characterisations of harmony and stability and show that deductions in logics that contain only constants governed by stable rules always normalise. (shrink)
Though deceptively simple and plausible on the face of it, Craig's interpolation theorem (published 50 years ago) has proved to be a central logical property that has been used to reveal a deep harmony between the syntax and semantics of first order logic. Craig's theorem was generalized soon after by Lyndon, with application to the characterization of first order properties preserved under homomorphism. After retracing the early history, this article is mainly devoted to a survey of subsequent generalizations and (...) applications, especially of many-sorted interpolation theorems. Attention is also paid to methodological considerations, since the Craig theorem and its generalizations were initially obtained by proof-theoretic arguments while most of the applications are model-theoretic in nature. The article concludes with the role of the interpolation property in the quest for "reasonable" logics extending first-order logic within the framework of abstract model theory. (shrink)
David Lewis has argued against the thesis he calls "Desire as Belief", claiming it is incompatible with the fundamentals of evidential decision theory. I show that the argument is unsound, and demonstrate that a version of desire as belief is compatible with a version of causal decision theory.
One of Ludwik Fleck’s ideas about the development of scientific knowledge is that—once a system of interpretation is in place—the process that follows can be characterised as one of inertia: any new evidence comes under a strong pressure to be incorporated into the established frame. This can result in what Fleck called a harmony of illusions when contradictory evidence becomes almost invisible or is incorporated into the established frame only by huge efforts.The paper analyses early explanations of the tuberculin (...) reaction as a case study of Fleck’s argument. For Robert Koch, who had presented tuberculin in 1890, the compound was supposed to be a diagnostic tool and a cure for tuberculosis. His conception of its effect was rather peculiar, but strictly in line with ideas on the pathogenesis of infectious diseases he had developed much earlier. After tuberculin was released in late 1890, whether Koch’s conception was convincing depended on the place that a given observer had in the medical world in late-nineteenth-century Germany. Inside Koch’s group, the status of the tuberculin reaction remained stable and tuberculin retained its value as a diagnostic and curative tool. On the other hand, observers from outside that thought collective, and in particular from clinical medicine, soon pointed to flaws in its conception. These critics developed a rather different picture of tuberculin as a mysterious and dangerous drug. No reconciliation followed and what we find instead in German medicine around the year 1900 is the presence of rather contradictory concepts and practices surrounding Koch’s wonder cure. (shrink)
Harmony is a concept essential to Confucianism and to the way of life of past and present people in East Asia. Integrating methods of textual exegesis, historical investigation, comparative analysis, and philosophical argumentation, this book presents a comprehensive treatment of the Confucian philosophy of harmony. The book traces the roots of the concept to antiquity, examines its subsequent development, and explicates its theoretical and practical significance for the contemporary world. It argues that, contrary to a common view in (...) the West, Confucian harmony is not mere agreement but has to be achieved and maintained with creative tension. Under the influence of a Weberian reading of Confucianism as "adjustment" to a world with an underlying fixed cosmic order, Confucian harmony has been systematically misinterpreted in the West as presupposing an invariable grand scheme of things that pre-exists in the world to which humanity has to conform. The book shows that Confucian harmony is a dynamic, generative process, which seeks to balance and reconcile differences and conflicts through creativity. Illuminating one of the most important concepts in Chinese philosophy and intellectual history, this book is of interest to students of Chinese studies, history and philosophy in general and eastern philosophy in particular. (shrink)
A central thesis of the book is that we can assume "the worst" about what science tells us about the human animal without having to sacrifice any of the things that are of most importance to ethics: virtue and the good life, harmony of the ...
Mit diesem Beitrag untersuch ich systematisch (1) wie der Tyrannis-Begriff in der Moderne umgedeutet wird (2) und wie die moderne Auffassung der Tyrannis mit der Aufwertung des Antagonismus zusammenhängt. Von der Antike bis zum Spätmittelalter, so meine Rekonstruktion, gilt eine Regierung als tyrannisch, wenn sie die in der Antike als normativ gesetzte und im Mittelalter als gottgegeben aufgefasste Harmonie des Gemeinwesens zerstört. Dagegen gilt in der Moderne eine Regierung als tyrannisch, wenn sie das Individuum bei oder in der Entfaltung seiner (...) Talente und Eigenschaften hindert. Diese neue Begriffsbestimmung ergibt sich aus der Aufwertung der politischen und sozialen Antagonismen als Bestandteile der menschlichen Natur und zugleich als Triebfeder des staatsrechtlichen Fortschritts. Die neuzeitliche Aufwertung des Antagonismus und das mit diesem zusammenhängende Primat der individuellen Freiheit haben zur Folge, dass vom Staat die Fähigkeit gefordert wird, die aus der Entfaltung der individuellen Freiheit entstehenden Antagonismen anzuerkennen. Erst in der Moderne wird nämlich der Anspruch zur Geltung gebracht, den staatsrechtlichen Raum so zu gestalten, dass er politische und soziale Antagonismen ohne Schmälerung der individuellen Freiheit zu regeln vermag. (shrink)