The first thing we must keep in mind is that when saying that China says this or China does that, we are not speaking of the Chinese people, but of the Sociopaths who control the CCP -- Chinese Communist Party, i.e., the Seven Senile Sociopathic Serial Killers (SSSSK) of the Standing Committee of the CCP or the 25 members of the Politburo etc.. -/- The CCP’s plans for WW3 and total domination are laid out quite clearly in Chinese govt publications (...) and speeches and this is Xi Jinping’s “China Dream”. It is a dream only for the tiny minority (perhaps a few dozen to a few hundred) who rule China and a nightmare for everyone else (including 1.4 billion Chinese). The 10 billion dollars yearly enables them or their puppets to own or control newspapers, magazines, TV and radio channels and place fake news in most major media everywhere every day. In addition, they have an army (maybe millions of people) who troll all the media placing more propaganda and drowning out legitimate commentary (the 50 cent army). -/- In addition to stripping the 3rd world of resources, a major thrust of the multi-trillion dollar Belt and Road Initiative is building military bases worldwide. They are forcing the free world into a massive high-tech arms race that makes the cold war with the Soviet Union look like a picnic. -/- Though the SSSSK, and the rest of the world’s military, are spending huge sums on advanced hardware, it is highly likely that WW3 (or the smaller engagements leading up to it) will be software dominated. It is not out of the question that the SSSSK, with probably more hackers (coders) working for them then all the rest of the world combined, will win future wars with minimal physical conflict, just by paralyzing their enemies via the net. No satellites, no phones, no communications, no financial transactions, no power grid, no internet, no advanced weapons, no vehicles, trains, ships or planes. -/- There are only two main paths to removing the CCP, freeing 1.4 billion Chinese prisoners, and ending the lunatic march to WW3. The peaceful one is to launch an all-out trade war to devastate the Chinese economy until the military gets fed up and boots out the CCP. -/- An alternative to shutting down China’s economy is a limited war, such as a targeted strike by say 50 thermobaric drones on the 20th Congress of the CCP, when all the top members are in one place, but that won’t take place until 2022 so one could hit the annual plenary meeting. The Chinese would be informed, as the attack happened, that they must lay down their arms and prepare to hold a democratic election or be nuked into the stone age. The other alternative is an all-out nuclear attack. Military confrontation is unavoidable given the CCP’s present course. It will likely happen over the islands in the South China Sea or Taiwan within a few decades, but as they establish military bases worldwide it could happen anywhere (see Crouching Tiger etc.). Future conflicts will have hardkill and softkill aspects with the stated objectives of the CCP to emphasize cyberwar by hacking and paralyzing control systems of all military and industrial communications, equipment, power plants, satellites, internet, banks, and any device or vehicle connected to the net. The SS are slowly fielding a worldwide array of manned and autonomous surface and underwater subs or drones capable of launching conventional or nuclear weapons that may lie dormant awaiting a signal from China or even looking for the signature of US ships or planes. While destroying our satellites, thus eliminating communication between the USA and our forces worldwide, they will use theirs, in conjunction with drones to target and destroy our currently superior naval forces. Of course, all of this is increasingly done automatically by AI. -/- By far the biggest ally of the CCP is the Democratic party of the USA. The choice is to stop the CCP now or watch as they extend the Chinese prison over the whole world. -/- Of course, universal surveillance and digitizing of our lives is inevitable everywhere. Anyone who does not think so is profoundly out of touch. -/- Of course it is the optomists who expect the Chinese sociopaths to rule the world while the pessimists (who view themselves as realists) expect AI sociopathy (or AS as I call it – i.e., Artificial Stupidity or Artificial Sociopathy) to take over, perhaps by 2030 Those interested in further details on the lunatic path of modern society may consult my other works such as Suicide by Democracy-an Obituary for America and the World 3rd Edition 2019 and Suicidal Utopian Delusions in the 21st Century: Philosophy, Human Nature and the Collapse of Civilization 5th ed (2019) -/- . (shrink)

