One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these specially commissioned papers explore (...) the properties of diagrams, charts, and maps, and their use in problem solving and teaching basic reasoning skills. As computers make visual representations more commonplace, it is important for professionals, researchers and students in computer science, philosophy, and logic to develop an understanding of these tools; this book can clarify the relationship between visuals and information. (shrink)

We present a Kripke model for Girard's Linear Logic (without exponentials) in a conservative fashion where the logical functors beyond the basic lattice operations may be added one by one without recourse to such things as negation. You can either have some logical functors or not as you choose. Commutatively and associatively are isolated in such a way that the base Kripke model is a model for noncommutative, nonassociative Linear Logic. We also extend the logic by adding a coimplication operator, (...) similar to Curry's subtraction operator, which is resituated with Linear Logic's contensor product. And we can add contraction to get nondistributive Relevance Logic. The model rests heavily on Urquhart's representation of nondistributive lattices and also on Dunn's Gaggle Theory. Indeed, the paper may be viewed as an investigation into nondistributive Gaggle Theory restricted to binary operations. The valuations on the Kripke model are three valued: true, false, and indifferent. The lattice representation theorem of Urquhart has the nice feature of yielding Priestley's representation theorem for distributive lattices if the original lattice happens to be distributive. Hence the representation is consistent with Stone's representation of distributive and Boolean lattices, and our semantics is consistent with the Lemmon-Scott representation of modal algebras and the Routley-Meyer semantics for Relevance Logic. (shrink)

Gelfand quantales are complete unital quantales with an involution, *, satisfying the property that for any element a, if a b a for all b, then a a* a = a. A Hilbert-style axiom system is given for a propositional logic, called Gelfand Logic, which is sound and complete with respect to Gelfand quantales. A Kripke semantics is presented for which the soundness and completeness of Gelfand logic is shown. The completeness theorem relies on a Stone style representation theorem for (...) complete lattices. A Rasiowa/Sikorski style semantic tableau system is also presented with the property that if all branches of a tableau are closed, then the formula in question is a theorem of Gelfand Logic. An open branch in a completed tableaux guarantees the existence of an Kripke model in which the formula is not valid; hence it is not a theorem of Gelfand Logic. (shrink)

This paper presents the algebraic and Kripke modelsoundness and completeness ofa logic over Boolean monoids. An additional axiom added to thelogic will cause the resulting monoid models to be representable as monoidsof relations. A star operator, interpreted as reflexive, transitiveclosure, is conservatively added to the logic. The star operator isa relative modal operator, i.e., one that is defined in terms ofanother modal operator. A further example, relative possibility,of this type of operator is given. A separate axiom,antilogism, added to the logic (...) causes the Kripke models to support acollection of abstract topological uniformities which become concretewhen the Kripke models are dual to monoids of relations. The machineryfor the star operator is shownto be a recasting of Scott-Montague neighborhood models. An interpretationof the Kripke frames and properties thereof is presented in terms ofcertain CMOS transister networks and some circuit transformation equivalences.The worlds of the Kripke frame are wires and the Kripke relation is a specializedCMOS pass transistor network. (shrink)

We recast parts of decision theory in terms of channel theory concentrating on qualitative issues. Channel theory allows one to move between model theoretic and language theoretic notions as is necessary for an adequate covering. Doing so clarifies decision theory and presents the opportunity to investigate alternative formulations. As an example, we take some of Savage’s notions of decision theory and recast them within channel theory. In place of probabilities, we use a particular logic of preference. We introduce a logic (...) for describing actions separate from the logic of preference over actions. The structures introduced by channel theory that represent the decision problems can be seen to be an abstract framework. This frame-work is very accommodating to changing the nature of the decision problems to handle different aspects or theories about decision making. (shrink)

Simulation relations have been discovered in many areas: Computer Science, philosophical and modal logic, and set theory. However, the simulation condition is strictly a first-order logic statement. We extend modal logic with modalities and axioms, the latter’s modeling conditions are the simulation conditions. The modalities are normal, i.e., commute with either conjunctions or disjunctions and preserve either Truth or Falsity (respectively). The simulations are considered arrows in a category where the objects are descriptive, general frames. One can augment the simulation (...) modalities by axioms for requiring the underlying modeling simulations to be bisimulations or to be p-morphisms. The modal systems presented are multi-sorted and both sound and complete with respect to their algebraic and Kripke semantics. (shrink)

