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)

"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.

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 paper first discusses the metaphysical framework that allows the soul's integration into the physical world. A close examination of B36, supported by the comparative evidence of some other early theories of the soul, suggests that the word psuchê could function as both a mass term and a count noun for Heraclitus. There is a stuff in the world, alongside other physical elements, that manifests mental functions. Humans, and possibly other beings, show mental functions in so far as they have (...) a portion of that stuff. Turning to the physical characterization of the soul, the paper argues that B36 is entirely consistent with the ancient testimonies that say that psuchê for Heraclitus is exhalation. But exhalations cover all states of matter from the lowest moist part of atmospheric air to the fire of celestial bodies. If so, psuchê for Heraclitus is both air and fire. The fact that psuchê can manifest the whole range of physical properties along the dry-wet axis guarantees that souls can show different intellectual and ethical properties as well. Moreover, Sextus Empiricus, supported by some other sources, provides us with an answer how portions of soul stuff are individuated into individual souls. The paper closes with a brief discussion of the question whether, and if so with what qualifications, we can apply the term 'physicalism' to Presocratic theories of the soul. (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].

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)

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)

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)

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)

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)

The short treatise known as Περὶ κόσμου is a learned piece of protreptic addressed to Alexander, ‘the best of princes’, usually identified with Alexander the Great. The treatise is traditionally attributed to Aristotle, and although it does espouse recognizably Aristotelian views, it contains various doctrinal and linguistic elements which have led the large majority of scholars to regard it as inauthentic. The dating of the treatise is a more controversial matter, though most scholars would put it somewhere in the Hellenistic (...) period. (shrink)

The paper challenges William Alston’s argument against doxastic deontology, the view that we have epistemic duties concerning our beliefs. The core of the argument is that doxastic deontology requires voluntary control over our beliefs, which we do not have. The idea that doxastic deontology requires voluntary control is supposed to follow from the principle that ought implies can. The paper argues that this is wrong: in the OIC principle which regulates our doxastic duties the “can” does not stand for the (...) ability to shape our beliefs voluntarily. As an examination of everyday examples shows, it stands for cognitive competence, the reliable ability to acquire beliefs in compliance with the epistemic norms. The doxastic OIC principle asserts, in brief, that one is only obliged to believe something if one’s cognitive capacities are sufficiently strong. It is also explained why the doxastic duties do not require voluntary control as opposed to moral duties. This understanding of doxastic duties saves our everyday doxastic deontic judgments from Alston’s argument, but does not help the deontological conception of justification, which understands justification as not violating one’s epistemic duties. It actually provides another argument against the deontological conception: if the OIC regulating our doxastic duties is construed as suggested, the deontological conception of justification implies that one’s doxastic duties and, consequently, whether one’s belief is justified depend on one’s cognitive competence. Since cognitive competence varies from person to person, justification will not matter to truth and knowledge in the way epistemic justification is supposed to do. (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)

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)

Several other commentators capably articulate and defend an important objection to Christie, Brusse, et al.: the claim that the existence of a trait is entirely, rather than partially explained by the effects for which it was selected is stronger than the selected effects theorist needs or seeks to defend. Nonetheless, Christie, Brusse, et al.’s cases do draw our attention to a point about the explanatory relation between selected effects functions and their bearers that has not been emphasized by selected effects (...) theorists, although some have quietly accommodated it. This is the idea that, for a trait T to be for performing F, T’s ability to perform F must figure in an explanation of T’s existence in a particular way. It is not T’s absolute propensity to produce F as an effect but its comparative propensity, as compared with alternatives to T, that must figure in the explanation. The pattern of explanation sought by selected effects theorists to underwrite function attributions therefore requires a correct choice of comparison class. When we spell this idea out, we arrive at a hypothesis about what is bothering Christie, Brusse, et al. about the cases they find problematic. Consider their Gouldian finches. Focusing on the role of comparative propensities, the difficulty becomes clear: the claim that the red-heads’ hormonal levels have persisted in the finch population because they have had the effect of dislodging competitors more reliably than the black-heads’ hormonal levels is incorrect. The red-head phenotype doesn’t stick around by outdoing the black-heads at dislodging, since the black-heads can’t be outdone at something they are not in the business of doing in the first place. However, this point is not in the end a serious problem for selected effects theories because the problem comes from a wrong choice of comparison class: namely, black-heads, rather than inferior red-heads. If the hormonal trait of today’s red-heads reached or persists at its present frequency because of some historical selection against other, perhaps quite similar, hawkish variants, this trait will be for dislodging competitors, since it is around because it outdid those alternatives at dislodging. (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)

