In the last two decades, major cities in Malaysia have witnessed a spate of urban redevelopment including commercial and retail complexes, and residential estates. The current urban transformations taking place in Malaysian cities are mainly market-driven and characterized by fast-track development with a strong priority on the road infrastructure. This is a typical example of an intensive property-led development that is becoming a central driver of the national economy. This article provides a deeper understanding of the complexity of urban development (...) in Malaysia. Here, the major aim is to understand the Malaysian cities' transitions in the trajectory of their colonial past, national identity, multi-cultural community, culture, and religion. Focusing on South East Asian urbanism, this article determines how internal and external forces and global trends such as neoliberalism and property-led development affect the transformation of urban landscapes and expansions in Malaysia. The outcomes of this paper will indicate how much property-led development and globalisation have affected the traditional and tropical climate-responsive urban environment in Malaysia. It will also identify sustainable design and planning measures that should be implemented in the cities of Malaysia to combat the ill-effects of globalisation. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

This paper analyses the phenomenology and epistemology of chatbots such as ChatGPT and Bard. The computational architecture underpinning these chatbots are large language models (LLMs), which are generative artificial intelligence (AI) systems trained on a massive dataset of text extracted from the Web. We conceptualise these LLMs as multifunctional computational cognitive artifacts, used for various cognitive tasks such as translating, summarizing, answering questions, information-seeking, and much more. Phenomenologically, LLMs can be experienced as a “quasi-other”; when that happens, users anthropomorphise them. (...) For most users, current LLMs are black boxes, i.e., for the most part, they lack data transparency and algorithmic transparency. They can, however, be phenomenologically and informationally transparent, in which case there is an interactional flow. Anthropomorphising and interactional flow can, in some users, create an attitude of (unwarranted) trust towards the output LLMs generate. We conclude this paper by drawing on the epistemology of trust and testimony to examine the epistemic implications of these dimensions. Whilst LLMs generally generate accurate responses, we observe two epistemic pitfalls. Ideally, users should be able to match the level of trust that they place in LLMs to the degree that LLMs are trustworthy. However, both their data and algorithmic opacity and their phenomenological and informational transparency can make it difficult for users to calibrate their trust correctly. The effects of these limitations are twofold: users may adopt unwarranted attitudes of trust towards the outputs of LLMs (which is particularly problematic when LLMs hallucinate), and the trustworthiness of LLMs may be undermined. (shrink)

This chapter describes Kurt Gödel's paper on the incompleteness theorems. Gödel's incompleteness results are two of the most fundamental and important contributions to logic and the foundations of mathematics. It had been assumed that first-order number theory is complete in the sense that any sentence in the language of number theory would be either provable from the axioms or refutable. Gödel's first incompleteness theorem showed that this assumption was false: it states that there are sentences of number theory that are (...) neither provable nor refutable. The first theorem is general in the sense that it applies to any axiomatic theory, which is ω-consistent, has an effective proof procedure, and is strong enough to represent basic arithmetic. Their importance lies in their generality: although proved specifically for extensions of system, the method Gödel used is applicable in a wide variety of circumstances. Gödel's results had a profound influence on the further development of the foundations of mathematics. It pointed the way to a reconceptualization of the view of axiomatic foundations. (shrink)

Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda calculus at the hands of Church, Kleene, and Rosser. Church and his students studied Gödel 1931, and Gödel taught a seminar (...) at Princeton in 1934. Seen in the historical context, Gödel was an important catalyst for the emergence of computability theory in the mid 1930s. (shrink)

