Reciprocal libertarianism is a version of left-wing libertarianism that combines self-ownership with an egalitarian distribution of resources according to reciprocity. In this paper, I show that reciprocal libertarianism is a coherent and appealing view. I discuss how reciprocal libertarians can handle conflicts between self-ownership and reciprocity, and I show that reciprocal libertarianism can be realised in a framework of individual ownership of external resources or in a socialist scheme of common ownership (libertarian socialism). I also compare reciprocal libertarianism with left-libertarian (...) approaches: I argue that a reciprocity-sensitive version of left-libertarianism (reciprocal left-libertarianism) is coherent and morally superior to traditional left-libertarianism, on grounds of incorporating a distinctively solidaristic and recognition-oriented aspect of equality. The policy implications of reciprocal libertarianism will differ depending on which rights people can have over external resources, but all reciprocal libertarian views acknowledge the existence of social rights that people have as co-operators. (shrink)

Léon Brunschvicg's contribution to philosophical thought in fin-de-siècle France receives full explication in the first English-language study on his work. Arguing that Brunschvicg is crucial to understanding the philosophical schools which took root in 20th-century France, Pietro Terzi locates Brunschvicg alongside his contemporary Henri Bergson, as well as the range of thinkers he taught and influenced, including Lévinas, Merleau-Ponty, de Beauvoir, and Sartre. Brunschvicg's deep engagement with debates concerning spiritualism and rationalism, neo-Kantian philosophy, and the role of mathematics in (...) philosophy made him the perfect supervisor for a whole host of nascent philosophical ideas which were forming in the work of his students. Terzi outlines Brunchvicg's defence of neo-Kantian judgement, historical analysis and the inextricability of the natural and humanist sciences to any rigorous system of philosophy, with wide-ranging implications for contemporary scholarship. (shrink)

Léon Brunschvicg's contribution to philosophical thought in fin-de-siècle France receives full explication in the first English-language study on his work. Arguing that Brunschvicg is crucial to understanding the philosophical schools which took root in 20th-century France, Pietro Terzi locates Brunschvicg alongside his contemporary Henri Bergson, as well as the range of thinkers he taught and influenced, including Lévinas, Merleau-Ponty, de Beauvoir, and Sartre. Brunschvicg's deep engagement with debates concerning spiritualism and rationalism, neo-Kantian philosophy, and the role of mathematics in (...) philosophy made him the perfect supervisor for a whole host of nascent philosophical ideas which were forming in the work of his students. Terzi outlines Brunchvicg's defence of neo-Kantian judgement, historical analysis and the inextricability of the natural and humanist sciences to any rigorous system of philosophy, with wide-ranging implications for contemporary scholarship. (shrink)

Irrespective of the presence of formal norms, behaviours such as plagiarism, data fabrication and falsification are commonly regarded as unethical and unfair. Almost unanimously, they are considered forms of academic misconduct. Is this the case also for newer behaviours that technology is making possible and are now entering the academic scenario?

. This paper aims to highlight some peculiarities of the semiotic square, whose creation is due in particular to Greimas’ works. The starting point is the semiotic notion of complex term, which I regard as one of the main differences between Greimas’ square and Blanché’s hexagon. The remarks on the complex terms make room for a historical survey in Aristotle’s texts, where one can find the philosophical roots of the idea of middle term between two contraries and its relation to (...) notions such as difference, position and motion. In the Stagirite’s non-logical works, the theory of the intermediate, or middle term, represents an important link between opposition issues and ethics: this becomes a privileged perspective from which to reconsider the semiotic use of the square, i.e., its inclusion in the semio-narrative structures articulating the sense of texts. (shrink)

In this paper I discuss the role played by Ernst Mach on Nietzsche’s thought. Starting from the contents of his Beiträge zur Analyse der Empfindungen, I’ll show the close similarities between their view on both human knowledge and the scientific world description. In his writing on science Nietzsche shares Mach’s critique to the 19th century mechanism and its metaphysical ground, as much as his way of defining the substantial notions such as matter, ego and free will. Moreover, my investigation will (...) make it clear that Mach cannot be seen as a direct source of Nietzsche’s thought, since the latter wrote many times on the same subjects long before his first reading one of his works. Rather, it is possible to consider the writings of Lange, Spir and Spencer as the first sources of Nietzsche’s views on the main themes Mach dealt with in his work from 1886. (shrink)

