his is a book to broaden the mind. It brings the reader into a world only vaguely imaginable and richly enlightens it with extraordinary attention to interesting historical details. It is beautifully written and endlessly interesting.

In this paper we introduce the notion of filter on the neutrosophic crisp set, then we consider a generalization of the filter’s studies. Afterwards, we present the important neutrosophic crisp filters. We also study several relations between different neutrosophic crisp filters and neutrosophic topologies. Possible applications to database systems are touched upon.

It is often suggested that we are equipped with a set of cognitive tools that help us to filter out unreliable testimony. But are these tools effective? I answer this question in two steps. Firstly, I argue that they are not real-time effective. The process of filtering, which takes place simultaneously with or right after language comprehension, does not prevent a particular hearer on a particular occasion from forming beliefs based on false testimony. Secondly, I argue that they are long-term (...) effective. Some hearers sometimes detect false testimony, which increases speakers’ incentives for honesty and stabilizes the practice of human communication in which deception is risky and costly. In short, filtering prevents us from forming a large number of beliefs based on false testimony, not by turning each of us into a high-functioning polygraph but by turning the social environment of human communication into one in which such polygraphs are not required. Finally, I argue that these considerations support strong anti-reductionism about testimonial entitlement. (shrink)

A filter of a sentential logic ? is Leibniz when it is the smallest one among all the ?-filters on the same algebra having the same Leibniz congruence. This paper studies these filters and the sentential logic ?+ defined by the class of all ?-matrices whose filter is Leibniz, which is called the strong version of ?, in the context of protoalgebraic logics with theorems. Topics studied include an enhanced Correspondence Theorem, characterizations of the weak algebraizability of ?+ (...) and of the explicit definability of Leibniz filters, and several theorems of transfer of metalogical properties from ? to ?+. For finitely equivalential logics stronger results are obtained. Besides the general theory, the paper examines the examples of modal logics, quantum logics and Łukasiewicz's finitely-valued logics. One finds that in some cases the existence of a weak and a strong version of a logic corresponds to well-known situations in the literature, such as the local and the global consequences for normal modal logics; while in others these constructions give an independent interest to the study of other lesser-known logics, such as the lattice-based many-valued logics. (shrink)

To the French critics who originally labelled certain films noir it seemed that a class of Hollywood products had gone darker during the war years – as though a dark filter had been placed over the lens. Films were not designed or marketed as noir, and retrospectively noir's status as a genre is still unsettled. Yet there is widespread interest today in experiencing diverse films as noir, and even in using a Noir Filter in Instagram and video games. Pursuing the (...) filter clue, the noir experience can be thought of as subjection to a dark filtering of narrative. Image filtering styles can help to resolve not only the puzzle of noir's quasi-genre status but also an issue of general interest in aesthetic experience. The use of image filters makes a distinctively powerful contribution to the experience of a work or genre, or to the cultural dominance of an aesthetic regime, due to the unobtrusive formative role it plays in the economy of experience. (shrink)

If $\mathcal{F}$ is a filter on $\omega$, we say that $\mathcal{F}$ is Canjar if the corresponding Mathias forcing does not add a dominating real. We prove that any Borel Canjar filter is $F_{\sigma}$, solving a problem of Hrušák and Minami. We give several examples of Canjar and non-Canjar filters; in particular, we construct a $\mathsf{MAD}$ family such that the corresponding Mathias forcing adds a dominating real. This answers a question of Brendle. Then we prove that in all the “classical” (...) models of $\mathsf{ZFC}$ there are $\mathsf{MAD}$ families whose Mathias forcing does not add a dominating real. We also study ideals generated by branches, and we uncover a close relation between Canjar ideals and the selection principle $S_{\mathrm{fin}}$ on subsets of the Cantor space. (shrink)

