In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...) by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

The Metaphysics of Free Will provides a through statement of the major grounds for skepticism about the reality of free will and moral responsibility. The author identifies and explains the sort of control that is associated with personhood and accountability, and shows how it is consistent with causal determinism. In so doing, out view of ourselves as morally responsible agents is protected against the disturbing changes posed by science and religion.

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

Nearly all success is due to some mix of ability and luck. But some successes we attribute to the agent’s ability, whereas others we attribute to luck. To better understand the criteria distinguishing credit from luck, we conducted a series of four studies on knowledge attributions. Knowledge is an achievement that involves reaching the truth. But many factors affecting the truth are beyond our control and reaching the truth is often partly due to luck. Which sorts of luck are compatible (...) with knowledge? We find that knowledge attributions are highly sensitive to lucky events that change the explanation for why a belief is true. By contrast, knowledge attributions are surprisingly insensitive to lucky events that threaten but ultimately fail to change the explanation for why a belief is true. These results shed light on our concept of knowledge, help explain apparent inconsistencies in prior work on knowledge attributions, and constitute progress toward a general understanding of the relation between success and luck. (shrink)

Can judging that an agent blamelessly broke a rule lead us to claim, paradoxically, that no rule was broken at all? Surprisingly, it can. Across seven experiments, we document and explain the phenomenon of excuse validation. We found when an agent blamelessly breaks a rule, it significantly distorts people’s description of the agent’s conduct. Roughly half of people deny that a rule was broken. The results suggest that people engage in excuse validation in order to avoid indirectly blaming others for (...) blameless transgressions. Excuse validation has implications for recent debates in normative ethics, epistemology and the philosophy of language. These debates have featured thought experiments perfectly designed to trigger excuse validation, inhibiting progress in these areas. (shrink)

Two options are incommensurate in value if neither is better than the other, and if a small improvement or worsening of one does not necessarily make it determinately better or worse than the other. If a person faces a sequence of choices between incommensurate options, she may end up with a worse options than she could have had, even though none of her choices are irrational. Yet it seems that rationality should save her from this bad outcome. This is the (...) practical problem posed by incommensurability of values, and it may be solved by a new account of practical reasoning. (shrink)

It’s a cornerstone of epistemology that knowledge requires truth – that is, that knowledge is factive. Allan Hazlett boldly challenges orthodoxy by arguing thatthe ordinary concept of knowledge is not factive. On this basis Hazlett further argues that epistemologists shouldn’t concern themselves with the ordinary concept of knowledge, or knowledge ascriptions and related linguistic phenomena. I argue that either Hazlett is wrong about the ordinary concept of knowledge, or he’s right in a way that leaves epistemologists to carry on exactly (...) as they have, paying attention to much the same things they always did. (shrink)

Experiences of embodied remembering are familiar and diverse. We settle bodily into familiar chairs or find our way easily round familiar rooms. We inhabit our own kitchens or cars or workspaces effectively and comfortably, and feel disrupted when our habitual and accustomed objects or technologies change or break or are not available. Hearing a particular song can viscerally bring back either one conversation long ago, or just the urge to dance. Some people explicitly use their bodies to record, store, or (...) cue memories. Others can move skilfully, without stopping to think, in complex and changing environments thanks to the cumulative expertise accrued in their history of fighting fires, or dancing, or playing hockey. The forms of memory involved in these cases may be distinct, operating at different timescales and levels, and by way of different mechanisms and media, but they often cooperate in the many contexts of our practices of remembering. (shrink)

[Edited from Conclusion section:] We have looked at various challenging issues to do with getting connectionism to cope with high-level cognitive activities such a reasoning and natural language understanding. The issues are to do with various facets of generalization that are not commonly noted. We have been concerned in particular with the special forms these issues take in the arena of propositional attitude processing. The main problems we have looked at are: (1) The need to construct explicit representations of generalizations, (...) not just generalize correctly to individual cases; (2) The need to be able to match two or more complex short-term information structures, to enable rapid generalization from recent examples rather than from long-term memories; (3) The need to represent and reason with anomalous combinations of concepts; (4) The need to perform embedded reasoning. This presents special problems for systems using non-concatenative representations (as in mainstream connectionist approaches). We also touched on vague quantification in attitude report complements. Neither this topic nor that of analogies between short-term structures (point 2) has been adequately addressed in the symbolic framework, let alone in connectionism. -/- The opportunities and problems covered are put forward as things worth being optimistic about or pessimistic about, respectively. They are not put forward as decisive arguments for or against connectionism. The hope is that this chapter contributes to a greater understanding of the connectionist/symbolist gap by presenting some unusual issues and by throwing new light on some well known ones. (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)

