Free logic, an alternative to traditional logic, has been seen as a useful avenue of approach to a number of philosophical issues of contemporary interest. In this collection, Karel Lambert, one of the pioneers in, and the most prominent exponent of, free logic, brings together a variety of published essays bearing on the application of free logic to philosophical topics ranging from set theory and logic to metaphysics and the philosophy of religion. The work of such distinguished philosophers as (...) Bas van Fraassen, Dana Scott, Tyler Burge, and Jaakko Hintikka is represented. Lambert provides an introductory essay placing free logic in the logical tradition beginning with Aristotle, developing it as the natural culmination of a trend begun in the Port Royal logic of the 1600s, and continuing through current predicate logic--the trend to rid logic of existence assumptions. His Introduction also provides a useful systematic overview of free logic, including both a standard syntax and some semantical options. (shrink)

Free logic is an important field of philosophical logic that first appeared in the 1950s. J. Karel Lambert was one of its founders and coined the term itself. The essays in this collection explore the philosophical foundations of free logic and its application to areas as diverse as the philosophy of religion and computer science. Amongst the applications on offer are those to the analysis of existence statements, to definite descriptions and to partial functions. The volume contains a proof (...) that free logics of any kind are non-extensional and then uses that proof to show that Quine's theory of predication and referential transparency must fail. The purpose of this collection is to bring an important body of work to the attention of a new generation of professional philosophers, computer scientists and mathematicians. (shrink)

As well as aiming to revive interest in Meinong's thought, this book challenges many of the most widespread assumptions of philosophical logic.

The essays in this volume are based on addresses presented during a colloquium on free logic, modal logic and related areas held at the University of California at Irvine, in May of 1968. With the single exception of Dagfinn F011esdal, whose revised address is included in a recent issue of Synthese honoring W. V. Quine, all of the speakers at the Irvine colloquium are contributors to this volume. Thanks are due to Professor A. I. Melden, Chairman of the Department of (...) Philosophy at Irvine, for his enthusiastic support of the colloquium, and to Drs. Gordon Brittan and Daniel Dennett for their help in the administration of the colloquium. Finally. I should also like to thank Professor Ralph W. Gerard, Dean of the Graduate Division of the University of California at Irvine, for the financial support which made the colloquium possible. KAREL LAMBERT Laguna Beach, California, 1969 TABLE OF CONTENTS PREFACE V KAREL LAMBERT and BAS C. VAN FRAASSEN/ Meaning Relations, Possible Objects, and Possible Worlds 1 JAAKKO HINTIKKA / Existential Presuppositions and Uniqueness Presuppositions 20 RICHMOND H. THOMASON / Some Completeness Results for Modal Predicate Calculi 56 H. LEBLANC and R. K. MEYER / Truth-Value Semantics for the Theory of Types 77 J. M. VICKERS / Probability and Non Standard Logics 102 PETER W. WOODRUFF / Logic and Truth Value Gaps 121 DANA SCOTT / Advice on Modal Logic 143 INDEX OF NAMES 175 KAREL LAMBER T AND BAS C. (shrink)

The authors contend that most contemporary logic textbooks fail the average student because they emphasize the evaluation of arguments over their clarification, assuming that the student already understands what motivations underlie logic.

The expression ‘free logic,’ coined by the author in 1960, is an abbreviation for ‘logic free of existence assumptions with respect to its terms, singular and general, but whose quantifiers are treated exactly as in standard quantifier logic.’ In more traditional language, such logics do not presume that either singular or general terms — the two distinct categories of terms emphasized in modern logical grammar — have existential import. A singular term ‘t’ has existential import just in case t exists (...) (or, equivalently, there exists an object the same as t) and a general term (or predicate) ‘G’ has existential import just in case G exist (or, equivalently, there exists an object that is G).1 Examples from colloquial English customarily taken to be singular terms are expressions such as ‘Socrates’, ‘the planet causing perturbations in the orbit of Mercury’, ‘5’, ‘5/0’, ‘the square of 3’ and ‘having a heart’. Some of these do not have existential import — in particular, ‘5/0’ and ‘the planet causing perturbations in the orbit of Mercury’. Examples from colloquial English customarily taken to be general terms are expressions such as ‘is a philosopher’, ‘is a planet causing perturbations in the orbit of Mercury’, ‘number’, ‘is divisible by 0’, and ‘has a heart’. Some of these general terms do not have existential import — in particular, ‘is a planet causing perturbations in the orbit of Mercury’ and ‘is divisible by 0’. To say that the quantifers are treated exactly as in standard quantifier logic is to say, roughly, that the operator symbol ‘∃’ (the existential quantifier) reads: ‘There exists an object’, and the operator symbol ‘∀’ (the universal quantifier) reads: ‘Every existent object’. (shrink)

