Bacterial resistance mechanisms to the antibiotics known as β‐lactams, which include the penicillins and cephalosporins, can take several forms but frequently involve the production of β‐lactamases from either plasmid‐ or chromosomally‐encoded loci. Gram negative bacteria express a β‐lactamase from evolutionarily related chromosomal ampC genes. Genetic analysis of both inducible and constitutively expressed AmpC β‐lactamases provide insights into the mechanisms regulating production of the enzyme. Evolutionary relationships between the genes of different species are discussed, as well as the regulatory mechanisms that (...) in both laboratory mutants and clinical isolates lead to overproduction of β‐lactamase. (shrink)

The impossibility results of Bovens and Hartmann (2003, Bayesian epistemology. Oxford: Clarendon Press) and Olsson (2005, Against coherence: Truth, probability and justification. Oxford: Oxford University Press.) show that the link between coherence and probability is not as strong as some have supposed. This paper is an attempt to bring out a way in which coherence reasoning nevertheless can be justified, based on the idea that, even if it does not provide an infallible guide to probability, it can give us an (...) indication thereof. It is further shown that this actually is the case, for several of the coherence measures discussed in the literature so far. We also discuss how this affects the possibility to use coherence as a means of epistemic justification. (shrink)

In relation to semantics, “grounding” has two relevant meanings. “Symbol grounding” is the process of connecting symbols to perception and the world. “Communicative grounding” is the process of interactively adding to common ground in dialog. Strategies for grounding in human communication include, crucially, strategies for resolving troubles caused by various kinds of miscommunication. As it happens, these two processes of grounding are closely related. As a side-effect of grounding an utterance, dialog participants may adjust the meanings they assign to linguistic (...) expressions, in a process of semantic coordination. Meanings of at least some expressions include perceptual aspects which enable DPs to classify entities as falling under the expression or not based on their perception of those entities. We show how perceptual grounding of symbols can be achieved in a process of interactively adding to common ground. This requires that perceptual aspects of meaning can be updated as a result of participating in linguistic interaction, thereby enabling fine-grained semantic coordination of perceptually grounded linguistic meanings. A formal semantics for low-level perceptual aspects of meaning is presented, tying these together with the logical-inferential aspects of meaning traditionally studied in formal semantics. The key idea is to model perceptual meanings as classifiers of perceptual input. This requires a framework where intensions are represented independently of extensions, and structured objects which can be modified as a result of learning. We use Type Theory with Records, a formal semantics framework which starts from the idea that information and meaning are founded on our ability to perceive and classify the world, that is, to perceive objects and situations as being of types. As an example of our approach, we show how a simple classifier of spatial information based on the Perceptron can be cast in TTR. (shrink)

The purpose of this paper is to present a formal model of social net- works suitable for studying questions in social epistemology. We show how to use this model, in conjunction with a computer program for simulating groups of inquirers, to draw conclusions about the epistemological prop- erties of different social practices. This furnishes us with the beginnings of a systematic research program in social epistemology, from which to approach problems pertaining to epistemic value, optimal organization, and the dynamics of (...) multi-agent inquiry. (shrink)

This article suggests a shift in focus from stories as verbal accounts to narrative interpretation of the every day as a resource for achieving person‐centred health and social care. The aim is to explore Ricoeur's notion of narrative and action, as expressed in his arguments on a threefold mimesis process, using this as a grounding for the use of narration to achieve person‐centredness in health and social care practice. This focus emerged from discussions on this matter at the IPONS conference (...) in Gothenburg, 2021. Based on philosophical resources from Ricoeur's notions of narrative and action developed in his arguments on a threefold mimesis process, we propose a wider use of stories in health and social care practices. We suggest expanding from only focusing on verbal accounts to focusing on narrative as a human way to interpret and make sense of everyday life and circumstances and to communicate possible meanings. We discuss how such complementary focus can be a resource in getting patients involved and collaborating in their health and social care and thereby help develop person‐centred practices. (shrink)

