A civic science curriculum is advocated. We discuss practical mechanisms for (and highlight the possible benefits of) addressing the relationship between scientific knowledge and civic responsibility coextensively with rigorous scientific content. As a strategy, we suggest an in-course treatment of well known (and relevant) historical and contemporary controversies among scientists over science policy or the use of sciences. The scientific content of the course is used to understand the controversy and to inform the debate while allowing students to see the (...) role of scientists in shaping public perceptions of science and the value of scientific inquiry, discoveries and technology in society. The examples of the activism of Linus Pauling, Alfred Nobel and Joseph Rotblat as scientists and engaged citizens are cited. We discuss the role of science professors in informing the social conscience of students and consider ways in which a treatment of the function of science in society may find, coherently, a meaningful space in a science curriculum at the college level. Strategies for helping students to recognize early the crucial contributions that science can make in informing public policy and global governance are discussed. (shrink)

Moral rules provide the baseline for ethics, proscribing unacceptable behavior; moral ideals inspire us to act in ways that improve the human condition. Whatever the moral ideals for pure research, science has a practical side so it is important to find a moral ideal to give guidance to more applied research. This article presents a moral ideal for use-inspired research based on Norman Care’s idea of shared-fate individualism This ideal reflects the observation that all human lives, both present and future (...) are tightly coupled and, as a result, research projects should be chosen, where possible, with the goal of service to others. Together with the ideals of the habit of truth and the gift economy, shared-fate individualism provides the basis for a humane ethics of science. (shrink)

Nobel laureate Roald Hoffmann's contributions to chemistry are well known. Less well known, however, is that over a career that spans nearly fifty years, Hoffmann has thought and written extensively about a wide variety of other topics, such as chemistry's relationship to philosophy, literature, and the arts, including the nature of chemical reasoning, the role of symbolism and writing in science, and the relationship between art and craft and science. In Roald Hoffmann on the Philosophy, Art, and Science of Chemistry, (...) Jeffrey Kovac and Michael Weisberg bring together twenty-eight of Hoffmann's most important essays. Gathered here are Hoffmann's most philosophically significant and interesting essays and lectures, many of which are not widely accessible. In essays such as "Why Buy That Theory," "Nearly Circular Reasoning," "How Should Chemists Think," "The Metaphor, Unchained," "Art in Science," and "Molecular Beauty," we find the mature reflections of one of America's leading scientists. Organized under the general headings of Chemical Reasoning and Explanation, Writing and Communicating, Art and Science, Education, and Ethics, these stimulating essays provide invaluable insight into the teaching and practice of science. (shrink)

Traditional philosophy of science regards theoretical reasoning, based on the example of Euclidian geometry, as the hallmark of a mature science. There is, however, a parallel tradition of practical reasoning based on specific cases that goes back to Aristotle. In this paper I argue that practical reasoning is an essential part of the practice of chemistry and should be understood and appreciated on its own merits rather than regarded as a symbol of the immaturity and inferiority of chemistry as a (...) science. (shrink)

This essay offers a preliminary philosophy ofchemistry as a profession focusing on professionalethics. First, I look at how well chemistry fits themodel of a liberal profession. I then explore therelationship between epistemology and ethics. Therelationship between chemistry and society isdiscussed in the context of the two-dimensionalclassification of research developed by Donald Stokesin his book Pasteur's Quadrant. Finally, Iraise the questions of an appropriate moral ideal forchemistry and the ethical conflicts that can occurwhen chemists simultaneously fulfill more than one role.

This article considers the ethical aspects of the question: should a scientist engage in war-related research, particularly use-inspired or applied research directed at the development of the means for the better waging of war? Because scientists are simultaneously professionals, citizens of a particular country, and human beings, they are subject to conflicting moral and practical demands. There are three major philosophical views concerning the morality of war that are relevant to this discussion: realism, just war theory and pacifism. In addition, (...) the requirements of professional codes of ethics and common morality contribute to an ethical analysis of the involvement of scientists and engineers in war-related research and technology. Because modern total warfare, which is facilitated by the work of scientists and engineers, results in the inevitable killing of innocents, it follows that most, if not all, war-related research should be considered at least as morally suspect and probably as morally prohibited. (shrink)