The present volume has grown out of a conference organized jointly by the History of Philosophy Department of the University of Miskolc and the History and Philosophy of Science Department of Eötvös Loránd University (Budapest), which took place in June 2002. The aim of the conference was to explore the various angles from which intentionality can be studied, how it is related to other philosophical issues, and how it figures in the works of major philosophers in the past. It also (...) aimed at facilitating the interaction between the analytic and phenomenological traditions, which both regard intentionality as one of the most important problems for philosophy. Indeed intentionality has sometimes provided inspiration for works bridging the gap between the two traditions, like Roderick Chisholm’s in the sixties and Dagfin Føllesdall’s and his students’ in the early eighties. These objectives were also instrumental in the selection of the papers for this volume. Instead of very specialized papers on narrow issues, we gave preference to papers with a broader focus, which (1) juxtapose different approaches and traditions or (2) link the issues of intentionality with other philosophical concerns. (shrink)

Locke’s conception of substance in general or substratum has two relatively widespread interpretations. According to one, substance in general is the bearer of properties, a pure subject, something which sustains properties but itself has no properties. I will call this interpretation traditional, because it has already been formulated by Leibniz. According to the other interpretation, substance is general is something like real essence: an underlying structure which is responsible for the fact that certain observable properties form stable, recurrent clusters. I (...) will argue that both interpretation are partly right, and what is good in them can be reconciled. The traditional interpretation captures the purpose and signficanc of the idea of substance in general, i.e. the reason why Locke says we have this idea. The real essence view is right about the real world counterpart of the idea, i.e. what sort of entity the idea corresponds to. The paper starts with a review of the strengths and weaknesses of the rival interpretations (I, II). Then I examine which part of the traditional interpretation can be sustained in light of the problems it faces (III). Thereafter I will show that the part of the traditional interpretation which can be sustained cannot stand on its own and needs to be supplemented at one point, and the real essence view can provide what is needed. This, as it were, mixed interpretation will be supported by sketching an argument which is plausible within the context of Locke’s teachings and which explains how Locke could have arrived from the view which the traditional interpretation correctly attributes to him to the view which the real essence interpretation takes him to espouse (IV). The two problematic points in this argument will be taken up in the following two sections. (V, VI). Finally, I will provide some evidence from the Drafts for Locke’s identification of substance and essence (VII). (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 [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)

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)

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)

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)

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)

Play is not only a kind of activity, but also a set of attitudes. We may join a card game in a casino without assuming a play attitude; conversely we may transform a seemingly tedious action, such as a walk to the store, into a pleasant experience of spontaneous movements by adopting an attitude of play. Attitudes of Play is a comprehensive study of the persistent human tendency to bring a cheerful and good-humoured outlook to any kind of situation, including (...) the serious and the mundane. Gabor Csepregi offers a phenomenological description of forms of playfulness, showing how, time and again, our attitudes of play redefine and shape diverse activities and experiences – from teaching, healing, or worshipping to political conflict or walking down the street. With play attitudes, we exercise our freedom to colour these scenes or give them an altogether new form, evoking in us more refined sentiments and more acute perceptions. This book seeks to distinguish play activities from attitudes of play, showing that the latter hold value not merely for their educational or other instrumental benefits but also, and perhaps most importantly, for the overall fulfillment and well-being they offer in all stages of human existence. (shrink)

