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)

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)

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)

We have a striking ability to alter our psychological access to past experiences. Consider the following case. Andrew “Nicky” Barr, OBE, MC, DFC, (1915 – 2006) was one of Australia’s most decorated World War II fighter pilots. He was the top ace of the Western Desert’s 3 Squadron, the pre-eminent fighter squadron in the Middle East, flying P-40 Kittyhawks over Africa. From October 1941, when Nicky Barr’s war began, he flew 22 missions and shot down eight enemy planes in his (...) first 35 operational hours. He was shot down three times, once 25 miles behind enemy lines while trying to rescue a downed pilot. He escaped from prisoner of war camps four times, once jumping out of a train as it travelled from Italy into Austria. His wife Dot, who he married only weeks before the war, waited for him at home. She was told on at least three occasions that he was missing in action or dead. For 50 years, Nicky Barr never spoke publicly, and rarely privately, of his war-time experiences. He was very much a forgotten and forgetting hero (for further details, see Dornan, 2002). In his first public interview in 2002 on the Australian documentary program “Australian Story”, Nicky explained his 50 year silence by saying. (shrink)

The old duality that eventually came to produce the mind/body-problem indicates the problem of transcendental subjectivity. The enduring significance of this problem shows itself in a provocation of any paradigm that has become too objectivistic, too naturalistic – even too idealistic in a certain sense – and too forgetful of its own departure from a perspective always presumed. Analytic philosophy bears a tendency towards such a ‘view from nowhere’ which denies a fundamental subjective connection. The rebuttal of this position entails (...) accepting the interrelation between first- and third-person-perspective; we call this the ‘view from somewhere’. Tracing the tension between the subjective and the objective we find this “view” embraced in the phenomenological tradition. At the same time we find the mind/body-problem seemingly dissolved through, among other key concepts, the introduction of the ‘lived body’. We will see, however, that this is no thorough solution; a fundamental mind/world polarity escapes the phenomenological framework and ends up mounting a critical threat to its own stability. A demonstration is attempted of how both the process of objectification and the process of subjectification falls into regressive patterns. This is due to the interplay of the gaze and the source, the ‘from’ and the ‘towards’: Ajin. Later this argumentation calls for a discussion of the pre-reflective sphere of consciousness. Finally we show the alignment between conclusions driven forth in our own dialectic and the ones found in the philosophy of Nāgārjuna. The transcendental interconstitution of subjectivity and objectivity, perspective and world, has a name in emptiness. (shrink)

My job has been made easier tonight, given that Larry Hickman has already done most of the ‘heavy lifting’ for me. I think his paper is an excellent and convincing intervention into this debate, and one of the problems for me in constructing my talk has been that our discussions have forced me to rethink what I wanted to say. Given my Continental biases, I had expected to come out on Rorty’s side; in writing this paper, however, things have become (...) more complicated. So let me here thank Larry for both at once making my job tonight easier, and much to my chagrin, surprisingly difficult. What I want to suggest, in contrast to what you’ve just heard, is that the neopragmatism of Richard Rorty is not wholly inconsistent with Dewey’s pragmatism – or, at least, with a ‘thin’ version of Deweyian pragmatism. As we shall see, while the differences between Dewey and Rorty on the status of metaphysics are in all probability irreconcilable, Rorty’s reclamation of a ‘thin’ Dewey can be read as consistent with at least the spirit of Dewey’s work. I will try to make the stronger case that this reconciliation is possible according to the letter of Dewey’s philosophy as well, and the interrelated issues of method and social hope will serve as the avenues for this investigation. Given my audience, I imagine that what I’m about to say will be fodder for some interesting conversation, and so, in the spirit of Rorty’s thought, let me get on with my paper. (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)

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.

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

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.

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)

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)

‘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)

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 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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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: [email protected] 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)

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)

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)

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)

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)

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)

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)

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)

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 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)

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)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...) At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (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)

English translation of an entry on pages 137–42 of the Spanish-language dictionary of logic: Luis Vega, Ed. Compendio de Lógica, Argumentación, y Retórica. Madrid: Trotta. -/- DEDICATION: To my friend and collaborator Kevin Tracy. -/- This short essay—containing careful definitions of ‘counterargument’ and ‘counterexample’—is not an easy read but it is one you’ll be glad you struggled through. It contains some carefully chosen examples suitable for classroom discussion. -/- Using the word ‘counterexample’ instead of ‘counterargument’ in connection with Aristotle’s invalidity (...) proofs leads to a misinterpretation of Aristotle’s intentions. The two relations expressed by these two words are drastically different—as explained in this essay. There is however a subtle overlap: Every argument that is a counterargument for a given argument is a counterexample to the universal proposition that every argument in the same form as the given argument is valid. The word ‘counterexample’ was coined in the 1800s. The word ‘counterargument’ was given this sense in the 1960s. Saying that one argument is a counterexample for another argument is bad English—taking the word ‘counterexample’ in its Standard English sense. The word ‘counterinstance’ is an exact synonym for ‘counterexample’. Which logic books define ‘counterinstance’ or ‘counterexample’? Who started using ‘counterinstance’ or ‘counterexample’ in the sense of ‘counterargument’? Did they note that they were not using the word in the Standard sense? Why did it catch on? -/- Also see: https://www.academia.edu/8840909/Argumentations_and_logic_1989_ . (shrink)

