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)

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.

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)

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

Le discours philosophique peut-il légitimement recourir à l’imagination, et notamment l’imagination créatrice, tout en maintenant sa prétention à produire une authentique connaissance? Quelques-uns des grands philosophes de la tradition ont jugé sévèrement l’imagination comprise comme faculté de former des images. L’imagination mobilise en effet la sensibilité, ce qui la distingue de la conception, et la rend suspecte. L’imagination apparaît alors comme une faculté non rationnelle : non seul...

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)

À propos de : Hilary Putnam, La triple corde [1999], trad. fr. Raphaël Erhsam, Pierre Fasula, Sabine Plaud, & Jeanne-Marie Roux, Paris, Vrin, coll. « Analyse et philosophie », 2017, 256 p. Publié en 1999, The Threefold Cord appartient à la dernière phase de la pensée d’Hilary Putnam (1926-2016). La traduction française parue en 2017 est due à une équipe de jeunes chercheurs du Centre de philosophie contemporaine de la Sorbonne. Si quelques-uns de ses grands livres furent disponibles en frança...

À propos de : Pascal Engel, Les Vices du savoir. Essai d’éthique intellectuelle, Marseille, Agone, coll. « Banc d’essais », 2019, 612 p. Dans The Ethics of Belief, le mathématicien et philosophe anglais William Clifford affirme : « on a tort, partout, toujours et qui que l’on soit, de croire quoi que ce soit sur la base de données insuffisantes ». En dépit de cette sentence peu nuancée, Clifford pose un véritable problème : celui des liens entre normes épistémiques et (...) normes morales. Les croy... (shrink)

À propos de : Jacques Bouveresse, La demande philosophique. Que veut la philosophie et que peut-on vouloir d’elle?, Paris, Édition de l’Éclat, coll. « Tiré à part », 1996, 176 pages [réédition l’Éclat poche, 2015]. Jacques Bouveresse est mort le 9 mai 2021. Figure atypique du paysage philosophique français, son influence n’en reste pas moins importante. Il n’est pas exagéré de dire que toute une partie de la philosophie française actuelle lui est redevable, voire n’existerait pas sans son ef...

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)

Varieties of natural deduction systems are introduced for Wansing’s paraconsistent non-commutative substructural logic, called a constructive sequential propositional logic (COSPL), and its fragments. Normalization, strong normalization and Church-Rosser theorems are proved for these systems. These results include some new results on full Lambek logic (FL) and its fragments, because FL is a fragment of COSPL.

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)

The strong normalization theorem is uniformly proved for typed λ-calculi for a wide range of substructural logics with or without strong negation.

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 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)

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)

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)

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)

It is possible to predict future life forms? In this paper it is argued that the answer to this question may well be positive. As a basis for predictions a rationale is used that is derived from historical data, e.g. from a hierarchical classification that ranks all building block systems, that have evolved so far. This classification is based on specific emergent properties that allow stepwise transitions, from low level building blocks to higher level ones. This paper shows how this (...) hierarchy can be used for predicting future life forms.The extrapolations suggest several future neural network organisms. Major aspects of the structures of these organisms are predicted. The results can be considered of fundamental importance for several reasons. Firstly, assuming that the operator hierarchy is a proper basis for predictions, the result yields insight into the structure of future organisms. Secondly, the predictions are not extrapolations of presently observed trends, but are fully integrated with all historical system transitions in evolution. Thirdly, the extrapolations suggest the structures of intelligences that, one day, will possess more powerful brains than human beings.This study ends with a discussion of possibilities for falsification of the present theory, the implications of the present predictions in relation to recent developments in artificial intelligence and the philosophical implications of the role of humanity in evolution with regard to the creation of future neural network organisms. (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)

The globalization of economic activity and human life is the most potent force of the present era. This book examines the impact of this force on human political institutions and ideas. It develops the argument that globalization will erode the nation-state's importance and transform the array of political ideas which accompany it.

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)