Continuing work initiated by Jónsson, Daigneault, Pigozzi and others; Maksimova proved that a normal modal logic (with a single unary modality) has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property (cf. [Mak 91], [Mak 79]). The aim of this paper is to extend the latter result to a large class of logics. We will prove that the characterization can be extended to all algebraizable logics containing Boolean fragment and having a certain kind of local (...) deduction property. We also extend this characterization of the interpolation property to arbitrary logics under the condition that their algebraic counterparts are discriminator varieties. We also extend Maksimova's result to normal multi-modal logics with arbitrarily many, not necessarily unary modalities, and to not necessarily normal multi-modal logics with modalities of ranks smaller than 2, too.The problem of extending the above characterization result to no n-normal non-unary modal logics remains open. (shrink)

In 1978, Yu. F. Borisov presented an axiom system using a few basic assumptions and four explicit axioms, the fourth being a formulation of the relativity principle; and he demonstrated that this axiom system had (up to choice of units) only two models: a relativistic one in which worldview transformations are Poincaré transformations and a classical one in which they are Galilean. In this paper, we reformulate Borisov’s original four axioms within an intuitively simple, but strictly formal, first-order logic framework, (...) and convert his basic background assumptions into explicit axioms. Instead of assuming that the structure of physical quantities is the field of real numbers, we assume only that they form an ordered field. This allows us to investigate how Borisov’s theorem depends on the structure of quantities. We demonstrate (as our main contribution) how to construct Euclidean, Galilean, and Poincaré models of Borisov’s axiom system over every non-Archimedean field. We also demonstrate the existence of an infinite descending chain of models and transformation groups in each of these three cases, something that is not possible over Archimedean fields. As an application, we note that there is a model of Borisov’s axioms that satisfies the relativity principle, and in which the worldview transformations are Euclidean isometries. Over the field of reals it is easy to eliminate this model using natural axioms concerning time’s arrow and the absence of instantaneous motion. In the case of non-Archimedean fields, however, the Euclidean isometries appear intrinsically as worldview transformations in models of Borisov’s axioms and neither the assumption of time’s arrow, nor the rejection of instantaneous motion, can eliminate them. (shrink)

We present three natural but distinct formalisations of Einstein’s special principle of relativity, and demonstrate the relationships between them. In particular, we prove that they are logically distinct, but that they can be made equivalent by introducing a small number of additional, intuitively acceptable axioms.

A part of relativistic dynamics is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein’s famous E = mc 2. The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.

ABSTRACT The two main directions pursued in the present paper are the following. The first direction was started by Pigozzi in 1969. In [Mak 91] and [Mak 79] Maksimova proved that a normal modal logic has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property. In this paper we extend Maksimova's theorem to normal multi-modal logics with arbitrarily many, not necessarily unary modalities, and to not necessarily normal multi-modal logics with modalities of ranks smaller than (...) 2. To extend the characterization beyond multi-modal logics, we look at arbitrary algebraizable logics. We will introduce an algebraic property equivalent with the Craig interpolation property in algebraizable logics, and prove that the superamalgamation property implies the Craig interpolation property. The problem of extending the characterization result to non-normal non-unary modal logics also will be discussed. In the second direction pursued herein: for non-normal modal logic with one unary modality Lemmon [Lem 66] gave a possible worlds semantics. Here we give a more general possible worlds semantics for not necessarily normal multi-modal logics with arbitrarily many not necessarily unary modalities. Strongly related to the above is the theorem, proved, e.g., in Jóns son-Tarski [JT 52] and Henkin-Monk-Tarski [HMT 71], that every normal Boolean algebra with operators can be represented as a subalgebra of the complex algebra of some relational structure. We extend this result to not necessarily normal BAO's as follows. We define partial relational structures and show that every not necessarily normal BAO is embeddable into the complex algebra of a partial relational structure. This gives a possible worlds semantics for not necessarily normal multi-modal logics. (shrink)