Martin and Deutscher’s remarkable 1966 paper ‘Remembering’ still offers great riches to memory researchers across distinctive traditions, both in its methodological ambition (successfully marrying phenomenological and causal discourses) and in its content. In this short discussion, after briefly setting the paper in its context, we hone in on two live and under-explored issues which have gained attention recently under new labels – the extended mind hypothesis, and the constructive nature of memory. We suggest that Martin and Deutscher’s causal analysis of (...) memory is compatible with the idea that activities of remembering may be distributed across heterogeneous social and external resources, focussing in on their neglected example of creatures who ‘remember as we do’ as long as they carry round metal boxes which are given to them at birth. We then argue that the causal analysis is in some tension with the extent to which remembering is a constructive activity, because there may be no clear way to determine the appropriate ‘limits of accuracy’ within which a past event or experience must be represented. (shrink)

Remembering is one of the most characteristic and most puzzling of human activities. Personal memory, in particular – the ability mentally to travel back into the past, as leading psychologist Endel Tulving puts it – often has intense emotional or moral significance: it is perhaps the most striking manifestation of the peculiar way human beings are embedded in time, and of our limited but genuine freedom from our present environment and our immediate needs. Memory has been significant in the history (...) of philosophy as much in relation to ethics and to epistemology as in theories of psyche, mind, and self. (shrink)

Most properties have comparatives, which are relations. For instance, the property of width has the comparative relation denoted by `_ is wider than _'. Let us say a property is reducible to its comparative if any statement that refers to the property has the same meaning as another statement that refers to the comparative instead. Width is not reducible to its comparative. To be sure, many statements that refer to width are reducible: for instance, `The Mississippi is wide' means the (...) same as `The Mississippi is wider than most rivers'. But some statements that refer to width are not reducible: for instance, `Electrons have zero width' is not. A property is not reducible to its comparative if it has absolute degrees, and specifically an absolute zero. A property's comparative relation places things in an order from those that have the property least to those that have it most. If there is an absolute zero point somewhere in this ordering, the property is not reducible to its comparative. For width, there is an absolute zero at one end of the ordering, so width is not reducible. The property of goodness is reducible to its comparative, betterness. In particular, there is no absolute zero of goodness. Things are ordered by betterness – some things are better than others – but nothing is absolutely good or absolutely bad. This is an exaggeration. In certain applications, goodness does have absolute degrees of a sort, and an absolute zero. For instance, it makes sense to say an event is good, and another event bad. These are absolute degrees of a sort, but they are themselves reducible to betterness. To say an event is good simply means the event is better than what would otherwise have happened. The goodness of lives has a different sort of absolute zero. Lives are ordered by betterness; some lives are better than others. We can make sense of the question `Where in this ordering is the division between lives that are good and those that are bad?' The division between good and bad lives is again reducible to betterness. To say a person's life is good means it is better that the person should continue living, rather than that she should die. Or it may mean it is better that her life should be lived rather than that it should never have been lived at all. As it is often put: a good life is a life worth living. Derek Parfit appears to attach a different sense to the idea of a good life. He appears to mean a life that contains a preponderance of good things (such as pleasure) over bad things (such as pain). If a life contains no good things and no bad things, it has zero goodness in this sense. In this sense, absolute goodness and the absolute zero of goodness are not reducible to betterness. However, this is a naturalistic sense of goodness, and it is subject to the open-question objection. If a life contains no good things and no bad things, it is an open question whether it has zero goodness. It might, for instance, be a bad thing that this life should be lived. In discussing the evil of death, some philosophers seem to have been searching for an absolute goodness that is not reducible to betterness. Thomas Nagel speaks of an asymmetry between what is good about life and what is bad about death. But if a person's life is good, that only means it would be better that she should continue living than that she should die. And if a person's death would be bad, that only means it would be worse that she should die than that she should continue living. So there can be no asymmetry. (shrink)