This work is the transcript of a theological dialogue I had with ChatGPT that spanned a couple of days. I began it merely out of curiosity over how ChatGPT might respond to questions and challenges I posed. As it progressed, I became increasingly impressed with the nuance, depth, and relevance of its responses. The dialogue became, for me, something of a contemplative exercise. I still don’t know quite how to understand the ability of generative A.I. to respond with such (apparent) (...) understanding and even insight. -/- I’ve decided to post this dialogue, not only because of the puzzle it poses concerning A.I, but even more, because I believe that the theological conclusions ‘we’ arrived at have real merit. -/- In the end, the theological views expressed here echo those that I’ve expressed in other works of mine, but the expression of these views are enhanced by the way ChatGPT picks up on them, rephrases them, elaborates upon them, and often places them in the context of the classical theological tradition. -/- I might add that I have been an A.I. skeptic for some time now, concerned over the potential dangers of A.I. in general. But this dialogue, anyway, reveals its potential use as a vehicle for reflection, even profound reflection. -/- . (shrink)

Mass media, także i w Republice Federalnej Niemiec, zyskują coraz większe znaczenie w informowaniu i funkcjonowaniu społeczeństw. Najstarszym środkiem masowego przekazu społecznego jest prasa. Pierwsze gazety na świecie zostały wydane na początku XVII w. w Wolfenbiittel i Strasburgu, a więc na ówczesnych terenach niemieckich. Nosiły one tytuły: "Aviso" i "Relationen". Aktualnie wydaje się w Niemczech 30 milionów egzemplarzy prasy codziennej (w ogólnym nakładzie). Zwiększa się także liczba gazet zawierających programy telewizyjne oraz czasopism kobiecych. Mediami XX w. są niewątpliwie radio i (...) telewizja. Pierwsze audycje radiowe były nadawane w Niemczech w roku 1923. Nowy wynalazek zyskał wkrótce duże uznanie i już w rok później w Niemczech było zarejestrowanych ponad pół miliona odbiorników. Aktualnie w RFN działa ok. 11 radiostacji publicznych i ponad 200 prywatnych. Powstanie prywatnych stacji radiowych i telewizyjnych było możliwe dzięki rozwiązaniom technologicznym lat osiemdziesiątych. Telewizja była znana już przed II wojną światową. W roku 1935 były nadawane regularne audycje telewizyjne w Niemczech. W rok później telewizja niemiecka transmitowała igrzyska olimpijskie, które odbywały się wtedy w Berlinie. Po II wojnie światowej stworzono w RFN dwie publiczne stacje telewizyjne: ARD (1954) i ZDF (1963). Od połowy lat osiemdziesiątych poważną konkurencją dla publicznych stacji telewizyjnych jest telewizja prywatna, która przekazuje swoje programy za pośrednictwem transmisji satelitarnych i łączy kablowych. Do najbardziej znanych niemieckich stacji telewizji prywatnej, odbieranych także i w Polsce należą: RTL i SATl, a także Pro Sieben, Vox, RTL2, Premiere, Viva itd. Przyszłość elektronicznych mediów audiowizualnych, nie tylko w RFN, ale także i w innych krajach jest ogromna i rozwija się niezwykle intensywnie i dynamicznie, zaspokajając głównie potrzeby ludyczne społeczeństw. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

An introductory textbook on metalogic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. The audience is undergraduate students with some background in formal logic.

