Infertility affects 15 per cent of the world's couples. Research at Edinburgh University has been directed at transplanting fetal ovarian tissue into infertile women, thus enabling them to bear children. Fetal ovary transplantation (FOT) has generated substantial controversy; in fact, one ethicist deemed the procedure 'so grotesque as to be unbelievable' (1). Some have suggested that fetal eggs may harbour unknown chromosomal abnormalities: however, there is no evidence that these eggs possess a higher incidence of genetic anomaly than ova found (...) in a healthy adult female. There is also concern that fetal egg children will be psychologically harmed by the knowledge of their special conceptual status. It will be demonstrated that special conceptual status in and of itself does not determine developmental success. Rather, psychological well-being is dependent upon how the family and child cope with the unique challenges inherent in FOT. Lastly, though considering FOT a legitimate method of family building, given the global population crisis the wisdom of procreational rights will be challenged. Inherent to this challenge is a re-evaluation of the treatment of infertility as a significant disease necessitating remedy. (shrink)

Zkoumání je založeno na reflexi sémantického pojetí vědec- kých teorií Ronalda Giera. Gierova východiska a závěry jsou podrobeny kritice, na jejímž základě autor buduje svou vlastní variantu modelově založeného pojetí teorií. Hlavním cílem příspěvku je konceptualizace vztahu mezi principy a modely s důrazem na to, že tento vztah může zakládat dynamiku teorie, respektive posloupnosti teorií. Souhrnně bude v příspěvku prověřována řada tezí: 1) Základními prvky teorie jsou modely, které slouží jako nosiče principů. 2) Modely hrají rozhodující roli při pojmové výstavbě (...) teorie. 3) Modely artikulací principů odhalují poznatky, které ze samotných principů neplynou. 4) Principy mohou být někdy souhrnně definovány až poté, co existuje odpovídající množina modelů. 5) Nová teorie nastoupí ve chvíli, kdy je cluster nových modelů dostatečně komplexní a když si vědecké společenství ujasní, že tento nový cluster je založen na určité množině nových principů. (shrink)

Den här boken är en övningsbok i logik och en kort introduktion till religionsfilosofi. Den innehåller femton kapitel. Det första kapitlet är en allmän inledning till ämnet. Kapitel 2 tar upp några begreppsliga frågor. Vad är en religion? Det innehåller även en kort beskrivning av några vanliga religioner. Kapitel 3 handlar om språkfilosofiska frågor. Kapitel 4 handlar om religionssociologiska och religionspsykologiska frågor m.m. Kapitel 5 handlar om religiös monism, pluralism, relativism, naturalism m.m. Kapitel 6 handlar om berättelser, myter m.m. Kapitel (...) 7 handlar om fenomenologiska frågor. Kapitel 8 handlar om religiösa handlingar m.m. Kapitel 9 handlar om kunskapsteoretiska frågor. Kapitel 10 handlar om metafysiska frågor. Kapitel 11 handlar om moralfilosofiska frågor. Kapitel 12 innehåller blandade övningar i predikatlogik. Kapitel 13 innehåller blandade övningar i relationell predikatlogik (med och utan identitet). Kapitel 14 innehåller blandade övningar i modallogik och deontisk logik. Kapitel 15 innehåller en sammanfattning. Den här boken innehåller många olika argument. Läsaren kan förhoppningsvis öva upp sin förmåga att analysera och värdera olika filosofiska deduktioner, samt att tänka och resonera logiskt, genom att studera dessa. Boken kan användas i undervisning i filosofi och logik på en grundläggande nivå eller för självstudier. Läsningen kompletteras lämpligen med någon god introduktionsbok till logik. För att förstå de logiska lösningarna i den här boken kan det vara bra att känna till vissa grundläggande logiska fakta och metoder. Boken innehåller tre olika metoder: sanningstabeller, naturlig deduktion och semantiska tablåer. OBS: Många argument i denna bok har tidigare publicerats i boken Logiska Övningar: En Introduktion till Praktisk Filosofi och många lösningar har tidigare publicerats i boken Facit till Några Argument i ”Logiska Övningar: En Introduktion till Praktisk Filosofi”, även om den också innehåller många argument som är nya. (shrink)

