Huey P. Newton, founder of the Black Panther Party, is perhaps one of the most interesting and intriguing American intellectuals from the last half of the 20th century. Newton’s genius rested in his ability to amalgamate and synthesize others’ thinking, and then reinterpreting and making it relevant to the situation that existed in the United States in his time, particularly for African-Americans in the densely populated urban centers in the North and West. Newton saw himself continuing (...) the Marxist-Leninist tradition and one of the most important aspects of his thought was his reinterpretation of Marxist class structure. This paper presents Newton’s position that it is the urban poor—who Newton identifies with the lumpenproletariat—that act as the revolutionary class that will bring about a change in the socio-economic order. To that end, there is first a discussion of Newton’s view of the lumpenproletariat and how it differs from the traditional Marxist understanding. Then there is an explanation of the role of the vanguard and its relationship to the lumpenproletariat. The paper concludes with a comparison of Frantz Fanon’s and Newton’s understanding of the lumpenproletariat, and responds to the “problem of lumpenization” in the Black Panther Party. (shrink)

This article is a discussion of the political thought of Huey P. Newton, and by extension, the theory and practice of the Black Panther Party. More specifically, this article will explore a tension that exists between Newton's theory of Intercommunalism and the Black Panther Party Platform. To that end, there is, first, a discussion of the ideological development of the Black Panther Party, which culminated in Newton's theory of Intercommunalism. Second, there is a presentation of what (...) will be broadly construed as the Party Platform, which articulates the basic principles and practices of the Black Panther Party. Finally, there is a discussion of several ways in which there seems to be a conflict between Newton's ideology and his political practice. While some are only apparent contradictions, there does remain a deep conflict between the dialectical basis of Intercommunalism and the foundational basis of the Party Platform. (shrink)

In this article, I channel the autobiography of Black Panther cofounder Huey P. Newton, entitled Revolutionary Suicide, against the misogyny of the alt-right movement today. Both Newton and the alt-right have been powerfully influenced by Nietzsche, but one way of grasping the central difference between them is by comparing their conceptions of Dionysus. While the alt-right sticks closer to Nietzsche’s conception, which minimizes the god’s androgyny, Newton’s thought resonates with that androgyny, thereby bringing him closer to (...) the most influential Dionysus scholar since Nietzsche, Walter Otto. I therefore turn to the latter’s Dionysus: Myth and Cult, whose analyses I synthesize into the following image inspired by the god’s closest animal familiar: the dancingly-graceful panther as aqueous-androgynous soul-hunter. Reimagining Newton’s Black Panther in this way, finally, can help us overcome the alt-right. (shrink)

BSTRACT Frantz Fanon’s works have been invaluable in the analysis of colonies and the colonized subject’s mentality therein, but an analysis of the colonial power itself has been largely left to the wayside. The aim of this paper is to explicate a key element of Fanon’s theoretical framework, the metropolis/periphery dichotomy, then, using the writings of Huey P. Newton and Stokely Carmichael, among others, show its reversal within the colonial power. I will analyze this reversal in three ways: (...) first, the reversal of the relationship between, and the roles of, the metropolis and periphery; second, the role of police and the differences between the colonial police and the police within the colonial power; and third, the modified role of prisons within the colonial power. (shrink)

Having elsewhere connected Walter Otto’s interpretation of Dionysus as a politically progressive deity to Huey P. Newton’s vision for the Black Panthers, I here expand this inquiry to a line of Otto-inspired scholarship. First, Alain Daniélou identifies Dionysus and Shiva as the dancing god of a democratic/decolonizing cult oppressed by tyrannical patriarchies. Arthur Evans sharpens this critique of sexism and heteronormativity, concluding that, as Dionysus’s chorus is to Greek tragedy, so Socrates’s circle is to Western philosophy. I thus (...) call for the creation of a hybrid Dionysian-Socratic revolutionary philosophical chorus, modeled on Dionysus Lyseus, wielding philosophical analysis to loosen injustice’s bonds, as a vanguard of social justice. I find a handbook for this chorus’s creation in Euripides’s Bacchae, whose Dionysus is an ally of immigrant women, overthrower of Theban patriarchy, and international revolutionary. Finally, I offer a contemporary example of such a chorus that is based in my hometown in Alabama, namely, the Birmingham Philosophy Guild. (shrink)

