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)

This treatise of medicine by Yühannā ibn Sarābiyūn, written in Syriac in the 8th century, translated into Arabic in the 10th century and then into Latin in the 12th century, is a typical example of the transmission of Hippocratic medicine from the Arabic East to the Latin West in the Middle Ages. However, while the complete Latin translation of Gerard of Cremona has reached us, we have only fragments of the Arabic text, dispersed in five manuscripts preserved in four European (...) libraries. In the first part we shall try to establish the biographical information about the author and the four translators of his treatise from Syriac to Arabic. In the second part we shall study the Arabic fragments of the Paris manuscript and the two Escorial manuscripts, first by examining their language, and then by comparing them to the Latin translation. Composé en syriaque au VIII e siècle, traduit en arabe au X e siècle, puis en latin au XII e siècle, ce traité de médecine de Yūḥannā ibn Sarābiyūn est un exemple typique de la transmission de la médecine hippocratique de l'Orient arabe à l'Occident latin au moyen âge. Mais si la traduction latine de ce traité, faite par Gérard de Crémone, nous est parvenue dans son intégralité, nous ne possédons que des fragments du texte arabe, dispersés dans cinq manuscrits conservés dans quatre bibliothèques européennes. Dans une première partie, on essaiera de préciser les données biographiques relatives à l'auteur et aux quatre traducteurs qui ont effectué la traduction de son traité du syriaque en arabe. Dans une seconde partie, on étudiera les fragments du manuscrit de Paris et des deux manuscrits de l'Escorial, en examinant d'abord ces fragments du point de vue de leur langue, puis en les comparant à la traduction latine. (shrink)

Eight focus groups were conducted in four public hospitals in Madrid to explore healthcare professionals’ perceptions of advance directives in order to improve the understanding of their lack of success among physicians and patients. A purposive sample of sixty healthcare professionals discussed ADs and reasons for their infrequent use. Three main themes were identified: perceptions about their meaning, appraisals of their use in clinical practice, and decision-making about them. Healthcare professionals perceived a lack of clarity about their definition and implementation. (...) There is insufficient awareness of their efficacy in improving the quality of clinical relationships and decision-making, and they are often perceived only as a bureaucratic procedure. Advance directives are not integrated in the clinical practice of Madrid’s healthcare specialist services because their application is exceedingly complex, because of insufficient education about them, and because of lack of procedural clarity. Consequently, healthcare professionals are not aware of how ADs could improve clinical decision-making, of when and for whom their use is appropriate, and of who has responsibility for providing ADs-related information to patients. These circumstances contribute to patients’ lack of interest in completing these documents and to physicians’ sceptical views about their usefulness. (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)

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

La intención principal del presente artículo se centra en tres puntos esenciales y correlacionados entre sí. Nuestra principal intención es presentar, argumentativamente, las razones por las que Juan David García Bacca habría cometido un error al traducir el término heideggeriano Sorge por preocupación y no por cuidado. Pretendemos sostener que el hecho de traducir Sorge por preocupación, distorsiona gravemente todo el andamiaje ontológico y existencial propuesto por Heidegger. Si esto es así, Juan David García Bacca habría elaborado un sistema crítico (...) contra Heidegger, sostenido sobre un error de fondo, de traducción y de nivel de discurso. Es decir, el filósofo español únicamente se habría quedado en un orden de discurso óntico y no ontológico tal y como exige el proyecto fenomenológico heideggeriano.The aim of this essay focuses on three main points which are essentials and related to each other. Our main aim is to present, in our argument, the reasons for which Juan David García Bacca would have erroneously translated Heidegger´s term “Sorge” for “concern” instead of “care”. We hope to maintain the argument that the fact of translating Sorge for concern seriously distorts the ontological and existential framework that Heidegger proposes. If this is a fact, Juan David García Bacca would have developed a critical system against Heidegger, held over a fundamental mistake, at both a discourse and a translation level. In this way, the Spanish philosopher would have only achieved an ontic discourse and not an ontologic one, which is what Heidegger´s phenomenological project requires. (shrink)