We extend the relational algebra of Chin and Tarski so that it is multisorted or, as we prefer, typed. Each type supports a local Boolean algebra outfitted with a converse operator. From Lyndon, we know that relation algebras cannot be represented as proper relation algebras where a proper relation algebra has binary relations as elements and the algebra is singly-typed. Here, the intensional conjunction, which was to represent relational composition in Chin and Tarski, spans three different local algebras, thus the (...) term distributed in the title. Since we do not rely on proper relation algebras, we are free to re-express the algebras as typed. In doing so, we allow many different intensional conjunction operators. We construct a typed logic over these algebras, also known as heterogeneous algebras of Birkhoff and Lipson. The logic can be seen as a form of relevance logic with a classical negation connective where the Routley-Meyer star operator is reified as a converse connective in the logic. Relevance logic itself is not typed but our work shows how it can be made so. Some of the properties of classical relevance logic are weakened from Routley-Meyer’s version which is too strong for a logic over relation algebras. (shrink)

Aristotle's _Nicomachean Ethics_ is one of the most important texts in western philosophy, and arguably the most influential text on contemporary moral theory. This _GuideBook_ introduces and assesses: * Aristotle's life and the background to the _Nicomachean Ethics_ * The ideas and text of the _Nicomachean Ethics_ * Aristotle's central role in philosophy and his continuing contribution to our ethical thought.

It is now integral to much of cultural, political and social analysis. This is the first comprehensive survey in one volume of the interdisciplinary field of cosmopolitan studies.

"Bartley and Radnitzky have done the philosophy of knowledge a tremendous service. Scholars now have a superb and up-to-date presentation of the fundamental ideas of evolutionary epistemology." --Philosophical Books.

A quelle condition peut-on associer ou croiser la réflexion sur la temporalité vécue et la réflexion sur le temps historique? Pour répondre, l'auteur dégage le messianisme juif des philosophies de l'histoire, relit les doctrines du temps nées dans la philosophie classique allemande et retrouve les pensées messianiques contemporaines. Il analyse enfin les différentes facettes du temps humain.

At the start of the 21st century, Corporate Social Responsibility (CSR) seems to have great potential for innovating business practices with a positive impact on People, Planet and Profit. In this article the differences between the management systems approach of the nineties, and Corporate Social Responsibility are analysed.An analysis is structured around three business principles that are relevant for CSR and management systems: (1) doing things right the first time, (2) doing the right things, and (3) continuous improvement and innovation. (...) Basically CSR is focussing on the second principle, and management systems focus on the first. However, CSR is very likely to build on the management systems as well.From a CSR point of view, the existing generation of management systems with their focus on rational control (= doing things right) can only be of limited use in the development of CSR. However, the preventive rationalities of management systems are important. Values and the principle doing the right things is extremely relevant for CSR. This goes far beyond the present generation of ISO type management systems; opportunities stem from building on TQM approaches like the EFQM Business Excellence model. Continuous improvement and innovation is a permanent challenge underlying the two other business principles, and requires both individual and organisational learning processes. In the present generation of management systems, continuous improvement mainly addresses rational prevention, barely the value aspects of business.For the further development and implementation of CSR, each of the three business management principles are vital. There is a need for a new generation of management systems that addresses the values at stake in strategic decision-making, both at company level and in the behaviour of individuals, while the rationalities of prevention and anticipation are still relevant. In both directions more emphasis for continuous learning and innovation will be needed.CSR is likely to trigger the development of management systems in the directions mentioned. This will support companies to be credible and transparent in improving the performance with respect to people, planet and profit. (shrink)

Despite hundreds of definitions, no consensus exists on a definition of life or on the closely related and problematic definitions of the organism and death. These problems retard practical and theoretical development in, for example, exobiology, artificial life, biology and evolution. This paper suggests improving this situation by basing definitions on a theory of a generalized particle hierarchy. This theory uses the common denominator of the “operator” for a unified ranking of both particles and organisms, from elementary particles to animals (...) with brains. Accordingly, this ranking is called “the operator hierarchy”. This hierarchy allows life to be defined as: matter with the configuration of an operator, and that possesses a complexity equal to, or even higher than the cellular operator. Living is then synonymous with the dynamics of such operators and the word organism refers to a select group of operators that fit the definition of life. The minimum condition defining an organism is its existence as an operator, construction thus being more essential than metabolism, growth or reproduction. In the operator hierarchy, every organism is associated with a specific closure, for example, the nucleus in eukaryotes. This allows death to be defined as: the state in which an organism has lost its closure following irreversible deterioration of its organization. The generality of the operator hierarchy also offers a context to discuss “life as we do not know it”. The paper ends with testing the definition’s practical value with a range of examples. (shrink)

