During the first months of 1887, while completing the drafts of his Mitteilungen zur Lehre vom Transfiniten, Georg Cantor maintained a continuous correspondence with Benno Kerry. Their exchange essentially concerned two main topics in the philosophy of mathematics, namely, (a) the concept of natural number and (b) the infinitesimals. Cantor's and Kerry's positions turned out to be irreconcilable, mostly because of Kerry's irremediably psychologistic outlook, according to Cantor at least. In this study, I will examine and reconstruct the main points (...) in the discussion around (a) and (b) and stress some interesting aspects of the philosophical and mathematical thought of Benno Kerry. (shrink)

Core principles of mereology have been questioned by appealing to time travel scenarios. This paper questions the methodology of employing time travel scenarios to argue against mereology. We show some time travel scenarios are structurally equivalent to more standard ones not involving time travel; and that the three main theories about persistence through time can each solve both the time travel scenario as well as the structurally similar classical scenario. Time travel scenarios that are not similar to more standard arguments (...) are instead problematic because they are open to different, incompatible interpretations. We conclude that compared to the classical arguments against mereological principles, time travel scenarios do not add anything new. (shrink)

The paper attempts to give a solution to the Fitch's paradox though the strategy of the reformulation of the paradox in temporal logic, and a notion of knowledge which is a kind of ceteris paribus modality. An analogous solution has been offered in a different context to solve the problem of metaphysical determinism.

The present work is motivated by two questions. (1) What should an intuitionistic epistemic logic look like? (2) How should one interpret the knowledge operator in a Kripke-model for it? In what follows we outline an answer to (2) and give a model-theoretic definition of the operator K. This will shed some light also on (1), since it turns out that K, defined as we do, fulfills the properties of a necessity operator for a normal modal logic. The interest of (...) our construction also lies in a better insight into the intuitionistic solution to Fitch's paradox, which is discussed in the third section. In particular we examine, in the light of our definition, De Vidi and Solomon's proposal of formulating the verification thesis as Φ → ¬¬KΦ. We show, as our main result, that this definition excapes the paradox, though it is validated only under restrictive conditions on the models. (shrink)

A group is in a state of pluralistic ignorance (PI) if, roughly speaking, every member of the group thinks that his or her belief or desire is different from the beliefs or desires of the other members of the group. PI has been invoked to explain many otherwise puzzling phenomena in social psychology. The main purpose of this article is to shed light on the nature of PI states – their structure, internal consistency and opacity – using the formal apparatus (...) of Dynamic Doxastic Logic, and also to study the sense in which such states are “fragile”, i.e. to identify plausible conditions under which a PI state cascades into a state of shared belief as the result of announcement. (shrink)

Exchange of arguments in a discussion often makes individuals more radical about their initial opinion. This phenomenon is known as Group-induced Attitude Polarization. A byproduct of it are bipolarization effects, where the distance between the attitudes of two groups of individuals increases after the discussion. This paper is a first attempt to analyse the building blocks of information exchange and information update that induce polarization. I use Argumentation Frameworks as a tool for encoding the information of agents in a debate (...) relative to a given issue a. I then adapt a specific measure of the degree of acceptability of an opinion. Changes in the degree of acceptability of a, prior and posterior to information exchange, serve here as an indicator of polarization. I finally show that the way agents transmit and update information has a decisive impact on polarization and bipolarization. (shrink)

Reformulation strategies for solving Fitch’s paradox of knowability date back to Edgington. Their core assumption is that the formula \, from which the paradox originates, does not correctly express the intended meaning of the verification thesis, which should concern possible knowledge of actual truths, and therefore the contradiction does not represent a logical refutation of verificationism. Supporters of these solutions claim that can be reformulated in a way that blocks the derivation of the paradox. Unfortunately, these reformulation proposals come with (...) other problems, on both the logical and the philosophical side. We claim that in order to make the reformulation idea consistent and adequate one should analyze the paradox from the point of view of a quantified modal language. An approach in this line was proposed by, among others, Kvanvig but was not fully developed in its technical details. Here we approach the paradox by means of a first order hybrid modal logic, a tool that strikes us as more adequate to express transworld reference and the rigidification needed to consistently express this idea. The outcome of our analysis is ambivalent. Given a first order formula we are able to express the fact that it is knowable in a way which is both consistent and adequate. However, one must give up the possibility of formulating as a substitution free schema of the kind \. We propose that one may instead formulate by means of a recursive translation of the initial formula, being aware that many alternative translations are possible. (shrink)

