Visualizing and mental imagery are thought to be cognitive states by all sides of the imagery debate. Yet the phenomenology of those states has distinctly visual ingredients. This has potential consequences for the hypothesis that vision is cognitively impenetrable, the ability of visual processes to ground perceptual warrant and justification, and the distinction between cognitive and perceptual phenomenology. I explore those consequences by describing two forms of visual ambiguity that involve visualizing: the ability to visually experience a picture surface as (...) flat after it has caused volumetric nonconceptual contents, and the ability to use a surface initially perceived as flat to visualize three-dimensional scenes. In both cases, the visual processes which extract viewer-centered volumetric shapes have to rely solely on monocular depth cues in the absence of parallax and stereopsis. Those processes can be cognitively penetrated by acts of visualizing, including ones that draw on conceptual information about kinds. However, the penetrability of the visual processes does not weaken their ability to provide perceptual warrant and justification for beliefs. The reason is that picture perceptions—whether they are stimulus -driven or based on acts of visualizing—are different to object perceptions both phenomenologically and in terms of their functional roles as states. Thus, although the penetrability of the visual processes does mean that subjects can have visual experiences with contradictory contents, perceptual belief is adopted at most towards one set of contents, and questions of warrant and justification are raised only for those contents. A rule-proving exception is provided by trompe-l’oeils. (shrink)

The beginning of Plato's Philebus contains a puzzling argument: Socrates says that pleasures are different, and that this somehow supports the contention that not all pleasures are good (contrary to what the hedonist interlocutor, Protarchus, maintains). His argument has a bad reputation in the literature, and more to the point it is confusing. This paper sheds light on Socrates' argument by making use of principles from contemporary metaphysics. I argue that Socrates thinks of pleasure as exhibiting the structure that metaphysicians (...) today associate with determinables and determinates. Specifically, he thinks that what makes each pleasure a pleasure is a unique profile, which simultaneously differentiates it from other pleasures. As a result, the kind, 'pleasure', is really a relational principle of coherence between the different kinds of pleasure. I argue that, based on this metaphysical picture, we can see why Socrates thinks that it is possible that some pleasures are bad, contrary to hedonism. Beyond making sense of the dialectic in the Philebus, my paper advances a growing literature on the interesting metaphysical views developed in this section of Plato's dialogue. (shrink)

Sensation should be understood globally: some infant behaviors do not make sense on the model of separate senses; neonates of all species lack time to learn about the world by triangulating among different senses. Considerations of natural selection favor a global understanding; and the global interpretation is not as opposed to traditional work on sensation as might seem.

A picture provides both configurational content concerning its design features, and recognitional content about its external subject. But how is this possible, since all that a viewer can actually see is the picture's own design? I argue that the most plausible explanation is that a picture's design has a dual function. It both encodes artistically relevant design content, and in turn that design content encodes the subject content of the picture--producing overall a double content structure. Also, it is highly desirable (...) that a resulting double content theory for pictures should be closely integrated with a related double content account of perceptual content generally, so as to avoid suspicions of ad hoc theorizing that would apply only to pictorial content. The resulting theory should also be able to explain the inevitable ambiguities involved in abstracting two levels of visual content from a single visible surface, as well as explaining the systematic relations between the two kinds of content. I provide an orientational theory--based on a recently developed spatial logic of orientational concepts--for this purpose, and show how depictive and perceptual content in general can be usefully explained in these orientational terms. This account of picturing also integrates well with a previously developed, more generic double content theory of art, and it is also plausible in cognitive science terms. (shrink)

‘There is no place in the phenomenology of fully absorbed coping’, writes Hubert Dreyfus, ‘for mindfulness. In flow, as Sartre sees, there are only attractive and repulsive forces drawing appropriate activity out of an active body’1. Among the many ways in which history animates dynamical systems at a range of distinctive timescales, the phenomena of embodied human habit, skilful movement, and absorbed coping are among the most pervasive and mundane, and the most philosophically puzzling. In this essay we examine both (...) habitual and skilled movement, sketching the outlines of a multidimensional framework within which the many differences across distinctive cases and domains might be fruitfully understood. Both the range of movement phenomena which can plausibly be seen as instances of habit or skill, and the space of possible theories of such phenomena are richer and more disparate than philosophy easily encompasses. We seek to bring phenomenology into contact with relevant movements in psychological theories of skilful action, in the belief that phenomenological philosophy and cognitive science can be allies rather than antagonists. (shrink)

Do spatial features appear the same whether they are perceived through vision or touch? This question is at stake in the puzzle that William Molyneux posed to John Locke, concerning whether a man born blind whose sight was restored would be able immediately to identify the shapes of the things he saw. A recent study purports to answer the question negatively, but I argue here that the subjects of the study likely could not see well enough for the result (...) to have been meaningful. I then propose a way to improve the study, by including cues from object motion. (shrink)

An explanation of the seeing of depth both in reality and in pictures requires a dual content theory of visual recognition. In addition, there are two necessary conditions on genuine seeing of depth-related content. First, the right kinds of dependence relations must hold between a physical picture, its content and its perceiver, and second, the perceiver must be in an appropriate, functionally defined perceptual state.

The longstanding species problem in biology has a history that suggests a solution, and that history is not the received history found in many texts written by biologists or philosophers. The notion of species as the division into subordinate groups of any generic predicate was the staple of logic from Aristotle through the middle ages until quite recently. However, the biological species concept during the same period was at first subtly and then overtly different. Unlike the logic sense, which relied (...) on definitions of the essence of both genus and species, biological species from the time of Epicurus were consistently considered to involve a reproductive element: in short, living species relied not on essential definitions, but on the generative cause, which might not be definable. I term this the generative conception of species: species were the generation by reproduction of form. This undercuts the claim that species before Darwin were essentialist, and divorces the notion of a type from that of essence. In fact, as late as the end of the nineteenth century, logicians explicitly treated biological “species” as a homonym only of logical essentialist species, and permitted considerable deviation from the type or form. At every point, species in logic were thought to be a subset, in effect, of some more general notion. I sketch a history of both philosophical and biological traditions of the species concept, before turning to the current conceptions. These are reconsidered in the light of this history, and in particular Mayr’s changing views are shown to be somewhat Whiggish, historiographically. Of the many touted biological species concepts, only one of which (Mayr’s) is called _the_ Biological Species Concept, none appears to capture all the relevant facts, intuitions, and operational requirements of biology. Cladistic conceptions, however, have much in common with the older philosophical literature, in that the natural group of cladism is the clade, or monophyletic group. After considering the Individuality Thesis, and the metaphysics of species, we see that species are the most particular terminal taxa in a clade, and that they are “defined” in terms of the particular synapomorphies, or evolved characters, that are causally responsible for keeping the lineages that organisms form distinct from one another. In this way, we can remain within the generative conception of species that has been in play for over two millennia, and yet avoid the pitfalls of prior attempts to find a universal conception of species. (shrink)