The impossibility results of Bovens and Hartmann (2003) and Olsson (2005) call into question the strength of the connection between coherence and truth. As part of the inquiry into this alleged link, I define a notion of degree of truth-conduciveness, relevant for measuring the usefulness of coherence measures as rules-of-thumb for assigning probabilities in situations of partial knowledge. I use the concept to compare the viability of some of the measures of coherence that have been suggested so far under different (...) circumstances. It turns out that all of these, including the prior, are just about equally good in cases of very little knowledge. Nevertheless, there are differences in when they are applicable, and they also depart more from each other when more knowledge is added. CiteULike Connotea Del.icio.us What's this? (shrink)

Michael T. Stuart (2021 and 2022) has proposed imagination as an intellectual dual‐process virtue, consisting of imagination1 (underwritten by cognitive Type 1 processing) and imagination2 (supported by Type 2 processing). This paper investigates the consequences of taking such an account seriously. It proposes that the dual‐process view of imagination allows us to incorporate recent insights from virtue epistemology, providing a fresh perspective on how imagination can be epistemically reliable. The argument centers on the distinction between General Reliability (GR) and Functional (...) System Reliability (FSR), for example in relation to Kengo Miyazono and Uko Tooming's (2023) argument for epistemic generativity. Furthermore, the paper claims that the dual‐process virtue account enables us to integrate a wide range of findings from the literature on epistemology and imagination. Moreover, it suggests a novel way to distinguish the virtues of creativity and imagination and presents a case for viewing imagination as a virtue rather than a skill. (shrink)

This book, in language accessible to the general reader, investigates twelve of the most notorious, most interesting, and most instructive episodes involving the interaction between science and Christianity, aiming to tell each story in its historical specificity and local particularity. Among the events treated in When Science and Christianity Meet are the Galileo affair, the seventeenth-century clockwork universe, Noah's ark and flood in the development of natural history, struggles over Darwinian evolution, debates about the origin of the human species, and (...) the Scopes trial. Readers will be introduced to St. Augustine, Roger Bacon, Pope Urban VIII, Isaac Newton, Pierre-Simon de Laplace, Carl Linnaeus, Charles Darwin, T. H. Huxley, Sigmund Freud, and many other participants in the historical drama of science and Christianity. (shrink)

Eva von Bahr (1874–1962) got her doctorate in experimental physics at the Physics Institute at Uppsala University in 1908. Subsequently she became the first woman assistant professor in physics in Sweden. In the face of many obstacles, she worked as a physicist for six years in Uppsala and Berlin. In 1914 she took a position as a school teacher. This article explores von Bahr’s trajectory through academic experimental physics. It is argued that network connections with male scientists enabled her work. (...) Her associations were a mix between institutional relationships and informal connections, resulting in what is labeled a ‘hybrid of connections’. Furthermore it is argued that von Bahr became an ‘outsider within’ in academic experimental physics. Her connections created openings, but these coexisted with hindrances. It is argued that von Bahr oscillated between being an insider and an outsider which created a fractured identity. Her position and identity was a mix between membership and non-membership. Through examining von Bahr’s career this article aims to bring together historical research on women in science and theoretical work in science studies. Furthermore, the article argues the analytical value of feminist perspectives on scientific collaborations as a way to a deeper understanding of the network structures of science. (shrink)

Explores the relationship between technics and humanity, tracing the emergence of a bio-technical conception of existence in contemporary continental philosophy.

L’enjeu de ce recueil est de contribuer à repenser la notion de limite, en l’envisageant sous les différentes figures, philosophiques, écologiques, politiques, que lui confère notre présent. Comme le montrent, sous des modalités diverses, les contributions de ce collectif, la limite peut et doit être conçue en dehors des valeurs négatives – borne, restriction ou frontière –, qui en affaiblissent la portée. Elle peut alors être pensée sur le fond de cet illimité où s’ouvre la question même du dehors. Si (...) la finitude demeure la condition de l’existence, de l’art et de la pensée, assumer notre condition finie ne consiste donc pas à se murer dans le connu, mais bien à en transgresser les bornes, et ce faisant, à s’illimiter. Au plus loin de la fermeture des frontières que prônent certaines politiques, ou de la certitude dogmatique dans laquelle certains cherchent à réassurer leur pensée, la limite ne vit que de son rapport fécond à l’illimité. Interrogeant l’existence, la politique, l’art – autant dire, la pensée même –, les textes de ce recueil mettent au jour un certain don de l’illimité. (shrink)