The present study investigated the cross-cultural variations in parents' views on the role of play in child development and the primary purpose of preschool education from Ethiopia and Hungary. It also examined the cross-cultural variations in preschoolers' executive functions, the frequency of their engagement in home activities, and the role of these activities in the development of EF skills. Participants included 266 preschoolers with their parents. The independent samples t-test showed that Ethiopian parents view fostering academic skills for preschooler significantly (...) more important than their Hungarian counterparts do. We also found that while Ethiopian parents hold the belief that academic and cognitive development is the major purpose of preschool education, Hungarian prioritize social-emotional development and entertainment. Additionally, preschoolers in Ethiopia were reported to engage in academic and arts and crafts activities after preschool significantly more frequently than their Hungarian counterparts. On the contrary, preschoolers in Hungary were found to engage in fine-motor activities, solitary play, sports and other physical activities significantly more frequently than their Ethiopian counterparts. No significant differences were found in EF skills between preschoolers from Ethiopia and Hungary. Results from hierarchical regression analyses showed that, after accounting for age and SES, preschoolers' frequency of pretend play and their parents' play support beliefs were found to be small to medium-sized predictors of inhibitory control skills in both samples. However, children's frequency of having breakfast at home was another significant predictor in the Ethiopian sample only. The frequency of participation in arts and crafts and other fine-motor activities were found to be important predictors of preschoolers' visual-spatial working memory skills in the Ethiopian and the Hungarian samples, respectively. We also found that, after controlling for SES, parental play support was an important factor associated with preschoolers' shifting skills only in the Hungarian sample. Based on the findings, we made important conclusions. (shrink)

Perceptual grouping has traditionally been thought to be governed by innate, universal principles. However, recent work has found differences in Japanese and English speakers' non-linguistic perceptual grouping, implicating language in non-linguistic perceptual processes (Iversen, Patel, & Ohgushi, 2008). Two experiments test Japanese- and English-learning infants of 5-6 and 7-8 months of age to explore the development of grouping preferences. At 5-6 months, neither the Japanese nor the English infants revealed any systematic perceptual biases. However, by 7-8 months, the same age (...) as when linguistic phrasal grouping develops, infants developed non-linguistic grouping preferences consistent with their language's structure (and the grouping biases found in adulthood). These results reveal an early difference in non-linguistic perception between infants growing up in different language environments. The possibility that infants' linguistic phrasal grouping is bootstrapped by abstract perceptual principles is discussed. (shrink)

It is essential for social robots to fit in the human society. In order to facilitate this process we propose to use the family dog’s social behaviour shown towards humans as an inspiration. In this study we explored dogs’ low level social monitoring in dog-human interactions and extracted individually consistent and context dependent behaviours in simple everyday social scenarios. We found that proximity seeking and tail wagging were most individually distinctive in dogs, while activity, orientation towards the owner, and exploration (...) were dependent on the context and/or the activity of the owner. The functional analogues of these dog behaviours can be implemented in social robots of different embodiments in order to make them acceptable and more believable for humans. Keywords: dog-owner interaction; social robotics; low-level social monitoring; greeting behaviour; individually distinctive behaviours. (shrink)

This book features more than 20 papers that celebrate the work of Hajnal Andréka and István Németi. It illustrates an interaction between developing and applying mathematical logic. The papers offer new results as well as surveys in areas influenced by these two outstanding researchers. They also provide details on the after-life of some of their initiatives. Computer science connects the papers in the first part of the book. The second part concentrates on algebraic logic. It features a range of papers (...) that hint at the intricate many-way connections between logic, algebra, and geometry. The third part explores novel applications of logic in relativity theory, philosophy of logic, philosophy of physics and spacetime, and methodology of science. They include such exciting subjects as time travelling in emergent spacetime. The short autobiographies of Hajnal Andréka and István Németi at the end of the book describe an adventurous journey from electric engineering and Maxwell’s equations to a complex system of computer programs for designing Hungary’s electric power system, to exploring and contributing deep results to Tarskian algebraic logic as the deepest core theory of such questions, then on to applications of the results in such exciting new areas as relativity theory in order to rejuvenate logic itself. (shrink)

It is essential for social robots to fit in the human society. In order to facilitate this process we propose to use the family dog’s social behaviour shown towards humans as an inspiration. In this study we explored dogs’ low level social monitoring in dog-human interactions and extracted individually consistent and context dependent behaviours in simple everyday social scenarios. We found that proximity seeking and tail wagging were most individually distinctive in dogs, while activity, orientation towards the owner, and exploration (...) were dependent on the context and/or the activity of the owner. The functional analogues of these dog behaviours can be implemented in social robots of different embodiments in order to make them acceptable and more believable for humans. Keywords: dog-owner interaction; social robotics; low-level social monitoring; greeting behaviour; individually distinctive behaviours. (shrink)