I report two experiments studying the relationship among explicit judgments about what people see, know, and should assert. When an object of interest was surrounded by visibly similar items, it diminished people’s willingness to judge that an agent sees, knows, and should tell others that it is present. This supports the claim, made by many philosophers, that inhabiting a misleading environment intuitively decreases our willingness to attribute perception and knowledge. However, contrary to stronger claims made by some philosophers, inhabiting a (...) misleading environment does not lead to the opposite pattern whereby people deny perception and knowledge. Causal modeling suggests a specific psychological model of how explicit judgments about perception, knowledge, and assertability are made: knowledge attributions cause perception attributions, which in turn cause assertability attributions. These findings advance understanding of how these three important judgments are made, provide new evidence that knowledge is the norm of assertion, and highlight some important subtleties in folk epistemology. (shrink)

Most traditional epistemologists see trust and knowledge as deeply antithetical: we cannot know by trusting in the opinions of others; knowledge must be based on evidence, not mere trust. I argue that this is badly mistaken. Modern knowers cannot be independent and self-reliant. In most disciplines, those who do not trust cannot know. Trust is thus often more epistemically basic than empirical evidence or logical argument, for the evidence and the argument are available only through trust. Finally, since the reliability (...) of testimonial evidence depends on the trustworthiness of the testifier, this implies that knowledge often rests on a foundation of ethics. The rationality of many of our beliefs depends not only on our own character, but on the character of others. (shrink)

The first premise of Schellenberg’s particularity argument reads, “If a subject S perceives a particular α, then S discriminates and singles out α” (2018: 25). But this is false if seeing a ganzfeld is possible (i.e., a homogeneous field without any particulars to discriminate). In response, Schellenberg argues that seeing a ganzfeld is impossible by appealing to the ganzfeld effect (viz. hallucinatory experiences caused by ganzfeld exposure) exclusively as a ‘sense of blindness’. I present two challenges for this line of (...) reasoning. The first concerns the need to account for the long delay before blindness is reported (if it is reported at all) and the second concerns the need to be consistent with potential causes of ganzfeld hallucinations (in general, not exclusive to the sense of blindness). I show how Schellenberg’s particularity argument can meet the first challenge but struggles to meet the second. I present evidence based on considerations related to sensory deprivation and that follow from the predictive processing theory of cognition, which describes seeing a ganzfeld as the cause of ganzfeld hallucinations. If correct, this means that you can see a homogeneous field, and thus we ought to be skeptical of the soundness of Schellenberg’s particularity argument. I conclude with a possible strategy for rehabilitating the particularity argument that reconceptualizes perceptual experience as fundamentally multimodal, constituted by both exteroceptive and interoceptive sensation. (shrink)

This paper addresses relations between memory and imagery in expert sport in relation to visual or visuospatial perspective. Imagining, remembering, and moving potentially interact via related forms of episodic simulation, whether future- or past-directed. Sometimes I see myself engaged in action: many experts report switching between such external visual perspectives and an internal, 'own-eyes', or field perspective on their past or possible performance. Perspective in retrieval and in imagery may be flexible and multiple. I raise a range of topics for (...) empirical research on perspective and visualization. (shrink)

Everyone will agree that education ought to prepare young people to lead a meaningful life, but there are different ways in which this notion can be understood. A religious interpretation has to be distinguished from the secular one on which this paper focuses. Meaningfulness in this non-religious sense is a necessary condition of a life of well-being, having to do with the nesting of one’s reasons for action within increasingly pervasive structures of activity and attachment. Sometimes a life can seem (...) meaningless when it is not so in fact. In more extreme cases it may in fact be to some extent meaningless. Equipping young people for a meaningful life is a worthwhile, but not all-important educational aim. Educators should help them not only to see their lives as meaningful but also to lead lives that <are> meaningful. This involves continuous engagement in the nesting of reasons mentioned above. Where autonomy is also an aim, temperamental attunement to possible options – rather than exposure to all possible options – and time to explore them are important considerations. Questions arise here both about social justice and about whether current school curriculum and timetabling arrangements help or hinder pupils in living a meaningful life. (shrink)

Review of Searl's book Seeing Things as They are.

Lloyd Jones’s *The Book of Fame*, a novel about the stunningly successful 1905 British tour of the New Zealand rugby team, represents both skilled group action and the difficulty of capturing it in words. The novel’s form is as fluid and deceptive, as adaptable and integrated, as the sweetly shaped play of the team that became known during this tour for the first time as the All Blacks. It treats sport on its own terms as a rich world, a set (...) of bodily skills, and an honest profession in itself. A reading of *The Book of Fame* can contribute to the interdisciplinary study of literature and cognition, exemplifying two-way ‘exchange values’. On the one hand, we gain insights into the nature of skilful group agency, of distinct forms and at distinct timescales, by focussing on the precise forms taken by the All Blacks’ creation of space. Here, we treat The Book of Fame as a brilliant evocation of features of collective thought, movement, and emotion that both everyday and scientific inquiry can easily miss. On the other hand, we also read back into the novel a subtle, fascinated interrogation of the mechanisms by which small groups form, evolve, and act. In this more ambitious mode of analysis, we use independently motivated theoretical concerns to help us see real features of the literary work that might otherwise remain invisible. We focus on the relationship between skilful performance and collective action. These topics fall outside the ambit of much current work by literary theorists using cognitive research, who tend to focus on theory of mind and modularity, metaphor and blending, emotion and empathy, consciousness and concepts, representation and so on. But skilled performance and collective action comprise surprisingly lively research fields across the sciences, from neuropsychology to philosophy of mind and cognitive anthropology. These areas of inquiry may provide even more productive avenues for future work in the interfield of literary and cultural theory and the cognitive sciences. (shrink)

