This article tackles the sole surviving ancient commentary on what was perhaps the second most important Platonic work, with special interest for the manner in which the ancients tackled the setting of Plato's dialogues, Socratic ignorance, Socratic eros, the central myth-like Palinode, and the question of oral as against written teaching.

31 chapters covering the Old Academy to Late Antiquity. See attached TOC.

The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

Discerning the decisionmaking of Kim Jong-Un and the North Korean regime on issues of peaceful engagement and warlike actions endures as a mighty challenge for U.S. intelligence analysts and policymakers. In this report, we seek to inform analysis of Democratic People’s Republic of Korea (DPRK) leadership decisionmaking. To do so, we use three discussion papers that were written to facilitate discussion of an interagency working group. The three papers are assembled here in a single report. The first discussion paper describes (...) decisionmaking among different authoritarian regimes, including North Korea, and the opening up of those economies to outside engagement. The second paper outlines two different scenarios that might occur when conventional deterrence on the Korean Peninsula breaks down and the resulting decisions that North Korea’s leadership could face. The third paper assesses DPRK decisionmaking about nuclear weapon use. The report concludes with some observations, drawn from the issues covered in these three discussion papers, about DPRK decisionmaking and stability on the Korean Peninsula. (shrink)

In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...) the same type of causal interventions. When these categories do not evince such groupings, there is reason to revise existing classifications. The contributors all question current psychiatric classifications systems and the assumptions on which they are based. They differ, however, as to why and to what extent the categories are inadequate and how to address the problem. Topics discussed include taxometric methods for identifying natural kinds, the error and bias inherent in DSM categories, and the complexities involved in classifying such specific mental disorders as "oppositional defiance disorder" and pathological gambling. -/- Contributors George Graham, Nick Haslam, Allan Horwitz, Harold Kincaid, Dominic Murphy, Jeffrey Poland, Nancy Nyquist Potter, Don Ross, Dan Stein, Jacqueline Sullivan, Serife Tekin, Peter Zachar. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

I prove that the Boolean Prime Ideal Theorem is equivalent, under some weak set-theoretic assumptions, to what I will call the Cut-for-Formulas to Cut-for-Sets Theorem: for a set F and a binary relation |- on Power(F), if |- is finitary, monotonic, and satisfies cut for formulas, then it also satisfies cut for sets. I deduce the CF/CS Theorem from the Ultrafilter Theorem twice; each proof uses a different order-theoretic variant of the Tukey- Teichmüller Lemma. I then discuss relationships between various (...) cut-conditions in the absence of finitariness or of monotonicity. (shrink)

A model-theoretic approach to the semantics of set-theoretic discourse.

Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...) is logic?” drives us to the question “What is a logical constant?” Though what follows contains some argument, limitations of space constrain me in large part to express my Credo on this topic with the broad brush of bold assertion and some promissory gestures. (shrink)

The Protein Ontology (PRO; http://purl.obolibrary.org/obo/pr) formally defines and describes taxon-specific and taxon-neutral protein-related entities in three major areas: proteins related by evolution; proteins produced from a given gene; and protein-containing complexes. PRO thus serves as a tool for referencing protein entities at any level of specificity. To enhance this ability, and to facilitate the comparison of such entities described in different resources, we developed a standardized representation of proteoforms using UniProtKB as a sequence reference and PSI-MOD as a post-translational modification (...) reference. We illustrate its use in facilitating an alignment between PRO and Reactome protein entities. We also address issues of scalability, describing our first steps into the use of text mining to identify protein-related entities, the large-scale import of proteoform information from expert curated resources, and our ability to dynamically generate PRO terms. Web views for individual terms are now more informative about closely-related terms, including for example an interactive multiple sequence alignment. Finally, we describe recent improvement in semantic utility, with PRO now represented in OWL and as a SPARQL endpoint. These developments will further support the anticipated growth of PRO and facilitate discoverability of and allow aggregation of data relating to protein entities. (shrink)

The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of protein (...) research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)

Even if one sees the law as “a self-contained system of legal reasoning” from which we deduce “neutral,” non-political conclusions from “general principles and analogies among cases and doctrines” (including formalist claims that judges simply call “balls and strikes” like umpires in a baseball game), one should still consider certain characteristics of the party making such deductions or calling such “balls and strikes.” [Relevant citations to quoted language are in the Article.] If such decision maker has questionable motivations, lacks proper (...) perspective, does not grasp the flexibility in the concepts in play, does not grasp the restraints on concepts in play, does not follow the proper processes involved, and lacks the detail, courage, and tenacity needed to reach the proper “deduction” or “call,” on the face of things the formalist, too, should have reason to re-examine any “deduction” or “call” by such party. Thus, even the formalist should not deny the critical role of virtue when examining legal analysis, a role belying the notion of law as a "self-contained system of legal reasoning." -/- This Article thus explores basic freedoms and restraints applicable to legal analysis and the role that virtue plays in balancing such freedoms and restraints. Such exploration covers: (i) the origin, nature, and purpose of concepts and categories used in legal analysis; (ii) the experiential nature of the meaning of such concepts and categories used in legal analysis; (iii) the freedoms and restraints applicable to such concepts and categories as a result of either experience or of the concepts or categories themselves; (iv) how workable notions of virtue rightly balance such freedoms and restraints in legal analysis; (v) the distinction between such virtue and skill; (vi) reconceiving the analytically virtuous mean as a proper balance between such applicable freedoms and restraints; and (vii) defining and surveying the particular virtues that lead us to such proper balance and thus to good legal analysis. My hope is that lawyers and law schools in their curricula will follow such explorations as well in a quest to better understand legal analysis and how to teach and perform it well. (shrink)

