In the last 20 years network science has become an independent scientific field. We argue that by building network models network scientists are able to tame the vagueness of propositions about complex systems and networks, that is, to make these propositions precise. This makes it possible to study important vague properties such as modularity, near-decomposability, scale-freeness or being a small world. Using an epistemic model of network science, we systematically analyse the specific nature of network models and the logic behind (...) the taming mechanism. (shrink)

In this essay, I seek to demonstrate the interplay of philosophical voices – particularly, that of a platonist voice and a community-agreement-view voice – that drives Wittgenstein’s rule-following dialectic forward; and I argue that each voice succumbs to a particular form of dialectical oscillation that renders its response to the problem of rule-following philosophically inadequate. Finally, I suggest that, by seeing and taking stock of the dilemma in which these responses to the skeptical problem are caught, we can come to (...) appreciate Wittgenstein’s own view of what might constitute a proper a response to the so-called problem of rule-following. This view can be preliminarily characterized by saying that Wittgenstein’s aim is to dissolve the temptation to philosophically rebut the skeptical challenge posed by the rule-following dialectic, an aim he achieves by revealing the semantic emptiness of the apparent sentences that raise the skeptical problem. (shrink)

In virtue of what does a sign have meaning? This is the question raised by Wittgenstein's rule-following considerations. Semantic dispositionalism is a (type of) theory that purports to answer this question. The present paper argues that semantic dispositionalism faces a heretofore unnoticed problem, one that ultimately comes down to its reliance on unanalyzed notions of repeated types of signs. In the context of responding to the rule-following paradox—and offering a putative solution to it—this amounts to simply assuming a solution to (...) the problem in one domain and using it to solve the same problem in another. Given, moreover, the level at which the rule-following paradox undercuts dispositionalism—the level of the notion of a sign's repetition—the objections made to the view also rule out causal/informational theories of meaning as well as communitarian/assertion-theoretic ones as potential solutions to the rule-following paradox. (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)

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)

It is widely thought that, in §201 of the Philosophical Investigations, Wittgenstein reveals himself to oppose a definite view or theory of rule-following. I argue that, due to the self-undermining character of that section, no such interpretation should be accepted. Then I sketch a reading of Wittgenstein’s method that accounts for the paradoxical nature of §201, and I show how this methodology is realized in his remarks on following a rule.

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)

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)

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.

Recent work in social and cultural studies of science and technology has shown that the ‘epistemic dependence’ of laypeople on experts is not a relation of blind trust, but typically and necessarily involves critical assessment of expert testimonies. Normative epistemologists have suggested a number of criteria, mostly of contextual nature since expert knowledge means restricted cognitive access to some epistemic domain, according to which non-experts can reliably evaluate expert claims; while science studies scholars have concentrated on how laypeople can come (...) to warranted decisions about technical matters on non-technicalgrounds. Instead of addressing the problem transcendentally (how such decisions are possible) or normatively (how such decisions should be reached), this paper contrasts the recommendations available in the literature with the empirical findings of a rough case study concerning the public reaction to the H1N1 vaccine issue. Awareness of how lay people do come to such decisions may inform and refine normative philosophical investigations. (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)

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)

Which ultraproducts preserve the validity of formulas of higher order logics? To answer this question, we will introduce natural topologies on ultraproducts. We will show, that ultraproducts preserving certain higher order formulas can be characterized in terms of these topologies. As an application of the above results, we provide a constructive, purely model theoretic characterization for classes definable by second order existential formulas.

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)

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)

Otto Neurath’s early work on the classification of systems of hypotheses in optics provided some of the key insights of Neurath’s later philosophy of science. The chapter investigates how Neurath developed his theory of theory-classification in response to inconsistencies he stumbled upon while studying the historical theories. Neurath’s empiricism and thoroughgoing fallibilism informed his mapping of the group of theories, locating “elementary notions” of theories and taking into account the “blurred margins” of theories. To replace false dichotomies the project provided (...) a finer-grained analysis of theories and could be utilized to locate unconceived alternatives of a domain. The first sections discuss the close links between Neurath’s optical essays, his notion of an “auxiliary motive,” and his attack on pseudorationalism in the “Lost Wanderers of Descartes” paper. The last sections provide a comparison of the two essays, with an extended table of the elementary notions Neurath listed, and discuss Neurath’s two-tier methodology for historical reconstruction. (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)

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)

We will study the class RSA of -dimensional representable substitution algebras. RSA is a sub-reduct of the class of representable cylindric: algebras, and it was an open problem in Andréka [1] that whether RSA can be finitely axiomatized. We will show, that the answer is positive. More concretely, we will prove, that RSA is a finitely axiomatizable quasi-variety. The generated variety is also described. We note that RSA is the algebraic counterpart of a certain proportional multimodal logic and it is (...) related to a natural fragment of first order logic, as well. (shrink)