Decision-making has a high practical relevance for daily performance. Its relation to other cognitive abilities such as executive control and memory is not fully understood. Here we asked whether training of either attentional filtering or memory storage would influence decision-making as indexed by repetitive assessments of the Iowa Gambling Task (IGT). The IGT was developed to assess and simulate real-life decision-making (Bechara et al., 2005). In this task, participants gain or lose money by developing advantageous or disadvantageous decision strategies. On (...) five consecutive days we trained 29 healthy young adults (20-30 years) either in working memory storage or attentional filtering and measured their IGT scores after each training session. During memory training (MT) subjects performed a computerized delayed match-to-sample task where two displays of bars were presented in succession. During filter training (FT) participants had to indicate whether two simultaneously presented displays of bars matched or not. Whereas in MT the relevant target stimuli stood alone, in FT the targets were embedded within irrelevant distractors (bars in a different color). All subjects within each group improved their performance in the trained cognitive task. For the IGT, we observed an increase over time in the amount of money gained in the FT group only. Decision-making seems to be influenced more by training to filter out irrelevant distractors than by training to store items in working memory. Selective attention could be responsible for the previously noted relationship between IGT performance and working memory and is therefore more important for enhancing efficiency in decision-making. (shrink)

Two countable filters on $\omega$ are incompatible if they have no common infinite pseudointersection. Letting $\alpha(P_f)$ denote the minimal size of a maximal uncountable family of pairwise incompatible countable filters on $\omega$, we prove the consistency of t $< \alpha(P_f)$.

We explore the problem of constructing maximal and unbounded filters on computable posets. We obtain both computability results and reverse mathematics results. A maximal filter is one that does not extend to a larger filter. We show that every computable poset has a \Delta^0_2 maximal filter, and there is a computable poset with no \Pi^0_1 or \Sigma^0_1 maximal filter. There is a computable poset on which every maximal filter is Turing complete. We obtain the reverse mathematics result that the (...) principle "every countable poset has a maximal filter" is equivalent to ACA₀ over RCA₀. An unbounded filter is a filter which achieves each of its lower bounds in the poset. We show that every computable poset has a \Sigma^0_1 unbounded filter, and there is a computable poset with no \Pi^0_1 unbounded filter. We show that there is a computable poset on which every unbounded filter is Turing complete, and the principle "every countable poset has an unbounded filter" is equivalent to ACA₀ over RCA₀. We obtain additional reverse mathematics results related to extending arbitrary filters to unbounded filters and forming the upward closures of subsets of computable posets. (shrink)

This article explores what John Dewey’s political philosophy can offer in regard to the current crisis in digital democracy. It focuses on two digital mechanisms, the “filter bubble” and the “echo chamber”. While there is a prominent, Dewey-inspired debate on “digital publics” in the literature, a reconstruction of the Deweyan concepts of the public and of shared experience shows that it does not adequately reflect the aspect of situated and embodied experience. Based on this, it is shown that digital media (...) offerings must also be rooted in local contexts of experience in order to answer the challenge of those two problematic mechanisms. (shrink)

Leibniz filters play a prominent role in the theory of protoalgebraic logics. In [3] the problem of the definability of Leibniz filters is considered. Here we study the definability of Leibniz filters with parameters. The main result of the paper says that a protoalgebraic logic S has its strong version weakly algebraizable iff it has its Leibniz filters explicitly definable with parameters.

In this paper we introduce the notion of filter on the neutrosophic crisp set, then we consider a generalization of the filter’s studies. Afterwards, we present the important neutrosophic crisp filters. We also study several relations between different neutrosophic crisp filters and neutrosophic topologies. Possible applications to database systems are touched upon.

It is commonly assumed that personalization technologies used by Google for the purpose of tailoring search results for individual users create filter bubbles, which reinforce users’ political views. Surprisingly, empirical evidence for a personalization-induced filter bubble has not been forthcoming. Here, we investigate whether filter bubbles may result instead from a searcher’s choice of search queries. In the first experiment, participants rated the left-right leaning of 48 queries (search strings), 6 for each of 8 topics (abortion, benefits, climate change, sex (...) equality, immigration, nuclear family, Islam, and taxation). An independent sample of participants were then asked to select one of these queries for each of the 8 topics. With the exception of the topic of Islam, participants were significantly more likely to select a query corresponding to their own political leaning, compared to other queries, explaining between 12% and 39% of the variance. A second experiment investigated the effect of the political leaning of the same queries on the overall political leaning of Search Engine Result Pages (SERPs) in Google Search. The top six results of each SERP were rated collectively by a third group of participants, explaining 36.3% of the variance across all 48 search terms (p < .00001). That is, (1) participants in our experiments tended to select own-side search queries, and (2) using those queries tended to yield own-side search results when using the Google search engine. Our results are consistent with the notion of a self-imposed filter bubble in which query selection plays a salient role. (shrink)

