This paper continues my work of [9], which showed there was a broad family of many valued logics that have a strict/tolerant counterpart. Here we consider a generalization of weak Kleene three valued logic, instead of the strong version that was background for that earlier work. We explain the intuition behind that generalization, then determine a subclass of strict/tolerant structures in which a generalization of weak Kleene logic produces the same results that the strong Kleene generalization did. This paper provides (...) much background, but is not self-contained. Some results from [9] are called on, and are not reproved here. [9] Melvin C. Fitting. “A Family of Strict/Tolerant Logics”. In: Journal of Philosophical Logic. Online. Print publication forthcoming. (shrink)

This book contains new essays in honor of Melvin J. Lerner, a pioneer in the psychological study of justice. The contributors to this volume are internationally renowned scholars from psychology, business, and law. They examine the role of justice motivation in a wide variety of contexts, including workplace violence, affirmative action programs, helping or harming innocent victims and how people react to their own fate. Contributors explore fundamental issues such as whether people's interest in justice is motivated by self-interest (...) or a genuine concern for the welfare of others, when and why people feel a need to punish transgressors, how a concern for justice emerges during the development of societies and individuals, and the relation of justice motivation to moral motivation. How an understanding of justice motivation can contribute to the amelioration of major social problems is also examined. (shrink)

A common critique of nudges is that they reduce someone's of choices or elicit behavior through means other than rational persuasion. In this paper, I argue against this form of critique. I argue that, if there is anything distinctively worrisome about nudges from the standpoint of morality, it is their tendency to hide the amount of social control that they embody, undermining democratic governance by making it more difficult for members of a political community to detect the social architect’s pulling (...) of the strings. This concern is particularly salient as to choices where it is important for people to directly engage with a certain set of values, “big personal decisions” (to use a simplifying phrase). Many healthcare decisions are exactly these kinds of choices. (shrink)

_The Undiscovered Dewey_ explores the profound influence of evolution and its corresponding ideas of contingency and uncertainty on John Dewey's philosophy of action, particularly its argument that inquiry proceeds from the uncertainty of human activity. Dewey separated the meaningfulness of inquiry from a larger metaphysical story concerning the certainty of human progress. He then connected this thread to the way in which our reflective capacities aid us in improving our lives. Dewey therefore launched a new understanding of the modern self (...) that encouraged intervention in social and natural environments but which nonetheless demanded courage and humility because of the intimate relationship between action and uncertainty. Melvin L. Rogers explicitly connects Dewey's theory of inquiry to his religious, moral, and political philosophy. He argues that, contrary to common belief, Dewey sought a place for religious commitment within a democratic society sensitive to modern pluralism. Against those who regard Dewey as indifferent to moral conflict, Rogers points to Dewey's appreciation for the incommensurability of our ethical commitments. His deep respect for modern pluralism, argues Rogers, led Dewey to articulate a negotiation between experts and the public so that power did not lapse into domination. Exhibiting an abiding faith in the reflective and contestable character of inquiry, Dewey strongly engaged with the complexity of our religious, moral, and political lives. (shrink)

Who should decide who gets to say what on online social media platforms like Facebook, Twitter, and YouTube? American legal scholars have often thought that the private owners of these platforms should decide, in part because such an arrangement is thought to serve valuable free speech interests. This standard view has come under pressure with the enactment of statutes like Texas House Bill 20, which forbids certain platforms from “censoring” user content based on viewpoint. Such efforts to regulate the speech (...) policies of online platforms have been challenged for undermining the editorial speech rights of these platforms and allowing the proliferation of hate speech. This Article develops a democratic theory of free speech, according to which one of the most important reasons for protecting robust free speech rights is that free speech can contribute not only to democratic elections but to a democratic culture more generally. To achieve robust cultural democracy, a community’s speech environment must enable people not only to rationally persuade one another about matters of public importance and convey mutual respect to one another as political equals but also allow people to influence each other in a less articulate and rational manner—to “democratically vibe” with one another. This theory yields a qualified normative defense of government regulation of the speech policies of large social media platforms that can help to realize cultural democracy, suggesting that First Amendment doctrine should focus to a greater extent on protecting the speech rights of platform users, rather than platform owners. Although far from a ringing endorsement of H.B. 20 or S.B. 7072, this Article suggests that First Amendment law should be friendlier to state regulation of platform speech than many critics have thought. (shrink)