Many biologists still believe in a sort of post-Cartesian foundation of reality wherein objects are independent of subjects which cognize them. Recent research in behaviour, cognition, and psychology, however, provides plenty of evidence to the effect that the perception of an object differs depending on the kind of animal observer, and also its personality, hormonal, and sensorial set-up etc. In the following, I argue that exposed surfaces of organisms interact with other organisms’ perception to form semiautonomous relational entities called semantic (...) organs, which participate in biological reality as discrete heritable evolutionary units. The inner dimensions and potentialities of an organism can enter the senses of another living being when effectively expressed on the outer surfaces of the former and meaningfully perceived by the latter. Semantic organs have three basic sources of variability: intrinsic, i.e., genetic, epigenetic, and developmental processes; extrinsic, meaning the biotic and abiotic environmental conditions which affect the developmental generators of intrinsic variability; and perceptual, stemming from differences in the subject-specific interpretation of a SO’s structural basis. Extrinsic and intrinsic sources of variability are, however, just precursors to semantic organs. SOs are relational entities which always come into existence through an act of perception and their actual form depends both on the physical potentialities of the bearer and the species- or group-specific interpretation of the receiver. (shrink)

The essays in this volume are based on addresses presented during a colloquium on free logic, modal logic and related areas held at the University of California at Irvine, in May of 1968. With the single exception of Dagfinn F011esdal, whose revised address is included in a recent issue of Synthese honoring W. V. Quine, all of the speakers at the Irvine colloquium are contributors to this volume. Thanks are due to Professor A. I. Melden, Chairman of the Department of (...) Philosophy at Irvine, for his enthusiastic support of the colloquium, and to Drs. Gordon Brittan and Daniel Dennett for their help in the administration of the colloquium. Finally. I should also like to thank Professor Ralph W. Gerard, Dean of the Graduate Division of the University of California at Irvine, for the financial support which made the colloquium possible. KAREL LAMBERT Laguna Beach, California, 1969 TABLE OF CONTENTS PREFACE V KAREL LAMBERT and BAS C. VAN FRAASSEN/ Meaning Relations, Possible Objects, and Possible Worlds 1 JAAKKO HINTIKKA / Existential Presuppositions and Uniqueness Presuppositions 20 RICHMOND H. THOMASON / Some Completeness Results for Modal Predicate Calculi 56 H. LEBLANC and R. K. MEYER / Truth-Value Semantics for the Theory of Types 77 J. M. VICKERS / Probability and Non Standard Logics 102 PETER W. WOODRUFF / Logic and Truth Value Gaps 121 DANA SCOTT / Advice on Modal Logic 143 INDEX OF NAMES 175 KAREL LAMBER T AND BAS C. (shrink)

Mimicry is often cited as a compelling demonstration of the power of natural selection. By adopting signs of a protected model, mimics usually gain a reproductive advantage by minimising the likelihood of being preyed upon. Yet while natural selection plays a role in the evolution of mimicry, it can be doubted whether it fully explains it. Mimicry is mediated by the emergence of formally analogous patterns between unrelated organisms and by the fact that these patterns are meaningfully perceived as similar. (...) The perception of similarity is always perceiver-dependent. Similarities between for instance colours are psychophysical phenomena, and their existence is conditioned by an intimate interdependence between perceivers and perceptible reality. In this sense, mimicry is by its very nature dualistic. The analogy in form needed to establish a mimicry does not emerge out of the blue. It depends on the ecological context and the morphogenetic potential of a species. In our proposal, we take into account both the developmental generators of formally analogous structures and the perceptual and cognitive processes that lead to the emergence of mimicry. We show that some of the rather controversial and nowadays largely neglected ideas found in non-Anglo-Saxon literature on mimicry deserve closer attention. We suggest that the diversity of mimicry types is due to differences in variational properties of form-generating and perceptual systems among diverse groups of organisms. We also anticipate that processes studied within social psychology and emotion research probably take place, at least in a simplified form, also in non-human animals. Finally, we argue that these meaning-attributive processes underlie the functionality of mimicry. (shrink)