The Black Panther Party was founded to bridge the radical theorizing that swept college campuses in the mid-1960s and the lumpen proletariat abandoned by the so-called ‘Great Society’. However, shortly thereafter, Newton began to harshly criticize the academic Left in general for their drive to find ‘a set of actions and a set of principles that are easy to identify and are absolute.’ This article reconstructs Newton’s critique of progressive movements grounded primarily in academic debates, as well as (...) his conception of vanguard political theory. Newton’s grasp of revolution as a gradual, open, and above all dialectical process, not only provides a corrective to many dominant academic accounts of the nature of progressive change but, more importantly, it also grounds an emancipatory philosophy that can direct collective struggle, precisely because it remains grounded in the imperfect and internally conflicted lives of those whose freedom is to be won through it. (shrink)

This paper deals with Gärdenfors’ theory of conceptual spaces. Let \({\mathcal {S}}\) be a conceptual space consisting of 2-type fuzzy sets equipped with several kinds of metrics. Let a finite set of prototypes \(\tilde{P}_1,\ldots,\tilde{P}_n\in \mathcal {S}\) be given. Our main result is the construction of a classification algorithm. That is, given an element \({\tilde{A}}\in \mathcal {S},\) our algorithm classifies it into the conceptual field determined by one of the given prototypes \(\tilde{P}_i.\) The construction of our algorithm uses some physical analogies (...) and the Newton potential plays a significant role here. Importantly, the resulting conceptual fields are not convex in the Euclidean sense, which we believe is a reasonable departure from the assumptions of Gardenfors’ original definition of the conceptual space. A partitioning algorithm of the space \(\mathcal {S}\) is also considered in the paper. In the application section, we test our classification algorithm on real data and obtain very satisfactory results. Moreover, the example we consider is another argument against requiring convexity of conceptual fields. (shrink)

CAMILO, Bruno. Aspectos metafísicos na física de Newton: Deus. In: DUTRA, Luiz Henrique de Araújo; LUZ, Alexandre Meyer (org.). Temas de filosofia do conhecimento. Florianópolis: NEL/UFSC, 2011. p. 186-201. (Coleção rumos da epistemologia; 11). Através da análise do pensamento de Isaac Newton (1642-1727) encontramos os postulados metafísicos que fundamentam a sua mecânica natural. Ao deduzir causa de efeito, ele acreditava chegar a uma causa primeira de todas as coisas. A essa primeira causa de tudo, onde toda a ordem (...) e leis tiveram início, a qual para ele assume um caráter divino, Newton aponta para um Deus sábio e poderoso e responsável pela ordem inteligente e pela a harmonia das leis físicas e universais de tudo o que existe – Deus como criador e preservador da ordem do universo. Há ainda a analogia do conceito de Deus com o espaço e o tempo, na medida em que ambos comunicam infinitude e onipresença. Por fim, nas considerações finais apontarei a importância de Newton para a metafísica moderna e como os seus estudos contribuíram para uma visão posterior do universo e suas leis e do homem enquanto ser pensante. (shrink)

Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.

Do the ethical features of an artwork bear on its aesthetic value? This movie endorses misogyny, that song is a civil rights anthem, the clay constituting this statue was extracted with underpaid labor—are facts like these the proper bases for aesthetic evaluation? I argue that this debate has suffered from a false presupposition: that if the answer is yes (for at least some such ethical features), such considerations feature as pro tanto contributions to an artwork's overall aesthetic value, i.e., as (...) merits or flaws which make something have more or less overall aesthetic value. As the case of ethically laden, aesthetic evaluation makes clear, however, good aesthetic judgement is irreducibly multi-dimensional, e.g., "the movie has an engaging soundtrack, tasteful camera work, and takes a misogynistically prurient perspective on its female lead.'' Such a "non-summative" judgement refuses to reduce those various dimensions of aesthetic value to a single aggregate aesthetic evaluation, like "it's a 6/10" or "it's a pretty good movie!" I defend both the modest claim that such non-summative evaluations are not mistaken and the extremist claim that summative (i.e., unidimensional) aesthetic evaluation is defective by considering other domains of normative assessment in which summing seems inappropriate, notably including evaluations of people's character. (shrink)

