People increasingly form beliefs based on information gained from automatically filtered Internet ‎sources such as search engines. However, the workings of such sources are often opaque, preventing ‎subjects from knowing whether the information provided is biased or incomplete. Users’ reliance on ‎Internet technologies whose modes of operation are concealed from them raises serious concerns about ‎the justificatory status of the beliefs they end up forming. Yet it is unclear how to address these concerns ‎within standard theories of knowledge and justification. (...) To shed light on the problem, we introduce a ‎novel conceptual framework that clarifies the relations between justified belief, epistemic responsibility, ‎action, and the technological resources available to a subject. We argue that justified belief is subject to ‎certain epistemic responsibilities that accompany the subject’s particular decision-taking circumstances, ‎and that one typical responsibility is to ascertain, so far as one can, whether the information upon which ‎the judgment will rest is biased or incomplete. What this responsibility comprises is partly determined by ‎the inquiry-enabling technologies available to the subject. We argue that a subject’s beliefs that are ‎formed based on Internet-filtered information are less justified than they would be if she either knew how ‎filtering worked or relied on additional sources, and that the subject may have the epistemic ‎responsibility to take measures to enhance the justificatory status of such beliefs.‎. (shrink)

Scientific consensus is widely deferred to in public debates as a social indicator of the existence of knowledge. However, it is far from clear that such deference to consensus is always justified. The existence of agreement in a community of researchers is a contingent fact, and researchers may reach a consensus for all kinds of reasons, such as fighting a common foe or sharing a common bias. Scientific consensus, by itself, does not necessarily indicate the existence of shared knowledge among (...) the members of the consensus community. I address the question of under what conditions it is likely that a consensus is in fact knowledge based. I argue that a consensus is likely to be knowledge based when knowledge is the best explanation of the consensus, and I identify three conditions—social calibration, apparent consilience of evidence, and social diversity, for knowledge being the best explanation of a consensus. (shrink)

A consensus in a scientific community is often used as a resource for making informed public-policy decisions and deciding between rival expert testimonies in legal trials. This paper contains a social-epistemic analysis of the high-profile Bendectin drug controversy, which was decided in the courtroom inter alia by deference to a scientific consensus about the safety of Bendectin. Drawing on my previously developed account of knowledge-based consensus, I argue that the consensus in this case was not knowledge based, hence courts’ deference (...) to it was not epistemically justified. I draw sceptical lessons from this analysis regarding the value of scientific consensus as a desirable and reliable means of resolving scientific controversies in public life. (shrink)

According to the Value-Neutrality Thesis, technology is morally and politically neutral, neither good nor bad. A knife may be put to bad use to murder an innocent person or to good use to peel an apple for a starving person, but the knife itself is a mere instrument, not a proper subject for moral or political evaluation. While contemporary philosophers of technology widely reject the VNT, it remains unclear whether claims about values in technology are just a figure of speech (...) or nontrivial empirical claims with genuine factual content and real-world implications. This paper provides the missing argument. I argue that by virtue of their material properties, technological artifacts are part of the normative order rather than external to it. I illustrate how values can be empirically identified in technology. The reason why value-talk is not trivial or metaphorical is that due to the endurance and longevity of technological artifacts, values embedded in them have long-term implications that surpass their designers and builders. I further argue that taking sides in this debate has real-world implications in the form of moral constraints on the development of technology. (shrink)

Mainstream analytic epistemology regards knowledge as the property of individuals, rather ‎than groups. Drawing on insights from the reality of knowledge production and dissemination ‎in the sciences, I argue, from within the analytic framework, that this view is wrong. I defend ‎the thesis of ‘knowledge-level justification communalism’, which states that at least some ‎knowledge, typically knowledge obtained from expert testimony, is the property of a ‎community and possibly none of its individual members, in that only the community or some ‎members (...) of it collectively possesses knowledge-level justification for its individual members’ ‎beliefs. I address several objections that individuals, qua individuals, have or are able to ‎acquire knowledge-level justification for all the beliefs they obtain from expert testimony. I ‎argue that the problem I identify with individualism is invariant under any specific account of ‎justification, internalist or externalist. ‎. (shrink)