... TRACTATUS DE IMMORTALITATE ANIM Ж. PR 0 OE^MIU M. * Continens intentionem, feu libri materiatn & can* fam intentionis. F rater Hieronymus Natalis, ...

During the second decade of the 20th century Hans Kleinpeter, an Austrian scholar devoted to the development of the modern science, published some brief papers on Nietzsche’s thought. Kleinpeter has been one of the main upholders of Mach’s epistemology and probably the first who connected his ideas with the philosophy of Nietzsche. In his book on Der Phänomenalismus (1913) he described a new world view that arose in the 19th century, a perspective that ‒ according to him ‒ completely contrasted (...) the mechanistic and metaphysical world view of the old school of scientific inquiry. The main outcome of the scientists whose name was related with this perspective (e.g. Clifford, Maxwell, Kirchoff and, obviously, Mach himself) has been the refusal of the absolute value of any “truth”. Kleinpeter’s statements on this topic are a good example of the rising of a Scientific Philosophy, whose development involved many scientists and thinkers that later set up the Verein Ernst Mach and the Wiener Kreis. On the other hand, his interest on Nietzsche is a relevant case of reception of the latter’s thought, that Kleinpeter puts into the context of the contemporary epistemology. In fact, he considers Nietzsche as one of the main upholders of the phenomenalistic world view, and states that he «took part at the same renewal of philosophical investigation that arose from the latest results of scientific inquiry» during the 19th century. A renewal whose main outcomes has been presented by John Stallo in his book on The Concepts and Theories of Modern Physics (1881), which Kleinpeter translated in German and published in 1901. According to Kleinpeter, in Nietzsche’s writings (mostly unpublished) one can find a theory of knowledge quite close to the one presented by both Mach and the new born Pragmatism, i.e. the complete refusal of an absolute truth and, therefore, the development of an antimetaphysical world view. In my paper I’ll discuss the main statements presented by Kleinpeter on this topic and show which of Nietzsche’s ideas has actually been in compliance with the main outcomes of late 19th century science. Thus, I’ll carry out a reconstruction of an unfamiliar side of the first period of reception of the philosophy of Nietzsche and its relevance to the development of a new (scientific) world view. (shrink)

Wilfrid Sellars’ denunciation of the Myth of the Given was meant to clarify, against empiricism, that perceptual episodes alone are insufficient to ground and justify perceptual knowledge. Sellars showed that in order to accomplish such epistemic tasks, more resources and capacities, such as those involved in using concepts, are needed. Perceptual knowledge belongs to the space of reasons and not to an independent realm of experience. Dan Hutto and Eric Myin have recently presented the Hard Problem of Content as an (...) ensemble of reasons against naturalistic accounts of content. In a nutshell, it states that covariance relations—even though they are naturalistically acceptable explanatory resources—do not constitute content. The authors exploit this move in order to promote their preferred radical enactivist and anti-representationalist option, according to which, basic minds—the lower stratum of cognition—do not involve content. Although it is controversial to argue that the Hard Problem of Content effectively dismisses naturalistic theories of representation, a central aspect of it—the idea that information as covariance does not suffice to explain content—finds support among the defenders of classical cognitive representationalism, such as Marcin Miłkowski. This support—together with the acknowledgment this remark about covariance is a point already made by Sellars in his criticism of the Myth of the Given—has a number of interesting implications. Not only is it of interest for the debates about representationalism in cognitive science, where it can be understood as an anticipatory move, but it also offers some clues and insights for reconsidering some issues along Sellarsian lines—a conflation between two concepts of representation that is often assumed in cognitive science, a distinction between two types of relevant normativities, and a reconsideration of the naturalism involved in such explanations. (shrink)

This critical essay evaluates the potential integration of distinct kinds of expertise in policymaking, especially during situations of critical emergencies, such as the COVID-19 pandemic. This article relies on two case studies: herd immunity and restricted access to ventilators for disabled people. These case studies are discussed as examples of experts’ recommendations that have not been widely accepted, though they were made within the boundaries of expert epistemic authority. While the fundamental contribution of biomedical experts in devising public health policies (...) during the COVID-19 pandemic is fully recognized, this paper intends to discuss potential issues and limitations that may arise when adopting a strict expert-based approach. By drawing attention to the interests of minorities, the paper also claims a broader notion of “relevant expertise.” This critical essay thus calls for the necessity of wider inclusiveness and representativeness in the process underlying public health policymaking. (shrink)

