U ovom radu razmatraju se pravi ciljevi tzv. medjunarodne zajednice na Balkanu, pod kojom se zapravo podrazumevaju Sjedinjene Americke Drzave Kao jedina preostala super sila, i Evropska unija, u kojoj kljucnu ulogu imaju Francuska, Velika Britanija i Nemacka. Pisac polazi od uverenja da stvarne, a narocito dugorocne namere ovih sila treba prevashodno izvoditi iz onoga sto one cine, pa tek onda uzimali u obzir i ono sto se javno ili tajno govorilo ili nagovestavalo. Analizom veceg broja primera na Balkanu i (...) u drugim delovima sveta pisac dolazi do neocekivanog ishoda. Dok su se velike zapadne sile na recima zalagale za multietnicnost i ocuvanje multietnickih drzava, na delu su postupale upravo suprotno: ne samo sto su podsticale bujanje nacionalizma i separatizma, nego su i pospesile i priznale raspad triju evropskih federacija na 22 manje-vise nacionalne drzave. I dok su se na recima prividno zalagale za tzv. demokratizaciju, u praksi su ne samo podrzavale autoritarne rezime nego su i same na tlu Balkana demokratiju poistovetile s okupacijom. (shrink)

Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory have not been explained systematically in terms of proof theory. Here it is shown that these notions, in particular the notion of adjunction, can be formulated in such as way as to be characterised by composition elimination. Among the benefits of these composition-free formulations are syntactical and simple model-theoretical, geometrical decision procedures for the commuting of (...) diagrams of arrows. Composition elimination, in the form of Gentzen's cut elimination, takes in categories, and techniques inspired by Gentzen are shown to work even better in a purely categorical context than in logic. An acquaintance with the basic ideas of general proof theory is relied on only for the sake of motivation, however, and the treatment of matters related to categories is also in general self contained. Besides familiar topics, presented in a novel, simple way, the monograph also contains new results. It can be used as an introductory text in categorical proof theory. (shrink)

Current books on evolutionary theory all seem to take for granted the fact that students find evolution easy to understand when actually, from a psychological perspective, it is a rather counterintuitive idea. Evolutionary theory, like all scientific theories, is a means to understanding the natural world. Understanding Evolution is intended for undergraduate students in the life sciences, biology teachers or anyone wanting a basic introduction to evolutionary theory. Covering core concepts and the structure of evolutionary explanations, it clarifies both what (...) evolution is about and why so many people find it difficult to grasp. The book provides an introduction to the major concepts and conceptual obstacles to understanding evolution, including the development of Darwin's theory, and a detailed presentation of the most important evolutionary concepts. Bridging the gap between the concepts and conceptual obstacles, Understanding Evolution presents evolutionary theory with a clarity and vision students will quickly appreciate. (shrink)

What are genes? What do genes do? These seemingly simple questions are in fact challenging to answer accurately. As a result, there are widespread misunderstandings and over-simplistic answers, which lead to common conceptions widely portrayed in the media, such as the existence of a gene 'for' a particular characteristic or disease. In reality, the DNA we inherit interacts continuously with the environment and functions differently as we age. What our parents hand down to us is just the beginning of our (...) life story. This comprehensive book analyses and explains the gene concept, combining philosophical, historical, psychological and educational perspectives with current research in genetics and genomics. It summarises what we currently know and do not know about genes and the potential impact of genetics on all our lives. Making Sense of Genes is an accessible but rigorous introduction to contemporary genetics concepts for non-experts, undergraduate students, teachers and healthcare professionals. (shrink)

The book in front of you is the first international academic volume on the legal, philosophical and economic aspects of the rise of 3D printing. In recent years 3D printing has become a hot topic. Some claim that it will revolutionize production and mass consumption, enabling consumers to print anything from clothing, automobile parts and guns to various foods, medication and spare parts for their home appliances. This may significantly reduce our environmental footprint, but also offers potential for innovation and (...) creativity. At the same time 3D printing raises social, ethical, regulatory and legal questions. If individuals can print anything they want, how does this affect existing systems of intellectual property rights? What are the societal consequences of the various types of products one can print with a 3D printer, for example weapons? Should all aspects of 3D printing be regulated, and if so, how and to what ends? How will businesses (have to) change their way of working and their revenue model in light of the shift to printing-on-demand? How will the role of product designers change in a world where everyone has the potential to design their own products? These and other questions are addressed in high quality and in-depth contributions by academics and experts, bringing together a wide variety of academic discussions on 3D printing from different disciplines as well as presenting new views, broadening the discussion beyond the merely technical dimension of 3D printing. Bibi van den Berg is Associate Professor at eLaw, the Center for Law and Digital Technologies at Leiden University, The Netherlands. Simone van der Hof is Full Professor at eLaw in Leiden and Eleni Kosta is Associate Professor at TILT, the Tilburg Institute for Law, Technology and Society at Tilburg University, The Netherlands. (shrink)