Codes of ethics abound in science, but the question of why such codes should be obeyed is rarely asked. Various reasons for obeying a professional code have been proposed, but all are unsatisfactory in that they do not really motivate behavior. This article suggests that the long forgotten virtue of reverence provides both a reason to obey a professional code and motivation to do so. In addition, it discusses the importance of reverence as a cardinal virtue for scientists drawing on (...) the ideas of Paul Woodruff on the role of virtue in community. (shrink)

The article focuses on Kant's formal logic (formal theory of concepts, judgments, and inference, general methodology) in the systematic order of logical forms and presents the main characteristics of his transcendental logic (theory of categories and transcendental ideas). Kant's problem of the foundations of logic and its completeness is addressed. The relevance and influence of Kant's account of logic in the development of modern logic is outlined. The article gives a selection of primary and secondary sources.

The first beginnings of modern logic in Croatia are recognizable as early as in the middle of the 19th century in Vatroslav Bertić. At the turn of the 20th century, Albin Nagy, who was teaching in Italy, made contributions to algebraic logic and to the philosophy of logic. At that time, a distinctive author Mate Meršić stood out, also working on algebraic logic. In the Croatian academic philosophy, until the publication of Gajo Petrović's textbook (1964) and the contributions by Heda (...) Festini, a critical or indifferent attitude toward modern logic prevailed. The first comprehensive modern logic textbook in Croatian was written by mathematician Vladimir Devidé (1964), known, for example, for his axiomatizations of natural numbers and classical propositional logic. In the Croatian philosophy of the 1980s and 1990s, influential logicians are Goran Švob and mathematician Zvonimir Šikić. At the turn of the 21st century, logical investigations are being intensified and extended to various branches of the contemporary logic. (shrink)

Aristotelian causal theories incorporate some philosophically important features of the concept of cause, including necessity and essential character. The proposed formalization is restricted to one-place predicates and a finite domain of attributes (without individuals). Semantics is based on a labeled tree structure, with truth defined by means of tree paths. A relatively simple causal prefixing mechanism is defined, by means of which causes of propositions and reasoning with causes are made explicit. The distinction of causal and factual explanation are elaborated, (...) and examples of cyclic and convergent causation are given. Soundness and completeness proofs are sketched. (shrink)

After introductory reminder of and comments on Gödel’s ontological proof, we discuss the collapse of modalities, which is provable in Gödel’s ontological system GO. We argue that Gödel’s texts confirm modal collapse as intended consequence of his ontological system. Further, we aim to show that modal collapse properly fits into Gödel’s philosophical views, especially into his ontology of separation and union of force and fact, as well as into his cosmological theory of the nonobjectivity of the lapse of time. As (...) a result, modal collapse should not be conceived in Gödel so much as a deficit, but rather as a kind of the rise of modalities to the “perfect” being. We further show that, in accordance with Gödel’s ontology, the concepts of modality and time should be derived in terms of the “fundamental philosophical concept” of cause. To give an example of how a formalization of such causative Gödelian ontology and ontological proof might look, we propose the transformation of GO into a kind of causally re-interpreted justification logic. (shrink)

Popular culture continues fuelling public imagination with things, human and non-human, that we might beco-me or confront. Besides robots, other significant tropes in popular fiction that generated images include non-human humans and cyborgs, wired into his-torically varying sociocultural realities. Robots and artificial intelligence are re-defining the natural order and its hierar-chical structure. This is not surprising, as natural order is always in flux, shaped by new scientific discoveries, especially the reading of the genetic code, that reveal and redefine relationships between (...) life forms. However, for the first time, a new, artificial, species is being introduced into the existing diagrams, and, for the first time, it appears to hybridise the anthro-pocentric natural world order. (shrink)