A critical explanation of Ernest Sosa's bi-level virtue epistemology.

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

There are two different ways of understanding alienation: as a condition and as a struggle. On this distinction turns the whole theory and practice of Marxism.

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)

This paper offers a new account of reflective knowledge’s value, building on recent work on the epistemic norms of speech acts. Reflective knowledge is valuable because it licenses us to make guarantees and promises.

Closure is the epistemological thesis that if S knows that P and knows that P implies Q, then if S infers that Q, S knows that Q. Fred Dretske acknowledges that closure is plausible but contends that it should be rejected because it conflicts with the plausible thesis: Conclusive reasons (CR): S knows that P only if S believes P on the basis of conclusive reasons, i.e., reasons S wouldn‘t have if it weren‘t the case that P. Dretske develops an (...) analysis of knowing that centers on CR, and argues that the requirement undermines skepticism by implying the falsity of closure. We develop a Dretske-style analysis of knowing that incorporates CR, and we argue that this analysis not only accords with closure, but also implies it. In addition, we argue that the analysis accounts for the prima facie plausibility of closure-invoking skeptical arguments, and nonetheless implies that they are fallacious. If our arguments turn out to be sound, the acceptability of Dretske‘s analysis of knowing will be significantly enhanced by the fact that, despite implying closure, it undermines closure-based skepticism. (shrink)

This paper is a tentative step towards a historical cognitive science, in the domain of memory and personal identity. I treat theoretical models of memory in history as specimens of the way cultural norms and artifacts can permeate ('proto')scientific views of inner processes. I apply this analysis to the topic of psychological control over one's own body, brain, and mind. Some metaphors and models for memory and mental representation signal the projection inside of external aids. Overtly at least, medieval and (...) Renaissance theorists agreed that such models had to allow for, or even guarantee, some conception of cognitive order and discipline. Individual memory traces had to be independent, not mixed up or interfering with others. The long tradition of improving or bypassing 'natural memory' by deliberately internalizing artefactual models was part of an arduous process of self-fashioning. Moral panic about confusion and mixture features centrally in the imposition of cognitive discipline in local memory traditions. (shrink)

This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless without rigor and objectivity. The logician urging us to be dispassionate is in resonance and harmony with the ethicist urging us to be compassionate.

Early modern critics of materialism (and of associated doctrines like determinism and mechanism) sometimes employed a transcendental argument form. If materialism were true, then some valuable feature of reality could not exist; but that feature does exist; therefore materialism is false. Depending on current context and concerns, the valuable 'X' in question might be God, the soul, hell, objective morality, free will, conscience, truth, knowledge, social order, or justice and the law: all, in the critics' eyes, obvious and unchallengeable realities (...) which materialism would, impossibly, extinguish.1 As David Hawkes notes in his delightfully provocative essay, it is because Hell is so manifestly real, in both the play and its world, that Faustus manifestly refutes himself in telling Mephistopheles that it is a fable. The success of such transcendental arguments relies on the truth of both their premises: Hell really must exist, and Faustus's materialism must really be incompatible with its existence. Hawkes celebrates early modern moralists who focussed on the alleged worldly and carnal roots and consequences of 'philosophical materialism', who attacked its proponents as villainous, self-interested, and depraved. (shrink)

This paper generalises an argument for probabilism due to Lindley [9]. I extend the argument to a number of non-classical logical settings whose truth-values, seen here as ideal aims for belief, are in the set $\{0,1\}$, and where logical consequence $\models $ is given the “no-drop” characterization. First I will show that, in each of these settings, an agent’s credence can only avoid accuracy-domination if its canonical transform is a (possibly non-classical) probability function. In other words, if an agent values (...) accuracy as the fundamental epistemic virtue, it is a necessary requirement for rationality that her credence have some probabilistic structure. Then I show that for a certain class of reasonable measures of inaccuracy, having such a probabilistic structure is sufficient to avoid accuracy-domination in these non-classical settings. (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)