ABSTRACT This part of the series has a dual purpose. In the first place we will discuss two kinds of theories of proof. The first kind will be called a theory of linear proof. The second has been called a theory of suppositional proof. The term "natural deduction" has often and correctly been used to refer to the second kind of theory, but I shall not do so here because many of the theories so-called are not of the second kind--they (...) must be thought of either as disguised linear theories or theories of a third kind (see postscript below). The second purpose of this part is 25 to develop some of the main ideas needed in constructing a comprehensive theory of proof. The reason for choosing the linear and suppositional theories for this purpose is because the linear theory includes only rules of a very simple nature, and the suppositional theory can be seen as the result of making the linear theory more comprehensive. CORRECTION: At the time these articles were written the word ‘proof’ especially in the phrase ‘proof from hypotheses’ was widely used to refer to what were earlier and are now called deductions. I ask your forgiveness. I have forgiven Church and Henkin who misled me. (shrink)

PUTNAM has made highly regarded contributions to mathematics, to philosophy of logic and to philosophy of science, and in this book he brings his ideas in these three areas to bear on the traditional philosophic problem of materialism versus (objective) idealism. The book assumes that contemporary science (mathematical and physical) is largely correct as far as it goes, or at least that it is rational to believe in it. The main thesis of the book is that consistent acceptance of contemporary (...) science requires the acceptance of some sort of Platonistic idealism affirming the existence of abstract, non-temporal, non-material, non-mental entities (numbers, scientific laws, mathematical formulas, etc.). The author is thus in direct opposition to the extreme materialism which had dominated philosophy of science in the first three quarters of this century. The book can be recommended to the scientifically literate, general reader whose acquaintance with these areas is limited to the literature of the 1950’s and before, when it had been assumed that empiricistic materialism was the only philosophy compatible with a scientific outlook. To this group the book presents an eye-opening challenge fulfilling the author’s intention of “shaking up preconceptions and stimulating further discussion”. QUINE’S book is not easy to read, partly because the level of sophistication fluctuates at high frequency between remote extremes and partly because of convoluted English prose style and devilish terminology. Almost all of the minor but troublesome technical errata in the first printing have been corrected [see reviews, e.g., the reviewer, Philos. Sci. 39 (1972), no. 1, 97–99]. In the opinion of the reviewer the book is not suitable for undergraduate instruction, and without external motivation few mathematicians are likely to have the patience to appreciate it. Nevertheless, a careful study of the book will more than repay the effort and one should expect to find frequent references to this book in coming years. (shrink)

The premise-fact confusion in Aristotle’s PRIOR ANALYTICS. -/- The premise-fact fallacy is talking about premises when the facts are what matters or talking about facts when the premises are what matters. It is not useful to put too fine a point on this pencil. -/- In one form it is thinking that the truth-values of premises are relevant to what their consequences in fact are, or relevant to determining what their consequences are. Thus, e.g., someone commits the premise-fact fallacy if (...) they think that a proposition has different consequences were it true than it would have if false. C. I. Lewis said that confusing logical consequence with material consequence leads to this fallacy. See Corcoran’s 1973 “Meanings of implication” [available on Academia. edu]. -/- The premise-fact confusion occurs in a written passage that implies the premise-fact fallacy or that suggests that the writer isn’t clear about the issues involved in the premise-fact fallacy. Here are some examples. -/- E1: If Abe is Ben and Ben swims, then it would follow that Abe swims. -/- Comment: The truth is that from “Abe is Ben and Ben swims”, the proposition “Abe swims” follows. Whether in fact Abe is Ben and Ben swims is irrelevant to whether “Abe swims” follows from “Abe is Ben and Ben swims”. -/- E1 suggests that maybe “Abe swims” wouldn’t follow from “Abe is Ben and Ben swims” if the latter were false. -/- E2: The truth of “Abe is Ben and Ben swims” implies that Abe swims. -/- E3: Indirect deduction requires assuming something false. -/- Comment: If the premises of an indirect deduction are true the conclusion is true and thus the “reductio” assumption is false. But deduction, whether direct or indirect, does not require true premises. In fact, indirect deduction is often used to determine that the premises are not all true. -/- Anyway, the one-page paper accompanying this abstract reports one of dozens of premise-fact errors in PRIOR ANALYTICS. In the session, people can add their own examples and comment on them. For example, is the one at 25b32 the first? What is the next premise-fact error after 25b32? Which translators or commentators discuss this? -/- . (shrink)