We characterize (both from a syntactic and an algebraic point of view) the normal K4-logics for which unification is filtering. We also give a sufficient semantic criterion for existence of most general unifiers, covering natural extensions of K4.2⁺ (i.e., of the modal system obtained from K4 by adding to it, as a further axiom schemata, the modal translation of the weak excluded middle principle).

The present paper is thought as a formal study of distributive closure systems which arise in the domain of sentential logics. Special stress is laid on the notion of a C-filter, playing the role analogous to that of a congruence in universal algebra. A sentential logic C is called filter distributive if the lattice of C-filters in every algebra similar to the language of C is distributive. Theorem IV.2 in Section IV gives a method of axiomatization of those filter (...) distributive logics for which the class Matr (C) prime of C-prime matrices (models) is axiomatizable. In Section V, the attention is focused on axiomatic strengthenings of filter distributive logics. The theorems placed there may be regarded, to some extent, as the matrix counterparts of Baker's well-known theorem from universal algebra [9, § 62, Theorem 2]. (shrink)

We propose a model of uncertain belief. This models coherent beliefs by a filter, ????, on the set of probabilities. That is, it is given by a collection of sets of probabilities which are closed under supersets and finite intersections. This can naturally capture your probabilistic judgements. When you think that it is more likely to be sunny than rainy, we have{????|????(????????????????????)>????(????????????????????)}∈????. When you think that a gamble ???? is desirable, we have {????|Exp????[????]>0}∈????. It naturally extends the model of credal (...) sets; and we will show it captures all the expressive power of the desirable gambles model. It also captures the expressive power of sets of desirable gamble sets (with a mixing axiom, but no Archimadean axiom). (shrink)

In Neal Stephenson’s fictional novel, Diamond Age (1995), the protagonist Nell acquires a prototype of what we might today recognise as a highly sophisticated e-reader with a voice-assistant. This e-reader, the “Young Lady’s Illustrated Primer”, uses artificial intelli- gence to serve as Nell’s personal teacher. What is key to the Primer is how it is designed to respond to Nell. The Primer has a theory of Nell – her needs, her real-world situation, her abilities – and it tailors its lessons (...) for her. The Primer is a highly personalised artificially intelligent device. For many readers – myself included – the Primer was a utopian vision of the bespoke digital tutors of the future. The appearance of new media and technologies in the early 2000s all pointed to the near-term reality of devices like Primers. The real-life experience of personalised digital media, though, is so far from Stephen- son’s vision that it is hard to imagine we will ever get there. Nell’s time with the Primer develops her intellectually, emotionally, and physically. Our “bespoke” media experience, by contrast, is more likely to turn us in on ourselves rather than guide us to live well in our societies. Personalised media is making us more like Narcissus: our consumption is driven by personal choices and automated algorithms that reflect what we already want to hear, see, and consume, and we are captivated. Central to our understanding of the problems with the personalisation of digital media are filter bubbles and echo chambers. These phenomena are used interchangeably by some, but in distinct ways by others. I take the position that filter bubbles and echo chambers are distinct phenomena, but ones that raise similar epistemic worries. I begin with a general discussion of filter bubbles and echo chambers, and I introduce the concept of “selective exposure” as central to both phenomena. There is minimal uniformity across uses of the terms “filter bubble” and “echo chamber”. Consequently, I divide the later discussion into two more precise topics: homophily and polarisation. I conclude with some future-looking comments about responsibility and the epistemic risks posed by digital personalisation. (shrink)