Den här boken är en inledning till den s.k. satslogiken. Satslogiken är en gren av logiken som studerar logiska relationer mellan satser. Boken innehåller fem kapitel. Det första kapitlet är en kort inledning till logik som går igenom några grundläggande logiska begrepp. Vad är logik? Vad menas med ”argument”, ”premiss”, ”slutsats”, ”giltighet” osv.? Kapitel 2 handlar om syntax. Hur är det satslogiska språket uppbyggt och hur förhåller det sig till naturliga språk? Kapitel 3 handlar om semantik. Vad betyder olika symboliska (...) tecken? Vad har olika satser för sanningsvillkor? Det går igenom ett antal grundläggande semantiska termer, såsom ”logisk sanning”, ”logisk falskhet”, ”logisk kontingens”, ”logisk satisfierbarhet”, ”logisk följd” och ”logisk giltighet”. Det visar hur man kan använda sanningstabeller för att avgöra om ett argument är giltigt eller inte, om en sats är logiskt sann eller inte m.m. Kapitel 4 handlar om bevisteori. Vad är ett bevis? Vad är en härledning? Hur kan man avgöra om ett argument är giltigt eller inte? Det nämner tre olika bevismetoder/härledningsmetoder: axiomatiska system, naturlig deduktion och semantiska tablåer. Det tar upp ett antal exempel som visar hur man kan använda dessa metoder. Kapitel 5 innehåller en allmän diskussion om sanningsfunktioner och fler övningar. Det går igenom ett antal logiska fakta och säger något kort om metalogik. Boken innehåller en stor mängd övningar som kan hjälpa läsaren att öva upp sina logiska förmågor. (shrink)

Interesuje nas, prednost koju Delez daje sintagmi?revolucionarna institucija? u odnosu na manje originalnu sintagmu?institucionalna revolucija?. Delez nekoliko puta upotrebljava u svojim tekstovima?revolucionarna institucija?, sigurno sasvim svestan da ova sintagma ima jednu prilicno haoticnu i nejasnu istoriju tokom post-revolucionarnog perioda, ali i da je ona savrseno u duhu Sanzistovih namera. Treba da proverimo da li ova sintagma najbolje opisuje jednu Delezovu imaginarnu teoriju institucije, ali i njegov angazman u teoriji uopste. Preeliminarna teskoca, koja automatski dovodi u pitanje i devalvira nasu intervenciju, (...) jeste Delezovo odbijanje da on s?m zaista tematizuje instituciju i svoj napor, te da zaista odgovori na pitanja koja s?m postavlja pedesetih godina proslog veka:?sta je to sto objasnjava instituciju?? i?koje bi to trebalo da budu savrsene institucije, to jest one koje se suprotstavljaju svakom ugovoru i pretpostavljaju tek najmanji broj zakona??. (shrink)

This paper examines the role of reason in Shepherd's account of acquiring knowledge of the external world via first principles. Reason is important, but does not have a foundational role. Certain principles enable us to draw the required inferences for acquiring knowledge of the external world. These principles are basic, foundational and, more importantly, self‐evident and thus justified in other ways than by demonstration. Justificatory demonstrations of these principles are neither required, nor possible. By drawing on textual and contextual evidence, (...) I will show that Shepherd should have said that we know the first principles of any science, in general, and that “everything which begins to exist must have a cause”, in particular, via intuition, not via reason. Reasoning about such principles can help their self‐evidence shine through in certain cases; their justification, and our being justified in believing them, does not come from this reasoning, however. (shrink)

Tato studie se zabývá zobrazováním alchymie v malbách, knižních ilustracích i v architektuře v období raného novověku. Na jednotlivých příkladech obrazů či ilustrací prezentuje různé aspekty alchymistova života i jeho práce. Nezabývá se symbolickou alchymickou ikonografií, ale zaměří se především na zobrazování prostředí a vybavení alchymických dílen i osobností samotných alchymistů. Soustředí se zejména na vyobrazení zařízení alchymických laboratorií, s nimiž se lze setkat jak u renesančních malířů, tak v ilustracích alchymických rukopisů a poměrně ojediněle i v české architektuře. Poskytuje (...) také pohled na vyobrazení vzniklá v souvislosti s literární kritikou alchymie. Alchymisté byli zejména v dílech předních evropských humanistů často záměrně zesměšňováni, kritizováni a označováni za blázny a zloděje. V závěru se zabývá vybranými příklady ze žánrového umění, kde byli rovněž alchymisté zobrazováni často satiricky, ale i s určitou úctou, jako vzdělaní učenci. Výtvarné umění raného novověku nám představuje různé aspekty života alchymistů a je v dnešní době jednou z možností, jak se přiblížit porozumění jejich vědeckým aktivitám. Jak však studie ukazuje, k těmto obrazovým materiálům je třeba přistupovat kriticky. (shrink)