Die Weltchronik des Symeon Logothetes scheint eine der populärsten Chroniken in Byzanz gewesen zu sein. Während viele Exponenten dieses Genres durch nur eine oder wenige Hss. bekannt sind, begegnet die Logothetenchronik in mehr als 40 Hss. und kann handschriftlich verfolgt werden vom 11. Jh. bis in die Renaissance. Dies bedeutet, dass ein reiches Material zu unserer Verfügung steht, wenn es darum geht, Änderungsprozesse zu beobachten, denen ein solcher Text ausgesetzt ist. Wir sind ferner in der glücklichen Lage, dass wesentliche Quellen (...) des Logotheten bewahrt sind. Diese Quellen erlauben uns Erkenntnisse über das Zustandekommen des Werkes. (shrink)

Research programs regularly compete to achieve the same goal, such as the discovery of the structure of DNA or the construction of a TEA laser. The more the competing programs share information, the faster the goal is likely to be reached, to society’s benefit. But the “priority rule”-the scientific norm according to which the first program to reach the goal in question must receive all the credit for the achievement-provides a powerful disincentive for programs to share information. How, then, is (...) the clash between social and individual interest resolved in scientific practice? This chapter investigates what Robert Merton called science’s “communist” norm, which mandates universal sharing of knowledge, and uses mathematical models of discovery to argue that a communist regime may be on the whole advantageous and fair to all parties, and so might be implemented by a social contract that all scientists would be willing to sign. (shrink)

This essay is a comparison between Schelling's and Blanchot's conceptions of the night of the imaginary. Schelling is the most romantic of the German idealist philosophers and Blanchot the most extreme of the French “deconstructionists.“ Their historical link is actually indirect, but they offer two complementary views on the “same“ impersonal nocturnal experience of the imaginary, the approach of which requires a certain self-overcoming of philosophy towards literature.

A critical edition and facing-page translation, accompanied by substantial analytical introduction and notes, of Perspectiva by Roger Bacon, a foundational text of modern optics written in about 1260, which defined the subject for the next 350 years.

This paper introduces a formal view of the semantics and pragmatics of corrective feedback in dialogues between adults and children. The goal of this research is to give a formal account of language coordination in dialogue, and semantic coordination in particular. Accounting for semantic coordination requires (1) a semantics, i.e. an architecture allowing for dynamic meanings and meaning updates as results of dialogue moves, and (2) a pragmatics, describing the dialogue moves involved in semantic coordination. We illustrate the general approach (...) by applying it to some examples from the literature on corrective feedback, and provide a fairly detailed discussion of one example using TTR (Type Theory with Records) to formalize concepts. TTR provides an analysis of linguistic content which is structured in order to allow modification and similarity metrics, and a framework for describing dialogue moves and resulting updates to linguistic resources. (shrink)

In this article, I examine the possible thought experimenting qualities of Soren Kierkegaard's novel Fear and Trembling and in which way it can be explanatory. Kierkegaard's preference for pseudonyms, indirect communication, Socratic interrogation, and performativity are identified as features that provide the narrative with its thought experimenting quality. It is also proposed that this literary fiction functions as a Socratic-theological thought experiment due to its influences from both philosophy and theology. In addition, I suggest three functional levels of the fictional (...) narrative that, in different ways, influence its possible explanatory force. As a theoretical background for the investigation, two accounts of literary cognitivism are explored: Noel Carroll's Argument Account and Catherine Elgin's Exemplification Account. In relation to Carroll's proposal, I conclude that Fear and Trembling develops a philosophical argumentation that is dependent on the reader's own existential contribution. In relation to Elgin's thought, the relation between truth and explanatory force is acknowledged. At the end of the article, I argue that it is more accurate to see the explanatory force of Fear and Trembling in relation to its exploratory function. (shrink)

