We explain the general significance of integer-based descriptors for natural shapes and show that the evolution of two such descriptors, called mechanical descriptors (the number _N_(_t_) of static balance points and the Morse–Smale graph associated with the scalar distance function measured from the center of mass) appear to capture (unlike classical geophysical shape descriptors) one of our most fundamental intuitions about natural abrasion: shapes get monotonically _simplified_ in this process. Thus mechanical descriptors help to establish a correlation between subjective and (...) objective descriptors of perceived objects. (shrink)

Plato claimed that the regular solids are the building blocks of all matter. His views, commonly referred to as the geometric atomistic model, had enormous impact on human thought despite the fact that four of the five Platonic solids can not fill space without gaps. In this paper we quantify these gaps, showing that the errors in Plato’s estimates were quite small. We also develop a mean field approximation to convex honeycombs using a generalized version of Plato’s idea. This approximation (...) not only admits to view convex mosaics in$$d=3$$d=3dimensions as a continuum but we also find that it is quite accurate, showing that Plato’s geometric intuition may have been remarkable. (shrink)

The notion of ultratopologies was introduced in [6] motivated by the model theory of first and higher order logics. In [6] we established some model theoretical applications of ultratopologies, for example, we provided a purely set theoretical characterization for classes de.nable by second order existential formulas. The present note deals with topological properties of ultratopologies, like density and compactness.

Deindustrialization is a major burden on workers’ health in many countries, calling for theoretically informed sociological analysis. Here, we present a novel neoclassical sociological synthesis of the lived experience of deindustrialization. We conceptualize industry as a social institution whose disintegration has widespread implications for the social fabric. Combining Durkheimian and Marxian categories, we show that deindustrialization generates ruptures in economic production, which entail job and income loss, increased exploitation, social inequality, and the disruption of services. These ruptures spill over to (...) the field of social reproduction, generating material deprivation, job strain, fatalism, increased domestic workload, anomie, community disintegration, and alienation. These ruptures in social reproduction are sources of psychosocial stress, through which deindustrialization gets embodied as ill health and dysfunctional health behavior. We substantiate this framework through the extensive qualitative thematic analysis of 82 life history interviews in Hungary’s rust belt. (shrink)

Taking the real Newtonian colour circle – and not the one Palmer depicts as Newton's – we don't have to wait 300 years for Palmer to say no to the Lockean aperçu about the inverted spectrum. One of the aims of this historical detour is to show that one's commitment about the “topology” of the colour space greatly affects Palmer's argument.

The uniform halting problem (UH) can be stated as follows.Give a decision procedure which for any given Turing machine (TM) will decide whether or not it has an immortal instantaneous description (ID).An ID is called immortal if it has no terminal successor. As it is generally the case in the literature (see e.g. Minsky [3, p. 118]) we assume that in an ID the tape must be blank except for some finite numbers of squares. If we remove this restriction the (...) UH becomes the immortality problem (IP). The UH should not be confused with the initialised uniform halting problem (whether or not a TM has an immortal ID when started in a specified state) which can easily be shown to be undecidable (see e.g. Minsky [3, p. 151]). (shrink)

Current philosophical reflections on science have departed from mainstream history of science with respect to both methodology and conclusions. The article investigates how different approaches to reconstructing commitments can explain these differences and facilitate a mutual understanding and communication of these two perspectives on science. Translating the differences into problems pertaining to principles of charity, the paper offers a platform for clarification and resolution of the differences between the two perspectives. The outlined contextual approach occupies a middle ground between mainstream (...) history and sociology of science, bracketing questions of rationality, and individual coherence-maximizing, rationality-centered approaches. It can satisfy those, who believe that science is an epistemically privileged endeavor, and its epistemic content should not be neglected when reconstructing the scientists’ positions. It can also satisfy those who hold that it is naive to believe that the immediate context, e.g. the challenges to a theory, the expectations of the author about his audience, etc., does not affect the position a scientist takes. Its theoretical considerations are exemplified with a close study of the debate following the 1672 publication of Newton's theory of light and colours, also offering a novel reading of the development of his methodological views concerning the demonstrativity of the famous crucial experiment. Although we only show the capacity of the framework to analyze a direct controversy, given that it is hard to think about any scientific text as detached from an argumentative context, this approach has the potential to be a general guide for interpretation. (shrink)