A deaf lesbian couple who chose to have a deaf child receive a lot of criticismA deaf lesbian couple in the US deliberately tried to create a deaf child. Sharon Duchesneau and Candy McCullough hoped their child, conceived with the help of a sperm donor, would be deaf like the rest of the family. Their daughter, five year old Jehanne, is also deaf and was conceived with the same donor. News of the couple choosing to have a deaf child has (...) only been revealed with the birth of their son Gauvin.1–4To increase their chance of having a deaf baby the women sought a deaf sperm donor from a sperm bank but were told that congenital deafness is “precisely the sort of condition” that disqualifies would-be donors. Rather than dismiss the idea they found their own sperm donor by asking a deaf friend who comes from a family with five generations of deafness.1The women, both professionals in the mental health field, insist that they would still love …. (shrink)

Interesuje nas, prednost koju Delez daje sintagmi?revolucionarna institucija? u odnosu na manje originalnu sintagmu?institucionalna revolucija?. Delez nekoliko puta upotrebljava u svojim tekstovima?revolucionarna institucija?, sigurno sasvim svestan da ova sintagma ima jednu prilicno haoticnu i nejasnu istoriju tokom post-revolucionarnog perioda, ali i da je ona savrseno u duhu Sanzistovih namera. Treba da proverimo da li ova sintagma najbolje opisuje jednu Delezovu imaginarnu teoriju institucije, ali i njegov angazman u teoriji uopste. Preeliminarna teskoca, koja automatski dovodi u pitanje i devalvira nasu intervenciju, (...) jeste Delezovo odbijanje da on s?m zaista tematizuje instituciju i svoj napor, te da zaista odgovori na pitanja koja s?m postavlja pedesetih godina proslog veka:?sta je to sto objasnjava instituciju?? i?koje bi to trebalo da budu savrsene institucije, to jest one koje se suprotstavljaju svakom ugovoru i pretpostavljaju tek najmanji broj zakona??. (shrink)

Quantum mechanical measurements on a physical system are represented by observables - Hermitian operators on the state space of the observed system. It is an important question whether all observables may be realized, in principle, as measurements on a physical system. Dirac’s influential text ( [1], page 37) makes the following assertion on the question: The question now presents itself – Can every observable be measured? The answer theoretically is yes. In practice it may be very awkward, or perhaps even (...) beyond the ingenuity of the experimenter, to devise an apparatus which could measure some particular observable, but the theory always allows one to imagine that the measurement can be made. This Letter re-examines the question of whether it is possible, even in principle, to measure every quantum mechanical observable. Unexpectedly, ideas from com-. (shrink)

AimsThis study evaluates a protocol for early, routine ethics consultation for patients on extracorporeal membrane oxygenation to support decision-making in the context of clinical uncertainty with the aim of mitigating ethical conflict and moral distress.MethodsWe conducted a single-site qualitative analysis of EC documentation for all patients receiving ECMO support from 15 August 2018 to 15 May 2019. Detailed analysis of 20 ethically complex cases with protracted ethics involvement identifies four key ethical domains: limits of prognostication, bridge to nowhere, burden of (...) treatment and system-level concerns. There are three subthemes: relevant contextual factors, the role of EC and observed outcomes. Content analysis of transcripts from interviews with 20 members of the multidisciplinary ECMO team yields supplemental data on providers’ perceptions of the impact of the early intervention protocol.ResultsLimited outcome data for ECMO, unclear indications for withdrawal, adverse effects of treatment and an obligation to attend to programme metrics present significant ethical challenges in the care of this patient population. Upstream EC mitigates ethical conflict by setting clear expectations about ECMO as a time limited trial, promoting consistent messaging among multiple services and supporting surrogate decision-makers. When ECMO becomes a ‘bridge to nowhere’, EC facilitates decision-making that respects patient values yet successfully sets limits on non-beneficial use of this novel therapy.ConclusionData from this study support the conclusion that ECMO poses unique ethical challenges that necessitate a standardised protocol for early, routine EC—at least while this medical technology is in its nascent stages. (shrink)

