For decades, the field of system safety has designed safe systems by reducing the risk of physical harm to humans, property and the environment to an acceptable level. Recently, this definition of safety has come under scrutiny by governments and researchers who argue that the narrow focus on reducing physical harm, whilst necessary, is not sufficient to secure the safety of AI systems. There is growing pressure to expand the scope of safety in the context of AI to address emerging (...) harms, with particular emphasis being placed on the ways AI systems can reinforce and reproduce systemic harms. In this paper, we advocate for expanding the scope of conventional safety to include non-physical harms in the context of AI. However, we caution against broadening the scope to address systemic harms, as doing so presents intractable practical challenges for current safety methodologies. Instead, we propose that the scope of safety-related harms should be expanded to include psychological harms. Our proposal is partly motivated by the debates and evidence on social media, which fundamentally reshaped how harm is understood and addressed in the digital age, prompting new regulatory frameworks which aimed to protect users from the psychological risks of the technology. We draw on this precedent to motivate the inclusion of psychological harms in AI safety assessments. By expanding the scope of AI safety to include psychological harms, we take a critical step toward evolving the discipline of system safety into one that is better tuned and equipped to protect users against the complex and emerging harms propagated by AI systems. (shrink)

This paper will annoy modern logicians who follow Bertrand Russell in taking pleasure in denigrating Aristotle for [allegedly] being ignorant of relational propositions. To be sure this paper does not clear Aristotle of the charge. On the contrary, it shows that such ignorance, which seems unforgivable in the current century, still dominated the thinking of one of the greatest modern logicians as late as 1831. Today it is difficult to accept the proposition that Aristotle was blind to the fact that, (...) for example, incommensurability is a relation and not a property: that the proposition “In every square, the diagonals are incommensurable with the sides” is relational and not categorical. This paper asks the reader to do something more difficult: to accept the proposition that as late as 1831 De Morgan was blind to the same fact. This paper shows conclusively that in 1831, De Morgan was still in the grips of the allegedly Aristotelian paradigm. (shrink)

In this paper I argue that a reimagining of the notion of silence as more than a sonic phenomenon is needed to address the dominant structural apparati of Western discourse. Silence as an existential medium is where the Foucauldian apparatuses that power the status-quo of the world operate. They forge connections between things like ideology and social organization where one falls into the wake of the other and is shaped in a way that is nearly invisible to the passing glance. (...) It is the indeterminacy within silence as explored by John Cage that that allows this to happen, but it also offers the potential to have an active role in the shaping of these apparatuses toward a more beneficial and culturally aware form of society. This new approach is crucial in helping one learn to embrace the indeterminacy of life and the hazy relational structures that drive our existence. (shrink)

John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the (...) premises: there must be something deductions can show. Corcoran calls a proposition that follows from given premises a hidden consequence of those premises if it is not obvious that the proposition follows from those premises. By a Euclidean geometry we mean an extended discourse beginning with basic premises—axioms, postulates, definitions—1) treating a universe of geometrical figures and 2) resembling Euclid’s Elements. There were Euclidean geometries before Euclid (fl. 300 BCE), even before Aristotle (384–322 BCE). Bochenski, Lukasiewicz, Patzig and others never new this or if they did they found it inconvenient to mention. Euclid shows no awareness of Aristotle. It is obvious today—as it should have been obvious in Euclid’s time, if anyone knew both—that Aristotle’s logic was insufficient for Euclid’s geometry: few if any geometrical theorems can be deduced from Euclid’s premises by means of Aristotle’s deductions. Aristotle’s writings don’t say whether his logic is sufficient for Euclidean geometry. But, there is not even one fully-presented example. However, Aristotle’s writings do make clear that he endorsed the goal of a sufficient system. Nevertheless, incredible as this is today, many logicians after Aristotle claimed that Aristotelian logics are sufficient for Euclidean geometries. This paper reviews and analyses such claims by Mill, Boole, De Morgan, Russell, Poincaré, and others. It also examines early contrary statements by Hintikka, Mueller, Smith, and others. Special attention is given to the argumentations pro or con and especially to their logical, epistemic, and ontological presuppositions. What methodology is necessary or sufficient to show that a given logic is adequate or inadequate to serve as the underlying logi of a given science. (shrink)

Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more (...) than one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (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)

