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)

Abstrakt/Abstract Na příkladu dvou myslitelů ze zcela odlišných období dějin filosofie lze předvést otázku nejobecnějších podmínek pravdivé řeči, které se projevují na pomezí sémantiky v užším slova smyslu a utváření širšího pojmu světa jakožto pojmu, k němuž patří vytyčení jasných mezí smysluplného vypovídání o tom, co je. Od této velmi obecné otázky se příspěvek obrací k užšímu tématu negace čili k pravidlům užití řeči, která je sice správná a v některých případech pravdivá, avšak postrádá svůj vlastní a specifický korelát v (...) plné osnově skutečnosti samé. Výchozími texty jsou zlomky Parmenidovy básně O jsoucím a její moderní výklady od čtení Russellova až po tzv. modální interpretaci, kladoucí důraz na motivy nutného jsoucího a nemožného nejsoucího, a dále pasáže z Wittgensteinova Traktátu i Filosofických zkoumání (§ 50). Podrobnější srovnání postoje obou myslitelů k negaci umožňuje prohloubit i rozšířit starší srovnávání Parmenidova argumentu o nemožnosti mluvit o tom, co není, a Wittgensteinova důrazu na nutnou existenci jednoduchých objektů. Choosing two thinkers from two entirely different periods of the history of philosophy, one can fruitfully illustrate the issue of the most general conditions of truthful speech, which take effect on the crossroad of the narrowly conceived semantics and a broadly construed concept of the world as a concept that implies the posting of neat limits of the meaningful linguistic articulation of what there is. From this very general issue, the article turns to the narrower question of negation, and thus of the rules of the use of the correct and sometimes true speech that, nevertheless, lacks its specific referent in the full structure of reality. The texts under scrutiny are the fragments of Parmenides’ poem On Being and its modern exegeses ranging from Russell to the modal interpretation that emphasizes the necessary being and the impossible not-being, plus passages from Wittgenstein’s Tractatus and also his Philosophical Investigation (§ 50). A more detailed comparison of the attitude of both thinkers towards negation helps to both deepen and expand the earlier suggested parallel between Parmenides’ argument about the impossibility to speak about what is not and Wittgenstein’s emphasis on the necessary existence of simple objects. (shrink)

The mystical experiences of the ṛṣis , the spiritual giants of the early Vedic times, led to the creation of the Vedic hymns and eventually to the formation of the whole elaborate structure of the Vedic religion, as upheld by the Indian priesthood. But there were obviously others who pursued mystical experiences without themselves engaging, like the ancient ṛṣis , in attempts to transmit their experiences through mythological poetry and religious leadership. They adopted mystical ecstasy as their way of life. (...) Mysticism as a conscious way of life is, in India, called Yoga. Being outside the trend of Vedic mythological creativity and the Brāhmanic religious orthodoxy, the Yogis of Vedic times left little evidence of their existence, practices and achievements. And such evidence as has survived in the Vedas is scanty and indirect. (shrink)

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)

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)

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 COVID-19 pandemic has highlighted the difficult task of balancing access to misinformation with respect for patient decision-making. Due to its innate antagonism, the paradigm of “physician paternalism” versus “patient autonomy” may not adequately capture the clinical relationship. The authors hypothesized that most patients would, in fact, prefer significant physician input as opposed to unopinionated information when making medical decisions. There is a lack of empirical data corroborating this in the United States. To that end, a survey was distributed to (...) 650 individuals through Amazon Mechanical Turk, of which 499 responses met pre-determined quality criteria. Most respondents believed their doctor's insight would be better than their own if injured or gravely ill. When asked to affirm preferences separately, a significantly higher proportion of respondents preferred guidance from their doctor when making medical decisions compared to being presented with unopinionated information ( p < 0.001). Encouragingly, 93.1% believed that the doctor's primary goal was their health. When asked directly to compare physician guidance to unopinionated information, 69.1% respondents stated they would prefer physician guidance. We found a consistent association between educational/economic background and affirmative responses ( p < 0.001), suggesting particular attention should be paid to patients that are disadvantaged with respect to these demographic factors. The belief in a shared goal, and a consistent preference for physician input, suggests that patients endorse a more collaborative view of the clinical dynamic than is suggested by the paternalism-autonomy paradigm. This pilot study suggests physicians should not be afraid to communicate conviction with regard to treatment decisions. (shrink)