In Neither Physics Nor Chemistry, Kostas Gavroglu and Ana Simoes examine the evolution of quantum chemistry into an autonomous discipline, tracing its development from the publication of early papers in the 1920s to the dramatic changes ...

Scientific knowledge is the most solid and robust kind of knowledge that humans have because of its inherent self-correcting character. Nevertheless, anti-evolutionists, climate denialists, and anti-vaxxers, among others, question some of the best-established scientific findings, making claims unsupported by empirical evidence. A common aspect of these claims is reference to the uncertainties of science concerning evolution, climate change, vaccination, and so on. This is inaccurate: whereas the broad picture is clear, there will always exist uncertainties about the details of the (...) respective phenomena. This book shows that uncertainty is an inherent feature of science that does not devalue it. In contrast, uncertainty advances science because it motivates further research. This is the first book on this topic that draws on philosophy of science to explain what uncertainty in science is and how it makes science advance. It contrasts evolution, climate change, and vaccination, where the uncertainties are exaggerated, and genetic testing and forensic science, where the uncertainties are usually overlooked. The goal is to discuss the scientific, psychological, and philosophical aspects of uncertainty in order to explain what it really is, what kinds of problems it actually poses, and why in the end it makes science advance. Contrary to public representations of scientific findings and conclusions that produce an intuitive but distorted view of science as certain, people need to understand and learn to live with uncertainty in science. This book is intended for anyone who wants to get a clear view of the nature of science. (shrink)

This paper presents an emerging aspect of intentionality through recent Artificial Intelligence (AI) developments in art and design. Our main thesis is that, if we focus just on the outcome of the artistic process, the intentionality of the artist does not have any relevance. Intention is measured as a result of actions regardless of whether they are human-based or not as long as there is an esthetical value intersubjectively acknowledged. In other words, what matters is the ‘intentio’ embedded in the (...) work of art (the output) rather than the ‘intendere’ (the process). By considering the former aspect, intentionality becomes free of human intervention, therefore 'unintentional'. This thesis is supported through a range of examples related to AI in general and AI art in particular. However, in the case of a self-driving vehicle, the macro-goal of the system is fixed by humans, even though the AI system itself will take care of decomposing the macro-goal into a set of micro-goals and take the corresponding decisions. In the case of art, the system does not need to have any exterior goal to the extent that art is pure freedom of expression, as many philosophers have acknowledged. In this sense, the decisions of any AI system generating art or design are independent of humans and must be judged only on the ground of the final outcome. A work of art will be judged ‘artistic’ to the extent that humans will recognize an artistic intent in the work itself. In particular, the introduction of random processes makes an AI-generated artwork fully independent of human creativity. (shrink)

In three volumes, a distinguished group of scholars from a variety of disciplines in the natural and social sciences, the humanities and the arts contribute essays in honor of Robert S. Cohen, on the occasion of his 70th birthday. The range of the essays, as well as their originality, and their critical and historical depth, pay tribute to the extraordinary scope of Professor Cohen's intellectual interests, as a scientist-philosopher and a humanist, and also to his engagement in the world of (...) social and political practice. Science, Mind and Art, Volume III of Essays in honor of Robert S. Cohen focuses on issues in contemporary epistemology, aesthetics, and philosophy of mind as well as on the relations of science and human values in ethical and religious thought. It also has important new work in contemporary metaphysics, as well as in the history of philosophy, and on questions of multiculturalism in science education. Contributors include Paul Feyerabend, Adolf Grünbaum, Joseph Margolis, Joëlle Proust, Erazim Kohak, Elie Wiesel, Miriam Bienenstock, and John Silber, among others. (shrink)