Strict/tolerant logic is a formally defined logic that has the same consequence relation as classical logic, though it differs from classical logic at the metaconsequence level. Specifically, it does not satisfy a cut rule. It has been proposed for use in work on theories of truth because it avoids some objectionable features arising from the use of classical logic. Here we are not interested in applications, but in the formal details themselves. We show that a wide range of logics have (...) strict/tolerant counterparts, with the same consequence relations but differing at the metaconsequence level. Among these logics are Kleene’s K3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {K_3}$$\end{document}, Priest’s LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {LP}}$$\end{document}, and first-degree entailment, FDE. The primary tool we use is the bilattice. But it is more than a tool, it seems to be the natural home for this kind of investigation. (shrink)

Spontaneous freedom, the freedom of unplanned and unscripted activity enjoyed by “free spirits,” is central to everyday talk about “freedom.” Yet the freedom of spontaneity is absent from contemporary moral philosophers’ theories of freedom. This article begins to remedy the philosophical neglect of spontaneous freedom. I offer an account of the nature of spontaneous freedom and make a case for its value. I go on to show how an understanding of spontaneous freedom clarifies the free will debate by helping to (...) make sense of the libertarian claim that compatibilist varieties of freedom do not allow for genuine novelty and creativity. (shrink)

How might we philosophize about the metaverse? It is traditionally held that the four main branches of philosophy are metaphysics, epistemology, axiology, and logic. In this article, I shall demonstrate how virtual walt-fictionalism, a particular version of virtual irrealism, is able to offer a straightforward, internally consistent, and powerful response about the metaphysics, epistemology, and axiology (ethics) of the metaverse. I will first characterize the metaverse in terms of a reality-virtuality (RV) continuum and distinguish between virtual realism and virtual irrealism, (...) before elaborating on the explanatory power and potential of virtual walt-fictionalism relative to the metaphysics, epistemology, and axiology (ethics) of the metaverse. (shrink)

Could translation be fully automated? We must first acknowledge the complexity, ambiguity, and diversity of natural languages. These aspects of natural languages, when combined with a particular dilemma known as the computational dilemma, appear to imply that the machine translator faces certain obstacles that a human translator has already managed to overcome. At the same time, science has not yet solved the problem of how human brains process natural languages and how human beings come to acquire natural language understanding. We (...) will then distinguish between the task of translation and the responsibility of the translator. Thereafter, we will conduct a survey of the methods of machine translation (viz. RBMT, SMT, NMT, foundation models or large language models). These methods will then be critically evaluated both in general and relative to Bar-Hillel’s hypothesis about the impossibility of fully automatic, high-quality machine translation (Fahqmt). Some concluding remarks will be made about the scope, prospects, and limits of machine translation. (shrink)

One approach to the paradoxes of self-referential languages is to allow some sentences to lack a truth value (or to have more than one). Then assigning truth values where possible becomes a fixpoint construction and, following Kripke, this is usually carried out over a partially ordered family of three-valued truth-value assignments. Some years ago Matt Ginsberg introduced the notion of bilattice, with applications to artificial intelligence in mind. Bilattices generalize the structure Kripke used in a very natural way, while making (...) the mathematical machinery simpler and more perspicuous. In addition, work such as that of Yablo fits naturally into the bilattice setting. What I do here is present the general background of bilattices, discuss why they are natural, and show how fixpoint approaches to truth in languages that allow self-reference can be applied. This is not new work, but rather is a summary of research I have done over many years. (shrink)

