I evaluate two claims; that (a) Jesus’ message as recorded in the gospels implies exclusivism with respect to salvation and that, correspondingly, (b) Christians should be exclusivists with respect to salvation. I evaluate these claims through a cataloguing and evaluation of the logical condition involved in each of the claims regarding conditions for salvation made by Jesus in the Gospel of John. As a result, I argue that (a) is false and that, correspondingly, so is (b).

Das Dissertationsprojekt soll eine Verbindung zwischen zwei augenscheinlich separaten Debattensträngen in der kontemporären Wissenschaftstheorie erforschen. Das ist zum einen die Debatte um die humesche Doktrin, der zufolge es keine de-re notwendigen Verbindungen respektive modale Fakten in der natürlichen Welt gibt. Diese Debatte betrifft die Grundlagen der Naturwissenschaften sowie der Natur selbst. Und das ist zum anderen die Debatte um die materiale Theorie der Induktion, welche auf John D. Norton zurückgeht und die Grundlagen der Rationalität und Logik betrifft. Nach dieser (...) Theorie werden induktive Schlüsse qua relevanter, lokaler Hintergrundfakten zuverlässig. Norton bringt viele - in meinen Augen überzeugende - Beispiele für diese Theorie, lässt uns aber im Unklaren darüber, wie diese Hintergrundfakten induktive Schlüsse lizensieren können. Ich werde argumentieren, dass es sich bei diesen relevanten Fakten zumindest in einigen paradigmatischen Fällen um irreduzibel-modale oder modal grundierte Fakten handeln muss, ansonsten können diese die ihnen zugedachte Funktion nicht erfüllen. Infolgedessen steht der Humeanismus vor einer materialen Form des Induktionsproblems. -/- Meine Forschungshypothese lautet, dass es sich bei dem materialen Induktionsproblem um das eigentliche und zentrale Problem des Humeanismus handelt. Zum einen werden viele altbekannte Probleme des Humeanismus durch das materiale Induktionsproblem motiviert und bestärkt. Zum anderen begründet das materiale Induktionsproblem ein neues und tiefgreifendes Problem des Humeanismus. Es stellt sich darin, dass der Humeanismus den empirischen Erfolg unserer verfügbaren wissenschaftlichen und alltäglichen Gesetzesannahmen nicht zirkelfrei erklären kann. Darauf aufbauend formuliere ich ein Super-Wunderargument, das im Kern in einer Inferenz von den bisherigen empirischen Erfolgen unserer verfügbaren Gesetzesannahmen auf die Wahrheit des Anti-Humeanismus besteht. Dieses Argument steht im Zentrum meiner Arbeit. Alles Weitere wird im Kontext dieses Argumentes diskutiert und illustriert. Zu diesen Untersuchungen gehören die schrittweise Motivation des Argumentes durch das materiale Induktionsproblem, die Unterscheidung und Diskussion verschiedener logischer Formen des Argumentes, das Herausarbeiten der Vorteile sowie die Antizipation von möglichen Einwänden gegen das Argument. (shrink)