That believing truly as a matter of luck does not generally constitute knowing has become epistemic commonplace. Accounts of knowledge incorporating this anti-luck idea frequently rely on one or another of a safety or sensitivity condition. Sensitivity-based accounts of knowledge have a well-known problem with necessary truths, to wit, that any believed necessary truth trivially counts as knowledge on such accounts. In this paper, we argue that safety-based accounts similarly trivialize knowledge of necessary truths and that two ways of responding (...) to this problem for safety, issuing from work by Williamson and Pritchard, are of dubious success. (shrink)

Followers of Wittgenstein allegedly once held that a meaningful claim to know that p could only be made if there was some doubt about the truth of p. The correct response to this thesis involved appealing to the distinction between the semantic content of a sentence and features attaching to its use. It is inappropriate to assert a knowledge-claim unless someone in the audience has doubt about what the speaker claims to know. But this fact has nothing to do with (...) the semantic content of knowledgeascriptions; it is entirely explicable by appeal to pragmatic facts about felicitous assertion. (shrink)

The paper aims to show that by abstracting from a specific mythical historical- stylistic context and “ideation” of the notion of the Proto-Slavic deities Perun and Veles, especially in Croatian tradition, symbolic archetypes and abstract notions of form and primordial matter (materia prima) can be extracted from mythical content. We refer to mythical texts and contents according to the reconstructions and materials brought by Radoslav Katičić, and comparative analysis by Mislav Ježić. We distinguish form (1) as that in which identity (...) and possibility of a thing consists, (2) as the reasonableness of judgment and the form of existence, and (3) as the specific structure of a thing, which unites its parts and aspects as a whole and constitutes its internal necessity. These formative notions are relativized and nullified in Veles’ appearances, in which the archetypal notion of primordial matter is encoded. Examples of Platō’s dialogues historically confirm certain aspects of decoding myth as constitutive of philosophy. The above approach also opens a view of the roots of Croatian philosophical thought, which in its genesis can be traced back to Proto-Slavic mythical archetypes. With the implementation of Christianity, the questions of identity, reason and the structure of the whole are raised radically and sharply, as shown by the text of Trpimir’s grant (852). (shrink)

This paper raises objections to the constitution of these lines in the OCT. The lines are gnomic but they generalize based on an actual sequence of events just described and should contain an allusion to the offence that will cause the Greeks to perish, the outrage against Athena's temple. This, it is argued, stood in a lacuna best marked after 95. The article has three theses: (1) sacking ‘cities, temples, and tombs’ is implausible because the latter two are parts of (...) the first; (2) plundering tombs refers to nothing in the play, nor was this thought of as an offence against the gods; (3) 96–7 do not refer to the offence that causes the fool's death but are a description of his success, the destruction of the hated enemy population. That success stands in ironic contrast with his subsequent death. (shrink)

A first-order logic of belief with identity is proposed, primarily to give an account of possible de re contradictory beliefs, which sometimes occur as consequences of de dicto non-contradictory beliefs. A model has two separate, though interconnected domains: the domain of objects and the domain of appearances. The satisfaction of atomic formulas is defined by a particular S-accessibility relation between worlds. Identity is non-classical, and is conceived as an equivalence relation having the classical identity relation as a subset. A tableau (...) system with labels, signs, and suffixes is defined, extending the basic language $\mathscr{L}_{\mathbf{QB}}$ by quasiformulas (to express the denotations of predicates). The proposed logical system is paraconsistent since $\phi \wedge \neg\phi$ does not ``explode'' with arbitrary syntactic consequences. (shrink)

Could space consist entirely of extended regions, without any regions shaped like points, lines, or surfaces? Peter Forrest and Frank Arntzenius have independently raised a paradox of size for space like this, drawing on a construction of Cantor’s. I present a new version of this argument and explore possible lines of response.