Margaret Atwood and David Suzuki are two of the most prominent Canadian public ‎intellectuals ‎involved in the global warming debate. They both argue that anthropogenic global ‎warming is ‎occurring, warn against its grave consequences, and urge governments and the ‎public to take ‎immediate, decisive, extensive, and profound measures to prevent it. They differ, ‎however, in the ‎reasons and evidence they provide in support of their position. While Suzuki ‎stresses the scientific ‎evidence in favour of the global warming theory and the (...) scientific ‎consensus around it, Atwood is ‎suspicious of the objectivity of science, and draws on an ‎idiosyncratic neo-Malthusian theory of ‎human development. Their implicit views ‎about the cognitive authority of science may be ‎identified with Critical Contextual Empiricism ‎and Feminist Standpoint Epistemology, respectively, ‎both of which face difficulties with ‎providing solid grounds for the position they advocate.‎ ‎. (shrink)

Information providing and gathering increasingly involve technologies like search ‎engines, which actively shape their epistemic surroundings. Yet, a satisfying account ‎of the epistemic responsibilities associated with them does not exist. We analyze ‎automatically generated search suggestions from the perspective of social ‎epistemology to illustrate how epistemic responsibilities associated with a ‎technology can be derived and assigned. Drawing on our previously developed ‎theoretical framework that connects responsible epistemic behavior to ‎practicability, we address two questions: first, given the different technological ‎possibilities available (...) to searchers, the search technology, and search providers, ‎who should bear which responsibilities? Second, given the technology’s ‎epistemically relevant features and potential harms, how should search terms be ‎autocompleted? Our analysis reveals that epistemic responsibility lies mostly with ‎search providers, which should eliminate three categories of autosuggestions: those ‎that result from organized attacks, those that perpetuate damaging stereotypes, and ‎those that associate negative characteristics with specific individuals.‎. (shrink)

Normatively inappropriate scientific dissent prevents warranted closure of scientific controversies and confuses the public about the state of policy-relevant science, such as anthropogenic climate change. Against recent criticism by de Melo-Martín and Intemann of the viability of any conception of normatively inappropriate dissent, I identify three conditions for normatively inappropriate dissent: its generation process is politically illegitimate, it imposes an unjust distribution of inductive risks, and it adopts evidential thresholds outside an accepted range. I supplement these conditions with an inference-to-the-best-explanation (...) account of knowledge-based consensus and dissent to allow policy makers to reliably identify unreliable scientific dissent. (shrink)

Philosophers have recently argued, against a prevailing orthodoxy, that standards of knowledge partly depend on a subject’s interests; the more is at stake for the subject, the less she is in a position to know. This view, which is dubbed “Pragmatic Encroachment” has historical and conceptual connections to arguments in philosophy of science against the received model of science as value free. I bring the two debates together. I argue that Pragmatic Encroachment and the model of value-laden science reinforce each (...) other. Drawing on Douglas’ argument about the indispensability of value judgments in science, and psychological evidence about people’s inability to objectively reason about what they care about, I introduce a novel argument for Pragmatic Encroachment. (shrink)

According to Ian Hacking’s Entity Realism, unobservable entities that scientists carefully manipulate to study other phenomena are real. Although Hacking presents his case in an intuitive, attractive, and persuasive way, his argument remains elusive. I present five possible readings of Hacking’s argument: a no-miracle argument, an indispensability argument, a transcendental argument, a Vichian argument, and a non-argument. I elucidate Hacking’s argument according to each reading, and review their strengths, their weaknesses, and their compatibility with each other.

This paper reviews current debates in social epistemology about the relations ‎between ‎knowledge ‎and consensus. These relations are philosophically interesting on their ‎own, but ‎also have ‎practical consequences, as consensus takes an increasingly significant ‎role in ‎informing public ‎decision making. The paper addresses the following questions. ‎When is a ‎consensus attributable to an epistemic community? Under what conditions may ‎we ‎legitimately infer that a consensual view is knowledge-based or otherwise ‎epistemically ‎justified? Should consensus be the aim of scientific inquiry, and (...) if so, what ‎kind of ‎consensus? How should dissent be handled? It is argued that a legitimate inference ‎that a ‎theory is correct from the fact that there is a scientific consensus on it requires taking ‎into ‎consideration both cognitive properties of the theory as well as social properties of ‎the ‎consensus. The last section of the paper reviews computational models of ‎consensus ‎formation.‎. (shrink)