The major goal of this paper is to argue that a well known argument to overturn the principle that coextensive predicates substitute in any statement without alteration of truth value can be avoided - even in the simplest of languages. Apparently this can be done nonartificially only by expanding the universe with nonexisting objects. It is not proved that the principle of substitution salva veritate holds in Meinongian model structures, but in fact it does - as any completeness proof of (...) free logics based on inner domain-outer domain semantics will show. I f - as some have suggested - Meinong's views are compatible with the attitudes of a complete extensionalist, and he subscribed to the outlined modern theory of predication, there is no escape from Außersein. That may seem terribly obvious, but in the light of the development of free logics, more than mere conviction is needed. This dogmatic intuition is supplanted with some strong inclining reasons. (shrink)

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)

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)

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)

Dostoevsky wrote that love in action is a harsh and terrible thing compared to love in dreams. That reality is particularly evident in medicine, where there is an almost universal, involuntary participation of physicians and other healthcare workers in the suffering of their patients. This paper explores this phenomenon through the paradigm of ‘mystery’ as explained by the French existentialist philosopher Gabriel Marcel. A mystery is different from a problem in the sense that the former requires the active immersion of (...) the person involved in order to be truly experienced. It is a ‘meta-problem’ that cannot be analyzed objectively and separately from the person that it affects, without changing the nature of the thing experienced. The authors contend that the human suffering encountered in medicine is one such phenomenon, and the paper draws on illustrations of this concept in art and literature. Awareness of the subtle but important difference between mystery and problem may help physicians better understand their personal entanglement with the suffering of patients. (shrink)

Pojem řádu má své veliké dějiny od předsókratiků až k H. Kringsovi, který v roce 1941 vydává knihu Ordo. U nás se pojmu řádu a řádovosti věnoval po celý život ze­jména brněnský a olomoucký myslitel J. L. Fischer (1894–1973). Idea řádu byla také jedním z pilířů jeho skladebné filosofie, jež měla základní problémy moderní společnosti vyřešit účinněji než marxismus. Současně s „laickým“ Fischerem usilovala v kritických 30. letech dvacátého století o nastolení kýženého řádu vyhraněně katolická skupina sou­středěná kolem tehdy nově (...) založené revue Řád. Oběma pólům šlo sice o podobný cíl (skoncovat s vládou neblahého kapitalismu), ale neporozuměly si pro různost svých věr. Toto osudové neporozumění bychom měli především na univerzitách v Brně a Olomou­ci napravovat využitím odkazu W. C. Smithe, který zásadně rozlišil setrvačnou tradiční víru (belief) a otevřenou víru všech opravdu tvůrčích lidí (faith). Takovou víru měl totiž podle autora také a snad především nový řád usilovně hledající Josef Ludvík Fischer. (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.

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)

Intentionally or not, our clinical practice is informed by our philosophical premises. A subtle misunderstanding can have frequent, though insidious, implications in day-to-day clinical encounters....

Although worship of the relics of the Buddha — and its corollary, st?pa worship — is a widespread feature of Buddhist devotional practice among both lay Buddhists and monks, there is in some quarters a view that, while recommended to lay followers, it is forbidden to monks. This controversy started very early after the Buddha’s parinibb?na and has reverberated throughout the centuries till the present time. Its source is in the Mah?parinibb?na Sutta, and it stems from the ambiguity in the (...) meaning of the compound sar?ra-p?j? in the Buddha’s reply to?nanda’s two questions concerning the actions to be taken after the Master’s death with respect to his body. The resolution of the controversy depends on a correct understanding of the nature of the Buddha’s replies to the two questions. This paper analyses the relevant passages of the sutta and the way they have been translated, correctly or incorrectly, into Western languages and into Chinese, and finally arrives at a solution derived entirely from within the text of the Mah?parinibb?na Sutta itself. (shrink)

As our work is ever evolving from agrarian to more service-oriented tasks, the rise of machine learning is the advent of an intelligence that contrasts with the natural intelligence exhibited by humans. Many see the emergence of artificial intelligence (AI) as simply another opportunity for business to exploit. Additionally, as coding becomes the new language of the business world, the challenge of using data and analytics to help foster a new generation of human flourishing lessens with organizations solidifying their protocols (...) for the use of AI. As our work changes, it is vital for business to recognize that being a force for good requires policies, procedures, and programs that will respect and promote human dignity at all levels, even amidst the changes brought by AI initiatives. This person-first philosophy needs to be a critical component of any future strategies business utilizes to uphold the well-being of all stakeholders. (shrink)