A critical note on Christopher Bartel and Jack M. C. Kwong, ‘Pluralism, Eliminativism, and the Definition of Art’, Estetika 58 (2021): 100–113. Art pluralism is the view that there is no single, correct account of what art is. Instead, art is understood through a plurality of art concepts and with considerations that are different for particular arts. Although avowed pluralists have retained the word ‘art’ in their discussions, it is natural to ask whether the considerations that motivate pluralism should lead (...) us to abandon art talk altogether; that is, should pluralism lead to eliminativism? This paper addresses arguments both for and against this move. We ultimately argue that pluralism allows one to retain the word ‘art’, if one wants it, but only in a loose, conversational sense. The upshot of pluralism is that talk of art in general cannot be asked to do theoretical and philosophical work. (shrink)

Our aim in this entry is to articulate the state of the art in the moral psychology of personal identity. We begin by discussing the major philosophical theories of personal identity, including their shortcomings. We then turn to recent psychological work on personal identity and the self, investigations that often illuminate our person-related normative concerns. We conclude by discussing the implications of this psychological work for some contemporary philosophical theories and suggesting fruitful areas for future work on personal identity.

"Over three years of study and fellowship, sixteen Muslim, Jewish, and Christian scholars sought to answer one question: “Do our three scriptures unite or divide us?” They offer their answers in this book: sixteen essays on how certain ways of reading scripture may draw us apart and other ways may draw us, together, into the source that each tradition calls peace. Reading scriptural sources in the classical and medieval traditions, the authors examine how each tradition addresses the “other” within its (...) tradition and without, how all three traditions attend to poverty as a societal and spiritual condition, and what it means to read scripture while facing the challenges of modernity. Ochs and Johnson have assembled a unique approach to inter-religious scholarship and a rare look at scriptural study as a pathway to peace. “Scriptural reasoning, the growing practice of Jews, Christians, and Muslims reading their scriptures together, makes good academic and common sense in a time of crisis. This ground-breaking book, the outcome of an imaginative 3-year experiment by the Princeton Center of Theological Inquiry, shows scholars and thinkers of the Abrahamic traditions going deeper into the traditions and into their contemporary situation. The result is something new, wise, and relevant… full of promise for the future. Where else can one find testimonies to Jews, Christians, and Muslims coming together not only in study, thinking, and wisdom-seeking but also in play, joy, and friendship?”--David F. Ford, Regius Professor of Divinity, University of Cambridge and Director, Cambridge Inter-Faith Programme". (shrink)

Presentist Fragmentalism is a novel interpretation of quantum mechanics. This paper develops the resulting theory of Quantum Gravity.

This paper gives a theory of quantum gravity based on the Presentist Fragmentalist interpretation of quantum mechanics. It is a dialogue with the AI Claude Ultra 3.0.

This note outlines a Theory of Everything consistent with the PF interpretation of quantum mechanics.

Two philosophical arguments gave the novel interpretation of quantum mechanics Presentist Fragmentalism. This paper gives the resulting theory of quantum gravity.

This paper continues developing the theory of everything consistent with the Presentist Fragmentalist interpretation of quantum mechanics.

"This self-consistent evolution of the fragments, their causal relationships, and their quantum properties is at the heart of the FCQG-SM framework, providing a unified description of quantum mechanics, general relativity, and the Standard Model.".