Theory and Reality is about the connection between true theories and the world. A mathematical framefork for such connections is given, and it is shown how that framework can be used to infer facts about the structure of reality from facts about the structure of true theories, The book starts with an overview of various approaches to metaphysics. Beginning with Quine's programmatic "On what there is", the first chapter then discusses the perils involved in going from language to metaphysics. It (...) criticises contemporary intuition-driven metaphysics, comments on naturalistic approaches, and then presents the main proposition put forward in the thesis: we should base metaphysics on model theory. In chapters 2 to 5, mathematical treatments are given of concepts that we need: theories, metaphysics, necessitation and semantics. These are used in chapters 6 and 7 to prove that, seen from a certain informative view point, any true theory will give rise to an isomorphism between that theory and the world. This conclusion is similar to Wittgenstein's in the Tractatus, but differs in that it places the structural relationship on the level of whole theories, rather than single propositions. (shrink)

This paper concerns the proper definition of embeddings in purely category-theoretical terms. It is argued that plain category theory cannot capture what, in the general case, constitutes an embedding of one structure in another. We discuss three available solutions to this problem: variants of monics, concrete categories, and allegories. The first and last of these are found to be unable to solve the problem, and the second to be philosophically unsatisfactory. Instead, we introduce a theory of forms and relators, which, (...) like allegory theory, attempts to abstract from relation algebras in the way that categories abstract from monoids, but which does not have the shortcomings we have identified in allegories. We show that the theory in question does indeed solve the problem of defining embeddings. (shrink)

List of contributors; Acknowledgments; Introduction Robert S. Westman and David C. Lindberg; 1. Conceptions of the scientific revolution from Bacon to Butterfield: a preliminary sketch David C. Lindberg; 2. Conceptions of science in the scientific revolution Ernan McMullin; 3. Metaphysics and the new science Gary Hatfield; 4. Proof, portics, and patronage: Copernicus’s preface to De revolutionibus Robert S. Westman; 5. A reappraisal of the role of the universities in the scientific revolution John Gascoigne; 6. Natural magic, hermetism, and (...) occultism in early modern science Brian P. Copenhaver; 7. Natural history and the emblematic world view William B. Ashworth, Jr.; 8. From the secrets of nature to public knowledge William Eamon; 9. Chemistry in the scientific revolution: problems of language and communication Jan V. Golinski; 10. The new philosophy and medicine in seventeenth-century England Harold J. Cook; 11. Science and heterodoxy: an early modern problem reconsidered Michael Hunter; 12. Infinitesimals and transcendent relations: the mathematics of motion in the late seventeenth century Michael S. Mahoney; 13. The case of mechanics: one revolution or many? Alan Gabbey; Index. (shrink)

This note argues that, insofar as contemporary mathematics is concerned, there is overwhelming evidence that if mathematical objects are structures, then isomorphism should not be taken as their identity condition. This goes against a common version of structuralism in the philosophical literature. Four areas are presented in which identifying isomorphic structures or objects leads to contradiction or inadequacy. This is followed by a philosophical discussion on possible ways to approach the distinction, and a section on the possibility of proceeding intensionally, (...) as is done in e.g.\ the Univalent Foundations program. (shrink)

We present a class of first-order modal logics, called transformational logics, which are designed for working with sentences that hold up to a certain type of transformation. An inference system is given, and com- pleteness for the basic transformational logic HOS is proved. In order to capture ‘up to isomorphism’, we express a very weak version of higher category theory in terms of first-order models, which makes tranforma- tional logics applicable to category theory. A category-theoretical concept of isomorphism is used (...) to arrive at a modal operator nisoφ expressing ‘up to isomorphism, φ’, which is such that category equivalence comes out as literally isomorphism up to isomorphism. In the final part of the paper, we explore the possibility of using trans- formational logics to define weak higher categories. We end with two informal comparisons: one between HOS and counterpart semantics, and one between isomorphism logic, as a transformational logic, and Homo- topy Type Theory. (shrink)