This book investigates the problematisation in Adam Smith's moral philosophy of a classical question: what makes us human beings from a moral standpoint? To do this, Riccardo Bonfiglioli explores the relationship between the concepts of ‘human nature’, ‘mind’ and ‘the self’ in order to reconstruct Smith’s theory of subjectivity. After providing a systematic reconstruction of Adam Smith’s conceptions of ‘human nature’, ‘mind’ and ‘the self’ – exploring some aspects of Smith’s philosophy (nature, philosophy of history, sympathy and imagination) and (...) their empirical expressions (education, conduct and character) – Bonfiglioli argues that, in Adam Smith’s work, the meaning of ‘moral human beings’ would depend on the human being’s effort to live in harmony with oneself and the others. According to Bonfiglioli, in Smith’s moral theory, this ‘harmony with oneself and the others’ would be achieved in relation to a certain kind of awareness that can be possible when human beings try to judge the conduct and try to act according to the impartial spectator. Specifically, this impartial spectator is reinterpreted by the author in the light of the concept of immediacy. (shrink)

Le colombe dello scettico focuses on Nietzsche's dealings with consciousness during his middle and late years, from 1880 to 1888. The investigation that Luca Lupo carries on in this book is exhaustive and quite useful in the field of Nietzsche studies, since it concerns a tricky topic that until now has not been taken as the subject of a complete study. The reason why dealing with this subject is not so easy is that the notion of consciousness can only be (...) found in a few passages of Nietzsche's published works, and he never gives a complete treatment of it. This is a problem that involves many other topics of Nietzsche's writings, but in the case of the notion of consciousness it is most evident that his thinking .. (shrink)

Orthodox decision theory is fanatical in the way it treats small probabilities of enormous value, if unbounded utility functions are allowed. Some have suggested a fix, Nicolausian discounting, according to which outcomes with small enough probabilities should be ignored when making decisions. However, there are lotteries involving only small-probability outcomes, none of which should intuitively be ignored. So the Nicolausian discounter needs a procedure for distinguishing the problematic cases of small-probability outcomes from the unproblematic ones. In this paper, I present (...) a dilemma for Nicolausian discounting: the view must be coupled either with a procedure that delivers fanatical verdicts of its own, as bad as those of orthodox decision theory, or with one that entails intransitive cyclic preferences. (shrink)

The notion of 'symbol' in Eriugena's writing is far from clear. It has an ambiguous semantic connection with other terms such as 'signification', 'figure', 'allegory', 'veil', 'agalma', 'form', 'shadow', 'mystery' and so on. This paper aims to explore into the origins of such a semantic ambiguity, already present in the texts of the pseudo-Dionysian corpus which Eriugena translated and commented upon. In the probable Neoplatonic sources of this corpus, the Greek term symbolon shares some aspects of its meaning with other (...) words inherited from the ancient tradition, such as synthēma , eikōn , homoiotēs. Some of them, such as eikōn and homoiotēs, belong to the field of images and are associated with linguistic semantics in the Neoplatonic commentaries not only to Plato but also to Aristotle's logical works. Among the late ancient Neoplatonists, particular attention is paid to Proclus and to his use of the term agalma. In fact, the textual history of this word seems to be a privileged perspective from which to reconstruct the Neoplatonic semantic blending of symbol and image, as well as the main role played by linguistic issues in this conflation. (shrink)

Dans L’Origine des espèces, Darwin avait soigneusement évité de traiter la question de la place des êtres humains dans sa théorie et dans le monde animal : il n’avait pourtant pu éviter que la question fût en tête des préoccupations de la plupart de ses premiers commentateurs. Dans La descendance de l’homme (1871), il prit la parole. Darwin y avance l’idée que les prérogatives sensorielles et, plus largement, intellectuelles et morales dont fait preuve l’Homme, y compris l’appréciation esthétique de la (...) « beauté », sont partagées par bon nombre d’espèces animales. Il soutient la thèse que la sélection sexuelle, ou la lutte pour la procréation, est responsable des différences entre femelles et mâles. Pour lui, la sélection sexuelle est aussi la cause de comportements complexes qui, chez l’homme, sont probablement à l’origine de la formation de groupes humains, appelées races, et du développement des cultures. Darwin le scientifique et Darwin le mâle victorien animent une discussion, où les préjugés de genre et l’orgueil impérial trouvent toute leur place. (shrink)