Organic appearances are largely neglected by contemporary biology; partly because they are regarded as superficial effects of causes concealed beneath the surface. The persuasion that everything what does exist is existent for some immediately non-apparent reasons belongs to a general belief of modern science. All organisms are of the same evolutionary origin and of the same world wherein appearance coincides with existence. In this study, living beings are approached as appearing centers of experience that reflects their evolutionary history. From biohermeneutic (...) point of view the evolution of organisms, interactions between organisms, and their relationships to environment is understood as “evolution of interpretations”. I use simple conceptual framework of perception, semiotic co-option, and modification to explain the evolution of semantic organs, i.e. organs that operate through the meaning that was given to them by an animal interpreter. (shrink)

The essay outlines the character of free logic, and motivation for its construction and development. It details some technical achievements of high philosophical interest, but urges that the role of existence assumptions in logic is still not fully understood, that unresolved old problems, both technical and philosophical, abound, and presents some new problems of considerable philosophical import in free logic.

Homology is among the most important comparative concepts in biology. Today, the evolutionary reinterpretation of homology is usually conceived of as the most important event in the development of the concept. This paradigmatic turning point, however important for the historical explanation of life, is not of crucial importance for the development of the concept of homology itself. In the broadest sense, homology can be understood as sameness in reference to the universal guarantor so that in this sense the different concepts (...) of homology show a certain kind of “metahomology”. This holds in the old morphological conception, as well as in the evolutionary usage of homology. Depending on what is (or was) taken as a guarantor, different types of homology may be distinguished (as idealistic, historical, developmental etc.). This study represents a historical overview of the development of the homology concept followed by some clues on how to navigate the pluralistic terminology of modern approaches to homology. (shrink)

Public debate on acceptable farm animal husbandry suffers from a confusion of tongues. To clarify positions of various stakeholder groups in their joint search for acceptable solutions, the concept of animal welfare was split up into three notions: no suffering, respect for intrinsic value, and non-appalling appearance of animals. This strategy was based on the hypothesis that multi-stakeholder solutions should be based on shared values rather than on compromises. The usefulness of such an artificial value distinction strategy was tested in (...) a small series of experiments. The results demonstrate that the chosen concept to distinguish between values is effective in a stakeholder context. Farmers’ views on doing good to animals appeared to be largely based on their value to prevent suffering and predominantly focused on the provision of regular care. Their priority for this value is clearly shared with other stakeholders, providing a basis for joint solutions. The concept of intrinsic value does not play a discernable role in farmers’ considerations. Based on the varying views on welfare, it can be inferred that there is a gradual rather than a principal difference between government legislation and farmers’ values, whereas public perception and acceptance of farm practices remains complicated. Distinction between value groups and focusing on a selected notion (such as no suffering) proved to be effective in bringing representatives of stakeholder groups together, but is unlikely to bridge the emotional gap between commercial farm practices and public ideals. (shrink)

In the Philebus, Plato elaborates an image of our soul as a book where a scribe and a painter are constantly at work. This book examines the implicit premises of this image and aims at overcoming the general polarity of ancient phantasia and modern imagination.

This paper deals with the Meinong-Russell controversy on nonsubsistent objects. The first part notes the similarity of certain contemporary semantical developments to Meinonj;'s theory of nonsubsistent objects. Then it lays out the major features of Meinong's famous theory, considers Russell's objections to same and Meinong's counter-objections to Russell, and argues that Russell's well-known argument fails. However, it is possible to augment Russell's argument against Meinong with sound Russellian principles in such a way that it presents at least a strong inclining (...) reason against Meinong's theory of impossible objects. (shrink)

In Liberalism’s religion, Laborde defends a liberal egalitarian position and tackles, from a new perspective, some issues dealt with in his republican writings. This article examines some of these issues, paying attention to the place that the recognition of identities occupies both in her republican and in her liberal theories, as well as the type of justification advanced in both cases. The article shows that the recognition of identities has gone from having a peripheral and instrumental role in her republican (...) writings to having a central role in her liberal theory. (shrink)