1. The restless mind[1] Like us, early modern philosophers, both natural and moral, didn’t always understand the springs of their own actions. They didn’t want to feel everything they felt, and couldn’t trace the sources of all their thoughts and imaginings. Events from past experience come to mind again unwilled: abstract thought is interrupted by fantastical images, like the ‘winged horses, fiery dragons, and monstrous giants’ by which Hume exemplified ‘the liberty of the imagination’[2]. Then, as now, a failure to (...) keep a train of thought on track could be blamed for both personal and social ills, for wasted lives and erratic policies. The ongoing struggle to distinguish the deliverances of reason from what Hume called ‘the loose and indolent reveries of a castle-builder’ (1739/ 1978, p.624) thus required scrutiny of daydream and fancy as much as belief and knowledge (see also Tierney- Hynes 2007 on the ‘castle-builder’). The mind’s tendencies to float and to roam were of great interest to early modern philosophers as well as to others concerned with medicine, mental health, morals, education, and taste. This paper sketches one local line of thinking and theorizing about ‘mind-wandering’ and its bodily causes in British philosophy over the first decades of the 18th century, as a small exemplar of a form of cognitive history intended to illuminate independent historical and contemporary concerns about our understanding of mental life. The dual aim is to see problems in our historical material that we might otherwise miss, and to use history to explore phenomena more or less marginalized by modern psychology[3]. (shrink)

This paper argues that the role of knowledge in the explanation and production of intentional action is as indispensable as the roles of belief and desire. If we are interested in explaining intentional actions rather than intentions or attempts, we need to make reference to more than the agent’s beliefs and desires. It is easy to see how the truth of your beliefs, or perhaps, facts about a setting will be involved in the explanation of an action. If you believe (...) you can stop your car by pressing a pedal, then, if your belief is true, you will stop. If it is false, you will not. By considering cases of unintentional actions, actions involving luck and cases of deviant causal chains, I show why knowledge is required. By looking at the notion of causal relevance, I argue that the connection between knowledge and action is causal and not merely conceptual. (shrink)

Distributed Cognition and Integrational Linguistics have much in common. Both approaches see communicative activity and intelligent behaviour in general as strongly con- text-dependent and action-oriented, and brains as permeated by history. But there is some ten- sion between the two frameworks on three important issues. The majority of theorists of distributed cognition want to maintain some notions of mental representation and computa- tion, and to seek generalizations and patterns in the various ways in which creatures like us couple with technologies, (...) media, and other agents; many also want to offer explanations at subpersonal levels which may undercut the autonomy of personal-level accounts. In contrast, dominant views in integrational linguistics reject all invocation of representation, resist the explanatory search for similarity across contexts and moments, and see linguistics as a lay dis- cipline which should not offer explanations in terms alien to ordinary agents. On each of these issues, I argue that integrationists could move closer to the distributed cognition frame- work without losing the most important aspects of their view: integrationist criticisms of mainstream or classical theories can be respected while alliances with revised cognitivist views about representation, context, and explanation are developed. Ó 2004 Elsevier Ltd. All rights reserved. (shrink)

The problem of downward causation is that an intuitive response to an intuitive picture leads to counterintuitive results. Suppose a mental event, m1, causes another mental event, m2. Unless the mental and the physical are completely independent, there will be a physical event in your brain or your body or the physical world as a whole that underlies this event. The mental event occurs at least partly in virtue of the physical event’s occurring. And the same goes for m2 [2] (...) and p2. Let’s not worry about what exactly “underlying” or “in virtue of” means here. Here’s the picture. m1 -----> m2 | | p1 -----> p2 The horizontal arrows represent causation, and the vertical lines represent underlying, whatever that may be. There’s some reason to think that the only way m1 can bring about m2 is by bringing about p2. You can’t convince someone of something through mental telepathy. You need to interact with the physical world, perhaps by saying something and so making some noise, or by pointing and getting them to turn their head and see. What goes for the case of two people goes for the case of one person as well. Superstition aside, there is no purely mental energy that floats free of the merely physical workings of the brain. If m1 brings about m2 by bringing about p2, then m1 brings about p2. This is downward causation. But wait. Doesn’t p1 bring about p2? Isn’t that what the bottom arrow represents? Maybe m1 and p1 work together to bring about p2. There are little holes in the physical causal structure that need to be filled by mental events. You don’t need a sweeping metaphysical thesis about the causal closure of the physical to find this implausible. Maybe p2 is overdetermined. (shrink)

As complicated an affair as it may be to give a fully acceptable general characterization of professional codes of ethics that will capture every nuance, one theme that has attracted widespread attention portrays them as contrivances whose primary function is to secure certain obligations of professionals to clients, or to the external community. In contrast to such an "externalist" characterization of professional codes, it has occasionally been contended that, first and foremost, they should be understood as internal conventions, adopted among (...) professionals as a device for securing the "interests" of the professionals themselves. In what follows, I will argue that both of these lines are incomplete. As important as service to the community and the interests of professionals may be in the full understanding of the multiple role that "codes of ethics" play in many professions, it is equally important to see them as expressive of the romance of a profession. Professional codes should be understood not only in terms of their utility to the community, or in terms of their utility to practitioners, but as expressions of callings. Analyses of professional codes of ethics that do not take into consideration their role in evoking the romance of a professional calling are thus not entirely adequate. Professional standards and codes can be fully understood only if one appreciates that they are designed to contribute to and evoke feelings of dignity, self-worth-and, for better or for worse, even the superiority--of the professionals themselves; the code may seem to them to express essential features of what the profession really is. (shrink)

While I strongly agree with Patrick Grim that abstract relationships are real, and that it is possible to get them right, the danger that we will get them wrong is just as real. The use of visual representation of abstract phenomena, precisely because of our predilection to see patterns in everything and because we don't have to think so hard about visible representations generally, may lead us to see things that aren't there.

A case study in historical cognitive science, this paper addresses two claims made by radical proponents of new dynamical approaches. It queries their historical narrative, which sees embodied, situated cognition as correcting an individualist, atemporal framework originating in Descartes. In fact, new Descartes scholarship shows that 17th-century animal spirits neurophysiology realized a recognizably distributed model of memory; explicit representations are patterns of spirit flow, and memory traces are changes left by experience in connections between brain pores. This historical sketch supports (...) the second dynamicist claim, that connectionists' stress on the cognitive importance of pattern-recreation needs supplementing by dynamicists' real-time focus and attention to the active roles of body and environment. Animal spirits theory exhibits just the 'continuous reciprocal causation' between brain, body, and environment which Andy Clark sees as dynamicism's central contribution, and allows for the embedding of brains in culture as well as the physical world. (shrink)

Consequentialism is thought to be in significant conflict with animal rights theory because it does not regard activities such as confinement, killing, and exploitation as in principle morally wrong. Proponents of the “Logic of the Larder” argue that consequentialism results in an implausibly pro-exploitation stance, permitting us to eat farmed animals with positive well- being to ensure future such animals exist. Proponents of the “Logic of the Logger” argue that consequentialism results in an implausibly anti-conservationist stance, permitting us to exterminate (...) wild animals with negative well-being to ensure future such animals do not exist. We argue that this conflict is overstated. Once we have properly accounted for indirect effects, such as the role that our policies play in shaping moral attitudes and behavior and the importance of accepting policies that are robust against deviation, we can see that consequentialism may converge with animal rights theory significantly, even if not entirely. (shrink)