Respect for victims requires that we have social systems for punishing and condemning (reproving) serious crimes. But, the conditions of social marginalization and political subordination of the communities from which an overwhelming number of prisoners in the United States come place serious barriers in the face of effective reprobation. Mass incarceration makes this problem worse by disrupting and disrespecting entire communities. While humanities education in the prisons is far from a total solution, it is one way to make reprobation meaningful, (...) so long as the prison classroom is a place where the educators’ values are also put at risk. (shrink)

Contrary to economics or history, for example, there does not exist an organized field dedicated to the philosophy of political science. Given that the philosophical issues raised by political science research are just as pressing and vibrant as those raised in these more organized fields, fostering a field that labels itself Philosophy of Political Science (PoPS) is important. PoPS is advanced here as a fruitful meeting place where both philosophers and practicing political scientists contribute and discuss—with philosophical discussions that are (...) close to and informed by actual developments in political science, making philosophy of science continuous with the sciences in line with contemporary naturalist philosophy of science. The topics scrutinized in the different chapters of the Handbook will figure prominently in PoPS, as we lay out in this chapter. (shrink)

Divers presents a set of de re modal truths which, he claims, are inconvenient for Lewisean modal realism. We argue that there is no inconvenience for Lewis.

© British Society of Aesthetics 2018. Published by Oxford University Press on behalf of the British Society of Aesthetics. All rights reserved. For Permissions, please email: [email protected] adaptation of literary works into films has been almost completely neglected as a philosophical topic. I discuss two questions about this phenomenon:What do we mean when we say that a film is faithful to its source?Is being faithful to its source a merit in a film adaptation?In response to, I set out two distinct (...) senses of fidelity: story fidelity and thematic fidelity. I then argue, in response to, that thematic fidelity, but not story fidelity, is an aesthetic merit in a film adaptation. The key steps in this argument involve showing that merely preserving the story from one medium to another does not typically involve an aesthetically... (shrink)

Immoralists hold that in at least some cases, moral fl aws in artworks can increase their aesthetic value. They deny what I call the valence constraint: the view that any effect that an artwork’s moral value has on its aesthetic merit must have the same valence. The immoralist offers three arguments against the valence constraint. In this paper I argue that these arguments fail, and that this failure reveals something deep and interesting about the relationship between cognitive and moral value. (...) In the fi nal section I offer a positive argument for the valence constraint. (shrink)

Ancient Chinese and Greek thinkers alike were preoccupied with the moral value of music; they distinguished between good and bad music by looking at the music’s effect on moral character. The idea can be understood in terms of two closely related questions. Does music have the power to affect the ethical character of either listener or performer? If it does, is it better as music for doing so? I argue that an affirmative answers to both questions are more plausible than (...) it might seem at first. (shrink)

Where AR is the set of arithmetic Turing degrees, 0 (ω ) is the least member of { $\mathbf{\alpha}^{(2)}|\mathbf{a}$ is an upper bound on AR}. This situation is quite different if we examine HYP, the set of hyperarithmetic degrees. We shall prove (Corollary 1) that there is an a, an upper bound on HYP, whose hyperjump is the degree of Kleene's O. This paper generalizes this example, using an iteration of the jump operation into the transfinite which is based on (...) results of Jensen and is detailed in [3] and [4]. In $\S1$ we review the basic definitions from [3] which are needed to state the general results. (shrink)

Aesthetic internalism claims a link between judgement and motivation: aesthetic judgements bring with them motivations to act in characteristic ways. Critics object that there is a difference between merely liking something and judging it to be aesthetically good, and that it is our likings, not our aesthetic judgements, that motivate us. This paper develops a version of aesthetic internalism that can respond to this criticism. Wholehearted aesthetic judgements are characterized by stability, attention, and motivation. Making such judgements is an important (...) part of a good life, and so at least some aesthetic judgements are motivating. So we have reason to think that this version of aesthetic internalism is true. This paper defends wholehearted aesthetic internalism against objections, and assesses an argument from aesthetic internalism to aesthetic non-cognitivism. While wholehearted aesthetic internalism can only offer qualified support to non-cognitivism, it nonetheless offers a number of fruitful avenues for further work. (shrink)

