The paper continues my earlier Chat with OpenAI’s ChatGPT with a Focused LLM Experiment (FLEX). The idea is to conduct Large Language Model (LLM) based explorations of certain areas or concepts. The approach is based on crafting initial guiding prompts and then follow up with user prompts based on the LLMs’ responses. The goals include improving understanding of LLM capabilities and their limitations culminating in optimized prompts. The specific subjects explored as research subject matter include a) diagonalization techniques as practiced (...) by Cantor, Turing, Gödel, and the advances, such as the Forcing techniques introduced by Paul Cohen and later investigators, b) Knowledge Hierarchies & Mapping Exercises, c) Discussions of IJ Good’s Speculations Concerning the First Ultraintelligent Machine, AGI, and Super- intelligence. Results suggest variability between major models like ChatGPT-4, Llama-3, Cohere, Sonnet and Opus. Results also point to strong dependence on users’ preexisting knowledge and skill bases. The paper should be viewed as ’raw data’ rather than a polished authoritative reference. (shrink)

Dieser Forschungsbericht gibt einen Überblick über die aktuelle Debatte über motivierende Gründe in der Handlungs- und Erkenntnistheorie. Folgende drei Fragen werden schwerpunktmäßig behandelt: a) Was für eine Art von Entität sind motivierende Gründe? b) Welche Beziehung besteht zwischen einer Handlung oder Einstellung und ihren motivierenden Gründen? c) Welche kognitiven Bedingungen gelten für die Zuschreibung motivierender Gründe?

Die Frage ist nicht, ob der Realismus (in Sachen Existenz und Beschaffenheit der Außenwelt) zutrifft, sondern was er besagt – und ob er überhaupt etwas besagt. Moritz Schlick sah guten kognitiven Sinn im Realismus und hielt ihn sogar für verifiziert, ganz im Einklang mit seinem Sinnkriterium. Machte Schlick es sich vielleicht zu einfach? Ja; doch muss man nicht viel an seiner Haltung zum Realismus ändern. Statt die Unabhängigkeit der Welt von einer Entität namens Bewusstsein zu verlangen (wie in der (...) Tradition und bei C.I. Lewis) oder die Unabhängigkeit von unserem Leben (wie bei Schlick), schlage ich vor, auf die Welt-Unabhängigkeit von alltäglichen mentalen Vorgängen zu zielen, in all ihrer Vielfalt. Daher untersuche ich der Reihe nach, wie eine Welt ohne Wahrnehmungen, Gefühle bzw. Gedanken aussähe – und zwar unter den Bedingungen einer leicht aufgelockerten Fassung des Sinnkriteriums. In der Tat lässt sich sagen, welche prinzipiell überprüfbaren Umstände (laut Realismus) in einer durch und durch bewusstlosen Welt vorliegen müssten; es geht also um eine Art Nirwana (natürlich ohne ausdrücklichen Bezug zur fernöstlichen Weisheit). (shrink)

Why does Hegel change “Dreaming Soul” to “Feeling Soul” in the 1830 edition of the Philosophy of Subjective Spirit? By tracing the content of the Dreaming Soul section, through Hegel’s 1794 manuscript on psychology, to sources such as C.P. Moritz’s Magazin zur Erfahrungsseelenkunde, the paper shows how the section embraces a late Enlightenment mission: combating supposedly supernatural expressions of spiritual enthrallment by explaining them as pathological conditions of the soul. Responding to perceived attacks on the 1827 edition of the (...) Encyclopedia by Schleiermacher, Hegel alters the section and its heading, thereby including the pastor’s religion of feeling in the pathology of Schwärmerei. (shrink)

