Przed skomentowaniem książki, oferuję uwagi na temat Wittgenstein i Searle i logicznej struktury racjonalności. Eseje tutaj są w większości już opublikowane w ciągu ostatniej dekady (choć niektóre zostały zaktualizowane), wraz z jednym niepublikowanym elementem, i nic tutaj nie będzie zaskoczeniem dla tych, którzy nadążyli za jego pracą. Podobnie jak W, jest uważany za najlepszego filozofa standupu swoich czasów, a jego twórczość pisemna jest solidna jak skała i przełomowa w całym. Jednak jego brak podjęcia później W wystarczająco poważnie prowadzi do pewnych (...) błędów i zamieszania. Tylko kilka przykładów: na p7 dwukrotnie zauważa, że nasza pewność co do podstawowych faktów wynika z przytłaczającej wagi rozumu na poparcie naszych roszczeń, ale W pokazał definitywnie w "Na pewności", że nie ma możliwości wątpliwości co do prawdziwej tylko aksjomatycznej struktury naszego systemu 1 postrzegania, wspomnień i myśli, ponieważ sam w sobie jest podstawą do osądu i nie może być osądzony. W pierwszym zdaniu na p8 mówi nam, że pewność jest re prostu, ale tego rodzaju "pewność", którą moglibyśmy nazwać Certainty2, jest wynikiem rozszerzenia naszej aksjomatycznej i niepodróżnej pewności (Pewność1) poprzez doświadczenie i jest zupełnie inna, ponieważ jest propositional (prawda lub fałsz). Jest to oczywiście klasyczny przykład "walki z urzekaniem naszej inteligencji przez język", którą W wielokrotnie demonstrował. Jedno słowo- dwa (lub wiele) różnych zastosowań. -/- Jego ostatni rozdział "Jedność propozycji" (wcześniej niepublikowane) również skorzystają znacznie z czytania W "Na pewność" lub dwóch książek DMS na OC (patrz moje recenzje), ponieważ jasno różnica między prawdziwymi tylko zdania opisujące S1 i prawdziwe lub fałszywe propozycje opisujące S2. To uderza mnie jako znacznie lepsze podejście do S biorąc S1 postrzegania jako propositional ponieważ tylko się T lub F po raz zaczyna myśleć o nich w S2. Jednak jego punkt, że propozycje pozwalają na oświadczenia rzeczywistej lub potencjalnej prawdy i fałszu, przeszłości i przyszłości i fantazji, a tym samym stanowić ogromny postęp w stosunku do społeczeństwa pre lub protolinguistic, jest przekonujący. Jak mówi: "Propozycja jest w ogóle czymś, co może określić warunek satysfakcji... i warunek satysfakcji... jest to, że tak i tak jest." Lub, trzeba dodać, że może być lub może być lub może być wyobrażane, że tak jest. -/- Ogólnie rzecz biorąc, PNC jest dobrym podsumowaniem wielu znaczących postępów w Wittgenstein wynikających z pół wieku pracy S, ale moim zdaniem, W nadal jest niezrównany, gdy uchwycić, co mówi. Idealnie, powinny być czytane razem: Searle dla jasnej prozy spójne i uogólnienia, zilustrowane perspicacious przykłady W i genialny aforyzmów. Gdybym był dużo młodszy, napisałbym książkę, która właśnie to robi. -/- Ci, którzy chcą kompleksowych, aktualnych ram dla ludzkich zachowań z nowoczesnego widoku dwóch systems, mogą zapoznać sięz moją książką "Logiczna struktura filozofii, psychologii, mind ijęzyka w Ludwig wittgenstein i John Searle' 2nd ed (2019). Osoby zainteresowane bardziej moimi pismami mogą zobaczyć "Talking Monkeys - Filozofia, Psychologia, Nauka, Religia i Polityka na Skazanej Planecie - Artykuły i recenzje 2006-2019 3rd ed (2019) i Suicidal Utopian Urojenia w 21wieku 4th th ed (2019) i inne. (shrink)