This paper has three aims: to define autonomism clearly and charitably, to offer a positive argument in its favour, and to defend a larger view about what is at stake in the debate between autonomism and its critics. Autonomism is here understood as the claim that a valuer does not make an error in failing to bring her moral and aesthetic judgements together, unless she herself values doing so. The paper goes on to argue that reason does not require the (...) valuer to make coherent her aesthetic and moral evaluations. Finally, the paper shows that the denial of autonomism has realist commitments that autonomism does not have, and concludes that issues of value realism and irrealism are relevant to the debates about autonomism in ways that have not hitherto been recognized. (shrink)

Neil Gorsuch lauds judges who purport to “apply the law as it is, focusing backward, not forward, and looking to text, structure, and history to decide what a reasonable reader at the time of the events in question would have understood the law to be . . . .” It’s hard to see how such a form of Originalism withstands scrutiny. -/- First, using “reasonable reader” understandings rather than speaker meaning turns language and law on their heads. Audiences effectively become (...) the speakers in ordinary speech (since reader or audience meaning prevails), and audiences (and thus the ruled) effectively become the rulers when interpreting law (since audiences’ meaning prevails). -/- Second, since laws look forward to govern conduct, how can best legal practices keep such a backward focus? -/- Third, words (however understood by others at the time “originally” uttered) may or may not (depending on speaker and not reader meaning) signify concepts whose meanings embrace change over time. For example, the word “planet” used by a speaker before the discovery of Uranus and Neptune may or may not include further planets depending upon what the speaker meant by “planet.” (The same applies to the inclusion or exclusion of Pluto had the speaker used the word “planet” after the discovery of Pluto but before its exclusion by current science.) Unlike the “reasonable” reader of Gorsuch’s Originalism as phrased above, speakers run the gamut from reasonable to unreasonable, from informed to uninformed, and from thoughtful to thoughtless. -/- Fourth, to the extent a judge is principally “constrained” by a text or texts (as he may determine), by dictionaries that he chooses, and by “history” as the judge understands it, isn’t judicial activism encouraged rather than restrained? Talk of a “reasonable” reader masks the fact that there can be multiple “reasonable” conclusions of what a reasonable or unreasonable speaker meant. Is a judge not therefore left to pick definitions and applications of terms that accord with the judge’s understandings of history, understandings that may well be colored by the judge’s politics and judicial philosophy? This applies to principles as well as labels for things. Principles are also subject to multiple frames, and their terms are subject to multiple definitions therefore raising the very same questions just raised above. -/- Finally, such Originalism doesn’t merely fail with legal texts. It also fails when applied to other texts (including sacred texts such as the Ten Commandments) and when used to interpret art (such as “Landscape with the Fall of Icarus” often attributed to Bruegel and which inspired such great ekphrasis as Auden’s “Musée Des Beaux Arts”). These further failures underscore the dysfunction of Originalism in Gorsuch's form noted above. -/- Keywords: Originalism, Neil Gorsuch, Text, Textualism, Scalia, Interpretation, Pragmatics, Speaker Meaning, Art, Painting, Bruegel, Auden, Ekphrasis, Icarus, Bible, Ten Commandments, Herod, Declaration of Independence, Abraham Lincoln. (shrink)

Lawyers and judges cannot adequately address the nature of text, meaning, or interpretation without reference to the insights provided by linguists and philosophers of language. Exploring some of those insights, this article focuses upon what linguists and philosophers of language call “pragmatics.” Pragmatics examines the relations between words and users rather than the relations of words to words (syntax) or the relations of words to the world (semantics). In other words, pragmatics studies how language users actually use and interpret words (...) and other signs in communication. -/- Pragmatics recognizes that speaker meaning can differ from (and even contradict) linguistic meaning, including the literal meaning of text. In its proper context, for example, “Bob is indeed a good lawyer” can ironically mean just the opposite. Pragmatics also recognizes that relevant text is not a thing-in-itself that is simply given. Good lawyers look at such things as purpose and cohesion when determining relevant text. They do not simply take their opponent’s (or even their client’s) assertions of relevance. -/- Pragmatics also provides lawyers with a number of specific concepts and tools which are helpful in determining speaker meaning. For user convenience, this article attempts to set out in one place a number of such concepts and tools. These include: (1) types of cohesion that help determine relevant text, (2) types of context that help determine meaning, (3) pragmatic principles of construction such as principles of relevance and politeness, and (4) important pragmatic notions or devices such as anaphora, cataphora, ellipsis, deixis, presupposition, unstated premises, entailment, and implementives. -/- Finally, as a recurring example (among others) of pragmatics in action, this article examines from multiple perspectives textual issues raised in King v. Burwell, 576 U.S. __ (2015). -/- Keywords: Pragmatics, Semiotics, Interpretation, Textualism, Plain Meaning, King v. Burwell, Affordable Care Act, Text, Meaning, Speaker Meaning, Implicature. (shrink)

Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two monadic predicates.

The paper discusses the arguments for and against animalism and concludes that a pluralist position which rejects animalism and embraces a multiplicity of thinkers is the best option.