This article discusses the ways the hegemonic ideology is further consolidated through the popularization of science. The issues surrounding science popularization are intimately linked with the utopias such popularizations construct, the ideology they propagate, and in the case of molecular biology, with the issue of reductionism which appears to be so prevalent in the popular accounts of molecular biology. In such a context, reductionism is no longer a philosophical issue, but a political issue. The article, also, attempts to bring forth (...) the differences between the rather prevalent notion of European Science and that of Science in Europe. (shrink)

Though the ancient Greek philosophical concept of scholê is usually translated as 'leisure', there is a vast difference between the two. Leisure, derived from Latin licere, has its roots in Roman otium and connotes the uses of free time in ways permitted by the status quo. Scholê is the actualization of mind and one's humanity within a republic that devotes its culture to making such a choice possible. This volume traces the background in Greek culture and the writings of Plato (...) of a daring proposal presented by Aristotle, that scholê is a principle for political organization. The concept of scholê by and large did not survive Aristotle. To sharpen our understanding of scholê the book goes on to identify the concepts of leisure which we have inherited from the intellectuals of the Hellenistic and Roman empires and the early Church Fathers. Scholê also had its contrary ascholia – busyness – which Plato described as a social and psychological pathology and his analysis suggests why, due to these ills, current visions of a leisure society are highly unlikely. (shrink)

Les absents jouent un rôle considérable dans la création des signes qui servent, dans toute société, à désigner, nommer, et même instituer les places des présents et celles des absents tout en mettant du sens dans leurs relations. La sémiotique conçoit ainsi le processus d'humanisation à travers la création des signes alors que la psychanalyse a permis, à sa manière, de voir combien le monde des absents participe à la construction psychique du sujet. La fonction de l'absence perceptive chez le (...) bébé est également étudiée dans cet ouvrage dans sa contribution à la transformation des signes gestuels binaires en signes ternaires qui intègrent du sens. Ces transformations sémiotiques sont aussi éclairées par le regard des poètes et des philosophes présents dans cet ouvrage. (shrink)

The romance Imberios and Margarona does not belong to the Renaissance. It does not acknowledge many of the issues which become current in the age of Humanism: the value of individual consciousness, to name but one, will wait until the seventeenth century to be explored in Greek literature. And yet, the vintage of Imberios is hybrid: being late medieval and modelled after a popular European prototype, it slants ever so gently towards what will later be fully fledged humanistic sensibilities.

Science appeared in modern Greece in the first decades after its establishment as a sovereign state in 1828. The University of Athens, the Royal Observatory, the Botanical Garden, and the Natural History Museum were quickly established as spaces of scientific activity. Greek scientists were enthusiastic participants in the emerging Greek public sphere, often not only as science experts, but also as poets, intellectuals and political personae. In a space whose cultural, intellectual and historical boundaries were still being negotiated, the choice (...) of language was not a given but a pressing, sensitive national desideratum. This article examines how Greek scientists used languages to communicate with their peers and with their publics, how they handled terminology and nomenclature, and how the issues surrounding the Greek language in particular affected their practice as scientists. The article aims to show that, in nineteenth-century Greece, languages were not passive, neutral vehicles of communication, but rather integral (though tacit) components of the practice of science. (shrink)

Explores Aristotle's theory of the causes that give rise to stasis ('civic disorder'), and provides an original and systematic account of his understanding of political justice and friendship.

This paper, a sequel to Models for normal intuitionistic modal logics by M. Boi and the author, which dealt with intuitionistic analogues of the modal system K, deals similarly with intuitionistic analogues of systems stronger than K, and, in particular, analogues of S4 and S5. For these prepositional logics Kripke-style models with two accessibility relations, one intuitionistic and the other modal, are given, and soundness and completeness are proved with respect to these models. It is shown how the holding of (...) formulae characteristic for particular logics is equivalent to conditions for the relations of the models. Modalities in these logics are also investigated. (shrink)

Substructural logics are logics obtained from a sequent formulation of intuitionistic or classical logic by rejecting some structural rules. The substructural logics considered here are linear logic, relevant logic and BCK logic. It is proved that first-order variants of these logics with an intuitionistic negation can be embedded by modal translations into S4-type extensions of these logics with a classical, involutive, negation. Related embeddings via translations like the double-negation translation are also considered. Embeddings into analogues of S4 are obtained with (...) the help of cut elimination for sequent formulations of our substructural logics and their modal extensions. These results are proved for systems with equality too. (shrink)

