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

Synthetic organisms are at the same time organisms and artifacts. In this paper we aim to determine whether such entities have a good of their own, and so are candidates for being directly morally considerable. We argue that the good of non-sentient organisms is grounded in an etiological account of teleology, on which non-sentient organisms can come to be teleologically organized on the basis of their natural selection etiology. After defending this account of teleology, we argue that there are no (...) grounds for excluding synthetic organisms from having a good also grounded in their teleological organization. However, this comes at a cost; traditional artifacts will also be seen as having a good of their own. We defend this as the best solution to the puzzle about what to say about the good of synthetic organisms. (shrink)

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)

Philosophers have often noted a contrast between practical and theoretical reasons when it comes to cases involving equally balanced reasons. When there are strong practical reasons for A-ing, and equally strong practical reasons for some incompatible option, B-ing, the agent is permitted to make an arbitrary choice between them, having sufficient reason to A and sufficient reason to B. But when there is strong evidence for P and equally strong evidence for ~ P, one isn’t permitted to simply believe one (...) or the other. Instead, one must withhold belief, neither believing that P nor believing that ~ P. This paper examines what explains this contrast, focusing in particular on a proposal recently developed by Mark Schroeder across several papers. Schroeder aims to explain the contrast by an appeal to non-evidential, epistemic reasons against belief. But, I argue, it’s not clear exactly what those reasons are, nor how those reasons are to be weighed against evidential reasons. Despite these challenges, I argue that there are grounds for optimism that the contrast can be explained within the broad framework Schroeder provides, and I aim to provide resources to meet the aforementioned challenges. (shrink)

This compilation of references includes all references for the knowledge-how chapters included in Bengson & Moffett's edited volume. The volume and the compilation of references may serve as a good starting point for people who are unfamiliar with the philosophical literature on knowledge-how.

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)

Our environmental wrongdoings result in a moral debt that requires restitution. One component of restitution is reparative and another is remediative. The remediative component requires that we remediate our characters in ways that alter or eliminate the character traits that tend to lead, in their expression, to environmental wrongdoing. Restitutive restoration is a way of engaging in ecological restoration that helps to meet the remediative requirement that accompanies environmental wrongdoing. This account of restoration provides a new motivation and justification for (...) engaging in restorative practices in addition to the standard pragmatist justification and motivations. (shrink)

How, if at all, consciousness can be part of the physical universe remains a baffling problem. This article outlines a new, developing philosophical theory of how it could do so, and offers a preliminary mathematical formulation of a physical grounding for key aspects of the theory. Because the philosophical side has radical elements, so does the physical-theory side. The philosophical side is radical, first, in proposing that the productivity or dynamism in the universe that many believe to be responsible for (...) its systematic regularities is actually itself a physical constituent of the universe, along with more familiar entities. Indeed, it proposes that instances of dynamism can themselves take part in physical interactions with other entities, this interaction then being “meta-dynamism” (a type of meta-causation). Secondly, the theory is radical, and unique, in arguing that consciousness is necessarily partly constituted of meta-dynamic auto-sensitivity, in other words it must react via meta-dynamism to its own dynamism, and also in conjecturing that some specific form of this sensitivity is sufficient for and indeed constitutive of consciousness. The article proposes a way for physical laws to be modified to accommodate meta-dynamism, via the radical step of including elements that explicitly refer to dynamism itself. Additionally, laws become, explicitly, temporally non-local in referring directly to quantity values holding at times prior to a given instant of application of the law. The approach therefore implicitly brings in considerations about what information determines states. Because of the temporal non-locality, and also because of the deep connections between dynamism and time-flow, the approach also implicitly connects to the topic of entropy insofar as this is related to time. (shrink)