The first thing we must keep in mind is that when saying that China says this or China does that, we are not speaking of the Chinese people, but of the Sociopaths who control the CCP -- Chinese Communist Party, i.e., the Seven Senile Sociopathic Serial Killers (SSSSK) of the Standing Committee of the CCP or the 25 members of the Politburo etc.. -/- The CCP’s plans for WW3 and total domination are laid out quite clearly in Chinese govt publications (...) and speeches and this is Xi Jinping’s “China Dream”. It is a dream only for the tiny minority (perhaps a few dozen to a few hundred) who rule China and a nightmare for everyone else (including 1.4 billion Chinese). The 10 billion dollars yearly enables them or their puppets to own or control newspapers, magazines, TV and radio channels and place fake news in most major media everywhere every day. In addition, they have an army (maybe millions of people) who troll all the media placing more propaganda and drowning out legitimate commentary (the 50 cent army). -/- In addition to stripping the 3rd world of resources, a major thrust of the multi-trillion dollar Belt and Road Initiative is building military bases worldwide. They are forcing the free world into a massive high-tech arms race that makes the cold war with the Soviet Union look like a picnic. -/- Though the SSSSK, and the rest of the world’s military, are spending huge sums on advanced hardware, it is highly likely that WW3 (or the smaller engagements leading up to it) will be software dominated. It is not out of the question that the SSSSK, with probably more hackers (coders) working for them then all the rest of the world combined, will win future wars with minimal physical conflict, just by paralyzing their enemies via the net. No satellites, no phones, no communications, no financial transactions, no power grid, no internet, no advanced weapons, no vehicles, trains, ships or planes. -/- There are only two main paths to removing the CCP, freeing 1.4 billion Chinese prisoners, and ending the lunatic march to WW3. The peaceful one is to launch an all-out trade war to devastate the Chinese economy until the military gets fed up and boots out the CCP. -/- An alternative to shutting down China’s economy is a limited war, such as a targeted strike by say 50 thermobaric drones on the 20th Congress of the CCP, when all the top members are in one place, but that won’t take place until 2022 so one could hit the annual plenary meeting. The Chinese would be informed, as the attack happened, that they must lay down their arms and prepare to hold a democratic election or be nuked into the stone age. The other alternative is an all-out nuclear attack. Military confrontation is unavoidable given the CCP’s present course. It will likely happen over the islands in the South China Sea or Taiwan within a few decades, but as they establish military bases worldwide it could happen anywhere (see Crouching Tiger etc.). Future conflicts will have hardkill and softkill aspects with the stated objectives of the CCP to emphasize cyberwar by hacking and paralyzing control systems of all military and industrial communications, equipment, power plants, satellites, internet, banks, and any device or vehicle connected to the net. The SS are slowly fielding a worldwide array of manned and autonomous surface and underwater subs or drones capable of launching conventional or nuclear weapons that may lie dormant awaiting a signal from China or even looking for the signature of US ships or planes. While destroying our satellites, thus eliminating communication between the USA and our forces worldwide, they will use theirs, in conjunction with drones to target and destroy our currently superior naval forces. Of course, all of this is increasingly done automatically by AI. -/- By far the biggest ally of the CCP is the Democratic party of the USA. The choice is to stop the CCP now or watch as they extend the Chinese prison over the whole world. -/- Of course, universal surveillance and digitizing of our lives is inevitable everywhere. Anyone who does not think so is profoundly out of touch. -/- Of course it is the optomists who expect the Chinese sociopaths to rule the world while the pessimists (who view themselves as realists) expect AI sociopathy (or AS as I call it – i.e., Artificial Stupidity or Artificial Sociopathy) to take over, perhaps by 2030 Those interested in further details on the lunatic path of modern society may consult my other works such as Suicide by Democracy-an Obituary for America and the World 3rd Edition 2019 and Suicidal Utopian Delusions in the 21st Century: Philosophy, Human Nature and the Collapse of Civilization 5th ed (2019) -/- . (shrink)

A. W. F. Edwards famously named “Lewontin’s fallacy” after Richard Lewontin, the geneticist who showed that most human genetic diversity can be found within any given racialized group. “Lewontin’s fallacy” is the assumption that uncorrelated genetic data would be sufficient to classify genotypes into conventional “racial” groups. In this chapter, I argue that Lewontin does not commit the fallacy named after him, and that it is not a genuine fallacy. Furthermore, I argue that when Edwards assumes that stable classification (...) is all it takes to vindicate racial naturalism, he commits a fallacy of his own: Edwards’ fallacy. The ability to create a classificatory system, and then reliably sort things within that system, is not enough to make that system scientifically respectable. I show that Edwards’ fallacy is rife in debates about the existence of human biological races. (shrink)