Przed skomentowaniem książki, oferuję uwagi na temat Wittgenstein i Searle i logicznej struktury racjonalności. Eseje tutaj są w większości już opublikowane w ciągu ostatniej dekady (choć niektóre zostały zaktualizowane), wraz z jednym niepublikowanym elementem, i nic tutaj nie będzie zaskoczeniem dla tych, którzy nadążyli za jego pracą. Podobnie jak W, jest uważany za najlepszego filozofa standupu swoich czasów, a jego twórczość pisemna jest solidna jak skała i przełomowa w całym. Jednak jego brak podjęcia później W wystarczająco poważnie prowadzi do pewnych (...) błędów i zamieszania. Tylko kilka przykładów: na p7 dwukrotnie zauważa, że nasza pewność co do podstawowych faktów wynika z przytłaczającej wagi rozumu na poparcie naszych roszczeń, ale W pokazał definitywnie w "Na pewności", że nie ma możliwości wątpliwości co do prawdziwej tylko aksjomatycznej struktury naszego systemu 1 postrzegania, wspomnień i myśli, ponieważ sam w sobie jest podstawą do osądu i nie może być osądzony. W pierwszym zdaniu na p8 mówi nam, że pewność jest re prostu, ale tego rodzaju "pewność", którą moglibyśmy nazwać Certainty2, jest wynikiem rozszerzenia naszej aksjomatycznej i niepodróżnej pewności (Pewność1) poprzez doświadczenie i jest zupełnie inna, ponieważ jest propositional (prawda lub fałsz). Jest to oczywiście klasyczny przykład "walki z urzekaniem naszej inteligencji przez język", którą W wielokrotnie demonstrował. Jedno słowo- dwa (lub wiele) różnych zastosowań. Jego ostatni rozdział "Jedność propozycji" (wcześniej niepublikowane) również skorzystają znacznie z czytania W "Na pewność" lub dwóch książek DMS na OC (patrz moje recenzje), ponieważ jasno różnica między prawdziwymi tylko zdania opisujące S1 i prawdziwe lub fałszywe propozycje opisujące S2. To uderza mnie jako znacznie lepsze podejście do S biorąc S1 postrzegania jako propositional ponieważ tylko się T lub F po raz zaczyna myśleć o nich w S2. Jednak jego punkt, że propozycje pozwalają na oświadczenia rzeczywistej lub potencjalnej prawdy i fałszu, przeszłości i przyszłości i fantazji, a tym samym stanowić ogromny postęp w stosunku do społeczeństwa pre lub protolinguistic, jest przekonujący. Jak mówi: "Propozycja jest w ogóle czymś, co może określić warunek satysfakcji... i warunek satysfakcji... jest to, że tak i tak jest." Lub, trzeba dodać, że może być lub może być lub może być wyobrażane, że tak jest. -/- Ogólnie rzecz biorąc, PNC jest dobrym podsumowaniem wielu znaczących postępów w Wittgenstein wynikających z pół wieku pracy S, ale moim zdaniem, W nadal jest niezrównany, gdy uchwycić, co mówi. Idealnie, powinny być czytane razem: Searle dla jasnej prozy spójne i uogólnienia, zilustrowane perspicacious przykłady W i genialny aforyzmów. Gdybym był dużo młodszy, napisałbym książkę, która właśnie to robi. -/- Ci, którzy chcą kompleksowych, aktualnych ram dla ludzkich zachowań z nowoczesnego widoku dwóch systems, mogą zapoznać sięz moją książką "Logiczna struktura filozofii, psychologii, mind ijęzyka w Ludwig wittgenstein i John Searle' 2nd ed (2019). Osoby zainteresowane bardziej moimi pismami mogą zobaczyć "Talking Monkeys - Filozofia, Psychologia, Nauka, Religia i Polityka na Skazanej Planecie - Artykuły i recenzje 2006-2019 3rd ed (2019) i Suicidal Utopian Urojenia w 21wieku 4th th ed (2019) i inne. (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)