It is commonly thought that one is irrationally akratic when one believes one ought to F but does not intend to F. However, some philosophers, following Robert Audi, have argued that it is sometimes rational to have this combination of attitudes. I here consider the question of whether rational akrasia is possible. I argue that those arguments for the possibility of rational akrasia advanced by Audi and others do not succeed. Specifically, I argue that cases in which an akratic agent (...) acts as he has most reason to act, and cases in which an akratic agent achieves a kind of global coherence he wouldn’t have achieved had he instead formed intentions in line with his best judgment, do not establish the possibility of rational akrasia. However, I do think that rational akrasia is possible, and I present two arguments for this thesis. The first argument involves a case in which one is incapable of revising one’s belief about what one ought to do, where one also acknowledges this belief to be insufficiently supported by the evidence. The second argument involves a case in which one rationally believes that one ought to have an akratic combination of attitudes. (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)

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)

In Physics 4.11, Aristotle discusses a sophistical puzzle in which "being Coriscus-in-the-Lyceum is different from being Coriscus-in-the-market-place." I take this puzzle to threaten the persistence of changing entities. Aristotle's answer to the puzzle is that the changing thing "is the same in respect of that, by (means of) being which at any time it is (what it is), S but in definition it is different." That is, Coriscus may be described as either a persisting substrate or as one or more (...) accidental unities. Described as the former, Coriscus persists, but described as the latter, he does not. (shrink)

Aristotle recognizes two modes of apprehending time, viz., perceiving time and grasping time intellectually. This chapter clarifies what is and is not involved in these two modes of apprehending time. It also clarifies the way in which they interact, and argues that, according to Aristotle, one’s intellectual grasp of time has an effect on one’s perception of time for those beings who have intellect.

What role, if any, do ‘seemings’ play in philosophy? Clarifying the relevant type of philosophical inquiry will enable us to pinpoint what epistemic contributions ‘seemings’ could make thereto. It will also reveal what turns on the question—nothing less, I propose, than the very possibility of philosophy. However, the answer I develop appeals not to seemings, but rather to intuitions conceived as a particular type of presentation—a “consciousness of seizing upon” how the world is, as Husserl put it. After distinguishing presentations (...) from seemings, I prise apart two kinds of presentational phenomenology, eventually arguing that the ‘contentful’ sort is poised to do the needed epistemic work. (shrink)

A psychological study of thought and language which takes an exposition of scientific linquistics as a point of departure.

Given demonstrated global knowledge inequality, this article attempts to draw out the connection between tertiary education and research (TER), economic development and infrastructure, and human development. We first explore the connection between knowledge and economic development by tracing a short history of the emergence of knowledge in economic analysis and by introducing the concept of a ‘knowledge economy’. The World Bank’s ‘Knowledge Assessment Methodology’ (2000) attempted to evaluate such ‘knowledge economies’ through a number of proposed variables. We describe relationships between (...) such TER-variables, economic development, and infrastructure building, especially in the shift towards digital economies. We will show that there is a tangible, negative human impact from disparities in knowledge production, and significant improvement in human welfare when knowledge production capacities improve. Finally, we will illustrate how these relationships play out in two case studies, in Montenegro and Bangladesh. (shrink)

This paper is concerned with the problem of speaking past one another due to an asymmetry of the interlocutors' backgrounds. When individuals with different levels of relative privilege interact, the party with relative privilege may fail to engage with what is being communicated. I take up critical Gadamerian hermeneutics to ask how we, as individuals with relative privilege, can 'unstop' our ears so that the burden of explanation does not (unfairly) remain on those we hurt by our mishearing/non-hearing. I offer (...) two methods to achieve this 'unstopping': 'critical self-knowledge' through Quassim Cassam's 'Vice Epistemology' framework and 'critical world-knowledge' through the Frankfurt School of Critical Theory (Max Horkheimer and Jürgen Habermas, specifically). I then take up contemporary critical hermeneutics (Lorenzo Simpson) to show how, through the application of the critical methods, one might be able to achieve a useful, cross-cultural dialogue. This is imperative given our inexorably multi-cultural world today. (shrink)

RÉSUMÉ : Dans son récent recueil d’articles Language, Truth and History, Donald Davidson semble pencher en faveur d’une philosophie du langage mettant l’accent sur la notion de l’intention communicative du sujet parlant; en quoi il se rapproche du point de vue de Paul Grice. Si cela est juste, la pensée de Davidson se serait dégagée de l’approche sémantique formelle qu’il soutenait dans ses Inquiries into Truth and Interpretation. Dans cet article, je soutiens que, bien qu’il y ait beaucoup de similitudes (...) entre ces deux penseurs, Davidson n’a pas abandonné ses précédentes vues sur le langage. (shrink)