This paper announces the first critical edition of Abhinavagupta’s commentary on the Bhagavadgītā in its Kashmirian recension, based on one Kashmirian Devanāgarī and seven Śāradā manuscripts in addition to two existing non-critical editions. The volume will also include a new edition of the Kashmirian recension of the Bhagavadgītā and a full French translation. After a short presentation of Abhinavagupta’s commentary and a discussion of previous work on the subject, the manuscripts used are listed and briefly described. The question and importance (...) of the Kashmirian recension of the Bhagavadgītā and problems of its edition are discussed in detail, with several textual examples. In order to give a sample of the Gītārthasaṃgraha’s contents, some of Abhinavagupta’s remarkable interpretations are also highlighted, in particular tantric or esoteric ones. An Appendix deals with the closely related question of Bhāskara the Vedāntin, his date, his provenance and the Gītā recension he probably used for his commentary. (shrink)

The aim of this paper is to contribute to the development of a theory of economic freedom. In this endeavor, we build our framework on the Hayekian notion of freedom because it explicitly embodies the obvious link between freedom and the state: freedom is an absence of state coercion except for that which enforces abstract, general rules known beforehand. We derive two propositions from this Hayekian thesis and elaborate on them, leading to a categorization of government actions from the viewpoint (...) of economic freedom in which the criterion against which coercive governmental actions must be evaluated is the rule of law, meaning a government’s reliance on general, abstract rules. As an implication, our framework allows us to argue for the imperative differentiation between “efficiency” and “economic freedom” as two separate criteria against which government actions can and must be evaluated. We also show that our framework may help explain the process through which economic freedom enhances growth. (shrink)

Multimodal prehabilitation is increasingly recognized as an important component of the pre-operative pathway in oncology. It aims to optimize physical and psychological health through delivery of a series of tailored interventions including exercise, nutrition, and psychological support. At the core of this prescription is a need for considerable health behavior change, to ensure that patients are engaged with and adhere to these interventions and experience the associated benefits. To date the prehabilitation literature has focused on testing the efficacy of devised (...) exercise and nutritional interventions with a primary focus on physiological and mechanistic outcomes with little consideration for the role of behavioral science, supporting individual behavior change or optimizing patient engagement. Changing health behavior is complex and to maximize success, prehabilitation programs should draw on latest insights from the field of behavioral science. Behavioral science offers extensive knowledge on theories and models of health behavior change to further advance intervention effectiveness. Similarly, interventions developed with a person-centered approach, taking into consideration individual needs and preferences will increase engagement. In this article, we will provide an overview of the extent to which the existing prehabilitation literature incorporates behavioral science, as well as studies that have explored patient's attitudes toward prehabilitation. We will go on to describe and critique ongoing trials in a variety of contexts within oncology prehabilitation and discuss how current scientific knowledge may be enhanced from a behavioral science perspective. We will also consider the role of “surgery schools” and detail practical recommendations that can be embedded in existing or emerging clinical settings. (shrink)

This short novel by the writer S´ndor M´rai, regarded by many as the finest Hungarian writer of our time, was published in 1942 but became known in the West only many years later and was finally translated into English in 2002. Its central subject is the importance and value of friendship between men and love between men and women, involving the three central characters, Henrik, Konrad and Krisztina. The men, who had been friends since their early youth, meet again 41 (...) years later. Although Krisztina, Henrik's wife and Konrad's lover, is long dead, she is fully present in the memory of both. Like Proust's A La Recherche du Temps Perdu, Embers is remembrance of things past, but with a difference. M´rai's novel plays on the contrast between their past friendship and their present broken friendship, and the contrast between Henrik's love for his wife, and her love for Konrad. But whereas Proust's novel is a recapture of the past, M´rai's novel is a recapture of the past through the present. What is left are only embers of friendship and love. (shrink)

We show that not all epimorphisms are surjective in certain classes of infinite dimensional cylindric algebras, Pinter's substitution algebras and Halmos' quasipolyadic algebras with and without equality. It follows that these classes fail to have the strong amalgamation property. This answers a question in [3] and a question of Pigozzi in his landmark paper on amalgamation [9]. The cylindric case was first proved by Judit Madarasz [7]. The proof presented herein is substantially different. By a result of Németi, our (...) result implies that the Beth-definability Theorem fails for certain expansions of first order logic. (shrink)