L'écologie préénergétique des années 1905-1935 est à la recherche de ses objets d'étude. Des unités fondamentales de la nature (telles que formation végétale, association végétale, climax, biome, communauté biotique, écosystème) se trouvent en compétition et se succèdent les unes aux autres. Autour des années 1920 et 1930, la philosophie organiciste d'Alfred N. Whitehead, ainsi que la perspective évolutionniste d'Herbert Spencer et les propositions émergentistes de Samuel Alexander et Conwy L. Morgan, deviennent des références sous-jacentes au débat épistémologique concernant les (...) unités de base de l'écologie. Des auteurs comme Frederic E. Clements et John Phillips soutiendront plusieurs formes d'organicisme écologique, tandis que Henry A. Gleason interprétera l'association végétale comme le résultat d'une juxtaposition fortuite d'individus. Enfin, et paradoxalement, l'écosystème de Arthur G. Tansley, tout en faisant partie, à l'origine, d'une perspective anti-organiciste, deviendra l'unité fondamentale de programmes de recherche qui se voudront, au moins dans leurs intentions, émergentistes. (shrink)

On the extended mind hypothesis (EM), many of our cognitive states and processes are hybrids, unevenly distributed across biological and nonbiological realms. In certain circumstances, things - artifacts, media, or technologies - can have a cognitive life, with histories often as idiosyncratic as those of the embodied brains with which they couple. The realm of the mental can spread across the physical, social, and cultural environments as well as bodies and brains. My independent aims in this chapter are: first, to (...) describe two compatible but distinct movements or "waves" within the EM literature, arguing for the priority of the second wave (and gesturing briefly toward a third); and, second, to defend and illustrate the interdisciplinary implications of EM as best understood, specifically for historical disciplines, by sketching two case studies. (shrink)

I argue against the orthodox view of the relationship between propositional and doxastic justification. The view under criticism is: if p is propositionally justified for S in virtue of S's having reason R, and S believes p on the basis of R, then S's belief that p is doxastically justified. I then propose and evaluate alternative accounts of the relationship between propositional and doxastic justification, and conclude that we should explain propositional justification in terms of doxastic justification. If correct, this (...) proposal would constitute a significant advance in our understanding of the sources of epistemic justification. (shrink)

Dasgupta poses a serious challenge to realism about natural properties. He argues that there is no acceptable explanation of why natural properties deserve the value realists assign to them and are consequently absent of value. In response, this paper defines and defends an alternative non-explanatory account of normativity compatible with realism. Unlike Lewis and Sider, who believe it is sufficient to defend realism solely on realist terms, I engage with the challenge on unfriendly grounds by revealing a tu quoque. Dasgupta (...) and anti-realists face a similar challenge to that directed against realism: one that not only undermines the objection to realism by legitimising non-explanatory normativity but leaves them facing a significant dilemma. (shrink)

This paper provides a principled and elegant solution to the Gettier problem. The key move is to draw a general metaphysical distinction and conscript it for epistemological purposes. Section 1 introduces the Gettier problem. Sections 2–5 discuss instructively wrong or incomplete previous proposals. Section 6 presents my solution and explains its virtues. Section 7 answers the most common objection.