A close interrelationship between logic and religious faith is confirmed in many places of the Bible. In the paper, special attention is paid to the dialogue of Jesus and a Samaritan woman (John 4). In a proposed outline of a logical formalization, religious faith is described as a pragmatic function through which the linguistic and logical content is contextually realized. In the continuation of the paper, Gödel's ontological proof is commented, which in a logically rigorous way describes the ontology where (...) we can detect the systematic place of religious faith as an ontological force. (shrink)

The paper sets out from Göodel's question about primitive concepts, in connection with Gödel's proposal of the employment of phenomenological method. The author assumes that the answer that can be found in Kant is relevant as a starting point. In a modification of the approach by K. Reich, a reconstruction of Kant's "deduction'' of logical forms of judgment is presented, which serve Kant as the basis for his "metaphysical deduction of categories'' including substantiality and causality. It is proposed that different (...) aspects of Kant's "original unity of self-consciousness'' as applied and attached to concrete representations step by step yield different forms of concepts, judgments, and inferences. Categorical, hypothetical and disjunctive judgments are shown to be gradually strengthening the conditions of bringing our representations under the "objective unity of consciousness", and in this way gradually implementing logical laws. The corresponding concepts of substantiality, causality, and mutual influence appear to be grounded in the primitive forms of our thinking. (shrink)

The Face of the Other and the Trace of God contain essays on the philosophy of Emmanuel Levinas, and how his philosophy intersects with that of other philosophers, particularly Husserl, Kierkegaard, Sartre, and Derrida. This collection is broadly divided into two parts: relations with the other, and the questions of God.

Certain realists about properties and relations identify them with universals. Furthermore, some hold that for a wide range of meaningful predicates, the semantic contribution to the propositions expressed by the sentences in which those predicates figure is the universal expressed by the predicate. I here address ontological issues raised by predicates first introduced to us via works of fiction and whether the universal realist should accept that any such predicates express universals. After assessing arguments by Braun, D. and Sawyer, S. (...) for fictional universal anti-realism, I propose a novel, Kripke-inspired argument for the same conclusion. I ultimately defend the claim that while this argument presents the strongest case for fictional universal anti-realism, it is nonetheless unsound. I conclude that nothing stands in the way of accepting that some fictional predicates express fictional universals. (shrink)

Different forms and transformations of philosophy in the modern world are analyzed according to the view of the Croatian philosopher Vanja Sutlić (1925-1989). A key aspect is the "realization of philosophy" in "work science", which encompasses the entire "world of work" established in modern times. This universal and real science is also an important precondition for "historical thinking". The uniformity of this science, problematized by Sutlić, can be found today in refined logical and semantic structures, which allow for a renewed (...) and richer articulation of philosophical concepts than was traditionally possible. (shrink)

This book offers a concise survey of basic probability theory from a thoroughly subjective point of view whereby probability is a mode of judgment. Written by one of the greatest figures in the field of probability theory, the book is both a summation and synthesis of a lifetime of wrestling with these problems and issues. After an introduction to basic probability theory, there are chapters on scientific hypothesis-testing, on changing your mind in response to generally uncertain observations, on expectations of (...) the values of random variables, on de Finetti's dissolution of the so-called problem of induction, and on decision theory. (shrink)

The Aristotelian origins of formal systems are outlined, together with Aristotle's use of causal terms in describing syllogisms. The precision and exactness of a formalism, based on the projection of logical forms into perceptive signs, is contrasted with foundational, abstract concepts, independent of any formalism, which are presupposed for the understanding of a formal language. The definition of a formal system by means of a Turing machine is put in the context of Wittgenstein's general considerations of a machine understood as (...) a sign. A modification of Łukasiewicz's logic Ł3 with the inclusion of justification terms is proposed in order to formally analyse some features of formalistic reasoning as a mechanical, causal affair within a wider context of "indeterminacy". (shrink)

