Anti-realist epistemic conceptions of truth imply what is called the knowability principle: All truths are possibly known. The principle can be formalized in a bimodal propositional logic, with an alethic modality ${\diamondsuit}$ and an epistemic modality ${\mathcal{K}}$, by the axiom scheme ${A \supset \diamondsuit \mathcal{K} A}$. The use of classical logic and minimal assumptions about the two modalities lead to the paradoxical conclusion that all truths are known, ${A \supset \mathcal{K} A}$. A Gentzen-style reconstruction of the Church–Fitch paradox is presented (...) following a labelled approach to sequent calculi. First, a cut-free system for classical bimodal logic is introduced as the logical basis for the Church–Fitch paradox and the relationships between ${\mathcal {K}}$ and ${\diamondsuit}$ are taken into account. Afterwards, by exploiting the structural properties of the system, in particular cut elimination, the semantic frame conditions that correspond to KP are determined and added in the form of a block of nonlogical inference rules. Within this new system for classical and intuitionistic “knowability logic”, it is possible to give a satisfactory cut-free reconstruction of the Church–Fitch derivation and to confirm that OP is only classically derivable, but neither intuitionistically derivable nor intuitionistically admissible. Finally, it is shown that in classical knowability logic, the Church–Fitch derivation is nothing else but a fallacy and does not represent a real threat for anti-realism. (shrink)

This article seeks to trace the origins of contemporary ‘post-workerism’ in the formulation of concepts of political subjectivity, antagonism and insurrection in Tronti and Negri. In particular, it tries to excavate the seemingly paradoxical position which postulates the increasing immanence of struggles, as based on the Marxian thesis of real subsumption, together with the intensification of the political autonomy or separation of the working class. In order to grasp the political and theoretical proposals of Italian workerism and autonomism, Toscano (...) concentrates on the thesis of a historical transformation of capitalism into an increasingly parasitical and politically violent social relation, a thesis which is grounded in an interpretation of Marx’s notion of ‘tendency’ and which serves as the background to the exploration, especially in Negri, of increasingly uncompromising forms of antagonism. The article focuses especially on Tronti’s so-called ‘Copernican revolution’—giving workers’ struggles primacy in the understanding of capitalism—and critically inquires into the effect of this workerist axiom on Negri’s writings on proletarian sabotage and insurrection in the 1970s. By way of a conclusion, it notes the difficulties in prolonging the workerist gambit in light of capital’s continued effort, as Tronti would put it, to emancipate itself from the working class. (shrink)

This article provides a brief commentary on Éric Alliez and Antonio Negri's `Peace and War', focusing mainly on their understanding of political ontology, their analysis of the transformations undergone by the link between sovereignty and warfare, and their attempt to delineate the place of artistic practice within a biopolitics of the multitude.

Reflection on “the contemporary crisis” must take into account that, beyond financial problems in global capitalist administration, the crisis works over a fall of the human in relation to which every postulation of an affirmative biopolitics seems insufficient. The biopolitical condition responds to a process of nomic self-consecration of technical structures that dramatically increase the capacity to oppress without doing much for the capacity to tolerate it. This essay engages with Heidegger, Keynes, Weber and Schmitt, as thinkers of the “crisis,” (...) in order to understand their apotropaic modulations in the face of the biopolitical fall that they had themselves detected, and for which today we find ourselves without the conceptual apparatus we need to confront it. (shrink)

Negri, A. (2020). De la fábrica a la metrópolis. (F. Venturi, trad.). Cactus. 256 pp.

Large portions of mathematics such as algebra and geometry can be formalized using first-order axiomatizations. In many cases it is even possible to use a very well-behaved class of first-order axioms, namely, what are called coherent or geometric implications. Such class of axioms can be translated to inference rules that can be added to a sequent calculus while preserving its structural properties. In this work, this fundamental result is extended to their infinitary generalizations as extensions of sequent calculi for both (...) classical and intuitionistic infinitary logic. As an application, a simple proof of the infinitary Barr’s theorem without the axioms of choice is shown. (shrink)