Telewizja określana jest jako najważniejszy środek masowego przekazu a zarazem najważniejszy wynalazek XX w., który - według socjologów - zrewolucjonizował m.in. nasz styl życia oraz sposób percepcji informacji a jednocześnie ma ogromne możliwości kształtowania naszych poglądów i opinii. Powstanie telewizji nie jest związane - jak mogłoby się to wydawać - z okresem powojennym, lecz jest wynalazkiem, dla którego przesłanki technologiczne zostały stworzone już w połowie XIX w. Szersze znaczenie zdobyła ona jednak dopiero w latach trzydziestych w Niemczech jako potencjalny instrument (...) propagandy faszystów. W roku 1935 rozpoczęto po raz pierwszy nadawanie regularnego programu telewizyjnego, a w następnym przeprowadzono pierwszą relację telewizyjną z Olimpiady Sportowej w Berlinie. W okresie powojennym początki telewizji w Niemczech datują się na rok 1954, kiedy otwarto pierwszą publiczną stację telewizyjną pod nazwą ARD. W roku 1963 utworzono drugą publiczną stację telewizyjną ZDF. Powołaniu tej stacji towarzyszyły burzliwe dyskusje społeczne i polityczne. Po pierwszym okresie ostrej konkurencji obie stacje telewizyjne rozpoczęły współpracę między sobą i to zarówno na płaszczyźnie programowej, jak i produkcyjnej. Kolejnym wielkim krokiem w rozwoju telewizji było utworzenie sieci prywatnych stacji radiowych i telewizyjnych. Ich powstanie było możliwe dzięki nowej technologii przekaźnikowej, tzn. techniki satelitarnej oraz odpowiednim regulacjom prawnym. Pierwszym takim programem była - istniejąca zresztą do dzisiaj - stacja SAT 1, która rozpoczęła nadawanie swojego programu w styczniu 1995 r. Po niej powstały lawinowo następne, takie jak: RTL plus, PRO 7, Tele 5, VOX, VIVA i wiele innych. Socjologowie kultury i kulturoznawcy podkreślają, że telewizja ma ogromne możliwości przekazywania widzom informacji przede wszystkim z zakresu szeroko rozumianej kultury. Zastępuje kino, koncert i teatr. Jest oczywiście rzeczą dyskusyjną i otwartą rozpatrywanie jakości artystycznej poszczególnych programów, jednak niezmienny jest fakt, że głównym źródłem naszych informacji przede wszystkim politycznych, społecznych, ale także i kulturalnych jest telewizja. Specjaliści przewidują dalszy jej intensywny rozwój w XXI w. i to zarówno na płaszczyźnie technologicznej, jak i też programowej. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

The complementary properties and functions of cognitive artifacts and other external resources are integrated into the human cognitive system to varying degrees. The goal of this paper is to develop some of the tools to conceptualize this complementary integration between agents and artifacts. It does so by proposing a multidimensional framework, including the dimensions of information flow, reliability, durability, trust, procedural transparency, informational transparency, individualization, and transformation. The proposed dimensions are all matters of degree and jointly they constitute a multidimensional (...) space in which situated cognitive systems can be located and have certain dimensional configurations. These dimensions provide a new perspective on the conditions for cognitive extension. They are, however, not meant to provide a set of necessary and sufficient conditions, but to provide a toolbox for investigating the degree and nature of the integration of agent and artifact into “new systemic wholes”. The higher a situated system scores on the proposed dimensions, the more functional integration occurs, and the more tightly coupled the system is. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Utilitarianism is often rejected on the grounds that it fails to respect the separateness of persons, instead treating people as mere “receptacles of value”. I develop several different versions of this objection, and argue that, despite their prima facie plausibility, they are all mistaken. Although there are crude forms of utilitarianism that run afoul of these objections, I advance a new form of the view—‘token-pluralistic utilitarianism’—that does not.

Regina Fabry has proposed an intriguing marriage of enculturated cognition and predictive processing. I raise some questions for whether this marriage will work and warn against expecting too much from the predictive processing framework. Furthermore I argue that the predictive processes at a sub-personal level cannot be driving the innovations at a social level that lead to enculturated cognitive systems, like those explored in my target paper.

In an earlier paper, "Non-conceptual Content and the 'Space of Reasons'", I distinguished two forms of the view that perceptual content is non-conceptual, which I called the 'state view' and the 'content view'. On the latter, but not the former, perceptual states have a different kind of content than do cognitive states. Many have found it puzzling why anyone would want to make this claim and, indeed, what it might mean. This paper attempts to address these questions.