The first purpose of this series of articles is to introduce case studies on how current AI models can be used in the development of a possible theory of quantum gravity, their limitations, and the role the researcher has in steering the development in the right direction, even highlighting the errors, weaknesses and strengths of the whole process. -/- The second is to introduce the new Presentist Fragmentalist ontology as a framework and use it for developing theories of quantum gravity (...) and speculate on achieving a TOE. We emphasize it is necessary for the researcher to check everything in these articles for themselves. While there are many good ideas in this series of papers, the AI is known to make even arithmetic and algebraic mistakes. -/- To select just five apparently good ideas, there is a causal interaction tensor Cαβγδ(F1, F2) that encodes the causal relationship and the strength of the (possibly non-local) interaction between two fragments of reality (formed by each quantum system). There is a quantitative prediction for a testable table-top experiment. There is an explanation of how spacetime emerges from the fragments and their interactions. There is an explicit account of the double-slit experiment. And there is an explanation how this theory accommodates dark matter and dark energy simultaneously. -/- We explore ideas, equations they lead to, concrete calculations, and give corrections along the way. While these are generally morally right within this framework they must be checked by the researcher. Given this caveat, we believe we have made significant progress with the PF interpretation in developing a theory of quantum gravity and pointing out a possible path to a TOE. (shrink)

This is the first in a series of papers developing a theory of quantum gravity that is consistent with the PF interpretation of quantum mechanics. "Key Features: Reconciles quantum theory, general relativity, and the PF interpretation in a common framework...".

This paper continues and extensive exploration of the QG and TOE resulting from the PF interpretation of QM. Some highlights are an exploration of symmetries of the Standard Model, outlines of testable predictions of implications for QG, that this theory can simultaneously give an account of dark matter and dark energy, probabilities and statevector collapse vs. gravity, applications of the causal interaction tensor Cαβγδ(Fi, Fj). Note the first section mentions qualia but this is not a psychological theory this is an (...) ontic theory. (shrink)

To stimulate research and innovation (R&I), to contribute to the solution of societal challenges and to align R&I with societal values, the European Commission has launched the governance framework of Responsible Research and Innovation (RRI). RRI figures in many high-level EU policies as a means to promote smart growth, and a growing community of R&I practitioners from both the public and private sectors appears committed to it. Although debates on what RRI precisely entails have not reached closure yet, RRI provides (...) an interesting avenue to explore ways of making R&I more societally germane. While recognizing the usefulness of keeping critical reflection on RRI’s meaning alive, we suggest that to make the step from theorizing to implementation, RRI could benefit from a clearer conceptualization. This chapter presents the iterative trajectory in conceptualizing RRI followed as part of RRI Tools, one of a number of EC-funded research projects and support acts aimed at fleshing out what RRI can and should be, and the conceptualization of RRI that this led to. It suggests that RRI is best captured if in R&I governance attention is paid to the five p’s of Purpose, Products, Processes, Preconditions and People, and that further elaborations on the meaning of RRI should happen in dialogue with attempts at practicing RRI. (shrink)

Abstract: There is a long tradition of trying to analyze art either by providing a definition (essentialism) or by tracing its contours as an indefinable, open concept (anti-essentialism). Both art essentialists and art anti-essentialists share an implicit assumption of art concept monism. This article argues that this assumption is a mistake. Species concept pluralism—a well-explored position in philosophy of biology—provides a model for art concept pluralism. The article explores the conditions under which concept pluralism is appropriate, and argues that they (...) obtain for art. Art concept pluralism allows us to recognize that different art concepts are useful for different purposes, and what has been feuding definitions can be seen as characterizations of specific art concepts. (shrink)

This paper appears to give a Theory of Everything.

This paper give the first foray into the development of a Theory of Everything that is consistent with the PF interpretation of quantum mechanics.

In their thought-provoking article, Sedlakova and Trachsel (2023) defend the view that the status—both epistemic and ethical—of Conversational Artificial Intelligence (CAI) used in psychotherapy is complicated. While therapeutic CAI seems to be more than a mere tool implementing particular therapeutic techniques, it falls short of being a “digital therapist.” One of the main arguments supporting the latter claim is that even though “the interaction with CAI happens in the course of conversation… the conversation is profoundly different from a conversation with (...) a human therapist” (Sedlakova and Trachsel 2023, 8). In particular, unlike a human therapist, CAI cannot help its users gain new insight and self-understanding (Sedlakova and Trachsel 2023). We agree that currently available therapeutic CAI cannot be considered a “digital therapist,” however, we think that the issue surrounding the acquisition of new self-understanding in the interaction with therapeutic CAI is more complicated than Sedlakova and Trachsel suggest. (shrink)