Supervaluationism holds that the future is undetermined, and as a consequence of this, statements about the future may be neither true nor false. In the present paper, we explore the novel and quite different view that the future is abundant: statements about the future do not lack truth-value, but may instead be glutty, that is both true and false. We will show that (1) the logic resulting from this “abundance of the future” is a non-adjunctive paraconsistent formalism based on subvaluations, (...) which has the virtue that all classical laws are valid in it, while no formula like φ ∧ ¬φ is satisfiable (though both φ and ¬φ may be true in a model); (2) The peculiar behaviour of abundant logical consequence has an illuminating analogy in probability logic; (3) abundance preserves some important features of classical logic (not preserved in supervaluationism) when it comes to express those important retrogradations of truth which are presupposed by the argument de praesenti ad praeteritum. (shrink)

We provide a brief introduction to this special issue on social dynamics and collective rationality, and summarize the gist of the papers collected therein.

This work presents an overview of four different approaches to the problem of future contingency and determinism in temporal logics. All of them are bivalent, viz. they share the assumption that propositions concerning future contingent facts have a determinate truth-value. We introduce Ockhamism, Peirceanism, Actualism and T x W semantics, the four most relevant bivalent alternatives in this area, and compare them from the point of view of their expressiveness and their underlying metaphysics of time.

This paper presents two systems of temporal logic, \Lambda_{CPT} and \Lambda_{CPT@}, with ceteris paribus modalities. The principal aim is to show how this approach can be useful to give an ockhamist solution to the future contingents problem along the same lines of A. Prior. The interest of this work lies also in the fact that \Lambda_{CPT@} represents an alternative modal account of supervaluationist and post-semantics approaches to temporal reasoning.

This paper introduces a multi-agent dynamic epistemic logic for abstract argumentation. Its main motivation is to build a general framework for modelling the dynamics of a debate, which entails reasoning about goals, beliefs, as well as policies of communication and information update by the participants. After locating our proposal and introducing the relevant tools from abstract argumentation, we proceed to build a three-tiered logical approach. At the first level, we use the language of propositional logic to encode states of a (...) multi-agent debate. This language allows to specify which arguments any agent is aware of, as well as their subjective justification status. We then extend our language and semantics to that of epistemic logic, in order to model individuals’ beliefs about the state of the debate, which includes uncertainty about the information available to others. As a third step, we introduce a framework of dynamic epistemic logic and its semantics, which is essentially based on so-called event models with factual change. We provide completeness results for a number of systems and show how existing formalisms for argumentation dynamics and unquantified uncertainty can be reduced to their semantics. The resulting framework allows reasoning about subtle epistemic and argumentative updates—such as the effects of different levels of trust in a source—and more in general about the epistemic dimensions of strategic communication. (shrink)

This paper studies the relation between persuasive argumentation and the speaker’s epistemic attitude. Dung-style abstract argumentation and dynamic epistemic logic provide the necessary tools to characterize the notion of persuasion. Within abstract argumentation, persuasive argumentation has been previously studied from a game-theoretic perspective. These approaches are blind to the fact that, in real-life situations, the epistemic attitude of the speaker determines which set of arguments will be disclosed by her in the context of a persuasive dialogue. This work is a (...) first step to fill this gap. For this purpose we extend one of the logics of Schwarzentruber et al. with dynamic operators, designed to capture communicative phenomena. A complete axiomatization for the new logic via reduction axioms is provided. Within the new framework, a distinction between actual persuasion and persuasion from the speaker’s perspective is made. Finally, we explore the relationship between the two notions. (shrink)

Discussion among individuals about a given issue often induces polarization and bipolarization effects, i.e. individuals radicalize their initial opinion towards either the same or opposite directions. Experimental psychologists have put forward Persuasive Arguments Theory as a clue for explaining polarization. PAT claims that adding novel and persuasive arguments pro or contra the debated issue is the major cause for polarization. Recent developments in abstract argumentation provide the tools for capturing these intuitions on a formal basis. Here Bipolar Argumentation Frameworks are (...) employed as a tool for encoding the information of agents in a debate relative to a given issue a. A probabilistic extension of BAF allows to encode the likelihood of the opinions pro or contra a before and after information exchange. It is shown, by a straightforward example, how these measures provide the basis to capture the intuitions of PAT. (shrink)