Is sex work (specifically, prostitution) vulnerable to technological unemployment? Several authors have argued that it is. They claim that the advent of sophisticated sexual robots will lead to the displacement of human prostitutes, just as, say, the advent of sophisticated manufacturing robots have displaced many traditional forms of factory labour. But are they right? In this article, I critically assess the argument that has been made in favour of this displacement hypothesis. Although I grant the argument a degree of credibility, (...) I argue that the opposing hypothesis -- that prostitution will be resilient to technological unemployment -- is also worth considering. Indeed, I argue that increasing levels of technological unemployment in other fields may well drive more people into the sex work industry. Furthermore, I argue that no matter which hypothesis you prefer -- displacement or resilience -- you can make a good argument for the necessity of a basic income guarantee, either as an obvious way to correct for the precarity of sex work, or as a way to disincentivise those who may be drawn to prostitution. (shrink)

This paper raises obvious questions undermining any residual confidence in Mates work and revealing our embarrassing ignorance of true nature of Stoic deduction. It was inspired by the challenging exploratory work of JOSIAH GOULD.

Some natural philosophers in the 17th century believed that they could control their own innards, specifically the animal spirits coursing incessantly through brain and nerves, in order to discipline or harness passion, cognition and action under rational guidance. This chapter addresses the mechanisms thought necessary after Eden for controlling the physiology of passion. The tragedy of human embedding in the body, with its cognitive and moral limitations, was paired with a sense of our confinement in sequential time. I use two (...) strands of 17th-century natural philosophy to exemplify forms of the perceived connection between physiology, memory, and the passions. I deal at length with Cartesian mechanism, and more briefly with Restoration natural philosophy in England. These are fruitful historical domains for connecting cognition and culture, since relations of domination, disruption, or accommodation between present and past are in play for both selves and societies. Despite the difficulty of integrating affect with cognition in theories of brain and mind, the capacity to treat passion and memory together is crucial for future cognitive science to address issues which outsiders care about. (shrink)

This essay gives an account of epistemic deference for agents with imprecise credences. I look at the two main imprecise deference principles in the literature, known as Identity Reflection and Pointwise Reflection (Moss, 2021). I show that Pointwise Reflection is strictly weaker than Identity Reflection, and argue that, if you are certain you will update by conditionalisation, you should defer to your future self according to Identity Reflection. Then I give a more general justification for Pointwise and Identity Reflection from (...) the assumption that you defer to someone whenever you consider their doxastic state to be better than yours, in the sense of leading to better decision-making. (shrink)

Mistakes can be made in both personal and official accounts of past events: lies can be told. Stories about the past have many functions besides truth-telling: but we still care deeply that our sense of what happened should be accurate. The possibility of error in memory and in history implies a commonsense realism about the past. Truth in memory is a problem because, coupled with our desires to find out what really happened, we recognize that our individual and collective access (...) to past events may be indirect. This chapter sketches some approaches, from across the disciplines, to such problems about authority over the past. I open up recent lines of research on autobiographical memory which should be more accessible in the humanities and social sciences. Psychological work on constructive remembering should not be seen as sceptically challenging the very possibility of everyday authority over our own past, but as identifying specific forms of fallibility. I argue that the study of historical and social processes is an integral part of the cognitive sciences of memory, not a humanistic curiosity. (shrink)

This was a class handout that I turned into a publication. As its title indicates, it's about the relation (or non-relation) of (ethical) cultural relativism to tolerance. Core elements of the paper were later absorbed into sections 5K, 6M, and 7K of my paper "Cultural Relativism" (2000), which is listed (and downloadable) on my PhilPapers page.