Much scholarly attention has recently been devoted to ways in which artificial intelligence (AI) might weaken formal political democracy, but little attention has been devoted to the effect of AI on “cultural democracy”—that is, democratic control over the forms of life, aesthetic values, and conceptions of the good that circulate in a society. This work is the first to consider in detail the dangers that AI-driven cultural recommendations pose to cultural democracy. This Article argues that AI threatens to weaken cultural (...) democracy by undermining individuals’ direct and spontaneous engagement with a diverse range of cultural materials. It further contends that United States law, in its present form, is ill equipped to address these challenges, and suggests several strategies for better regulating culture-mediating AI. Finally, it argues that while such regulations might run afoul of contemporary First Amendment doctrine, the most normatively attractive interpretation of the First Amendment not only allows but encourages such interventions. (shrink)

Many powerful logics exist today for reasoning about multi-agent systems, but in most of these it is hard to reason about an infinite or indeterminate number of agents. Also the naming schemes used in the logics often lack expressiveness to name agents in an intuitive way.To obtain a more expressive language for multi-agent reasoning and a better naming scheme for agents, we introduce a family of logics called term-modal logics. A main feature of our logics is the use of modal (...) operators indexed by the terms of the logics. Thus, one can quantify over variables occurring in modal operators. In term-modal logics agents can be represented by terms, and knowledge of agents is expressed with formulas within the scope of modal operators. (shrink)

The family of all stable models for a logic program has a surprisingly simple overall structure, once two naturally occurring orderings are made explicit. In a so-called knowledge ordering based on degree of definedness, every logic program P has a smallest stable model, sk P — it is the well-founded model. There is also a dual largest stable model, S k P, which has not been considered before. There is another ordering based on degree of truth. Taking the meet and (...) the join, in the truth ordering, of the two extreme stable models sk P and S.. (shrink)

We wish here to consider the theory of a population or system made up of individuals whose number and size change with time. As usual, the description of these changes will be referred to as the kinetics, whereas the description of the special circumstances under which unchanging conditions subsist will be called the statics of the population. A third category, the conditions for a steady state, i.e., when the variables inside the system do not change, but linked variables outside do, (...) will be described by what we shall call the rheostatics of the system. All three, statics, rheostatics, and kinetics are subdivisions of the general dynamics of the system. (shrink)

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

“The primary purpose of this book has been to provide a single source of containing the basic information about systematic and theoretical psychology which any student of psychology should have. It is mainly directed at the senior undergraduate major and the beginning of the graduate student.”-Publisher.

First - order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently, several semantics based on counterparts have been examined, in a development that goes back to David Lewis. There is yet another line of research, using intensional objects, that traces back to Richard Montague. I have been involved with this line of development for some time. In the present paper, I briefly sketch several (...) of the approaches to first - order modal logic. Then I present one that I call FOIL in the Montague tradition that, I believe, is both expressive and natural. I briefly discuss in what sense it can be made to encompass the other approaches. Finally, I provide tableau rules to go with the FOIL semantics. (shrink)

This essay explores the features in virtue of which games are valuable or worthwhile to play. The difficulty view of games holds that the goodness of games lies in their difficulty: by making activities more complex or making them require greater effort, they structure easier activities into more difficult, therefore more worthwhile, activities. I argue that a further source of the value of games is that they provide players with an experience of freedom, which they provide both as paradigmatically unnecessary (...) activities and by offering opportunities for relatively unconstrained choice inside the ‘lusory’ world that players inhabit. (shrink)

An interpolation theorem holds for many standard modal logics, but first order $S5$ is a prominent example of a logic for which it fails. In this paper it is shown that a first order $S5$ interpolation theorem can be proved provided the logic is extended to contain propositional quantifiers. A proper statement of the result involves some subtleties, but this is the essence of it.