An information recovery problem is the problem of constructing a proposition containing the information dropped in going from a given premise to a given conclusion that folIows. The proposition(s) to beconstructed can be required to satisfy other conditions as well, e.g. being independent of the conclusion, or being “informationally unconnected” with the conclusion, or some other condition dictated by the context. This paper discusses various types of such problems, it presents techniques and principles useful in solving them, and it develops (...) algorithmic methods for certain classes of such problems. The results are then applied to classical number theory, in particular, to questions concerning possible refinements of the 1931 Gödel Axiom Set, e.g. whether any of its axioms can be analyzed into “informational atoms”. Two propositions are “informationally unconnected” [with each other] if no informative (nontautological) consequence of one also follows from the other. A proposition is an “informational atom” if it is informative but no information can be dropped from it without rendering it uninformative (tautological). Presentation, employment, and investigation of these two new concepts are prominent features of this paper. (shrink)

The most common approach to the problem of requests for futile treatment – the hospital futility policy – rests on the assumption that demands for futile treatment are both intractable and irrational. But there is another approach to the futility problem, an approach that would be dialogic, piecemeal, and case-by-case. This is the only approach that attempts to deal with both the hospital’s problem and the patient’s or family’s problem that motivates the request/demand for futile treatments. As such, it holds (...) the promise of resolving the problem of demands for futile treatment in a way that does not generate anger and ill will at the hospital staff for what will inevitably strike patients and their families as a blatant assertion of the hospital’s power. (shrink)

This is an encyclopedia article about epistemic closure principles. The article explains what they are, their various philosophical uses, how they are argued for or against, and provides an overview of the related literature.

In his essay “Literary Vocation as Occupational Idealism: The Example of Emerson’s ‘American Scholar,’” Rob Wilson compares Ralph Waldo Emerson’s scholar with the present literary intellectual in American society. According to Wilson, rather than becoming the intellectual beacon of hope Emerson envisioned, the American (literary) scholar has become trapped in a kind of intellectual bondage by the very act of writing. That is, Wilson believes that the American scholar, because of the effect of Emersonian idealism, has been subjected to repeating (...) Emersonian moral symbols and aesthetic tropes, which has resulted in the alienation of the critic from American society (Wilson 84). However, as will be seen, Wilson’s .. (shrink)

Like all reasoning, practical reasoning is a process that takes a person from some of her existing mental states to a new mental state. Theoretical reasoning concludes in a belief; practical reasoning in an intention. This paper concentrates on instrumental reasoning, a species of practical reasoning in general. It argues that instrumental reasoning is correct if the content of the reasoning is a valid derivation, just as theoretical reasoning is correct if its content is a valid derivation. It also argues (...) that neither theoretical nor practical reasoning gives a reason for its conclusion. If a piece of reasoning is correct, it concludes in a state - a belief or an intention - that is rationally required by the states it is derived from, but rationally requiring a conclusion is not the same as giving a reason for it. (shrink)

Recent attempts to answer ontological questions through conceptual analysis have been controversial. Still, it seems reasonable to assume that if the existence of certain things analytically follows from sentences we already accept, then there is no further ontological commitment involved in affirming the existence of those things. More generally, it is plausible that whenever a sentence analytically entails another, the conjunction of those sentences requires nothing more of the world for its truth than the former sentence alone. In his ‘Analyticity (...) and Ontology’, Louis deRosset tries to produce counterexamples to these principles by means of linguistic stipulations. I aim to show where his arguments go wrong. (shrink)