Christopher Columbus Langdell has not only damaged the study of law with his three follies: his legal formalism, his redacted appellate case method, and his notion that legal practice taints the professor of law. His three follies have also impaired character development critical for legal actors. This Article focuses on four such critical character traits and virtues impaired by Langdell: (i) imagination, (ii) empathy, (ii) balance, and (iv) integrity. -/- This Article also calls out potential character issues with two professor (...) types inspired by Langdell: (v) the hazing professor who confuses intellectual rigor with intense discomfort and who uses the redacted appellate case method to inflict such discomfort at the expense of better pedagogy, and (vi) the professor without substantial practice experience who is substantially paid to teach what she has never practiced. -/- Agreeing with C.S. Pierce that the best argument is a cable rather than a chain, I end by weaving in a Langdell villanelle. I hope such a cable can help lift Langdell and his follies from legal education and the world. (shrink)

This article explores problems with several definitions of Originalism proposed by Justice Scalia in "Reading Law: The Interpretation of Legal Texts." It begins by looking at Justice Scalia's citation of a possible statement by Queen Anne that Justice Scalia claims in itself justifies Originalism. Queen Anne may have told Sir Christopher Wren that St. Paul's Cathedral was "awful, artificial, and amusing" at a time when those words meant "awe-inspiring, highly artistic, and thought-provoking." Conceding that one must understand how Queen Anne (...) meant these terms, this article shows how this example actually undermines Originalism when applied to on-going rules. It also explores inconsistencies and problems with several definitions of Originalism including Justice Scalia's arbitrary exclusion of technology from the constraints of "original meaning." It further disputes his claim that Originalism ". . .will narrow the range of acceptable judicial decision-making and acceptable argumentation [and that it] will curb -- even reverse -- the tendency of judges to imbue authoritative texts with their own policy preferences." This article maintains that Originalism has the opposite effect. -/- Keywords: originalism, original meaning, Scalia, interpretation, meaning. (shrink)

I explore the claim that “fictive imagining” – imagining what it is like to be a character – can be morally dangerous. In particular, I consider the controversy over William Styron’s imagining the revolutionary protagonist in his Confessions of Nat Turner. I employ Ted Cohen’s model of fictive imagining to argue, following a generally Kantian line of thought, that fictive imagining can be dangerous if one has the wrong motives. After considering several possible motives, I argue that only internally directed (...) motives can satisfy the moral concern. Finally, I suggest that when one has the right motives, fictive imagining is morally praiseworthy since it improves one’s ability to imagine the lives of others. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

The Protein Ontology (PRO) web resource provides an integrative framework for protein-centric exploration and enables specific and precise annotation of proteins and protein complexes based on PRO. Functionalities include: browsing, searching and retrieving, terms, displaying selected terms in OBO or OWL format, and supporting URIs. In addition, the PRO website offers multiple ways for the user to request, submit, or modify terms and/or annotation. We will demonstrate the use of these tools for protein research and annotation.

Where $\underline{a}$ is a Turing degree and ξ is an ordinal $ , the result of performing ξ jumps on $\underline{a},\underline{a}^{(\xi)}$ , is defined set-theoretically, using Jensen's fine-structure results. This operation appears to be the natural extension through $(\aleph_1)^{L^\underline{a}}$ of the ordinary jump operations. We describe this operation in more degree-theoretic terms, examine how much of it could be defined in degree-theoretic terms and compare it to the single jump operation.

Proof uses forcing on perfect trees for 2-quantifier sentences in the language of arithmetic. The result extends to exact pairs for the hyperarithmetic degrees.

In this chapter, which is purely exegetical, I suggest that close attention to the legacy of Anscombe’s mentor Wittgenstein can shed some unaccustomed light both on the idiosyncratic form of inquiry in her book Intention and on some of the particular conclusions found in that book. In the first part, I point to a methodological parallel between Wittgenstein’s post-1945 investigations into the nature of everyday psychological concepts and Anscombe’s treatment of the concept of intention. In the second part, the Wittgensteinian (...) provenance of Anscombe’s logical category ‘knowledge without observation’ is exhibited, and her extension of what falls under this form of knowledge (from Wittgenstein’s case of knowing the arrangement of one’s limbs, to matters concerning intention as well) is outlined. This extension will require a twist in how the intentional form of such knowledge is regarded as corrigible. Finally, I identify the odd form of knowledge just explicated with ‘practical knowledge’ as Anscombe sees it, and try to show that some puzzles revolving around her invocation of Theophrastus’ principle and Aquinas’ view of the causal power of practical knowledge may be resolved thereby. (shrink)

Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts (...) of D and T, these rules are “pure one-step”: their schematic formulations does not use □ or ♢. For the systems associated with the intuitionistic counterparts of K4, etc., these rules meet these conditions: neither □ nor ♢ is iterated; none use both □ and ♢. The join of the two systems associated with each of these familiar logics is the full one-step system for that intuitionistic logic. And further “blended” intuitionistic systems arise from joining these systems in various ways. Adding the 0-version of Excluded Middle to their intuitionistic counterparts yields the one-step systems corresponding to the familiar classical logics. Each proof-theoretic system defines a consequence relation in the obvious way. Section 10 examines inclusions between these consequence relations. Section 11 associates each of the above consequence relations with an appropriate class of models, and proves them sound with respect to their appropriate class. This allows proofs of some failures of inclusion between consequence relations. Section 12 proves that the each consequence relation is complete or weakly complete, that relative to its appropriate class of models. The Appendix presents three further results about some of the intuitionistic consequence relations discussed in the body of the paper. For Keywords, see Part 1. (shrink)

Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...) of number-words is not designation but rather the encoding of cardinality-quantifiers. I also present some reasons for preferring this view. (shrink)