This study investigated how problem solvers get into and out of a state of impasse while solving difficult problems. 47 participants had to decipher the secret method behind 33 magic tricks while r...

Multiple authorship is the universal solution to multi-tasking in the sciences. Without a team, each with their own set of expertise, and each involved mostly in complementary ways, a research project will likely not advance quickly, or effectively. Consequently, there is a risk that research goals will not be met within a desired timeframe. Research teams that strictly scrutinize their modus operandi select and include a set of authors that have participated substantially in the physical undertaking of the research, in (...) its planning, or who have contributed intellectually to the ideas or the development of the manuscript. Authorship is not an issue that is taken lightly, and save for dishonest authors, it is an issue that is decided collectively by the authors, usually in sync with codes of conduct established by their research institutes or national ministries of education. Science, technology and medicine publishers have, through independent, or sometimes coordinated efforts, also established their own sets of guidelines regarding what constitutes valid authorship. However, these are, for the greater part, merely guidelines. A previous and recent analysis of authorship definitions indicates that the definitions in place regarding authorship and its validity by many leading STM publishers is neither uniform, nor standard, despite several of them claiming to follow the guidelines as set forward by the International Committee of Medical Journal Editors or ICMJE. This disparity extends itself to ghost and guest authorship, two key authorship-related issues that are examined in this paper to assess the extent of discrepancies among the same set of STM publishers and what possible influence they might have on publishing ethics. (shrink)

This paper proposes an integrated account of the etiology of OCD that accommodates both dysfunctional cognitions and sensorimotor features of compulsive action. It is argued that cognitive/metacognitive theories do not aspire to address all obsessive-compulsive phenomenal properties and that empirical evidence concerning some of these requires the incorporation of motor deficits as an independent factor in a plausible conception of OCD. The difference in agency attribution between obsessive-compulsive persons and schizophrenia patients with delusions of control is also accounted for in (...) terms of bottom-up processes. (shrink)

Most departments in any field of science that have a sound academic basis have discussion groups or journal clubs in which pertinent and relevant literature is frequently discussed, as a group. This paper shows how such discussions could help to fortify the post-publication peer review movement, and could thus fortify the value of traditional peer review, if their content and conclusions were made known to the wider academic community. Recently, there are some tools available for making PPPR viable, either as (...) signed or anonymous comments, or in a hybrid format. Thus, limited platforms are currently in place to accommodate and integrate PPPR as a supplement to traditional peer review, allowing for the open and public discussion of what is often publicly-funded science. This paper examines ways in which the opinions that emerge from journal clubs or discussion groups could help to fortify the integrity and reliability of science while increasing its accountability. A culture of reward for good and corrective behavior, rather than a culture that protects silence, would benefit science most. (shrink)