Special groups [M. Dickmann, F. Miraglia, Special Groups : Boolean-Theoretic Methods in the Theory of Quadratic Forms, Memoirs Amer. Math. Soc., vol. 689, Amer. Math. Soc., Providence, RI, 2000] are a first-order axiomatization of the theory of quadratic forms. In Section 2 we investigate reduced special groups which are a lattice under their natural representation partial order ; we show that this lattice property is preserved under most of the standard constructions on RSGs; in particular finite RSGs and RSGs of (...) finite chain length are lattice ordered. We prove that the lattice property fails for the RSGs of function fields of real algebraic varieties over a uniquely ordered field dense in its real closure, unless their stability index is 1 . We show that Open Problem 1 has a positive answer for the RSG of the field Q . In the final section we explore the meaning of Open Problem 1 for formally real fields, in terms of their orders and real valuations; we introduce the notion of “parameter-rank” of a positive-primitive first-order formula of the language for special groups. (shrink)

The development of human genetics raises a wide range of important ethical questions for us all. The interpersonal dimension of genetic information in particular means that genetics also poses important challenges to the idea of patient-centredness and autonomy in medicine. How ought practical ethical decisions about the new genetics be made given that we appear, moreover, no longer to be able to appeal to unquestioned traditions and widely shared communitarian values? This paper argues that any coherent ethical approach to these (...) questions must be able both to uphold the moral status of the individual and at the same time recognise the communitarian, interpersonal dimensions both of the world in which we live and of personal autonomy itself. The paper then goes on to propose an approach to the resolution of the ethical questions raised by the use of the new genetics in reproductive choice through the development of a coherent and principled process of public reason and justification oriented towards the support and development of personal autonomy. (shrink)

Autonomy has been the central principle underpinning changes which have affected the practice of medicine in recent years. Medical education is undergoing changes as well, many of which are underpinned, at least implicitly, by increasing concern for autonomy. Some universities have embarked on graduate courses which utilize problem-based learning (PBL) techniques to teach all areas, including medical ethics. I argue that PBL is a desirable method for teaching and learning in medical ethics. It is desirable because the nature of ethical (...) enquiry is highly compatible with the learning processes which characterize PBL. But it is also desirable because it should help keep open the question of what autonomy really is, and how it should operate within the sphere of medical practice and medical education. (shrink)

Pure Type Systems, PTSs, were introduced as a generalization of the type systems of Barendregt's lambda cube and were designed to provide a foundation for actual proof assistants which will verify proofs. Systems of illative combinatory logic or lambda calculus, ICLs, were introduced by Curry and Church as a foundation for logic and mathematics. In an earlier paper we considered two changes to the rules of the PTSs which made these rules more like ICL rules. This led to four kinds (...) of PTSs. Most importantly PTSs are about statements of the form M:A, where M is a term and A a type. In ICLs there are no explicit types and the statements are terms. In this paper we show that for each of the four forms of PTS there is an equivalent form of ICL, sometimes if certain conditions hold. (shrink)

Within the moral/social order maintained and reproduced by biomedical ethics (i.e., the “peaceable community”), suffering is a senseless accident with no value. Insofar as suffering compromises the fundamental pillar of this order, namely, autonomy, it threatens the existence of the “peaceable community”. Consequently, biomedical ethics is only able to offer those who suffer one moral or practical response: that of elimination, embodied most vividly in the increasingly approved practice of assisted-suicide. Another moral/ social order, however, the “peaceable Kingdom” or the (...) “Body of Christ”, provides an alternative understanding of the meaning, purpose, and significance of suffering, through the Roman Catholic sacrament of anointing of the sick. Recognizing the power of sickness and suffering to “dis-inscribe” bodies of their normative self-understandings, the Church responds with a set of liturgical practices which intend to respond to the dynamics of suffering, re-inscribe these bodies, and assist persons in fulfilling the vocation of “participating in Christ's suffering for the salvation of the world”. (shrink)

The same research proposal was submitted to 24 district health authority (DHA) research ethics committees in different parts of the country. The objective was to obtain permission for a multi-centre research project. The study of neonatal care in different types of unit (regional, subregional and district), required that four health authorities were approached in each of six widely separated health regions in England. Data were collected and compared concerning aspects of processing, including application forms, information required, timing and decision-making. The (...) key finding was that ethics committees received and processed the applications variably, reflecting individual factors and local problems. To improve consensus and facilitate multicentre studies, standard forms and instructions are suggested and the establishment of a national committee or advisory group advocated. (shrink)