The study of remembering is both compelling and challenging, in part, because of the multiplicity and the complexity of influences on memory. Whatever their interests, memory researchers are always aware of the many different factors that can drive the processes they care about. A search for the phrase ‘influences on memory’ confirms this daunting and exhilarating array of influences, of many different kinds, operating at many different timescales, and presumably often interacting in ways that we can’t yet imagine, let alone (...) model. There are hormonal and neuromodulatory, genetic and pharmacological, developmental and age-related influences; there are influences of arousal, stress, gender, mood, emotion, sleep and personality; there are unconscious, schematic or semantic influences, and there are influences of context, situation, task and environment. There are many aspects of ‘media influence on memory’ (Loftus and Banaji, 1989; Strange and Garry, 2007), and, of course, there are both ‘social influences on memory’ (Echterhoff and Hirst, 2009) and ‘cultural influences on memory’ (Gutchess and Indeck, 2009). Notoriously, there are numerous ‘suggestive influences’ on memory (Loftus, 2003): influences of misinformation (Seifert, 2002; Wright and Loftus, 1998), or of ‘memory conformity’ (Gabbert et al., 2006) and ‘memory contagion’ (Roediger et al., 2002). People who know each other well, such as intimate couples, ‘may be well practised in yielding to each other’s influence and incorporating their partner’s information into their own memories of the past’ (French et al., 2008: 264). (shrink)

'Io trace a path from Pico della Mirandola's Renaissance man to the Jacobean malcontents of Marston or Webster is to document not an inflation of hopes for dominion over the natural world, but rather a loss of confidence in the possibility of control over even human affairs. 'For I am going into a wilderness, /Where I shall find nor path, nor friendly clew/To be my guide'.2 The bleak consequences of this lack of direction, leaving traces through into the Restoration period (...) in England, are particularly evident in the free will debate: of Milton's angels,. (shrink)

The notion of Simulative Reasoning in the study of propositional attitudes within Artificial Intelligence (AI) is strongly related to the Simulation Theory of mental ascription in Philosophy. Roughly speaking, when an AI system engages in Simulative Reasoning about a target agent, it reasons with that agent’s beliefs as temporary hypotheses of its own, thereby coming to conclusions about what the agent might conclude or might have concluded. The contrast is with non-simulative meta-reasoning, where the AI system reasons within a detailed (...) theory about the agent’s (conjectured) reasoning acts. The motive within AI for preferring Simulative Reasoning is that it is more convenient and efficient, because of a simplification of the representations and reasoning processes. The chapter discusses this advantage in detail. It also sketches the use of Simulative Reasoning in an AI natural language processing system, ATT-Meta, that is currently being implemented. This system is directed at the understanding of propositional attitude reports. In ATT-Meta, Simulative Reasoning is yoked to a somewhat independent set of ideas about how attitude reports should be treated. Central here are the claims that (a) speakers often employ commonsense (and largely metaphorical) models of mind in describing agents’ attitudes, (b) the listener accordingly needs often to reason within the terms of such models, rather than on the basis of any objectively justifiable characterization of the mind, and (c) the commonsense models filter the suggestions that Simulative Reasoning comes up with concerning target agents’ reasoning conclusions. There is a yet tighter connection between the commonsense models and the Simulative Reasoning. It turns out that Simulative Reasoning can be rationally reconstructed in terms of a more general type of reasoning about the possibly-counterfactual “world” that the target agent believes in, together with an assumption that that agent has a faithful representation of the world. In the ATT-Meta approach, the reasoner adopts that assumption when it views the target agent through a particular commonsense model (called IDEAS-AS-MODELS). (shrink)

Every metaphysic, according to Reiner Schürmann, involves the positing of a first principle for thinking and doing whereby the world becomes intelligible and masterable. What happens when such rules or norms no longer have the power they previously had? According to Cornelius Castoriadis, the world makes sense through institutions of imaginary significations. What happens when we discover that these significations and institutions truly are imaginary, without ground? Both thinkers begin their ontologies by acknowledging a radical finitude that threatens to destroy (...) meaning or order. For Schürmann it is the ontological anarchy revealed between epochs when principles governing modes of thinking and doing are foundering but new principles to take their place have not yet emerged. For Castoriadis it is chaos that names the indeterminationdetermination that governs the unfolding of the socio-historical with contingency and unpredictability. And yet for both thinkers their respective ontologies have political or ethical implications. On the basis of the anarchy of being, Schürmann unfolds an anarchic praxis or ethos of “living without why.” And on the basis of his notion of being as chaos, Castoriadis develops his political praxis of autonomy. The challenge for both is this move from ontology to practical philosophy, how to bridge theory and practice. The key for both seems to be a certain ontologically derived sense of freedom. In this paper, I analyze and compare their respective thoughts, and pursue the question of how anarchy or chaos and the implied sense of an ontological freedom might be made viable and sensible for human praxis, how radical finitude in the face of ontological groundlessness might nevertheless serve to situate a viable political praxis. (shrink)