Die Autoren dieses Buches befassen sich mit dem Verhältnis der Wissenschaftstheorie zu den Wissenschaften. Vertreter verschiedener Natur- und Geisteswissenschaften kommen hier nach folgendem Anordnungsprinzip zu Worte: Von den »hard sciences« zu den »soft sciences«, von den empirisch leichter prüfbaren zu den empirisch schwerer prüfbaren Wissenschaften. Die klassischen Naturwissenschaften, Physik, Chemie und Biologie, machen den Anfang. Dann folgen Ökonomie, Soziologie und Geschichte.Fast alle Beiträge sind aus Vorträgen hervorgegangen, die im Juni 1989 während eines wissenschaftlichen Kolloquiums an der Universität Trier gehalten und (...) diskutiert wurden.Das Thema der Trierer Tagung lautete: »Der Kritische Rationalismus und die Wissenschaften«. Die jeweiligen Vertreter ihres Faches waren also eingeladen, insbesondere ihr Verhältnis zur Wissenschaftstheorie des Kritischen Rationalismus darzulegen. Das Tagungsthema war vor dem Hintergrund der in demselben Jahr erfolgenden Emeritierung von Gerard Radnitzky, einem der renommiertesten Vertreter des Kritischen Rationalismus, gewählt worden. (shrink)

La nomination des phénomènes sociaux par les spécialistes cherche à les débarrasser des contenus moraux ou idéologiques que véhiculent les termes courants et vise leur objectivation. L’exercice est difficile, car, bien souvent, les nouveaux termes proposés peuvent générer des interprétations qui trahissent les intentions de leurs auteurs. Les glissements sont encore plus importants lorsque ces termes sont repris et légitimés par les institutions. L’auteur prend pour exemple deux termes, celui de familles monoparentales et celui d’hébergement alterné. Il analyse les connotations (...) et les dénégations symboliques dont ces deux termes sont porteurs et montre l’importance du pouvoir des mots. (shrink)

Communication is an important feature of the living world that mainstream biology fails to adequately deal with. Applying two main disciplines can be contemplated to fill in this gap: semiotics and information theory. Semiotics is a philosophical discipline mainly concerned with meaning; applying it to life already originated in biosemiotics. Information theory is a mathematical discipline coming from engineering which has literal communication as purpose. Biosemiotics and information theory are thus concerned with distinct and complementary possible meanings of the word (...) ‘communication’. Since literal communication needs to be secured so as to enable semantics being communicated, information theory is a necessary prerequisite to biosemiotics. Moreover, heredity is a purely literal communication process of capital importance fully relevant to literal communication, hence to information theory. A short introduction to discrete information theory is proposed, which is centred on the concept of redundancy and its use in order to make sequences resilient to errors. Information theory has been an extremely active and fruitful domain of researches and the motor of the tremendous progress of communication engineering in the last decades. Its possible connections with semantics and linguistics are briefly considered. Its applications to biology are suggested especially as regards error-correcting codes which are mandatory for securing the conservation of genomes. Biology needs information theory so biologists and communication engineers should closely collaborate. (shrink)

This paper elaborates on conceptual, empirical and practical arguments why corporations need to focus on their social dimensions, in order to further enhance organizational performance. The paper starts with an introduction on the general trend towards inclusiveness and connectedness. It then elaborates on the phase-wise development of cultures and organizational structures. Managing corporate improvement by building cultures of trust is the central focus of this contribution. By showing the cultural dimensions of Great Places to Work and their workplace practices, worthwhile (...) experiences leading to organizational improvement and superior financial performance are demonstrated. (shrink)

This paper elaborates on conceptual, empirical and practical arguments why corporations need to focus on their social dimensions, in order to further enhance organizational performance. The paper starts with an introduction on the general trend towards inclusiveness and connectedness. It then elaborates on the phase-wise development of cultures and organizational structures. Managing corporate improvement by building cultures of trust is the central focus of this contribution. By showing the cultural dimensions of Great Places to Work and their workplace practices, worthwhile (...) experiences leading to organizational improvement and superior financial performance are demonstrated. (shrink)

This paper is intended to complement our previous works on the necessary existence of error-correcting codes endowing genomes with the ability of being regenerated, not merely copied. It sketchily recalls some fundamental definitions and results of information theory and error-correcting codes; provides an overview of our research; shows that the disjunction of replication and regeneration enlightens the divide between germinal and somatic cells; suggests that some phenomena referred to as epigenetic may possibly find an explanation within the framework of error-correcting (...) codes; points out some difficulties, especially those related to sexual reproduction; criticizes the template-replication paradigm, and prompts geneticists to become familiar with information theory. (shrink)