Misinformation can have significant societal consequences. For example, misinformation about climate change has confused the public and stalled support for mitigation policies. When people lack the expertise and skill to evaluate the science behind a claim, they typically rely on heuristics such as substituting judgment about something complex (i.e. climate science) with judgment about something simple (i.e. the character of people who speak about climate science) and are therefore vulnerable to misleading information. Inoculation theory offers one approach to effectively neutralize (...) the influence of misinformation. Typically, inoculations convey resistance by providing people with information that counters misinformation. In contrast, we propose inoculating against misinformation by explaining the fallacious reasoning within misleading denialist claims. We offer a strategy based on critical thinking methods to analyse and detect poor reasoning within denialist claims. This strategy includes detailing argument structure, determining the truth of the premises, and checking for validity, hidden premises, or ambiguous language. Focusing on argument structure also facilitates the identification of reasoning fallacies by locating them in the reasoning process. Because this reason-based form of inoculation is based on general critical thinking methods, it offers the distinct advantage of being accessible to those who lack expertise in climate science. We applied this approach to 42 common denialist claims and find that they all demonstrate fallacious reasoning and fail to refute the scientific consensus regarding anthropogenic global warming. This comprehensive deconstruction and refutation of the most common denialist claims about climate change is designed to act as a resource for communicators and educators who teach climate science and/or critical thinking. (shrink)

This work treats the correlative concepts knowledge and opinion, in various senses. In all senses of ‘knowledge’ and ‘opinion’, a belief known to be true is knowledge; a belief not known to be true is opinion. In this sense of ‘belief’, a belief is a proposition thought to be true—perhaps, but not necessarily, known to be true. All knowledge is truth. Some but not all opinion is truth. Every proposition known to be true is believed to be true. Some but (...) not every proposition believed to be true is known to be true. Our focus is thus on propositional belief (“belief-that”): the combination of propositional knowledge (“knowledge-that”) and propositional opinion (“opinion-that”). Each of a person’s beliefs, whether knowledge or opinion, is the end result of a particular thought process that continued during a particular time interval and ended at a particular time with a conclusive act—a judgment that something is the case. This work is mainly about beliefs in substantive informative propositions—not empty tautologies. We also treat objectual knowledge (knowledge of objects in the broadest sense, or “knowledge-of”), operational knowledge (abilities and skills, “knowledge-how-to”, or “know-how”), and expert knowledge (expertise). Most points made in this work have been made by previous writers, but to the best of our knowledge, they have never before been collected into a coherent work accessible to a wide audience. -/- Key words: belief, knowledge/opinion, propositional, operational, objectual, cognition, . (shrink)

