The volume collects classics of Marxist historiography of science, including a new translation of Boris Hessen's “The Social and Economic Roots of Newton's ...

Boris Kment takes a new approach to the study of modality that emphasises the origin of modal notions in everyday thought. He argues that the concepts of necessity and possibility originate in counterfactual reasoning, which allows us to investigate explanatory connections. Contrary to accepted views, explanation is more fundamental than modality.

On the received view, counterfactuals are analysed using the concept of closeness between possible worlds: the counterfactual 'If it had been the case that p, then it would have been the case that q' is true at a world w just in case q is true at all the possible p-worlds closest to w. The degree of closeness between two worlds is usually thought to be determined by weighting different respects of similarity between them. The question I consider in the (...) paper is which weights attach to different respects of similarity. I start by considering Lewis's answer to the question and argue against it by presenting several counterexamples. I use the same examples to motivate a general principle about closeness: if a fact obtains in both of two worlds, then this similarity is relevant to the closeness between them if and only if the fact has the same explanation in the two worlds. I use this principle and some ideas of Lewis's to formulate a general account of counterfactuals, and I argue that this account can explain the asymmetry of counterfactual dependence. The paper concludes with a discussion of some examples that cannot be accommodated by the present version of the account and therefore necessitate further work on the details. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in (...) the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