Przed komentowaniem szczegółowo na making Social World (MSW) będę najpierw zaoferować kilka uwag na temat filozofii (psychologii opisowej) i jej związek ze współczesnymi badaniami psychologicznymi, jak przykładem w pracach Searle (S) i Wittgenstein (W), ponieważ czuję, że jest to najlepszy sposób, aby umieścić Searle lub komentator na zachowanie, w odpowiedniej perspektywie. To bardzo pomoże, aby zobaczyć moje recenzje PNC, TLP, PI, OC, TARW i innych książek przez tych dwóch geniuszy psychologii opisowej. -/- S nie odnosi się do wyrozumiałego zdania W. (...) jako mechanizmu w TLP i jego zniszczenia w jego późniejszej pracy. Od W, S stał się głównym dekonstruktorem tych mechanicznych poglądów na zachowanie, a najważniejszym psychologiem opisowym (filozofem), ale nie zdaje sobie sprawy, jak całkowicie W go przewidział, ani nie, ogólnie rzecz biorąc, robić innych (ale zobacz wiele dokumentów i książek Proudfoot i Copeland na W, Turing i AI). Praca S jest znacznie łatwiejsza do naśladowania niż W, i choć jest jakiś żargon, to jest w większości spektakularnie jasne, jeśli zbliżysz się do niego z właściwego kierunku. Zobacz moje recenzje W S i innych książek, aby uzyskać więcej informacji. Ogólnie rzecz biorąc, MSW jest dobrym podsumowaniem wielu znaczących postępów w Wittgenstein wynikających z pół wieku pracy S, ale moim zdaniem, W nadal nie ma sobie równych w podstawowej psychologii, gdy zrozumiesz, co mówi (patrz moje recenzje). Idealnie,, powinny one być odczytywane razem: Searle dla jasnej prozy spójnej i uogólnień na temat działania S2/S3, zilustrowane przenikliwymi przykładami W działania S1/S2 i jego genialnymi aforyzmami. Gdybym był dużo młodszy, napisałbym książkę, która właśnie to robi. -/- Ci, którzy chcą kompleksowych, aktualnych ram dla ludzkich zachowań z nowoczesnego widoku dwóch systems, mogą zapoznać sięz moją książką "Logiczna struktura filozofii, psychologii, mind ijęzyka w Ludwig wittgenstein i John Searle' 2nd ed (2019). Osoby zainteresowane bardziej moimi pismami mogą zobaczyć "Talking Monkeys - Filozofia, Psychologia, Nauka, Religia i Polityka. (shrink)

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)

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

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)

A number of philosophical projects require a proper understanding of the modal aspects of agency, or of what I call ‘the agentive modalities.’ I propose a general account of the agentive modalities, one which takes as its primitive the decision-theoretic notion of an option. I relate this account to the standard semantics for ‘can’ and to the viability of some positions in the free will debates.

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.

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)

We present Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge, which works differently from other putative counterexamples and avoids objections to which they are vulnerable. We then argue that four ways of analysing knowledge in terms of safety, including Duncan Pritchard’s, cannot withstand Backward Clock either.

A collaborative article by the Editorial Collective of Social Imaginaries. Investigations into social imaginaries have burgeoned in recent years. From ‘the capitalist imaginary’ to the ‘democratic imaginary’, from the ‘ecological imaginary’ to ‘the global imaginary’ – and beyond – the social imaginaries field has expanded across disciplines and beyond the academy. The recent debates on social imaginaries and potential new imaginaries reveal a recognisable field and paradigm-in-the-making. We argue that Castoriadis, Ricoeur, and Taylor have articulated the most important theoretical frameworks (...) for understanding social imaginaries, although the field as a whole remains heterogeneous. We further argue that the notion of social imaginaries draws on the modern understanding of the imagination as authentically creative. We contend that an elaboration of social imaginaries involves a significant, qualitative shift in the understanding of societies as collectively and politically-instituted formations that are irreducible to inter-subjectivity or systemic logics. After marking out the contours of the field and recounting a philosophical history of the imagination, the essay turns to debates on social imaginaries in more concrete contexts, specifically political-economic imaginaries, the ecological imaginary, multiple modernities and their inter-civilisational encounters. The social imaginaries field imparts powerful messages for the human sciences and wider publics. In particular, social imaginaries hold significant implications for ontological, phenomenological and philosophical anthropological questions; for the cultural, social, and political horizons of contemporary worlds; and for ecological and economic phenomena. The essay concludes with the argument that social imaginaries as a paradigm-in-the-making offers valuable means by which movements towards social change can be elucidated as well providing an open horizon for the critiques of existing social practices. (shrink)