The properties of the ${\forall^{1}}$ quantifier defined by Kontinen and Väänänen in [13] are studied, and its definition is generalized to that of a family of quantifiers ${\forall^{n}}$ . Furthermore, some epistemic operators δ n for Dependence Logic are also introduced, and the relationship between these ${\forall^{n}}$ quantifiers and the δ n operators are investigated.The Game Theoretic Semantics for Dependence Logic and the corresponding Ehrenfeucht- Fraissé game are then adapted to these new connectives.Finally, it is proved that the ${\forall^{1}}$ quantifier (...) is not uniformly definable in Dependence Logic, thus answering a question posed by Kontinen and Väänänen in the above mentioned paper. (shrink)

The paper investigates the epistemological and communicative competences the experts need to use and communicate evidence in the reasoning process leading to diagnosis. The diagnosis and diagnosis communication are presented as intertwined processes that should be jointly addressed in medical consultations, to empower patients’ compliance in illness management. The paper presents defeasible reasoning as specific to the diagnostic praxis, showing how this type of reasoning threatens effective diagnosis communication and entails that we should understand diagnostic evidence as defeasible as well. (...) It argues that metaphors might be effective communicative devices to let the patients understand the relevant defeasors in the diagnostic reasoning process, helping to improve effective diagnosis communication, and also encouraging a change in patients’ beliefs and attitudes on their own experience of illness and illness’ management. (shrink)

The aim of this paper is to show that humanlanguage is context-dependent in a veryspecific way. In order to support this thesis,a detailed comparison is made between the waysin which verbal expressions depend on thecontext of occurrence and evaluation and animalcommunication systems. The comparisonhighlights a series of analogies anddifferences between human language and thecommunication systems of other animals. Myproposal is to use the term `indexicality' toindicate the characteristic way of using thecontext in human language and to use the moregeneral phrase (...) `context-dependence' for thecorresponding phenomenon in animalcommunication systems. (shrink)

This chapter explores Nietzsche’s and Wittgenstein’s views on language and knowledge, establishing a philosophical dialogue between two different positions, which are based on a similar anti-essentialist and instrumentalist concern. The chapter will first focus on Nietzsche’s conception of language as the expression of valuational perspectives developing through the natural and cultural history of mankind. It will then consider Wittgenstein’s account of language as the inherited background of our practical engagement with the world. Finally, by bringing Nietzsche’s and Wittgenstein’s views together, (...) the last section reflects on the crucial strategic move they make in their respective battle against the bewitchment of our intelligence by means of language. -/- . (shrink)

The essay addresses contemporary discussions on women?s transnationalism and women?s agency by looking at the first conference of the UN Decade for Women held in Mexico City in 1975, and at its specific embedding in Cold War geopolitics. Through an engagement with different feminist and activists voices, and particularly with the less visible anti-imperialist, Non-Aligned and socialist genealogies of women?s activism expressed during the meeting, the essay argues that the paradigm of Western feminist knowledge production needs to be revisited, in (...) order to encompass multiple forms of women?s political agency that are not expressed through the liberal framework of women?s individual autonomy from the state. By juxtaposing Betty Friedan?s and Vida Tomsic?s stances during the Mexico City event, the paper shows that women?s political agency during the Cold War era took different forms, which included both the refusal and the acceptance of women?s activism within existing national and international institutions. nema. (shrink)

Discursive pluralism, recently fostered by anti-representationalist views, by stating that not all assertions conform to a descriptive model of language, poses an interesting challenge to representationalism. Although in recent years alethic pluralism has become more and more popular as an interesting way out for this issue, the discussion also hosts other interesting minority approaches in the anti-representationalist camp. In particular, the late stage of contemporary expressivism offers a few relevant insights, going from Price's denunciation of “placement problems” to Brandom's inferentialism. (...) This paper attempts to show how these expressivist ideas combine well together, composing a unitary and metaphysically sober metaphilosophical framework. (shrink)