Why does Hegel change “Dreaming Soul” to “Feeling Soul” in the 1830 edition of the Philosophy of Subjective Spirit? By tracing the content of the Dreaming Soul section, through Hegel’s 1794 manuscript on psychology, to sources such as C.P. Moritz’s Magazin zur Erfahrungsseelenkunde, the paper shows how the section embraces a late Enlightenment mission: combating supposedly supernatural expressions of spiritual enthrallment by explaining them as pathological conditions of the soul. Responding to perceived attacks on the 1827 edition of the (...) Encyclopedia by Schleiermacher, Hegel alters the section and its heading, thereby including the pastor’s religion of feeling in the pathology of Schwärmerei. (shrink)

In the late 1930s, a few years before the start of the Second World War, a small number of European philosophers of science emigrated to the United States, escaping the increasingly perilous situation on the continent. Among the first expatriates were Rudolf Carnap and Hans Reichenbach, arguably the most influential logical empiricists of their time. In this two-part paper, I reconstruct Carnap’s and Reichenbach’s surprisingly numerous interactions with American academics in the decades before their move in order to explain the (...) impact of their arrival in the late 1930s. This second part traces Reichenbach’s development and focuses on his frequent interactions with American academics throughout the 1930s. I show that Reichenbach was quite ignorant about developments in Anglophone philosophy in the first stages of his career but became increasingly focused on the United States from the late 1920s onwards. I reconstruct Reichenbach’s efforts to find a job across the Atlantic and show that some of his English publications—most notably Experience and Prediction—were attempts to change the American narrative about logical empiricism. Whereas U. S. philosophers identified scientific philosophy with the views of the Vienna Circle, Reichenbach aimed to market his probabilistic philosophy of science as a subtler alternative. (shrink)

We argue that the need for commentary in commonly used linear calculi of natural deduction is connected to the “deletion” of illocutionary expressions that express the role of propositions as reasons, assumptions, or inferred propositions. We first analyze the formalization of an informal proof in some common calculi which do not formalize natural language illocutionary expressions, and show that in these calculi the formalizations of the example proof rely on commentary devices that have no counterpart in the original proof. We (...) then present a linear natural deduction calculus that makes use of formal illocutionary expressions in such a way that unique readability for derivations is guaranteed – thus showing that formalizing illocutionary expressions can eliminate the need for commentary. (shrink)

There is, in some quarters, concern about high–level machine intelligence and superintelligent AI coming up in a few decades, bringing with it significant risks for humanity. In other quarters, these issues are ignored or considered science fiction. We wanted to clarify what the distribution of opinions actually is, what probability the best experts currently assign to high–level machine intelligence coming up within a particular time–frame, which risks they see with that development, and how fast they see these developing. We thus (...) designed a brief questionnaire and distributed it to four groups of experts in 2012/2013. The median estimate of respondents was for a one in two chance that high-level machine intelligence will be developed around 2040-2050, rising to a nine in ten chance by 2075. Experts expect that systems will move on to superintelligence in less than 30 years thereafter. They estimate the chance is about one in three that this development turns out to be ‘bad’ or ‘extremely bad’ for humanity. (shrink)

Von Zeit zu Zeit hat man Preisaufgaben uber die Frage gestellt, welche Fortschritte die Philosophie in einem bestimmten Zeitraume gemacht habe. Der Zeitabschnitt pflegte auf der einen Seite durch den Namen eines grosen Denkers, auf der andern durch die "Gegenwart"? abgegrenzt zu werden. Man schien also vorauszusetzen, das uber die philosophischen Fortschritte der Menschheit bis zu jenem Denker hin einigermasen Klarheit herrsche, das es aber von da ab zweifelhaft sei, welche neuen Errungenschaften die letzte Zeit hinzugefugt habe.