I consider a serious objection to the knowledge account of assertion and develop a response. In the process I introduce important new data on prompting assertion, which all theorists working in the area should take note of.

Schemes of diagrammatic representation have been so familiarly introduced into logical treatises during the last century or so, that many readers, even of those who have made no professional study of logic, may be supposed to be acquainted with the general nature and object of such devices. Of these schemes one only, viz. that commonly called "Eulerian circles," has met with any general acceptance. A variety of others indeed have been proposed by ingenious and celebrated logicians, several of which would (...) claim notice in a historical treatment of the subject; but they mostly do not seem to me to differ in any essential respect from that of Euler. They rest upon the same leading principle, and are subject all alike to the same restrictions and defects. We must therefore cast about for some new scheme of diagrammatic representation which shall be competent to indicate imperfect knowledge on our part; for this will at once enable us to appeal to it step by step in the process of working out our conclusions. I have never seen any hint at such a scheme, though the want seems so evident that one would suppose that something of the kind must have been proposed before. (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.

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.

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (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)

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)

According to G.E.M. Anscombe, an agent’s knowledge of his own intentional actions differs from his knowledge of his unintended behaviors as well as the knowledge others can have of what he intentionally does, in being secured “without observation”. I begin by posing a problem for any conception of this theory according to which non-observational knowledge must be independent of sense-perception, and criticize several recent attempts to get around the problem. Having done this, I develop an alternative account of non-observational knowledge (...) according to which its special character consists in the particular causal role of an agent’s self-awareness in bringing his intentional actions about. (shrink)

Plato is associated with the idea that the body holds us back from knowing ultimate reality and so we should try to distance ourselves from its influence. This sentiment appears is several of his dialogues including Theaetetus where the flight from the physical world is compared to becoming like God. In some major dialogues of Plato's later career such as Philebus and Laws, however, the idea of becoming like God takes a different turn. God is an intelligent force that tries (...) to create order in the physical world. I argue that likeness to God in these dialogues involves imitating God's effort by trying to order our bodies, souls, and societies as intelligence directs. Becoming like Plato's God is not to abandon the world. It is to improve it. (shrink)

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)

While there are numerous differences between the approaches taken by Maurice Merleau-Ponty and James J. Gibson, the basic motivation of the two thinkers, as well as the internal logic of their respective views, is extraordinarily close. Both were guided throughout their lives by an attempt to overcome the dualism of subject and object, and both devoted considerable attention to their "Gestaltist" predecessors. There can be no doubt but that it is largely because of this common cause that the subsequent development (...) of their ideas is so similar. It is not my objective in what follows merely to demonstrate a similarity between two lines of thought. Instead, I will try to show that each approach gains considerably from attention to the other. There are numerous ways to begin such a project, each about as arbitrary as the next. For present purposes, I shall take as of central importance the question of the character of the perceived world, both in relation to the traditionally opposed mental and material "substances", and in relation to its identification and individuation of things vis a vis one another and vis a vis ourselves. This will implicate especially Gibson's "affordances" and Merleau-Ponty's thesis concerning the "materiality of meaning.". (shrink)