It is often noted that if someone has a tertiary degree in a scientific field who promotes an anti-science-establishment, antiscience, or pseudoscience agenda, they are very often engineers, dentists, surgeons or medical practitioners. While this does not mean that all members of these professions or disciplines are antiscience, of course, the higher frequency of pseudoscience among them is indicative of what I call the “deductivist mindset” regarding science itself. Opposing this is the “inductivist mindset”, a view that has been deprecated (...) among philosophers since Popper. Roughly, the deductivist mindset tends to see problems as questions that can be resolved by deduction from known theory or principle, while the inductivist sees problems as questions to be resolved by discovery. These form cognitive poles, which nobody ever purely instantiates, but a cognitive tendency to be a deductivist may explain why some people find results that conflict with prior theoretical commitments, whether scientific or not, unacceptable. The deductivist tends to be a cognitive conservative, where the inductivist tends to be a cognitive progressive, and the conservative mindset leads to a ressentiment about modernism, and hence about certain scientific results, more often, or so I shall argue in this chapter. (shrink)

Descartes, the textbooks say, divided human beings, or at least their minds, from the natural world. This is not just the consequence of metaphysical dualism, but of the concomitant indirect ‘ideas’ theory of perception. On the standard view, the soul must dimly infer the nature of the external world from the meagre, fragmentary, and often misleading input which is causally transmitted from objects through the nervous system to the brain and, ultimately, to the pineal gland. The metaphysical solipsism of the (...) cogito, on this picture, has its psychophysiological counterpart in the way Descartes sets all goings-on in nature at such a distance from the knowing subject who is temporarily and imperfectly united with a physical body. We cannot be sure, after all, that there are human beings rather than mere automata under the hats and cloaks we see from our window. (shrink)

Previous discussions of addiction have often focused on the question of whether addiction is a disease. This discussion distinguishes that question – the disease question – from the question of whether addiction is a disability. I argue that, however one answers the disease question, and indeed on almost any credible account of addiction, addiction is a disability. I then consider the implications of this view, or why it matters that addiction is a disability. The disease model of addiction has led (...) many to see addiction as primarily a medical problem, and to make medical treatment of the addicted person the first priority in addressing addiction. Once addiction is viewed as a disability, different concerns are foregrounded. The problem of addiction resides not only in the addicted person, but also in the social environment in which the addicted person finds herself. The fundamental ethical question about addiction is not how addicted persons can be treated or otherwise changed, but how a just society can make reasonable accommodations for addicted persons. (shrink)

Sex is an important part of human life. It is a source of pleasure and intimacy, and is integral to many people’s self-identity. This chapter examines the opportunities and challenges posed by the use of AI in how humans express and enact their sexualities. It does so by focusing on three main issues. First, it considers the idea of digisexuality, which according to McArthur and Twist (2017) is the label that should be applied to those ‘whose primary sexual identity comes (...) through the use of technology’, particularly through the use of robotics and AI. While agreeing that this phenomenon is worthy of greater scrutiny, the chapter questions whether it is necessary or socially desirable to see this as a new form of sexual identity. Second, it looks at the role that AI can play in facilitating human-to-human sexual contact, focusing in particular on the use of self-tracking and predictive analytics in optimising sexual and intimate behaviour. There are already a number of apps and services that promise to use AI to do this, but they pose a range of ethical risks that need to be addressed at both an individual and societal level. Finally, it considers the idea that a sophisticated form of AI could be an object of love. Can we be truly intimate with something that has been ‘programmed’ to love us? Contrary to the widely-held view, this chapter argues that this is indeed possible. (shrink)

It is widely believed that a conservative moral outlook is opposed to biomedical forms of human enhancement. In this paper, I argue that this widespread belief is incorrect. Using Cohen’s evaluative conservatism as my starting point, I argue that there are strong conservative reasons to prioritise the development of biomedical enhancements. In particular, I suggest that biomedical enhancement may be essential if we are to maintain our current evaluative equilibrium (i.e. the set of values that undergird and permeate our current (...) political, economic, and personal lives) against the threats to that equilibrium posed by external, non-biomedical forms of enhancement. I defend this view against modest conservatives who insist that biomedical enhancements pose a greater risk to our current evaluative equilibrium, and against those who see no principled distinction between the forms of human enhancement. (shrink)

Elijah Chudnoff’s case for irreducible cognitive phenomenology hinges on seeming to see the truth of a mathematical proposition (Chudnoff 2015). In the following, I develop an augmented version of Chudnoff’s case, not based on seeming to see, or intuition, but based on being in a state with presentational phenomenology of high-level content. In contrast to other cases for cognitive phenomenology, those based on Strawson’s case (Strawson 2011), I argue that the case presented here is able to withstand counterarguments, which attempt (...) to reduce cognitive phenomenology to sensory phenomenology. To support my argument, I present findings from Bowden and Jung-Beeman’s experiments with the Aha! Experience (Bowden & Jung-Beeman 2004), and argue that the Aha! Experience is a species of the experience of understanding presented here. I interpret the results of these experiments to provide further evidence for irreducible cognitive phenomenology. (shrink)

Integrative and naturalistic philosophy of mind can both learn from and contribute to the contemporary cognitive sciences of dreaming. Two related phenomena concerning self-representation in dreams demonstrate the need to bring disparate fields together. In most dreams, the protagonist or dream self who experiences and actively participates in dream events is or represents the dreamer: but in an intriguing minority of cases, self-representation in dreams is displaced, disrupted, or even absent. Working from dream reports in established databanks, we examine two (...) key forms of polymorphism of self-representation: dreams in which I take an external visuospatial perspective on myself, and those in which I take someone else's perspective on events. In remembering my past experiences or imagining future or possible experiences when awake, I sometimes see myself from an external or 'observer' perspective. By relating the issue of perspective in dreams to established research traditions in the study of memory and imagery, and noting the flexibility of perspective in dreams, we identify new lines of enquiry. In other dreams, the dreamer does not appear to figure at all, and the first person perspective on dream events is occupied by someone else, some other person or character. We call these puzzling cases 'vicarious dreams' and assess some potential ways to make sense of them. Questions about self-representation and perspectives in dreams are intriguing in their own right and pose empirical and conceptual problems about the nature of self-representation with implications beyond the case of dreaming. (shrink)