This paper introduces a new, expanded range of relevant cognitive psychological research on collaborative recall and social memory to the philosophical debate on extended and distributed cognition. We start by examining the case for extended cognition based on the complementarity of inner and outer resources, by which neural, bodily, social, and environmental resources with disparate but complementary properties are integrated into hybrid cognitive systems, transforming or augmenting the nature of remembering or decision-making. Adams and Aizawa, noting this distinctive complementarity argument, (...) say that they agree with it completely: but they describe it as “a non-revolutionary approach” which leaves “the cognitive psychology of memory as the study of processes that take place, essentially without exception, within nervous systems.” In response, we carve out, on distinct conceptual and empirical grounds, a rich middle ground between internalist forms of cognitivism and radical anti-cognitivism. Drawing both on extended cognition literature and on Sterelny’s account of the “scaffolded mind” (this issue), we develop a multidimensional framework for understanding varying relations between agents and external resources, both technological and social. On this basis we argue that, independent of any more “revolutionary” metaphysical claims about the partial constitution of cognitive processes by external resources, a thesis of scaffolded or distributed cognition can substantially influence or transform explanatory practice in cognitive science. Critics also cite various empirical results as evidence against the idea that remembering can extend beyond skull and skin. We respond with a more principled, representative survey of the scientific psychology of memory, focussing in particular on robust recent empirical traditions for the study of collaborative recall and transactive social memory. We describe our own empirical research on socially distributed remembering, aimed at identifying conditions for mnemonic emergence in collaborative groups. Philosophical debates about extended, embedded, and distributed cognition can thus make richer, mutually beneficial contact with independently motivated research programs in the cognitive psychology of memory. (shrink)

This report reviews what quantum physics and information theory have to tell us about the age-old question, How come existence? No escape is evident from four conclusions: (1) The world cannot be a giant machine, ruled by any preestablished continuum physical law. (2) There is no such thing at the microscopic level as space or time or spacetime continuum. (3) The familiar probability function or functional, and wave equation or functional wave equation, of standard quantum theory provide mere continuum idealizations (...) and by reason of this circumstance conceal the information-theoretic source from which they derive. (4) No element in the description of physics shows itself as closer to primordial than the elementary quantum phenomenon, that is, the elementary device-intermediated act of posing a yes-no physical question and eliciting an answer or, in brief, the elementary act of observer-participancy. Otherwise stated, every physical quantity, every it, derives its ultimate significance from bits, binary yes-or-no indications, a conclusion which we epitomize in the phrase, it from bit. (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)

Many philosophers favour the simple knowledge account of assertion, which says you may assert something only if you know it. The simple account is true but importantly incomplete. I defend a more informative thesis, namely, that you may assert something only if your assertion expresses knowledge. I call this 'the express knowledge account of assertion', which I argue better handles a wider range of cases while at the same time explaining the simple knowledge account's appeal. §1 introduces some new data (...) that a knowledge account of assertion well explains. §2 explains the simple knowledge account's advantage over two of its main competitors. §3 presents a problem for the simple account and offers a solution, which is to adopt the express knowledge account. §4 encapsulates the case for the express knowledge account, and offers a unifying vision for the epistemology of belief and assertion. §5 answers an objection. §6 briefly sums up. Even those who ultimately reject my conclusion can still benefit from the new data presented in §1, and learn an important lesson from the problem discussed in §3, which demonstrates a general constraint on an acceptable account of the norm of assertion. (shrink)

Epistemic reasons are mental states. They are not propositions or non-mental facts. The discussion proceeds as follows. Section 1 introduces the topic. Section 2 gives two concrete examples of how our topic directly affects the internalism/externalism debate in normative epistemology. Section 3 responds to an argument against the view that reasons are mental states. Section 4 presents two problems for the view that reasons are propositions. Section 5 presents two problems for the view that reasons are non-mental facts. Section 6 (...) argues that reasons are mental states. Section 7 responds to objections. (shrink)

This paper explains what it is to believe something for a reason. My thesis is that you believe something for a reason just in case the reason non-deviantly causes your belief. In the course of arguing for my thesis, I present a new argument that reasons are causes, and offer an informative account of causal non-deviance.

