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)

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)

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)

"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.

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)

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 presents a theory of the syntactic aspects of human sentence production. An important characteristic of unprepared speech is that overt pronunciation of a sentence can be initiated before the speaker has completely worked out the meaning content he or she is going to express in that sentence. Apparently, the speaker is able to build up a syntactically coherent utterance out of a series of syntactic fragments each rendering a new part of the meaning content. This incremental, left‐to‐right mode (...) of sentence production is the central capability of the proposed Incremental Procedural Grammar (IPG). Certain other properties of spontaneous speech, as derivable from speech errors, hesitations, self‐repairs, and language pathology, are accounted for as well.The psychological plausibility thus gained by the grammar appears compatible with a satisfactory level of linguistic plausibility in that sentences receive structural descriptions which are in line with current theories of grammar. More importantly, an explanation for the existence of configurational conditions on transformations and other linguistics rules is proposed.The basic design feature of IPG which gives rise to these psychologically and linguistically desirable properties, is the “Procedures + Stack” concept. Sentences are built not by a central constructing agency which overlooks the whole process but by a team of syntactic procedures (modules) which work—in parallel—on small parts of the sentence, have only a limited overview, and whose sole communication channel is a stack.IPG covers object complement constructions, interrogatives, and word order in main and subordinate clauses. It handles unbounded dependencies, crossserial dependencies and coordination phenomena such as gapping and conjunction reduction. It is also capable of generating self‐repairs and elliptical answers to questions. IPG has been implemented as an incremental Dutch sentence generator written in LISP. (shrink)

Fast moving classical variables can generate quantum mechanical behavior. We demonstrate how this can happen in a model. The key point is that in classically evolving systems one can still define a conserved quantum energy. For the fast variables, the energy levels are far separated, such that one may assume these variables to stay in their ground state. This forces them to be entangled, so that, consequently, the slow variables are entangled as well. The fast variables could be the vacuum (...) fluctuations caused by unknown super heavy particles. The emerging quantum effects in the light particles are expressed by a Hamiltonian that can have almost any form. The entire system is ontological, and yet allows one to generate interference effects in computer models. This seemed to lead to an inexplicable paradox, which is now resolved: exactly what happens in our models if we run a quantum interference experiment in a classical computer is explained. The restriction that very fast variables stay predominantly in their ground state appears to be due to smearing of the physical states in the time direction, preventing their direct detection. Discussions are added of the emergence of quantum mechanics, and the ontology of an EPR/Bell Gedanken experiment. (shrink)

The Language Dynamic identifies a number of mechanisms that enable the meaning potential of language from the phoneme through grammar and discourse and onto ideological systems. This book, which underpins functional theories of language with concepts from biological and cultural evolution, social semiotics and systems theory, is relevant to all who are interested in how and why we can mean and what it means for us as humans to be semiotic agents.

Arif Ahmed has recently argued that causal decision theory is dynamically inconsistent and that we should therefore prefer evidential decision theory. However, the principal formulation of the evidential theory, Richard Jeffrey’s Logic of Decision, has a mixed record of its own when it comes to evaluating plans consistently across time. This note probes that neglected record, establishing the dynamic consistency of evidential decision theory within a restricted class of problems but then illustrating how evidentialists can fall into sequential incoherence outside (...) of this class. Uncovering the evidentialist’s own dynamic inconsistencies reveals, contra Ahmed, that sequential choice considerations do not significantly favor the evidentialist’s theory over the causalist’s. (shrink)

For organizational development that is future-oriented, enterprises increasingly need qualified, motivated and efficient workers who are able and willing to contribute actively to technical and organizational innovations. Furthermore, customers and consumers are increasingly interested in healthy products and services. Therefore, health has become a (potential) business value of strategic importance. In interaction with all relevant stakeholders, an approach was developed for companies that want to manage their health impact in a proactive and preventive manner. The approach was termed Integral Health (...) Management (IHM). IHM forms a strategic approach for reducing the costs of sickness absence and working disability, while the productivity and resilience of the company and its employees are increased. This brings the company direct economic benefits. Finally, it is of prime interest for employees to remain physically and mentally healthy and employable. The IHM approach distinguishes seven lines of development: (1) health as a strategic company interest; (2) the realization of a healthy primary process; (3) a safe and sound physical (work) environment; (4) an inspiring social (work) environment; (5) vital people; (6) a sound relationship with the immediate organizational environment and local community, and (7) healthy products and/or services. The inter-relationships between the seven development lines are essential for combining an improvement of the business impact on health with a strategic interest of companies and organizations. The seven lines of IHM development can easily be linked to the European Foundation for Quality Management''s European Excellence Model. (shrink)