This is a review, with historical and critical comments, of a paper by I. E. Orlov from 1928, which gives the oldest known axiomatization of the implication-negation fragment of the relevant logic R. Orlov's paper also foreshadows the modal translation of systems with an intuitionistic negation into S4-type extensions of systems with a classical, involutive, negation. Orlov introduces the modal postulates of S4 before Becker, Lewis and Gödel. Orlov's work, which seems to be nearly completely ignored, is related to the (...) contemporaneous work on the axiomatization of intuitionistic logic. (shrink)

"Originally published in French in 1961, this book is one of the standard works on the question of alienation in Marx. In his study of Marx and the role of technology in the modern world, Kostas Axelos interprets Marx from his own distinctive, thought-provoking, philosophical position. Made available now in the translation by Ronald Bruzina, the book provides a meaningful interpretation of Marx and an introduction to Axelos's own philosophical thought" -- Book jacket.

Some thirty years ago, two proposals were made concerning criteria for identity of proofs. Prawitz proposed to analyze identity of proofs in terms of the equivalence relation based on reduction to normal form in natural deduction. Lambek worked on a normalization proposal analogous to Prawitz's, based on reduction to cut-free form in sequent systems, but he also suggested understanding identity of proofs in terms of an equivalence relation based on generality, two derivations having the same generality if after generalizing maximally (...) the rules involved in them they yield the same premises and conclusions up to a renaming of variables. These two proposals proved to be extensionally equivalent only for limited fragments of logic. The normalization proposal stands behind very successful applications of the typed lambda calculus and of category theory in the proof theory of intuitionistic logic. In classical logic, however, it did not fare well. The generality proposal was rather neglected in logic, though related matters were much studied in pure category theory in connection with coherence problems, and there are also links to low-dimensional topology and linear algebra. This proposal seems more promising than the other one for the general proof theory of classical logic. (shrink)

The article deals with the legal, political, philosophical and religious dimensions of Socrates’ trial and execution. It considers the issue in five separate aspects: 1) the validity of charging Socrates with impiety and corrupting the youth of the Athens; 2) the legal basis of the philosopher’s indictment; 3) the then manner of conducting a legal trial in the Athens; 4) the extent to which Socrates’ conviction can ultimately be characterized as unjust and — finally — 5) the cultural ramifications of (...) the philosopher’s trial and execution. (shrink)

The atomistic paradigm of high energy physics cannot anymore be dismissed because the proposed elementary particles are too many or because it is not possible to observe quarks in an isolated manner. The developments in particle physics have brought about radical changes to our notions of simplicity and observability, and in this paper we elaborate on these changes. It is as a result of these changes that the present situation in elementary particle physics justifies our claim that we have indeed (...) reached a level of explanation where the constituent particles used for the explanation of the various phenomena considered to be delineating a particular level in the descriptive framework of the physical phenomena and a specific stratum in the organization of nature, can be regarded as elementary. (shrink)

This concise, accessible and engaging collection debunks the myths and corrects the falsehoods surrounding one of the most famous scientific figures in history - Charles Darwin. Leading scholars examine his life and work to set the historical record straight, and to draw conclusions about the very nature of science itself.

Biologists rely on theories, apply models and construct explanations, but rarely reflect on their nature and structure. This book introduces key topics in philosophy of science to provide the required philosophical background for this kind of reflection, which is an important part of all aspects of research and communication in biology. It concisely and accessibly addresses fundamental questions such as: Why should biologists care about philosophy of science? How do concepts contribute to scientific advancement? What is the nature of scientific (...) controversies in the biological sciences? Chapters draw on contemporary examples and case studies from across biology, making the discussion relevant and insightful. Written for researchers and advanced undergraduate and graduate students across the life sciences, its aim is to encourage readers to become more philosophically minded and informed to enable better scientific practice. It is also an interesting and pertinent read for philosophers of science. (shrink)

This book presents analyses of philosophical topics of importance to biology education. It is intended foremost for biology educators and teachers, and aims to show how philosophy of science in general, and philosophy of biology in particular, ...