Discussion among individuals about a given issue often induces polarization and bipolarization effects, i.e. individuals radicalize their initial opinion towards either the same or opposite directions. Experimental psychologists have put forward Persuasive Arguments Theory as a clue for explaining polarization. PAT claims that adding novel and persuasive arguments pro or contra the debated issue is the major cause for polarization. Recent developments in abstract argumentation provide the tools for capturing these intuitions on a formal basis. Here Bipolar Argumentation Frameworks are (...) employed as a tool for encoding the information of agents in a debate relative to a given issue a. A probabilistic extension of BAF allows to encode the likelihood of the opinions pro or contra a before and after information exchange. It is shown, by a straightforward example, how these measures provide the basis to capture the intuitions of PAT. (shrink)

The paper introduces a probabilistic semantics for the paraconsistent temporal logic Ab presented by the authors in a previous work on future contingents. Probabilistic concepts help framing two possible interpretations of the logic in question - a `subjective' and an `objective' one - and explaining the rationale behind both of them. We also sketch a proof-method for Ab and address some considerations regarding the conceptual appeal of our proposal and its possible future developments.

Group polarization occurs when an initial attitude or belief of individuals becomes more radical after group discussion. Polarization often leads subgroups towards opposite directions. Since the 1960s this effect has been observed and repeatedly confirmed in lab experiments by social psychologists. Persuasive Arguments Theory emerged as the most convincing explanation for this phenomenon. This paper is a first attempt to frame the PAT explanation more formally by means of Bipolar Argumentation Frameworks. In particular, I show that polarization may emerge in (...) a BAF by simple and rational belief updates by participants. (shrink)

This work presents an overview of four different approaches to the problem of future contingency and determinism in temporal logics. All of them are bivalent, viz. they share the assumption that propositions concerning future contingent facts have a determinate truth-value. We introduce Ockhamism, Peirceanism, Actualism and T × W semantics, the four most relevant bivalent alternatives in this area, and compare them from the point of view of their expressiveness and their underlying metaphysics of time.

The problem of future contingents is one of the most ancient and debated puzzles in Western philosophy, and Supervaluationism is, today, one of the most prominent solutions to the problem. Recently, John MacFarlane has carried a well-known criticism to Supervaluationism and put forward a new solution of the problem of future contingents, which is known as Double Time Reference Theory. Here, we compare DTRT with Supervaluationist semantics, and we show that the success of MacFarlane's criticism crucially depends on the expressivity (...) of the language adopted. Once a reasonable expressive power is granted, however, MacFarlane's criticism no longer applies. (shrink)

The Peter Principle states that employees tend to be promoted until they reach their level of incompetence. In a sophisticated simulation study, Pluchino et al confirmed a version of the principle. However, they also noted that their model has the counterintuitive consequence that “the best ways for improving the efficiency of a given organization are either to promote each time an agent at random or to promote randomly the best and the worst members”. We argue that what promotion rule is (...) used can in general influence employee productivity. Accommodating this psychological aspect of promotion is noted as an open problem by Pluchino et al. Using an amended simulation model we verify that if the incentive induced by promoting the best is strong enough, then that strategy will be optimal. In a final simulation experiment we consider the effect on the efficiency of an organization of using “double standard” promotion strategies, i.e., strategies that depend on the official promotion rule being different from the de facto promotion rule. We show that double standard promotion strategies can be highly efficient, although we also note that in using such strategies the employer may take an unacceptable medium to long term risk. (shrink)

In many social contexts, social influence seems to be inescapable: the behavior of others influences us to modify ours, and vice-versa. However, social psychology is full of examples of phenomena where individuals experience a discrepancy between their public behavior and their private opinion. This raises two central questions. First, how does an individual reason about the behavior of others and their private opinions in situations of social influence? And second, what are the laws of the resulting information dynamics? In this (...) paper, we address these questions by introducing a formal framework for representing reasoning about an individual’s private opinions and public behavior under the dynamics of social influence in social networks. Moreover, we dig deeper into the involved information dynamics by modeling how individuals can learn about each other based on this reasoning. This compels us to introduce a new formal notion of reflective social influence. Finally, we initialize the work on proof theory and automated reasoning for our framework by introducing a sound and complete tableaux system for a fragment of our logic. Furthermore, this constitutes the first tableau system for the “Facebook logic” of J. Seligman, F. Liu, and P. Girard. (shrink)