Advances in artificial intelligence, as well as its increased presence in everyday life, have brought the emergence of many new phenomena, including an intriguing appearance of what seems to be a variant of body dysmorphic disorder, coined “Snapchat dysmorphia”. Body dysmorphic disorder is a DSM-5 psychiatric disorder defined as a preoccupation with one or more perceived defects or flaws in physical appearance that are not observable or appear slight to others. Snapchat dysmorphia is fueled by automated selfie filters that (...) reflect unrealistic sociocultural standard. In this paper, we discuss how body dysmorphic disorder and related body image distortions could arise, using the conceptual resources provided by the active inference framework. We suggest that these disorders involve dysfunctional self-modelling which entails maladaptive internalization of sociocultural preferences during adolescent identity formation. Identity formation is hereby described as cycles of interpersonal active inference that arbitrate between identity exploration and commitment. We propose that impaired self-modelling is unable to reduce interpersonal uncertainty during identity exploration, which, over time, degenerates into uncontrollable epistemic habits that isolate the body image from corrective sensory evidence. In light of these insights, we subsequently explore some of the consequences of image-centered social media platforms on the identity formation process. We conclude that heightened interpersonal uncertainty in this novel context could precipitate the onset of body dysmorphic disorder and related body image distortions, particularly when selfie filters are involved. (shrink)

Schemas contribute to adaptation, filtering novelty though knowledge-expectancy structures, the residue of past contingencies and their consequences. Adaptation requires a balance between flexible, dynamic context-sensitivity and the cognitive efficiency that schemas afford in promoting persistent goal pursuit despite distraction. Affects can form and disrupt schemas. Transient affective experiences systematically alter selectivity of attentiveness to the directly experienced present environment, the internal environment, and to the stored experiences of memory. Enduring personal stylistic predispositions, like implicit motives and affective schemas, influence how (...) experience is perceived, responded to, and integrated; they shape memory and influence present experiential patterns, individually and intersubjectively. Such systematic influences are potential sources of error in the study of memory if not mapped; so far, individual personality differences have just been a source of complication in the literature on emotion-congruent perception and memory. I synthesize what findings there are about how personality differences, emotions, and affects contribute to the structuring and integration of perceptions and memories both directly and by way of hot, affectively-anchored schemas. Case studies from experimental and personality psychology highlight a conception of personality and affective experience relevant to memory research and cognitive science. (shrink)

Neutrosophic set is a new mathematical tool for handling problems involving imprecise, indetermi nacy and inconsistent data. Pseudo-BCI algebra is a kind of non-classical logic algebra in close connection with various non-commutative fuzzy logics. Recently, we applied neutrosophic set theory to pseudo-BCI al gebras. In this paper, we study neutrosophic filters in pseudo-BCI algebras. The concepts of neutrosophic regular filter, neutrosophic closed filter and fuzzy regular filter in pseudo-BCI algebras are introduced, and some basic properties are discussed. Moreover, the (...) relationships among neutrosophic regular filter, fuzzy filters and anti-grouped neutrosophic filters are prese nted, and the results are proved: a neutrosophic filter (fuzzy filter) is a neutrosophic regular filter (fuzzy regular filter), if and only if it is both a neutrosophic closed filter (fuzzy closed filter) and an anti-grouped neutrosophic filter (fuzzy anti-grouped filter). (shrink)

Online information intermediaries such as Facebook and Google are slowly replacing traditional media channels thereby partly becoming the gatekeepers of our society. To deal with the growing amount of information on the social web and the burden it brings on the average user, these gatekeepers recently started to introduce personalization features, algorithms that filter information per individual. In this paper we show that these online services that filter information are not merely algorithms. Humans not only affect the design of the (...) algorithms, but they also can manually influence the filtering process even when the algorithm is operational. We further analyze filtering processes in detail, show how personalization connects to other filtering techniques, and show that both human and technical biases are present in today’s emergent gatekeepers. We use the existing literature on gatekeeping and search engine bias and provide a model of algorithmic gatekeeping. (shrink)