Anaphoric deflationism is a prosententialist account of the use of “true.” Prosentences are, for sentences, the equivalent of what pronouns are for nouns: as pronouns refer to previously introduced nouns, so prosentences like “that’s true” inherit their content from previously introduced sentences. This kind of deflationism concerning the use of “true” (especially in Brandom’s version) is an explanation in terms of anaphora; the prosentence depends anaphorically on the sentence providing its content. A relevant implication of this theory is that “true” (...) is not understood as a predicate and that truth is not a property. Primitivism, defended by Frege, Moore, and Davidson, is associated with two ideas: (1) that truth is a primitive and central trait of our conceptual system and (2) that truth, as such, cannot be defined. This second claim can be called “negative primitivism,” and it especially points out the facts about the “indefinability” of truth generally advocated by primitivists. In what follows, a connection is established between the deflationist’s rejection of the predicate and of the property and facts (and primitivist ideas) about the indefinability of truth. This connection establishes a common framework to lend further explanatory power to both options. According to the resulting view, this indefinability can explain the appeal and soundness of a deflationist dismissal of predicates and properties dealing with truth. (shrink)

In field computing a topologic organization of CFs is necessary to support sensorimotor planning. A simple model of cortical dynamics can exploit such topologic organization.

This volume is devoted to Vermigli's philosophical writings, consisting of topics from commentaries with sections on: reason and revelation; body and soul; ...

The absence of an English translation of Gonzaga's writings, both as a whole and separately, , inspired me to undertake it with the aim of making it more accessible to the public. If I were to talk briefly about the outline, the first original French version of the text appears as an anonymous author's work. In that first version signed by Sir Thomas Witth whom nothing is known about, Gonzaga doesn’t appear. His name hadn’t been appearing in the first booklet (...) for seven years until it appeared as translator in the 1807 version. Researchers concur that this was actually a trick which Gonzaga has been hiding behind because he probably never had the courage to introduce himself as the author. It is claimed that it has been conducted a lot of research in order to recover the text of Sir Thomas Witth or other possible authors with a similar name but any satisfactory solution to the riddle has not yet been given. Regarding historical data carried out during my research, I would like to offer my opinion that there is the Scottish philosophy of Common Sense hidden behind this pseudonym which deserves attention. (shrink)

We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, and in particular their possible use as a bridge between statistical learning of models from data and logical reasoning over knowledge bases. We prove that such connectives can be added to the language of most forms of Description Logic without increasing the complexity of the corresponding inference problem. We show, with a practical example over the Gene Ontology, how even simple instances of perceptron connectives are (...) expressive enough to represent learned, complex concepts derived from real use cases. This opens up the possibility to import concepts learnt from data into existing ontologies. (shrink)

Dans l’étude des relations entre la philosophie et la sociologie naissante en France, un chapitre demeure inexploré : l’interprétation des sciences sociales par Léon Brunschvicg. S’il apprécie la valeur de la recherche ethnologique de Lévy-Bruhl, sa critique de Durkheim est sévère. Il identifie deux problèmes dans le projet durkheimien, étroitement liés : avoir cherché l’origine de la connaissance dans des formes « primitives » de savoir ; avoir soumis l’autonomie du jugement au primat du social. L’idéalisme critique de Brunschvicg cherche (...) alors à opposer aux représentations collectives de Durkheim un autre modèle d’esprit collectif, incarné dans les avancées de la science et dans le progrès de la philosophie scientifique. (shrink)

Riassunto: L’impianto cocleare è una neuroprotesi che consente un recupero parziale dell’udito nella persona sorda. Nonostante la sua generale efficacia nel contrastare alcuni dei problemi legati alla sordità, il suo utilizzo è stato fortemente osteggiato da quella parte della comunità sorda che vede nella sordità una forma di identità culturale e non una patologia. Questo articolo inquadra in una prospettiva neuroetica le preoccupazioni della comunità sorda – difficilmente comprensibili agli udenti – esaminando le analogie fra il rifiuto dell’IC e il (...) disagio che si osserva nella popolazione generale relativamente al Potenziamento Cognitivo. Nel PCog, individui sani insoddisfatti delle proprie prestazioni, o comunque desiderosi di migliorarle, ricorrono ad interventi artificiali per potenziare le proprie funzioni cognitive. L’analisi evidenzia come, nel rifiutare l’IC, la comunità sorda possa voler tutelare un insieme di valori non così diverso da quello che la comunità generale richiama spesso nelle sue preoccupazioni rispetto alla diffusione dei PCog. Parole chiave : Impianto cocleare; Potenziamento cognitivo; Sordità; Cultura sorda The cochlear implant as cognitive enhancement? A neuroethical perspective on some issues raised by the deaf community: The cochlear implant is a neuroprosthesis that allows for partial recovery of auditory function in individuals who are deaf. Despite its general efficacy, its use has been strongly opposed by a part of the deaf community that perceives deafness as a form of cultural identity, rather than a pathology. This article considers the concerns of the deaf community – which are often difficult for hearing people to understand – from a neuroethics perspective, proposing that such opposition to CI is analogous to the general population’s unease with regard to Cognitive Enhancement. CE allows healthy individuals who are unsatisfied with – or would like to improve – their performance to use artificial interventions that enhance cognitive functions. The analysis reveals that, when opposing CIs, the deaf community may be protecting a set of values similar to those that the general community often evokes when voicing concerns about CE diffusion. Keywords: Cochlear Implant; Cognitive Enhancement; Deafness; Deaf Culture. (shrink)