This paper applies a virtue epistemology approach to using the Internet, as to improve our information-seeking behaviours. Virtue epistemology focusses on the cognitive character of agents and is less concerned with the nature of truth and epistemic justification as compared to traditional analytic epistemology. Due to this focus on cognitive character and agency, it is a fruitful but underexplored approach to using the Internet in an epistemically desirable way. Thus, the central question in this paper is: How to use the (...) Internet in an epistemically virtuous way? Using the work of Jason Baehr, it starts by outlining nine intellectual or epistemic virtues: curiosity, intellectual autonomy, intellectual humility, attentiveness, intellectual carefulness, intellectual thoroughness, open-mindedness, intellectual courage and intellectual tenacity. It then explores how we should deploy these virtues and avoid the corresponding vices when interacting with the Internet, particularly search engines. Whilst an epistemically virtuous use of the Internet will not guarantee that one will acquire true beliefs, understanding or even knowledge, it will strongly improve one’s information-seeking behaviours. The paper ends with arguing that teaching and assessing online intellectual virtues should be part of school and university curricula, perhaps embedded in critical thinking courses, or even better, as individual units. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

All humans have an equal basic moral status. They possess the same fundamental rights, and the comparable interests of each person should count the same in calculations that determine social policy. Neither supposed racial differences, nor skin color, sex, sexual orientation, ethnicity, intelligence, nor any other differences among humans negate their fundamental equal worth and dignity. These platitudes are virtually universally affirmed. A white supremacist racist or an admirer of Adolf Hitler who denies them is rightly regarded as beyond the (...) pale of civilized dialogue. However, a very simple line of argument developed by Peter Singer challenges our understanding of these platitudes and forces us to rethink the basis and nature of the moral equality of all humans. What I call the “Singer Problem” arises if one accepts that the morally significant cognitive capacities that are relevant to the determination of the fundamental moral status of a being vary from individual to individual by degree. The problem is to specify a moral principle determining fundamental moral status that assigns a superior status to humans compared to other animals on the basis of the superior cognitive capacities of humans but also assigns all human persons an equal fundamental moral status regardless of their differing cognitive capacities. More broadly posed, the problem is to specify moral principles that yield intuitively satisfactory implications for the treatment of human individuals and other individual animals given that cognitive capacities differ across species and individuals. A search for a resolution of the Singer problem leads to disappointing results. (shrink)

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.

In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.

In this article, I outline various ways in which artifacts are interwoven with autobiographical memory systems and conceptualize what this implies for the self. I first sketch the narrative approach to the self, arguing that who we are as persons is essentially our (unfolding) life story, which, in turn, determines our present beliefs and desires, but also directs our future goals and actions. I then argue that our autobiographical memory is partly anchored in our embodied interactions with an ecology of (...) artifacts in our environment. Lifelogs, photos, videos, journals, diaries, souvenirs, jewelry, books, works of art, and many other meaningful objects trigger and sometimes constitute emotionally-laden autobiographical memories. Autobiographical memory is thus distributed across embodied agents and various environmental structures. To defend this claim, I draw on and integrate distributed cognition theory and empirical research in human-technology interaction. Based on this, I conclude that the self is neither defined by psychological states realized by the brain nor by biological states realized by the organism, but should be seen as a distributed and relational construct. (shrink)

This paper is part of a book symposium for L. A. Paul (2014) Transformative Experience (OUP).

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

This article connects philosophical debates about cognitive enhancement and situated cognition. It does so by focusing on moral aspects of enhancing our cognitive abilities with the aid of external artifacts. Such artifacts have important moral dimensions that are addressed neither by the cognitive enhancement debate nor situated cognition theory. In order to fill this gap in the literature, three moral aspects of cognitive artifacts are singled out: their consequences for brains, cognition, and culture; their moral status; and their relation to (...) personal identity. (shrink)

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.