Is knowledge justified true belief? Most philosophers believe that the answer is clearly ‘no’, as demonstrated by Gettier cases. But Gettier cases don’t obviously refute the traditional view that knowledge is justified true belief (JTB). There are ways of resisting Gettier cases, at least one of which is partly successful. Nevertheless, when properly understood, Gettier cases point to a flaw in JTB, though it takes some work to appreciate just what it is. The nature of the flaw helps us better (...) understand the nature of knowledge and epistemic justification. I propose a crucial improvement to the traditional view, relying on an intuitive and independently plausible metaphysical distinction pertaining to the manifestation of intellectual powers, which supplements the traditional components of justification, truth and belief. (shrink)

Assertion is fundamental to our lives as social and cognitive beings. Philosophers have recently built an impressive case that the norm of assertion is factive. That is, you should make an assertion only if it is true. Thus far the case for a factive norm of assertion been based on observational data. This paper adds experimental evidence in favor of a factive norm from six studies. In these studies, an assertion’s truth value dramatically affects whether people think it should be (...) made. Whereas nearly everyone agreed that a true assertion supported by good evidence should be made, most people judged that a false assertion supported by good evidence should not be made. The studies also suggest that people are consciously aware of criteria that guide their evaluation of assertions. Evidence is also presented that some intuitive support for a non-factive norm of assertion comes from a surprising tendency people have to misdescribe cases of blameless rule-breaking as cases where no rule is broken. (shrink)

In this essay I show how to reconcile epistemic invariantism with the knowledge account of assertion. My basic proposal is that we can comfortably combine invariantism with the knowledge account of assertion by endorsing contextualism about speech acts. My demonstration takes place against the backdrop of recent contextualist attempts to usurp the knowledge account of assertion, most notably Keith DeRose's influential argument that the knowledge account of assertion spells doom for invariantism and enables contextualism's ascendancy.

The paper begins by reviewing two problems for fallibilism: the lottery problem, or the problem of explaining why fallible evidence, though otherwise excellent, is not enough to know that one will lose the lottery, and Gettier problems. It is then argued that both problems can be resolved if we note an important illocutionary force of knowledge attributions: namely, that when we attribute knowledge to someone we mean to give the person credit for getting things right. Alternatively, to say that a (...) person knows is to say that she got things right due to her own abilities, efforts and actions, rather than due to dumb luck, or blind chance, or something else. (shrink)

One fairly common view about practical reason has it that whether you have a reason to act is not determined by what you know, or believe, or are justified in believing. Your reasons are determined by the facts. Perhaps there are two kinds of reasons, and however it goes with motivating reasons, normative reasons are determined by the facts, not your take on the facts. One fairly common version of this view has it that what's reasonable for you to do (...) is determined by what you know or believe. Any view that drives this kind of wedge between reasons and rationality is inherently unstable. I argue against this view, criticize the arguments typically presented in its favor, and sketch an alternative. (shrink)

Conceptualism is the thesis that, for any perceptual experience E, (i) E has a Fregean proposition as its content and (ii) a subject of E must possess a concept for each item represented by E. We advance a framework within which conceptualism may be defended against its most serious objections (e.g., Richard Heck's argument from nonveridical experience). The framework is of independent interest for the philosophy of mind and epistemology given its implications for debates regarding transparency, relationalism and representationalism, demonstrative (...) thought, phenomenal character, and the speckled hen objection to modest foundationalism. (shrink)

We conducted five experiments that reveal some main contours of the folk epistemology of lotteries. The folk tend to think that you don't know that your lottery ticket lost, based on the long odds ("statistical cases"); by contrast, the folk tend to think that you do know that your lottery ticket lost, based on a news report ("testimonial cases"). We evaluate three previous explanations for why people deny knowledge in statistical cases: the justification account, the chance account, and the statistical (...) account. None of them seems to work. We then propose a new explanation of our own, the formulaic account, according to which some people deny knowledge in statistical cases due to formulaic expression. (shrink)

This article accomplishes two closely connected things. First, it refutes an influential view about the relationship between perception and knowledge. In particular, it demonstrates that perceiving does not entail knowing. Second, it leverages that refutation to demonstrate that knowledge is not the most general factive propositional attitude.

This paper presents a puzzle about justification and withholding. The puzzle arises in a special case where experts advise us to not withhold judgment. My main thesis is simply that the puzzle is genuinely a puzzle, and so leads us to rethink some common assumptions in epistemology, specifically assumptions about the nature of justification and doxastic attitudes. Section 1 introduces the common assumptions. Section 2 presents the puzzle case. Section 3 assesses the puzzle case. Section 4 explains the choice we're (...) faced with. Sections 5 and 6 consider and reject some proposed solutions, and in the process refine and clarify the choice we're faced with. Section 7 considers and rejects a miscellany of different proposed solutions. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...) problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