It is commonly argued that values “fill the logical gap” of underdetermination of theory by evidence, namely, values affect our choice between two or more theories that fit the same evidence. The underdetermination model, however, does not exhaust the roles values play in evidential reasoning. I introduce WAVE – a novel account of the logical relations between values and evidence. WAVE states that values influence evidential reasoning by adjusting evidential weights. I argue that the weight-adjusting role of values is distinct (...) from their underdetermination gap-filling role. Values adjust weights in three ways. First, values affect our trust in the testimony of others. Second, values influence the evidential thresholds required for justified epistemic judgments. Third, values influence the relative weight of a certain type of evidence within a body of multimodal discordant evidence. WAVE explains, from an epistemic perspective, rather than psychological, how smokers, for example, can find the same evidence about the dangers of smoking less persuasive than non-smokers. WAVE allows for a wider effect of values on our accepted scientific theories and beliefs than the effect for which the underdetermination model allows alone; therefore, science studies scholars must consider WAVE in their research and analysis of evidential case studies. (shrink)

This chapter explores properties that bind individuals, knowledge, and communities, together. Section ‎‎1 introduces Hardwig’s argument from trust in others’ testimonies as entailing that trust is the glue ‎that binds individuals into communities. Section 2 asks “what grounds trust?” by exploring assessment ‎of collaborators’ explanatory responsiveness, formal indicators such as affiliation and credibility, ‎appreciation of peers’ tacit knowledge, game-theoretical considerations, and the role moral character ‎of peers, social biases, and social values play in grounding trust. Section 3 deals with establishing (...) ‎reliability standards for formation and breaching of trust. Different epistemic considerations and their ‎underpinning of inductive risks are examined through various communication routes within a ‎discipline, between disciplines, and to the public. Section 4 examines whether a collective entity can ‎be trusted over and above trust that is given to its individual members. Section 5 deals with the roles ‎technological artifacts play in distributed research and collective knowledge. It presents the common ‎view in which genuine trust cannot, in principle, be accorded to artifacts, so as an opposite view. We ‎show that what counts as a genuine object of trust is relevant to debates about the boundaries of ‎collective agency and as a criterion for extended cognitive systems.‎. (shrink)

Social inequality may obstruct the generation of knowledge, as the rich and powerful may bring about social acceptance of skewed views that suit their interests. Epistemic equality in the context of justification is a means of preventing such obstruction. Drawing on social epistemology and theories of equality and distributive justice, we provide an account of epistemic equality. We regard participation in, and influence over a knowledge-generating discourse in an epistemic community as a limited good that needs to be justly distributed (...) among putative members of the community. We argue that rather than trying to operationally formulate an exact criterion for distributing this good, epistemic equality may be realized by insisting on active participation of members of three groups in addition to credited experts: relevant disempowered groups, relevant uncredited experts, and relevant stakeholders. Meeting these conditions fulfills the political, moral, and epistemic aims of epistemic equality. (shrink)

In August 2002, three Indian computer scientists published a paper, ‘PRIMES is in P’, online. It presents a ‘deterministic algorithm’ which determines in ‘polynomial time’ if a given number is a prime number. The story was quickly picked up by the general press, and by this means spread through the scientific community of complexity theorists, where it was hailed as a major theoretical breakthrough. This is although scientists regarded the media reports as vulgar popularizations. When the paper was published in (...) a peer-reviewed journal only two years later, the three scientists had already received wide recognition for their accomplishment. Current sociological theory challenges the ability to clearly distinguish on independent epistemic grounds between distorted and non-distorted scientific knowledge. It views the demarcation lines between such forms of presentation as contextual and unstable. In my paper, I challenge this view. By systematically surveying the popular press coverage of the ‘PRIMES is in P’ affair, I argue--against the prevailing new orthodoxy--that distorted simplifications of scientific knowledge are distinguishable from non-distorted simplifications on independent epistemic grounds. I argue that in the ‘PRIMES is in P’ affair, the three scientists could ride on the wave of the general press-distorted coverage of their algorithm, while counting on their colleagues’ ability to distinguish genuine accounts from distorted ones. Thus, their scientific reputation was unharmed. This suggests that the possibility of the existence of independent epistemic standards must be incorporated into the new SSK model of popularization. (shrink)

If an argument is valid, it is impossible for its premises to be true, and its conclusion false. But how should we understand these notions of truth and impossibility? Here, I present the answers given by John Buridan (ca. 1300-60), showing (i) how he understands truth in his anti-realist metaphysics, and (ii) how he understands modality in connection with causal powers. In short: if an argument exists and is valid, there does not exist a power capable of making the premises (...) true and, at the same time, making the conclusion false. (shrink)