We introduce the property “F-linked” of subsets of posets for a given free filter F on the natural numbers, and define the properties “μ-F-linked” and “θ-F-Knaster” for posets in a natural way. We show that θ-F-Knaster posets preserve strong types of unbounded families and of maximal almost disjoint families. Concerning iterations of such posets, we develop a general technique to construct θ-Fr-Knaster posets (where Fr is the Frechet ideal) via matrix iterations of <θ-ultrafilter-linked posets (restricted to some level of the (...) matrix). This is applied to prove consistency results about Cichoń's diagram (without using large cardinals) and to prove the consistency of the fact that, for each Yorioka ideal, the four cardinal invariants associated with it are pairwise different. At the end, we show that three strongly compact cardinals are enough to force that Cichoń's diagram can be separated into 10 different values. (shrink)

Assuming the consistency of the theory “ZFC + there exists a measurable cardinal”, we construct 1. a model in which the first cardinal κ, such that 2κ > κ+, bears a normal filter F whose associated boolean algebra is κ+-distributive ,2. a model where there is a measurable cardinal κ such that, for every regular cardinal ρ < κ, 2ρ = ρ++ holds,3. a model of “ZFC + GCH” where there exists a non-measurable cardinal κ bearing a normal filter F (...) whose associated boolean algebra is κ+-distributive. (shrink)

I argue that classical counterfactual semantics in the style of Stalnaker, Lewis, and Kratzer validates an inference pattern that is disconfirmed in natural language. The solution is to alter the algorithm we use to handle inconsistency in premise sets: rather than checking all maximally consistent fragments of a premise sets, as in Krazter’s semantics, we selectively remove some of the premises. The proposed implementation starts from standard premise semantics and involves a new ‘filtering’ operation that achieves just this removal. The (...) resulting semantics is interestingly related to the semantics for counterfactuals emerging from Judea Pearl’s causal models framework in computer science: in particular, filtering is a possible worlds semantics counterpart of Pearl’s interventions. (shrink)

Advances in artificial intelligence, as well as its increased presence in everyday life, have brought the emergence of many new phenomena, including an intriguing appearance of what seems to be a variant of body dysmorphic disorder, coined “Snapchat dysmorphia”. Body dysmorphic disorder is a DSM-5 psychiatric disorder defined as a preoccupation with one or more perceived defects or flaws in physical appearance that are not observable or appear slight to others. Snapchat dysmorphia is fueled by automated selfie filters that (...) reflect unrealistic sociocultural standard. In this paper, we discuss how body dysmorphic disorder and related body image distortions could arise, using the conceptual resources provided by the active inference framework. We suggest that these disorders involve dysfunctional self-modelling which entails maladaptive internalization of sociocultural preferences during adolescent identity formation. Identity formation is hereby described as cycles of interpersonal active inference that arbitrate between identity exploration and commitment. We propose that impaired self-modelling is unable to reduce interpersonal uncertainty during identity exploration, which, over time, degenerates into uncontrollable epistemic habits that isolate the body image from corrective sensory evidence. In light of these insights, we subsequently explore some of the consequences of image-centered social media platforms on the identity formation process. We conclude that heightened interpersonal uncertainty in this novel context could precipitate the onset of body dysmorphic disorder and related body image distortions, particularly when selfie filters are involved. (shrink)

The Filter Dichotomy says that every uniform nonmeager filter on the integers is mapped by a finite-to-one function to an ultrafilter. The consistency of this principle was proved by Blass and Laflamme. A medial limit is a universally measurable function from [Formula: see text] to the unit interval [0, 1] which is finitely additive for disjoint sets, and maps singletons to 0 and ω to 1. Christensen and Mokobodzki independently showed that the Continuum Hypothesis implies the existence of medial limits. (...) We show that the Filter Dichotomy implies that there are no medial limits. (shrink)

An adequate moral theory must – or so many philosophers have argued – be compatible with the attitudes and practical requirements of deep friendship. Bernard Williams suggested that the decision procedure required by both deontology and consequentialism inserts a fetishising filter between the natural moral motivation of any normal person to prioritise friends and the decision to act on it. But this injects ‘one thought too many’ into the moral reaction mechanism. It is standardly assumed that virtue ethics is somehow (...) immune to this objection. The present article explores this assumption and finds it wanting in various respects. Virtue ethics filters friendship throughphronesisand thus inserts an extra thought into the mechanism in question. To escape Williams's curse, the only way is to argue that the extra thought required by virtue ethics is not ‘one thought too many’. The article closes with an attempt to show that, contra deontology, the friendship motivation in virtue ethics is derived from the moral virtue, not the intellectual filter, and, contra consequentialism,phronesisdoes not require the maximisation of value. The presumed advantage of virtue ethics must lie in the content of its filter rather than the filter's non-existence. (shrink)

