This paper presents a model-theoretic semantics for discourse "about" natural numbers, one that captures what I call "the mathematical-object picture", but avoids what I can "the mathematical-object theory".

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)

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)

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)

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

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.

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)

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)

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.

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.

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)

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)

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)

Two slogans define structuralism: contemporary mathematics studies structures; mathematical objects are places in those structures. Shapiro’s version of structuralism posits abstract objects of three sorts. A system is “a collection of objects with certain relations” between these objects. “An extended family is a system of people with blood and marital relationships.” A baseball defense, e.g., the Yankee’s defense in the first game of the 1999 World Series, is a also a system, “a collection of people with on-field spatial and ‘defensive-role’ (...) relations”. “A structure is the abstract form of a system” ; it consists of “a collection of places [sometimes called positions or offices] and a finite collection of functions and relations on these places”. (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)

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)

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)

As a senior physicist colleague and our friend, Robert N. Boyd, wrote in a journal (JCFA, Vol. 1,. 2, 2022), Our universe is but one page in a large book [4]. For example, things and Beings can travel between Universes, intentionally or unintentionally. In this short remark, we revisit and offer short remark to Neil’s ideas and trying to connect them with geometrization of musical chords as presented by D. Tymoczko and others, then to Escher staircase and then to Jacob’s (...) ladder which seems to point to possibility to interpret Jacob’s vision as described in the ancient book of Genesis as inter dimensional or heavenly staircase, e.g. an inter dimensional bridge between heaven and earth (see also classic book: Hofstadter, Godel, Escher, Bach). Jacob’s vision of angels going down to earth from that staircase has been depicted for instance in William Blake art etc. In our communication with others via physics literature and discussions etc, we came to several conclusions as follows: Firstly, possibility of quantum wormhole effect to mirror particle universe, which sometimes it is termed non-orientable wormhole. While such mirror particles effect have been more than 50 years predicted with the so-called parity violation (cf. Lee & Yang, 1950s), and that is called symmetry breaking. Secondly, a series of extended experiments on laser irradiated cold water may suggest possible transition from a phase of water to be at least partially fourth phase of water, which may be composed of crystalline water (see e.g. Gerald Pollack, and also Harold Aspden on liquid crystalline). If we can imagine laser cooling effect can be done in protracted time, then we can achieve a physical representation of Aspden’s liquid crystalline. Therefore, in subsequent article (Part II) we outlined simple model of such an effect of tunneling via quantum liquid crystalline Universe, which may likely be modeled with iced-water. It is interesting to remark here that certain experiments by Stockholm University scientists have shown that X-ray triggered water can exhibit properties just like liquid crystal (cf. PRL, 2020). That is why we consider it possible that there can be quantum phase transition where liquid water (comprised of iced cubes and water) can exhibit effects such as tunneling in quantum liquid crystalline Universe. Last but not least, we admit that what we outlined here is just an initial phase; and if you wish, perhaps we can call such experiments as “wormhole-at-lab” experiments (abbreviated: WHALE). (shrink)

The present article was partly inspired by G. Pollack’s book, and also Dadoloff, Saxena & Jensen (2010). As a senior physicist colleague and our friend, Robert N. Boyd, wrote in a journal (JCFA, Vol. 1, No. 2, 2022), for example, things and Beings can travel between Universes, intentionally or unintentionally [4]. In this short remark, we revisit and offer short remark to Neil Boyd’s ideas and trying to connect them with geometry of musical chords as presented by D. Tymoczko and (...) others, then to Escherian staircase and then to Jacob’s ladder which seems to pointto possibility to interpret Jacob’s vision as described in the ancient book of Genesis as interdimensional staircase, e.g. an interdimensional bridge between heaven and earth (cf. classic book: Hofstadter, Godel, Escher, Bach). Jacob’s vision of angels going down to earth from that staircase has been depicted for instance in William Blake art etc. In our communication with others via physics literature and discussions etc, we came to several conclusions as follows: Firstly, possibility of wormhole effect to mirror particle universe, which sometimes it is termed non-orientable wormhole. While such mirror particles effect have been more than 50 years predicted with the so-called parity violation (cf. Lee & Yang, 1950s), and that is called symmetry breaking. Secondly, a series of extended experiments on laser irradiated cold water may suggest possible transition from a phase of water to be at least partially fourth phase of water, which may be composed of crystalline water (see e.g. Gerald Pollack, and also Harold Aspden on liquid crystalline). If we can imagine laser cooling effect can be done in protracted time, then we can achieve a physical representation of Aspden‘s liquid crystalline. Therefore, in this article we outline a series of simple experiments of laser irradiated iced-water along with beryl and selenite crystals in order to see possibility of such a quantum tunneling via quantum liquid crystalline Universe hypothesis, which may likely be modeled with iced-water. It is interesting to remark here that certain experiments by Stockholm University scientists have shown that X-ray triggered water can exhibit properties just like liquid crystal (cf. PRL, 2020). That is why we consider it possible that there can be quantum phase transition where liquid water (comprised of iced cubes and water) can exhibit effects such as tunneling in quantum liquid crystalline Universe. Last but not least, we admit that what we outlined here is just aninitial phase; and if you wish, perhaps we can call such experiments as “wormhole-at-lab” experiments (abbreviated: WHALE). (shrink)