abstract: Richard T. Greener was the first Black graduate of Harvard College in 1870, and he served briefly as a professor of philosophy at the University of South Carolina from 1873 to 1877. Historians and biographers have uncovered many of the facts of his unusual life, but to date his philosophy has remained unappreciated. This essay reconstructs his philosophy from published and archival sources, evaluating it in relationship to the work of his better-known mentor, Frederick Douglass. I argue that (...) Greener’s account of Reconstruction politics, especially his arguments on land redistribution, race, and Black intellectual history, possess notable advantages over Douglass’s views. Of particular importance is that he defended a more robust republican state than did his hero, while rejecting the originalism and constitutionalism that characterize Douglass’s liberalism. (shrink)

At first glance, hate speech and microaggressions seem to have little overlap beyond being communicated verbally or in written form. Hate speech seems clearly macro-aggressive: an intentional, obviously harmful act lacking the ambiguity (and plausible deniability) of microaggressions. If we look back at historical discussions of hate speech, however, many of these assumed differences turn out to be points of similarity. The harmfulness of hate speech only became widely acknowledged after a concerted effort by critical race theorists, feminists, and (...) other activists. Before the 1990s, slurs were widely considered socially acceptable behavior: mere jokes that weren’t intended to be harmful. Authors like Richard Delgado, Mari Matsuda, and Charles Lawrence pushed back against this dismissal. In this chapter, I show that their arguments for the serious harmfulness of hate speech prefigure and provide support for current debates about the serious harmfulness of microaggressions. Exploring resonances with the 1980s hate speech debate will allow us to explain why microaggressions fall below the cutoff for legal liability but remain apt targets for moral blame. (shrink)

According to Mathias Risse and Richard Zeckhauser, racial profiling can be justified in a society, such as the contemporary United States, where the legacy of slavery and segregation is found in lesser but, nonetheless, troubling forms of racial inequality. Racial profiling, Risse and Zeckhauser recognize, is often marked by police abuse and the harassment of racial minorities and by the disproportionate use of race in profiling. These, on their view, are unjustified. But, they contend, this does not mean (...) that all forms of racial profiling are unjustified; nor, they claim, need one be indifferent to the harms of racism in order to justify racial profiling. In fact, one of the aims of their paper is to show that racial profiling, suitably understood, “is consistent with support for far-reaching measures to decrease racial inequities and inequality.” Hence, one of their most striking claims, in an original and provocative paper, is that one can endorse racial profiling without being in any way indifferent to the disadvantaged status of racial minorities. In an initial response to these claims, I argued that Risse and Zeckhauser tend to underestimate the harms of racial profiling. I suggested two main reasons why they did so. The first is that they tend to identify the more serious harms associated with profiling with background racism, and therefore to believe that these are not properly attributable to profiling itself. The second reason is that they ignore the ways in which background racism makes even relatively minor harms harder to bear and to justify than would otherwise be the case. Hence, I concluded, racial profiling cannot be a normal part of police practice in a society still struggling with racism, although under very special conditions and with special regulation and compensation in place, it might be justified as an extraordinary police measure. I want to stand by those claims. However, Risse’s response to my arguments persuades me that I misinterpreted his earlier position in one significant respect. So I will start by explaining what interpretive mistake I believe that I made. I will then argue that despite Risse’s patient and careful response to my arguments, my initial concerns with his justification of profiling remain valid. -/- . (shrink)

In this paper I respond to Mathias Risse's objections to my critique of his views on racial profiling in Philosophy and Public Affairs. I draw on the work of Richard Sampson and others on racial disadvantage in the USA to show that racial profiling likely aggravates racial injustices that are already there. However, I maintain, clarify and defend my original claim against Risse that racial profiling itself is likely to cause racial injustice, even if we abstract from unfair background (...) conditions. I then respond to Levin's claims that there is no serious racial injustice in the contemporary USA and differentiate between Risse's attempt - albeit unsuccessful - to provide an egalitarian justification for racial profiling from the frankly inegalitarian assumptions that underpin the claims of Michael Levin. (shrink)