La pensée de Jean-Jacques Rousseau est essentiellement une pensée politique, qui oscille entre un pôle transpolitique, que le citoyen de Genève incarne, par exemple, dans les personnages du législateur, du pédagogue et du sage, et un pôle prépolitique, où figurent l'homme naturel, le marginal et l'homme sensible. C'est en examinant quelques pages de trois grandes oeuvres de Rousseau: l'« Emile », « Du contrat social » et « Julie ou la Nouvelle Héloïse », que je tenterai d'éclaircir brièvement ces points. (...) Ainsi sera manifestée l'actualité des paradoxes rousseauistes.Rousseau's thought is essentially a political thought that swings from a transpolitical pole, presented through the figures of the legislator, the pedagogue and the wise man, and a prepolitical pole, where we meet natural man, the outsider and the man of exquisite sensibility. This theme is brought to light through a partial analysis of three of Rousseau's major works : " Emile ", " Du contrat social " and the "Nouvelle Héloïse". In this way, it is hoped that Rousseau's paradoxes will be shown to have meaning for our contemporaries. (shrink)

It has become widely recognized that religiousness has a predictable pattern of small associations with Big Five personality dimensions, and has some intersections with cultural psychology. But just how large are those culture-religiosity intersections, and are there additional associations with personality when one extends beyond the restricted spectrum represented by Big Five traits? Moreover, do the answers to these questions depend on how religiousness is defined and measured? I argue that, both conceptually and empirically, religiousness itself meets the criteria for (...) a personality dimension (including stability, heritability, and other grounds), and is simultaneously for the most part a cultural phenomenon reflecting often widely shared sets of beliefs, values, worldviews, and norms. The patterns of modest associations with other personality dimensions, from the Big Five and beyond, are consistent with both arguments. A distributive model of culture, under which culture is aggregated personalities (and especially mindsets) helps make sense of these relations. Tradition-oriented religiousness tends to have a prominent position in enduring-order (as contrasted with evolving-order) cultures, which helps account for its occasional expressions in political religion. In contrast, mystical spirituality is more prone to manifest as a sub-cultural phenomenon peripheral to mainstream culture. But for either conception—religiousness or spirituality—the same personality-and-culture propositions appear to hold. Nonetheless, religiousness seems not totally reducible to a variable for personality or cultural psychology, and considerations are introduced regarding what that irreducible element is most likely to be. (shrink)

This paper notes the apparent ineffectiveness of the critical response to competence-based education and training (CBET) and suggests that this results from a failure to correctly isolate CBET's unique, identifying features. It is argued that the prevailing tendency to identify CBET with ‘competence’ is fundamentally mistaken and that the competence approach is more properly characterised in terms of its philosophically naïve methodological strategy. It is suggested that this strategy is based upon untenable assumptions relating to the semantic status of statements (...) of outcome and the epistemological and ontological constructs to which such statements are intended to correspond. (shrink)

Unlike the first generation of critical theorists, contemporary critical theory has largely ignored technology. This is to the detriment of a critical theory of society – technology is now a central feature of our daily lives and integral to the contemporary form of capitalism. Rather than seek to rescue the first generation’s substantive theory of technology, which has been partly outmoded by historical developments, the approach adopted in this article is to engage with today’s technology through the conceptual apparatus offered (...) by the early Frankfurt School. This rationale is guided by the conviction that the core ideas of critical theory still offer a sound basis for assessing the nature of technology today. Through a reconstruction and engagement with some of the core concepts of first-generation critical theory, as well as the work of Bernard Stiegler and Andrew Feenberg, we can arrive at a more robust theory of technology, capable of critically interrogating the role of technology in contemporary society. (shrink)

Current research findings on metaphor in language and thought may be interpreted as producing a paradox of metaphor; that is, most metaphor is not processed metaphorically by a cross-domain mapping involving some form of comparison. This paradox can be resolved by attending to one crucial aspect of metaphor in communication: the question whether metaphor is used as deliberately metaphorical or not. It is likely that most deliberate metaphor is processed metaphorically (by comparison), as opposed to most nondeliberate metaphor, which may (...) be assumed to be typically not processed metaphorically (that is, by categorization). This resolves the paradox of metaphor because it suggests that all “metaphor in communication” (all deliberate metaphor) is processed metaphorically. Detailed comments are offered on the notion of metaphor deliberateness and on the nature of a three-dimensional model of metaphor in discourse involving metaphor in language, thought, and communication. (shrink)