Based on the existence of polysemy (e.g., lunch can refer to both food and events), it is argued that central tenets of externalist semantics and Fodorian concept atomism, an externalist theory on which words lack semantic structure, are unsound. We evaluate the premise that these arguments rely on—that polysemous words have separate, finer‐grained senses. We survey the evidence across psychology and linguistics and argue that it shows that polysemy does not exist, at least not in this “sense”. The upshot is (...) that if polysemy does not exist, it cannot pose a problem for atomism or externalism. (shrink)

If any nature of science perspective is to be incorporated in science-related curricula, it is hard to imagine a satisfactory didactic toolkit that neglects the social studies of science, the academic field of study of the institutional structures and networks of science. Knowledge production takes place in a world populated by actors, instruments, and ideas, and various epistemic cultures are responsible for providing the concepts, abstractions, and techniques that slowly trickle down the information pathways to become stabilized in university curricula (...) or ossified in high-school science, losing much of the tacit knowledge along the way that enabled the production of knowledge in the first place. The discussion of the sociology of science and the sociology of scientific knowledge is followed by a short overview of recent approaches in science studies and the studies of expertise. (shrink)

Istvan Bibó was the clandestine politological authority during the late Kadar period, and was rediscovered after the fall of communism. The essay examines and reconstructs the notions of elite and legitimation in Bibó''s political philosophy. As a young thinker he confronted the value crisis between the two world wars. He was influenced by Oswald Spengler''s and Ortega y Gasset''s theories of elites. The essay analyses the similarities and differences in their views. In Bibó''s conceptual world, the theory of elites is (...) connected with the issue of legitimation, because in his opinion the crisis of elites always results in a crisis of legitimation. Bibó''s analysis of elites, their social responsibilities as well as the types of legitimization are highly instructive for us since they help us rethink our conceptions of the social roles of elites and political legitimation under conditions of globalisation. (shrink)

A permissivist framework is developed to include images in the reconstruction of the evidential base and of the theoretical content. The paper uses Newton’s optical theory as a case study to discuss mathematical idealizations and depictions of experiments, together with textual correlates of diagrams. Instead of assuming some specific type of theoretical content, focus is on novel traits that are delineable when studying the carriers of a theory. The framework is developed to trace elliptic and ambiguous message design, and utilizes (...) variegated acceptance as an asset. Newton’s resources allowed for various framing modes and reconstructions, entailing various judgements concerning the theoretical content, the evidence base, and Newton’s use of mathematics. Elliptic presentation of the theory’s proof-structure and ambiguities influenced uptake, contributed to the process of opinion-polarization, and the acceptance/rejection of the theory. The study suggests that the analysed carriers of theoretical content have an argumentative function, and one of their uses is to adjust the burden of proof. (shrink)

Here we investigate the classes RCA $^\uparrow_\alpha$ of representable directed cylindric algebras of dimension α introduced by Nemeti[12]. RCA $^\uparrow_\alpha$ can be seen in two different ways: first, as an algebraic counterpart of higher order logics and second, as a cylindric algebraic analogue of Quasi-Projective Relation Algebras. We will give a new, "purely cylindric algebraic" proof for the following theorems of Nemeti: (i) RCA $^\uparrow_\alpha$ is a finitely axiomatizable variety whenever α ≥ 3 is finite and (ii) one can obtain (...) a strong representation theorem for RCA $^\uparrow_\alpha$ if one chooses an appropriate (non-well-founded) set theory as foundation of mathematics. These results provide a purely cylindric algebraic solution for the Finitization Problem (in the sense of [11]) in some non-well-founded set theories. (shrink)