This paper is dedicated to the study of properties of the operations ∪ and ∩ in the upper semilattice of the e-degrees as well as in the interval (c,c') e for any e-degree c.

Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical concepts -- logical constants, logical truths, and logical consequence -- are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and existential quantifiers form (...) a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language. (shrink)

British social survey movement ‘Mass-Observation’ (M-O) was founded in 1937 by a poet, a film-maker and an ornithologist. It purported to offer a new kind of sociology – one informed by surrealism and working with a ‘mass’ of Observers recording day-to-day interactions. Various commentators have debated the importance and precise identity of M-O in its first phase, especially in light of its combination of social science and surrealism. This article draws on new archival research, in particular into the ‘paperwork’ practices (...) of Charles Madge, arguing that M-O is best understood as an attempt to define a new relationship between the survey subject and information organiser. The latter – as sociologist, planner or artist – was a distinctive interwar persona, central to ‘scientific humanism’. Bathos, as a formal strategy in modernist aesthetics, is introduced as an explanation of the failure of this particular part of the M-O project. Questions of subjectivity and data link M-O to a longer history of heterodox sociological inquiry. This analysis resolves some of the apparent paradoxes that have been prominent in studies of M-O, and draws attention to the unfulfilled promise of a vast archive of social data. (shrink)

The aim of Modality and Explanatory Reasoning (MER) is to shed light on metaphysical necessity and the broader class of modal properties to which it belongs. This topic is approached with two goals: to develop a new and reductive analysis of modality, and to understand the purpose and origin of modal thought. I argue that a proper understanding of modality requires us to reconceptualize its relationship to causation and other forms of explanation such as grounding, a relation that connects metaphysically (...) fundamental facts to non-fundamental ones. While many philosophers have tried to give modal analyses of causation and explanation, often in counterfactual terms, I argue that we obtain a more plausible, explanatorily powerful and unified theory if we regard explanation as more fundamental than modality. The function of modal thought is to facilitate a common type of thought experiment – counterfactual reasoning – that allows us to investigate explanatory connections and which is closely related to the controlled experiments of empirical science. Necessity is defined in terms of explanation, and modal facts often reflect underlying facts about explanatory relationships. The study of modal facts is important for philosophy not because these facts are of much metaphysical interest in their own right, but largely because they provide evidence about explanatory connections. (shrink)

This article informally presents a solution to the paradoxes of truth and shows how the solution solves classical paradoxes (such as the original Liar) as well as the paradoxes that were invented as counterarguments for various proposed solutions (“the revenge of the Liar”). This solution complements the classical procedure of determining the truth values of sentences by its own failure and, when the procedure fails, through an appropriate semantic shift allows us to express the failure in a classical two-valued language. (...) Formally speaking, the solution is a language with one meaning of symbols and two valuations of the truth values of sentences. The primary valuation is a classical valuation that is partial in the presence of the truth predicate. It enables us to determine the classical truth value of a sentence or leads to the failure of that determination. The language with the primary valuation is precisely the largest intrinsic fixed point of the strong Kleene three-valued semantics (LIFPSK3). The semantic shift that allows us to express the failure of the primary valuation is precisely the classical closure of LIFPSK3: it extends LIFPSK3 to a classical language in parts where LIFPSK3 is undetermined. Thus, this article provides an argumentation, which has not been present in contemporary debates so far, for the choice of LIFPSK3 and its classical closure as the right model for the truth predicate. In the end, an erroneous critique of Kripke-Feferman axiomatic theory of truth, which is present in contemporary literature, is pointed out. (shrink)

Starting from the idea that functions are formally similar to actions in that they are described and explained in a similar way, so that both admit of an accordion effect, I turn to Anscombe’s insight that the point of practical reasoning is to render explicit the relation between the different descriptions of an action generated by the accordion effect. The upshot is, roughly, that an item has a function if what it does can be accounted for by functional reasoning. Put (...) differently, a part of a system has a function if what it does is a functional part of what the system does. (shrink)

I propose a general alethic theory of epistemic risk according to which the riskiness of an agent’s credence function encodes her relative sensitivity to different types of graded error. After motivating and mathematically developing this approach, I show that the epistemic risk function is a scaled reflection of expected inaccuracy. This duality between risk and information enables us to explore the relationship between attitudes to epistemic risk, the choice of scoring rules in epistemic utility theory, and the selection of priors (...) in Bayesian epistemology more generally. (shrink)

Many philosophers have argued that statistical evidence regarding group characteristics (particularly stereotypical ones) can create normative conflicts between the requirements of epistemic rationality and our moral obligations to each other. In a recent article, Johnson-King and Babic argue that such conflicts can usually be avoided: what ordinary morality requires, they argue, epistemic rationality permits. In this article, we show that as data get large, Johnson-King and Babic’s approach becomes less plausible. More constructively, we build on their project and develop a (...) generalized model of reasoning about stereotypes under which one can indeed avoid normative conflicts, even in a big data world, when data contain some noise. In doing so, we also articulate a general approach to rational belief updating for noisy data. (shrink)

La quatrième de couverture indique : "Ils souffrent comme nous. Comme nous aussi, ils jouissent du bien-être. Mieux que nous parfois, ils s'imposent par la ruse et l'intelligence. Comment continuer à les traiter comme des " choses " dont on se contenterait de condamner l'abus? Mais faut-il pour autant leur accorder des droits, et si oui lesquels? Et qui veillera à leur application? Pour répondre à ces questions et à tant d'autres, Boris Cyrulnik l'éthologue, Elisabeth de Fontenay la philosophe, (...) Peter Singer le bioéthicien croisent leurs regards et confrontent leurs savoirs sur la question animale. Trois sensibilités, trois parcours, trois formes d'engagement : la voie est tracée, au-delà des divergences et des contradictions, et en partie grâce à elles, pour que le législateur s'attelle à la rédaction du contrat qu'il nous faut maintenant passer sans délai avec nos frères en animalité, au nom de la dignité humaine.". (shrink)

In this paper we develop a general theory of algorithmic fairness. Drawing on Johnson King and Babic’s work on moral encroachment, on Gary Becker’s work on labor market discrimination, and on Strawson’s idea of resentment and indignation as responses to violations of the demand for goodwill toward oneself and others, we locate attitudes to fairness in an agent’s utility function. In particular, we first argue that fairness is a matter of a decision-maker’s relative concern for the plight of people from (...) different groups, rather than of the outcomes produced for different groups. We then show how an agent’s preferences, including in particular their attitudes to error, give rise to their decision thresholds. Tying these points together, we argue that the agent’s relative degrees of concern for different groups manifest in a difference in decision thresholds applied to these groups. (shrink)

The notion of “projective aesthetics” is considered in this paper for the first time as a variant of the recourse to praxis that characterizes contemporary aesthetics and its “aesthetic involvement”. Projective aesthetics involves the use of methodologies of a new type: “schizoanalysis”, “conceptivism” and “projectivism”. The emphasis is put on the principle of “rhizome” and on the features of so-called “culturonics”, a way of thinking “through projects” in the cultural sphere. Projective aesthetics implies a way of philosophizing about art and (...) aesthetics which is defined by a functional orientation in terms of a process of aestheticization and artification, and, accordingly, of projectivity. The connection between projective aesthetics and the peculiarities of modern communicative aesthetics is also examined, together with the need for creating a philosophical glossary of artistry and modern art, meant as a relevant project for aesthetics. In the text, a special place is also given to a number of projects implemented in the process of teaching philosophical aesthetics, as related to beauty as well as with the direct participation of students in filling out the contents of the above-mentioned glossary. (shrink)

During the last quarter of a century, a number of philosophers have become attracted to the idea that necessity can be analyzed in terms of a hyperintensional notion of essence. One challenge for proponents of this view is to give a plausible explanation of our modal knowledge. The goal of this paper is to develop a strategy for meeting this challenge. My approach rests on an account of modality that I developed in previous work, and which analyzes modal properties in (...) terms of the notion of a metaphysical law. I discuss what information about the metaphysical laws is required for modal knowledge. Moreover, I describe two ways in which we might be able to acquire this information. The first way employs inference to the best explanation. The metaphysical laws, including the essential truths, play a crucial role in causal and grounding explanations and we can gain knowledge of these laws by abductive inferences from facts of which we have perceptual or a priori knowledge. The second way of gaining information about the metaphysical laws rests on knowledge that is partly constitutive of competence with the concepts that are needed to express the relevant information. Finally, I consider how knowledge of the metaphysical laws can be used to establish modal claims, paying special attention to the much-discussed connection between conceiving and possibility. (shrink)

Technologies and practices aimed at improving the physical, mental, intellectual, moral and other characteristics of a person are becoming increasingly popular today. What makes all this possible is the present stage of scientific and technological development of society, often referred to as technoscience. This article discusses two general contours of what constitutes a technoscience. The author argues that, internally, technoscience is associated with establishing increasingly close and diverse links between science and technology. Externally, technoscience incorporates other components, such as business, (...) financing the development of new technologies, a human as an individual person and, at the same time, as a mass consumer of new technologies, and society, through which the relations between all other blocks of the eireuit are carried out. What is claimed to be of crucial importance is the fact that very often becomes the target of a variety of technological interventions. For a long time, such interventions have been primarily medical, therapeutic in their nature. Gradually, however, the spectrum of applications of biomedical technologies has grown wider. A significant role in this widening ofthe spectrum during last few decades is claimed to be played by processes of medicalization of human life. The author considers the delineation between therapeutic interventions and those which are aimed at improving an individual. He addresses the problems of the connection between the projects of human enhancement, on the one hand, and their radical transformation, on the other. (shrink)

I will argue that Aristotle’s fourfold division of four causes naturally arises from a combination of two distinctions (a) between things and changes, and (b) between that which potentially is something and what it potentially is. Within this scheme, what is usually called the “efficient cause” is something that potentially is a certain natural change, and the “final cause” is, at least in a basic sense, what the efficient cause potentially is. I will further argue that the essences of things (...) and changes are not features or attributes of them, but paradigms that set the standards according to which these things and changes may be judged to be natural or typical. The “formal cause” of a natural thing will be shown to be its essence in this sense: it sets the standards of typicality that apply to instances of its kind. The final cause will be shown to set the standard of typicality for natural changes. When we understand Aristotle’s doctrine of the four causes in this way, it becomes clear on what basis he could convincingly argue that final causality is operative in the whole of nature. (shrink)

In this article I develop an elementary system of axioms for Euclidean geometry. On one hand, the system is based on the symmetry principles which express our a priori ignorant approach to space: all places are the same to us, all directions are the same to us and all units of length we use to create geometric figures are the same to us. On the other hand, through the process of algebraic simplification, this system of axioms directly provides the Weyl’s (...) system of axioms for Euclidean geometry. The system of axioms, together with its a priori interpretation, offers new views to philosophy and pedagogy of mathematics: it supports the thesis that Euclidean geometry is a priori, it supports the thesis that in modern mathematics the Weyl’s system of axioms is dominant to the Euclid’s system because it reflects the a priori underlying symmetries, it gives a new and promising approach to learn geometry which, through the Weyl’s system of axioms, leads from the essential geometric symmetry principles of the mathematical nature directly to modern mathematics. (shrink)

We further investigate a divisibility relation on the set of BN ultrafilters on the set of natural numbers. We single out prime ultrafilters (divisible only by 1 and themselves) and establish a hierarchy in which a position of every ultrafilter depends on the set of prime ultrafilters it is divisible by. We also construct ultrafilters with many immediate successors in this hierarchy and find positions of products of ultrafilters.

Philosophy is traditionally understood as the search for universal truths, and philosophers are supposed to transmit those truths beyond the limits of their own culture. But, today, we have become skeptical about the ability of an individual philosopher to engage in "universal thinking," so philosophy seems to capitulate in the face of cultural relativism. In Introduction to Antiphilosophy, Boris Groys argues that modern "antiphilosophy" does not pursue the universality of thought as its goal but proposes in its place the (...) universality of life, material forces, social practices, passions, and experiences --angst, vitality, ecstasy, the gift, revolution, laughter or "profane illumination" --and he analyzes this shift from thought to life and action in the work of thinkers from Kierkegaard to Derrida, from Nietzsche to Benjamin. Ranging across the history of modern thought, Introduction to Antiphilosophy endeavors to liberate philosophy from the stereotypes that hinder its development. --Publisher. (shrink)

We continue the exploration of various aspects of divisibility of ultrafilters, adding one more relation to the picture: multiplicative finite embeddability. We show that it lies between divisibility relations \ and \. The set of its minimal elements proves to be very rich, and the \-hierarchy is used to get a better intuition of this richness. We find the place of the set of \-maximal ultrafilters among some known families of ultrafilters. Finally, we introduce new notions of largeness of subsets (...) of \, and compare it to other such notions, important for infinite combinatorics and topological dynamics. (shrink)

We construct and study structures imitating the field of complex numbers with exponentiation. We give a natural, albeit non first-order, axiomatisation for the corresponding class of structures and prove that the class has a unique model in every uncountable cardinality. This gives grounds to conjecture that the unique model of cardinality continuum is isomorphic to the field of complex numbers with exponentiation.

In this article, logical concepts are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and existential quantifiers form a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language.

Approximate coherentism suggests that imperfectly rational agents should hold approximately coherent credences. This norm is intended as a generalization of ordinary coherence. I argue that it may be unable to play this role by considering its application under learning experiences. While it is unclear how imperfect agents should revise their beliefs, I suggest a plausible route is through Bayesian updating. However, Bayesian updating can take an incoherent agent from relatively more coherent credences to relatively less coherent credences, depending on the (...) data observed. Thus, comparative rationality judgments among incoherent agents are unduly sensitive to luck. (shrink)

We continue the research of an extension of the divisibility relation to the Stone‐Čech compactification. First we prove that ultrafilters we call prime actually possess the algebraic property of primality. Several questions concerning the connection between divisibilities in and nonstandard extensions of are answered, providing a few more equivalent conditions for divisibility in. Results on uncountable chains in are proved and used in a construction of a well‐ordered chain of maximal cardinality. Probably the most interesting result is the existence of (...) a chain of type in. Finally, we consider ultrafilters without divisors in and among them find the greatest class. (shrink)

Standard theories of expected utility require that preferences are complete, and/or Archimedean. We present in this paper a theory of decision under uncertainty for both incomplete and non-Archimedean preferences. Without continuity assumptions, incomplete preferences on a lottery space reduce to an order-extension problem. It is well known that incomplete preferences can be extended to complete preferences in the full generality, but this result does not necessarily hold for incomplete preferences which satisfy the independence axiom, since it may obviously happen that (...) the extension does not satisfy the independence axiom. We show, for incomplete preferences on a mixture space, that an extension which satisfies the independence axiom exists. We find necessary and sufficient conditions for a preorder on a finite lottery space to be representable by a family of lexicographic von Neumann–Morgenstern Expected Utility functions. (shrink)

The Russell-Myhill paradox puts pressure on the Russellian structured view of propositions by showing that it conflicts with certain prima facie attractive ontological and logical principles. I describe several versions of RMP and argue that structurists can appeal to natural assumptions about metaphysical grounding to provide independent reasons for rejecting the ontological principles used in these paradoxes. It remains a task for future work to extend this grounding-based approach to all variants of RMP.

Much of the modern philosophy of causation has been governed by two ideas: (i) causes make their effects inevitable; (ii) a cause is something that makes a difference to whether its effect occurs. I focus on explaining the origin of idea (ii) and its connection to (i). On my view, the frequent attempts to turn (ii) into an analysis of causation are wrongheaded. Patterns of difference-making aren't what makes causal claims true. They merely provide a useful test for causal claims. (...) Moreover, what justifies us in using them as a test is idea (i). That's how (i) and (ii) are connected. (shrink)