The purpose of this work is to present Gentzen-style formulations of S5 and S4 based on sequents of higher levels. Sequents of level 1 are like ordinary sequents, sequents of level 1 have collections of sequents of level 1 on the left and right of the turnstile, etc. Rules for modal constants involve sequents of level 2, whereas rules for customary logical constants of first-order logic with identity involve only sequents of level 1. A restriction on Thinning on the right (...) of level 2, which when applied to Thinning on the right of level 1 produces intuitionistic out of classical logic (without changing anything else), produces S4 out of S5 (without changing anything else). This characterization of modal constants with sequents of level 2 is unique in the following sense. If constants which differ only graphically are given a formally identical characterization, they can be shown inter-replaceable (not only uniformly) with the original constants salva provability. Customary characterizations of modal constants with sequents of level 1, as well as characterizations in Hilbert-style axiomatizations, are not unique in this sense. This parallels the case with implication, which is not uniquely characterized in Hilbert-style axiomatizations, but can be uniquely characterized with sequents of level 1. These results bear upon theories of philosophical logic which attempt to characterize logical constants syntactically. They also provide an illustration of how alternative logics differ only in their structural rules, whereas their rules for logical constants are identical. (shrink)

Although macroevolution has been the subject of sustained attention in the history and philosophy of science (HPS) community, only in recent years have science educators begun to more fully engage with the topic. This chapter first explores how science educators have conceptualized macroevolution and how their perspectives align with the views from HPS. Second, it illustrates how science educators’ limited engagement with HPS scholarship on macroevolution has influenced construct delineation, measurement instrument development, and educational arguments about which aspects of macroevolution (...) are most important for students to learn. Third, it discusses how scientific debates about the causal factors responsible for macroevolutionary patterns have been exploited by creationists and have impacted the teaching of evolution. Finally, it emphasizes that the rich perspectives that HPS has to offer on the important topic of macroevolution have yet to be integrated into science education scholarship. (shrink)

Theories of global justice have moved from issues relating to crimes against humanity and war crimes or, furthermore, ?negative duties? with respect to non-citizens, towards problems of distributive justice and global inequality. Thomas Nagel's Storrs Lectures from 2005, exemplifying Rawlsian internationalism, argue that liberal requirements concerning duties of distributive justice apply exclusively within a single nation-state, and do not extend to duties of this nature between rich and poor countries. Nagel even argues that the demand for global equality is not (...) a demand of justice at all. In the present article I will try to offer a normative basis for the criticism of such a view. Following Kant and more recently Philip Pettit, I locate this normative basis on political freedom conceived as non-domination. Such a conception opens up the possibility of a political cosmopolitanism, which is based not on an empirical interdependence among people at a global level, but on a normative interdependence. Subsequent cosmopolitan duties extend both to the elimination of domination everywhere in the world and to the equal enjoyment of non-dominated choice. Thus, it will be argued that modern republicanism is falsely identified with a particular, bounded community, but supports a political, not simply a moral, cosmopolitanism. This kind of cosmopolitanism conceives of sovereign states neither as useless constructions, nor as mere instruments for realizing the pre-institutional value of justice among human beings. Instead, their existence is what gives the value of justice its application. Cosmopolitanism is not after all about the abolishment of all boundaries, but about the essential capacity to draw and redraw them infinitely under conditions of global justice. (shrink)

Textbook descriptions of the foundations of Genetics give the impression that besides Mendel’s no other research on heredity took place during the nineteenth century. However, the publication of the Origin of Species in 1859, and the criticism that it received, placed the study of heredity at the centre of biological thought. Consequently, Herbert Spencer, Charles Darwin himself, Francis Galton, William Keith Brooks, Carl von Nägeli, August Weismann, and Hugo de Vries attempted to develop theories of heredity under an evolutionary perspective, (...) and they were all influenced by each other in various ways. Nonetheless, only Nägeli became aware of Mendel’s experimental work; it has also been questioned whether Mendel even had the intention to develop a theory of heredity. In this article, a short presentation of these theories is made, based on the original writings. The major aim of this article is to suggest that Mendel was definitely not the only one studying heredity before 1900, if he even did this, as may be inferred by textbooks. Although his work had a major impact after 1900, it had no impact during the latter half of the nineteenth century when an active community of students of heredity emerged. Thus, textbooks should not only present the work of Mendel, but also provide a wider view of the actual history and a depiction of science as a social process. (shrink)