Nuestra intención en el presente trabajo es el siguiente: presentar del modo más sintético, concreto y preciso, las claves del “método dialéctico transfinitante” garcibacquiano. Analizaremos desde un punto de vista hermenéutico y crítico, el modo en el que el método dialéctico transfinitante es, en sí mismo, el sustento filosófico del humanismo positivo. Para ello, analizaremos los principales argumentos expuestos en Curso sistemático de filosofía actual que, a nuestro juicio, tal vez sea una de las obras más importantes de toda la (...) producción filosófica de García Bacca. Como trataremos de demostrar a lo largo del presente artículo, la viabilidad y puesta en marcha del humanismo positivo como posibilidad real depende, en gran medida, de la sostenibilidad argumentativa del método dialéctico transfinitante propuesto por García Bacca. (shrink)

RESUMENEl presente artículo pretende dar cuenta del origen y cambio radical de paradigma filosófico sufrido por el filósofo de origen Navarro Juan David García Bacca. En especial, trataremos de analizar cómo y por qué razón, el filósofo español pasa de desestimar la posibilidad de una forma propia del filosofar español desde una perspectiva ontológica, hasta tratar la poesía y la literatura como las formas idiosincráticas del hacer filosofía en español. Esta forma característicamente española de hacer filosofía en español será, pues, (...) determinante para la comprensión del abandono de la etapa existencialista garcibaccquiana, y su renovado interés por la obra del poeta Antonio Machado, y su filosofar por y para el pueblo.PALABRAS CLAVEONTOLOGÍA, GARCÍA BACCA, FILOSOFÍA, ESPAÑOLABSTRACTThis paper pursues to explain the origin and radical philosophical paradigm shift undergone by the philosopher from Navarre Juan David Garcia Bacca. Specifically, we will try to analyze how and why the Spanish philosopher moves from dismissing the possibility of a particular form of Spanish philosophizing from an ontological perspective, to treating poetry and literature as idiosyncratic ways of doing philosophy in Spanish. This typically Spanish way of doing philosophy in Spanish will be, therefore, crucial to understand the abandonment of the Garcibaccquian existentialist stage, and his renewed interest in the work of the poet Antonio Machado and his philosophizing by and for the peopleKEYWORDSONTOLOGY, GARCÍA BACCA, PHILOSOPHY, SPANISH. (shrink)

En este artículo, la filosofía analítico-lingüística es identificada como la metodología predominante en la filosofía del deporte. Según esta propuesta metodológica, la búsqueda de la definición del deporte es la meta principal de la filosofía. La hermenéutica del deporte es opuesta a la de tipo analítico-lingüístico. Analizando el concepto de verdad de Heidegger, se comparan dos concepciones de la tarea de la filosofía: ontología y descrip-ción. La tarea de la hermenéutica del deporte tiene que ver con la descripción. Las expli-caciones (...) hermenéuticas del deporte son un intento de describir la facticidad del deporte, que está compuesta por tres momentos diferentes: corporalidad, capacidades, y tradici. (shrink)

En este artículo se analiza el concepto de imperativo metanoético que Peter Sloterdijk presenta en ¡Has de cambiar tu vida! Nuestro objetivo es iluminar la naturaleza de lo que, en trabajos anteriores, hemos denominado -a raíz de la obra de Bernard Suits-: razón lúdica. Para ello, primero, expondremos y analizaremos el sentido del imperativo metanoético en Sloterdijk, así como los elementos principales de su razón ascética. Segundo, mostraremos cómo ambos son consecuencia del análisis ontológico de corte heideggeriano en la que (...) Sloterdijk basa su propuesta de filosofía moral. Tercero, presentaremos en términos sloterdijkianos tanto el análisis ontológico de Suits, como el posible imperativo metanoético que se desprendería de su razón lúdica. Por último, centrándonos en el papel que Sloterdijk otorga a la figura del «ocioso», mostraremos las posibles conexiones entre Suits y Sloterdijk. Mostraremos la relación que existe entre los imperativos lúdicos y ascéticos donde, además, el acto «jugar» recibe un papel central en la «respuesta a la pregunta por el ser». In this article, we analyze Peter Sloterdijk’s concept of “metanoethical imperative” in You Must Change Your Life. Our goal is to shed light on what, by drawing on Bernard Suits, we call “ludic reason.” To do so, we will present and examine in depth the meaning of Sloterdijk’s metanoethical imperative, as well as the main features of his concept of “askesis.” Second, we will argue that both concepts are the result of the Heideggerian ontological principles underlying Sloterdijk’s moral philosophy. Third, we will provide a “Sloterdijkean” interpretation of Suits’ account of games by focusing on the metanoethical imperative that could be derived from the notion of the ludic reason. To conclude, we will focus on the role that the figure of the “Good-for-Nothing” plays in Sloterdijk’s account, showing connections between Suits’ and Sloterdijk’s approaches. We will argue that, in the philosophical approaches of both philosophers, the idea of game playing is closely tied to the “question on Being.”. (shrink)