According to a recent philosophical claim, “works of fiction are thought experiments” (Elgin 2007: 47), though there are relevant differences, as the role of spoilers shows—they can ruin a novel but improve the understanding we can gain through a thought experiment. In the present article I will analyze the role of spoilers and argue for a more differentiated perspective on the relation between literature and thought experiments. I will start with a short discussion of different perspectives on thought experiments and (...) argue that the mental-model view and the conception of games of make-believe are most promising for developing the present analogy. Then I will assess the similarities and differences between thought experiments and other works of fiction. I will focus on the role of spoilers and, more generally, on the foretaste context, of which they are part. This context guides readers of literary works of art to draw their attention to the literary and aesthetic quality of the text. In the case of thought experiments, on the other hand, it (i) prompts them to accept the presence of fictional elements in worldly-cognitive works and (ii) draws their attention towards cognitively relevant elements of the story. A discussion of Borges’ Pierre Menard in the last part will show that literary works of art become thought experiments if they are embedded in an appropriate foretaste context. Spoilers, thus, unveil that even works which—due to their length or plenty of detail—usually are not considered thought experiments, can perform similar cognitive functions. (shrink)

The logical form of a discourse—such as a proposition, a set of propositions, an argument, or an argumentation—is obtained by abstracting from the subject-matter of its content terms or by regarding the content terms as mere place-holders or blanks in a form. In a logically perfect language the logical form of a proposition, a set of propositions, an argument, or an argumentation is determined by the grammatical form of the sentence, the set of sentences, the argument-text, or the argumentation-text expressing (...) it. Two such discourse-texts are said to have the same grammatical form, in this sense, if a uniform one-one substitution of content words transforms the one exactly into the other. The sentence ‘Abe properly respects every agent who respects himself’ may be regarded as having the same grammatical form as the sentence ‘Ben generously assists every patient who assists himself’. (shrink)

Critical thinking involves deliberate application of tests and standards to beliefs per se and to methods used to arrive at beliefs. Pedagogical license is authorization accorded to teachers permitting them to use otherwise illicit means in order to achieve pedagogical goals. Pedagogical license is thus analogous to poetic license or, more generally, to artistic license. Pedagogical license will be found to be pervasive in college teaching. This presentation suggests that critical thinking courses emphasize two topics: first, the nature and usefulness (...) of critical thinking; second, the nature and pervasiveness of pedagogical license. Awareness of pedagogical license alerts the student to the need for critical thinking. Indoctrination is done to students; education is done by students. (shrink)

The science of the mind, and of consciousness in particular, needs carefully to consider people's common-sense views of the mind, not just what the mind really is. Such views are themselves an aspect of the nature of (conscious) mind, and therefore part of the object of study for a science of mind. Also, since the common-sense views allow broadly successful social interaction, it is reasonable to look to the common-sense views for some rough guidance as to the real nature of (...) the mind. On the other hand, to the extent that common-sense views are inaccurate, and perhaps even in gross conflict with the true nature of the mind, one interesting scientific question is: why do we hold such views, given our access to our own minds? Why should introspection be limited in a way that allows inaccurate views to hold sway? Now, common-sense views of the mind are revealed in natural language discourse that describes mental states, and such descriptions are largely metaphorical. The metaphors are used within thinking about the mind as well as in language. Therefore the study of metaphor is central to the study of mind. The present article is a preliminary study of the importance of metaphor in the scientific study of consciousness. It concentrates on analysing the nature of a range of important metaphors of mind, briefly discussing the extent to which they can be used to describe or qualify states of consciousness, and pointing to important questions about the nature of consciousness that the study of the metaphors raises. The article further conjectures that the reason people use metaphors in describing themselves is often not (just) that they have intellectually worked out some structural analogy --- e.g., between interactions of physical objects in physical space and interactions of ideas in the mind --- but rather that they {\it feel} their own minds to be as described by the metaphor --- e.g., they feel that the ideas in their minds are interacting physical entities. This matter of how a mind feels to itself is an aspect of the central issue of consciousness, namely its phenomenal quality. -/- (NB: The archived file is a preprint. However, it is substantially the same as the published version.). (shrink)