We introduce a subclass of Kripke's fixed points in which falsehood is the preferred truth value. In all of these the truthteller evaluates to false, while the liar evaluates to undefined (or overdefined). The mathematical structure of this family of fixed points is investigated and is shown to have many nice features. It is noted that a similar class of fixed points, preferring truth, can also be studied. The notion of intrinsic is shown to relativize to these two subclasses. The (...) mathematical ideas presented here originated in investigations of so-called stable models in the semantics of logic programming. (shrink)

Kleene’s well-known strong three-valued logic is shown to be one of a family of logics with similar mathematical properties. These logics are produced by an intuitively natural construction. The resulting logics have direct relationships with bilattices. In addition they possess mathematical features that lend themselves well to semantical constructions based on fixpoint procedures, as in logic programming.

Many of us have experienced a peculiar feeling of freedom, of the world being open before us. This is the feeling that is captured by phrases like “the freedom of the open road” and “free spirits,” and, to quote Phillip Larkin, “free bloody birds” going “down the long slide / To happiness, endlessly.” This feeling is associated with the ideas that my life could go in many different directions and that there is a vast range of things that I could (...) become. It arises in concert with a wide range of human experiences, including experiences of artistic creation, play, fun, and resistance to authority. This freedom of openness and spontaneity, which I call spontaneous freedom, is central to our ordinary talk about freedom. Yet it is a phenomenon largely ignored in discussions of freedom in contemporary moral philosophy. This is because moral philosophers are primarily concerned to identify the sort of freedom that is a prerequisite for moral responsibility, and so focus on deliberate, voluntary action rooted in rational choice. When moral philosophers do discuss spontaneous freedom, it is often to disparage it as, in the words of Harry Frankfurt, the freedom of “the wanton” whose liberty is merely that of “anarchic impulsive behavior.” My dissertation develops a theory of spontaneous freedom and of the role it does and should play in our lives, including our moral and political lives. I argue that, to do full justice to the human aspiration for freedom, moral and political theory must recognize the value of spontaneity. Through a study of characters from stories and films by Virginia Woolf, Saki, Akira Kurosawa, and Aman Sethi, I develop a phenomenological account of the nature of spontaneous freedom. I argue that we experience spontaneous freedom when we experience our actions as arising out of ourselves but not fixed in advance either by the decisions of other agents or by our own preexisting commitments or plans. I further argue that spontaneous freedom is valuable because it allows for the distinctive pleasure of feeling that one’s life is unforetold and that one is among the sources of novelty in the world, a feeling that is central to artistic creativity. It also affords solace from the anxiety associated with the inevitability of death. As with many experiences, like falling in love or seeing an alpine lake, experiences of spontaneous freedom are most valuable when they are veridical. But even the subjective experience of spontaneous freedom, I suggest, activates our awareness of and openness to possibility. Achieving this awareness, at least on occasion, is valuable because it provides us with a sense of our own psychological potential and sharpens a skill that contributes to practical deliberation. My claim that spontaneous freedom is valuable conflicts with a popular account of the self. According to that account—endorsed by a number of moral philosophers but most famously associated with Christine Korsgaard—the ideal self is one that is well-ordered, actively constituted through rational deliberation. Such integrity theories of the self are attractive because they provide an account of agency according to which ideal moral agents invariably endorse their own actions and beliefs. Integrity theories view freedom as involving rational, deliberative control of one’s actions. But I argue that integrity theories forbid well-constituted moral agents to seek out experiences of spontaneous freedom: such agents must act in a manner that they antecedently and reflectively endorse, while spontaneous freedom requires acting in a manner not antecedently fixed by one’s own decisions. Insofar as spontaneous freedom is a kind of freedom that we do and should value, my account exerts pressure on this standard view of agency and the self. My account of spontaneous freedom also has important political implications. One version of liberal theory holds that the only sort of political freedom worth having is the freedom of each individual to effectively exercise choice compatibly with every other individual doing likewise. On this picture, I have all of the freedom that I could want if I am able to choose autonomously and act in accordance with my choices. But I argue that a community that secures this liberal variety of freedom does not yet provide its members with all the freedom for which people rightly yearn. When public and private institutions arrange our circumstances in ways that make the courses of our lives predictable, our own choices about how to act may be largely settled by the plans and decisions of other agents. This in turn makes it difficult for us to regard our futures as open in the way that is characteristic of experiences of spontaneous freedom. States should promote spontaneous freedom by providing the material and social preconditions for us to feel that our lives could head in radically different and unanticipated directions. (shrink)