Ich behaupte, dass die Tabelle der Intentionalität (Rationalität, Bewusstein, Geist, Denken, Sprache, Persönlichkeit usw.), die hier prominent dargestellt wird, mehr oder weniger genau beschreibt oder zumindest als Heuristik dient, wie wir denken und uns verhalten, und so umfasst sie nicht nur Philosophie und Psychologie, aber alles andere (Geschichte, Literatur, Mathematik, Politik etc.). Beachten Sie insbesondere, dass Intentionalität und Rationalität, wie ich (zusammen mit Searle, Wittgenstein und anderen) es sehen, sowohl bewusst deliberative linguistische System 2 als auch unbewusste automatisierte prälinguistische System (...) 1 Aktionen oder Reflexe umfasst. -/- Ich mache einen kritischen Überblick über einige der wichtigsten Ergebnisse von zwei der bedeutendsten Studenten des Verhaltens der modernen Zeit, Ludwig Wittgenstein und John Searle, über die logische Struktur der Intentionalität (Geist, Sprache, Verhalten), als Ausgangspunkt wittgensteins grundlegende Entdeckung – dass alle wirklich "philosophischen" Probleme die gleichen sind – Verwirrungen darüber, wie Sprache in einem bestimmten Kontext zu verwenden, und so sind alle Lösungen gleich – blickend, wie Sprache in dem Kontext verwendet werden kann, um die Wahrheitsbedingungen (Bedingungen der Zufriedenheit oder COS) sind klar. Das Grundproblem ist, dass man alles sagen kann, aber man kann keine willkürliche Äußerung und Bedeutung bedeuten (geben, die man klar coS für) willenweise nur in einem ganz bestimmten Kontext möglich ist. Ich analysiere verschiedene Schriften von und über sie aus der modernen Perspektive der beiden Systeme des Denkens (popularisiert als "schnell denken, langsam denken"), mit einer neuen Tabelle der Intentionalität und neue duale Systeme Nomenklatur. Ich zeige, dass dies eine starke Heuristik für die Beschreibung von Verhalten ist. -/- Somit ist jedes Verhalten eng miteinander verbunden, wenn man den richtigen Standpunkt einnimmt. Die phänomenologische Illusion (Vergessen unseres automatisierten Systems 1) ist universell und erstreckt sich nicht nur über die gesamte Philosophie, sondern über das ganze Leben hinweg. Ich bin sicher, dass Chomsky, Obama, Zuckerberg und der Papst ungläubig wären, wenn man ihnen sagen würde, dass sie unter dem gleichen Problem wie Hegel, Husserl und Heidegger leiden (oder dass sie sich nur in gewissem Maße von Drogen- und accumbensSexsüchtigen unterscheiden, indem sie durch Stimulation ihrer Frontalkortik durch die Lieferung von Dopamin (und über 100 anderen Chemikalien) über das ventrale Tegmentum und den Kern motiviertwerden, aber es ist klar. Während die Phänomenologen nur viel Zeit verschwendeten, verschwenden sie die Erde und die Zukunft ihres Nachkommen. (shrink)

Da Gintis ein leitender Ökonom ist und ich einige seiner früheren Bücher mit Interesse gelesen habe, erwartete ich einige weitere Einblicke in das Verhalten. Leider, macht er die toten Hände der Gruppenauswahl und Phänomenologie in die Herzstücke seiner Verhaltenstheorien, und das macht die Arbeit weitgehend ungültig. Schlimmer noch, da er hier ein so schlechtes Urteilsvermögen an den Tag stellt, stellt er all seine bisherigen Arbeiten in Frage. Der Versuch, die Gruppenauswahl seiner Freunde in Harvard, Nowak und Wilson wiederzubeleben, vor ein (...) paar Jahren war einer der größten Skandale in der Biologie in den letzten zehn Jahren, und ich habe die traurige Geschichte in meinem Artikel "Altruismus, Jesus und das Ende der Welt – wie die Templeton Foundation kaufte eine Harvard-Professur und angegriffen Evolution, Rationalität und Zivilisation -- Eine Rezension von E.O. Wilson 'The Social Conquest of Earth' (2012) und Nowak und Highfield 'SuperCooperators' (2012). Im Gegensatz zu Nowak scheint Gintis nicht durch religiösen Fanatismus motiviert zu sein, sondern durch den starken Wunsch, eine Alternative zu den düsteren Realitäten der menschlichen Natur zu schaffen, die durch das (nahezu universelle) Unverständnis der grundlegenden menschlichen Biologie und des leeren Schiefers von Verhaltenswissenschaftlern, anderen Akademikern und der breiten Öffentlichkeit leicht gemacht wird. Gintis greift zu Recht (wie schon oft zuvor) Ökonomen, Soziologen und andere Verhaltensforscher an, weil sie keinen kohärenten Rahmen haben, um Verhalten zu beschreiben. Natürlich ist das Notwendige, um Das Verhalten zu verstehen, evolutionär. Leider bietet er selbst keine selbst (nach seinen vielen Kritikern und ich stimme zu), und der Versuch, die faule Leiche der Gruppenauswahl auf alle wirtschaftlichen und psychologischen Theorien zu transplantieren, die er in seiner jahrzehntelangen Arbeit erzeugt hat, macht nur sein gesamtes Projekt ungültig. Obwohl Gintis sich tapfer bemüht, die Genetik zu verstehen und zu erklären, wie Wilson und Nowak, ist er weit davon entfernt, ein Experte zu sein, und wie sie blendet ihn die Mathematik nur für die biologischen Unmöglichkeiten, und das ist natürlich die Norm in der Wissenschaft. Wie Wittgenstein auf der ersten Seite von Kultur und Wert bekannte: "Es gibt keine religiöse Konfession, in der der Missbrauch metaphysischer Ausdrücke für so viel Sünde verantwortlich war wie in der Mathematik." Es war immer glasklar, dass ein Gen, das Verhalten verursacht, das seine eigene Frequenz verringert, nicht bestehen kann, aber dies ist der Kern des Begriffs der Gruppenauswahl. Darüber hinaus ist bekannt und oft gezeigt, dass Gruppenauswahl nur auf inklusive Fitness reduziert (Verwandtise), die, wie Dawkins festgestellt hat, ist nur ein weiterer Name für evolution durch natürliche Selektion. Wie Wilson arbeitet Gintis seit etwa 50 Jahren in dieser Arena und hat sie immer noch nicht begriffen, aber nach dem Skandal hat es nur 3 Tage gedauert, bis ich die relevanteste professionelle Arbeit gefunden, gelesen und verstanden habe, wie in meinem Artikel beschrieben. Es ist ein Irrsinn zu erkennen, dass Gintis und Wilson nicht in der Lage waren, dies in fast einem halben Jahrhundert zu erreichen. Ich diskusere die Fehler der Gruppenauswahl und Phänomenologie, die in der Wissenschaft die Norm sind, als Sonderfälle des nahezu universellen Versagens, die menschliche Natur zu verstehen, die Amerika und die Welt zerstören. Wer aus der modernen zweisystems-Sichteinen umfassenden, aktuellen Rahmen für menschliches Verhalten wünscht, kann mein Buch "The Logical Structure of Philosophy, Psychology, Mindand Language in Ludwig Wittgenstein and John Searle' 2nd ed (2019) konsultieren. Wer sich für mehr meiner Schriften interessiert, kann 'Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019) und Suicidal Utopian Delusions in the 21st Century 4th ed (2019) sehen. (shrink)