Supervaluationism holds that the future is undetermined, and as a consequence of this, statements about the future may be neither true nor false. In the present paper, we explore the novel and quite different view that the future is abundant: statements about the future do not lack truth-value, but may instead be glutty, that is both true and false. We will show that the logic resulting from this “abundance of the future” is a non-adjunctive paraconsistent formalism based on subvaluations, which (...) has the virtue that all classical laws are valid in it, while no formula like φ ∧ ¬φ is satisfiable ; The peculiar behaviour of abundant logical consequence has an illuminating analogy in probability logic; abundance preserves some important features of classical logic when it comes to express those important retrogradations of truth which are presupposed by the argument de praesenti ad praeteritum. (shrink)

In this book, Carlos Montemayor and Harry Haladjian consider the relationship between consciousness and attention. The cognitive mechanism of attention has often been compared to consciousness, because attention and consciousness appear to share similar qualities. But, Montemayor and Haladjian point out, attention is defined functionally, whereas consciousness is generally defined in terms of its phenomenal character without a clear functional purpose. They offer new insights and proposals about how best to understand and study the relationship between consciousness and attention by (...) examining their functional aspects. The book's ultimate conclusion is that consciousness and attention are largely dissociated. -/- Undertaking a rigorous analysis of current empirical and theoretical work on attention and consciousness, Montemayor and Haladjian propose a spectrum of dissociation—a framework that identifies the levels of dissociation between consciousness and attention—ranging from identity to full dissociation. They argue that conscious attention, the focusing of attention on the contents of awareness, is constituted by overlapping but distinct processes of consciousness and attention. Conscious attention, they claim, evolved after the basic forms of attention, increasing access to the richest kinds of cognitive contents. -/- Montemayor and Haladjian's goal is to help unify the study of consciousness and attention across the disciplines. A focused examination of conscious attention will, they believe, enable theoretical progress that will further our understanding of the human mind. (shrink)

Une théorie qui veut établir les principes d'une science du droit, mais dont les fondements épistémologiques remontent aux premières années du XXe siècle, peut-elle garder sa validité de nos jours ?

The connection between quantum physics and the mind has been debated for almost a hundred years. There are several proposals as to how quantum effects might be relevant to understanding consciousness, including von Neumann’s Consciousness Causes Collapse interpretation (CCC), Penrose’s Orchestrated objective reduction (Orch OR), Atmanspacher quantum emergence theory, or Vitiello’s field theory. In this paper, we examine the CCC, in particular Stapp’s theory of interaction of mind and matter, and discuss how this imposes constraints to possible brain structures. We (...) then argue that those constraints may allow us to identify a possible locus of the interaction between mind and matter, if CCC is true. (shrink)

The main thesis of this paper is that two prevailing theories about cognitive penetration are too extreme, namely, the view that cognitive penetration is pervasive and the view that there is a sharp and fundamental distinction between cognition and perception, which precludes any type of cognitive penetration. These opposite views have clear merits and empirical support. To eliminate this puzzling situation, we present an alternative theoretical approach that incorporates the merits of these views into a broader and more nuanced explanatory (...) framework. A key argument we present in favor of this framework concerns the evolution of intentionality and perceptual capacities. An implication of this argument is that cases of cognitive penetration must have evolved more recently and that this is compatible with the cognitive impenetrability of early perceptual stages of processing information. A theoretical approach that explains why this should be the case is the consciousness and attention dissociation framework. The paper discusses why concepts, particularly issues concerning concept acquisition, play an important role in the interaction between perception and cognition. (shrink)

The definitive account of Aristotle's life and school This definitive biography shows that Aristotle's philosophy is best understood on the basis of a firm knowledge of his life and of the school he founded. First published in Italian, and now translated, updated, and expanded for English readers, this concise chronological narrative is the most authoritative account of Aristotle's life and his Lyceum available in any language. Gathering, distilling, and analyzing all the evidence and previous scholarship, Carlo Natali, one of (...) the world's leading Aristotle scholars, provides a masterful synthesis that is accessible to students yet filled with evidence and original interpretations that specialists will find informative and provocative. Cutting through the controversy and confusion that have surrounded Aristotle's biography, Natali tells the story of Aristotle's eventful life and sheds new light on his role in the foundation of the Lyceum. Natali offers the most detailed and persuasive argument yet for the view that the school, an important institution of higher learning and scientific research, was designed to foster a new intellectual way of life among Aristotle's followers, helping them fulfill an aristocratic ideal of the best way to use the leisure they enjoyed. Drawing a wealth of connections between Aristotle's life and thinking, Natali demonstrates how the two are mutually illuminating. For this edition, ancient texts have been freshly translated on the basis of the most recent critical editions; indexes have been added, including a comprehensive index of sources and an index to previous scholarship; and scholarship that has appeared since the book's original publication has been incorporated. (shrink)