One important but infrequently discussed difficulty with expressivism is the attitude type individuation problem.1 Expressivist theories purport to provide a unified account of normative states. Judgments of moral goodness, beauty, humor, prudence, and the like, are all explicated in the same way: as expressions of attitudes, what Allan Gibbard calls “states of norm-acceptance”. However, expressivism also needs to explain the difference between these different sorts of attitude. It is possible to judge that a thing is both aesthetically good and morally (...) bad. While the realist can explain the difference by suggesting that each judgment makes reference to a different property (or set of properties), the expressivist cannot. She must show that what is expressed by the speaker is different in each case. This has proven to be difficult to do. (shrink)

Let I be a countable jump ideal in $\mathscr{D} = \langle \text{The Turing degrees}, \leq\rangle$ . The central theorem of this paper is: a is a uniform upper bound on I iff a computes the join of an I-exact pair whose double jump a (1) computes. We may replace "the join of an I-exact pair" in the above theorem by "a weak uniform upper bound on I". We also answer two minimality questions: the class of uniform upper bounds on I (...) never has a minimal member; if ∪ I = L α [ A] ∩ ω ω for α admissible or a limit of admissibles, the same holds for nice uniform upper bounds. The central technique used in proving these theorems consists in this: by trial and error construct a generic sequence approximating the desired object; simultaneously settle definitely on finite pieces of that object; make sure that the guessing settles down to the object determined by the limit of these finite pieces. (shrink)

From the mid-1960s until the late 1980s, the well-known general philosophies of science of the time were applied to economics. The result was disappointing: none seemed to fit. This paper argues that this is due to a special feature of economics: it possesses ‘orientational paradigms’ in high number. Orientational paradigms are similar to Kuhn’s paradigms in that they are shared across scientific communities, but dissimilar to Kuhn’s paradigms in that they are not generally accepted as valid guidelines for further research. (...) As will be shown by several examples, orientational paradigms provide economics with common points of reference that support its epistemic coherence and make scientific discourse more easily possible across school boundaries. With the help of systematicity theory, a newer general philosophy of science, one can further elucidate the role of orientational paradigms with regard to scientific progress. (shrink)

In recent years it has become more and more difficult to distinguish between metaethical cognitivism and non-cognitivism. For example, proponents of the minimalist theory of truth hold that moral claims need not express beliefs in order to be (minimally) truth-apt, and yet some of these proponents still reject the traditional cognitivist analysis of moral language and thought. Thus, the dispute in metaethics between cognitivists and non-cognitivists has come to be seen as a dispute over the correct way to characterize our (...) psychology: are moral judgments beliefs, or a kind of pro-attitude? In this paper, I argue that this distinction, too, is difficult to maintain in the light of a reasonable skepticism about folk psychology. I conclude by suggesting some new possibilities for the analysis of moral language that look beyond this distinction. I begin by briefly reviewing some contemporary positions in metaethics on cognitivism and non-cognitivism, that are intended to emphasize the supposed psychological differences between the two views. I show that the appearance of a clear difference between these views depends on one's having a very strong commitment to the context-independence and completeness of certain concepts of folk psychology. I then argue for a moderate skepticism about folk psychology. I conclude that folk concepts like ?belief? are not sufficiently well-defined to settle this metaethical dispute. (shrink)

Biomedical science has been remarkably successful in explaining illness by categorizing diseases and then by identifying localizable lesions such as a virus and neoplasm in the body that cause those diseases. Not surprisingly, researchers have aspired to apply this powerful paradigm to addiction. So, for example, in a review of the neuroscience of addiction literature, Hyman and Malenka (2001, p. 695) acknowledge a general consensus among addiction researchers that “[a]ddiction can appropriately be considered as a chronic medical illness.” Like other (...) diseases, “Once addiction has taken hold, it tends to follow a chronic course.” (Koob and La Moal 2006, p. ?). Working from this perspective, much effort has gone into characterizing the symptomology of addiction and the brain changes that underlie them. Evidence for involvement of dopamine transmission changes in the ventral tegmental area (VTA) and nucleus accumbens (NAc) have received the greatest attention. Kauer and Malenka (2007, p. 844) put it well: “drugs of abuse can co-opt synaptic plasticity mechanisms in brain circuits involved in reinforcement and reward processing”. Our goal in this chapter to provide an explicit description of the assumptions of medical models, the different forms they may take, and the challenges they face in providing explanations with solid evidence of addiction. <br>. (shrink)