Scholastic philosophers can be quite funny. What’s more, they have good reason to be: Aristotle himself lists ready wit (eutrapelia) among the virtues, as a mean between excessive humor and its defect. Here, I assess Scholastic discussions of humor in theory, before turning to examples of it in practice. The last and finest of these is a joke, hitherto unacknowledged, which Aquinas makes in his famous Five Ways. Along the way, we’ll see (i) that the history of philosophy is not (...) so hostile to humor as is commonly supposed; and (ii) that the competing theories of humor like the Incongruity Theory and the Release Theory are not altogether incompatible. We’ll also see at least one example of an apparent attempt by modern translators to excise humor from a medieval text. Our considerations will open a window into what oral discussion and debate at medieval universities was actually like, and how we should understand the relationship between the texts we have now and the exchanges that actually occurred then. (shrink)

Multiple generality has long been known to cause confusion. For example, “Everyone has a donkey that is running” has two readings: either (i) there is a donkey, owned by everyone, and it is running; or (ii) everyone owns some donkey or other, and all such donkeys run. Medieval logicians were acutely aware of such ambiguities, and the logical problems they pose, and sought to sort them out. One of the most ambitious undertakings in this regard is a pair of massive (...) diagrams (magnae figurae) which map out the logical interrelations of two sets of doubly-general forms. These appear in a fourteenth-century MS of John Buridan’s Summulae de Propositionibus. In this paper, I present these diagrams, and determine the truth conditions of their different forms. To that end, I have developed a bespoke system of diagrams to display their truth conditions. As we will see, such forms present significant difficulties for an all-encompassing account of the role form plays in logic. Accordingly, they can tell us important things about the role logical form plays in Buridan’s account of logical foundations. (shrink)

Many things can be other than they are. Many other things cannot. But what are statements like these about? One answer to this question is that we are speaking of possible worlds: if something can be other than it is, then it actually is that way in some possible world. If something cannot be otherwise, it is not otherwise in any world. This answer is presently dominant in analytical philosophy of language and logic. What are these worlds? David Lewis famously (...) claimed that every world exists, just like ours does: there is no difference between the other worlds and ours. In contrast, the medieval thinker John Buridan understands modal logic in terms of objects and causal powers in this world: if something can be other than it is, then there is a causal power that can make it that way. If it cannot, then no causal power—not even God—can alter it, at least without destroying its nature. As we’ll see, the Lewisian plurality is not possible on Buridan’s account; accordingly, a basic tenet of classical theism is untenable on Lewis’s metaphysics. In short, either the Lewisian plurality is incoherent, or a core monotheistic tenet is impossible. (shrink)

Spoken sentences have parts. Therefore they take time to speak. For instance, when you say, “Socrates is running”, you begin by uttering the subject term ("Socrates"), before carrying on to the predicate. But are the corresponding predications in thought also composite? And are such thoughts extended across time, like their spoken counterparts? Peter Abelard gave an affirmative response to both questions. Alberic of Paris denied the first and, as a corollary, denied the second. Here, I first set out Abelard’s account. (...) I then present a series of arguments against Abelard, reconstructed from (sometimes fragmentary) manuscripts associated with Alberic’s school. I conclude with an observation about present philosophy of language: this twelfth-century debate points to some undefended (and largely unstated) assumptions common to our latest thinking about propositions. I highlight this by presenting recent accounts of two philosophers with radically different outlooks: Jeffrey King and Peter Hanks. Both their accounts take many of the same things for granted, as the Alberican criticisms make plain. (shrink)

It may come as a surprise to readers familiar with the life and work of the Arts Master that he discusses the Eucharist at all. As he likes to remind us, theological topics are generally out of his wheelhouse. Even so, in his Questions on the “Metaphysics” of Aristotle (QM) 4.6, Buridan takes the sacrament of the Eucharist as a key data point in his discussion of Aristotle’s Categories. In the Eucharist, the accidents of the bread and wine—their color, texture, (...) and so on—remain intact, but the underlying substance is transubstantiated into the body and blood of Christ. Accordingly, God can preserve accidents independent of their underlying substance. Therefore, for our part we can use accidental terms, like whiteness, without connoting any substances, like communion bread. Moreover, it follows that, contrary to Aristotle, substance and the accidental categories are not the most general genera. Instead, being (ens) is, as Buridan concludes. Here, I trace Buridan’s thought on the metaphysical and semantic matters of substance in light of the Eucharist. The Eucharist is for him not only a theological truth, but a metaphysical and semantic datum as well. I conclude by asking why Buridan did not take any and all questions about the Eucharist to be out of his ken. What does this tell us about his attitude toward theology? This paper also includes, as an appendix, the first ever English translation of the question under discussion (QM 4.6): “Does the term being (ens) signify substances and accidents by one single concept or notion?”. (shrink)