Ich behaupte, dass die Tabelle der Intentionalität (Rationalität, Bewusstein, Geist, Denken, Sprache, Persönlichkeit usw.), die hier prominent dargestellt wird, mehr oder weniger genau beschreibt oder zumindest als Heuristik dient, wie wir denken und uns verhalten, und so umfasst sie nicht nur Philosophie und Psychologie, aber alles andere (Geschichte, Literatur, Mathematik, Politik etc.). Beachten Sie insbesondere, dass Intentionalität und Rationalität, wie ich (zusammen mit Searle, Wittgenstein und anderen) es sehen, sowohl bewusst deliberative linguistische System 2 als auch unbewusste automatisierte prälinguistische System (...) 1 Aktionen oder Reflexe umfasst. Ich mache einen kritischen Überblick über einige der wichtigsten Ergebnisse von zwei der bedeutendsten Studenten des Verhaltens der modernen Zeit, Ludwig Wittgenstein und John Searle, über die logische Struktur der Intentionalität (Geist, Sprache, Verhalten), als Ausgangspunkt wittgensteins grundlegende Entdeckung – dass alle wirklich "philosophischen" Probleme die gleichen sind – Verwirrungen darüber, wie Sprache in einem bestimmten Kontext zu verwenden, und so sind alle Lösungen gleich – blickend, wie Sprache in dem Kontext verwendet werden kann, um die Wahrheitsbedingungen (Bedingungen der Zufriedenheit oder COS) sind klar. Das Grundproblem ist, dass man alles sagen kann, aber man kann keine willkürliche Äußerung und Bedeutung bedeuten (geben, die man klar coS für) willenweise nur in einem ganz bestimmten Kontext möglich ist. Ich analysiere verschiedene Schriften von und über sie aus der modernen Perspektive der beiden Systeme des Denkens (popularisiert als "schnell denken, langsam denken"), mit einer neuen Tabelle der Intentionalität und neue duale Systeme Nomenklatur. Ich zeige, dass dies eine starke Heuristik für die Beschreibung von Verhalten ist. Somit ist jedes Verhalten eng miteinander verbunden, wenn man den richtigen Standpunkt einnimmt. Die phänomenologische Illusion (Vergessen unseres automatisierten Systems 1) ist universell und erstreckt sich nicht nur über die gesamte Philosophie, sondern über das ganze Leben hinweg. Ich bin sicher, dass Chomsky, Obama, Zuckerberg und der Papst ungläubig wären, wenn man ihnen sagen würde, dass sie unter dem gleichen Problem wie Hegel, Husserl und Heidegger leiden (oder dass sie sich nur in gewissem Maße von Drogen- und accumbensSexsüchtigen unterscheiden, indem sie durch Stimulation ihrer Frontalkortik durch die Lieferung von Dopamin (und über 100 anderen Chemikalien) über das ventrale Tegmentum und den Kern motiviertwerden, aber es ist klar. Während die Phänomenologen nur viel Zeit verschwendeten, verschwenden sie die Erde und die Zukunft ihres Nachkommen. (shrink)

Judging by our folk appraisals, then, knowledge and action are intimately related. The theories of rational action with which we are familiar leave this unexplained. Moreover, discussions of knowledge are frequently silent about this connection. This is a shame, since if there is such a connection it would seem to constitute one of the most fundamental roles for knowledge. Our purpose in this paper is to rectify this lacuna, by exploring ways in which knowing something is related to rationally acting (...) upon it, defending one particular proposal against anticipated objections. (shrink)

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

Demonstratives seem to have posed a severe difficulty for Frege’s philosophy of language, to which his doctrine of incommunicable senses was a reaction. In “The Thought,” Frege briefly discusses sentences containing such demonstratives as “today,” “here,” and “yesterday,” and then turns to certain questions that he says are raised by the occurrence of “I” in sentences (T, 24-26). He is led to say that, when one thinks about oneself, one grasps thoughts that others cannot grasp, that cannot be communicated. However, (...) nothing could be more out of the spirit of Frege’s account of sense and thought than an incommunicable, private thought. In the first part of the paper, I explain the problem demonstratives pose for Frege, and explore three ways he might have dealt with it. I argue that none of these ways provides Frege with a solution to his problem consistent with his philosophy of language. The first two are plausible as solutions, but contradict his identification of the sense expressed by a sentence with a thought. The third preserves the identification, but is implausible. In the second part, I suggest that Frege was led to his doctrine of incommunicable senses as a result of some appreciation of the difficulties his account of demonstratives faces, for these come quickly to the surface when we think about “I.” I argue that incommunicable senses won’t help. I end by trying to identify the central problem with Frege’s approach, and sketching an alternative. (shrink)

Most traditional epistemologists see trust and knowledge as deeply antithetical: we cannot know by trusting in the opinions of others; knowledge must be based on evidence, not mere trust. I argue that this is badly mistaken. Modern knowers cannot be independent and self-reliant. In most disciplines, those who do not trust cannot know. Trust is thus often more epistemically basic than empirical evidence or logical argument, for the evidence and the argument are available only through trust. Finally, since the reliability (...) of testimonial evidence depends on the trustworthiness of the testifier, this implies that knowledge often rests on a foundation of ethics. The rationality of many of our beliefs depends not only on our own character, but on the character of others. (shrink)

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

Nearly all success is due to some mix of ability and luck. But some successes we attribute to the agent’s ability, whereas others we attribute to luck. To better understand the criteria distinguishing credit from luck, we conducted a series of four studies on knowledge attributions. Knowledge is an achievement that involves reaching the truth. But many factors affecting the truth are beyond our control and reaching the truth is often partly due to luck. Which sorts of luck are compatible (...) with knowledge? We find that knowledge attributions are highly sensitive to lucky events that change the explanation for why a belief is true. By contrast, knowledge attributions are surprisingly insensitive to lucky events that threaten but ultimately fail to change the explanation for why a belief is true. These results shed light on our concept of knowledge, help explain apparent inconsistencies in prior work on knowledge attributions, and constitute progress toward a general understanding of the relation between success and luck. (shrink)

Soon there will be sex robots. The creation of such devices raises a host of social, legal and ethical questions. In this article, I focus in on one of them. What if these sex robots are deliberately designed and used to replicate acts of rape and child sexual abuse? Should the creation and use of such robots be criminalised, even if no person is harmed by the acts performed? I offer an argument for thinking that they should be. The argument (...) consists of two premises. The first claims that it can be a proper object of the criminal law to regulate wrongful conduct with no extrinsically harmful effects on others. The second claims that the use of robots that replicate acts of rape and child sexual abuse would be wrongful, even if such usage had no extrinsically harmful effects on others. I defend both premises of this argument and consider its implications for the criminal law. I do not offer a conclusive argument for criminalisation, nor would I wish to be interpreted as doing so; instead, I offer a tentative argument and a framework for future debate. This framework may also lead one to question the proposed rationales for criminalisation. (shrink)

Can judging that an agent blamelessly broke a rule lead us to claim, paradoxically, that no rule was broken at all? Surprisingly, it can. Across seven experiments, we document and explain the phenomenon of excuse validation. We found when an agent blamelessly breaks a rule, it significantly distorts people’s description of the agent’s conduct. Roughly half of people deny that a rule was broken. The results suggest that people engage in excuse validation in order to avoid indirectly blaming others for (...) blameless transgressions. Excuse validation has implications for recent debates in normative ethics, epistemology and the philosophy of language. These debates have featured thought experiments perfectly designed to trigger excuse validation, inhibiting progress in these areas. (shrink)

Recent breakthroughs in stem cell differentiation and reprogramming suggest that functional human gametes could soon be created in vitro. While the ethical debate on the uses of in vitro generated gametes (IVG) was originally constrained by the fact that they could be derived only from embryonic stem cell lines, the advent of somatic cell reprogramming, with the possibility to easily derive human induced pluripotent stem cells from any individual, affords now a major leap in the feasibility of IVG derivation and (...) in the scope of their potential applications. In this paper we develop an ethical framework, rooted in recent scientific evidence, to support a robust experimental pipeline that could enable the first-in-human use of IVG. We then apply this framework to the following objectives: (1) a clarification of the genetic parenting options afforded by IVG, along with their ethical underpinnings; (2) a defence of the use of IVG to remedy infertility, broadening their scope to same-sex couples; (3) an assessment of the most far-reaching implications of IVG for multiplex parenting. These include, first, the liberation of parenting roles from the constraints of biological generations in vivo, allowing multiple individuals to engage in genetic parenting together, thus blurring the distinction between biological and social generations. Second, we discuss the conflation of IVG with sequencing technology and its implications for the possibility that prospective parents may choose among a hitherto unprecedented number of potential children. In view of these perspectives, we argue that, contrary to the exhausted paradigm according to which society lags behind science, IVG may represent instead a salient and most visible instance where biotechnological ingenuity could be used in pursuit of social experimentation. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

An impressive case has been built for the hypothesis that knowledge is the norm of assertion, otherwise known as the knowledge account of assertion. According to the knowledge account, you should assert something only if you know that it’s true. A wealth of observational data supports the knowledge account, and some recent empirical results lend further, indirect support. But the knowledge account has not yet been tested directly. This paper fills that gap by reporting the results of such a test. (...) The knowledge account passes with flying colors. (shrink)

The concept of practical knowledge is central to G.E.M. Anscombe's argument in Intention, yet its meaning is little understood. There are several reasons for this, including a lack of attention to Anscombe's ancient and medieval sources for the concept, and an emphasis on the more straightforward concept of knowledge "without observation" in the interpretation of Anscombe's position. This paper remedies the situation, first by appealing to the writings of Thomas Aquinas to develop an account of practical knowledge as a distinctive (...) form of thought that "aims at production" of things that lie within an agent's power; and then by showing how this Thomistic understanding of practical cognition seems to have been Anscombe's, too. Having done this, I question whether the thesis that agential knowledge is practical knowledge entails that an agent always has non-observational knowledge of what she is intentionally doing. I answer "Not": Anscombe's claims to the contrary rest on a misleading assimilation of human beings' finite agency to that of an infinite agent like God. (shrink)

Motivational internalism postulates a necessary connection between moral judgments and motivation. In arguing for and against internalism, metaethicists traditionally appeal to intuitions about cases, but crucial cases often yield conflicting intuitions. One way to try to make progress, possibly uncovering theoretical bias and revealing whether people have conceptions of moral judgments required for noncognitivist accounts of moral disagreement, is to investigate non-philosophers' willingness to attribute moral judgments. A pioneering study by Shaun Nichols seemed to undermine internalism, as a large majority (...) of subjects were willing to attribute moral understanding to an agent lacking moral motivation. However, our attempts to replicate this study yielded quite different results, and we identified a number of problems with Nichols' experimental paradigm. The results from a series of surveys designed to rule out these problems show that people are more willing to attribute moral understanding than mor.. (shrink)

Cognitivism in respect to the arts refers to a constellation of positions that share in common the idea that artworks often bear, in addition to aesthetic value, a significant kind of cognitive value. In this paper I concentrate on three things: (i) the challenge of understanding exactly what one must do if one wishes to defend a cognitivist view of the arts; (ii) common anti-cognitivist arguments; and (iii) promising recent attempts to defend cognitivism.

This paper argues that the role of knowledge in the explanation and production of intentional action is as indispensable as the roles of belief and desire. If we are interested in explaining intentional actions rather than intentions or attempts, we need to make reference to more than the agent’s beliefs and desires. It is easy to see how the truth of your beliefs, or perhaps, facts about a setting will be involved in the explanation of an action. If you believe (...) you can stop your car by pressing a pedal, then, if your belief is true, you will stop. If it is false, you will not. By considering cases of unintentional actions, actions involving luck and cases of deviant causal chains, I show why knowledge is required. By looking at the notion of causal relevance, I argue that the connection between knowledge and action is causal and not merely conceptual. (shrink)

A woman is listening to Sinatra before work. As she later describes it, ‘suddenly from nowhere I could hear my mother singing along to it … I was there again home again, hearing my mother … God knows why I should choose to remember that … then, to actually hear her and I had this image in my head … of being at home … with her singing away … like being transported back you know I got one of those (...) … like shivery feelings really suddenly’ (Anderson 2004, 9-10). An older couple, discussing their honeymoon forty years ago, each say that they can’t remember the show they saw, until through iterative, puzzled cross-cuing they finally get there – ‘Desert Song, that’s it’ (Harris et al 2011, 292). An elderly English veteran of a prisoner of war camp in Japan, finishing up morning tea with a young Japanese social scientist interested in reconciliation, suddenly calls out loudly - in Japanese - ‘stand to attention’. He stands to attention in front of her: like many of the men she interviews, he physically re-enacts fragments of that long-past world of the camp, bringing that absent past into this new present context with a visceral shock (Murakami 2001, 2012; Middleton & Brown 2005, 133-136). (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

We think we have lots of substantial knowledge about the future. But contemporary wisdom has it that indeterminism prevails in such a way that just about any proposition about the future has a non-zero objective chance of being false.2, 3 What should one do about this? One, pessimistic, reaction is scepticism about knowledge of the future. We think this should be something of a last resort, especially since this scepticism is likely to infect alleged knowledge of the present and past. (...) One anti-sceptical strategy is to pin our hopes on determinism, conceding that knowledge of the future is unavailable in an indeterministic world. This is not satisfying either: we would rather not be hostage to empirical fortune in the way that this strategy recommends. A final strategy, one that we shall explore in this paper, is one of reconciliation: knowledge of a proposition is compatible with a subject’s belief having a non-zero objective chance of error.4 Following Williamson, we are interested in tying knowledge to the presence or absence of error in close cases, and so we shall explore the connections between knowledge and objective chance within such a framework. We don’t want to get tangled up here in complications involved in attempting to formulate a necessary and sufficient condition for knowledge in terms of safety. Instead, we will assume the following rough and ready necessary condition: a subject knows P only if she could not easily have falsely believed P.5 Assuming that easiness is to be spelt.. (shrink)

This paper argues for externalism about justification on the basis of thought experiments. I present cases in which two individuals are intrinsically and introspectively indistinguishable and in which intuitively, one is justified in believing that p while the other is not. I also examine an argument for internalism based on the ideas that we have privileged access to whether or not our own beliefs are justified and that only internalism is compatible with this privilege. I isolate what I take to (...) be the most plausible form of privileged access to justification and show that it is compatible with externalism. (shrink)

Leading virtue epistemologists defend the view that knowledge must proceed from intellectual virtue and they understand virtues either as refned character traits cultivated by the agent over time through deliberate effort, or as reliable cognitive abilities. Philosophical situationists argue that results from empirical psychology should make us doubt that we have either sort of epistemic virtue, thereby discrediting virtue epistemology’s empirical adequacy. I evaluate this situationist challenge and outline a successor to virtue epistemology: abilism . Abilism delivers all the main (...) benefts of virtue epistemology and is as empirically adequate as any theory in philosophy or the social sciences could hope to be. (shrink)

Most properties have comparatives, which are relations. For instance, the property of width has the comparative relation denoted by `_ is wider than _'. Let us say a property is reducible to its comparative if any statement that refers to the property has the same meaning as another statement that refers to the comparative instead. Width is not reducible to its comparative. To be sure, many statements that refer to width are reducible: for instance, `The Mississippi is wide' means the (...) same as `The Mississippi is wider than most rivers'. But some statements that refer to width are not reducible: for instance, `Electrons have zero width' is not. A property is not reducible to its comparative if it has absolute degrees, and specifically an absolute zero. A property's comparative relation places things in an order from those that have the property least to those that have it most. If there is an absolute zero point somewhere in this ordering, the property is not reducible to its comparative. For width, there is an absolute zero at one end of the ordering, so width is not reducible. The property of goodness is reducible to its comparative, betterness. In particular, there is no absolute zero of goodness. Things are ordered by betterness – some things are better than others – but nothing is absolutely good or absolutely bad. This is an exaggeration. In certain applications, goodness does have absolute degrees of a sort, and an absolute zero. For instance, it makes sense to say an event is good, and another event bad. These are absolute degrees of a sort, but they are themselves reducible to betterness. To say an event is good simply means the event is better than what would otherwise have happened. The goodness of lives has a different sort of absolute zero. Lives are ordered by betterness; some lives are better than others. We can make sense of the question `Where in this ordering is the division between lives that are good and those that are bad?' The division between good and bad lives is again reducible to betterness. To say a person's life is good means it is better that the person should continue living, rather than that she should die. Or it may mean it is better that her life should be lived rather than that it should never have been lived at all. As it is often put: a good life is a life worth living. Derek Parfit appears to attach a different sense to the idea of a good life. He appears to mean a life that contains a preponderance of good things (such as pleasure) over bad things (such as pain). If a life contains no good things and no bad things, it has zero goodness in this sense. In this sense, absolute goodness and the absolute zero of goodness are not reducible to betterness. However, this is a naturalistic sense of goodness, and it is subject to the open-question objection. If a life contains no good things and no bad things, it is an open question whether it has zero goodness. It might, for instance, be a bad thing that this life should be lived. In discussing the evil of death, some philosophers seem to have been searching for an absolute goodness that is not reducible to betterness. Thomas Nagel speaks of an asymmetry between what is good about life and what is bad about death. But if a person's life is good, that only means it would be better that she should continue living than that she should die. And if a person's death would be bad, that only means it would be worse that she should die than that she should continue living. So there can be no asymmetry. (shrink)

Visualizing and mental imagery are thought to be cognitive states by all sides of the imagery debate. Yet the phenomenology of those states has distinctly visual ingredients. This has potential consequences for the hypothesis that vision is cognitively impenetrable, the ability of visual processes to ground perceptual warrant and justification, and the distinction between cognitive and perceptual phenomenology. I explore those consequences by describing two forms of visual ambiguity that involve visualizing: the ability to visually experience a picture surface as (...) flat after it has caused volumetric nonconceptual contents, and the ability to use a surface initially perceived as flat to visualize three-dimensional scenes. In both cases, the visual processes which extract viewer-centered volumetric shapes have to rely solely on monocular depth cues in the absence of parallax and stereopsis. Those processes can be cognitively penetrated by acts of visualizing, including ones that draw on conceptual information about kinds. However, the penetrability of the visual processes does not weaken their ability to provide perceptual warrant and justification for beliefs. The reason is that picture perceptions—whether they are stimulus -driven or based on acts of visualizing—are different to object perceptions both phenomenologically and in terms of their functional roles as states. Thus, although the penetrability of the visual processes does mean that subjects can have visual experiences with contradictory contents, perceptual belief is adopted at most towards one set of contents, and questions of warrant and justification are raised only for those contents. A rule-proving exception is provided by trompe-l’oeils. (shrink)

The epistemic closure principle says that knowledge is closed under known entailment. The closure principle is deeply implicated in numerous core debates in contemporary epistemology. Closure’s opponents claim that there are good theoretical reasons to abandon it. Closure’s proponents claim that it is a defining feature of ordinary thought and talk and, thus, abandoning it is radically revisionary. But evidence for these claims about ordinary practice has thus far been anecdotal. In this paper, I report five studies on the status (...) of epistemic closure in ordinary practice. Despite decades of widespread assumptions to the contrary in philosophy, ordinary practice is ambivalent about closure. Ordinary practice does not endorse an unqualified version of the epistemic closure principle, although it might endorse a source-relative version of the principle. In particular, whereas inferential knowledge is not viewed as closed under known entailment, perceptual knowledge might be. (shrink)

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)

This paper critically evaluates the regress argument for infinitism. The dialectic is essentially this. Peter Klein argues that only an infinitist can, without being dogmatic, enhance the credibility of a questioned non-evident proposition. In response, I demonstrate that a foundationalist can do this equally well. Furthermore, I explain how foundationalism can provide for infinite chains of justification. I conclude that the regress argument for infinitism should not convince us.

Sobre Filosofia clinica e Reflexões sobre o que é o humano.

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

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)

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