This article interrogates the bureaucratization of war, incarnate in the covert lethal drone. Bureaucracies are criticized typically for their complexity, inefficiency, and inflexibility. This article is concerned with their moral indifference. It explores killing, which is so highly administered, so morally remote, and of such scale, that we acknowledge a covert lethal program. This is a bureaucratized program of assassination in contravention of critical human rights. In this article, this program is seen to compromise the advance of global justice. Moreover, (...) the bureaucratization of lethal force is seen to dissolve democratic ideals from within. The bureaucracy isolates the citizens from lethal force applied in their name. People are killed, in the name of the State, but without conspicuous justification, or judicial review, and without informed public debate. This article gives an account of the risk associated with the bureaucratization of the State’s lethal power. Exemplified by the covert drone, this is power with formidable reach. It is power as well, which requires great moral sensitivity. Considering the drone program, this article identifies challenges, which will become more prominent and pressing, as technology advances. (shrink)

This paper draws on the 'Fitting Attitudes' analysis of value to argue that we should take the concept of fittingness (rather than value) as our normative primitive. I will argue that the fittingness framework enhances the clarity and expressive power of our normative theorising. Along the way, we will see how the fittingness framework illuminates our understanding of various moral theories, and why it casts doubt on the Global Consequentialist idea that acts and (say) eye colours are normatively on a (...) par. We will see why even consequentialists, in taking rightness to be in some sense determined by goodness, should not think that rightness is conceptually reducible to goodness. Finally, I will use the fittingness framework to explicate the distinction between consequentialist and deontological theories, with particular attention to the contentious case of Rule Consequentialism. (shrink)

The problem of closure for the traditional unstructured possible worlds model of attitudinal content is that it treats belief and other cognitive states as closed under entailment, despite apparent counterexamples showing that this is not a necessary property of such states. One solution to this problem, which has been proposed recently by several authors (Schaffer 2005; Yalcin 2018; Hoek forthcoming), is to restrict closure in an unstructured setting by treating propositional attitudes as question-sensitive. Here I argue that this line of (...) response is unsatisfying as it stands because the problem of closure is more general than is typically discussed. A version of the problem recurs for attitudes like wondering, entertaining, considering, and so on, which are directed at questions rather than propositions. For such questioning attitudes, the appeal to question-sensitivity is much less convincing as a solution to the problem of closure. (shrink)

The primary goal of this essay is to provide a comprehensive overview and analysis of the various relations between material artifacts and the embodied mind. A secondary goal of this essay is to identify some of the trends in the design and use of artifacts. First, based on their functional properties, I identify four categories of artifacts co-opted by the embodied mind, namely (1) embodied artifacts, (2) perceptual artifacts, (3) cognitive artifacts, and (4) affective artifacts. These categories can overlap and (...) so some artifacts are members of more than one category. I also identify some of the techniques (or skills) we use when interacting with artifacts. Identifying these categories of artifacts and techniques allows us to map the landscape of relations between embodied minds and the artifactual world. Second, having identified categories of artifacts and techniques, this essay then outlines some of the trends in the design and use of artifacts, focussing on neuroprosthetics, brain-computer interfaces, and personalisation algorithms nudging their users towards particular epistemic paths of information consumption. (shrink)

In the world according to Hume, people are complicated creatures, with convoluted, often contradictory characters. Consider, for example, Hume's controversial assessment of Charles I: "The character of this prince, as that of most men, if not of all men, was mixed .... To consider him in the most favourable light, it may be affirmed, that his dignity was free from pride, his humanity from weakness, his bravery from rashness, his temperance from austerity, his frugality from avarice .... To speak the (...) most harshly of him, we may affirm, that many of his good qualities were attended with some latent frailty, which, though seemingly inconsiderable, was able, when seconded by the extreme malevolence of his fortune, to disappoint them of all their influence: His beneficent disposition was clouded by a manner not very gracious; his virtue was tinctured with superstition; his good sense was disfigured by a deference to persons of a capacity inferior to his own; and his moderate temper exempted him not from hasty and precipitate resolutions." This sketch shows Charles in all his complexities, with his virtues, near virtues, and contradicting virtues. I have quoted it at length because it is hard to summarize without losing the subtleties that lie within it. Hume's moral theory is based fundamentally on judgments of character, 2 so those subtleties are important to his view. The character sketches that pervade the.. (shrink)