Some contextually sensitive expressions are such that their context independent conventional meanings need to be in some way supplemented in context for the expressions to secure semantic values in those contexts. As we’ll see, it is not clear that there is a paradigm here, but ‘he’ used demonstratively is a clear example of such an expression. Call expressions of this sort supplementives in order to highlight the fact that their context independent meanings need to be supplemented in context for them (...) to have semantic values relative to the context. Many philosophers and linguists think that there is a lot of contextual sensitivity in natural language that goes well beyond the pure indexicals and supplementives like ‘he’. Constructions/expressions that are good candidates for being contextually sensitive include: quantifiers, gradable adjectives including “predicates of personal taste”, modals, conditionals, possessives and relational expressions taking implicit arguments. It would appear that in none of these cases does the expression/construction in question have a context independent meaning that when placed in context suffices to secure a semantic value for the expression/construction in the context. In each case, some sort of supplementation is required to do this. Hence, all these expressions are supplementives in my sense. For a given supplementive, the question arises as to what the mechanism is for supplementing its conventional meanings in context so as to secure a semantic value for it in context. That is, what form does the supplementation take? The question also arises as to whether different supplementives require different kinds of supplementation. Let us call an account of what, in addition to its conventional meaning, secures a semantic value for a supplementive in context a metasemantics for that supplementive. So we can put our two questions thus: what is the proper metasemantics for a given supplementive; and do all supplementives have the same metasemantics? In the present work, I sketch the metasemantics I formulated for demonstratives in earlier work. Next, I briefly consider a number of other supplementives that I think the metasemantics I propose plausibly applies to and explain why I think that. Finally, I consider the prospects for extending the account to all supplementives. In so doing, I take up arguments due to Michael Glanzberg to the effect that supplementives are governed by two different metasemantics and attempt to respond to them. (shrink)

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

Ichbin überzeugt, daß die Hauptwiderstände gegen unsere Auffassung daher rühren, daß der Unterschied zwischen der Falschheit und der Sinn|losigkeit eines Satzes nicht beachtet wird. Der Satz: ”Das Reden von einer metaphysischen Außenwelt ist sinnleer“ sagt nicht: ”Es gibt keine metaphysische Außenwelt“, sondern etwas toto coelo anderes. Der Empirist sagt dem Metaphysiker nicht: ”Deine Worte behaupten etwas Falsches“, sondern ”Deine Worte behaupten überhaupt nichts!“ Er widerspricht ihm nicht, sondern er sagt: ”Ich verstehe dich nicht“.

I focus on three mereological principles: the Extensionality of Parthood (EP), the Uniqueness of Composition (UC), and the Extensionality of Composition (EC). These principles are not equivalent. Nonetheless, they are closely related (and often equated) as they all reflect the basic nominalistic dictum, No difference without a difference maker. And each one of them—individually or collectively—has been challenged on philosophical grounds. In the first part I argue that such challenges do not quite threaten EP insofar as they are either self-defeating (...) or unsupported. In the second part I argue that they hardly undermine the tenability of EC and UC as well. (shrink)

Will future lethal autonomous weapon systems (LAWS), or ‘killer robots’, be a threat to humanity? The European Parliament has called for a moratorium or ban of LAWS; the ‘Contracting Parties to the Geneva Convention at the United Nations’ are presently discussing such a ban, which is supported by the great majority of writers and campaigners on the issue. However, the main arguments in favour of a ban are unsound. LAWS do not support extrajudicial killings, they do not take responsibility away (...) from humans; in fact they increase the abil-ity to hold humans accountable for war crimes. Using LAWS in war would probably reduce human suffering overall. Finally, the availability of LAWS would probably not increase the probability of war or other lethal conflict—especially as compared to extant remote-controlled weapons. The widespread fear of killer robots is unfounded: They are probably good news. (shrink)

In her 2004 book Carol Gould addresses the fundamental issue of democratizing globalization, that is to say of finding ways to open transnational institutions and communities to democratic participation by those widely affected by their decisions. The book develops a framework for expanding participation in crossborder decisions, arguing for a broader understanding of human rights and introducing a new role for the ideas of care and solidarity at a distance. Reinterpreting the idea of universality to accommodate a multiplicity of cultural (...) perspectives, the author takes up a number of applied issues, including the persistence of racism, cultural rights, women's human rights, the democratic management of firms, the use of the Internet to enhance political participation, and the importance of empathy and genuine democracy in understanding terrorism and responding to it. Accessibly written with a minimum of technical jargon this is a major contribution to political philosophy. (shrink)

