This paper introduces conditional logic, that is, a variant of free logic where the existence condition of a function is defined by a formula of the formal language. Syntax and semantics are developed. A completeness theorem is given.

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)

Pour sortir des intégrismes et en finir avec la violence.

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

This paper examines patterns of metaphor in usage. Four samples of text excerpts of on average 47,000 words each were taken from the British National Corpus and annotated for metaphor. The linguistic metaphor data were collected by five analysts on the basis of a highly explicit identification procedure that is a variant of the approach developed by the Pragglejaz Group (Metaphor and Symbol 22: 1–39, 2007). Part of this paper is a report of the protocol and the reliability of the (...) procedure. Data analysis shows that, on average, one in every seven and a half lexical units in the corpus is related to metaphor defined as a potential cross-domain mapping in conceptual structure. It also appears that the bulk of the expression of metaphor in discourse consists of non-signalled metaphorically used words, not similes. The distribution of metaphor-related words, finally, turns out to be quite variable between the four registers examined in this study: academic texts have 18.5%, news 16.4%, fiction 11.7%, and conversation 7.7%. The systematic comparative investigation of these registers raises new questions about the relation between cognitive linguistic and other approaches to metaphor. (shrink)

Explores the origin and evolution of the Greek concept of nature up until the time of Plato.

_Explores the origin and evolution of the Greek concept of nature up until the time of Plato._.

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)

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)

Proceedings of a conference held in Oct. 2007 at St. Augustine College of South Africa.

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)

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)

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)

While our world is characterized by mobility, global interactions, and increasing knowledge, we are facing serious challenges regarding the knowledge of the places around us. We understand and navigate our surroundings by relying on advanced technologies. Yet, a truly knowledgeable relationship to the places where we live and visit is lacking. This book proposes that we are utterly lost and that the loss of a sense of place has contributed to different crises, such as the environmental crisis, the immigration crisis, (...) and poverty. With a rising number of environmental, political, and economic displacements the topic of place becomes more and more relevant and philosophy has to take up this topic in more serious ways than it has done so far. To counteract this problem, the book provides suggestions for how to think differently, both about ourselves, our relationship to other people, and to the places around us. It ends with a suggestion of how to understand ourselves in an eco-political community, one of humans and other living beings as well as inanimate objects. This book will be of great interest to researchers and students of environmental ethics and philosophy as well as those interested in the environmental humanities more generally. (shrink)

The triangular relationship between the social, the political and the cultural has opened up social and political theory to new challenges. The social can no longer be reduced to the category of society, and the political extends beyond the traditional concerns of the nature of the state and political authority. -/- This Handbook will address a range of issues that have recently emerged from the disciplines of social and political theory, focusing on key themes as opposed to schools of thought (...) or major theorists. It is divided into three sections which address: -/- the most influential theoretical traditions that have emerged from the legacy of the twentieth century -/- the most important new and emerging frameworks of analysis today -/- the major theoretical problems in recent social and political theory. (shrink)

Extra destinatum -- The philologist and the Epicurean -- Homer atomized -- The pervasive influence.

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)

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 book is devoted to a thorough analysis of the role that models play in the practise of physical theory. The authors, a mathematical physicist and a philosopher of science, appeal to the logicians’ notion of model theory as well as to the concepts of physicists.

This paper outlines limitations to integrating social meaning into cognitive models of speech production and processing. The authors remind the reader that acoustic space is not the same as articulatory or auditory space and they point to the benefits of using relatively uncommon dynamic methods of acoustic analysis. Further, the authors argue in favor of a more complex and socially‐informed conception of ‘style’ than is typically used in work on language cognition.

Anglo-Saxon schools of metascience.--Continental schools of metascience.--Toward a theory of research that is neither logical reconstruction nor psychology or sociology of science.--References (p. 420-438).

Standard canonical quantum mechanics makes much use of operators whose spectra cover the set of real numbers, such as the coordinates of space, or the values of the momenta. Discrete quantum mechanics uses only strictly discrete operators. We show how one can transform systems with pairs of integer-valued, commuting operators $P_i$ and $Q_i$ , to systems with real-valued canonical coordinates $q_i$ and their associated momentum operators $p_i$ . The discrete system could be entirely deterministic while the corresponding (p, q) system (...) could still be typically quantum mechanical. (shrink)