The view that phenomenally conscious robots are on the horizon often rests on a certain philosophical view about consciousness, one we call “nomological behaviorism.” The view entails that, as a matter of nomological necessity, if a robot had exactly the same patterns of dispositions to peripheral behavior as a phenomenally conscious being, then the robot would be phenomenally conscious; indeed it would have all and only the states of phenomenal consciousness that the phenomenally conscious being in question has. We experimentally (...) investigate whether the folk think that certain (hypothetical) robots made of silicon and steel would have the same conscious states as certain familiar biological beings with the same patterns of dispositions to peripheral behavior as the robots. Our findings provide evidence that the folk largely reject the view that silicon-based robots would have the sensations that they, the folk, attribute to the biological beings in question. (shrink)

Growing demand for broadly accessible mental health care, together with the rapid development of new technologies, trigger discussions about the feasibility of psychotherapeutic interventions based on interactions with Conversational Artificial Intelligence (CAI). Many authors argue that while currently available CAI can be a useful supplement for human-delivered psychotherapy, it is not yet capable of delivering fully fledged psychotherapy on its own. The goal of this paper is to investigate what are the most important obstacles on our way to developing CAI (...) systems capable of delivering psychotherapy in the future. To this end, we formulate and discuss three challenges central to this quest. Firstly, we might not be able to develop effective AI-based psychotherapy unless we deepen our understanding of what makes human-delivered psychotherapy effective. Secondly, assuming that it requires building a therapeutic relationship, it is not clear whether psychotherapy can be delivered by non-human agents. Thirdly, conducting psychotherapy might be a problem too complicated for narrow AI, i.e., AI proficient in dealing with only relatively simple and well-delineated tasks. If this is the case, we should not expect CAI to be capable of delivering fully-fledged psychotherapy until the so-called “general” or “human-like” AI is developed. While we believe that all these challenges can ultimately be overcome, we think that being mindful of them is crucial to ensure well-balanced and steady progress on our path to AI-based psychotherapy. (shrink)

Beliefs have genealogies. Can tracing a belief’s genealogy illuminate the epistemic quality of the belief? This paper sets out a general epistemology of genealogies. As it turns out, genealogies for beliefs come in two sorts: those that trace a belief to some mental event that doubles as evidence for the belief and those that do not. The former have the potential to undercut the belief, rebut the belief, or—importantly—both. The latter have the potential to reinforce the belief or rebut the (...) belief but—importantly—not undercut it. The ultimate conclusion is that there is a role for genealogies in the epistemic appraisal of our beliefs, but this role will be circumscribed by the availability of clear and compelling genealogies. (shrink)

A pair of C functions are defined such that D has the halting problem proof's pathological relationship to simulating termination analyzer H. When H correctly determines that D correctly simulated by H must be aborted to prevent its own infinite execution then H is necessarily correct to reject D as specifying non-halting behavior. This exact same reasoning is applied to the Peter Linz Turing machine based halting problem proof.

It is often suggested that we are equipped with a set of cognitive tools that help us to filter out unreliable testimony. But are these tools effective? I answer this question in two steps. Firstly, I argue that they are not real-time effective. The process of filtering, which takes place simultaneously with or right after language comprehension, does not prevent a particular hearer on a particular occasion from forming beliefs based on false testimony. Secondly, I argue that they are long-term (...) effective. Some hearers sometimes detect false testimony, which increases speakers’ incentives for honesty and stabilizes the practice of human communication in which deception is risky and costly. In short, filtering prevents us from forming a large number of beliefs based on false testimony, not by turning each of us into a high-functioning polygraph but by turning the social environment of human communication into one in which such polygraphs are not required. Finally, I argue that these considerations support strong anti-reductionism about testimonial entitlement. (shrink)