The following definition of “objective” is proposed: A statement S is objective if and only if in S all parameters that are relevant to its truth value are made explicit. The objectivity of predicates and relations can be defined in a similar manner. This simple conception of objectivity-which could be called “explicitness conception of objectivity”-can be found in Hermann Weyl and plays a central part in the natural sciences. There are grades of objectivity depending on the ‘quality’ and the number (...) of parameters our predicates are relativized to A relativistic Ockham principle has to be recognized: Relativization parameters are not to be multiplied beyond necessity. The explicitness conception of objectivity is accessible to mathematical specifications, is the core of the idea of invariance, has a lot of philosophical applications and leads to precise notions of ‘subjectivity’ and a precise formulation of the problem of the limits of objectivity. (shrink)

The traditional “realist” conception of physics, according to which human concepts, laws and theories can grasp the essence of a reality in our absence , seems incompatible with quantum formalism and it most fruitful interpretation. The proof rests on the violation by quantum mechanical formalism of some fundamental principles of the classical ontology. We discuss if the conception behind Einstein’s idea of a reality in our absence, could be still maintained and at which price. We conclude that quantum mechanical formalism (...) is not formulated on those terms, leaving for a separated paper the discussion about the terms in which it could be formulated and the onto-epistemological implications it might have. (shrink)

We demonstrate that the key components of cognitive architectures (declarative and procedural memory) and their key capabilities (learning, memory retrieval, probability judgment, and utility estimation) can be implemented as algebraic operations on vectors and tensors in a high‐dimensional space using a distributional semantics model. High‐dimensional vector spaces underlie the success of modern machine learning techniques based on deep learning. However, while neural networks have an impressive ability to process data to find patterns, they do not typically model high‐level cognition, and (...) it is often unclear how they work. Symbolic cognitive architectures can capture the complexities of high‐level cognition and provide human‐readable, explainable models, but scale poorly to naturalistic, non‐symbolic, or big data. Vector‐symbolic architectures, where symbols are represented as vectors, bridge the gap between the two approaches. We posit that cognitive architectures, if implemented in a vector‐space model, represent a useful, explanatory model of the internal representations of otherwise opaque neural architectures. Our proposed model, Holographic Declarative Memory (HDM), is a vector‐space model based on distributional semantics. HDM accounts for primacy and recency effects in free recall, the fan effect in recognition, probability judgments, and human performance on an iterated decision task. HDM provides a flexible, scalable alternative to symbolic cognitive architectures at a level of description that bridges symbolic, quantum, and neural models of cognition. (shrink)

'Thought insertion' in schizophrenia involves somehow experiencing one's own thoughts as someone else's. Some philosophers try to make sense of this by distinguishing between ownership and agency: one still experiences oneself as the owner of an inserted thought but attributes it to another agency. In this paper, we propose that thought insertion involves experiencing thought contents as alien, rather than episodes of thinking. To make our case, we compare thought insertion to certain experiences of 'verbal hallucination' and show that they (...) amount to different descriptions of the same phenomenon: a quasi-perceptual experience of thought content. We add that the agency/ownership distinction is unhelpful here. What requires explanation is not why a person experiences a type of intentional state without the usual sense of agency, but why she experiences herself as the agent of one type of intentional state rather than another. We conclude by sketching an account of how this might happen. (shrink)

Literary accounts of traumatic events can be more informative and insightful than personal testimonials. In particular, reference to works of literature can give us a more vivid sense of what it is like to receive a devastating diagnosis. In turn this can lead us to question some common assumptions about the nature of autonomy, particularly for patients in these circumstances. The literature of concentration camp and labour camp experiences can help us understand what it is like to have one's life-plans (...) altered utterly and unexpectedly. Contrary to common views of autonomy which have difficulty in characterising autonomous action when long-standing assumptions are suddenly lost, these examples show that autonomy is possible in these circumstances. We need a theory of autonomy which can deal with traumatic events and is useful in the clinical context. (shrink)