This article provides an overview and analysis of recent work on the extended self, demonstrating that the boundaries of selves are fluid, shifting across biological, artifactual, and sociocultural structures. First, it distinguishes the notions of minimal self, person, and narrative self. Second, it surveys how philosophers, psychologists, and cognitive scientists argue that embodiment, cognition, emotion, consciousness, and moral character traits can be extended and what that implies for the boundaries of selves. It also reviews and responds to various criticisms and (...) counterarguments against the extended self. The main focus is on the link between the extended mind and extended self, which has received the most attention in recent literature. But accounts of the extended self developed independently of the extended mind are also briefly discussed. This article ends by drawing out some of the conceptual, methodological, and normative implications of the extended self and suggesting some directions for future research. (shrink)

"Australian legislation and military doctrine stipulate that soldiers ‘subjugate their will’ to" "government, and fight in any war the government declares. Neither legislation nor doctrine enables the conscience of soldiers. Together, provisions of legislation and doctrine seem to take soldiers for granted. And, rather than strengthening the military instrument, the convention of legislation and doctrine seems to weaken the democratic foundations upon which the military may be shaped as a force for justice. Denied liberty of their conscience, soldiers are denied (...) the foundational right of democratic citizenship and construed as utensils of the State. This article critiques the idea of moral agency in Australian legislation and military doctrine and is concerned with the obligation of the State to safeguard the moral integrity of individual soldiers, so soldiers might serve with a fully formed moral assurance to advance justice in the world. Beyond its explicit focus on the convention of Australian thought, this article raises questions of far-reaching relevance. The provisos of Australian legislation and doctrine are an analogue of western thinking. Thus, this discussion challenges many assumptions concerning military duty and effectiveness. Discussion will additionally provoke some reassessment of the expectations democratic societies" "hold of their soldiers.". (shrink)

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

This paper explores the implications of extended and distributed cognition theory for our notions of personal identity. On an extended and distributed approach to cognition, external information is under certain conditions constitutive of memory. On a narrative approach to personal identity, autobiographical memory is constitutive of our diachronic self. In this paper, I bring these two approaches together and argue that external information can be constitutive of one’s autobiographical memory and thus also of one’s diachronic self. To develop this claim, (...) I draw on recent empirical work in human-computer interaction, looking at lifelogging technologies in both healthcare and everyday contexts. I argue that personal identity can neither be reduced to psychological structures instantiated by the brain nor by biological structures instantiated by the organism, but should be seen as an environmentally-distributed and relational construct. In other words, the complex web of cognitive relations we develop and maintain with other people and technological artifacts partly determines our self. This view has conceptual, methodological, and normative implications: we should broaden our concepts of the self as to include social and artifactual structures, focus on external memory systems in the (empirical) study of personal identity, and not interfere with people’s distributed minds and selves. (shrink)

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

The complementary properties and functions of cognitive artifacts and other external resources are integrated into the human cognitive system to varying degrees. The goal of this paper is to develop some of the tools to conceptualize this complementary integration between agents and artifacts. It does so by proposing a multidimensional framework, including the dimensions of information flow, reliability, durability, trust, procedural transparency, informational transparency, individualization, and transformation. The proposed dimensions are all matters of degree and jointly they constitute a multidimensional (...) space in which situated cognitive systems can be located and have certain dimensional configurations. These dimensions provide a new perspective on the conditions for cognitive extension. They are, however, not meant to provide a set of necessary and sufficient conditions, but to provide a toolbox for investigating the degree and nature of the integration of agent and artifact into “new systemic wholes”. The higher a situated system scores on the proposed dimensions, the more functional integration occurs, and the more tightly coupled the system is. (shrink)