A fruitful way to approach The Idea of Phenomenology is through Husserl’s claim that consciousness is not a bag, box, or any other kind of container. The bag conception, which dominated much of modern philosophy, is rooted in the idea that philosophy is restricted to investigating only what is really immanent to consciousness, such as acts and sensory contents. On this view, what Husserl called the riddle of transcendence can never be solved. The phenomenological reduction, as Husserl develops it in (...) The Idea of Phenomenology, opened up a new and broader sense of immanence that embraces the transcendent, making it possible both to solve the riddle and to escape the bag conception once and for all. The essay will discuss ways in which this new conception of immanence is tied to the key Husserlian themes of appearance, phenomenon, essence, seeing or intuiting, and constitution. (shrink)

There is a growing sense of unease around algorithmic modes of governance ('algocracies') and their impact on freedom. Contrary to the emancipatory utopianism of digital enthusiasts, many now fear that the rise of algocracies will undermine our freedom. Nevertheless, there has been some struggle to explain exactly how this will happen. This chapter tries to address the shortcomings in the existing discussion by arguing for a broader conception/understanding of freedom as well as a broader conception/understanding of algocracy. Broadening the focus (...) in this way enables us to see how algorithmic governance can be both emancipatory and enslaving, and provides a framework for future development and activism around the creation of this technology. (shrink)

Abstract This paper explores Reiner Schürmann’s account of perigrinal ontology from the perspective of Meister Eckhart. What is so extraordinary about his work is its retrieval of nuances in Plato’s philosophy of mind. Professor Schürmann’s approach to Philosophy focused on a philosopher’s philosophy of mind. For example, his course titles, such as Augustine’s Philosophy, were listed and taught in Augustine’s Philosophy of Mind. The advantage of his approach can best be seen in his study of the Medieval Philosopher Meister Eckhart. (...) In this work, Professor Schürmann totalizes the relationship between the will and the intellect and unites the different categories of Platonic philosophy under the concept of perigrinal ontology. Instead of treating epistemology or aesthetics in isolation, they are examined as they relate to ontology. In Plato’s epistemology, the highest form of knowing is different; at its highest point, knowledge is a seeing. Meister Eckhart and the other Neoplatonic philosophers continued the argument that Plato initiated. This is not an instance of Gnosticism in that the successors of Plato in the Christian tradition are not introducing new material but are extending Plato’s philosophy. At the center of the controversies about Meister Eckhart’s alleged departure from Christian doctrine is the oneness with God. Here, Professor Schürmann acts like a good editor. He painstakingly draws out pertinent distinctions to demonstrate Meister Eckhart’s adherence to tradition. It is interesting in this light to consider what Saint Thomas Aquinas has said on some of these same issues. One can see, too, that Meister Eckhart is a good deal closer to Saint Thomas than is generally thought. Saint Thomas's writings are full of references to Neoplatonic philosophers, but he also actively engages with their ideas. Though exploring this is beyond this paper's scope, Saint Thomas’s commentary of the Christian Neoplatonist Pseudo Dionysius primarily supports this point. We also need to recall that the period in which all this unfolded was a period in history marked by the democratization of religion. More importantly, Meister Eckhart’s time was informed by the democratization of theology. Meister Eckhart’s writings and personal commitment to that project are noteworthy in this context. His decision to teach women in religious orders advanced theology, a historical breakthrough. There are some notable debates that Professor Schürmann addressed in this work. Perhaps chief among these is the overly close connection between the writings of Meister Eckhart and that of the late Heidegger. It had been suggested that Martin Heidegger’s interest in Zen Buddhism was thought to include that of Meister Eckhart. Waiting upon Being and detachment or releasement were similar in these three schools of thought. Professor Schürmann viewed this as a form of syncretism, the mashing up of ideas that seem similar but have important distinctions. For Professor Schürmann, the absolute absence of the faculty of the will in Meister Eckhart’s work distinguished him from these other philosophies. It is striking that Professor Schürmann repeatedly cites texts where Meister Eckhart sees the highest form of knowledge as purely a feature of the intellect. He even goes so far as to note that the will is almost absent from Meister Eckhart’s philosophy of mind. -/- . (shrink)

C. I. Lewis (I883-I964) was the first major figure in history and philosophy of logic—-a field that has come to be recognized as a separate specialty after years of work by Ivor Grattan-Guinness and others (Dawson 2003, 257).Lewis was among the earliest to accept the challenges offered by this field; he was the first who had the philosophical and mathematical talent, the philosophical, logical, and historical background, and the patience and dedication to objectivity needed to excel. He was blessed with (...) many fortunate circumstances, not least of which was entering the field when mathematical logic, after only six decades of toil, had just reaped one of its most important harvests with publication of the monumental Principia Mathematica. It was a time of joyful optimism which demanded an historical account and a sober philosophical critique. Lewis was one of the first to apply to mathematical logic the Aristotelian dictum that we do not understand a living institution until we see it growing from its birth. (shrink)

How can it be true that one sees a lake when looking at a picture of a lake, since one's gaze is directed upon a flat dry surface covered in paint? An adequate contemporary explanation cannot avoid taking a theoretical stand on some fundamental cognitive science issues concerning the nature of perception, of pictorial content, and of perceptual reference to items that, strictly speaking, have no physical existence. A solution is proposed that invokes a broadly functionalist, naturalistic theory of perception, (...) plus a double content analysis of perceptual interpretation, which permits non-supervenient, culturally autonomous modes of reference to be generated and artistically exploited even in a purely physical world. In addition, a functionalist concept of broad or 'spread' reference replaces the traditional precise intentional concept of reference, which previously made reference to non-existent items theoretically intractable. (shrink)