Today's modern car is an assemblage of mechanical and digital components, of metal panels that comprise its structure and silicon chips that run its functions. Communication and information studies scholars have interrogated the problematic aspects of the programs that run those functions, revealing serious issues surrounding privacy and security, worker surveillance, and racial, gendered, and class-based bias. This article contributes to that work by taking a step back and asking about the issues inherent not in the software running on these (...) chips, but on the microchips themselves. Using the lens of “chipification”—the process by which a device is rendered capable of reading and processing data through the embedding of microchips—this article explores how the integration of microchips also involves processes that are often borne from, replicate, or create troubling power dynamics of their own. It takes light-duty passenger vehicles as a case study into how chipification is radically reshaping such processes as resource allocation, labor flows, and cultural practices around car manufacture, use, repair, and modification. By naming the process of chipification, this article allows researchers to identify and analyze the ways that integrating data processing capabilities into everyday devices is not a frictionless practice, but rather one that implicates a variety of power dynamics within these massive industries. (shrink)

M. F. Burnyeat; XII—Belief in Speech, Proceedings of the Aristotelian Society, Volume 68, Issue 1, 1 June 1968, Pages 227–248, https://doi.org/10.1093/aristotel.

In the first Critique Kant introduced the analytic/synthetic distinction and illustrated it with theoretical propositions. As his main aim in that work was to justify synthetic a priori propositions, Kant was able to bring his central questions into relief and discuss the methodology of their solution by contrasting synthetic propositions, such as: “Every event has a cause” with analytic propositions, such as: “Every effect has a cause.” Consequently, few commentators have any difficulty in stating as propositions the propositions Kant is (...) justifying in the first Critique or in pointing out the difficulty of justifying such propositions. (shrink)

In the past decades, an enormous amount of precious information has been collected about molecular and genetic characteristics of cancer. This knowledge is mainly based on a reductionistic approach, meanwhile cancer is widely recognized to be a ‘system biology disease’. The behavior of complex physiological processes cannot be understood simply by knowing how the parts work in isolation. There is not solely a matter how to integrate all available knowledge in such a way that we can still deal with complexity, (...) but we must be aware that a deeply transformation of the currently accepted oncologic paradigm is urgently needed. We have to think in terms of biological networks: understanding of complex functions may in fact be impossible without taking into consideration influences outside of the genome. Systems Biology involves connecting experimental unsupervised multivariate data to mathematical and computational approach than can simulate biologic systems for hypothesis testing or that can account for what it is not known from high-throughput data sets. Metabolomics could establish the requested link between genotype and phenotype, providing informations that ensure an integrated understanding of pathogenic mechanisms and metabolic phenotypes and provide a screening tool for new targeted drug. (shrink)

Despite the praise his writing garnered during his lifetime, e.g., from readers such as Einstein and de Broglie, Émile Meyerson has been largely forgotten. The rich tradition of French épistémologie has recently been taken up in some Anglo-American scholarship, but Meyerson—who popularized the term épistémologie through his historical method of analyzing science, and criticized positivism long before Quine and Kuhn—remains overlooked. If Meyerson is remembered at all, it is as a historian of classical science. This paper attempts to rectify both (...) states of affairs by explicating one of Meyerson׳s last and untranslated works, Réel et déterminisme dans la théorie quantique, an opuscule on quantum physics.I provide an overview of Meyerson׳s philosophy, his critique of Max Planck׳s interpretation of quantum physics, and then outline and evaluate Meyerson׳s neo-Kantian alternative. I then compare and contrast this interpretation with Cassirer׳s neo-Kantian program. Finally I show that, while Meyerson believes the revolutionary new physics requires "profoundly" modifying our conception of reality, ultimately, he thinks, it secures the legitimacy of his thesis: that science seeks explanations in the form of what he calls "identification." I hope my research will enable a more general and systematic engagement with Meyerson׳s work, especially with a view to assessing its viability as a philosophical method today. (shrink)

What makes the words we speak mean what they do? Possible-worlds semantics articulates the view that the meanings of words contribute to determining, for each sentence, which possible worlds would make the sentence true, and which would make it false. M. J. Cresswell argues that the non-semantic facts on which such semantic facts supervene are facts about the causal interactions between the linguistic behaviour of speakers and the facts in the world that they are speaking about, and that the kind (...) of causation involved is best analysed using David Lewis's account of causation in terms of counterfactuals. Although philosophers have worked on the question of the connection between meaning and linguistic behaviour, it has mostly been without regard to the work done in possible-world semantics and Language in the World is a book-length examination of this problem. (shrink)