A general survey of Frege's views on truth, the paper explores the problems in response to which Frege's distinctive view that sentences refer to truth-values develops. It also discusses his view that truth-values are objects and the so-called regress argument for the indefinability of truth. Finally, we consider, very briefly, the question whether Frege was a deflationist.

In this paper, we seek a reliabilist account of justified credence. Reliabilism about justified beliefs comes in two varieties: process reliabilism (Goldman, 1979, 2008) and indicator reliabilism (Alston, 1988, 2005). Existing accounts of reliabilism about justified credence comes in the same two varieties: Jeff Dunn (2015) proposes a version of process reliabilism, while Weng Hong Tang (2016) offers a version of indicator reliabilism. As we will see, both face the same objection. If they are right about what justification is, it (...) is mysterious why we care about justification, for neither of the accounts explains how justification is connected to anything of epistemic value. We will call this the Connection Problem. I begin by describing Dunn’s process reliabilism and Tang’s indicator reliabilism. I argue that, understood correctly, they are, in fact, extensionally equivalent. That is, Dunn and Tang reach the top of the same mountain, albeit by different routes. However, I argue that both face the Connection Problem. In response, I offer my own version of reliabilism, which is both process and indicator, and I argue that it solves that problem. Furthermore, I show that it is also extensionally equivalent to Dunn’s reliabilism and Tang’s. Thus, I reach the top of the same mountain as well. (shrink)

The goal of this paper is to develop a systematic taxonomy of cognitive artifacts, i.e., human-made, physical objects that functionally contribute to performing a cognitive task. First, I identify the target domain by conceptualizing the category of cognitive artifacts as a functional kind: a kind of artifact that is defined purely by its function. Next, on the basis of their informational properties, I develop a set of related subcategories in which cognitive artifacts with similar properties can be grouped. In this (...) taxonomy, I distinguish between three taxa, those of family, genus, and species. The family includes all cognitive artifacts without further specifying their informational properties. Two genera are then distinguished: representational and non-representational (or ecological) cognitive artifacts. These genera are further divided into species. In case of representational artifacts, these species are iconic, indexical, or symbolic. In case of ecological artifacts, these species are spatial or structural. Within species, token artifacts are identified. The proposed taxonomy is an important first step towards a better understanding of the range and variety of cognitive artifacts and is a helpful point of departure, both for conceptualizing how different artifacts augment or impair cognitive performance and how they transform and are integrated into our cognitive system and practices. (shrink)

Drawing on a passage from Ramsey's Truth and Probability, we formulate a simple, plausible constraint on evaluating the accuracy of credences: the Calibration Test. We show that any additive, continuous accuracy measure that passes the Calibration Test will be strictly proper. Strictly proper accuracy measures are known to support the touchstone results of accuracy-first epistemology, for example vindications of probabilism and conditionalization. We show that our use of Calibration is an improvement on previous such appeals by showing how it answers (...) or sidesteps problems that have been raised for previous work in this area. (shrink)

Rescorla (Erkenntnis, 2020) has recently pointed out that the standard arguments for Bayesian Conditionalization assume that whenever I become certain of something, it is true. Most people would reject this assumption. In response, Rescorla offers an improved Dutch Book argument for Bayesian Conditionalization that does not make this assumption. My purpose in this paper is two-fold. First, I want to illuminate Rescorla’s new argument by giving a very general Dutch Book argument that applies to many cases of updating beyond those (...) covered by Conditionalization, and then showing how Rescorla’s version follows as a special case of that. Second, I want to show how to generalise R. A. Briggs and Richard Pettigrew’s Accuracy Dominance argument to avoid the assumption that Rescorla has identified (Briggs and Pettigrew in Noûs, 2018). In both cases, these arguments proceed by first establishing a very general reflection principle. (shrink)