Is capitalism inherently predatory? Must there be winners and losers? Is public interest outdated and free-riding rational? Is consumer choice the same as self-determination? Must bargainers abandon the no-harm principle? Prisoners of Reason recalls that classical liberal capitalism exalted the no-harm principle. Although imperfect and exclusionary, modern liberalism recognized individual human dignity alongside individuals' responsibility to respect others. Neoliberalism, by contrast, views life as ceaseless struggle. Agents vie for scarce resources in antagonistic competition in which every individual seeks dominance. This (...) political theory is codified in non-cooperative game theory; the neoliberal citizen and consumer is the strategic rational actor. Rational choice justifies ends irrespective of means. Money becomes the medium of all value. Solidarity and good will are invalidated. Relationships are conducted on a quid pro quo basis. However, agents can freely opt out of this cynical race to the bottom by embracing a more expansive range of coherent action. (shrink)

This collection of articles was written over the last 10 years and edited to bring them up to date (2019). All the articles are about human behavior (as are all articles by anyone about anything), and so about the limitations of having a recent monkey ancestry (8 million years or much less depending on viewpoint) and manifest words and deeds within the framework of our innate psychology as presented in the table of intentionality. As famous evolutionist Richard Leakey says, (...) it is critical to keep in mind not that we evolved from apes, but that in every important way, we are apes. If everyone was given a real understanding of this (i.e., of human ecology and psychology to actually give them some control over themselves), maybe civilization would have a chance. As things are however the leaders of society have no more grasp of things than their constituents and so collapse into anarchy is inevitable. -/- The first group of articles attempt to give some insight into how we behave that is reasonably free of theoretical delusions. In the next three groups, I comment on three of the principal delusions preventing a sustainable world— technology, religion and politics (cooperative groups). People believe that society can be saved by them, so I provide some suggestions in the rest of the book as to why this is unlikely via short articles and reviews of recent books by well-known writers. -/- It is critical to understand why we behave as we do and so the first section presents articles that try to describe (not explain as Wittgenstein insisted) behavior. I start with a brief review of the logical structure of rationality, which provides some heuristics for the description of language (mind, rationality, personality) and gives some suggestions as to how this relates to the evolution of social behavior. This centers around the two writers I have found the most important in this regard, Ludwig Wittgenstein and John Searle, whose ideas I combine and extend within the dual system (two systems of thought) framework that has proven so useful in recent thinking and reasoning research. As I note, there is in my view essentially complete overlap between philosophy, in the strict sense of the enduring questions that concern the academic discipline, and the descriptive psychology of higher order thought (behavior). Once one has grasped Wittgenstein’s insight that there is only the issue of how the language game is to be played, one determines the Conditions of Satisfaction (what makes a statement true or satisfied etc.) and that is the end of the discussion. No neurophysiology, no metaphysics, no postmodernism, no theology. -/- It is my contention that the table of intentionality (rationality, mind, thought, language, personality etc.) that features prominently here describes more or less accurately, or at least serves as an heuristic for, how we think and behave, and so it encompasses not merely philosophy and psychology, but everything else (history, literature, mathematics, politics etc.). Note especially that intentionality and rationality as I (along with Searle, Wittgenstein and others) view it, includes both conscious deliberative System 2 and unconscious automated System 1 actions or reflexes. -/- The next section describes the digital delusions, which confuse the language games of System 2 with the automatisms of System one, and so cannot distinguish biological machines (i.e., people) from other kinds of machines (i.e., computers). The ‘reductionist’ claim is that one can ‘explain’ behavior at a ‘lower’ level, but what actually happens is that one does not explain human behavior but a ‘stand in’ for it. Hence the title of Searle’s classic review of Dennett’s book (“Consciousness Explained”)— “Consciousness Explained Away”. In most contexts ‘reduction’ of higher level emergent behavior to brain functions, biochemistry, or physics is incoherent. Even for ‘reduction’ of chemistry or physics, the path is blocked by chaos and uncertainty. Anything can be ‘represented’ by equations, but when they ‘represent’ higher order behavior, it is not clear (and cannot be made clear) what the ‘results’ mean. Reductionist metaphysics is a joke, but most scientists and philosophers lack the appropriate sense of humor. -/- The last section describes The One Big Happy Family Delusion, i.e., that we are selected for cooperation with everyone, and that the euphonious ideals of Democracy, Diversity and Equality will lead us into utopia, if we just manage things correctly (the possibility of politics). Again, the No Free Lunch Principle ought to warn us it cannot be true, and we see throughout history and all over the contemporary world, that without strict controls, selfishness and stupidity gain the upper hand and soon destroy any nation that embraces these delusions. In addition, the monkey mind steeply discounts the future, and so we cooperate in selling our descendant’s heritage for temporary comforts, greatly exacerbating the problems. The only major change in this edition is the addition in the last article of a short discussion of China, a threat to peace and freedom as great as overpopulation and climate change and one to which even most professional scholars and politicians are oblivious so I regarded it as sufficiently important to warrant a new edition. -/- I describe versions of this delusion (i.e., that we are basically ‘friendly’ if just given a chance) as it appears in some recent books on sociology/biology/economics. Even Sapolsky’s otherwise excellent “Behave”(2017) embraces leftist politics and group selection and gives space to a discussion of whether humans are innately violent. I end with an essay on the great tragedy playing out in America and the world, which can be seen as a direct result of our evolved psychology manifested as the inexorable machinations of System 1. Our psychology, eminently adaptive and eugenic on the plains of Africa from ca. 6 million years ago, when we split from chimpanzees, to ca. 50,000 years ago, when many of our ancestors left Africa (i.e., in the EEA or Environment of Evolutionary Adaptation), is now maladaptive and dysgenic and the source of our Suicidal Utopian Delusions. So, like all discussions of behavior (philosophy, psychology, sociology, biology, anthropology, politics, law, literature, history, economics, soccer strategies, business meetings, etc.), this book is about evolutionary strategies, selfish genes and inclusive fitness (kin selection, natural selection). -/- The great mystic Osho said that the separation of God and Heaven from Earth and Humankind was the most evil idea that ever entered the Human mind. In the 20th century an even more evil notion arose, or at least became popular with leftists—that humans are born with rights, rather than having to earn privileges. The idea of human rights is an evil fantasy created by leftists to draw attention away from the merciless destruction of the earth by unrestrained 3rd world motherhood. Thus, every day the population increases by 200,000, who must be provided with resources to grow and space to live, and who soon produce another 200,000 etc. And one almost never hears it noted that what they receive must be taken from those already alive, and their descendants. Their lives diminish those already here in both major obvious and countless subtle ways. Every new baby destroys the earth from the moment of conception. In a horrifically overcrowded world with vanishing resources, there cannot be human rights without destroying the earth and our descendant’s futures. It could not be more obvious, but it is rarely mentioned in a clear and direct way, and one will never see the streets full of protesters against motherhood. -/- The most basic facts, almost never mentioned, are that there are not enough resources in America or the world to lift a significant percentage of the poor out of poverty and keep them there. Even the attempt to do this is already bankrupting America and destroying the world. The earth’s capacity to produce food decreases daily, as does our genetic quality. And now, as always, by far the greatest enemy of the poor is other poor and not the rich. -/- America and the world are in the process of collapse from excessive population growth, most of it for the last century, and now all of it, due to 3rd world people. Consumption of resources and the addition of 4 billion more ca. 2100 will collapse industrial civilization and bring about starvation, disease, violence and war on a staggering scale. The earth loses about 2% of its topsoil every year, so as it nears 2100, most of its food growing capacity will be gone. Billions will die and nuclear war is all but certain. In America, this is being hugely accelerated by massive immigration and immigrant reproduction, combined with abuses made possible by democracy. Depraved human nature inexorably turns the dream of democracy and diversity into a nightmare of crime and poverty. China will continue to overwhelm America and the world, as long as it maintains the dictatorship which limits selfishness. The root cause of collapse is the inability of our innate psychology to adapt to the modern world, which leads people to treat unrelated persons as though they had common interests (which I suggest may be regarded as an unrecognized -- but the commonest and most serious-- psychological problem -- Inclusive Fitness Disorder). This, plus ignorance of basic biology and psychology, leads to the social engineering delusions of the partially educated who control democratic societies. Few understand that if you help one person you harm someone else—there is no free lunch and every single item anyone consumes destroys the earth beyond repair. Consequently, social policies everywhere are unsustainable and one by one all societies without stringent controls on selfishness will collapse into anarchy or dictatorship. Without dramatic and immediate changes, there is no hope for preventing the collapse of America, or any country that follows a democratic system. Hence my concluding essay “Suicide by Democracy”. -/- Those wishing to read my other writings may see Talking Monkeys 2nd ed (2019), The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle 2nd ed (2019), Suicide by Democracy 3rd ed (2019), The Logical Stucture of Human Behavior (2019) and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

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