Morality seems important, in the sense that there are practical reasons — at least for most of us, most of the time — to be moral. A central theoretical motivation for consequentialism is that it appears clear that there are practical reasons to promote good outcomes, but mysterious why we should care about non-consequentialist moral considerations or how they could be genuine reasons to act. In this paper we argue that this theoretical motivation is mistaken, and that because many arguments (...) for consequentialism rely upon it, the mistake substantially weakens the overall case for consequentialism. We argue that there is indeed a theoretical connection between good states and reasons to act, because good states are those it is fitting to desire and there is a conceptual connection between the fittingness of a motive and reasons to perform the acts it motivates. But while some of our motives are directed at states, others are directed at acts themselves. We contend that just as the fittingness of desires for states generates reasons to promote the good, the fittingness of these act-directed motives generates reasons to do other things. Moreover, we argue that an act’s moral status consists in the fittingness of act-directed feelings of obligation to perform or avoid performing it, so the connection between fitting motives and reasons to act explains reasons to be moral whether or not morality directs us to promote the good. This, we contend, de-mystifies how there could be non-consequentialist reasons that are both moral and practical. (shrink)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...) by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

Time in electromagnetism shares many features with time in other physical theories. But there is one aspect of electromagnetism's relationship with time that has always been controversial, yet has not always attracted the limelight it deserves: the electromagnetic arrow of time. Beginning with a re-analysis of a famous argument between Ritz and Einstein over the origins of the radiation arrow, this chapter frames the debate between modern Einsteinians and neo-Ritzians. It tries to find a clean statement of what the arrow (...) is and then explains how it relates to the cosmological and thermodynamic arrows, representing the most developed and sophisticated attack yet, in either the physics or philosophy literature, on the electromagnetic arrow of time. (shrink)

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

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