Ensayo introductorio para mi traducción del influyente artículo "Essence and Modality" de Kit Fine.

One of the world's most renowned theoretical physicists, Carlo Rovelli has entranced millions of readers with his singular perspective on the cosmos. In Helgoland, Rovelli examines the enduring enigma of quantum theory. The quantum world Rovelli describes is as beautiful as it is unnerving. Helgoland is a treeless island in the North Sea where the 21-year-old Werner Heisenberg first developed quantum theory, setting off a century of scientific revolution. Full of alarming ideas (ghost waves, distant objects that seem to (...) be magically connected, cats that appear both dead and alive), quantum physics has led to countless discoveries and technological advancements. Today our understanding of the world is based on this theory, yet it is still profoundly mysterious. As scientists and philosophers continue to fiercly debate the theory's meaning, Rovelli argues that its most unsettling contradictions can be explained by seeing the world as fundamentally made of relationships, not substances. We and everything around us exist only in our interactions with one another. This bold idea suggests new directions for understanding the structure of reality and even the nature of consciousness. Rovelli makes learning about quantum mechanics an almost psychedelic experience. Shifting our perspective once again, he takes us on a riveting journey through the universe so we can better understand our place in it. (shrink)

Winner of the 2000-2002 outstanding publication award of the Section on Environment and Technology of the American Sociological Association.Risk as we now know ...

Minding Time: A Philosophical and Theoretical Approach to the Psychology of Time offers an innovative philosophical account of the most fundamental kinds of time representation.

In this article, Carlos Pereda introduces the concept of “colonial reason” and explores how philosophical practices and modes of thought are entwined with colonial political structures of exploitation, exclusion, and oppression. Pereda argues that philosophy in Latin America risks perpetuating and reinforcing the colonial gesture, either by turning to the European centers of thought (thus pursuing debates that always take place elsewhere) or by isolating itself and idealising the “own.” According to Pereda, both approaches fail to dismantle colonial violence within (...) philosophy. In his alternative approach, Pereda outlines principles and methodological criteria for the decolonisation of reason and philosophy. He emphasises the importance of methodological prudence that discerns between innocent, paralysing, and strategic uses of identity expressions and advocates for modes of reading and argumentation that conceive philosophy as an inclusive and ongoing dialogue. In Pereda’s terminology, this entails fostering “permeable reason” that manifests itself through “nomadic thinking,” a form of thinking that is capable of questioning itself and being questioned. (shrink)

Despite the importance of human blood to clinical practice and research, hematology and blood transfusion data remain scattered throughout a range of disparate sources. This lack of systematization concerning the use and definition of terms poses problems for physicians and biomedical professionals. We are introducing here the Blood Ontology, an ongoing initiative designed to serve as a controlled vocabulary for use in organizing information about blood. The paper describes the scope of the Blood Ontology, its stage of development and some (...) of its anticipated uses. (shrink)

Effective vaccines for COVID‐19 are already available to humankind. In Peru, 86 million doses were administered to cover the demand for 33 million Peruvian people. Hence, vaccination has been prioritized in groups: health personnel, subjects with pre‐existing health conditions and those over 65 years of age. However, given the social problems and the public health situation in Peru, this work defends that the priority of vaccination should be focused on the population living in extreme poverty. The method used was an (...) ethical argumentation on the distribution of scarce antiSARS‐CoV2 vaccine in Peru. This argument is based on the analysis of the Peruvian population living in extreme poverty, which presents different layers of vulnerability, and that, in the face of an eventual SARS‐CoV2 infection, these would be exacerbated one after the other, through a cascade effect. This scenario would give rise to new vulnerabilities to those already existing, causing greater damage. Vaccination efforts on this key population would give them the opportunity to continue to find ways to bring food to their homes, significantly reducing the risk of contagion in their environment and mitigating the devastating effect of the local diseases to which they are already exposed. Four objections related to this argument are raised with their corresponding responses. Priority access to the vaccine would significantly reduce the humanitarian harm to people living in extreme poverty, prevailing the principles of justice and equity. (shrink)