The majority of our linguistic exchanges, such as everyday conversations, are divided into turns; one party usually talks at a time, with only relatively rare occurrences of brief overlaps in which there are two simultaneous speakers. Moreover, conversational turn-taking tends to be very fast. We typically start producing our responses before the previous turn has finished, i.e., before we are confronted with the full content of our interlocutor’s utterance. This raises interesting questions about the nature of linguistic understanding. Philosophical theories (...) typically focus on linguistic understanding characterized either as an ability to grasp the contents of utterances in a given language or as outputs of this ability—mental states of one type or another. In this paper, I supplement these theories by developing an account of the process of understanding. I argue that it enables us to capture the dynamic and temporal aspect of understanding and reconcile philosophical investigations with empirical research on language comprehension. (shrink)

The ethical philosophy of Emmanuel Levinas is typically associated with a punishing conception of responsibility rather than freedom. In this chapter, our aim is to explore Levinas’s often overlooked theory of freedom. Specifically, we compare Levinas’s account of freedom to the Kantian (and Fichtean) idea of freedom as autonomy and the Hegelian idea of freedom as relational. Based on these comparisons, we suggest that Levinas offers a distinctive conception of freedom—“finite freedom.” In contrast to Kantian autonomy, finite freedom constitutively involves (...) standing in certain social relations with others. And in contrast to Hegelian relational freedom, the social relations involved in finite freedom are not defined by mutual recognition, but by feelings of separation and even antagonism. Along the way, we promote a reading Levinas’s Totality and Infinity as a Hegel-style story of Bildung (development), and show how, on Levinas’s view, freedom can develop or mature in the life of the individual. (shrink)

What justifies our beliefs about what other people say? According to epistemic inferentialism​, the justification of comprehension-based beliefs depends on the justification of other beliefs, e.g., beliefs about what words the speaker uttered or even what sounds they produced. According to epistemic non-inferentialism, the justification of comprehension-based beliefs ​does not depend on the justification of other beliefs. This paper offers a new defense of epistemic non-inferentialism. First, I discuss three counterexamples to epistemic non-inferentialism provided recently by Brendan Balcerak Jackson. I (...) argue that only one of Balcerak Jackson’s counterexamples is effective, and that it is effective against only one version of epistemic non-inferentialism, viz. language comprehension dogmatism. Second, I propose an alternative version of epistemic non-inferentialism, viz. comprehension-process reliabilism, which is immune to these counterexamples. I conclude that we should follow Balcerak Jackson in his rejection of language comprehension dogmatism but not all the way to the endorsement of epistemic inferentialism. Comprehension-process reliabilism is superior to both these alternatives. (shrink)

According to the cognitive model of psychopathology, maladaptive beliefs about oneself, others, and the world are the main factors contributing to the development and persistence of various forms of mental suffering. Therefore, the key therapeutic process of Cognitive Behavioral Therapy (CBT)—a therapeutic approach rooted in the cognitive model—is cognitive restructuring, i.e., a process of revision of such maladaptive beliefs. In this paper, I examine the philosophical assumptions underlying CBT and offer theoretical reasons to think that the effectiveness of belief revision (...) in psychotherapy is very limited. This is the case, I argue, because the cognitive model wrongly assumes that our body of beliefs is unified, while it is in fact fragmented. (shrink)

Pekakak adalah salah satu tokoh yang memiliki pengetahuan mendalam dan perencanaan yang cermat. Saat fajar menyingsing, ia terlihat bertengger di atas pohon. Dengan kemampuan sempurna untuk mengontrol kecepatan penerbangan miliknya, seperti kapan harus memperlambat atau mempercepat, dia dapat dengan mudah menghitung cara optimal untuk menangkap ikan.

Sociology, as conceived by Comte, was to put an end to the anarchy of opinions characteristic of liberal democracy by replacing opinion with the truths of sociology, imposed through indoctrination. Later sociologists backed away from this, making sociology acceptable to liberal democracy by being politically neutral. The critics of this solution asked 'whose side are we on?' Burawoy provides a novel justification for advocacy scholarship in sociology. Public sociology is intended to have political effects, but also to be funded by (...) the politically neutral state. He argues that public sociology is institutionally neutral, but that committing to an organic relation with a social movement is legitimate as a matter of the sociologist's personal value choice. Although this produces side-taking sociology, by improving the case for particular standpoints it serves to improve democratic discussion generally, which is an appropriately neutral public aim. (shrink)