Olaf Müller’s book develops a new case for underdetermination, and, as he is focusing on theories of a ‘limited domain’, this assumes the containability of the theories. First, the paper argues that Müller’s theory of darkness is fundamentally Newtonian, but for Newton’s optical theory the type of theoretical structure Müller adopts is problematic. Second, the paper discusses seventeenth-century challenges to Newton, changes in the proof-structure of Newton’s optical theory, and how these affect Müller’s reconstruction. Müller’s book provides empirically equivalent theories, (...) yet the historical theories were not empirically equivalent, and the same experiments were used to extract different bodies of evidence to rebut the opponent. Third, Goethe’s multi-layered critique of Newton’s experimental proof is investigated, including his developmental account of prismatic colours, the role of experimental series in rejecting Newton’s observations, and his incorporation of the ‘limited domain’ of prismatic colours in a broader framework. Two key elements of Goethe’s method, polarity and strengthening are discussed in contrast to Müller, who only utilises polarity in his account. Finally Neurath’s attempts to come to grips with the optical controversies and the prism-experiments with ‘blurred edges’ are recalled. Müller also discusses in detail some of these experiments and heavily draws on Quine. Neurath developed Duhem’s and Poincaré’s conventionalist insights and had good reasons to be pessimistic about theory-containment. Their differences provide some additions to the history of the Duhem–Quine thesis. (shrink)

Otto Neurath’s thoroughgoing anti-foundationalism is connected to the recognition that protocol sentences are not inviolable, that is they are fallible and their choice cannot be determined: ‘Poincaré, Duhem and others have adequately shown that even if we have agreed on the protocol statements, there is a not limited number of equally applicable, possible systems of hypotheses. We have extended this tenet of the uncertainty of systems of hypotheses to all statements, including protocol statements that are alterable in principle’. Later historiography (...) has called Neurath’s extension of Duhemian holism the Neurath principle. Based on a study of Neurath’s early works on the history of optics, the paper investigates a previously unnoticed influence on the development of this principle, Neurath’s reading of Goethe’s Theory of colours. The historical and polemical parts of Goethe’s tripartite book provided Neurath with ideal examples for the vertical extension of Duhem’s thesis to observation statements. Moreover, Goethe’s critique of the language of science and his views on the theory-ladenness of observation, as well as on the history of science show strong parallels to many of Neurath’s ideas. These demonstrate the existence of surprisingly direct textual links between Romantic views on science and the development of twentieth-century philosophy of science. Neurath’s usage of Goethe’s examples also indicates that the birth of the Neurath principle is more tightly connected to actual scientific practice than to theory-testing, and that by admitting the theory-ladenness of observation reports and fallibility of protocol statements Neurath does not throw empiricism overboard.Keywords: Otto Neurath; J. W. von Goethe; Holism; Theory-ladenness; Duhem-Quine thesis; Romantic science. (shrink)

Continuity as appears to us immediately by intuition differs from its current formalization, the arithmetical continuum or equivalently the set of real numbers used in modern mathematical analysis. Motivated by the known mathematical and physical problems arising from this formalization of the continuum, our aim in this paper is twofold. Firstly, by interpreting Chaitin’s variant of Gödel’s first incompleteness theorem as an inherent uncertainty or fuzziness of the arithmetical continuum, a formal set-theoretic entropy is assigned to the arithmetical continuum. Secondly, (...) by analyzing Noether’s theorem on symmetries and conserved quantities, we argue that whenever the four dimensional space-time continuum containing a single, stationary, asymptotically flat black hole is modeled by the arithmetical continuum in the mathematical formulation of general relativity, the hidden set-theoretic entropy of this latter structure reveals itself as the entropy of the black hole, indicating that this apparently physical quantity might have a pure set-theoretic origin, too. (shrink)

In this short study, I attempt to reconstruct the main conceptual components of Edmund Husserl’s concept of death following the leading clue of his late transcendental phenomenological methodology. First, I summarise his thoughts on death, from the point of view of “the natural attitude”, as an event in the world. Then, I try and explore the manifold senses of the limit phenomenon of death as a multidimensional transcendental phenomenological problem in all of its intersubjective-world constitutive, personal-primordial, and metaphysical-constructive layers of (...) meanings, respectively. By doing so, I also hope that the path we travel can serve the reader as an opportunity for a personal and reflective confrontation with death. (shrink)