As a topic in the philosophy of psychology, dreaming is a fascinating, diverse, and severely underdeveloped area of study. The topic excites intense public interest in its own right, while also challenging our confidence that we know what the words “conscious” and “consciousness” mean. So dreaming should be at the forefront of our interdisciplinary investigations: theories of mind which fail to address the topic are incomplete. This chapter illustrates the tight links between conceptual and empirical issues by highlighting surprisingly deep (...) disagreements among leading dream scientists over what might seem basic aspects of their topic. (shrink)

Skeptics argue that the acquisition of knowledge is impossible given the standing possibility of error. We present the limiting convergence strategy for responding to skepticism and discuss the relationship between conceivable error and an agent’s knowledge in the limit. We argue that the skeptic must demonstrate that agents are operating with a bad method or are in an epistemically cursed world. Such demonstration involves a significant step beyond conceivability and commits the skeptic to potentially convergent inquiry.

A viable theory of literary humanism must do justice to the idea that literature offers cognitive rewards to the careful reader. There are, however, powerful arguments to the effect that literature is at best only capable of offering idle visions of a world already well known. In this essay I argue that there is a form of cognitive awareness left unmentioned in the traditional vocabulary of knowledge acquisition, a form of awareness literature is particularly capable of offering. Thus even if (...) it is the case that literature has nothing interesting to give us in the way of knowledge, the literary humanist can consistently maintain that literary experience is thoroughly cognitive. (shrink)