En el presente artículo trataremos un tema inédito dentro de los estudios sobre la vida y obra de García Bacca. En especial, trataremos de ver en qué medida la obra de García Bacca puede ser interpretada como una expansión de los límites que, en opinión de Heidegger, la propuesta metafísica nietzscheana lleva asociado de modo intrínseco. En especial, trataremos de analizar comparativamente ambas propuestas metafísicas con el fin de demostrar que si bien parte de la génesis de la propuesta filosófica (...) garcibacquiana responde parcialmente ciertos elementos característicos de Nietzsche, el progresivo contacto de García Bacca con otras perspectivas políticas, filosóficas, económicas, etc., provocan una aproximación paralela a las obras de Machado y Marx. Dicha aproximación a estos y otros factores de influencia, provocan una transformación y ampliación en su propuesta filosófica. (shrink)

-Este artículo se centra en el análisis de los estudios teóricos y empíricos sobre la sociología del cómic durante los siglos XX y XXI. Aunque en la actualidad el cómic está ampliamente aceptado en el ámbito académico, tanto en publicaciones periódicas como en monografías especializadas, esto no ha sido lo habitual en el pasado. Los primeros estudios fueron excepciones en el ámbito más amplio de la sociología de la comunicación, y no será hasta los años 50 cuando se popularicen en (...) la academia. Uno de los catalizadores de la sociología del cómic fue la obra de Umberto Eco (1968), a partir de la cual llegarían estudios más profundos como los de Dorfman y Mattelart (1971) o Luc Boltanski (1975). Finalmente, se analizan trabajos empíricos que toman como base el lenguaje del cómic. (shrink)

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)

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)

Libertad o utopía? -- Unamuno en el infierno -- El año de los poetas -- El hombre superior -- Concursos y premios literarios -- Por fortuna aún contamos con la poesía -- Desahogo lírico -- Xenofobia -- Variaciones sobre un tema de Omar Khayyam -- Simón Bolívar y la lectura -- El tierno encanto de las pequeñas ciudades.

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 article seeks to explain how and why groups and networks of undocumented migrants mobilizing in Berlin, Montréal, and Paris since the beginning of the 2000s construct different types of claims. The authors explore the relationship between undocumented migrants and state authorities at the local level through the concept of the citizenship regime and its specific application to undocumented migrants. Despite their common formal exclusion from citizenship, nonstatus migrants experience different degrees and forms of exclusion in their daily lives, in (...) terms of access to certain rights and services, recognition, and belonging within the state. As a result, they have an opportunity to create different, specific forms of leeway in the society in which they live. The concurrence of these different degrees of exclusion and different forms of leeway defines specific conditions of mobilization. The authors demonstrate how the content of their claims is influenced by these conditions of mobilization. (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)

In Spain, the introduction of the new Diploma in Nursing in 1977 saw the role of nurses shifting from that of medical assistants with technical skills to being independent members of the healthcare team with specific responsibility for providing professional nursing care. Here, we analyse the evolution of the nursing profession in Spain following the transfer of nurse education to universities, doing so through interviews with the first generation of academic tutors. This was a qualitative study using the method of (...) analytic induction and based on the principles of grounded theory. Participants were selected by means of theoretical sampling and then underwent in‐depth interviews. Steps were taken to ensure the credibility, transferability, dependability and confirmability of data. The main conclusion of the analysis is that there is a gap between a theoretical framework borrowed from the Anglo‐American context and a nursing practice that, in Spain, has traditionally prioritised the application of technical procedures, a role akin to that of a medical assistant. It is argued that a key factor underlying the way in which nursing in Spain has evolved in recent decades is the lack of conceptual clarity regarding what the role of the professional nurse might actually entail in practice. (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)

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)

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