Technology has expanded genomic research and the complexity of extracted gene-related information. Health-related genomic incidental findings pose new dilemmas for nurse researchers regarding the ethical application of disclosure to participants. Consequently, informed consent specific to incidental findings is recommended. Critical Social Theory is used as a guide in recognition of the changing meaning of informed consent and to serve as a framework to inform nursing of the ethical application of disclosure consent in genomic nursing research practices.

There are, it is said nowadays, “Renaissances,” in order to emphasize the diversity of expressions in this period of civilization and because of the concern for restoring the originality of the historical situations experienced at that time by the peoples of Europe. It is true that from the fourteenth to the fifteenth centuries, the Renaissance touched many areas in order to provide a response to challenges of the times. But even though these responses were varied, the world view was the (...) same. (shrink)

Although this review article is only about one book and about one man, it discloses a whole world, the world of Jerome, saint, scholar and stimulator of ascetism and of the study of the Bible. It is the merit of the book reviewed here to bring interesting insights into this other world, the emerging society of monks who were scholars and ascetic. In that world Jerome is one of the most fascinating patristic scholars. His choice for translating the Hebrew Bible (...) instead of the Greek Bible is one of the utmost examples that from time to time the conceitedness of one man wins. Williams’ book teaches us quite a lot about this man and his conceitedness. At the same time it explains us something about the Christian tradition, how asceticism could bring forth the wealth of libraries and abbeys. (shrink)

Leibniz's work resembles its author. A. Robinet has called it “an intellectual storm.” In its two hundred thousand pages of manuscript (most of it still unpublished) there are philosophical works that have nourished the thoughts of thinkers from generation to generation; mathematical texts of fundamental import (we all know of Leibniz as the founder - or rather co-founder - of infinitesimal calculus, but this triumph ought not to obscure his other contributions; for example, his being a precursor in the (...) field of formal logic and the inventor of analysis situs); treatises on physics that have been relegated to obscurity by Newtonian mechanics but which may be in the process of being given new life because of the problems that the classic paradigm has encountered in the twentieth century; an impressive correspondence (approximately fifteen thousand letters, addressed to more than a thousand corespondents); significant contributions to fields as varied as theology, jurisprudence, history, politics and even technology (Leibniz did not scorn practical problems, and we find, alongside the most abstract of metaphysical systems, notes concerning the problem of Venice's sinking or the production of cognac). (shrink)

In discussing instrumentalism in philosophy of science, John Dewey is rarely studied, but rather mentioned in passing to credit him for coining the label. His instrumentalism is often interpreted as the view that science is an instrument designed to control the environment and satisfy our practical ends, or likened to the Duhemian view that scientific objects are useful fictions for organizing observable phenomena. Dewey was careful to qualify the first view and denied holding the second. Furthermore, the observable/unobservable distinction does (...) not play any significant role in Dewey’s instrumentalism. The question then arises: Was the inventor of instrumentalism himself an instrumentalist? I present the key aspects of Dewey’s instrumentalismand contrast his views with the instrumentalism of Mach, Duhem and Poincaré. Dewey’s epistemological instrumentalism is global and not local; nevertheless, it is fallibilist and optimistic, rather than skeptical and pessimistic. Dewey’s ontological instrumentalism concerns the nature of scientific objects, regardless of whether they are observable or unobservable, and is fully compatible with realism about atoms or electrons. Dewey’s practical instrumentalism holds that becausescience provides understanding of the workings of nature rather than an exhaustive picture of reality, it is thebest instrument we have for the enrichment of experience. (shrink)