This self-contained lecture examines uses and misuses of the adverb conversely with special attention to logic and logic-related fields. Sometimes adding conversely after a conjunction such as and signals redundantly that a converse of what preceded will follow. -/- (1) Tarski read Church and, conversely, Church read Tarski. -/- In such cases, conversely serves as an extrapropositional constituent of the sentence in which it occurs: deleting conversely doesn’t change the proposition expressed. Nevertheless it does introduce new implicatures: a speaker would (...) implicate belief that the second sentence expresses a converse of what the first expresses. Perhaps because such usage is familiar, the word conversely can be used as “sentential pronoun”—or prosentence—representing a sentence expressing a converse of what the preceding sentence expresses. -/- (2) Tarski read Church and conversely. -/- This would be understood as expressing the proposition expressed by (1). Prosentential usage introduces ambiguity when the initial proposition has more than one converse. Confusion can occur if the initial proposition has non-equivalent converses. -/- Every proposition that is the negation of a false proposition is true and conversely. -/- One sense implies that every proposition that is the negation of a true proposition is false, which is true of course. But another sense, probably more likely, implies that every proposition that is true is the negation of a false proposition, which is false: the proposition that one precedes two is not a negation and thus is not the negation of a false proposition. The above also applies to synonyms of conversely such as vice versa. Although prosentence has no synonym, extrapropositional constituents are sometimes called redundant rhetoric, filler, or expletive. Authors discussed include Aristotle, Boole, De Morgan, Peirce, Frege, Russell, Tarski, and Church. END OF PUBLISHED ABSTRACT -/- See also: Corcoran, John. 2015. Converses, inner and outer. 2015. Cambridge Dictionary of Philosophy, third edition, Robert Audi (editor). Cambridge: Cambridge UP. https://www.academia.edu/10396347/Corcoran_s_27_entries_in_the_1999_second_edition_Audi_s_Cambridge_ Dictionary_of_Philosophy . (shrink)

Equality and identity. Bulletin of Symbolic Logic. 19 (2013) 255-6. (Coauthor: Anthony Ramnauth) Also see https://www.academia.edu/s/a6bf02aaab This article uses ‘equals’ [‘is equal to’] and ‘is’ [‘is identical to’, ‘is one and the same as’] as they are used in ordinary exact English. In a logically perfect language the oxymoron ‘the numbers 3 and 2+1 are the same number’ could not be said. Likewise, ‘the number 3 and the number 2+1 are one number’ is just as bad from a logical point (...) of view. In normal English these two sentences are idiomatically taken to express the true proposition that ‘the number 3 is the number 2+1’. Another idiomatic convention that interferes with clarity about equality and identity occurs in discussion of numbers: it is usual to write ‘3 equals 2+1’ when “3 is 2+1” is meant. When ‘3 equals 2+1’ is written there is a suggestion that 3 is not exactly the same number as 2+1 but that they merely have the same value. This becomes clear when we say that two of the sides of a triangle are equal if the two angles they subtend are equal or have the same measure. -/- Acknowledgements: Robert Barnes, Mark Brown, Jack Foran, Ivor Grattan-Guinness, Forest Hansen, David Hitchcock, Spaulding Hoffman, Calvin Jongsma, Justin Legault, Joaquin Miller, Tania Miller, and Wyman Park. -/- ► JOHN CORCORAN AND ANTHONY RAMNAUTH, Equality and identity. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: corcoran@buffalo.edu The two halves of one line are equal but not identical [one and the same]. Otherwise the line would have only one half! Every line equals infinitely many other lines, but no line is [identical to] any other line—taking ‘identical’ strictly here and below. Knowing that two lines equaling a third are equal is useful; the condition “two lines equaling a third” often holds. In fact any two sides of an equilateral triangle is equal to the remaining side! But could knowing that two lines being [identical to] a third are identical be useful? The antecedent condition “two things identical to a third” never holds, nor does the consequent condition “two things being identical”. If two things were identical to a third, they would be the third and thus not be two things but only one. The plural predicate ‘are equal’ as in ‘All diameters of a given circle are equal’ is useful and natural. ‘Are identical’ as in ‘All centers of a given circle are identical’ is awkward or worse; it suggests that a circle has multiple centers. Substituting equals for equals [replacing one of two equals by the other] makes sense. Substituting identicals for identicals is empty—a thing is identical only to itself; substituting one thing for itself leaves that thing alone, does nothing. There are as many types of equality as magnitudes: angles, lines, planes, solids, times, etc. Each admits unit magnitudes. And each such equality analyzes as identity of magnitude: two lines are equal [in length] if the one’s length is identical to the other’s. Tarski [1] hardly mentioned equality-identity distinctions (pp. 54-63). His discussion begins: -/- Among the logical concepts […], the concept of IDENTITY or EQUALITY […] has the greatest importance. -/- Not until page 62 is there an equality-identity distinction. His only “notion of equality”, if such it is, is geometrical congruence—having the same size and shape—an equivalence relation not admitting any unit. Does anyone but Tarski ever say ‘this triangle is equal to that’ to mean that the first is congruent to that? What would motivate him to say such a thing? This lecture treats the history and philosophy of equality-identity distinctions. [1] ALFRED TARSKI, Introduction to Logic, Dover, New York, 1995. [This is expanded from the printed abstract.] . (shrink)

Cosmic Justice Hypotheses. -/- This applied-logic lecture builds on [1] arguing that character traits fostered by logic serve clarity and understanding in ethics, confirming hopeful views of Alfred Tarski [2, Preface, and personal communication]. Hypotheses in one strict usage are propositions not known to be true and not known to be false or—more loosely—propositions so considered for discussion purposes [1, p. 38]. Logic studies hypotheses by determining their implications (propositions they imply) and their implicants (propositions that imply them). Logic also (...) studies hypotheses by seeing how variations affect implications and implicants. People versed in logical methods are more inclined to enjoy working with hypotheses and less inclined to dismiss them or to accept them without sufficient evidence. Cosmic Justice Hypotheses (CJHs), such as “in the fullness of time every act will be rewarded or punished in exact proportion to its goodness or badness”, have been entertained by intelligent thinkers. Absolute CJHs, ACHJs, imply that it is pointless to make sacrifices, make pilgrimages, or ask divine forgiveness: once acts are done, doers must ready themselves for the inevitable payback, since the cosmos works inexorably toward justice. Ceteris Paribus CJHs, CPCJHs, on the other hand, such as “in the fullness of time every act will be rewarded or punished in exact proportion to its goodness or badness—other things being equal”, leave room for exceptions. For example, some people subscribing to Ceteris Paribus CJHs think that certain bad acts can be performed with impunity as long as certain procedures are carried out previous to, or simultaneous with, or even after the acts. Belief Ceteris Paribus CJHs has been exploited by unscrupulous “spiritual leaders” who claim to have power to grant exceptions. In opposition to belief in CPCJHs are CJHs that hold belief in CPCJHs to be inherently wrong and subject to punishment. Other variants of CJHs are Cumulative Cosmic Justice Hypotheses, such as “in the fullness of time every person will be rewarded or punished in exact proportion to the net goodness or badness of their acts”. Still other variants include the Hereditary Cumulative Cosmic Justice Hypotheses, such as “in the fullness of time every person will be rewarded or punished in exact proportion to the net goodness or badness of their ancestors’ acts”. [1] JOHN CORCORAN, Inseparability of Logic and Ethics, Free Inquiry, S. 1989, pp. 37–40. [2] ALFRED TARSKI, Introduction to Logic, Dover, 1995. (shrink)