The traditional use of the expression 'pseudoproblem' is analysed in order to clarify the talk of pseudoproblems and related phenomena. The goal is to produce a philosophically serviceable terminology that stays true to its historical roots. This explicative study is inspired by and makes use of the method of logical reconstruction. Since pseudoproblems are usually expressed by pseudoquestions a formal language of questions is presented as a possible reconstruction language for alleged pseudoproblems. The study yields an informal theory of pseudoproblems (...) whose presuppositions are critically investigated right away. At least one result remains: Claims of pseudoproblemship and their refutations must not be voiced casually - they are to be relativized and need substantial interpretive effort. (shrink)

The contribution of the body to cognition and control in natural and artificial agents is increasingly described as “off-loading computation from the brain to the body”, where the body is said to perform “morphological computation”. Our investigation of four characteristic cases of morphological computation in animals and robots shows that the ‘off-loading’ perspective is misleading. Actually, the contribution of body morphology to cognition and control is rarely computational, in any useful sense of the word. We thus distinguish (1) morphology that (...) facilitates control, (2) morphology that facilitates perception and the rare cases of (3) morphological computation proper, such as ‘reservoir computing.’ where the body is actually used for computation. This result contributes to the understanding of the relation between embodiment and computation: The question for robot design and cognitive science is not whether computation is offloaded to the body, but to what extent the body facilitates cognition and control – how it contributes to the overall ‘orchestration’ of intelligent behaviour. (shrink)

Cognitive penetration of perception is the idea that what we see is influenced by such states as beliefs, expectations, and so on. A perceptual belief that results from cognitive penetration may be less justified than a nonpenetrated one. Inferentialism is a kind of internalist view that tries to account for this by claiming that some experiences are epistemically evaluable, on the basis of why the perceiver has that experience, and the familiar canons of good inference provide the appropriate standards by (...) which experiences are evaluated. I examine recent defenses of inferentialism by Susanna Siegel, Peter Markie, and Matthew McGrath and argue that the prospects for inferentialism are dim. (shrink)

I argue that Universalism (the thesis that mereological composition is unrestricted) entails Extensionalism (the thesis that sameness of composition is sufficient for identity) as long as the parthood relation is transitive and satisfies the Weak Supplementation principle (to the effect that whenever a thing has a proper part, it has another part disjoint from the first).

The philosophy of AI has seen some changes, in particular: 1) AI moves away from cognitive science, and 2) the long term risks of AI now appear to be a worthy concern. In this context, the classical central concerns – such as the relation of cognition and computation, embodiment, intelligence & rationality, and information – will regain urgency.

Intentions are commonly conceived of as discrete mental states that are the direct cause of actions. In the last several decades, neuroscientists have taken up the project of finding the neural implementation of intentions, and a number of areas have been posited as implementing these states. We argue, however, that the processes underlying action initiation and control are considerably more dynamic and context sensitive than the concept of intention can allow for. Therefore, adopting the notion of ‘intention’ in neuroscientific explanations (...) can easily lead to misinterpretation of the data, and can negatively influence investigation into the neural correlates of intentional action.We suggest reinterpreting the mechanisms underlying intentional action, and we will discuss the elements that such a reinterpretation needs to account for. (shrink)

Epistemic paternalism is the thesis that a paternalistic interference with an individual's inquiry is justified when it is likely to bring about an epistemic improvement in her. In this article I claim that in order to motivate epistemic paternalism we must first account for the value of epistemic improvements. I propose that the epistemic paternalist has two options: either epistemic improvements are valuable because they contribute to wellbeing, or they are epistemically valuable. I will argue that these options constitute the (...) foundations of a dilemma: either epistemic paternalism collapses into general paternalism, or a distinctive project of justified epistemic paternalism is implausible. (shrink)