The essay focuses on controversies where the debated issues are complex, the exchange involves several participants, and extends over long periods. Examples include the Methodenstreit, the Hering-Helmholtz controversy or the debates over Newton’s or Darwin’s views. In these cases controversies lasted for several generations, and polarisation is a recurring trait of the exchanges. The reconstructions and evaluations of the partly polemical exchanges also exhibit heterogeneity and polarisation. Although I pick an early example of the Newtonian controversies, Darwin’s argument in The (...) Origin of Species can also be variously reconstructed. When scientific controversies that involve complex utterances are investigated, a specific problem arises, as in these situations the protagonist presenting a bundle of claims to a non-unified audience cannot fully control meaning-attribution of his utterances, and, given what we know about individual cognition, the more heterogeneous audience he succeeds in persuading, the less clear the meaning becomes. While the acceptance of a position increases potential for action, the growth in consent comes together with a fuzzy content. To problematise the role of polarisation, the significance of this description with respect to knowledge-production is investigated from both an individual and a social epistemological standpoint to answer the question: How is rhetoric epistemic in cases when at least two views on a given issue are seen as persuasively supported by communities? If engaging in a controversy is a means-to-an-end activity aimed at persuasion, directed at achieving attitude-change in recipients, how does the argumentative goal of an individual translate to epistémé in extended scientific controversies? (shrink)

the Mona Lisa, the Mondscheinsonate, the Chanson d’automne are works of art, the salt shaker on your table, the car in your garage, or the pijamas on your bed are not. the basic question of the metaphysics of works of art is this: what makes a thing a work of art? that is: what sort of property do works of art have in virtue of which they are works of art? or more simply: what sort of property being a work (...) of art is? In this paper we argue that things are works of art in virtue of what they are like, their intrinsic features, that is, in virtue of the fact that they have the perceptual (auditory, visual, etc.) properties they have. In other words: being a work of art supervenes on perceptual-intrinsic features. Currently, this metaphysical view is extremely unpopular within the philosophy of art. It is unpopular because there allegedly exists a knock-down objection to it, the well-known argument from indiscernible counterparts. our thesis implies, among other things, that every perceptual duplicate of a work of art is also a work of art. according to the argument from indiscernible counterparts, however, there could be (or even: there are) indiscernible counterparts such that one of them is a work of art while the other is not. hence things cannot be works of art solely in virtue of what they are like. Our paper divides into three parts. In the first part we state our views. In the second part we defend it against various versions of the argument from indiscernible counterparts. (In doing so our position will become more plausible, we hope). In the final part we provide some meta-reflections on the matter. (shrink)

The uniform halting problem (UH) can be stated as follows:Give a decision procedure which for any given Turing machine (TM) will decide whether or not it has an immortal instantaneous description (ID).An ID is called immortal if it has no terminal successor. As it is generally the case in the literature (see e.g. Minsky [4, p. 118]) we assume that in an ID the tape must be blank except for some finite number of squares. If we remove this restriction the (...) UH becomes the immortality problem (IP). (shrink)

The original concept of epistemic dependence suggests uncritical deference to expert opinions for non-experts. In the light of recent work in science studies, however, the actual situation of epistemic dependence is seen to involve the necessary and ubiquitous need for lay evaluations of scientific experts. As expert knowledge means restricted cognitive access to some epistemic domain, lay evaluations of expert knowledge are rational and informed only when the criteria used by non-experts when judging experts are different from the criteria used (...) by experts when making their claims. The distinction between ‘substantial knowledge’ and ‘contextual knowledge’ allows for the laypeople to know with experts without having to know precisely what experts know. Such meta-expert evaluations are not specific to the public sphere outside science, nor are they limited internally to science, but they are present in a wide range of contexts in and around science. The paper legitimizes the concept of contextual knowledge by relating it to the relevant literature, and expounds the idea by identifying some elements of such a knowledge. (shrink)

This is a comprehensive study of the Derveni Papyrus. The papyrus, found in 1962 near Thessaloniki, is not only one of the oldest surviving Greek papyri but is also considered by scholars as a document of primary importance for a better understanding of the religious and philosophical developments in the fifth and fourth centuries BC. Gábor Betegh aims to reconstruct and systematically analyse the different strata of the text and their interrelation by exploring the archaeological context; the interpretation of rituals (...) in the first columns of the text; the Orphic poem commented on by the author of the papyrus; and the cosmological and theological doctrines which emerge from the Derveni author's exegesis of the poem. Betegh discusses the place of the text in the context of late Presocratic philosophy and offers an important preliminary edition of the text of the papyrus with critical apparatus and English translation. (shrink)