In this paper I will take it for granted that Zagzebski's position articulates a broadly Catholic perspective, and that Plantinga's position accurately represents a broadly Calvinist one. But I will argue that so construed, the Catholic and the Calvinist are much closer than Zagzebski implies: both views are person-based in an important sense of that term; both are internalist on Zagzebski's usage and externalist on the standard usage; and Plantinga's position is consistent with the social elements that Zagzebski stresses in (...) her view. In the second part of the paper I will identify what I think is the real issue between Zagzebski and Plantinga. Namely, Zagzebski thinks that knowledge requires epistemic responsibility, in the sense that instances of knowledge must be appropriately praiseworthy. Plantinga thinks that no such condition is required for knowledge or warranted belief. I will argue that on this issue Zagzebski is right, and that her virtue approach gives us resources for seeing why. Finally, I will look at the consequences for religious knowledge. Here I will argue that the consequences are minimal. Even if knowledge requires responsibility, Plantinga can still make a good case that religious belief is properly basic. And even if religious belief is properly basic, natural theology can still have an important role in the justification of religious belief. (shrink)

Everyday our vision travels across time and space. We see images in the media about atrocities, disruptions, crises, famine, and wars. And in each case our sense of injustice is awakened. We feel outrage and indignation based upon our ideals and value systems which were formed through our traditions and religions. But in this age where the power of media and information is so powerful, what we see is often manufactured to appeal to our values. While these values circulate among (...) the images we see in cyberspace, these manipulations are rooted in certain realities: geography, natural resources, and power relationships. Our values are managed to serve the control of resources and territory. They serve the deeper reality of geography and geopolitics. How then are these ideals and values created, manipulated, and opposed across various pivots or boundaries, between East and West, between the individual and the collective? Through English geographer Sir Halford Mackinder’s concepts of “pivot” and “heartland”; German philosopher Carl Schmitt’s importance of “nomos”; and French writer Victor Segalen’s reflections on the loss of cultural diversity, we outline this priority of geography. By examining these writers, we can begin to ask if our ideals and values have any real moral or theological significance, or if they are merely effects of the competition between powers. Can ideals and values lead to real change and development, or are they merely leashes to guide us based on the aims of power? (shrink)

This essay will examine the role of cultural memory in an age of global interconnection. It will discuss how the traditional idea of culture is threatened by the “culture industry,” information technology and the media. In the West, there seems to be a loss of culture’s function as an engine of change and reform. But throughout the history of South East Asia (and especially in Indonesia) one sees a both a process of appropriation of ideas from the outside, and at (...) the same time, the maintenance of a deeper cultural identity that is resistant to complete control. It is an unconscious memory – or a cultural reflex – present within the languages and stories and rationalities. I will explain this with reading of Michel de Certeau. And I will show how the Wayang story of the “Death of Semar” is emblematic of this idea. The awareness of these old processes of appropriation and resistance are extremely important in our age of global networks of power that attempt to impose, various religious, political, financial and legal structures. (shrink)

Self, person, and identity are among the concepts most central to the way humans think about themselves and others. It is often natural in biology to use such concepts; it seems sensible to say, for example, that the job of the immune system is to attack the non-self, but sometimes it attacks the self. But does it make sense to borrow these concepts? Don’t they only pertain to persons, beings with sophisticated minds, and perhaps even souls? I argue that if (...) we focus on the every-day concepts of self and identity, and set aside loftier concepts found in religion, philosophy, and psychology that are applicable, at most, to humans, we can see that self and identity can be sensibly applied widely in biology. (shrink)

This paper attempts to reconcile two apparently opposed ways of thinking about the imagination and its relationship to literature, one which casts it as essentially concerned with fiction-making and the other with culture-making. The literary imagination’s power to create fictions is what gives it its most obvious claim to “autonomy”, as Kant would have it: its freedom to venture out in often wild and spectacular excess of reality. The argument of this paper is that we can locate the literary imagination’s (...) complementary power of cultural articulation in this fictional activity. The suggestion is that we should conceive of the literary imagination as expressing its interests in culture not mimetically but by producing a certain kind of meaning. This meaning is irreducibly narratological, and understanding it helps us to see the role of narrative in bringing into harmony the literary imagination’s interests in both the imaginary and the real. (shrink)

Imagine my surprise at discovering - tucked inside the cover of a first edition Alice in Wonderland – an unknown dialogue written by Lewis Carroll himself! It was scribbled on the back of a napkin, punctuated by Carroll’s tell-tale signature, and seems to have been written hastily. Carroll is known among laypersons as an absurdist, but he’s esteemed among formal thinkers as impressively logical. You can probably then imagine my further surprise at discovering various fallacies and confusions in the dialogue! (...) I counted equivocations over use/mention, identity/predication, measurements, and lexical/material parthood, but I’m sure there are more hiding. -/- If you share my interest in untangling these errors, I’ve copied Carroll’s dialogue below. I’ve found the task best pursued with help, whether students, interns, sisters, tarot readers, etc. As you’ll see, I’ve divided the dialogue into five sections, of varying difficulties. I recommend dividing helpers accordingly, assigning one section per group, then directing each to identify both good and bad reasoning in the section. After some time, groups should pass their discoveries to other groups for scrutiny. For example, if group 1 examined section 1, they’d pass their discoveries to group 2 who then checks group 1’s work against section 1. Proceed until each group has examined each section and – hopefully – you’ll find all the errors. Happy hunting! (shrink)

I argue that the concept of representation is ambiguous: a picture of 'a man', when there is no actual man that it depicts, both does, in one sense, and does not, in another sense, represent 'a man'--hence the need for a distinction of internal from external representation. Internal representation is also defended from reductive, non-referential alternative views, and from 'prosthesis' views of picturing, according to which seeing a picture of an actual man just is seeing through the picture to that (...) actual man himself. The view also provides a strong foundation for a theory of reference to fictional entities. (shrink)