I argue that you can have a priori knowledge of propositions that neither are nor appear necessarily true. You can know a priori contingent propositions that you recognize as such. This overturns a standard view in contemporary epistemology and the traditional view of the a priori, which restrict a priori knowledge to necessary truths, or at least to truths that appear necessary.

According to the Self-Location Thesis, one’s own location can be among the things that visual experience represents, even when one’s body is entirely out of view. By contrast, the Minimal View denies this, and says that visual experience represents things only as "to the right", etc., and never as "to the right of me". But the Minimal View is phenomenologically inadequate: it cannot explain the difference between a visual experience of self-motion and one of an oppositely moving world. To show (...) this, I argue (i) that these experiences are different in an important respect, (ii) that this difference is genuinely experiential, (iii) that it is visual, (iv) that it is not purely phenomenal, and (v) that it cannot be identified with anything other than the apparent motion of the self. So the Self-Location Thesis is upheld: reports of one’s own motion can correspond to aspects of visual experiences every bit as basic to their contents as the apparent motion or rest of the things one has in view. (shrink)

We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no- go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a time (...) machine. We explain the conundrum that must be faced in providing a satisfactory definition and propose a resolution. Roughly, we require that all extensions of the time machine region contain closed timelike curves; the actions of the time machine operator are then sufficiently "potent" to guarantee that closed timelike curves appear. We then review no-go theorems based on classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and Euclidean quantum gravity. Our verdict on the question of our title is that no result of sufficient generality to underwrite a confident "yes" has been proven. Our review of the no-go results does, however, highlight several foundational problems at the intersection of general relativity and quantum physics that lend substance to the search for an answer. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...) logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

Intuitively, the knowledge of one’s own intentional actions is different from the knowledge of actions of other sorts, including those of other people and unintentional actions of one's own. But how are we to understand this phenomenon? Does it pertain to all actions, under every description under which they are known? If so, then how is this possible? If not, then how should we think about cases that are exceptions to this principle? This paper is a critical survey of recent (...) attempts to answer these questions. I consider views under three headings: "special source" views, which hold that the knowledge of one's intentional actions has a non-perceptual source; "special domain" views, which hold that some but not all aspects of one's intentional actions are known in a special way; and "special character" views, which hold that the knowledge of intentional actions is special not because of where it comes from, but because of some other respect in which it is different in kind from the knowledge of other things. (shrink)

Is it possible to misidentify the object of an episode of bodily awareness? I argue that it is, on the grounds that a person can reasonably be unsure or mistaken as to which part of his or her body he or she is aware of at a given moment. This requires discussing the phenomenon of body ownership, and defending the claim that the proper parts of one’s body are at least no less ‘principal’ among the objects of bodily awareness than (...) is the body as a whole. I conclude with some reasons why this should lead us to think that bodily awareness, unlike introspection, is a form of perception. (shrink)

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...) attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

