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.

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)

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)

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)

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)

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)

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.

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)

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.

Beauty filters are automated photo editing tools that use artificial intelligence and computer vision to detect facial features and modify them, allegedly improving a face’s physical appearance and attractiveness. Widespread use of these filters has raised concern due to their potentially damaging psychological effects. In this paper, I offer an account that examines the effect that interacting with such filters has on self-perception. I argue that when looking at digitally-beautified versions of themselves, individuals are looking at AI-curated distorted mirrors. This (...) helps identify two potential cognitive effects of this behavior. First, it can elicit affective attitudes that change how individuals feel when looking at their unfiltered self-images. Second, exposure to filtered self-images might cause a perceptual normalization of such images. Finally, I argue that this form of distorted mirror gazing is a novel cultural practice for self-perception, and I highlight some ways in which this practice could be critically evaluated and ultimately changed. (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).

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)

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)

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.

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)

This report brings out a simple observation on the close connection of lters with algebraic closure systems. In [1], Orrin Frink gave a general denition of ideals in ordered sets. Here, we use the dual notion of lter and apply it to preordered sets. When referring to nite sets fc1; : : : ; ckg we often omit the brackets. The symbol ; denotes the empty set and, X f Y means that X is a nite subset of Y.

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)

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)

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)

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)

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)

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)

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)

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)

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)

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.

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)

With the troubles of core losses and all-state confined to certain limitations which are the innate traits of permanent magnet synchronous motors, this article develops a command filtered adaptive backstepping approach to follow the track of PMSM’s desired rotor position. To begin with, the RBF neural network technique is utilized to get close to the uncharted nonlinear terms which existed in PMSM’s mathematical model. Meanwhile, an advanced adaptive command filter control methodology is constructed to avoid the computing explosion during the (...) process of backstepping design. Furthermore, to make sure that all the state variables are confined into certain ranges, we employed the barrier Lyapunov function at every step of the controllers construction. In addition, an error compensating mechanism is proposed to neutralize filtering errors and only one adaptive law is required. At last, simulation results bear out the superiority of the aforementioned control scheme. (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)

In this essay, I explore ethical considerations that might arise from the use of collaborative filtering algorithms on dating apps. Collaborative filtering algorithms can predict the preferences of a target user by looking at the past behavior of similar users. By recommending products through this process, they can influence the news we read, the movies we watch, and more. They are extremely powerful and effective on platforms like Amazon and Google. Recommender systems on dating apps are likely to (...) group people by race, since they exhibit similar patterns of behavior: users on dating platforms seem to segregate themselves based on race, exclude certain races from romantic and sexual consideration, and generally show a preference for white men and women. As collaborative filtering algorithms learn from these patterns to predict preferences and build recommendations, they can homogenize the behavior of dating app users and exacerbate biased sexual and romantic behavior. (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 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.

In this paper, we introduce the notions of -fuzzy filters and -fuzzy Boolean filters in R0-algebras and investigate some of their related properties. Some characterization theorems of these generalized fuzzy filters are derived. In particular, we prove that a fuzzy set in R0-algebras is an -fuzzy Boolean filter if and only if it is an -fuzzy implicative filter. Finally, we consider the concepts of implication-based fuzzy Boolean filters of R0-algebras.

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 this paper, we study (open) filters and deductive systems of self-distributive weak Heyting algebras (SDWH-algebras) and obtain some results which determine the relationship between them. We show that the variety of SDWH-algebras is not weakly regular and every open filter is the kernel of at least one congruence relation. Finally, we characterize those SDWH-algebras which are weakly regular by using some properties involving principal congruence relations.

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)

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 analyze combinatorial properties of open covers of sets of real numbers by using filters on the natural numbers. In fact, the goal of this paper is to characterize known properties related to ω-covers of the space in terms of combinatorial properties of filters associated with these ω-covers. As an example, we show that all finite powers of a set R of real numbers have the covering property of Menger if, and only if, each filter on ω associated with its (...) countable ω-cover is a P + filter. (shrink)