According to Popper's rationality principle, agents act in the most adequate way according to the objective situation. I propose a new interpretation of the rationality principle as consisting of an idealization and two abstractions. Based on this new interpretation, I critically discuss the privileged status that Popper ascribes to it as an integral part of all social scientific models. I argue that as an idealization, the rationality principle may play an important role in the social sciences, but it also has (...) inherent limitations that inhibit it from having the privileged status that Popper ascribes to it in all cases. (shrink)

What does success in online teaching look like? There are two ways to answer this question. The first defines success in terms of replacement of educational means: for example, how closely does an online lecture approximate its offline counterpart? The second defines success in terms of educational goals: for example, how well does an online lecture facilitate learning, compared with its offline counterpart? The first is a trap: it commits us to an endless online game of catch-up with offline models (...) of teaching. Instead, we should adopt a goal-oriented approach, mindful of obstacles to online teaching. As a case study, I present practices developed using this approach to teach philosophy online in 2020. An important upshot is that this approach leaves us open to ways in which online teaching is actually better than its offline counterpart. I conclude with some examples of these, and discuss their future implementation. (shrink)

David Chalmers thinks his iPhone exemplifies the extended mind thesis by meeting the criteria ‎that he and Andy Clark established in their well-known 1998 paper. Andy Clark agrees. We take ‎this proposal seriously, evaluating the case of the GPS-enabled smartphone as a potential mind ‎extender. We argue that the “trust and glue” criteria enumerated by Clark and Chalmers are ‎incompatible with both the epistemic responsibilities that accompany everyday activities and the ‎practices of trust that enable users to discharge them. Prospects (...) for revision of the original ‎criteria are dim. We therefore call for a rejection of the trust criterion and a reevaluation of the ‎extended mind thesis.‎. (shrink)

There is an existing debate regarding the view that technological instruments, devices, or machines can assert ‎or testify. A standard view in epistemology is that only humans can testify. However, the notion of quasi-‎testimony acknowledges that technological devices can assert or testify under some conditions, without ‎denying that humans and machines are not the same. Indeed, there are four relevant differences between ‎humans and instruments. First, unlike humans, machine assertion is not imaginative or playful. Second, ‎machine assertion is prescripted and (...) context restricted. As such, computers currently cannot easily switch ‎contexts or make meaningful relevant assertions in contexts for which they were not programmed. Third, ‎while both humans and computers make errors, they do so in different ways. Computers are very sensitive to ‎small errors in input, which may cause them to make big errors in output. Moreover, automatic error control ‎is based on finding irregularities in data without trying to establish whether they make sense. Fourth, ‎testimony is produced by a human with moral worth, while quasi-testimony is not. Ultimately, the notion of ‎quasi-testimony can serve as a bridge between different philosophical fields that deal with instruments and ‎testimony as sources of knowledge, allowing them to converse and agree on a shared description of reality, ‎while maintaining their distinct conceptions and ontological commitments about knowledge, humans, and ‎nonhumans.‎. (shrink)

We present a novel model of individual people, online posts, and media platforms to explain the online spread of epistemically toxic content such as fake news and suggest possible responses. We argue that a combination of technical features, such as the algorithmically curated feed structure, and social features, such as the absence of stable social-epistemic norms of posting and sharing in social media, is largely responsible for the unchecked spread of epistemically toxic content online. Sharing constitutes a distinctive communicative act, (...) governed by a dedicated norm and motivated to a large extent by social identity maintenance. But confusion about this norm and its lack of inherent epistemic checks lead readers to misunderstand posts, attribute excess or insufficient credibility to posts, and allow posters to evade epistemic accountability—all contributing to the spread of epistemically toxic content online. This spread can be effectively addressed if people and platforms add significantly more context to shared posts and platforms nudge people to develop and follow recognized epistemic norms of posting and sharing. (shrink)