The evolution of life on Earth has produced an organism that is beginning to model and understand its own evolution and the possible future evolution of life in the universe. These models and associated evidence show that evolution on Earth has a trajectory. The scale over which living processes are organized cooperatively has increased progressively, as has its evolvability. Recent theoretical advances raise the possibility that this trajectory is itself part of a wider developmental process. According to these theories, the (...) developmental process has been shaped by a yet larger evolutionary dynamic that involves the reproduction of universes. This evolutionary dynamic has tuned the key parameters of the universe to increase the likelihood that life will emerge and produce outcomes that are successful in the larger process (e.g. a key outcome may be to produce life and intelligence that intentionally reproduces the universe and tunes the parameters of ‘offspring’ universes). Theory suggests that when life emerges on a planet, it moves along this trajectory of its own accord. However, at a particular point evolution will continue to advance only if organisms emerge that decide to advance the developmental process intentionally. The organisms must be prepared to make this commitment even though the ultimate nature and destination of the process is uncertain, and may forever remain unknown. Organisms that complete this transition to intentional evolution will drive the further development of life and intelligence in the universe. Humanity’s increasing understanding of the evolution of life in the universe is rapidly bringing it to the threshold of this major evolutionary transition. (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)

A fruitful way to approach The Idea of Phenomenology is through Husserl’s claim that consciousness is not a bag, box, or any other kind of container. The bag conception, which dominated much of modern philosophy, is rooted in the idea that philosophy is restricted to investigating only what is really immanent to consciousness, such as acts and sensory contents. On this view, what Husserl called the riddle of transcendence can never be solved. The phenomenological reduction, as Husserl develops it in (...) The Idea of Phenomenology, opened up a new and broader sense of immanence that embraces the transcendent, making it possible both to solve the riddle and to escape the bag conception once and for all. The essay will discuss ways in which this new conception of immanence is tied to the key Husserlian themes of appearance, phenomenon, essence, seeing or intuiting, and constitution. (shrink)