From my ongoing "Metalogical Plato" project. The aim of the diagram is to make reasonably intuitive how the Socratic elenchos (the logic of refutation applied to candidate formulations of virtues or ruling knowledges) looks and works as a whole structure. This is my starting point in the project, in part because of its great familiarity and arguable claim to being the inauguration of western philosophy; getting this point less wrong would have broad and deep consequences, including for philosophy’s self-understanding. -/- (...) (i.) is the first pass at elenchos in which the Socratic interlocutor does not reflect on knowledge being the crux of the problem. (ii.) is the second, rarer, reflective pass in which they are, making the investigation explicitly about knowledge. Its centrality in the Charmides makes that neglected dialogue of superlative importance. This structure is also the gateway through which the discussion/dialectic crosses into the Agathology (discussion of the form of the good) at Republic 505. -/- The problem of elenchos, then, grasped as a whole structure, is that it seems that knowledge can neither satisfactorily be included in nor excluded from its own scope. The development of the ti esti (“what is ---?”) question leads to the introduction of knowledge into its own scope (i. implicitly, as goodness contrasted with blind rule-following ii. explicitly qua knowledge) while the development of the dual peri tinos (“----about what?) question leads to K’s elimination from its own scope. The introductions are motivated to avoid contradiction, but produce regress; the eliminations are motivated to avoid regress, but produce contradiction. In scholarship, and in the history of philosophy, the ti esti question is universally recognized, to the point of being identified with philosophy’s origin and essence; the peri tinos question is neglected textually and never recognized as the equal dual to the ti esti. This, I claim, has blocked the development of a nontrivial logical appreciation of what Plato's Socrates is up to. (One rather disastrous effect of this neglect is taking Aristotle as the beginning of the development of logic, rather than, correctly, for the beginning of logic’s fatal separation from mathematics and dialectic.) -/- Further, because of this monopticism of the ti esti, the function of consistency in the elenchos has not been understood, even with respect to the ti esti. The ti esti is actually in search of completeness, given a norm of consistency; the peri tinos is in search of consistency, given a norm of completeness. Only appreciating the two questions as dual allows space in the structure to clarify these different orientations relative to consistency. (And, dually, to completeness, whose function in the elenchos is generally entirely missed by scholars and relegated to discussions of eros; it's not out of place there, of course, but its significance is secured here.) Recognizing the duality of the ti esti and peri tinos questions is thus the royal road, in the Socratic-Platonic context, to catching sight of what we post-Cantorians can recognize as the metalogical duality of consistency and completeness. (The salutary disruptive effects of this Plato-Cantor proximity have, of course, been traced in complementary ways by Badiou.) -/- Note that the diagram is supposed to provide a relatively accessible orientation, not to stand on its own, and certainly not to be the last word on any subject. An important qualification (telegraphed in the previous paragraph) is that what elenchos shows is not finally circular or paradoxical, though the problem first presents as such (stubbornly, obdurately, as "difficult" Plato's Socrates always says with characteristic understatement). What is depicted here is meant, at a first pass, to be the shape of that first presentation, the form of the problem of elenchos, rather than of its solution. It's not an accident that this problem strongly resembles "Russell's paradox" (not Russell's not a paradox.) Problem is to solution as RP is to the diagonal theorems. (shrink)

Political short-termism costs the global economy hundreds of billions to trillions of dollars annually, and leads to many millions of deaths from disasters and suboptimal spending. In this paper, I propose a futures assembly explicitly incentivised to promote the interests of future generations as a promising strategy to ameliorate short-termism. The assembly I propose is governed by citizens randomly selected from among the populace, who are rewarded in the future to the extent that they successfully promote the welfare of future (...) generations. The most initially promising such retrospective accountability mechanism is an iterated mechanism, in which each generation of policymakers rewards the previous generation for their policy choices and for their own evaluation of the previous generation. Such an assembly, supplemented with the duties, powers, and tools that I describe, and with appropriate support from archivists and experts, may manage to represent generations many years into the future. (shrink)

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

Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the premise-set. This (...) paper locates information-theoretic approaches historically, philosophically, and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyze validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

This paper has as its topic two recent philosophical disputes. One of these disputes is internal to the project known as decision theory, and while by now familiar to many, may well seem to be of pressing concern only to specialists. It has been carried on over the last twenty years or so, but by now the two opposing camps are pretty well entrenched in their respective positions, and the situation appears to many observers (as well as to some of (...) the parties involved) to have reached a sort of stalemate. The second of these two disputes is, on the other hand, very much alive. While it has been framed in decision theoretic terms, it is definitely not a dispute internal to that enterprise. It is, rather, a debate about the very coherence of the notion of objective value, and as such touches on issues of central importance to, for example, meta–ethics and moral psychology. (shrink)

Newcomb’s problem is a decision puzzle whose difficulty and interest stem from the fact that the possible outcomes are probabilistically dependent on, yet causally independent of, the agent’s options. The problem is named for its inventor, the physicist William Newcomb, but first appeared in print in a 1969 paper by Robert Nozick [12]. Closely related to, though less well-known than, the Prisoners’ Dilemma, it has been the subject of intense debate in the philosophical literature. After three decades, the issues remain (...) unresolved. Newcomb’s problem is of genuine importance because it poses a challenge to the theoretical adequacy of orthodox Bayesian decision theory. It has led both to the development of causal decision theory and to efforts aimed at defending the adequacy of the orthodox theory. (shrink)

History witnesses alternative approaches to “the proposition”. The proposition has been referred to as the object of belief, disbelief, and doubt: generally as the object of propositional attitudes, that which can be said to be believed, disbelieved, understood, etc. It has also been taken to be the object of grasping, judging, assuming, affirming, denying, and inquiring: generally as the object of propositional actions, that which can be said to be grasped, judged true or false, assumed for reasoning purposes, etc. The (...) proposition has also been taken to be the subject of truth and falsity: generally as the subject of propositional properties, that which can be said to be true, false, tautological, informative, inconsistent,etc. It has also been taken as the subject and object of logical relations, e.g. that which can be said to imply, be implied, contradict, be contradicted, etc. Prima facie, such properties and relations are non-mental and objective. It has also been taken to be the resultants or products of propositional operations, usually mental or linguistic; e.g. judging, affirming, and denying have been held to produce propositions called judgments, affirmations, and negations, respectively. Propositions have also been taken to be certain declarative sentences. Finally,propositions have been taken to be meanings of certain declarative sentences. This essay is an informal, selective, and incomplete survey of alternative approaches to “the proposition” with special attention to the views of the late American philosopher Peter Hare (1935–2008)and of those who influenced him. DOI: 10.5007/1808-1711.2011v15n1p51. (shrink)

This entry considers the question of whether rationality is normative; that is, the question of whether one always ought (or, more weakly, has a reason) to be rational. It first distinguishes substantive from structural rationality, noting how structural rationality presents a more serious challenge to the thesis that rationality is normative. It then considers the plausibility of skepticism about structural rationality, and notes some problems facing such skepticism. However, if we are not skeptics about structural requirements, we face the task (...) of formulating those requirements. But both narrow-scope and wide-scope formulations seem incompatible with the idea that we always ought to be rational. This suggests that we have good reason to think that rationality is not strongly normative. (shrink)

Following Quine [] and others we take deductions to produce knowledge of implications: a person gains knowledge that a given premise-set implies a given conclusion by deducing—producing a deduction of—the conclusion from those premises. How does this happen? How does a person recognize their desire for that knowledge of a certain implication, or that they lack it? How do they produce a suitable deduction? And most importantly, how does their production of that deduction provide them with knowledge of the implication. (...) What experienceable sign reveals to the reasoner that they achieved the desired knowledge? If a deduction is an array of inscriptions constructed by following syntactical—mechanical, machine-performable—rules as suggested by Tarski, Carnap, Church, and others, the epistemic question becomes even more pressing and more challenging. Moreover, deduction, the ability to produce deductions and to recognize them when produced, is operational knowledge that presupposes other component operations such as recognizing characters, making assumptions, inferring conclusions from premises, chaining inferences [AL]. (shrink)

A counterfactual is a conditional statement in the subjunctive mood. For example: If Suzy hadn’t thrown the rock, then the bottle wouldn’t have shattered. The philosophical importance of counterfactuals stems from the fact that they seem to be closely connected to the concept of causation. Thus it seems that the truth of the above conditional is just what is required for Suzy’s throw to count as a cause of the bottle’s shattering. If philosophers were reluctant to exploit this idea prior (...) to 1970, it was because of a widespread feeling that the truth-conditions of the counterfactual conditional were not sufficiently well understood. The development of a formal semantics for counterfactuals by Robert Stalnaker [1968] and David Lewis [1973b] stands as a major recent achievement in philosophical logic. (shrink)

In this paper we prove the completeness of three logical systems I LI, IL2 and IL3. IL1 deals solely with identities {a = b), and its deductions are the direct deductions constructed with the three traditional rules: (T) from a = b and b = c infer a = c, (S) from a = b infer b = a and (A) infer a = a(from anything). IL2 deals solely with identities and inidentities {a ± b) and its deductions include both (...) the direct and the indirect deductions constructed with the three traditional rules. IL3 is a hybrid of IL1 and IL2: its deductions are all direct as in IL1 but it deals with identities and inidentities as in IL2. IL1 and IL2 have a high degree of naturalness. Although the hybrid system IL3 was constructed as an artifact useful in the mathematical study of IL1 and IL2, it nevertheless has some intrinsically interesting aspects. The main motivation for describing and studying such simple systems is pedagogical. In teaching beginning logic one would like to present a system of logic which has the following properties. First, it exemplifies the main ideas of logic: implication, deduction, non-implication, counterargument(or countermodel), logical truth, self-contradiction, consistency,satisfiability, etc. Second, it exemplifies the usual general metaprinciples of logic: contraposition and transitivity of implication, cut laws, completeness,soundness, etc. Third, it is simple enough to be thoroughly grasped by beginners. Fourth, it is obvious enough so that its rules do not appear to be arbitrary or purely conventional. Fifth, it does not invite confusions which must be unlearned later. Sixth, it involves a minimum of presuppositions which are no longer accepted in mainstream contemporary logic. (shrink)

Knowledge entails the truth of the proposition known; that which is merely believed may be false. If I have beliefs about your beliefs, then I may believe that some of your beliefs are false. I may believe, for example, that you mistakenly believe that it is now raining outside. This is a coherent belief for me, though not for you. You cannot coherently believe that you believe falsely that it is raining, and this despite the fact that your having that (...) false belief is clearly a logical possibility. The proposition is, for you, a kind of doxastic blindspot. (shrink)

Purpose A mixed-method study was performed to determine the impact of integrating systems thinking (ST) into an electronic learning module for junior high school teachers in the Philippines. The study aims to assess how an ST approach to pedagogy compared against a conventional approach in terms of contribution to the participants’ global climate change content knowledge, holistic thinking and depth and accuracy of knowledge and reasoning. -/- Design/methodology/approach The study implemented e-learning modules using an ST approach versus a conventional approach (...) in teaching climate science to junior high school teachers. The paper presents quantitative data obtained from pre and posttests results of the 20 teacher-participants and qualitative data obtained during the focus-group discussion (FGD) after the implementation of the study. -/- Findings The results from the statistical analysis indicated that the ST group obtained a significant increase in their assessment scores compared to the non-ST group, according to predetermined criteria. Content knowledge, depth and accuracy of knowledge and reasoning increased the most. The participants mentioned during the FGD that the module helped deepen their understanding of climate change. -/- Research limitations/implications The study was limited to 20 teacher-participants, but it has relevance for public school teachers in the country given that participants had raised concerns regarding the lack of training in their schools for teaching climate science. They admitted that they lacked critical information to include in climate change topics in their classes. -/- Originality/value This paper shows how the ST approach can be used to teach climate change to junior high students. The e-learning module can provide teachers with better understanding, knowledge and reasoning to teach climate change to high school students more effectively. (shrink)

Theory of Computation -- Computation by Abstracts Devices.

Saksi ang huling bahagi ng ika-19 na dantaon sa panaka-nakang pagbaba’t pagtaas ng populasyon sa kapuluan. Isinaad na pangunahing sanhi ng malaking kabawasan sa bilang ng tao ay ang pagdapo at paglaganap ng sakit, tulad ng kolera sa kapuluan sa mga taong nabanggit. Kaalinsabay ng pagbaba’t pagtaas ng populasyon sa kapuluan, nasaksihan din sa kasagsagan ng dantaon ang malawakang pag-unlad ng agham na ginamit ng mga Espanyol bilang kanilang kalamangan sa hakbang ng kolonisasyon. Gayunman, hindi maitatatwa na nagdulot din ng (...) positibong aspekto ang kolonyal na agham sa kapuluan. Umusbong sa kapuluan ang iba’t ibang uri ng ciencia colonial na nag-ambag sa pag-unlad ng kapuluan. Isang uri ng kolonyal na agham namayagpag ay ang edukasyong medikal. Sa akda, susubukang bigyang katwiran ang edukasyong medikal at iba pang kaugnay na larangan bilang tugon ng pamahalaan sa mga suliraning nakaugnay sa sakit sa kapuluan. Sa pamamagitan ng datos ng populasyon at demograpiya, ilalahad ng akda ang naging epekto ng pagkalat ng sakit sa bilang ng tao. Nakatuon ang akda sa institusyunal na kasaysayan ng Facultad de Medicina y Farmacia ng Unibersidad ng Santo Tomas na lunan ng mga medicos na magsisilbing instrumento ng pamahalaang kolonyal sa hakbang upang sugpuin sa suliraning pangsakit sa Pilipinas. Sa huli, ilalahad ng akda ang naging resulta ng edukasyong medikal bilang tugon sa pagsugpo sa suliranin. (shrink)