In general, epistemic internalists hold that an individual’s justification for a belief is exhausted by her reflectively accessible reasons for thinking that the contents of her beliefs are true. Applying this to the epistemology of testimony, a hearer’s justification for beliefs acquired through testimony is exhausted by her reflectively accessible reasons to think that the contents of the speaker’s testimony is true. A consequence of internalism is that subjects that are alike with respect to their reflectively accessible reasons are alike (...) with respect to what they have justification to believe. Testimony should be thought no different: hearers that are alike with respect to reflectively accessible reasons to think that a speaker’s testimony is true are alike with respect to their justification for beliefs based upon that testimony. But it has been recently argued that this view faces powerful counterexamples. So the central question is this: assuming that a hearer can acquire justification to believe a proposition through the testimony of a speaker, can epistemic internalism provide the resources to explain how such justification is possible? My aim in this paper is to address these counterexamples, and in so doing, defend epistemic internalist accounts of testimony. (shrink)

What is Understanding? This is the first of a series of Chats with OpenAI’s ChatGPT (Chat). The main goal is to obtain Chat’s response to a series of questions about the concept of ’understand- ing’. The approach is a conversational approach where the author (labeled as user) asks (prompts) Chat, obtains a response, and then uses the response to formulate followup questions. David Deutsch’s assertion of the primality of the process / capability of understanding is used as the starting point. (...) Understanding is posited as a major step in the Big Picture description of emergence in the Universe. Understanding follows the emergence of Brains and Minds, culminating in Power Over the Universe. My evaluation suggests that Chat does indeed offer utility, but also has limitations manifested by overly general responses that do not focus tightly on the questions asked. Chat does yield some gems that could be easily missed. The approach used here includes creating Metaprompts, wherein Chat is asked to create more efficient prompts based on initial promptsThis approach appears to hold significant promise, and will likely be of benefit to those exploring various facets of Artificial Intelligence (AI), Large Language Models (LLMs) and designers of Advanced General Intelligence (AGI). Other findings include the need for creating new metrics and ways of discussing intelligence, and various adjacent areas and subprocesses associated with intelligence. Discussions of future directions is also included. (shrink)

The relation between body and mind is one of the oldest riddles that has puzzled mankind. That material and mental events may interact is accepted even by the law: our mental capacity to concentrate on the task can be seriously reduced by drugs. Physical and chemical processes may act upon the mind; and when we are writing a difficult letter, our mind acts upon our body and, through a chain of physical events, upon the mind of the recipient of the (...) letter. This is what the authors of this book call the 'interaction of mental and physical events'. We know very little about this interaction; and according to recent philosophical fashions this is explained by the alleged fact that we have brains but no thoughts. The authors of this book stress that they cannot solve the body mind problem; but they hope that they have been able to shed new light on it. Eccles especially with his theory that the brain is a detector and amplifier; a theory that has given rise to important new developments, including new and exciting experiments; and Popper with his highly controversial theory of 'World 3'. They show that certain fashionable solutions which have been offered fail to understand the seriousness of the problems of the emergence of life, or consciousness and of the creativity of our minds. In Part I, Popper discusses the philosophical issue between dualist or even pluralist interaction on the one side, and materialism and parallelism on the other. There is also a historical review of these issues. In Part II, Eccles examines the mind from the neurological standpoint: the structure of the brain and its functional performance under normal as well as abnormal circumstances. The result is a radical and intriguing hypothesis on the interaction between mental events and detailed neurological occurrences in the cerebral cortex. Part III, based on twelve recorded conversations, reflects the exciting exchange between the authors as they attempt to come to terms with their opinions. (shrink)