Gödel's ontological argument is related to Gödel's view that causality is the fundamental concept in philosophy. This explicit philosophical intention is developed in the form of an onto-theological Gödelian system based on justification logic. An essentially richer language, so extended, offers the possibility to express new philosophical content. In particular, theorems on the existence of a universal cause on a causal "slingshot" are formulated.

The paper shows that it is possible to obtain a "slingshot" result in Gödel's theory of positiveness in the presence of the theorem of the necessary existence of God. In the context of the reconstruction of Gödel's original "slingshot" argument on the suppositions of non-Fregean logic, this is a natural result. The "slingshot" result occurs in sufficiently strong non-Fregean theories accepting the necessary existence of some entities. However, this feature of a Gödelian theory may be considered not as a trivialisation, (...) but as an intended consequence of Gödel's ontotheological views. (shrink)

Few notions are more central to Aquinas’s thought than those of matter and form. Although he invokes these notions in a number of different contexts, and puts them to a number of different uses, he always assumes that in their primary or basic sense they are correlative both with each other and with the notion of a “hylomorphic compound”—that is, a compound of matter (hyle) and form (morphe). Thus, matter is an entity that can have form, form is an entity (...) that can be had by matter, and a hylomorphic compound is an entity that exists when the potentiality of some matter to have form is actualized.1 What is more, Aquinas assumes that the matter of a hylomorphic compound explains certain of its general characteristics, whereas its form explains certain of its more specific characteristics. Thus, the matter of a bronze statue explains the fact that it is bronze, whereas its form explains the fact that it is a statue. Again, the matter of a human being explains the fact that it is a material object, whereas its form explains the specific type of material object it is (namely, human). My aim in this chapter is to provide a systematic introduction to Aquinas’s primary or basic notions of matter and form. To accomplish this aim, I focus on the two main theoretical contexts in which he deploys them—namely, his theory of change and his theory of individuation. In both contexts, as we shall see, Aquinas appeals to matter and form to account for relations of sameness and difference holding between distinct individuals. (shrink)

Jeffrey Barrett presents the most comprehensive study yet of a problem that has puzzled physicists and philosophers since the 1930s.

Eliminativists sometimes invoke evolutionary debunking arguments against ordinary object beliefs, either to help them establish object skepticism or to soften the appeal of commonsense ontology. I argue that object debunkers face a self-defeat problem: their conclusion undermines the scientific support for one of their premises, because evolutionary biology depends on our object beliefs. Using work on reductionism and multiple realizability from the philosophy of science, I argue that it will not suffice for an eliminativist debunker to simply appeal to some (...) object-free surrogate theory of evolution that results from converting any scientific proposition about some object K into a proposition about simples arranged K-wise. In the process, I examine some hazards peculiar to eliminative reductions of scientific theories, and propose a trilemma for eliminativists who attempt to recoup generality for ontologically sparse reducing theories by appealing to pluralities of simples arranged K-wise. The paper is intended to define and develop the object debunker’s self-defeat problem for further study, and to clarify some of the ways sparse and abundant ontologies interact with scientific theory. (shrink)

Richard Jeffrey is beyond dispute one of the most distinguished and influential philosophers working in the field of decision theory and the theory of knowledge. His work is distinctive in showing the interplay of epistemological concerns with probability and utility theory. Not only has he made use of standard probabilistic and decision theoretic tools to clarify concepts of evidential support and informed choice, he has also proposed significant modifications of the standard Bayesian position in order that it provide a (...) better fit with actual human experience. Probability logic is viewed not as a source of judgment but as a framework for explaining the implications of probabilistic judgments and their mutual compatability. This collection of essays spans a period of some 35 years and includes what have become some of the classic works in the literature. There is also one completely new piece, while in many instances Jeffrey includes afterthoughts on the older essays. (shrink)