This book is the outcome of a series of lectures on art-related topics which Margolis gave in various places, including Finland, Russia, Japan and the USA, from 1995 through 1997. Mainly these lectures vividly distill views which Margolis has developed more fully elsewhere. Also, as his readers know, Margolis has an unusually allencompassing and closely integrated series of views on almost all of the main issues concerning both art and philosophy generally. Thus the task of a reviewer of this book (...) is the difficult one of somehow coming to terms and finding something useful to say (in a brief compass) on the full sweep of Margolis's philosophy as encapsulated by these lectures. (shrink)

Translated from: Searle, J. R. 'Social Ontology: some basic principles'. Anthopological Theory, 2006, Vol. 6, issue 1, pp.51-71.

Projects in memory studies are best driven by topic not tradition, because the phenomena under investigation are usually interactive, not neatly compartmentalized. This imposes open-endedness not only in tracing diverse activities of remembering across the spread of relevant disciplines, but also in looking beyond memory altogether in order better to understand its diverse manifestations.

The three papers in this special section of Cognitive Processing continue and extend the December 2005 issue, which was devoted in its entirety to reviews, research reports, and laboratory reports on the theme of ‘Memory and the Extended Mind: embodiment, cognition, and culture’ (Sutton 2005). Like the papers in that issue, these are revised versions of papers first presented at two workshops on ‘Memory, Mind, and Media’ in Sydney on November 29–30 and December 2–3, 2004. Where that issue focussed specifically (...) on memory, these three papers deal with more general issues in the foundations of cognitive science. (shrink)

Recent work in the methodology of connectionist explanation has I'ocrrsccl on the notion of levels of explanation. Specific issucs in conncctionisrn hcrc intersect with rvider areas of debate in the philosophy of psychology and thc philosophy of science generally. The issues I raise in this chapter, then, are not unique to cognitive science; but they arise in new and important contexts when connectionism is taken seriously as a model of cognition. The general questions are the relation between levels and the (...) status of levels which have no obvious relation to others. In speaking of levels, what is the connection, if there is one, between explanation and ontology? Which, if any, conccpt of reduction is applicable to connectionist systems? What kind of legitinrtcy can the constructs of common sense psychology, or of that vclsion ol intentional realism represented by classical symbol-systems n I, hirvc irr ir full-scale connectionist theory of mind? (shrink)

Editor's Intro to the journal issue. Wittgenstein's methods are more important than his solutions or views on particular problems. He also attacks processes which give rise to philosophical problems, such as Cartesian dualism and Platonism and other more narrow pictures or assumptions. His recommendations that progress be based on what we get from juxtaposing examples with philosophical temptations are still being absorbed by the discipline. This is more the case now, fifteen years aftr I wrote this introduction.

A person with one dollar is poor. If a person with n dollars is poor, then so is a person with n + 1 dollars. Therefore, a person with a billion dollars is poor. True premises, valid reasoning, a false a conclusion. This is an instance of the Sorites-paradox. (There are infinitely many such paradoxes. A man with an IQ of 1 is unintelligent. If a man with an IQ of n is unintelligent, so is a man with an IQ (...) of n+1. Therefore a man with an IQ of 200 is unintelligent.) Most attempts to solve this paradox reject some law of classical logic, usually the law of bivalence. I show that this paradox can be solved while holding on to all the laws of classical logic. Given any predicate that generates a Sorites-paradox, significant use of that predicate is actually elliptical for a relational statement: a significant token of "Bob is poor" means that Bob is poor compared to x, for some value of x. Once a value of x is supplied, a definite cutoff line between having and not having the paradox-generating predicate is supplied. This neutralizes the inductive step in the associated Sorites argument, and the would-be paradox is avoided. (shrink)