This article provides a re-evaluation of David Hume's intensive reading of the classics at an important moment of his literary and intellectual career. It sets out to reconstruct the extent and depth of this reading as well as the uses – scholarly, philosophical and polemical – to which Hume put the information he had gathered in the course of it. The article contends that Hume read the classics against the grain to collect data on a wide range of cultural information (...) which he could utilise for a number of literary and philosophical projects he was engaged in during the early 1750s. This reading soon came to pervade almost all aspects of Hume's literary activities of that period and resulted in what is here described as a fragmentary history of classical antiquity. As a result Hume's reading of the classics emerges from this article as both more extensive and more significant than has so far been acknowledged. (shrink)

This chapter first surveys general issues in the epistemic internalism / externalism debate: what is the distinction, what motivates it, and what arguments can be given on both sides. -/- The second part of the chapter will examine the internalism / externalism debate as regards to the specific case of the epistemology of memory belief.

Some environmental ethicists and economists argue that attributing infinite value to the environment is a good way to represent an absolute obligation to protect it. Others argue against modelling the value of the environment in this way: the assignment of infinite value leads to immense technical and philosophical difficulties that undermine the environmentalist project. First, there is a problem of discrimination: saving a large region of habitat is better than saving a small region; yet if both outcomes have infinite value, (...) then decision theory prescribes indifference. Second, there is a problem of swamping probabilities: an act with a small but positive probability of saving an endangered species appears to be on par with an act that has a high probability of achieving this outcome, since both have infinite expected value. Our paper shows that a relative concept of infinite value can be meaningfully defined, and provides a good model for securing the priority of the natural environment while avoiding the failures noted by sceptics about infinite value. Our claim is not that the relative infinity utility model gets every detail correct, but rather that it provides a rigorous philosophical framework for thinking about decisions affecting the environment. (shrink)

Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy. In contrast to other linear calculi of natural deduction, derivations in this calculus are sequences of object-language sentences which do not require graphical or other means of commentary in order to keep track of assumptions or to indicate subproofs. (Translation of our German paper "Ein Redehandlungskalkül. Ein (...) pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie"; online available at http://philpapers.org/rec/CORERE.). (shrink)

This chapter analyzes the concept of an event and of event representation as an umbrella notion. It provides an overview of different ways events have been dealt with in philosophy, linguistics, and cognitive science. This variety of positions has been construed in part as the result of different descriptive and explanatory projects. It is argued that various types of notions — common-sense, theoretically revised, scientific, and internalist psychological — be kept apart.

Cognition is commonly taken to be computational manipulation of representations. These representations are assumed to be digital, but it is not usually specified what that means and what relevance it has for the theory. I propose a specification for being a digital state in a digital system, especially a digital computational system. The specification shows that identification of digital states requires functional directedness, either for someone or for the system of which it is a part. In the case or digital (...) representations, to be a token of a representational type, where the function of the type is to represent. [An earlier version of this paper was discussed in the web-conference "Interdisciplines" https://web.archive.org/web/20100221125700/http://www.interdisciplines.org/adaptation/papers/7 ]. (shrink)

Many countries are experiencing increasing levels of demand for access to assisted reproductive technologies. Policies regarding who can access ART and with what support from a collective purse are highly contested, raising questions about what state responses are justified. Whilst much of this debate has focused on the status of infertility as a disease, we argue that this is something of a distraction, since disease framing does not provide the far-reaching, robust justification for state support that proponents of ART seem (...) to suppose. Instead, we propose that debates about appropriate state responses should consider the various implications for health and broader well-being that may be associated with difficulties starting a family. We argue that the harms and disruption to valued life projects of subfertility-related suffering may provide a stronger basis for justifying state support in this context. Further, we suggest that, whilst ART may alleviate some of the harm resulting from subfertility, population-level considerations can indicate a broader range of interventions aimed at tackling different sources of subfertility-related harm, consistent with broader public health aims. (shrink)

In the present article, he explains why divine silence poses a serious intellectual obstacle to belief in God, and then goes on to consider ways of overcoming that obstacle. After considering several ways in which divine silence might actually be beneficial to human beings, he argues that perhaps silence is nothing more or less than God’s preferred mode of interaction with creatures like us. Perhaps God simply desires communion rather than overt communication with human beings, and perhaps God has provided (...) ways for us to experience God’s presence richly even amidst the silence. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

In two recent papers, Michael Della Rocca accuses Descartes of reasoning circularly in the Fourth Meditation. This alleged new circle is distinct from, and more vicious than, the traditional Cartesian Circle arising in the Third Meditation. We explain Della Rocca’s reasons for this accusation, showing that his argument is invalid.

This article explores the meeting of two approaches towards philosophy and education: the philosophy for children approach advocated by Lipman and others, and Schmid’s philosophical concept of Lebenskunst. Schmid explores the concept of the beautiful or good life by asking what is necessary for each individual to be able to develop their own art of living and which aspects of life are significant when shaping a good and beautiful life. One element of Schmid’s theory is the practical application of philosophy (...) through the notions of Bildung, reflection, prudence and practical wisdom, as well as the requirement for each individual to take responsibility for actively shaping their life as an artwork. In this sense, each person is the artist responsible for living their own beautiful life. We argue that there are useful parallels between Schmid’s concept of the art of living and P4C, such as the ideal of a holistic philosophy that is “lived.” The pragmatic approach of P4C focuses on the embodied learner who practices critical, caring and creative thinking. Both P4C and Schmid’s theory are reminiscent of the Aristotelian notion of practical wisdom, which allows for an approach to an education for life that prepares students to develop their own art of living. (shrink)

This essay reconsiders David Hume’s thinking on the fate of the British Empire and the future of established religion. It provides a detailed reconstruction of the development of Hume’s views on Britain’s successive attempts to impose or regain its authority over its North American colonies and compares these views with the stance taken during the American Crisis by Adam Smith and Josiah Tucker. Fresh light is shed on this area of Hume’s later political thought by a new letter, appended to (...) the essay, which at the same time provides an illuminating glimpse of his abiding preoccupation with the future of established religion. It is argued that this evidence of Hume’s privately held views belies the notion that his thinking on political and religious matters was fundamentally opposed to that of his friends among the philosophes. It is consequently misleading to regard Hume as an opponent of the more radical wing of the Enlightenment. (shrink)

Religious belief and behavior raises the following two questions: (Q1) Does God, or any other being or state that is integral to various religious traditions, exist? (Q2) Why do humans have religious beliefs and engage in religious behavior? How one answers (Q2) can affect how reasonable individuals can be in accepting a particular answer to (Q1). My aim in this chapter is to carefully distinguish the various ways in which an answer to Q2 might affect the rationality of believing in (...) God. A literature has sprouted around this exact issue, but it has heretofore focused almost exclusively on one way in which a genealogy for p can affect the rationality of believing p – namely, by the genealogy functioning within a debunking argument. However, there are other ways a genealogy can affect the rationality of a belief. I suggest that we should be interested in whether genealogies more broadly cast doubt on religious beliefs. My main goal is: (i) to argue that CSR does not cast doubt on theistic belief in a few of the primary ways that propositions can cast doubt on other propositions, including via a debunking argument; and (ii) to suggest that one plausible way in which CSR might cast doubt on theistic belief is by undermining various traditional theistic reasons, and to illustrate how this might work with one example of a traditional theistic reason – religious experience. (shrink)

Floridi and Taddeo propose a condition of “zero semantic commitment” for solutions to the grounding problem, and a solution to it. I argue briefly that their condition cannot be fulfilled, not even by their own solution. After a look at Luc Steels' very different competing suggestion, I suggest that we need to re-think what the problem is and what role the ‘goals’ in a system play in formulating the problem. On the basis of a proper understanding of computing, I come (...) to the conclusion that the only sensible ground-ing problem is how we can explain and re-produce the behavioral ability and function of meaning in artificial computational agents. (shrink)

Pierre-Henri Castel provides a short but richly argued precis of his recently published two-volume 1,000-page masterwork on the history of obsessive-compulsive disorder. Having not read the as-yet-untranslated books, I write this commentary from Plato’s cave, trying to infer the reality of Castel’s analysis from expository shadows. I am unlikely to be more successful than Plato’s poor troglodytes, so I apologize ahead of time for any misunderstandings. Moreover, I cannot assess Castel’s detailed evidential case for his substantive theses.1 I thus focus (...) on some key philosophical issues that impinge on an area of my concern, the concept of mental disorder. Castel is a rare breed of French.. (shrink)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as value. (...) Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

This is the editorial for a special volume of JETAI, featuring papers by Omohundro, Armstrong/Sotala/O’Heigeartaigh, T Goertzel, Brundage, Yampolskiy, B. Goertzel, Potapov/Rodinov, Kornai and Sandberg. - If the general intelligence of artificial systems were to surpass that of humans significantly, this would constitute a significant risk for humanity – so even if we estimate the probability of this event to be fairly low, it is necessary to think about it now. We need to estimate what progress we can expect, what (...) the impact of superintelligent machines might be, how we might design safe and controllable systems, and whether there are directions of research that should best be avoided or strengthened. (shrink)

My goal in this paper is to show that naturalists cannot reasonably endorse moral realism. My argument will come in two parts. The first part aims to show that any plausible and naturalistically acceptable argument in favor of belief in objective moral properties will appeal in part to simplicity considerations (broadly construed)—and this regardless of whether moral properties are reducible to non-moral properties. The second part argues for the conclusion that appeals to simplicity justify belief in moral properties only if (...) either those properties are not objective or something like theism is true. Thus, if my argument is sound, naturalists can reasonably accept moral realism only if they are prepared to accept something like theism. But, as will become clear, naturalists can reasonably accept theism or something like it only if belief in some such doctrine is justified by the methods of science. For present purposes, I’ll assume (what I think virtually every naturalist will grant) that belief in theism and relevantly similar doctrines is not justified by the methods of science. Thus, I will conclude that naturalists cannot reasonably accept moral realism. (shrink)

In this paper I explore a position on which it is possible to eliminate the need for postulating abstract objects through abstraction principles by treating terms for abstracta as ‘incomplete symbols’, using Russell's no-classes theory as a template from which to generalize. I defend views of this stripe against objections, most notably Richard Heck's charge that syntactic forms of nominalism cannot correctly deal with non-first-orderizable quantifcation over apparent abstracta. I further discuss how number theory may be developed in a system (...) treating apparent terms for numbers using these definitions. (shrink)

Problems in normative ethics paradigmatically concern what it is obligatory or permissible for an individual to do. Yet sometimes, each of us ought to do something individually in virtue of what we ought to do together. Unfortunately, traversing these two different levels at which a moral obligation can arise – individual and collective – is fraught with difficulties that easily lure us into conclusions muddying our understanding of collective obligations. This paper seeks to clearly lay out a systematic problem central (...) to the relation between collective and individual duties in view of alleviating some such confusion and facilitating more concerted attempts at resolving it: Collective duties require individuals to act in order for the collective duty to be fulfilled. Yet typically, a collective duty does not entail any one set of individual duties that would prescribe such contributory actions: The work we need to do in order to fulfil a duty can be allocated differently to the individuals collectively bearing it. Much like in matters of distributive justice, then, deriving individual duties from a collective one requires us to employ a distributive scheme, which raises separate normative concerns that have rarely taken centre stage in the debate so far. (shrink)

Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e., a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy. In contrast to other linear calculi of natural deduction, derivations in this calculus are sequences of object-language sentences which do not require graphical or other means of commentary in order to keep track of assumptions or to indicate subproofs.