In this original and compelling book, Jeffrey P. Bishop, a philosopher, ethicist, and physician, argues that something has gone sadly amiss in the care of the dying by contemporary medicine and in our social and political views of death, as shaped by our scientific successes and ongoing debates about euthanasia and the "right to die"--or to live. __The Anticipatory Corpse: Medicine, Power, and the Care of the Dying__, informed by Foucault's genealogy of medicine and power as well as by (...) a thorough grasp of current medical practices and medical ethics, argues that a view of people as machines in motion--people as, in effect, temporarily animated corpses with interchangeable parts--has become epistemologically normative for medicine. The dead body is subtly anticipated in our practices of exercising control over the suffering person, whether through technological mastery in the intensive care unit or through the impersonal, quasi-scientific assessments of psychological and spiritual "medicine." The result is a kind of nihilistic attitude toward the dying, and troubling contradictions and absurdities in our practices. Wide-ranging in its examples, from organ donation rules in the United States, to ICU medicine, to "spiritual surveys," to presidential bioethics commissions attempting to define death, and to high-profile cases such as Terri Schiavo's, __The Anticipatory Corpse__ explores the historical, political, and philosophical underpinnings of our care of the dying and, finally, the possibilities of change. A ground-breaking work in bioethics, this book will provoke thought and argument for all those engaged in medicine, philosophy, theology, and health policy. "With extraordinary philosophical sophistication as well as knowledge of modern medicine, Bishop argues that the body that shapes the work of modern medicine is a dead body. He defends this claim decisively with with urgency. I know of no book that is at once more challenging and informative as __The Anticipatory Corpse. __To say this book is the most important one written in the philosophy of medicine in the last twenty-five years would not do it justice. This book is destined to change the way we think and, hopefully, practice medicine." --_Stanley Hauerwas, Duke Divinity School _ "Jeffrey Bishop carefully builds a detailed, scholarly case that medicine is shaped by its attitudes toward death. Clinicians, ethicists, medical educators, policy makers, and administrators need to understand the fraught relationship between clinical practices and death, and __The Anticipatory Corpse __is an essential text. Bishop's use of the writings of Michel Foucault is especially provocative and significant. This book is the closest we have to a genealogy of death." --_Arthur W. Frank, University of Calgary _ "Jeffrey Bishop has produced a masterful study of how the living body has been placed within medicine's metaphysics of efficient causality and within its commitment to a totalizing control of life and death, which control has only been strengthened by medicine's taking on the mantle of a bio-psycho-socio-spiritual model. This volume's treatment of medicine's care of the dying will surely be recognized as a cardinal text in the philosophy of medicine." --_H. Tristram Engelhardt, Jr., Rice University, Baylor College of Medicine_. (shrink)

In the Philosophy of Nature, Hegel describes at length and in detail the particular workings of animal digestion and excretion, referring to the empirical research of his day (Berzelius, Spallanzani, Traviranus). By becoming engaged in the scientific disputes and insights of the time—regarding, for example, the mechanical versus chemical nature of digestion, immediate digestive assimilation and the chemical composition of feces—Hegel arrives at the novel idea that what the animal excretes as superfluous is its own particular entanglement with inorganic otherness. (...) The animal’s subsequent feeling of triumph and satisfaction constitutes the affirmation of individual purposiveness, a form of immediate ideality that Hegel presents as animal subjectivity. (shrink)

Christine Overall has argued that miracles, if they exist, would be an evil committed by God and therefore disprove the existence of God. However, her notion of a miracle as an intervention presupposes a view about the relation between God and creation that posits God as an ‘outsider.’ Such a view has not been held by all theists. It was not held by Thomas Aquinas. I show that Aquinas ’s conception is not susceptible to Overall’s criticisms. The upshot is that (...) theists should avoid any view of God as an ‘outsider,’ if they wish to avoid Overall’s criticisms. (shrink)