Coincidence comes in two varieties – permanent and temporary. Moderate monism is the position that permanent coincidence, but not temporary coincidence, entails identity. Extreme monism is the position that even temporary coincidence entails identity. Pluralists are opponents of monism tout court. The intuitively obvious, commonsensical position is moderate monism. It is therefore important to see if it can be sustained.

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.

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)

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)

Bernard Lonergan has argued for a theory of cognition that is transcendentally secure, that is, one such that any plausible attempt to refute it must presuppose its correctness, and one that also grounds a correct metaphysics and ontology. His proposal combines an identity theory of knowledge with an intentional relation between knower and known. It depends in a crucial way upon an appropriation of one’s own cognitional motives and acts, that is, upon “knowing one’s own knowing.” I argue that because (...) of conflicts between the identity and intentionality components of the theory, rational self-appropriation cannot, as Lonergan claims, be an iteration of just the same acts by which we acquire other sorts of knowledge. I propose an amended theory in which the relation between intending-subject and intended-object of first-level cognition becomes, in RSA, a numerical identity of knower and known and of the epistemic and the ontological. (shrink)

This note calls attention to the fact that efficient causes – the sort of cause that changes something or makes something happen – can play no constitutive role in the immediate, cognitively conscious relation between cognitive subject and a cognit-ive object. It notes that: (1) it is a necessary condition for an efficient causal relation that it alter its relata; and (2) it is a necessary condition for a conscious cognitive relat-ion that it does not alter its relata. This has (...) important implication for the theories of knowledge and consciousness, the “Hard Problem,” and related puzzles. (shrink)

In this paper I argue that Bonjour’s claim that empirical beliefs can only be justified by other empirical beliefs and his use of non-normative “spontaneous empirical beliefs” and the “The Doxastic Preumption” fail to solve the problems of coherence theory. I propose a justification of empirical (and other beliefs) based on the work of B. Lonergan.

David Chalmers argues that consciousness -- authentic, first-person, conscious consciousness -- cannot be reduced to brain events or to any physical event, and that efforts to find a workable mind-body identity theory are, therefore, doomed in principle. But for Chalmers and non-reductionist in general consciousness consists exclusively, or at least paradigmatically, of phenomenal or qualia-consciousness. This results in a seriously inadequate understanding both of consciousness and of the “hard problem.” I describe other, higher-order cognitional events which must be conscious if (...) the “hard problem” is to be solved -- in any sense of ‘solve’ which would make us any the wiser about it -- but whose consciousness is quite different from the qualia and phenomena usually inventoried. Events of this kind are both part of the hard problem and the means by which we will solve it, if we ever do. (shrink)

This article introduces the notion of duplex elements of the finite rings and corresponding neutrosophic rings. The authors establish duplex ring Dup(R) and neutrosophic duplex ring Dup(R)I)) by way of various illustrations. The tables of different duplicities are constructed to reveal the comparison between rings Dup(Zn), Dup(Dup(Zn)) and Dup(Dup(Dup(Zn ))) for the cyclic ring Zn . The proposed duplicity structures have several algebraic systems with dissimilar consequences. Author’s characterize finite rings with R + R is different from the duplex ring (...) Dup(R). However, this characterization supports that R + R = Dup(R) for some well known rings, namely zero rings and finite fields. (shrink)

In this paper I call attention to the fact that Lonergan gives two radically opposed accounts of how sense perception relates us to the external world and of how we know that this relation exists. I argue that the position that Lonergan characteristically adopts is not the one implied by what is most fundamental in his theory of cognition. I describe the initial epistemic position with regard to the problem of skepticism about the external material world that is in fact (...) implied by his theory of cognition, and I sort out some confusion about various forms of direct and representative perceptual realism. The paper concludes with a critique of Lonergan’s theory of description and explanation in empirical science that makes evident the difficulties into which he is led by lack of clarity in his theory of perception. (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)

In this paper I call attention to the fact that Lonergan gives two radically opposed accounts of how sense perception relates us to the external world and of how we know that this relation exists. I argue that the position that Lonergan characteristically adopts is not the one implied by what is most fundamental in his theory of cognition. I describe the initial epistemic position with regard to the problem of skepticism about the external material world that is in fact (...) implied by his theory of cognition, and I sort out some confusion about various forms of direct and representative perceptual realism. The paper concludes with a critique of Lonergan’s theory of description and explanation in empirical science that makes evident the difficulties into which he is led by lack of clarity in his theory of perception. (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)