Conversational Artificial Intelligence (CAI) systems (also known as AI “chatbots”) are among the most promising examples of the use of technology in mental health care. With already millions of users worldwide, CAI is likely to change the landscape of psychological help. Most researchers agree that existing CAIs are not “digital therapists” and using them is not a substitute for psychotherapy delivered by a human. But if they are not therapists, what are they, and what role can they play in mental (...) health care? To answer these questions, we appeal to two well-established and widely discussed concepts: cognitive and affective artifacts. Cognitive artifacts are artificial devices contributing functionally to the performance of a cognitive task. Affective artifacts are objects which have the capacity to alter subjects’ affective state. We argue that therapeutic CAIs are a kind of cognitive-affective artifacts which contribute to positive therapeutic change by (i) simulating a (quasi-)therapeutic interaction, (ii) supporting the performance of cognitive tasks, and (iii) altering the affective condition of their users. This sheds new light on why virtually all existing mental health CAIs implement principles and techniques of Cognitive Behavioral Therapy — a therapeutic orientation according to which affective change and, ultimately, positive therapeutic change is mediated by cognitive change. Simultaneously, it allows us to conceptualize better the potential and limitations of applying these technologies in therapy. (shrink)

The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic property of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide valid the deductive inference. Conclusions of sound arguments are derived from truth preserving finite string transformations applied to true premises.

Because formal systems of symbolic logic inherently express and represent the deductive inference model formal proofs to theorem consequences can be understood to represent sound deductive inference to true conclusions without any need for other representations such as model theory.

The nature of linguistic understanding is a much-debated topic. Among the issues that have been discussed, two questions have recently received a lot of attention: (Q1) ‘Are states of understanding direct (i.e. represent solely what is said) or indirect (i.e. represent what is said as being said/asserted)?’ and (Q2) ‘What kind of mental attitude is linguistic understanding (e.g. knowledge, belief, seeming)?’ This paper argues that, contrary to what is commonly assumed, there is no straightforward answer to either of these questions. (...) This is because linguistic understanding cannot be identified with a single mental attitude towards a particular representation. Instead, we should characterize states of linguistic understanding as involving complex representational structures generated by a dual-stream process. The first stream operates on direct representations of what is said, while the second operates on representations of what is said as being said/asserted by a given source. Both these streams feed a situation model, i.e. a complex representation of a state of affairs described by a given piece of discourse. (shrink)

Could the intersection of [formal proofs of mathematical logic] and [sound deductive inference] specify formal systems having [deductively sound formal proofs of mathematical logic]? All that we have to do to provide [deductively sound formal proofs of mathematical logic] is select the subset of conventional [formal proofs of mathematical logic] having true premises and now we have [deductively sound formal proofs of mathematical logic].

If the conclusion of the Tarski Undefinability Theorem was that some artificially constrained limited notions of a formal system necessarily have undecidable sentences, then Tarski made no mistake within his assumptions. When we expand the scope of his investigation to other notions of formal systems we reach an entirely different conclusion showing that Tarski's assumptions were wrong.

If there truly is a proof that shows that no universal halt decider exists on the basis that certain tuples: (H, Wm, W) are undecidable, then this very same proof (implemented as a Turing machine) could be used by H to reject some of its inputs. When-so-ever the hypothetical halt decider cannot derive a formal proof from its input strings and initial state to final states corresponding the mathematical logic functions of Halts(Wm, W) or Loops(Wm, W), halting undecidability has been (...) decided. (shrink)

To eliminate incompleteness, undecidability and inconsistency from formal systems we only need to convert the formal proofs to theorem consequences of symbolic logic to conform to the sound deductive inference model. -/- Within the sound deductive inference model there is a (connected sequence of valid deductions from true premises to a true conclusion) thus unlike the formal proofs of symbolic logic provability cannot diverge from truth.