The Consequence Argument has elicited various responses, ranging from acceptance as obviously right to rejection as obviously problematic in one way or another. Here we wish to focus on one specific response, according to which the Consequence Argument begs the question. This is a serious accusation that has not yet been adequately rebutted, and we aim to remedy that in what follows. We begin by giving a formulation of the Consequence Argument. We also offer some tentative proposals about the nature (...) of begging the question. Although the charge of begging the question is frequently made in philosophy, it is surprisingly difficult to pin down the precise nature of this dialectical infelicity (or family of such infelicities). Thus we offer some new proposals about the nature of begging the question with an eye to understanding what is going on in central cases in which the charge is legitimately made. We then defend the Consequence Argument against the charge that it begs the question, so construed. We contend that, whatever the other liabilities of the argument may be, it does not beg the question against the compatibilist. (shrink)

I argue that the most promising approach to understanding J.J. Gibson's "affordances" takes affordances themselves as ontological primitives, instead of treating them as dispositional properties of more primitive things, events, surfaces, or substances. These latter are best treated as coalescences of affordances present in the environment (or "coalescences of use-potential," as in Sanders (1994) and Hilditch (1995)). On this view, even the ecological approach's stress on the complementary organism/environment pair is seen as expressing a particular affordance relation between the world (...) and the analyst. That the world is parsed in any way among events and objects, perceivers and worlds, etc., reflects equally features of certain real or possible perspectives on the world and features of the world itself. In section 1, I begin by contending that, contrary to the apparent expectations of some in the field, the bare existence of affordances is surely quite uncontroversial. In section 2, I argue that the most reasonable approach to foundational ontology is a relativistic one. In section 3, I address the claim that affordances must be ontologically complemented by effectivities for the sake of completeness, and I shall argue against that claim on grounds that I take to reflect some of Gibson's most important insights. This work will help to clarify the way affordances are to be used in the fourth and final section, where I argue that ontological work, even within special sciences, should not be merely "regional," and that the most attractive general approach to ontological questions is one that is based on affordances, rather than upon things, events, surfaces, and the like. (shrink)

Many philosophers have held that it is not possible to experience a spatial object, property, or relation except against the background of an intact awareness of a space that is somehow ‘absolute’. This paper challenges that claim, by analyzing in detail the case of a brain-damaged subject whose visual experiences seem to have violated this condition: spatial objects and properties were present in his visual experience, but space itself was not. I go on to suggest that phenomenological argumentation can give (...) us a kind of evidence about the nature of the mind even if this evidence is not absolutely incorrigible. (shrink)

In this paper I refute the chief arguments for cultural relativism, meaning the moral (not the descriptive) theory that goes by that name. In doing this I walk some oft-trodden paths, but I also break new ones. For instance, I take unusual pains to produce an adequate formulation of cultural relativism, and I distinguish that thesis from the relativism of present-day anthropologists, with which it is often conflated. In addition, I address not one or two, but eleven arguments for cultural (...) relativism, many of which contribute to its popularity but receive scant attention from its critics. To elicit the failings of these arguments I deploy a host of pertinent but often neglected distinctions. (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)

Essentialism in philosophy is the position that things, especially kinds of things, have essences, or sets of properties, that all members of the kind must have, and the combination of which only members of the kind do, in fact, have. It is usually thought to derive from classical Greek philosophy and in particular from Aristotle’s notion of “what it is to be” something. In biology, it has been claimed that pre-evolutionary views of living kinds, or as they are sometimes called, (...) “natu-ral kinds”, are essentialist. This static view of living things presumes that no tran-sition is possible in time or form between kinds, and that variation is regarded as accidental or inessential noise rather than important information about taxa. In contrast it is held that Darwinian, and post-Darwinian, biology relies upon varia-tion as important and inevitable properties of taxa, and that taxa are not, therefore, kinds but historical individuals. Recent attempts have been made to undercut this account, and to reinstitute essentialism in biological kind terms. Others argue that essentialism has not ever been a historical reality in biology and its predecessors. In this chapter, I shall outline the many meanings of the notion of essentialism in psychology and social science as well as science, and discuss pro- and anti-essentialist views, and some recent historical revisionism. It turns out that nobody was essentialist to speak of in the sense that is antievolutionary in biology, and that much confusion rests on treating the one word, “essence” as meaning a single notion when in fact there are many. I shall also discuss the philosophical implica-tions of essentialism, and what that means one way or the other for evolutionary biology. Teaching about evolution relies upon narratives of change in the ways the living world is conceived by biologists. This is a core narrative issue. (shrink)