In 2015, ‘marriage’ was redefined in the United States to include same-sex couples. In conceptual engineering, this is often assumed to be a paradigm case of Sally Haslanger’s (2020a, 2020b) semantic amelioration. Semantic amelioration changes a concept’s content to make it better. In the case of [MARRIAGE], [MARRIAGE]’s content was broadened to include same-sex couples – which, many contend, made it morally better. Semantic amelioration faces the following challenge, however: Doesn’t changing a concept’s content ‘change the subject?’ By broadening [MARRIAGE]’s (...) content to include same-sex couples in 2015, didn’t we replace [MARRIAGE] with a new concept that sounds and looks like [MARRIAGE] but nevertheless isn’t [MARRIAGE] – something like, [MARRIAGE*]? This is the topic continuity problem (TCP). Here, TCP assumes content essentialism about concepts, i.e., that a concept’s content is essential to it. Thus, since semantic amelioration changes concepts’ contents to make them better, semantic amelioration necessarily replaces concepts, according to this version of TCP. Haslanger recently resists this notion, however. Instead of embracing content essentialism about concepts, Haslanger embraces functional essentialism about concepts – that a concept’s function is essential to it. And since semantic amelioration leaves a concept’s function unchanged, Haslanger denies that semantic amelioration is conceptual replacement. In this paper, I argue that Haslanger’s functional essentialism integrally links concepts’ functions to their contents, such that changing a concept’s content requires changing its function, on Haslanger’s account. Therefore, semantic amelioration still replaces concepts even on Haslanger’s functional essentialism. I think this is avoided, however, if we incorporate Amie Thomasson’s (2020) recent work on concepts into Haslanger’s. Combining Thomasson’s work with Haslanger’s yields a new functional essentialism about concepts – called proper functional essentialism. Proper functional essentialism allows that some functional changes in concepts don't replace them, and hence, it perhaps reveals how to actually not change the subject in semantic amelioration. (shrink)