With the use of a suitable assumption about the structure of the class of experimental filters, it is shown that the sequence of alternating replicas of two filters is their greatest lower bound, as Jauch suggests. A generalization of his suggestion yields the greatest lower bound of a denumerable set of filters. The criteria of admissibility of filters are briefly discussed.

Suppose that λ is the successor of a singular cardinal μ whose cofinality is an uncountable cardinal κ. We give a sufficient condition that the club filter of λ concentrating on the points of cofinality κ is not λ+-saturated.1 The condition is phrased in terms of a notion that we call weak reflection. We discuss various properties of weak reflection. We introduce a weak version of the ♣-principle, which we call ♣*−, and show that if it holds on a stationary (...) subset S of λ, then no normal filter on S is λ+-saturated. Under the above assumptions, ♣*− is true for any stationary subset S of λ which does not contain points of cofinality κ. For stationary sets S which concentrate on points of cofinality κ, we show that ♣*− holds modulo an ideal obtained through the weak reflection. (shrink)

Two countable filters on ω are incompatible if they have no common infinite pseudointersection. Letting α(P f ) denote the minimal size of a maximal uncountable family of pairwise incompatible countable filters on ω, we prove the consistency of t $.

The purpose of this paper is to compare the notion of a Grzegorczyk point introduced in [19] (and thoroughly investigated in [3, 14, 16, 18]) to the standard notions of a filter in Boolean algebras and round filter in Boolean contact algebras. In particular, we compare Grzegorczyk points to filters and ultrafilters of atomic and atomless algebras. We also prove how a certain extra axiom influences topological spaces for Grzegorczyk contact algebras. Last but not least, we do not refrain (...) from a philosophical interpretation of the results from the paper. (shrink)

We adjust the notion of finitary filter pair, which was coined for creating and analyzing finitary logics, in such a way that we can treat logics of cardinality $$\kappa $$, where $$\kappa $$ is a regular cardinal. The corresponding new notion is called $$\kappa $$ -filter pair. A filter pair can be seen as a presentation of a logic, and we ask what different $$\kappa $$ -filter pairs give rise to a fixed logic of cardinality $$\kappa $$. To make the (...) question well-defined we restrict to a subcollection of filter pairs and establish a bijection from that collection to the set of natural extensions of that logic by a set of variables of cardinality $$\kappa $$. Along the way we use $$\kappa $$ -filter pairs to construct natural extensions for a given logic, work out the relationships between this construction and several others proposed in the literature, and show that the collection of natural extensions forms a complete lattice. In an optional section we introduce and motivate the concept of a general filter pair. (shrink)

Narrow Band-pass filtering techniques have been a challenging task since the inception of audio and telecommunication applications. The challenge involves keeping quality factor, gain and mid-frequency of the filter independent of each other. The critical applications require a design that ensures mid-frequency immune to the circuit component tolerances. It becomes increasingly difficult for low-frequency applications where the shift in few Hz in mid-frequency would cause desired frequencies to fall outside the filter’s bandwidth and go undetected. The selection of right topology (...) of the filter for the best performance is the key to successful design. This book objectively compares the relative performance of none popular narrow band-pass filter topologies. The filter topologies are evaluated using a real-world practical example of designing an extremely narrow band-pass filter. The book provides guidelines for selecting the right topology for the low-frequency narrow band-pass filter. (shrink)

The notions of soju filters in a hoop algebra are introduced, and related properties are investigated. Relations between a soju sub-hoop, a soju filter and an implicative soju filter are discussed. Conditions for a soju filter to be implicative are displayed, and characterizations of an implicative soju filters are considered. The extension property of an implicative soju filter is established.