This article arises indirectly out of the development of a particular approach, called ATT-Meta, to the understanding of some types of metaphorical utterance. However, the specifics of the approach are not the focus of the present article, which concentrates on some general issues that have informed, or arisen from, the development of the approach. The article connects those issues to the questions of metaphorical meaning and truth. -/- A large part of the exploration of metaphor in fields such as Cognitive (...) Linguistics and natural language Pragmatics takes metaphor to rest on complex mappings between a target subject matter and a source subject matter (see, e.g., Lakoff 1993, 2008). This is one main way in which some aspects of the source, generally including some structural aspects, can have parallels in the target. It is typical for much, and perhaps the whole, of the meaning of a metaphorical expression to be explained by means of these parallels. We will talk about “parallelism” rather than “isomorphism,” or even “analogy,” because “isomorphism” implies a strict one-to-one correspondence between items in the source scenario and items in the target scenario, and analogy theorists often hold that analogy rests on isomorphism. We wish not to prejudge the question of whether looser, messier forms of parallelism are sometimes needed. Also, we will talk about parallels rather than mappings, because our discussion will embrace the question of parallelism that may be discernible, albeit implicitly, in accounts of metaphor that are not presented as being based on mappings. Three main cases of such accounts are Relevance Theory (RT: e.g., Sperber & Wilson 2008, Wilson & Carston 2006), the categorization-based or "class-inclusion“ approach (Glucksberg 2008), and Ritchie’s (2006) CLST account (Context-Limited Simulation Theory). -/- One main issue we will address is that of substantial non-parallelism that can exist between source and target subject-matters in metaphor: more precisely, the issue that there may be source aspects that are exploited by the utterance and have a deep effect on metaphorical interpretation but that do not themselves have a natural parallel in the target subject-matter (although we will point out that artificial parallels can generally be created). This is part of a broader point that the content of metaphorical discourse should often be seen as being derived in a rather holistic way from several metaphorical bits of the discourse, which conspire to describe some source-domain scenario, rather than being derived by putting together metaphorical meanings of each metaphorical bit (even if each bit could in principle be assigned its own separate metaphorical meaning). As a result, we suggest that it is misguided to think of the propositions making up the content (or, if you like, "meaning“) about the target scenario that is being described is a matter of metaphorical meaning of specific grammatical units such as sentences, clauses or other constituents that a traditional semantic theory would assign propositional meaning to. Rather, grammatical units (that are to be taken metaphorically) have meanings in source-domain terms; content in target-domain terms is derived from the source-domain scenario depicted by those units and fleshed out through inference; and the target-domain content is only (in general) fuzzily relatable to particular grammatical units. This view is on a spectrum at whose extreme point we could place Davidson’s (1984) view that metaphors only have literal (i.e., source-domain) meanings, with other effects on the understander not being a matter of propositional content. However, on our view it is proper to take metaphorical discourse as having non-literal meaning, couched as a collection of propositions, among other things possibly; it is just that the propositions are not to be thought of (in general) as meaning of specific sentences, clauses or other grammatical units rather than of a possibly only fuzzily delineated piece of discourse. -/- A second main concern of the article is the question of how much, and what types of, inference are involved in the derivation of metaphorical meaning. While our own ATT-Meta approach accords with, amongst other accounts, Relevance Theory (RT) as to the centrality of inference in metaphor interpretation, we disagree with RT on its claim that metaphor interpretation is a matter of (a relatively high degree of) concept "broadening“ and (often) "narrowing“. We argue that almost all inference can in fact be theoretically re-described as concept broadening and/or narrowing, and what is left over should be included in the metaphor interpretation process anyway. Thus, the RT claim about broadening and narrowing really just says that inference, of unrestricted type, is involved in metaphor understanding, in accord with what ATT-Meta claims. (shrink)

There are unusual challenges in ethics for RAS. Perhaps the issue can best be summarised as needing to consider “technically informed ethics”. The technology of RAS raises issues that have an ethical dimension, and perhaps uniquely so due to the possibility of moving human decision-making which is implicitly ethically informed to computer systems. Further, if seeking solutions to these problems – ethically aligned design, to use the IEEE’s terminology – then the solutions must be technically meaningful, capable of realisation, capable (...) of assurance, and suitable as a basis for regulation. Thus, ethics for RAS is a rich, complex multi-disciplinary concern, and perhaps more complex than many other ethical issues facing society today. It is also fast-moving. This paper has endeavoured to give an accessible introduction to some of the key issues, noting that many of them are quite subtle, and it is not possible to do them full justice in such a short document. However, we have sought to counterbalance this by giving an extensive list of initiatives, standards, etc. that focus on ethics of RAS and AI, see Annex A. (shrink)

The paper considers the criticisms that Eleonore Stump has made of Richard Swinburne's account of Christian's revelation, as set out in his book "Revelation: From Metaphor to Analogy." It argues that Stump's criticisms of Swinburne's theory of biblical interpretation are misguided, but that her criticism of his deistic picture of revelation contains a crucial insight. Direct theories of revelation, which see God as communicating propositions directly to believers, are superior to deistic ones, which see God as communicating propositions only to (...) an original group who then hand on the propositions to everyone else. Stump's suggested alternative to a deistic picture is flawed. A better theory would result from incorporating Swinburne's account of the Church into a direct theory, and holding that God communicates propositions directly to believers in the teaching of the Church. This position combines the insights to be found in Stump and Swinburne, while avoiding their mistakes. (shrink)

This paper corrects a mistake I saw students make but I have yet to see in print. The mistake is thinking that logically equivalent propositions have the same counterexamples—always. Of course, it is often the case that logically equivalent propositions have the same counterexamples: “every number that is prime is odd” has the same counterexamples as “every number that is not odd is not prime”. The set of numbers satisfying “prime but not odd” is the same as the set of (...) numbers satisfying “not odd but not not-prime”. The mistake is thinking that every two logically-equivalent false universal propositions have the same counterexamples. Only false universal propositions have counterexamples. A counterexample for “every two logically-equivalent false universal propositions have the same counterexamples” is two logically-equivalent false universal propositions not having the same counterexamples. The following counterexample arose naturally in my sophomore deductive logic course in a discussion of inner and outer converses. “Every even number precedes every odd number” is counterexemplified only by even numbers, whereas its equivalent “Every odd number is preceded by every even number” is counterexemplified only by odd numbers. Please let me know if you see this mistake in print. Also let me know if you have seen these points discussed before. I learned them in my own course: talk about learning by teaching! (shrink)

2006. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA. -/- George Boole (1815-1864), whose name lives among modern computer-related sciences in Boolean Algebra, Boolean Logic, Boolean Operations, and the like, is one of the most celebrated logicians of all time. Ironically, his actual writings often go unread and his actual contributions to logic are virtually unknown—despite the fact that he was one of the clearest writers in the field. Working with various students including Susan Wood and Sriram (...) Nambiar, I have written several publications trying to set the record straight—but so far to little avail. This encyclopedia entry is one more attempt to set the record straight in a way that can be appreciated by non-experts.Also see https://www.academia.edu/10161999/Booles_criteria_of_validity_and_invalidity . (shrink)