This article develops a liberal theory of cultural rights that must be guaranteed by just legal and political institutions. People form their own individual conceptions of the good in the cultural space constructed by the political societies they inhabit. This article argues that only rarely do individuals develop views of what is valuable that diverge more than slightly from the conceptions of the good widely circulating in their societies. In order for everyone to have an equal opportunity to autonomously form (...) their own independent conception of the good, rather than merely following others, culture must be democratically controlled. Equal respect for members of a liberal democracy requires that all citizens have roughly equal opportunities to do things like make movies, publish novels, and exhibit paintings. This article contends that the contemporary American legal order fails to guarantee that all cititizens have roughly equal opportunities to shape and influence their shared culture. Guaranteeing the liberty to do so would require reforms to many areas of law, including applying anti-discrimination law more broadly to the conduct of cultural organizations, expanding fair use protections in copyright law, limiting the ability of businesses to arbitrarily refuse service to customers, and restricting private control of capital in order to democratize the means of cultural production. (shrink)

We continue a series of papers on a family of many-valued modal logics, a family whose Kripke semantics involves many-valued accessibility relations. Earlier papers in the series presented a motivation in terms of a multiple-expert semantics. They also proved completeness of sequent calculus formulations for the logics, formulations using a cut rule in an essential way. In this paper a novel cut-free tableau formulation is presented, and its completeness is proved.

Kleene’s strong three-valued logic extends naturally to a four-valued logic proposed by Belnap. We introduce a guard connective into Belnap’s logic and consider a few of its properties. Then we show that by using it four-valued analogs of Kleene’s weak three-valued logic, and the asymmetric logic of Lisp are also available. We propose an extension of these ideas to the family of distributive bilattices. Finally we show that for bilinear bilattices the extensions do not produce any new equivalences.

In a forthcoming paper, Walter Carnielli and Abilio Rodrigues propose a Basic Logic of Evidence whose natural deduction rules are thought of as preserving evidence instead of truth. BLE turns out to be equivalent to Nelson’s paraconsistent logic N4, resulting from adding strong negation to Intuitionistic logic without Intuitionistic negation. The Carnielli/Rodrigues understanding of evidence is informal. Here we provide a formal alternative, using justification logic. First we introduce a modal logic, KX4, in which \ can be read as asserting (...) there is implicit evidence for X, where we understand evidence to permit contradictions. We show BLE embeds into KX4 in the same way that Intuitionistic logic embeds into S4. Then we formulate a new justification logic, JX4, in which the implicit evidence motivating KX4 is made explicit. KX4 embeds into JX4 via a realization theorem. Thus BLE has both implicit and explicit possibly contradictory evidence interpretations in a formal sense. (shrink)

The letter killeth, but the spirit giveth life.In the exegetical tradition of Wittgenstein, there have existed three types of readings: the positivist reading, the ineffability reading, and the resolute reading. In this essay, I will be adhering to the resolute reading, whose roots may be traced to James Conant and Cora Diamond. However, the positivist reading of Wittgenstein having been historically prior and still in currency, it bears first examining the features of this approach.2Two readings may be regarded as paradigmatic (...) of the approach in question: A. J. Ayer’s Language, Truth, and Logic and Rudolf Carnap’s “The Elimination of.. (shrink)

A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of several basic results concerning LP. In particular, the realization of S4 into LP is established in a way that carefully examines and explicates the role of the + operator. Finally connections are made with the conventional approach, via soundness and completeness results.