The notions of soju filters in a hoop algebra are introduced, and related properties are investigated. Relations between a soju sub-hoop, a soju filter and an implicative soju filter are discussed. Conditions for a soju filter to be implicative are displayed, and characterizations of an implicative soju filters are considered. The extension property of an implicative soju filter is established.

Social media have undoubtedly changed our ways of living. Their presence concerns an increasing number of users (over 4,74 billion) and pervasively expands in the most diverse areas of human life. Marketing, education, news, data, and sociality are just a few of the many areas in which social media play now a central role. Recently, some attention toward the link between social media and political participation has emerged. Works in the field of artificial intelligence have already pointed out that there (...) is a close link between the use of machine learning algorithms in social media and possible epistemic isolation, which could lead to political radicalization. The idea supporting this paper is that artificial intelligence for social media can actively put users’ deliberative capacity at risk and foster political extremism. To prove these claims, I proceed along two lines of inquiry. First, I focus on filter bubbles, namely the result of selections made by algorithms that recommend contents that meet users’ expectations and opinions. To analyze this phenomenon, I refer to the Deweyan model of experience. Second, I connect the filter bubbles problem to the Deweyan idea of deliberative and participatory democracy and Nussbaum’s concept of political compassion. The purpose of this paper is to provide a philosophical foundation that can both (1) effectively serve as a method for analyzing machine learning algorithms and their potential problems in relation to political extremism, and (2) be adopted as a standard to counter the danger of extremism associated with social media experience. (shrink)

It has been argued that the Internet and social media increase the number of available viewpoints, perspectives, ideas and opinions available, leading to a very diverse pool of information. However, critics have argued that algorithms used by search engines, social networking platforms and other large online intermediaries actually decrease information diversity by forming so-called “filter bubbles”. This may form a serious threat to our democracies. In response to this threat others have developed algorithms and digital tools to combat filter bubbles. (...) This paper first provides examples of different software designs that try to break filter bubbles. Secondly, we show how norms required by two democracy models dominate the tools that are developed to fight the filter bubbles, while norms of other models are completely missing in the tools. The paper in conclusion argues that democracy itself is a contested concept and points to a variety of norms. Designers of diversity enhancing tools must thus be exposed to diverse conceptions of democracy. (shrink)

We recall some notions introduced and developed by António Aniceto Monteiro, and show how these notions have been used and generalised, thus establishing a direct and indirect influence of Monteiro’s work that extends to this day.

We show that adding compatible operations to Heyting algebras and to commutative residuated lattices, both satisfying the Stone law ¬x ⋁ ¬¬x = 1, preserves filtering unification, that is, the property that for every two unifiers there is a unifier more general then both of them. Contrary to that, often adding new operations to algebras results in changing the unification type. To prove the results we apply the theorems of [9] on direct products of l-algebras and filtering unification. We consider (...) examples of frontal Heyting algebras, in particular Heyting algebras with the successor, γ and G operations as well as expansions of some commutative integral residuated lattices with successor operations. (shrink)

This personal account traces a series of studies that led from DNA physical chemistry to anticancer drug mechanisms. Chemical crosslinking as a basis for anticancer drug actions had been suspected since the time of the first clinical reports of the effectiveness of nitrogen mustard in 1946. After the elucidation of the DNA helix‐coil transition, several nearly concurrent findings in the early 1960s established the paradigm of DNA interstrand crosslinking. The DNA filter elution phenomenon was discovered in the early 1970s, and (...) lent itself to the development of practical assays for DNA crosslinks and other DNA lesions in mammalian cells. The assays allowed studies of the effects of DNA damaging agents at pharmacologically or toxicologically relevant doses, and have been widely applied in studies of mutagenic and chemotherapeutic agents. During the period 1979–1986, DNA filter elution studies led to the paradigm of DNA topoisomerases as targets of anticancer drug action, and this has become one of the most active areas of anticancer drug development. (shrink)