The spectacular success of Empire and Multitude has brought Antonio Negri's writing to a new and wider audience. Negri'as work is singular in its depth and expression. It can be difficult to grasp the complexity of his ideas as they are rooted in the history of philosophy. This book offers an introduction to his thinking and is ideal for readers who want to come to grips with his key themes. Contributors include Pierre Macherey, Daniel Bensai;d, Charles Wolfe, Alex (...) Callinicos, Miguel Vatter, Jason Read, Alberto Toscano, Mamut Mutman, Ted Stolze, and Judith Revel. Written with dynamism and originality, the book will appeal to anyone interested in the evolution of Negri's thought, and especially to students of political philosophy, international studies, and literary theory. This book is the sequel to The Philosophy of Antonio Negri, Volume One: Resistance in Practice , but can be read entirely independently. (shrink)

In Subversive Spinoza , Antonio Negri spells out the philosophical credo that inspired his radical renewal of Marxism and his compelling analysis of the modern state and the global economy by means of an inspiring reading of the challenging metaphysics of the seventeenth-century Dutch-Jewish philosopher Spinoza. For Negri, Spinoza's philosophy has never been more relevant than it is today to debates over individuality and community, democracy and resistance, modernity and postmodernity.

Cultural evolution studies are characterized by the notion that culture evolves accordingly to broadly Darwinian principles. Yet how far the analogy between cultural and genetic evolution should be pushed is open to debate. Here, we examine a recent disagreement that concerns the extent to which cultural transmission should be considered a preservative mechanism allowing selection among different variants, or a transformative process in which individuals recreate variants each time they are transmitted. The latter is associated with the notion of “cultural (...) attraction”. This issue has generated much misunderstanding and confusion. We first clarify the respective positions, noting that there is in fact no substantive incompatibility between cultural attraction and standard cultural evolution approaches, beyond a difference in focus. Whether cultural transmission should be considered a preservative or reconstructive process is ultimately an empirical question, and we examine how both preservative and reconstructive cultural transmission has been studied in recent experimental research in cultural evolution. Finally, we discuss how the relative importance of preservative and reconstructive processes may depend on the granularity of analysis and the domain being studied. (shrink)

By providing an interdisciplinary reading of advance directives regulation in international, European and domestic law, this book offers new insights into the most controversial legal issues surrounding the debate over dignity and autonomy ...

Das Buch bietet die erste kritische Edition der Artikel XXV-XXVII der Summa (Quaestiones ordinariae) des Heinrich von Gent. Dabei leistet es einen Beitrag zur Geschichte der Formen und Pfade der Ideenvermittlung im Mittelalter und zur mittelalterlichen Buchkultur. Die Kollationierung der Handschriften der Artikel XXV-XXVII und die Untersuchung ihrer materiellen Überlieferung haben der Editorin erlaubt, den Prozess der Ausarbeitung, Publikation und Verbreitung einer Portion von Heinrichs Summa über einen längeren Zeitraum in großer Detailgenauigkeit zu rekonstruieren. Die hier edierten Artikel enthalten ein (...) Kernstück von Heinrichs theologischem und metaphysischem System. In der Behandlung von Einheit, Natur und Leben Gottes entfalten sie eine rationale Darstellung des ersten Prinzips. (shrink)