In this paper I try to make as much sense aspossible of, first, the extensive philosophicalliterature concerned with the status of `Wateris H2O' and, second, the implications ofPutnam's invention of Twin Earth, anotherpossible world stipulated to be just like Earth, except that water is XYZ, notH2O.

En el presente trabajo pretendemos indagar la manera como ciertas lecturas resultan “interesadas” y están motivadas en necesidades que emergen del presente mismo de la lectura. Estas políticas de lectura recuperan o ignoran obras y autores dentro del canon cultural de una nación. Jorge Abelardo Ramos editó por primera vez a Manuel Ugarte en la Argentina, un libro que databa de 1910 (El porvenir de la América Latina). Le introduce un prólogo al que llama “Redescubrimiento de Ugarte”. La figura de (...) este socialista argentino le sirvió a Ramos para alcanzar una síntesis entre socialismo y nación latinoamericana. In this paper we intend to investigate how certain readings are “concerned” and motivated in needs that emerge of the present itself of the reading. These reading policies retrieve or ignore books and authors within a nation’s cultural canon. Jorge Abelardo Ramos edited by Manuel Ugarte first time in Argentina, a book dating from 1910 (El porvenir de la América Latina). Ramos introduces a prologue called “Redescubrimiento de Ugarte”. The figure of this argentine socialist helped Ramos to achieve a synthesis between socialism and Latin American nation. (shrink)

This article deals with the events that preceded the U.S. House Resolution No. 269 of June 11, 2002, acknowledging the primacy of Antonio Meucci in the invention of the telephone and that were decisive to the passing of the same. Among them are the author’s lecture at the University of NewYork of October 10, 2000, and Resolution No. 1566 of the New York City Council urging the U.S. Congress to recognize the priority of Antonio Meucci in the invention of the (...) telephone, which followed 2 days after. This lecture is reported here as it was newly delivered in Canada during the author’s visit in April 2003. (shrink)

Nikola Tesla (1856–1943) is surely one of the more remarkable figures in the story of global electrification. Rivalling Thomas Edison for the title of chief Wizard, both in his own time and ours, almost every invention of modern life has at some point been attributed to Tesla: from the communications media of telephone, fax, radio, and television, through the military utilities of radar and remote-control weapons, and (most plausibly) the systems of alternate current generation and transmission that power our world. (...) And yet Tesla died impoverished and alone in a New York hotel room with his greatest plans for wireless power transmission abandoned and derided, if they were remembered at all. Tesla’s image as something of a martyr to an ungrateful world has indeed generated a cult following in recent decades, doubtless fired in part by the Serbian nationalism that has justly helped raise the profile of Albert Einstein’s first wife, Mileva Marić (e.g. M. Popović, In Albert’s Shadow: The L .. (shrink)

Leibniz was probably the last universal scholar in modern times who made original and innovative achievements in all the essential fields of knowledge of his time: as a reform-oriented lawyer, a multilateral thinking diplomat, as a mathematician of infinitesimal calculus, as the inventor of a calculating machine and in the mining of horizontal wind power, as an organizer of science and as one of the first historians who strived for source-critical methodical objectivity. However, this baroque diversity can only (...) be understood from the center of a monadological philosophy, which wants to establish the unity of scientific worldview and metaphysical concept of the world. It is distorted in the classical reception because only Leibniz the Theodicy was known. The topicality of Leibniz today consists in re-exposing the original basic idea of unity in diversity and asking how it can be made fruitful for philosophical and political thought in the 21st century. This book is a translation of the original German 1st edition Leibniz und die Folgen by Jörg Zimmer, published by J.B. Metzler, imprint of Springer-Verlag GmbH, part of Springer Nature in 2018. The translation was done with the help of artificial intelligence. A subsequent human revision was done primarily in terms of content, so that the book will read stylistically differently from a conventional translation. Springer Nature works continuously to further the development of tools for the production of books and on the related technologies to support the authors. (shrink)

In this paper I illustrate the evolution of series theory from Leibniz and Newton to the first decades of the eighteenth century. Although mathematicians used convergent series to solve geometric problems, they manipulated series by a mere extension of the rules valid for finite series, without considering convergence as a preliminary condition. Further, they conceived of a power series as a result of a process of the expansion of a finite analytical expression and thought that the link between series and (...) analytical expression was not restricted to the interval of convergence. This gave rise to formal aspects that became progressively more evident while the complexity of the theory increased. Asymptotic and recurrence series emerged as the result of the natural evolution of theory, without the difference between these infinite processes with respect to ordinary series being highlighted. The various aspects of dealing with series can be viewed today as derived from different definitions of the sum. However, mathematicians of that time always considered them as different approaches to a single theory that was based on a unique notion of the sum (even though, later in the eighteenth century, they disagree about what this notion was). (shrink)

In this paper I illustrate the evolution of series theory from Leibniz and Newton to the first decades of the eighteenth century. Although mathematicians used convergent series to solve geometric problems, they manipulated series by a mere extension of the rules valid for finite series, without considering convergence as a preliminary condition. Further, they conceived of a power series as a result of a process of the expansion of a finite analytical expression and thought that the link between series and (...) analytical expression was not restricted to the interval of convergence. This gave rise to formal aspects that became progressively more evident while the complexity of the theory increased. Asymptotic and recurrence series emerged as the result of the natural evolution of theory, without the difference between these infinite processes with respect to ordinary series being highlighted. The various aspects of dealing with series can be viewed today as derived from different definitions of the sum. However, mathematicians of that time always considered them as different approaches to a single theory that was based on a unique notion of the sum (even though, later in the eighteenth century, they disagree about what this notion was). (shrink)

The aim of this paper is twofold: (1) to show the principal aspects of the way in which Newton conceived his mathematical concepts and methods and applied them to rational mechanics in his Principia; (2) to explain how the editors of the Geneva Edition interpreted, clarified, and made accessible to a broader public Newton’s perfect but often elliptic proofs. Following this line of inquiry, we will explain the successes of Newton’s mechanics, but also the problematic aspects of his perfect geometrical (...) methods, more elegant, but less malleable than analytical procedures, of which Newton himself was one of the inventors. Furthermore, we will also consider the way in which Newtonianism was spread before in England and afterwards on continental Europe. In this respect the Geneva Edition plays a fundamental role because of its complete apparatus of notes, and because it appeared only thirteen years after the publication of the third edition of the Principia (1726). Finally, we will also confront some problems connected to the metaphysics of calculus. Therefore, the case of Newton is one of those in which, starting from mathematics applied to physics, it is possible to connect an impressive series of fundamental arguments such as the role of mathematics in science; the comparison between Newton’s geometrical methods and analytical methods; the way in which Newtonianism was spread as well as the philosophical implications of Newton’s mathematical concepts. (shrink)

This paper extends the investigations into logical properties of the quantified argument calculus (Quarc) by suggesting a series of proper subsystems which, although retaining the entire vocabulary of Quarc, restrict quantification in such a way as to make the result decidable. The proof of decidability is via a procedure that prunes the infinite branches of a derivation tree in what is a syntactic counterpart of semantic filtration. We demonstrate an application of one of these systems by showing that Aristotle’s (...) assertoric syllogistic is embeddable within, thus also providing another method of showing its decidability. (shrink)

It is well known that in his logical writings Leibniz typically disregarded the operation of disjunction, confining himself to the theory of conjunction ajid negation. Now, while this fact has been interpreted by Couturat and others as indicating a serious incompleteness of the Leibnizian calculus, it is shown in this paper that actually Leibniz's conjunction-negation logic, with 'est Ens', i. e. 'is possible' as an additional logical operator, is provably equivalent to Boolean algebra. Moreover, already in the Generales Inquisitiones (...) of 1686 Leibniz had established all basic principles that are necessary for a complete axiomatization of "Boolean" algebra. In this sense Leibniz should be acknowledged as the true inventor of the algebra of sets. (shrink)

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural (...) deduction system of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

Because of the “all-or-none” character of nervous activity, neural events and the relations among them can be treated by means of propositional logic. It is found that the behavior of every net can be described in these terms, with the addition of more complicated logical means for nets containing circles; and that for any logical expression satisfying certain conditions, one can find a net behaving in the fashion it describes. It is shown that many particular choices among possible neurophysiological assumptions (...) are equivalent, in the sense that for every net behaving under one assumption, there exists another net which behaves under the other and gives the same results, although perhaps not in the same time. Various applications of the calculus are discussed. (shrink)

Although Aristotle (Metaphysics, Book IV, Chapter 2) was perhaps the first person to consider the part-whole relationship to be a proper subject matter for philosophic inquiry, the Polish logician Stanislow Lesniewski [15] is generally given credit for the first formal treatment of the subject matter in his Mereology.1 Woodger [30] and Tarski [24] made use of a specific adaptation of Lesniewski's work as a basis for a formal theory of physical things and their parts. The term 'calculus of individuals' (...) was introduced by Leonard and Goodman [14] in their presentation of a system very similar to Tarski's adaptation of Lesniewski's Mereology. Contemporaneously with Lesniewski's development of his Mereology, Whitehead [27] and [28] was developing a theory of extensive abstraction based on the two-place predicate, 'x extends over y\ which is the converse of 'x is a part of y\ This system, according to Russell [22], was to have been the fourth volume of their Pήncipia Mathematica, the never-published volume on geometry. Both Lesniewski [15] and Tarski [25] have recognized the similarities between Whitehead's early work and Lesniewski's Mereology. Between the publication of Whitehead's early work and the publication of Process and Reality [29], Theodore de Laguna [7] published a suggestive alternative basis for Whitehead's theory. This led Whitehead, in Process and Reality, to publish a revised form of his theory based on the two-place predicate, 'x is extensionally connected with y\ It is the purpose of this paper to present a calculus of individuals based on this new Whiteheadian primitive predicate. (shrink)

The calculus of Natural Calculation is introduced as an extension of Natural Deduction by proper term rules. Such term rules provide the capacity of dealing directly with terms in the calculus instead of the usual reasoning based on equations, and therefore the capacity of a natural representation of informal mathematical calculations. Basic proof theoretic results are communicated, in particular completeness and soundness of the calculus; normalisation is briefly investigated. The philosophical impact on a proof theoretic account of (...) the notion of meaning is considered. (shrink)

By way of a close reading of Boole and Frege’s solutions to the same logical problem, we highlight an underappreciated aspect of Boole’s work—and of its difference with Frege’s better-known approach—which we believe sheds light on the concepts of ‘calculus’ and ‘mechanization’ and on their history. Boole has a clear notion of a logical problem; for him, the whole point of a logical calculus is to enable systematic and goal-directed solution methods for such problems. Frege’s Begriffsschrift, on the (...) other hand, is a visual tool to scrutinize concepts and inferences, and is a calculus only in the thin sense that every possible transition between sentences is fully and unambiguously specified in advance. While Frege’s outlook has dominated much of philosophical thinking about logical symbolism, we believe there is value—particularly in light of recent interest in the role of notations in mathematics and logic—in reviving Boole’s idea of an intrinsic link between, as he put it, a ‘calculus’ and a ‘directive method’ to solve problems. (shrink)

We present our calculus of higher-level rules, extended with propositional quantification within rules. This makes it possible to present general schemas for introduction and elimination rules for arbitrary propositional operators and to define what it means that introductions and eliminations are in harmony with each other. This definition does not presuppose any logical system, but is formulated in terms of rules themselves. We therefore speak of a foundational account of proof-theoretic harmony. With every set of introduction rules a canonical (...) elimination rule, and with every set of elimination rules a canonical introduction rule is associated in such a way that the canonical rule is in harmony with the set of rules it is associated with. An example given by Hazen and Pelletier is used to demonstrate that there are significant connectives, which are characterized by their elimination rules, and whose introduction rule is the canonical introduction rule associated with these elimination rules. Due to the availabiliy of higher-level rules and propositional quantification, the means of expression of the framework developed are sufficient to ensure that the construction of canonical elimination or introduction rules is always possible and does not lead out of this framework. (shrink)