Alongside existing research into the social, political and economic impacts of the Web, there is a need to study the Web from a cognitive and epistemic perspective. This is particularly so as new and emerging technologies alter the nature of our interactive engagements with the Web, transforming the extent to which our thoughts and actions are shaped by the online environment. Situated and ecological approaches to cognition are relevant to understanding the cognitive significance of the Web because of the emphasis (...) they place on forces and factors that reside at the level of agent–world interactions. In particular, by adopting a situated or ecological approach to cognition, we are able to assess the significance of the Web from the perspective of research into embodied, extended, embedded, social and collective cognition. The results of this analysis help to reshape the interdisciplinary configuration of Web Science, expanding its theoretical and empirical remit to include the disciplines of both cognitive science and the philosophy of mind. (shrink)

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

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

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

In this article, we explore the implications of opposing domains theory for developing ethical leaders. Opposing domains theory highlights a neurological tension between analytic reasoning and socioemotional reasoning. Specifically, when we engage in analytic reasoning, we suppress our ability to engage in socioemotional reasoning and vice versa. In this article, we bring together the domains of neuroscience, psychology, and ethics, to inform our theorizing around ethical leadership. We propose that a key issue for ethical leadership is achieving a healthy balance (...) between analytic reasoning and socioemotional reasoning. We argue that organizational culture often encourages too heavy a reliance on nonemotional forms of reasoning to arrive at moral judgments. As a result, leaders run the risk of suppressing their ability to pay attention to the human side of moral dilemmas and, in doing so, dehumanize colleagues, particularly subordinates, and clients. (shrink)

Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.

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

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

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

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