Molecular Revolution in BrazilFélix Guattari and Suely Rolniktranslated by Karel Clapshow and Brian HolmesYes, I believe that there is a multiple people, a people of mutants, a people of potentialities that appears and disappears, that is embodied in social, literary, and musical events.... I think that we're in a period of productivity, proliferation, creation, utterly fabulous revolutions from the viewpoint of this emergence of a people. That's molecular revolution: it isn't a slogan or a program, it's something that I (...) feel, that I live....--from Molecular Revolution in BrazilFollowing Brazil's first democratic election after two decades of military dictatorship, French philosopher Félix Guattari traveled through Brazil in 1982 with Brazilian psychoanalyst Suely Rolnik and discovered an exciting, new political vitality. In the infancy of its new republic, Brazil was moving against traditional hierarchies of control and totalitarian regimes and founding a revolution of ideas and politics. Molecular Revolution in Brazil documents the conversations, discussions, and debates that arose during the trip, including a dialogue between Guattari and Brazil's future President Luis Ignacia Lula da Silva, then a young gubernatorial candidate. Through these exchanges, Guattari cuts through to the shadowy practices of globalization gone awry and boldly charts a revolution in practice.Assembled and edited by Rolnik, Molecular Revolution in Brazil is organized thematically; aphoristic at times, it presents a lesser-known, more overtly political aspect of Guattari's work. Originally published in Brazil in 1986 as Micropolitica: Cartografias do desejo, the book became a crucial reference for political movements in Brazil in the 1980s and 1990s. It now provides English-speaking readers with an invaluable picture of the radical thought and optimism that lies at the root of Lula's Brazil. Félix Guattari, post-'68 French psychoanalyst and philosopher, is the author of Anti-Oedipus, The Anti-Oedipus Papers, 2006), and other books. Semiotext has published the first two volumes of his complete essays, Chaosophy and Soft Subversions, and will publish the final volume, Chaos and Complexity, in 2008. Suely Rolnik is a psychoanalyst, cultural critic, and curator who lives and works in São Paulo, Brazil. She was a close collaborator of Guattari during her exile in Paris from the military dictatorship in Brazil. (shrink)

This paper provides a finer analysis of the well-known form of the Local Deduction Theorem in contraction-free logics . An infinite hierarchy of its natural strengthenings is introduced and studied. The main results are the separation of its initial four members and the subsequent collapse of the hierarchy.

The independent emergence of similar features in phylogenetically non-allied groups of organisms has usually been explained as the result of similar selection pressures particular to specific environments. This explanation has been more or less helpful in elucidating convergent resemblances among organisms since the times of Darwin. Nevertheless, intensive research has brought new knowledge on the emergence of structural similarity among organisms, especially during the last two decades. We now have manifold evidence of the phenomena of evolutionary re-entries or re-evolution, which (...) happens when a particular character present in one organic taxon also appears in another taxon which does not share an immediate ancestry. This is not the re-appearance of the same character, but rather of a similar one. Here I propose a model of threefold origin of similar phenotypic features in unrelated organisms stemming from intrinsic, extrinsic and semiosic causation. It is suggested that neither externalist nor internalist explanations per se, nor any combination thereof, are sufficient to cover all the manifold instances of character re-evolution. There is also a special group of resemblances that consists of what is originated, shaped, and retained in evolution due to meaning attributed to them by particular organic subjects. These cases cannot be fully understood without inviting a biosemiotic approach. Integrating Uexkull’s theory of meaning with the recent evolutionary developmental perspective could complete our understanding of phenotypic re-evolution. (shrink)

The independent emergence of similar features in phylogenetically nonallied groups of organisms has usually been explained as the result of similar selection pressures particular to specific environments. This explanation has been more or less helpful in elucidating convergent resemblances among organisms since the times of Darwin. Nevertheless, intensive research has brought new knowledge on the emergence of structural similarity among organisms, especially during the last two decades. We now have manifold evidence of the phenomena of evolutionary re-entries or re-evolution, which (...) happens when a particularcharacter present in one organic taxon also appears in another taxon which does not share an immediate ancestry. This is not the re-appearance of the same character, but rather of a similar one. Here I propose a model of threefold origin of similar phenotypic features in unrelated organisms stemming from intrinsic, extrinsic and semiosic causation. It is suggested that neither externalist nor internalist explanations per se, nor any combination thereof, are sufficient to cover all the manifold instances of character re-evolution. There is also a special group of resemblances that consists of what is originated, shaped, and retained in evolution due to meaning attributed to them by particular organic subjects. These cases cannot be fully understood without inviting a biosemiotic approach. Integrating Uexküll’s theory of meaning with the recent evolutionary developmental perspective could complete our understanding of phenotypic re-evolution. (shrink)