Chemists do not interpret the world in various ways; their point is to change it. This variation on Karl Marx’ Feuerbach thesis came to my mind while reading the new Philosophy of Chemistry volume.The 11th thesis originally sounds like this: “Philosophers have hitherto only interpreted the world in various ways; the point is to change it”. The thick book contains more than forty studies related to the relatively new field. In this short review, it would be too much even to (...) list all the authors and subjects touched in these pages. The volume was originally intended to be the proceedings of a workshop held in Paris in 2010, but the organizer and editor, Jean-Pierre Llored, also invited authors who had not participated in the conference to contribute a paper. The papers are organized under seven subtitles, such as “Historical Approaches”, “Analytical Approaches”, “Transcendental Approaches” and others, but the material is much richer than the grouping would suggest.The editor’s idea was t. (shrink)

The common cause principle says that every correlation is either due to a direct causal effect linking the correlated entities or is brought about by a third factor, a so-called common cause. The principle is of central importance in the philosophy of science, especially in causal explanation, causal modeling and in the foundations of quantum physics. Written for philosophers of science, physicists and statisticians, this book contributes to the debate over the validity of the common cause principle, by proving results (...) that bring to the surface the nature of explanation by common causes. It provides a technical and mathematically rigorous examination of the notion of common cause, providing an analysis not only in terms of classical probability measure spaces, which is typical in the available literature, but in quantum probability theory as well. The authors provide numerous open problems to further the debate and encourage future research in this field. (shrink)

"In this book, Gabor Csepregi describes in detail the nature and scope of the body's innate abilities and reflects on their significance in human life."--BOOK JACKET.

We study sincere-strategy preference-based approval voting , a system proposed by Brams and Sanver [1] and here adjusted so as to coerce admissibility of the votes , with respect to procedural control. In such control scenarios, an external agent seeks to change the outcome of an election via actions such as adding/deleting/partitioning either candidates or voters. SP-AV combines the voters' preference rankings with their approvals of candidates, where in elections with at least two candidates the voters' approval strategies are adjusted (...) – if needed – to approve of their most-preferred candidate and to disapprove of their least-preferred candidate. This rule coerces admissibility of the votes even in the presence of control actions, and hybridizes, in effect, approval with pluralitiy voting. We prove that this system is computationally resistant to 19 out of 22 types of constructive and destructive control. Thus, SP-AV has more resistances to control than is currently known for any other natural voting system with a polynomial-time winner problem. In particular, SP-AV is the second natural voting system with an easy winner-determination procedure that is known to have full resistance to constructive control, and unlike Copeland voting it in addition displays broad resistance to destructive control. (shrink)

We study sincere-strategy preference-based approval voting (SP-AV), a system proposed by Brams and Sanver [1] and here adjusted so as to coerce admissibility of the votes (rather than excluding inadmissible votes a priori), with respect to procedural control. In such control scenarios, an external agent seeks to change the outcome of an election via actions such as adding/deleting/partitioning either candidates or voters. SP-AV combines the voters' preference rankings with their approvals of candidates, where in elections with at least two candidates (...) the voters' approval strategies are adjusted – if needed – to approve of their most-preferred candidate and to disapprove of their least-preferred candidate. This rule coerces admissibility of the votes even in the presence of control actions, and hybridizes, in effect, approval with pluralitiy voting. We prove that this system is computationally resistant (i.e., the corresponding control problems are NP-hard) to 19 out of 22 types of constructive and destructive control. Thus, SP-AV has more resistances to control than is currently known for any other natural voting system with a polynomial-time winner problem. In particular, SP-AV is (after Copeland voting, see Faliszewski et al. [2, 3]) the second natural voting system with an easy winner-determination procedure that is known to have full resistance to constructive control, and unlike Copeland voting it in addition displays broad resistance to destructive control (© 2009 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)