Note: This draft was updated on November 10, 2020. Discussing federal statutes, Justice Scalia tells us that “[t]he stark reality is that the only thing that one can say for sure was agreed to by both houses and the president (on signing the bill) is the text of the statute. The rest is legal fiction." How should we take this claim? If we take "text" to mean the printed text, that text without more is just a series of marks. If (...) instead we take "text" (as we must) to refer to something off the page such as the "meaning" of the series of marks at issue, what is that meaning and how do we know that all the legislators "agreed" on that "meaning"? In seeking answers here, we necessarily delve into semiotics (i.e., the “general theory of signs”) by noting that meaningful ink marks ("signifiers) signify a meaning beyond themselves (the "signified.") Thus, understanding how signs function is integral to lawyers' textual and linguistic analysis. Additionally, as this article demonstrates, legal analysis and rhetoric are much impoverished if lawyers ignore nonverbal signs such as icons, indices, and nonverbal symbols. In providing a broad overview of semiotics for lawyers, this article thus (1) begins with a general definition of signs and the related notion of intentionality. It then turns to, among other things, (2) the structure and concomitants of signs in more detail (including the signifier and the signified), (3) the possible correlations of the signifier and the signified that generate signs of interest to lawyers such as the index, the icon, and the symbol; (5) the expansion of legal rhetoric through use of the index, the icon, and the non-verbal as well as the verbal symbol, (6) the nature of various semiotic acts in public and private law (including assertives, commissives, directives, and verdictives); (7) the interpretation and construction of semiotic acts (including contracts as commissives and legislation as directives); (8) the role of speaker or reader meaning in the interpretation and construction of semiotic acts; (9) the semiotics of meaning, time, and the fixation of meaning debate; (10) the impact of signifier drift; (11) the distinction between sense and understanding; and (12) some brief reflections on semiotics and the First Amendment. This article also provides an Appendix of further terms and concepts useful to lawyers in their explorations of semiotics. (shrink)

In this essay I argue that if Kantian and consequentialist ethical theories are vulnerable to the so-called “problem of alienation,” a virtue ethics based on Xunzi’s ethical writings will also be vulnerable to this problem. I outline the problem of alienation, and then show that the role of ritual ( li ) in Xunzi’s theory renders his view susceptible to the problem as it has been traditionally understood. I consider some replies on Xunzi’s behalf, and also discuss whether the problem (...) affects other Confucian and eudaimonian approaches to virtue ethics. I close by considering some solutions to the problem and the affect that this result has on the argumentative dialectic between the three major ethical traditions. (shrink)

This article maintains that the so-called theory-practice divide in legal education is not only factually false but semantically impossible. -/- As to the divide's falsity, practitioners have of course performed excellent scholarship and academics have excelled in practice. As to the divide's semantic impossibility, this article examines, among other things: -/- (1) the essential role of experience in meaning, -/- (2) the resulting inseparability of theory and practice in the world of experience, -/- (3) problems the divide shares in common (...) with debunked Cartesian dualism, and -/- (4) modern cognitive psychology’s notions of embodied meaning which further underscore the semantic impossibility of separating theory from practice in the world of experience. -/- Using insights from such examinations, this article also explores implications of a debunked theory-practice divide for, among other things, law school curriculums and law school faculty hiring standards. -/- Keywords: legal education, legal writing, semantics, theory, practice, experience, Charles Sanders Peirce, embodied meaning, cognitive psychology, Cartesian dualism, affordance knowledge, metaphor, George Lakoff, category, humanities, Langdell, pragmatism, semiotics, philosophy. (shrink)