In De Anima II 5, 417a21-b16, Aristotle makes a number of distinctions between types of transitions, affections, and alterations. The objective of this paper is to sort out the relationships between these distinctions by means of determining which of the distinguished types of change can be coextensive and which cannot, and which can overlap and which cannot. From the results of this analysis, an interpretation of 417a21-b16 is then constructed that differs from previous interpretations in certain important respects, chief among (...) which is its characterization of transitions from first potentiality to first actuality, e.g., learning, not as `ordinary', but rather as acquisitions of natural dispositions or faculties. (shrink)

Worrall argued that structural realism provides a ‘synthesis’ of the main pro-realist argument – the ‘No Miracles Argument’, and the main anti-realist argument – the ‘Pessimistic Induction’. More recently, however, it has been claimed that each of these arguments is an instance of the same probabilistic fallacy – sometimes called the ‘base-rate fallacy’. If correct, this clearly seems to undermine structural realism and Magnus and Callender have indeed claimed that both arguments are fallacious and ‘without [them] we lose the rationale (...) for … structural realism ’. I here argue that what have been shown to be fallacious are simply misguided formalisations of ‘the’ arguments and that when they are properly construed they continue to provide powerful motivation for favouring structural realism. (shrink)

It is sometimes asked whether virtue ethics can be assimilated by Kantianism or utilitarianism, or if it is a distinct position. A look atAristotle’s ethics shows that it certanly can be distinct. In particular, Aristotle presents us with an ethics of aesthetics in contrast to themore standard ethics of cognition: A virtuous agent identifies the right actions by their aesthetic qualities. Moreover, the agent’s concernwith her own aesthetic character gives us a key to the important role the emotions play for (...) Aristotle, which further distinguishes him from the other two theories we have mentioned. (shrink)

Infinitists argue that their view outshines foundationalism because infinitism can, whereas foundationalism cannot, explain two of epistemic justification’s crucial features: it comes in degrees and it can be complete. I present four different ways that foundationalists could make sense of those two features of justification, thereby undermining the case for infinitism.

Any satisfactory epistemology must account for the distinction between propositional and doxastic justification. Can infinitism account for it? Proposals to date have been unsatisfactory. This paper advances a new infinitist account of the distinction. The discussion proceeds as follows. Section 1 sets the stage. Section 2 presents Peter Klein's account. Section 3 raises a problem for Klein's account and suggests an improvement. Section 4 raises a further challenge. Sections 5 to 7 consider several unsuccessful attempts to meet the challenge. Section (...) 8 presents my new proposal, which can meet the challenge. Section 9 concludes the discussion. (shrink)

In his contribution to the first issue of Memory Studies, Jeffrey Olick notes that despite “the mutual affirmations of psychologists who want more emphasis on the social and sociologists who want more emphasis on the cognitive”, in fact “actual crossdisciplinary research … has been much rarer than affirmations about its necessity and desirability” (2008: 27). The peculiar, contingent disciplinary divisions which structure our academic institutions create and enable many powerful intellectual cultures: but memory researchers are unusually aware that uneasy faultlines (...) and glaring gulfs lie in the uncertain zones between them. The processes of memory are simultaneously natural and cultural. But our difficulties in imagining even fragments of a genuinely integrated framework for understanding diverse memory-related phenomena do not arise from a simple ‘two-cultures’ problem: it’s not as if there are substantially unified visions of memory within either ‘the sciences’ or ‘the humanities’. (shrink)

Bowin begins with an apparent paradox about Aristotelian infinity: Aristotle clearly says that infinity exists only potentially and not actually. However, Aristotle appears to say two different things about the nature of that potential existence. On the one hand, he seems to say that the potentiality is like that of a process that might occur but isn't right now. Aristotle uses the Olympics as an example: they might be occurring, but they aren't just now. On the other hand, Aristotle says (...) that infinity "exists in actuality as a process that is now occurring" (234). Bowin makes clear that Aristotle doesn't explicitly solve this problem, so we are left to work out the best reading we can. His proposed solution is that "infinity must be...a per se accident...of number and magnitude" (250). (Bryn Mawr Classical Review 2008.07.47). (shrink)

In this paper, I explore a possible convergence between two great twentieth century thinkers, Nishida Kitarō of Japan and Martin Heidegger of Germany. The focus is on the quasi-religious language they employ in discussing the grounding of human existence in terms of an encompassing Wherein for our being. Heidegger speaks of “the sacred” and “the passing of the last god” that mark an empty clearing wherein all metaphysical absolutes or gods have withdrawn but are simultaneously indicative of an opening wherein (...) beings are given. Nishida speaks of “the religious” dimension in the depths of one's being, that he calls “place,” and that somehow envelops the world through its kenotic self-negation. In both we find reference to a kind of originary space—the open or place—associated with quasireligious themes. I also point to their distinct approaches to metaphysical language in their attempts to give voice to that abysmal thought. (shrink)

We show that someone who believes in both gunk and the possibility of supertasks has to give up either a plausible principle about where gunk can be located, or plausible conservation principles.

This paper defends Aristotle’s project of deriving the order of time from the order of change in Physics 4.11, against the objection that it contains a vicious circularity arising from the assumption that we cannot specify the direction of a change without invoking the temporal relations of its stages. It considers and rejects a solution to this objection proposed by Ursula Coope, and proposes an alternative solution. It also considers the related problem of how the temporal orders and directions derived (...) from individual changes can together constitute a single, globally consistent order and direction of time. (shrink)

The topic of this essay is “the slingshot,” a short argument that purports to show that sentences1 designate (stand for, refer to) truth values. Versions of this argument have been used by Frege 2, Church 3, Quine4 and Davidson5; thus it is historically important, even if it immediately strikes one as fishy. The argument turns on two principles, which I call substitution and redistribution. In “Semantic Innocence and Uncompromising Situations,”6 Jon Barwise and I rejected both principles, as part of our (...) attempt.. (shrink)

The key problem for normative (or moral) cultural relativism arises as soon as we try to formulate it. It resists formulations that are (1) clear, precise, and intelligible; (2) plausible enough to warrant serious attention; and (3) faithful to the aims of leading cultural relativists, one such aim being to produce an important alternative to moral universalism. Meeting one or two of these conditions is easy; meeting all three is not. I discuss twenty-four candidates for the label "cultural relativism," showing (...) that not one meets all three conditions. In the end I conclude that cultural relativists have produced nothing that threatens universalism. (shrink)

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

Climate negotiations under the United Nations Framework Convention on Climate Change have so far failed to achieve a robust international agreement to reduce greenhouse gas emissions. Game theory has been used to investigate possible climate negotiation solutions and strategies for accomplishing them. Negotiations have been primarily modelled as public goods games such as the Prisoner’s Dilemma, though coordination games or games of conflict have also been used. Many of these models have solutions, in the form of equilibria, corresponding to possible (...) positive outcomes—that is, agreements with the requisite emissions reduction commitments. Other work on large-scale social dilemmas suggests that it should be possible to resolve the climate problem. It therefore seems that equilibrium selection may be a barrier to successful negotiations. Here we use an N-player bargaining game in an agent-based model with learning dynamics to examine the past failures of and future prospects for a robust international climate agreement. The model suggests reasons why the desirable solutions identified in previous game-theoretic models have not yet been accomplished in practice and what mechanisms might be used to achieve these solutions. (shrink)

This paper clarifies and evaluates a premise of William Alston’s argument in Perceiving God. The premise in question: if it is practically rational to engage in a doxastic practice, then it is epistemically rational to suppose that said practice is reliable. I first provide the background needed to understand how this premise fits into Alston’s main argument. I then present Alston’s main argument, and proceed to clarify, criticize, modify, and ultimately reject Alston’s argument for the premise in question. Without this (...) premise, Alston’s main argument fails. (shrink)

In this article I contrast 17th and 18th explanations of hysteria including those of Sydenham and Willis with those given by Plato and pre-modern medicine. I show that beginning in the second decade of the 17th century the locus of the disorder was transferred to the nervous system and it was no longer connected with the womb as in Hippocrates and Galen; hysteria became identified with hypochondria, and was a disease contracted by men as well as women. I discuss the (...) purely mechanical explanation of hysteria given by Robert Boyle who attributed its cause to corporeal ideas as well as overly sensitive disposition of the nervous system. I relate this the mechanical theory of the nervous system prominent in Descartes' writings on physiology. The paper closes with a discussion of the contrast between early modern explanations of hysteria and the nature of man with those of Freud in the early 20th century. (shrink)

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

There is a problem regarding God and perception right at the heart of Berkeley ’s metaphysics. With respect to this problem, I will argue for : It is intractable. Berkeley has no solution to this problem, and neither can we hope to offer one on his behalf. However, I will also argue for : The truth of need not be seen as threatening the viability of Berkeley ’s metaphysics. In fact, it may even be seen as speaking in its favor.

Utilitarian (U.) theories must be capable of being applied in practical reasoning, or they would have no value as a guide to rational conduct. However, I show that epistemic extensions to U. theories produce logical confusion. Basic questions about what one needs to know in order to apply a U. analysis embroil one in an infinite regress. And attempts to incrementally apply U. either are no help at all (leaving one entirely 'in the dark'), or in general constitute arbitrary gambles (...) which no practical reasoner could defend taking. These problems are serious enough to completely discredit U. theories as having any relevance to practical reasoning. (shrink)