In vivo explore des questions fondamentales et des moments cruciaux de l’existence humaine – l’entrée en interaction avec une culture étrangère, la décision de se sortir d’une condition de vie routinière ou malheureuse, une action généreuse posée dans un contexte quotidien ordinaire – en fonction de leur potentiel de transformation de l’existence. En recourant à des illustrations tirées de la vie réelle et d’œuvres de fiction, Gabor Csepregi révèle le rôle primordial des sentiments personnels dans le façonnement de la vie (...) humaine et démontre le pouvoir formateur de la spontanéité en dehors du contexte traditionnel de l’éducation formelle. Ces moments, et notamment la façon dont ils perturbent l’ordre temporel ordinaire constituent des expériences vécues de notre vitalité. « Recourant à un langage clair et précis, In vivo captivera les philosophes et les intellectuels. Csepregi engage un dialogue entre diverses traditions, faisant appel aux meilleurs courants de plusieurs philosophies pour développer un point de vue unique ». - Gaëlle Fiasse, Université McGill. (shrink)

SUMMARYThis study is centred on events in 1580 surrounding a scandalous publication of Machiavelli’s The Prince by Pietro Perna in Basel. With the presentation of new documents the paper fully reconstructs the judicial case that followed its publication, raising new questions about the author of the infamous book Vindiciae contra tyrannos. However, this fascinating story will serve only as a starting point for the investigation of Machiavelli's late-sixteenth-century reception, providing insights into not only the political and religious but also the (...) scientific context of its publication. These fields, it will be argued, were thoroughly interrelated, all sharing similar epistemological premises. (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)

Abstract The paper is an attempt to interpret Imre Lakatos's methodology of scientific research programmes (MSRP) on the basis of his mathematical methodology, the method of proofs and refutations (MPR). After sketching MSRP and MPR and analysing their relationship to Popper's and Poly a's work, I argue that MSRP was originally conceived as a methodology in the same sense as MPR. The most conspicuous difference between the two, namely that MSRP is fundamentally backward?looking, whereas MPR is primarily forward?looking, is due (...) to the fact that Lakatos could not carry out his project in the full sense. I also explain why he could not. (shrink)

ArgumentThe subject of the paper is the shift from an astrology-oriented astronomy towards an allegedly more objective, mathematically grounded approach to astronomy. This shift is illustrated through a close reading of Tycho Brahe's scientific development and the contemporaneous changes in his communicational strategies. Basing the argument on a substantial array of original sources it is claimed that the Danish astronomer developed a new astronomical discourse in pursuit of credibility, giving priority to observational astronomy and natural philosophical questions. The abandonment of (...) astrology in public discourse is primarily explained by Tycho's social position and greater sensibility to controversial issues. Tycho's example suggests that the changes in rhetorical strategies regarding astrology (which happened earlier than changes in astrological belief) should be given more recognition in the history of astronomy. (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)

This paper focuses on a neglected part of Dilthey’s œuvre that consists of papers on 16th–17th century philosophical issues. These papers are closer to interpretive articles than to original works, and so they are neither considered Dilthey’s original contributions to his own philosophy nor studied as part of the secondary literature. One of the most characteristic features of Dilthey’s philosophic style is the historical-systematic method mostly repudiated as concealing the real statement of the author “between the lines,” i.e. behind historical (...) analyses. Therefore these papers are not reckoned among Dilthey’s great works of enduring significance. This paper aims to make the reader more sensitive to the world and claims of these papers by way of an intermediary approach to them that acknowledges their intermediary position between a historical description and a systematic analysis. This is to be accomplished by having a look at the “pantheism” of Georg Misch, Dilthey’s largely forgotten pupil and son-in-law. (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 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 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)

This chapter contains sections titled: The Framework of Greek Religion The Conceptualization of the Divine Philosophical Piety Bibliography.