Many wrongly believe that emotion plays little or no role in legal reasoning. Unfortunately, Langdell and his “scientific” case method encourage this error. A careful review of analysis in the real world, however, belies this common belief. Emotion can be cognitive, and cognition can be emotional. Additionally, modern neuroscience underscores the “co-dependence” of reason and emotion. Thus, even if law were a certain science of appellate cases (which it is not), emotion could not be torn from such “science.” -/- As (...) we reform legal education, we must recognize the role of cognitive emotion in law and legal analysis. If we fail to do this, we shortchange law schools, students, and the bar in grievous ways. We shortchange the very basics of true and best legal analysis. We shortchange at least half the universe of expression (the affective half). We shortchange the importance of watching and guarding the true interests of our clients, which interests are inextricably intertwined with affective experience. We shortchange the importance of motivation in law, life, and legal education. How can lawyers understand the motives of clients and other relevant parties without understanding the emotions that motivate them? How can lawyers hope to persuade judges, other advocates, or parties across the table in a transaction without grasping affective experience that motivates them? How can law professors fully engage students while ignoring affective experience that motivates students? Finally, we shortchange matters of life and death: emotions affect health and thus the very vigor of the bar. -/- Using insights from practice, modern neuroscience, and philosophy, I therefore explore emotion and other affective experience through a lawyer’s lens. In doing this, I reject claims that emotion and other affective experience are mere feeling (though I do not discount the importance of feeling). I also reject claims that emotion and other affective experience are necessarily irrational or beyond our control. Instead, such experience is often intentional and quite rational and controllable. After exploring law and affective experience at more “macro” levels, I consider three more specific examples of the interaction of law and emotion: (i) emotion, expression, and the first amendment, (ii) emotion in legal elements and exceptions, and (iii) emotion and lawyer mental health. To provide lawyers and legal scholars with a “one-source” overview of emotion and the law, I have also included an Appendix addressing a number of particular emotions. -/- Keywords: Emotion, Cognitive Emotion, Reason, Logos, Pathos, Legal Analysis, Legal Reasoning, Neuroscience, Philosophy, Persuasion, Rhetoric, Expression, First Amendment, Free Speech, Common Law Murder, Mental Health, NAACP v. McCrory, Anger, Contempt, Disgust, Hate, Malice. (shrink)

The hermeneutic pragmatism explored in this article timely examines how “post-truth” claims over-estimate semantic freedoms while at the same time underestimating semantic and pre-semantic restraints. Such pragmatism also timely examines how formalists err by committing the reverse errors. Drawing on insights from James, Peirce, Putnam, Rorty, Gadamer, Derrida, and others, such hermeneutic pragmatism explores (1) the necessary role of both internal and objective experience in meaning, (2) the resulting instrumental nature of concepts required to deal with such experience, (3) the (...) related need for workability to apply to the “the collectivity of experience’s demands, nothing being omitted,” (4) the inherent role of morality and other norms in measuring such workability, (5) the semantic as well as experiential nature of our workable realities, (6) the semantic freedoms involved in constructing, framing, and retaining our workable realities and concepts, and (7) the semantic, pre-semantic, and other restraints on constructing, framing, and retaining our workable realities and concepts. -/- Such hermeneutic pragmatism also introduces Eunomia, a real-world alternative to Dworkin’s superhuman judge Hercules. Named after the Greek goddess of good order, the human Eunomia represents the reasonable judge excellently versed in (among other things) legal theory, legal practice, linguistics, and philosophy of language. Additionally, in its appendices, this article surveys the pragmatic restraints of “implementives” and provides a detailed overview of pragmatic “workability” restraints for both law and fact. -/- (By “sense” the title of this article means not only “meaning conveyed or intended” but also “capacity for effective application of the powers of the mind as a basis for action or response.” See Sense, MERRIAM-WEBSTER’S COLLEGIATE DICTIONARY (11th ed. 2014) “Workable” has the broad meaning discussed in Sections II, IV, and Appendix C of the Article, and "good" is further explored in the section on Eunomia, namesake of the Greek goddess of good order.) -/- Keywords: Pragmatism, Hermeneutic, Truth, Rule of Law, William James, C.S. Peirce, Hilary Putnam, Richard Rorty, Gadamer, Habermas, Derrida, Lon Fuller, H.L.A. Hart, Post-truth, Postmodernism, Trump, Rhetoric, Meaning, Interpretation, Metaphor, Category, Lifeworld, Formalism, Framing, Deconstruction. (shrink)

With insights from philosophy of language and semiotics, this article addresses judicial choices and semantic errors involved in United States v. Stevens, 130 S.Ct. 1577 (2010) (refusing to read “killing” and “wounding” to include cruelty and thus striking down a federal statute outlawing videos of animal cruelty), and Snyder v. Phelps, 131 S.Ct. 1207 (2011) (finding a First Amendment right to picket military funerals and verbally attack parents of dead soldiers as part of purportedly-public expression). -/- This article maintains that (...) a better understanding of semiotics (the theory of signs) exposes the flaws in both decisions and bolsters the arguments of the lone dissenter in both cases, Justice Alito. Such a better understanding of semiotics involves grasping (a) how expression involves signs, (b) how signs work in general, and (c) the differences between three basic kinds of signs (indexes, icons and symbols). This article maintains that the expression involved in Stevens and in Phelps was a type of indexical or quasi-indexical expression that, for reasons similar to those involved in child pornography cases, should have no First Amendment protection. -/- This article also notes shifting interpretive positions in the Court that cry out for reform. Although Chief Justice Roberts uses a textualist approach in his majority opinion striking down the animal cruelty statute in Stevens, his majority opinion in National Federation of Independent Business v. Sebelius, 132 S.Ct. 2566 (2012), has no trouble finding a “penalty” a “tax,” upholding the Affordable Care Act, and chastising the dissent for voting to strike down a statute simply because “. . . Congress used the wrong labels.” Id. at 2597. -/- This article attempts to expose such gamesmanship in “textualism” and attempts to lay out a better semiotic path for the Court. It calls for more forthright judicial decision-making in constitutional and statutory interpretation; calls for rejecting mechanical notions of law that conceal judicial choice involved in constitutional and statutory interpretation; and calls for rejecting claims that dictionaries can settle constitutional or statutory interpretation issues without reference to constitutional and statutory goals. -/- Keywords: interpretation, construction, meaning, plain meaning, originalism, original intent, canon, semiotics, signs, signals, symbol, icon, index, signifier, signified, ordinary meaning, freedom of speech, freedom of expression, animal cruelty, first amendment, statutes. (shrink)