What makes a valid argument valid? Generally speaking, in a valid argument, if the premisses are true, then the conclusion must necessarily also be true. But on its own, this doesn’t tell us all that much. What is truth? And what is necessity? In what follows, I consider answers to these questions proposed by the fourteenth century logician John Buridan († ca. 1358). My central claim is that Buridan’s logic is downstream from his metaphysics. Accordingly, I treat his metaphysical discussions (...) as the key to his logic. As has been often noted, Buridan’s metaphysics are radically anti-realist about universals, though I think the depth and scope of his anti-realism has at times been papered over. Buridan constructs his logic on an amazingly spartan ontology, and this accomplishment is overdue for reconsideration. To the foregoing questions: truth is a feature of propositions, and of propositions only—not of proposition-like states of affairs, or anything like that. It is a function of the reference or supposition (suppositio) of their terms, which depends on predication in a propositional context. And necessary truth is grounded in causation: a predication is necessary if it cannot be falsified by any power, natural or supernatural, without ii annihilating what its terms stand for. “Socrates is a human”, for instance, can only be falsified by annihilating Socrates, and so it is a necessary truth. -/- These considerations provide an ample theoretical basis for a thorough examination of Buridan’s modal logic. This is what the thesis culminates with. In the final chapter, I set forth some novel and surprising findings, chief of which is this: Buridan’s modal syntax and semantics are nothing like Kripke’s—and indeed are incompatible with them. This has significant implications not only for modal logic and metaphysics, but for how we think about medieval logic and philosophy more generally. -/- Throughout the thesis, I advocate a methodology of emphasising the differences, rather than the similarities, between past and present thought. Buridan is wildly unlike what we’re used to, and we should let him speak for himself. (shrink)

Leading prescriptions for addressing the spread of fake news, misinformation, and other forms of epistemically toxic content online target either the platform or platform users as a single site for intervention. Neither approach attends to the intense feedback between people, posts, and platforms. Leading prescriptions boil down to the suggestion that we make social media more like traditional media, whether by making platforms take active roles as gatekeepers, or by exhorting individuals to behave more like media professionals. Both approaches are (...) impracticable and wrong. (shrink)

Journalism and media studies lack robust theoretical concepts for studying journalistic knowledge ‎generation. More specifically, conceptual challenges attend the emergence of big data and ‎algorithmic sources of journalistic knowledge. A family of frameworks apt to this challenge is ‎provided by “social epistemology”: a young philosophical field which regards society’s participation ‎in knowledge generation as inevitable. Social epistemology offers the best of both worlds for ‎journalists and media scholars: a thorough familiarity with biases and failures of obtaining ‎knowledge, and a strong (...) orientation toward best practices in the realm of knowledge-acquisition ‎and truth-seeking. This paper articulates the lessons of social epistemology for two central nodes of ‎knowledge-acquisition in contemporary journalism: human-mediated knowledge and technology-‎mediated knowledge. ‎. (shrink)

This paper uses readings of two classic autobiographies, Edmund Gosse's Father & Son and John Stuart Mill's Autobiography, to develop a distinctive answer to an old and central question in value theory: What role is played by pleasure in the most successful human life? A first section defends my method. The main body of the paper then defines and rejects voluntarist, stoic, and developmental hedonist lessons to be taken from central crises in my two subjects' autobiographies, and argues for a (...) fourth, diagnostic lesson: Gosse and Mill perceive their individual good through the medium of pleasure. Finally, I offer some speculative moral psychology of human development, as involving the waking, perception, management, and flowering of generic and individual capacities, which I suggest underlies Gosse and Mill's experiences. The acceptance of one's own unchosen nature, discovered by self-perceptive pleasure in the operation of one's nascent capacities, is the beginning of a flourishing adulthood in which that nature is fully developed and expressed. (shrink)

I propose a reading of The Book of Ruth that takes seriously the pastoral concern for refugees, migrants, and their families that was embodied in the life and teaching of Pope John Paul II.The Book of Ruth models virtues and practices that can help build up a society in solidarity, kindness, and peace. Ruth’s decision to stand beside Naomi demonstrates the value of solidarity in creating a hopeful future for families and communities. Naomi’s role in bringing Ruth and Boaz (...) together shows prudence and a sense of responsibility for shaping the common good. As for Boaz, he is an exemplary model of generosity and kindness. With respect to peacemaking, The Book of Ruth shows how enmity and distrust between nations might be overcome, with God’s help. (shrink)

Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various ways can (...) be approximated by finite-valued logics. It is shown that the minimal m-valued logic for which a given calculus is strongly sound can be calculated. It is also investigated under which conditions propositional logics can be characterized as the intersection of (effectively given) sequences of finite-valued logics. (shrink)