A textbook for modal and other intensional logics based on the Open Logic Project. It covers normal modal logics, relational semantics, axiomatic and tableaux proof systems, intuitionistic logic, and counterfactual conditionals.

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

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

On what basis should we embrace a religious belief? In this article I argue that religious faith should be viewed, not as a conclusion we arrive at after reviewing the evidence, but as an existential decision we make through which we define ourselves.

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

Birch et. al. see their model as incompatible with higher-order-thought (HOT) theories of consciousness, on which a state is conscious if one is in some suitable way aware of that state. They see higher-order (HO) awareness as an “extra ingredient”. But since Birch et al go on to say that “[t]his is not the place for a detailed discussion of HOT theories,” they don’t address why they take HO awareness to be an extra ingredient or why HOT theorists are convinced (...) that it’s needed. In this commentary we argue that higher-order theories are a crucial for understanding consciousness. (shrink)

In the first half of this paper, I argue that group belief ascriptions are highly ambiguous. What's more, in many cases, neither the available contextual factors nor known pragmatic considerations are sufficient to allow the audience to identify which of the many possible meanings is intended. In the second half, I argue that this ambiguity often has bad consequences when a group belief ascription is heard and taken as testimony. And indeed it has these consequences even when the ascription is (...) true on the speaker's intended interpretation, when the speaker does not intend to mislead and indeed intends to cooperatively inform, and when the audience incorporates the evidence from the testimony as they should. I conclude by arguing that these consequences should lead us to stop using such ascriptions. (shrink)

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

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

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

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

The main goal of this paper is to investigate whether humans are unique in using tools and artifacts. Non-human animals exhibit some impressive instances of tool and artifact-use. Chimpanzees use sticks to get termites out of a mound, beavers build dams, birds make nests, spiders create webs, bowerbirds make bowers to impress potential mates, etc. There is no doubt that some animals modify and use objects in clever and sophisticated ways. But how does this relate to the way in which (...) humans make and use objects to achieve their goals? To answer this question, this paper first presents a taxonomy of artifacts, identifying four overlapping categories, namely embodied, perceptual, cognitive, and affective artifacts. It then discusses definitions of animal tool-use, arguing that we need a more liberal approach, one that goes beyond the use of tools that are embedded in occurrent perception-action cycles. This paper ends by analysing how instances of animal tool and artifact-use can be classified according to the four identified categories, concluding that some animals use embodied, perceptual, cognitive, and affective artifacts. In this sense, humans are thus not unique in the kinds of tools and artifacts we use. What is unique, however, is our unprecedented flexibility and openness to deeply incorporate a large variety of complex tools and artifacts into our embodied, perceptual, cognitive, and affective systems. (shrink)

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

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