Robust technological enhancement of core cognitive capacities is now a realistic possibility. From the perspective of neutralism, the view that justifications for public policy should be neutral between reasonable conceptions of the good, only members of a subset of the ethical concerns serve as legitimate justifications for public policy regarding robust technological enhancement. This paper provides a framework for the legitimate use of ethical concerns in justifying public policy decisions regarding these enhancement technologies by evaluating the ethical concerns that arise (...) in the context of testing such technologies on nonhuman animals. Traditional issues in bioethics, as well as novel concerns such as the possibility of moral status enhancement, are evaluated from the perspective of neutralism. (shrink)

Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which knowledge of these relations are achieved. This paper is (...) better thought of as an early stage of a dialogue than as a definitive treatise. (shrink)

Ever since Darwin people have worried about the sceptical implications of evolution. If our minds are products of evolution like those of other animals, why suppose that the beliefs they produce are true, rather than merely useful? We consider this problem for beliefs in three different domains: religion, morality, and commonsense and scientific claims about matters of empirical fact. We identify replies to evolutionary scepticism that work in some domains but not in others. One reply is that evolution can be (...) expected to design systems that produce true beliefs in some domain. This reply works for commonsense beliefs and can be extended to scientific beliefs. But it does not work for moral or religious beliefs. An alternative reply which has been used defend moral beliefs is that their truth does not consist in their tracking some external state of affairs. Whether or not it is successful in the case of moral beliefs, this reply is less plausible for religious beliefs. So religious beliefs emerge as particularly vulnerable to evolutionary debunking. (shrink)

The vision of natural kinds that is most common in the modern philosophy of biology, particularly with respect to the question whether species and other taxa are natural kinds, is based on a revision of the notion by Mill in A System of Logic. However, there was another conception that Whewell had previously captured well, which taxonomists have always employed, of kinds as being types that need not have necessary and sufficient characters and properties, or essences. These competing views employ (...) different approaches to scientific methodologies: Mill’s class-kinds are not formed by induction but by deduction, while Whewell’s type-kinds are inductive. More recently, phylogenetic kinds (clades, or monophyletic-kinds) are inductively projectible, and escape Mill’s strictures. Mill’s version represents a shift in the notions of kinds from the biological to the physical sciences. (shrink)

Traditionally it has been thought that the moral valence of a proposition is, strictly speaking, irrelevant to whether someone knows that the proposition is true, and thus irrelevant to the truth-value of a knowledge ascription. On this view, it’s no easier to know, for example, that a bad thing will happen than that a good thing will happen (other things being equal). But a series of very surprising recent experiments suggest that this is actually not how we view knowledge. On (...) the contrary, people are much more willing to ascribe knowledge of a bad outcome. This is known as the epistemic side-effect effect (ESEE), and is a specific instance of a widely documented phenomenon, the side-effect effect (a.k.a. “the Knobe effect”), which is the most famous finding in experimental philosophy. In this paper, I report a new series of five experiments on ESEE, and in the process accomplish three things. First, I confirm earlier findings on the effect. Second, I show that the effect is virtually unlimited. Third, I introduce a new technique for detecting the effect, which potentially enhances its theoretical significance. In particular, my findings make it more likely that the effect genuinely reflects the way we think about and ascribe knowledge, rather than being the result of a performance error. (shrink)

According to anti-atomism, we represent color properties (e.g., red) in virtue of representing color relations (e.g., redder than). I motivate anti-atomism with a puzzle involving a series of pairwise indistinguishable chips. I then develop two versions of anti-atomism.