This essay focuses on recent autobiographies written by Italian women born in the 1920s who engaged in revolutionary politics during and after the Second World War: Luciana Castellina (La scoperta del mondo, 2011), Bianca Guidetti Serra (Bianca la rossa, 2009), Marisa Ombra (La bella politico, 2010), Marisa Rodano (Del mutare dei tempi, 2008) and Rossana Rossanda (La ragazza del secolo scorso, 2005). In these autobiographies, personal narratives of passionate engagement are entangled with the urgency of antifascist resistance, and with the (...) social and political conflicts that traversed Cold War Italy. Women's multiple forms of political engagement within the Italian Communist Party are analysed, as well as the contradictory, ambivalent connection between Western European communist activists and Eastern European socialist regimes. The intersections between antifascist, communist and women's rights politics are also explored, since some of the authors were leaders of the nation-wide left-wing Union of Italian Women. The autobiographies tell the story of an antifascist, left-wing ‘middle wave’ that fought pioneering battles for women's political and social rights, and narrate its complex, conflictual encounter with second-wave feminism in the 1970s. These writings, therefore, allow us to reflect on changes in gendered subjectivities and revolutionary politics across time and generations. (shrink)

The aim of this paper is to provide a comprehensive exposition of the early contributions to the so-called Campbell, Baker, Hausdorff, Dynkin Theorem during the years 1890–1950. Related works by Schur, Poincaré, Pascal, Campbell, Baker, Hausdorff, and Dynkin will be investigated and compared. For a full recovery of the original sources, many mathematical details will also be furnished. In particular, we rediscover and comment on a series of five notable papers by Pascal (Lomb Ist Rend, 1901–1902), which nowadays are almost (...) forgotten. (shrink)

There are many difficulties with the existing interpretation of Brentano’s works. The problem stems from the fact that Brentano’s works, letters, manuscripts, memoir’s, etc. remain unpublished or undiscovered. Moreover some Brentano’s scholars, namely Kastil and Mayer-Hillebrandt, were incorrect in their method in publishing the philosopher’s works. Namely, they misinterpreted his earlier works by incorporating numerous interpolations from different time periods as being the philosopher’s final thoughts. More importantly, as evidenced by Antonio Russo’s recent discovery, they also failed to realise the (...) fact that Brentano’s own theoretical views or works were mostly based on Aristotle and Thomas thoughts on metaphysics, that Brentano’s main intention was to develop a scientific demonstration on this topic, and that this issue occupied his mind until his death. It is hoped that this paper goes some way in resolving the said errors and coupled with the continue discovery of new material that the jigsaw of Brentano’s works and thinking shall someday be correctly completed. (shrink)

This book is an investigation of the ideological dimensions of the disciplinary discourses on science in line with the scholarly tradition of historical epistemology. It offers a programmatic treatment of the political-epistemological problematic along three entangled lines of inquiry: socio-historical, epistemological and historiographical. The book aims for a meta-level integration of the existing scholarship on the social and cultural history of science in order to consider the ways in which struggles for hegemony have constantly informed scientific discourses. This problematic is (...) of primary relevance for scholars in Science Studies, philosophers, historians and sociologists of science, but would also be relevant for anybody interested in scientific culture and political theory. (shrink)

We develop a semantics for independence logic with respect to what we will call general models. We then introduce a simpler entailment semantics for the same logic, and we reduce the validity problem in the former to the validity problem in the latter. Then we build a proof system for independence logic and prove its soundness and completeness with respect to entailment semantics.