In an earlier paper [Rational choice and AGM belief revision, _Artificial Intelligence_, 2009] a correspondence was established between the set-theoretic structures of revealed-preference theory (developed in economics) and the syntactic belief revision functions of the AGM theory (developed in philosophy and computer science). In this paper we extend the re-interpretation of those structures in terms of one-shot belief revision by relating them to the trichotomous attitude towards information studied in Garapa (Rev Symb Logic, 1–21, 2020) where information may be either (...) (1) fully accepted or (2) rejected or (3) taken seriously but not fully accepted. We begin by introducing the syntactic notion of _filtered belief revision_ and providing a characterization of it in terms of a mixture of both AGM revision and contraction. We then establish a correspondence between the proposed notion of filtered belief revision and the above-mentioned set-theoretic structures, interpreted as semantic _partial_ belief revision structures. We also provide an interpretation of the trichotomous attitude towards information in terms of the degree of implausibility of the information. (shrink)

Let $\mathfrak{M}$ be the Medvedev lattice: this paper investigates some filters and ideals (most of them already introduced by Dyment, [4]) of $\mathfrak{M}$ . If $\mathfrak{G}$ is any of the filters or ideals considered, the questions concerning $\mathfrak{G}$ which we try to answer are: (1) is $\mathfrak{G}$ prime? What is the cardinality of ${\mathfrak{M} \mathord{\left/ {\vphantom {\mathfrak{M} \mathfrak{G}}} \right. \kern-0em} \mathfrak{G}}$ ? Occasionally, we point out some general facts on theT-degrees or the partial degrees, by which these questions (...) can be answered. (shrink)

When confronting the unexplained, it is helpful to consider it from many different points of view. In an essay published in 2004, entitled "Sensors, Filters, and the Source of Reality," Robert Jahn and Brenda Dunne of Princeton University's PEAR laboratory proposed that consciousness constructs its reality by ordering the information it derives from the external world through an array of physiological, psychological, and cultural filters. This thesis has now been considered by nineteen distinguished scholars who here present their (...) commentaries from a broad spectrum of professional and personal perspectives. Drawn from such diverse backgrounds as art, Buddhism, evolutionary biology, fantasy, out-of-body experiences, philosophy, physics, psychology, semiotics, and systems engineering, among others, these contributions offer an assortment of unique and fascinating glimpses of how our experiences and their styles of representation are reflected through these filters of consciousness. (shrink)

Logics L F (M) are considered, in which M ("most") is a new first-order quantifier whose interpretation depends on a given filter F of subsets of ω. It is proved that countable compactness and axiomatizability are each equivalent to the assertion that F is not of the form $\{(\bigcap F) \cup X:|\omega - X| with $|\omega - \bigcap F| = \omega$ . Moreover the set of validities of L F (M) and even of L F ω 1 ω (M) depends (...) only on a few basic properties of F. Similar characterizations are given of the class of filters F for which L F (M) has the interpolation or Robinson properties. An omitting types theorem is also proved. These results sharpen the corresponding known theorems on weak models (U, q), where the collection q is allowed to vary. In addition they provide extensions of first-order logic which possess some nice properties, thus escaping from contradicting Lindstrom's Theorem [1969] only because satisfaction is not isomorphism-invariant (as it is tied to the filter F). However, Lindstrom's argument is applied to characterize the invariant sentences as just those of first-order logic. (shrink)

I first distinguish four types of objection to paternalism and argue that only one – the principled objection – amounts to a substantive and distinct normative doctrine. I then argue that this doctrine should be understood as preventing certain facts from playing the role of reasons they would otherwise play. I explain how this filter approach makes antipaternalism independent of several philosophical controversies: On the role reasons play, on what reasons there are, and on how reasons are related to values. (...) I go on to contrast the filter approach with the competing and dominant action-focused approach, which understands objections to paternalism in terms of paternalistic action, behavior, law, policy and the like. Seana Shiffrin and Peter de Marneffe are singled out as prominent recent proponents of this approach. By engaging with their definitions of paternalism, I explain how the action-focused approach makes antipaternalism dependent on the sorting of actions into paternalistic and nonpaternalistic according to what reasons support them. Because one and the same action can be supported by many different reasons, and by different sorts of reasons, such sorting is very difficult. The upshot is that antipaternalism on the action-focused account fails to provide the precise normative implications of the filter approach that I favor. (shrink)