Sets are often taken to be collections, or at least akin to them. In contrast, this paper argues that. although we cannot be sure what sets are, what we can be entirely sure of is that they are not collections of any kind. The central argument will be that being an element of a set and being a member in a collection are governed by quite different axioms. For this purpose, a brief logical investigation into how set theory and collection (...) theory are related is offered. The latter part of the paper concerns attempts to modify the `sets are collections' credo by use of idealization and abstraction, as well as the Fregean notion of sets as the extensions of concepts. These are all shown to be either unmotivated or unable to provide the desired support. We finish on a more positive note with some ideas on what can be said of sets. The main thesis here is that sets are points in a set structure, a set structure is a model of a set theory, and set theories constitute a family of formal and informal theories, loosely defined by their axioms. (shrink)

In the concluding section of the Minos (318c ff), Socrates praises the oldest law, that given to Crete by Minos, who in Socrates's characterization obtained this law as a result of his status as confidant of Zeus, Minos's father (319d-e). The law that is unchanging, permanent, is therefore the best law, and arguably the only law that truly reflects the “lawness” of law, other possible senses of law being incomplete, as the dialogue shows. There is, moreover, something divine about the (...) character of the best law—though this divinity would seem to have little to do with its tenuous relationship to…. (shrink)

In this article, the formation and transformation of knowledge and the role of designs for learning will be elaborated and discussed in relation to the introduction of national curricula and school textbooks during the beginning of the industrialized era vs. the introduction of individual curricula and new digital learning resources in the post-industrialized era of globalization and multiculturalism. Quite different teaching and learning strategies have been emphasized, which I will call here “designed information and teaching” vs. “designs for learning”. It (...) seems obvious that our current society is in a stage of change that requires a new understanding of knowledge, learning and identity formation. The new position and role of the learner underlines the productive and constructive aspect of learning. Pupils not only read texts, they also produce texts, pictures, film and music and they compile and edit virtual texts. Multimodal texts, as well as the information flow of the Internet, are the consequences of, and at the same time a vehicle for, new social patterns. “Learning Design Sequences” (LDS) is introduced as a theoretical map for the purpose of analyzing critical incidents in (a creative) learning process, using different genres, modes and media in a process of meaning-making. (shrink)

L’article examine la question philosophique de la fin du monde en comparant son traitement par Jacques Derrida et par Martin Heidegger. Nous résumons d’abord le concept heideggérien du monde. Après cela, nous présentons la pensée derridienne de la fin du monde comme sa déconstruction. Derrida oppose notamment à Heidegger l’idée de la mort de l’autre comme «fin du monde chaque fois unique». Dans «No apocalypse, not now», il examine également l’idée de la destruction sans reste du monde et de l’humanité, (...) qui ouvre la dimension de l’avenir autrement que chez Heidegger. Dans la dernière partie, en partant des termes Entweltlichung et Unwelt, nous présentons la pensée heideggérienne de la fin du monde: celle-ci n’est pas une figure de l’avenir mais une herméneutique de la désintégration du monde actuel. Pour finir, nous ouvrons la question de l’expression adéquate de la fin du monde. (shrink)

The Univalent Foundations project constitutes what is arguably the most serious challenge to set-theoretic foundations of mathematics since intuitionism. Like intuitionism, it differs both in its philosophical motivations and its mathematical-logical apparatus. In this paper we will focus on one such difference: Univalent Foundations’ reliance on an intensional rather than extensional logic, through its use of intensional Martin-Löf type theory. To this, UF adds what may be regarded as certain extensionality principles, although it is not immediately clear how these principles (...) are to be interpreted philosophically. In fact, this framework gives an interesting example of a kind of border case between intensional and extensional mathematics. Our main purpose will be the philosophical investigation of this system, and the relation of the concepts of intensionality it satisfies to more traditional philosophical or logical concepts such as those of Carnap and Quine. (shrink)

The principle of self-determination plays a crucial role in contemporary clinical ethics. Somewhat simplified, it states that it is ultimately the patient who should decide whether or not to accept suggested treatment or care. Although the principle is much discussed in the academic literature, one important aspect has been neglected, namely the fact that real-world decision making is temporally extended, in the sense that it generally takes some time from the point at which the physician (or other health care professional) (...) determines that there is a decision to be made and that the patient is capable of making it, to the point at which the patient is actually asked for his or her view. This article asks under what circumstances, if any, temporising—waiting to pose a certain treatment question to a patient judged to have decision-making capacity—is compatible with the principle of self-determination. (shrink)

This essay explores the gendered lifestyle of early twentieth-century physics and chemistry and shows how that way of life was produced through linking science and home. In 1905, the Swedish physical chemist Svante Arrhenius married Maja Johansson and established a scientific household at the Nobel Institute for Physical Chemistry in Stockholm. He created a productive context for research in which ideas about marriage and family were pivotal. He also socialized in similar scientific sites abroad. This essay displays how scholars in (...) the international community circulated the gendered lifestyle through frequent travel and by reproducing gendered behavior. Everywhere, husbands and wives were expected to perform distinct duties. Shared performances created loyalties across national divides. The essay thus situates the physical sciences at the turn of the twentieth century in a bourgeois gender ideology. Moreover, it argues that the gendered lifestyle was not external to knowledge making but, rather, foundational to laboratory life. A legitimate and culturally intelligible lifestyle produced the trust and support needed for collaboration. In addition, it enabled access to prestigious facilities for Svante Arrhenius, ultimately securing his position in international physical chemistry. (shrink)

This paper is an investigation in the use of truthmaker theory for exploring the relation of logic to world, and as a tool for metaphysics. A variant of truthmaker theory, which we call the simple theory, is defined and defended against objections. It is characterized formally, and its central features are derived. As part of this project, we give a formal metaphysics based on nondeterministic necessitation relations among possible entities. In what is called the fundamental theorem of truthmaking, it is (...) shown that, as long as a logic is sound and complete, its inferential structure will be isomorphic to the necessitation structure of our metaphysics. We thus arrive at a purely structural logic–world relationship which can be used for metaphysical investigations. Other products of our investigation are a sound and complete semantics for first-order logic with identity and a solution to a result of Restall which has threatened to make truthmaker theory trivial. (shrink)

This article shows that there are square circles in the sense that there are mathematical objects that are at the same time both perfectly circular and perfectly square. The philosophical significance of this is discussed, especially in view of philosophy's widespread use of “square circle” as a typical example of an impossibility. In particular, the focus is on what the existence of square circles means for the possibility of conceptual analysis, and more generally what we can learn about the nature (...) of non-formal concepts and their use in philosophy. (shrink)

My hypothesis in this article is that it is possible to use the philosophical concept of technics to solve a conflict in contemporary continental ontology between speculative materialist and phenomenological approaches. More precisely, I will show that technics gives a privileged access to ontology because it leads to a “materialist” ontology, avoiding both theological and nihilistic approaches, and because technics, being by definition a domain of artificiality, precludes any explication of it in terms of naturalist materialism. I start by critically (...) examining two techno-ontologies that come from speculative realism and object-oriented ontology: Levi R. Bryant’s onto-cartography and Graham Harman’s tool-being. I then present, as a counter-position, Jean-Luc Nancy’s idea of “ecotechnology”. In conclusion, I evaluate the usefulness of the concept of technics for ontology and argue that Nancy’s post-phenomenological approach is preferable because it avoids indefensible hypostases and is more attentive to its own discursive status. (shrink)