This Article explores the interpretation and construction of executive orders using as examples President Trump’s two executive orders captioned “Protecting the Nation From Foreign Terrorist Entry Into the United States” (the “Two Executive Orders”). President Trump issued the Two Executive Orders in the context of (among other things) Candidate Trump’s statements such as: “Islam hates us,” and “[W]e can’t allow people coming into this country who have this hatred.” President Trump subsequently provided further context including his tweet about the second (...) of his Two Executive Orders: “People, the lawyers and the courts can call [the second of the Two Executive Orders] whatever they want, but I am calling it what we need and what it is, a TRAVEL BAN!” Although President Trump replaced the first of the Two Executive Orders with the second one and although the Supreme Court by orders dated October 10, 2017 and October 24, 2017, vacated and remanded litigation involving the second order on grounds of mootness, the Two Executive Orders remain highly instructive for those who would understand the interpretation and construction of executive orders. This article therefore examines in detail the original speaker's (i.e., President Trump's) intended meaning and effect of the Two Executive Orders. It performs such examination using insights from the semiotic subfield of pragmatics, a semiotic subfield which explores how real-world people actually use, interpret, and construe language in various real-world contexts (including contexts where the issuer of the Two Executive Orders himself has claimed that “Islam hates us” and has tweeted “TRAVEL BAN!”). Using such insights of pragmatics, this Article also explores why reasonable judges thoroughly versed in legal theory, legal practice, and pragmatics should conclude that President Trump unlawfully targeted Muslims in the Two Executive Orders. This Article, among other things, also questions the sensibility of such notions as “facial legitimacy” to the extent such notions suggest text has meaning apart from context. Keywords: executive orders, speaker meaning, interpretation, construction, semiotics, pragmatics, originalism, speech acts, context, facial legitimacy, Constitutionality, First Amendment,Trump v. Int’l Refugee Assistance Project, Scalia, immigration, semantics, original meaning, travel ban, Trump, textualism. (shrink)

Langdellian “science” and its “formalism” ignore ways form permits and even creates freedom of choice. For example, as Wordsworth notes, though the weaver is restricted by what his form of loom can weave, the weaver may nonetheless choose what and how he weaves. Furthermore, the loom creates weaving possibilities that do not exist without it. Such freedom alongside form is often lost on lawyers, judges, and teachers trained primarily in Langdellian redacted appellate cases where “facts” and other framed matters often (...) wrongly appear as simply given. Similarly, in the context of their redacted appellate cases, many current students may only see constraint in IRAC (Issue-Rule-Application-Conclusion) and other thought forms rather than the fastidious freedoms such forms both provide and create. -/- Overlooking such freedoms is not only misleading in itself. It also misses the need to study how such freedoms are and should be exercised. When facts are simply presented as “given” and strategic and other choices go unrecorded and unnoticed in redacted appellate opinions, no thorough analysis of these overlooked subjects can occur. This is extremely troubling since such overlooked subjects are at the very heart of the lawyer’s craft. -/- Attempting to remedy such Langdellian shortcomings, this article explores, among other things, five basic levels of thought and the framing choices in such levels of thought: references, issues, rules, application of rules, and conclusions. Though often merely taken as “given” in redacted appellate opinions, a good grasp of reference assures that parties are in fact talking about the same matter or matters (the “reference”). It also increases the likelihood of ascertaining and properly framing all the relevant “facts” in a manner reasonably and ethically consistent with a client’s real interests. Similarly, focusing on flexibility of issue framing both brings necessary focus on what is important in the reference and, to the extent reasonable and ethical, again increases the likelihood of frames most consistent with a client’s real interests. A good grasp of applicable rules and how to frame and apply them on its face increases the likelihood of representing a client well. A good grasp of conclusions and how to frame and hedge them also does the same. -/- Grasping the multilevel complexities in play at these multiple levels pushes us beyond briefing redacted appellate cases to the much more difficult and stimulating work of exploring and teaching good legal thought at all its levels. Legal writing professors are pioneers in this regard and others in the academy can learn much from them. -/- Keywords: RIRAC, IRAC, CREAC, Reference, Issue, Analysis, Rule, Application, Conclusion, Frame, Framing, Metaphor, Concept, Category, Legal Thought, Legal Analysis, Rhetoric, Langdell, Wordsworth, Form, Formalism, Sonnet, Text. (shrink)