In Ockhamist branching-time logic [Prior 67], formulas are meant to be evaluated on a specified branch, or history, passing through the moment at hand. The linguistic counterpart of the manifoldness of future is a possibility operator which is read as `at some branch, or history (passing through the moment at hand)'. Both the bundled-trees semantics [Burgess 79] and the $\langle moment, history\rangle$ semantics [Thomason 84] for the possibility operator involve a quantification over sets of moments. The Ockhamist frames are (3-modal) (...) Kripke structures in which this second-order quantification is represented by a first-order quantification. The aim of the present paper is to investigate the notions of modal definability, validity, and axiomatizability concerning 3-modal frames which can be viewed as generalizations of Ockhamist frames. (shrink)

A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames). As a corollary, completeness is shown to be preserved by fibring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under fibring and to be included in the class of logics with congruence. Thus, completeness is shown to be preserved by fibring logics with equivalence and general semantics. (...) An example is provided showing that completeness is not always preserved by fibring ligics endowed with standard (non general) semantics. A categorial characterization of fibring is provided using coproducts and cocartesian liftings. (shrink)

This major publication is a history of the semantic tradition in philosophy from the early nineteenth century through its incarnation in the work of the Vienna Circle, the group of logical positivists that emerged in the years 1925-1935 in Vienna who were characterised by a strong commitment to empiricism, a high regard for science, and a conviction that modern logic is the primary tool of analytic philosophy. In the first part of the book, Alberto Coffa traces the roots of (...) logical positivism in a semantic tradition that arose in opposition to Kant's theory that a priori knowledge is based on pure intuition and the constitutive powers of the mind. In Part II, Coffa chronicles the development of this tradition by members and associates of the Vienna Circle. Much of Coffa's analysis draws on the unpublished notes and correspondence of many philosophers. The book, however, is not merely a history of the semantic tradition from Kant 'to the Vienna Station'. Coffa also critically reassesses the role of semantic notions in understanding the ground of a priori knowledge and its relation to empirical knowledge and questions the turn the tradition has taken since Vienna. (shrink)

People’s awareness of tactile stimuli has been investigated in far less detail than their awareness of stimuli in other sensory modalities. In an attempt to fill this gap, we provide an overview of studies that are pertinent to the topic of tactile consciousness. We discuss the results of research that has investigated phenomena such as “change blindness”, phantom limb sensations, and numerosity judgments in tactile perception, together with the results obtained from the study of patients affected by deficits that can (...) adversely affect tactile perception such as neglect, extinction, and numbsense. The similarities as well as some of the important differences that have emerged when visual and tactile conscious information processing have been compared using similar experimental procedures are highlighted. We suggest that conscious information processing in the tactile modality cannot be separated completely from the more general processing of spatial information in the brain. Finally, the importance of considering tactile consciousness within the larger framework of multisensory information processing is also discussed. (shrink)

In just the last decade, many conference proceedings have been published on Plato’s Timaeus and its influence on the history of philosophy. The present vo­lume, which is the result of a symposium held at Seoul National University in September 2011, testifies to the enduring and widespread interest the Platonic dia­logue is able to elicit. The nine studies here collected by Euree Song center on the figure of the demiurge as maker of the world and they all deal with authors who, (...) while having di... (shrink)

This open access book discusses individual, collective, and institutional responsibilities with regard to vaccination from the perspective of philosophy and public health ethics. It addresses the issue of what it means for a collective to be morally responsible for the realisation of herd immunity and what the implications of collective responsibility are for individual and institutional responsibilities. The first chapter introduces some key concepts in the vaccination debate, such as ‘herd immunity’, ‘public goods’, and ‘vaccine refusal’; and explains why failure (...) to vaccinate raises certain ethical issues. The second chapter analyses, from a philosophical perspective, the relationship between individual, collective, and institutional responsibilities with regard to the realisation of herd immunity. The third chapter is about the principle of least restrictive alternative in public health ethics and its implications for vaccination policies. Finally, the fourth chapter presents an ethical argument for unqualified compulsory vaccination, i.e. for compulsory vaccination that does not allow for any conscientious objection. The book will appeal to philosophers interested in public health ethics and the general public interested in the philosophical underpinning of different arguments about our moral obligations with regard to vaccination. (shrink)

The branching-time logic called Peircean by Arthur Prior is considered and given an infinite axiomatization. The axiomatization uses only the standard deduction rules for tense logic.

Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockhamist and Peircean semantics for branching-time, though, depart from the genuine Kripke semantics in that they involve a quantification over histories, which is a second-order quantification over sets of possible worlds. In the paper, variants of the original Prior's semantics will be considered and it will be shown that all of them can be viewed as first-order counterparts of the original semantics.

In the tree-like representation of Time, two histories are undivided at a moment t whenever they share a common moment in the future of t. In the present paper, it will first be proved that Ockhamist and Peircean branching-time logics are unable to express some important sentences in which the notion of undividedness is involved. Then, a new semantics for branching-time logic will be presented. The new semantics is based on trees endowed with an indistinguishability function, a generalization of the (...) notion of undividedness. It will be shown that Ockhamist and Peircean semantics can be viewed as limit cases of the semantics developed in this paper. (shrink)

Johannes Müller von Königsberg (1436-1476), better known as Regiomontanus, is widely considered as the most influential astronomer and mathematician of 15th-century Europe. He was active as an astrologer and deemed astrology to be the queen of mathematical sciences. Despite this, Regiomontanus's astrological activity has yet to be fully explored. A brief examination of Regiomontanus's manuscripts shows that his astrological interests were accompanied by interests in the arts and in methods of prognostication. This article studies an unconventional astrological-chiromantical text, whose relevance (...) is threefold: a) it sheds new light on Regiomontanus's astrological interests; b) it enriches our knowledge of Regiomontanus's efforts to learn and understand Greek-Regiomontanus transcribed it into his own manuscript during his sojourn in Italy from 1460-1467; and c) it is the sole extant text in the Greek tradition that provides a system for prognostication from the study of a person's hand, the parts of which are considered as being under the domain of planets. The article provides an English translation of Regiomontanus's transcription, alongside a brief commentary, and studies the intellectual and historical context of that production through manuscript analysis. (shrink)

In order to present the philosopher Alberto Wagner de Reyna, we must first understand his life, then his work, and finally the force of his ideas; especially those which establish him within the history of philosophical ideas. This paper presents a synthesis of the conversation that the author..

Recent attempts to turn Standard Quantum Theory into a coherent representational system have improved markedly over previous offerings. Important questions about the nature of material systems remain open, however, as current theorizing effectively resolves into a multiplicity of incompatible statements about the nature of physical systems. Specifically, the most cogent proposals to date land in effective empirical equivalence, reviving old anti-realist fears about quantum physics. In this paper such fears are discussed and found unsound. It is argued that nothing of (...) global skeptical or agnostic significance follows from the kind of underdetermination presently encountered in fundamental quantum theory. The case is instructive, however, for what it shows about the characteristics and prospects of scientific realism as a perspective in contemporary philosophy of science. (shrink)

Abortion is largely accepted even for reasons that do not have anything to do with the fetus' health. By showing that (1) both fetuses and newborns do not have the same moral status as actual persons, (2) the fact that both are potential persons is morally irrelevant and (3) adoption is not always in the best interest of actual people, the authors argue that what we call ‘after-birth abortion’ (killing a newborn) should be permissible in all the cases where abortion (...) is, including cases where the newborn is not disabled. (shrink)

The basic notions in Prior’s Ockhamist and Peircean logics of branching-time are the notion of moment and that of history (or course of events). In the tree semantics, histories are defined as maximal linearly ordered sets of moments. In the geometrical approach, both moments and histories are primitive entities and there is no set theoretical (and ontological) dependency of the latter on the former. In the topological approach, moments can be defined as the elements of a rank 1 base of (...) a non-Archimedean topology on the set of histories. In this paper, it will be shown that the topological approach, and hence the other approaches, can be reconstructed in a framework in which the basic notions are those of history and of relative closeness relation among histories. (shrink)

The basic notions in Prior's Ockhamist and Peircean logics of branching-time are the notion of moment and that of history. In the tree semantics, histories are defined as maximal linearly ordered sets of moments. In the geometrical approach, both moments and histories are primitive entities and there is no set theoretical dependency of the latter on the former. In the topological approach, moments can be defined as the elements of a rank 1 base of a non-Archimedean topology on the set (...) of histories. In this paper, it will be shown that the topological approach, and hence the other approaches, can be reconstructed in a framework in which the basic notions are those of history and of relative closeness relation among histories. (shrink)

Beginning from some passages by Vācaspati Miśra and Bhāskararāya Makhin discussing the relationship between a crown and the gold of which it is made, this paper investigates the complex underlying connections among difference, non-difference, coreferentiality, and qualification qua relations. Methodologically, philological care is paired with formal logical analysis on the basis of ‘Navya-Nyāya Formal Language’ premises and an axiomatic set theory-based approach. This study is intended as the first step of a broader investigation dedicated to analysing causation and transformation in (...) non-difference. (shrink)

Recent attempts to turn Standard Quantum Theory into a coherent representational system have improved markedly over previous offerings. Important questions about the nature of material systems remain open, however, as current theorizing effectively resolves into a multiplicity of incompatible statements about the nature of physical systems. Specifically, the most cogent proposals to date land in effective empirical equivalence, reviving old anti-realist fears about quantum physics. In this paper such fears are discussed and found unsound. It is argued that nothing of (...) global skeptical or agnostic significance follows from the kind of underdetermination presently encountered in fundamental quantum theory. The case is instructive, however, for what it shows about the characteristics and prospects of scientific realism as a perspective in contemporary philosophy of science. (shrink)

Alireza Bagheri supports a policy on organ procurement where individuals could choose their own definition of death between two or more socially accepted alternatives. First, we claim that such a policy, without any criterion to distinguish accepted from acceptable definitions, easily leads to the slippery slope that Bagheri tries to avoid. Second, we suggest that a public discussion about the circumstances under which the dead donor rule could be violated is more productive of social trust than constantly moving the line (...) between life and death. (shrink)

This paper deals with structures ${\langle{\bf T}, I\rangle}$ in which T is a tree and I is a function assigning each moment a partition of the set of histories passing through it. The function I is called indistinguishability and generalizes the notion of undividedness. Belnap’s choices are particular indistinguishability functions. Structures ${\langle{\bf T}, I\rangle}$ provide a semantics for a language ${\mathcal{L}}$ with tense and modal operators. The first part of the paper investigates the set-theoretical properties of the set of indistinguishability (...) classes, which has a tree structure. The significant relations between this tree and T are established within a general theory of trees. The aim of second part is testing the expressive power of the language ${\mathcal{L}}$ . The natural environment for this kind of investigations is Belnap’s seeing to it that (stit). It will be proved that the hybrid extension of ${\mathcal{L}}$ (with a simultaneity operator) is suitable for expressing stit concepts in a purely temporal language. (shrink)

RESUMO O objetivo deste artigo é analisar a concepção de liberdade encontrada em "Discourses concerning government" de Algernon Sidney. Mantendo a perspectiva republicana, a liberdade é definida pela ausência de dominação, ou seja, pela não submissão, sujeição ou exposição à vontade arbitrária de outra pessoa; e assumindo a perspectiva jusnaturalista, a liberdade é considerada um direito natural, inerente à condição humana, que deve ser preservado e assegurado pela autoridade política. Pretende-se discutir como Sidney articula essas duas perspectivas em sua teoria (...) política, projetando a concepção republicana de liberdade na modernidade.ABSTRACT The objective of this paper is to analyze the concept of freedom found in Algernon Sidney’s "Discourses Concerning government". Keeping the republican thought, freedom is defined by the absence of domination, i.e., the denial of submission, bondage or exposure to the arbitrary will of another person; and taking the jusnaturalist thought, freedom is considered a natural right inherent to the human condition, which must be preserved and guaranteed by the political authority. I intend to discuss how Sidney articulates these two perspectives in his political theory, outlining the republican conception of freedom in modernity. (shrink)

Using labelled formulae, a cut-free sequent calculus for intuitionistic propositional logic is presented, together with an easy cut-admissibility proof; both extend to cover, in a uniform fashion, all intermediate logics characterised by frames satisfying conditions expressible by one or more geometric implications. Each of these logics is embedded by the Gödel–McKinsey–Tarski translation into an extension of S4. Faithfulness of the embedding is proved in a simple and general way by constructive proof-theoretic methods, without appeal to semantics other than in the (...) explanation of the rules. (shrink)

We experimentally investigated the influence of context-based biases, such as prestige and popularity, on the preferences for quotations. Participants were presented with random quotes associated to famous or unknown authors, or with random quotes presented as popular, i.e. chosen by many previous participants, or unpopular. To exclude effects related to the content of the quotations, all participants were subsequently presented with the same quotations, again associated to famous and unknown authors, or presented as popular or unpopular. Overall, our results showed (...) that context-based biases had no, or limited, effect in determining participants’ choices. Quotations preferred for their content were preferred in general, despite the contextual cues to which they were associated. We conclude discussing how our results fit with the well-known phenomenon of the spread and success of misattributed quotations, and we draw some more general implications for cultural evolution research. (shrink)

Cultural evolution researchers use transmission chain experiments to investigate which content is more likely to survive when transmitted from one individual to another. These experiments resemble oral storytelling, wherein individuals need to understand, memorize, and reproduce the content. However, prominent contemporary forms of cultural transmission—think an online sharing—only involve the willingness to transmit the content. Here I present two fully preregistered online experiments that explicitly investigated the differences between these two modalities of transmission. The first experiment (_N_ = 1,080 participants) (...) examined whether negative content, information eliciting disgust, and threat-related information were better transmitted than their neutral counterpart in a traditional transmission chain setup. The second experiment (_N_ = 1,200 participants) used the same material, but participants were asked whether or not they would share the content in two conditions: in a large anonymous social network or with their friends, in their favorite social network. Negative content was both better transmitted in transmission chain experiments and shared more than its neutral counterpart. Threat-related information was successful in transmission chain experiments but not when sharing, and finally, information eliciting disgust was not advantaged in either. Overall, the results present a composite picture, suggesting that the interactions between the specific content and the medium of transmission are important and, possibly, that content biases are stronger when memorization and reproduction are involved in the transmission—as in oral transmission—than when they are not—as in online sharing. Negative content seems to be reliably favored in both modalities of transmission. (shrink)