The dominant philosophical conceptions of obsessive-compulsive behavior present its subject as having a deficiency, usually characterized as volitional, due to which she lacks control and choice in acting. Compulsions (mental or physical) tend to be treated in isolation from the obsessive thoughts that give rise to them. I offer a different picture of compulsive action, one that is, I believe, more faithful to clinical reality. The clue to (most) obsessive-compulsive behavior seems to be the way obsessive thoughts, which are grounded (...) in an irrational cognitive style in matters of risk, danger, and responsibility, motivate compulsions through bizarre means–end reasoning. I show that the patient with obsessive-compulsive disorder (OCD) is not weak and passive with regard to the compulsive act; rather, the act is voluntary and regarded by the patient as an instrument of control. I also defend the idea that OCD-related cognitions are either beliefs or mental states with relevantly similar functional roles. (shrink)

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of (...) accelerated motion (e.g., clocks in acceleration) in Specrel. As it turns out, this is practically equivalent to asking whether Specrel is strong enough to “handle” (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to Specrel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of Specrel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that~the Twin Paradox becomes provable in AccRel, but it is not provable without IND. (shrink)

Summary Descartes' two treatises of corpuscular-mechanical natural philosophy?Le Monde (1633) and the Principia philosophiae (1644/1647)?differ in many respects. Some historians of science have studied their significantly different theories of matter and elements. Others have routinely noted that the Principia cites much evidence regarding magnetism, sunspots, novae and variable stars which is absent from Le Monde. We argue that far from being unrelated or even opposed intellectual practices inside the Principles, Descartes' moves in matter and element theory and his adoption of (...) wide swathes of novel matters of fact, were two sides of the same coin?that coin being his strategies for improving the systematic power, scope and consistency of the natural philosophy presented in the Principia. We find that Descartes' systematising strategy centred upon weaving ranges of novel matters of fact into explanatory and descriptive narratives with cosmic sweep and radical realist Copernican intent. Gambits of this type have recently been labelled as ?cosmographical? (the natural philosophical relating of heavens and earth in contemporary usage). Realist Copernican natural philosophers, from Copernicus himself, through Bruno, Gilbert and Galileo did this to varying degrees; but, we suggest, Descartes presented in Books III and IV of the Principia the most elaborate and strategically planned version of it, underneath the ostensible textbook style of the work. (shrink)

We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.

The first major work in the history of philosophy to bear the title "Metaphysics" was the treatise by Aristotle that we have come to know by that name. But Aristotle himself did not use that title or even describe his field of study as 'metaphysics'; the name was evidently coined by the first century C.E. editor who assembled the treatise we know as Aristotle's Metaphysics out of various smaller selections of Aristotle's works. The title 'metaphysics' -- literally, 'after the Physics' (...) -- very likely indicated the place the topics discussed therein were intended to occupy in the philosophical curriculum. They were to be studied after the treatises dealing with nature (ta phusika). In this entry, we discuss the ideas that are developed in Aristotle's treatise. (shrink)

In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system and had radical implications that have echoed throughout many fields. A gripping combination of science and accessibility, Godel’s Proof by Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy (...) the chance to satisfy their intellectual curiosity. (shrink)

In this highly original account of Bishop George Berkeley's epistemological and metaphysical theories, George S. Pappas seeks to determine precisely what doctrines the philosopher held and what arguments he put forward to support them. Specifically, Pappas overturns accepted opinions about Berkeley's famous attack on the Lockean doctrine of abstract ideas. Berkeley's criticism of these ideas had been thought relevant only to his views on language and to his nominalism; Pappas persuasively argues that Berkeley's ideas about abstraction are crucial to nearly (...) all of the fundamental principles that he defends. Pappas demonstrates how an adequate appreciation of Berkeley's views on abstraction can lead to an improved understanding of his important principle of esse is percipi, and of the arguments Berkeley proposes in support of this principle. Pappas also takes up Berkeley's widely rejected claim to be a philosopher of common sense. He assesses the validity of this self-description and considers why Berkeley might have chosen to align himself with a commonsense position. Pappas shows how three core concepts—abstraction, perception, and common sense—are central to and interdependent in the work of one of the major figures of early modern Western thought. (shrink)

We give two theories, Th1 and Th2, which are explicitly definable over each other , but are not definitionally equivalent. The languages of the two theories are disjoint.

In Carnap’s autobiography, he tells the story how one night in January 1931, “the whole theory of language structure” in all its ramifications “came to [him] like a vision”. The shorthand manuscript he produced immediately thereafter, he says, “was the first version” of Logical Syntax of Language. This document, which has never been examined since Carnap’s death, turns out not to resemble Logical Syntax at all, at least on the surface. Wherein, then, did the momentous insight of 21 January 1931 (...) consist? We seek to answer this question by placing Carnap’s shorthand manuscript in the context of his previous efforts to accommodate scientific theories and metalinguistic claims within Wittgenstein’s Tractatus theory of meaning. The breakthrough of January 1931 consists, from this viewpoint, in the rejection of the Tractatus theory in favor of the meta-mathematical perspective of Hilbert, Gödel, and Tarski. This was not yet the standpoint of the published Logical Syntax, as we show, but led naturally to the “principle of tolerance” and thus to Carnap’s mature philosophy, in which the inconsistencies between this first view and the principle of tolerance, which survived into the published Syntax, were overcome. (shrink)

G. E. Moore observed that to assert, 'I went to the pictures last Tuesday but I don't believe that I did' would be 'absurd'. Over half a century later, such sayings continue to perplex philosophers. In the definitive treatment of the famous paradox, Green and Williams explain its history and relevance and present new essays by leading thinkers in the area.

In this book, Sara Monoson challenges the longstanding and widely held view that Plato is a virulent opponent of all things democratic. She does not, however, offer in its place the equally mistaken idea that he is somehow a partisan of democracy. Instead, she argues that we should attend more closely to Plato's suggestion that democracy is horrifying and exciting, and she seeks to explain why he found it morally and politically intriguing.Monoson focuses on Plato's engagement with democracy as he (...) knew it: a cluster of cultural practices that reach into private and public life, as well as a set of governing institutions. She proposes that while Plato charts tensions between the claims of democratic legitimacy and philosophical truth, he also exhibits a striking attraction to four practices central to Athenian democratic politics: intense antityrantism, frank speaking, public funeral oratory, and theater-going. By juxtaposing detailed examination of these aspects of Athenian democracy with analysis of the figurative language, dramatic structure, and arguments of the dialogues, she shows that Plato systematically links democratic ideals and activities to philosophic labor. Monoson finds that Plato's political thought exposes intimate connections between Athenian democratic politics and the practice of philosophy.Situating Plato's political thought in the context of the Athenian democratic imaginary, Monoson develops a new, textured way of thinking of the relationship between Plato's thought and the politics of his city. (shrink)

Newton's Philosophiae Naturalis Principia Mathematica provides a coherent and deductive presentation of his discovery of the universal law of gravitation. It is very much more than a demonstration that 'to us it is enough that gravity really does exist and act according to the laws which we have explained and abundantly serves to account for all the motions of the celestial bodies and the sea'. It is important to us as a model of all mathematical physics.Representing a decade's work from (...) a distinguished physicist, this is the first comprehensive analysis of Newton's Principia without recourse to secondary sources. Professor Chandrasekhar analyses some 150 propositions which form a direct chain leading to Newton's formulation of his universal law of gravitation. In each case, Newton's proofs are arranged in a linear sequence of equations and arguments, avoiding the need to unravel the necessarily convoluted style of Newton's connected prose. In almost every case, a modern version of the proofs is given to bring into sharp focus the beauty, clarity, and breath-taking economy of Newton's methods.Subrahmanyan Chandrasekhar is one of the most reknowned scientists of the twentieth century, whose career spanned over 60 years. Born in India, educated at the University of Cambridge in England, he served as Emeritus Morton D. Hull Distinguished Service Professor of Theoretical Astrophysics at the University of Chicago, where he has was based from 1937 until his death in 1996. His early research into the evolution of stars is now a cornerstone of modern astrophysics, and earned him the Nobel Prize for Physics in 1983. Later work into gravitational interactions between stars, the properties of fluids, magnetic fields, equilibrium ellipsoids, and black holes has earned him awards throughout the world, including the Gold Medal from the Royal Astronomical Society in London, the National Medal of Science in the United States, and the Copley Medal from the Royal Society. His many publications include Radiative transfer, Hydrodynamic and hydromagnetic stability, and The mathematical theory of black holes, each being praised for its breadth and clarity. Newton's Principia for the common reader is the result of Professor Chandrasekhar's profound admiration for a scientist whose work he believed is unsurpassed, and unsurpassable. (shrink)

Introduced by Leon Henkin back in the fifties, the notion of neat reducts is an old venerable notion in algebraic logic. But it is often the case that an unexpected viewpoint yields new insights. Indeed, the repercussions of the fact that the class of neat reducts is not closed under forming subalgebras turn out to be enormous. In this paper we review and, in the process, discuss, some of these repercussions in connection with the algebraic notion of amalgamation. Some new (...) unpublished results concerning neat reducts and amalgamation are given. . Several counterexamples which convey the gist of techniques used in this area are presented two of which are new It is known that the algebraic notion of amalgamation in a class of algebras corresponds to the metalogical notion of interpolation in the corresponding logic. Answers to open question in the recent paper [31] concerning both amalgamation and interpolation are summarized in tabular form at the end of this paper. This paper appears in two parts. The first part contains results on neat reducts. The present second part contains results relating the notion of neat embeddings to various amalgamation properties.1. (shrink)

Our study presents an overview of the issues that were brought forward by participants of a moral case deliberation (MCD) project in two elderly care organizations. The overview was inductively derived from all case descriptions (N = 202) provided by participants of seven mixed MCD groups, consisting of care providers from various professional backgrounds, from nursing assistant to physician. The MCD groups were part of a larger MCD project within two care institutions (residential homes and nursing homes). Care providers are (...) confronted with a wide variety of largely everyday ethical issues. We distinguished three main categories: ‘resident’s behavior’, ‘divergent perspectives on good care’ and ‘organizational context’. The overview can be used for agendasetting when institutions wish to stimulate reflection and deliberation. It is important that an agenda is constructed from the bottom-up and open to a variety of issues. In addition, organizing reflection and deliberation requires effort to identify moral questions in practice whilst at the same time maintaining the connection with the organizational context and existing communication structures. Once care providers are used to dealing with divergent perspectives, inviting different perspectives (e.g. family members) to take part in the deliberation, might help to identify and address ethical ‘blind spots’. (shrink)

Originally conceived as a forty-page conclusion to Hacker’s twenty years of work on the monumental four-volume Analytical Commentary on the Philosophical Investigations, this book “rapidly assumed a life of its own”. A major contribution to the history of analytic philosophy, this substantial volume delivers even more than the title promises. The eight chapters are best approached as a six-chapter book, itself some 220 pages long, on Wittgenstein’s contribution to twentieth-century philosophy, followed by a two-chapter, 120-page epilogue about how and why (...) his influence has waned. The first six chapters provide an encyclopedic summary of the fruits of Hacker’s research on Wittgenstein’s writing, an immensely learned account of British philosophy from the turn of the century to the 1970s, and a detailed account of Wittgenstein’s reception by Oxford, Cambridge, and the Vienna Circle. The book’s closing chapters, “Post-positivism in the United States and Quine’s Apostasy” and “The Decline of Analytic Philosophy,” polemically argue that Quine’s philosophy, and the post-Quinean naturalism prevalent in Anglo-American philosophy today, amount to such a decisive break with the analytic tradition, as Hacker conceives of it, that they should not be counted as “analytic.”. (shrink)

Die ursprüngliche ethische und gesellschaftliche Situation des Menschen in einer seiner frühen Schriften untersuchend sagt Fichte über die französische Revolution, dass das Sittliche dahingehend zu unterscheiden sei, ob es sich auf die Geisteswelt beziehe oder auf gesellschaftliche Verhältnisse.

According to estimates more than 400 biobanks currently operate across Europe. The term ‘biobank’ indicates a specific field of genetic study that has quietly developed without any significant critical reflection across European societies. Although scientists now routinely use this phrase, the wider public is still confused when the word ‘bank’ is being connected with the collection of their biological samples. There is a striking lack of knowledge of this field. In the recent Eurobarometer survey it was demonstrated that even in (...) 2010 two-thirds of the respondents had never even heard about biobanks. The term gives the impression that a systematic collection of biological samples can constitute a ‘bank’ of considerable financial worth, where the biological samples, which are insignificant in isolation but are valuable as a collection, can be preserved, analysed and put to ‘profitable use’. By studying the practices of the numerous already existing biobanks, the authors address the following questions: to what extent does the term ‘biobank’ reflect the normative concept of using biological samples for the purposes of biomedical research? Furthermore, is it in harmony with the so far agreed legal–ethical consensus in Europe or does it deliberately pull science to the territory of a new, ambiguous commercial field? In other words, do biobanks constitute a medico-legal fiction or are they substantively different from other biomedical research protocols on human tissues? (shrink)

In his book Shadows of the Mind: A search for the missing science of con- sciousness [SM below], Roger Penrose has turned in another bravura perfor- mance, the kind we have come to expect ever since The Emperor’s New Mind [ENM ] appeared. In the service of advancing his deep convictions and daring conjectures about the nature of human thought and consciousness, Penrose has once more drawn a wide swath through such topics as logic, computa- tion, artificial intelligence, quantum physics (...) and the neuro-physiology of the brain, and has produced along the way many gems of exposition of difficult mathematical and scientific ideas, without condescension, yet which should be broadly appealing.¹ While the aims and a number of the topics in SM are the same as in ENM , the focus now is much more on the two axes that Pen- rose grinds in earnest. Namely, in the first part of SM he argues anew and at great length against computational models of the mind and more specifi- cally against any account of mathematical thought in computational terms. Then in the second part, he argues that there must be a scientific account of consciousness but that will require a (still to be found) non-computational extension or modification of present-day quantum physics. (shrink)