The aim of this study is to identify the key terms and arguments of J. Lovelock՚s sustainable retreat concept and their analysis with emphasize on the consequences of this concept for political, social and environmental thinking. J. Lovelock points out that considering rapid and complex changes in global environment, marked by the term Anthropocene; we do not have enough time and sources to realize the sustainable development concept. For that reason, it is, according to him, necessary to formulate sustainable retreat (...) concept as a strategy which will allow to prepare for climate change in a way that not only a man as a biological specie, but also civilized society could survive. Even basic theses of this concept indicate a need to revalue majority political concepts, mainly concepts of sovereignty, citizenship, also the freedom of movement and residence, freedom of business and consume, which are fundamentals of neoliberal economic-political system. Retreat expects elaborated and organized migration to beforehand chosen and arranged areas. Opposite to retreat is mass escape chaos that reduces human relations to fight for survival. As J. Lovelock proposed in his sustainable retreat concept, relocating people from areas affected by climate changes to climate oases would mean that rich northern countries give up their current, in fact, isolationistic politics that refuses climate migrants. Therefore the sustainable retreat concept requires much greater competence and mainly willingness to cooperate not only on national, but also on international and global level more than humanity is able to do it currently. (shrink)

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

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

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

If you focus your charitable giving on global causes where it will do the most good, how should you feel about passing by the local soup kitchen? Would the ideally virtuous agent have their (local) empathy still activated, but simply overridden by the recognition that distant others are in even greater need, leaving the agent feeling torn? Or would their empathetic impulses be wholeheartedly redirected towards the greatest needs? This chapter suggests a way to revise an outdated conception of moral (...) virtue to better meet the demands of a cosmopolitan moral outlook. (shrink)

A current focus of legal debate is the proper role of the courts in the interpretation of statutes and the Constitution. Are judges to look solely to the naked language of an enactment, then logically deduce its application in simple syllogistic fashion, as legal formalists had purported to do? Or may the inquiry into meaning be informed by perhaps unbridled and unaccountable judicial notions of public policy, using legal realism to best promote the general welfare? Judge Posner considers the concepts (...) of formalism and realism to be meaningful and useful in common law reasoning but in interpretation to be useless and, worse, forbidden. He analogizes unclear "orders" from a legislature to garbled battlefield communications, and argues that the duty of the recipient of those orders (the judge) is to advance as best he can the enterprise set on foot by the superiors. Case studies elaborate this thesis. Judicial decisions interpreting fixed texts, Judge Posner concludes, can be neither logically correct or incorrect, philosophically sound or unsound, until the ultimate jurist, time, has adjudged their results. (shrink)

Critics have often misunderstood the higher-order theory (HOT) of consciousness. Here we clarify its position on several issues, and distinguish it from other views such as the global The higher-order theory (HOT) of consciousness has often been misunderstood by critics. Here we clarify its position on several issues, and distinguish it from other views such as the global workspace theory (GWT) and early sensory models (e.g. first-order local recurrency theories). For example, HOT has been criticized for over-intellectualizing consciousness. We show (...) that while higher-order states are cognitively assembled, the requirements are actually considerably less than often presumed. In this sense HOT may be viewed as an intermediate position between GWT and early sensory views. Also, we clarify that most proponents of HOT do not stipulate consciousness as equivalent to metacognition or confidence. Further, compared to other existing theories, HOT can arguably account better for complex everyday experiences, such as of emotions and episodic memories. This makes HOT particularly useful as a framework for conceptualizing pathological mental states. (shrink)

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

This paper agrees with Thomas Sheehan that Heidegger inquires into the source of meaning in finite human existence. The paper argues, however, that Sheehan’s paradigm for interpreting Heidegger should be expanded: Heidegger is also concerned with “excess” and “event”. Excess and event are crucial to being and history, as Heidegger understands them.

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

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

The main focus of my comments is the role played in Dickie's view by the idea that "the mind has a need to represent things outside itself". But there are also some remarks about her (very interesting) suggestion that descriptive names can sometimes fail to refer to the object that satisfies the associated description.

Disagreement is common: even informed, intelligent, and generally reasonable people often come to different conclusions when confronted with what seems to be the same evidence. Can the competing conclusions be reasonable? If not, what can we reasonably think about the situation? This volume examines the epistemology of disagreement. Philosophical questions about disagreement arise in various areas, notably politics, ethics, aesthetics, and the philosophy of religion: but this will be the first book focusing on the general epistemic issues arising from informed (...) disagreement. Ten leading philosophers offer specially written essays which together will offer a starting-point for future work on this topic. (shrink)