The current confrontation between Russia and Ukraine raises essential problems regarding ethics and laws of war. It also presents an opportunity to compose an ethics case study to analyze the idea of a just war. The present-day war of Russia’s aggression toward Ukraine can hardly be analyzed ethically. We lean back to the seminal ideas of just war theorists to argue that war must be waged in a manner that is consistent with moral and ethical principles, such as proportionality, discrimination, (...) and respect for the rights of non-combatants. This article emphasizes the relationship between war and politics, and the belief that military forces should be used rationally and calculatedly. Wars have influenced the development of the modern world history. The fall of the Soviet Union led to 30 years of peace; however, the ideas of its creators returned to contemporary Russian thinking. We attempt to draw conclusions based on the past to enable conflict to end peacefully and a balance to be restored. (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)

We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig's Interpolation Theorem holds but a strong form of this theorem does not hold. Translating these results into Algebraic Logic we obtain a finitely axiomatizable subvariety of finite dimensional Representable Cylindric Algebras that has the Strong Amalgamation Property but does not have the Superamalgamation Property. This settles a conjecture of Pigozzi [12].

Let be a countable first order structure and endow the universe of with the discrete topology. Then the automorphism group of becomes a topological group. A tuple of automorphisms is defined to be weakly generic iff its diagonal conjugacy class (in the algebraic sense) is dense (in the topological sense) and the ‐orbit of each is finite. Existence of tuples of weakly generic automorphisms are interesting from the point of view of model theory as well as from the point of (...) view of finite combinatorics.The main results of the present work are as follows. In Theorem 2.6 we characterize the existence of tuples of weakly generic automorphisms with the aid of the profinite topology of free groups. In Corollary 2.12 we will show that if has finite topological rank r (and satisfies a further, mild technical condition) then the existence of a weakly generic tuple in implies the existence of weakly generic tuples in for all natural number. Finally, in Theorem 3.2 we show that if is a countable model of an ℵ0‐categorical, simple theory in which all types over the empty set are stationary and has a pair of weakly generic automorphisms then it has tuples of weakly generic automorphisms of arbitrary finite length.At the technical level we will combine elementary investigations about the profinite topology of free groups with the results of [11] about topological ranks of the automorphism groups of some structures. (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.

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)

We consider a real-valued function f defined on the set of infinite branches X of a countably branching pruned tree T. The function f is said to be a limsup function if there is a function $u \colon T \to \mathbb {R}$ such that $f(x) = \limsup _{t \to \infty } u(x_{0},\dots,x_{t})$ for each $x \in X$. We study a game characterization of limsup functions, as well as a novel game characterization of functions of Baire class 1.

This paper attempts to present a general picture of the most important philosophical elements found in the Hungarian writings of Imre Lakatos, later the famous philosopher of science in England, with a focus on his views on science and its social context. In the first section, Lakatos' life in Hungary is summarized, with a special emphasis on those few years when most of the Hungarian works were written. The second section offers a list of his Hungarian publications, each item accompanied (...) by a brief description. Then we examine the lost doctoral dissertation and its possible contents as reconstructed from the reports of the readers and the published texts. Finally we identify the main philosophical sources the young Lakatos could have used, and give a summary of his basic views on science. (shrink)

The concept of the “End of History” was originally developed by G. W. F. Hegel in the Phenomenology of the spirit in 1806 (Hegel, 2018). The concept can be closely related to a utopia, the completion of the work of philosophers, and the creation of a perfect framework of the finished system of ideas. Hegel had a lot of influence on Western philosophy with the development of this idea and on Marx, who obviously thought of history in dialectic terms. However, (...) he developed the idea of “communism”, which would have been a state of humankind very similar to the concept of Hegel, with no class differences and no opiates of the people—and no place for further development (Marx & Engels, 2002). The “End of History” is based on this theoretical viewpoint that mankind has reached the final and most advanced form of societal development. However, the theorists and their intellectual followers both have to realize a painful way that the phenomenon can only be attained preliminarily. It proves to be a utopia. (shrink)

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)

In this short paper we make a proposal that the second law of thermodynamics holds true for a closed physical system consisting of pure antimatter in the thermodynamical limit, but in a reversed form. We give two plausible arguments in favour to this proposal: one refers to the CPT theorem of relativistic quantum field theories while the other one is based on general thermodynamical arguments. However in our understanding the ultimate validity or invalidity of this idea can be decided only (...) by future physical experiments. As a consequence of the proposal we argue that the dynamical evolution of pure macroscopic antimatter systems can be very different from that of ordinary matter systems in the sense that sufficiently massive antimatter systems could have stronger tendency to form black holes during time evolution than their ordinary counterparts. Taking into account the various uniqueness theorems in black hole physics as well, as a result, antimatter could tracelessly disappear behind black hole event horizons faster in time than ordinary matter. The observed asymmetry of matter and antimatter could then be explained even if their presence in the Universe was symmetric in the beginning. (shrink)