This introduction to a special section on algorithmic thought provides a framework through which the articles in that collection can be contextualised and their individual contributions highlighted. Over the past decade, there has been a growing interest in artificial intelligence (AI). This special section reflects on this AI boom and its implications for studying what thinking is. Focusing on the algorithmic character of computing machines and the thinking that these machines might express, each of the special section’s (...) essays considers different dimensions of algorithmic thought, engaging with a diverse set of epistemological questions and issues. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational (...) model of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

In philosophy of mind, zombies are imaginary creatures that are exact physical duplicates of conscious subjects but for whom there is no first-personal experience. Zombies are meant to show that physicalism—the theory that the universe is made up entirely out of physical components—is false. In this paper, I apply the zombie thought experiment to the realm of morality to assess whether moral agency is something independent from sentience. Algorithms, I argue, are a kind of functional moral zombie, such that (...) thinking about the latter can help us better understand and regulate the former. I contend that the main reason why algorithms can be neither autonomous nor accountable is that they lack sentience. Moral zombies and algorithms are incoherent as moral agents because they lack the necessary moral understanding to be morally responsible. To understand what it means to inflict pain on someone, it is necessary to have experiential knowledge of pain. At most, for an algorithm that feels nothing, ‘values’ will be items on a list, possibly prioritised in a certain way according to a number that represents weightiness. But entities that do not feel cannot value, and beings that do not value cannot act for moral reasons. (shrink)

Our private perception of listening to an individualized playlist during a jog is very different from the interaction we might experience at a live concert. We do realize that music is not necessarily a performing art, such as dancing or theater, while our demands regarding musical performances are conflicting: We expect perfect sound quality and the thrill of the immediate. We want the artist to overwhelm us with her virtuosity and we want her to struggle, just like a human. We (...) want to engage with the musical expression and rely on visual and physical cues. Considering that the ears of today's listeners are used to technologically mediated music, in this paper I explore the unique qualities of musical live performances and examine if our conception allows for new mechatronic inventions, in particular robotic musicians, to participate in this art form. Some of Godlovitch's main thoughts expounded in his work on "musical performance" [11] serve as a reference and starting point for this investigation. His concept of `personalism', which deprives computer-/program-based musical performances from expressive potential and creative accomplishment is an issue that I want to challenge by pointing out new approaches arising from a reective discourse on technology, embodiment and expression. The enquiry conducted illustrates, how in reasoning about machine performers and algorithmic realization of music, we also examine the perceptual, physical and social aspects of human musicianship, reconceptualizing our understanding of a musical live performance. (shrink)

This article recapitulates and develops the attempts in the Nietzschean traditions to address and overcome the proliferation of nihilism that Nietzsche predicted to unfold in the next 200 years (WP 2). Nietzsche approached nihilism not merely as a psychology but as a labyrinthic and pervasive historical process whereby the highest values of culture and founding assumptions of philosophical thought prevented the further flourishing of life. Therefore, he thought nihilism had to be encountered and experienced on many, often opposing, (...) fronts to be fully consumed and left behind. Thus, just as Nietzsche captured the subtle reinventions of nihilism in new forms in his time, in the new doers assumed behind new deeds (WP 488), this article focuses on the contemporary tectonic shifts brought by digital technology and challenges subjectivation and narrativization of algorithmic will to power in human-like interfaces such as ChatGPT. Having identified philosophers and himself as the most advanced nihilists in their overvaluation of truth, in the 4th part of Thus Spoke Zarathustra, Nietzsche grappled with the difficult, perhaps impossible, temporality of post-nihilistic historicity that oscillates between highest creativity and highest truths, especially in the sections entitled The Shadow and At Noon whereby he explored new temporal techniques to evade the relapses into temporal nihilisms of the notions of linear progress or eternity (TSZ, 4). By drawing on this juncture, this article offers ways to address transfigurations of nihilism behind new technological performances of subjectivity. The article points toward creative temporalities beyond narrativity and subjectivity insofar as the statistical operations and probabilistic estimations of language-models exceed grammatical construction of meaning. This multifaceted application of his thought on the contemporary ontic reality is necessary to perceive our comet's incalculable movement as a veritable ray of sunshine. (shrink)

This article addresses computational procedures that are no longer constrained by human modes of representation and considers how these procedures could be philosophically understood in terms of ‘algorithmic thought’. Research in deep learning is its case study. This artificial intelligence (AI) technique operates in computational ways that are often opaque. Such a black-box character demands rethinking the abstractive operations of deep learning. The article does so by entering debates about explainability in AI and assessing how technoscience and technoculture (...) tackle the possibility to ‘re-present’ the algorithmic procedures of feature extraction and feature learning to the human mind. The article thus mobilises the notion of incommensurability (originally developed in the philosophy of science) to address explainability as a communicational and representational issue, which challenges phenomenological and existential modes of comparison between human and algorithmic ‘thinking’ operations. (shrink)

This book provides a comprehensive examination of the police role from within a broader philosophical context. Contending that the police are in the midst of an identity crisis that exacerbates unjustified law enforcement tactics, Luke William Hunt examines various major conceptions of the police—those seeing them as heroes, warriors, and guardians. The book looks at the police role considering the overarching societal goal of justice and seeks to present a synthetic theory that draws upon history, law, society, psychology, and philosophy. (...) Each major conception of the police role is examined in light of how it affects the pursuit of justice, and how it may be contrary to seeking justice holistically and collectively. The book sets forth a conception of the police role that is consistent with the basic values of a constitutional democracy in the liberal tradition. Hunt’s intent is that clarifying the police role will likewise elucidate any constraints upon policing strategies, including algorithmic strategies such as predictive policing. This book is essential reading for thoughtful policing and legal scholars as well as those interested in political philosophy, political theory, psychology, and related areas. Now more than ever, the nature of the police role is a philosophical topic that is relevant not just to police officials and social scientists, but to everyone. (shrink)

The article considers the problem of images and the role they play in our reflection turning to evidence provided by two seemingly very distant theories of mind together with two sorts of corresponding visions: dreams as analyzed by Freud who claimed that they are pictures of our thoughts, and their mechanical counterparts produced by neural networks designed for object recognition and classification. Freud’s theory of dreams has largely been ignored by philosophers interested in cognition, most of whom focused solely on (...) the linguistic incarnation of thoughts, but even though commonly neglected by respectable theories of thinking, dream images may prove to be the key to the black box of thought. As argued in this article, when seen from the right perspective and approached with the right set of questions, oneiric visions yield groundbreaking insights into the mechanism of how concepts and judgments are formed. Support for this conclusion comes from a tradition seemingly remote, if not opposed to psychoanalysis: the mechanical model of the mind conceived by information sciences and embodied in the form of artificial neural nets which mirror the activity of human visual cortex producing visions strikingly similar to those created by the sleeping mind. These purely mechanical, artificial ‘dreams’ constitute byproducts of algorithms designed for object recognition and classification, which, as I shall argue, reveals the true purpose of our own oneiric visual formations. Just like their mechanical counterparts produced by neural networks, condensations and displacements encountered in dreams are in fact visual universals. (shrink)

Playing chess is one of the first sectors of human thinking that were conquered by computers. From the historical win of Deep Blue against chess champion Garry Kasparov until today, computers have completely dominated the world of chess leaving no room for question as to who is the king in this sport. However, the better computers become in chess the more obvious their basic disadvantage becomes: Even though they can defeat any human in chess and play phenomenally great and intuitive (...) moves, they do not seem to know what chess it. Recently, the advent of AlphaZero brought the level of computers to even higher grounds, but made that disadvantage even more obvious. Nowadays the best chess algorithm can find the best moves in any position without having any knowledge of any chess principle whatsoever. A new world of capabilities and knowledge lays open in front of us, but the darkness behind it is deeper than we could ever imagine. The neural network algorithms seem capable of being best in something without even knowing what that something is, making questions regarding the essence of what thought is more important than ever. (shrink)

The counterfactual account of physical computation is simple and, for the most part, very attractive. However, it is usually thought to trivialize the notion of physical computation insofar as it implies ‘limited pancomputationalism’, this being the doctrine that every deterministic physical system computes some function. Should we bite the bullet and accept limited pancomputationalism, or reject the counterfactual account as untenable? Jack Copeland would have us do neither of the above. He attempts to thread a path between the two (...) horns of the dilemma by buttressing the counterfactual account with extra conditions intended to block certain classes of deterministic physical systems from qualifying as physical computers. His theory is called the ‘algorithm execution account’. Here we show that the algorithm execution account entails limited pancomputationalism, despite Copeland’s argument to the contrary. We suggest, partly on this basis, that the counterfactual account should be accepted as it stands, pancomputationalist warts and all. (shrink)

The essay offers an original view on the issues of identity and self-identification. Self-identification is being studied in the process of its implementation in different time flows. Two directions of thought (to the past and the future) which are defined according to Hameroff»s hypothesis as the bi-directional time flows, constitute the concept of a dream. Using this concept, the author explains how self-identification is realized in two time flows. The strategy of self-identification is explained using a stochastic algorithm which (...) balances the present and the future states at the same stage. The Kalman filter is used as the stochastic algorithm. (shrink)

The mind-body problem is analyzed in a physicalist perspective. By combining the concepts of emergence and algorithmic information theory in a thought experiment employing a basic nonlinear process, it is argued that epistemically strongly emergent properties may develop in a physical system. A comparison with the significantly more complex neural network of the brain shows that also consciousness is epistemically emergent in a strong sense. Thus reductionist understanding of consciousness appears not possible; the mind-body problem does not have (...) a reductionist solution. The ontologically emergent character of consciousness is then identified from a combinatorial analysis relating to system limits set by quantum mechanics, implying that consciousness is fundamentally irreducible to low-level phenomena. In the perspective of a modified definition of free will, the character of the physical interactions of the brain's neural system is subsequently studied. As an ontologically open system, it is asserted that its future states are undeterminable in principle. We argue that this leads to freedom of the will. (shrink)

This article shows how the so-called digital ontology betrays the metaphysical-theological thought of Leibniz (of which it claims to be heir), giving rise to an apparent “algorithmic providence” which, however, confines subjects in algorithmic types, making it impossible the occurrence of event and of the new. If digital ontology sees in Leibniz a thinker from whom to interpret being on the basis of algorithms, this article – by reconstructing Leibniz’s thought – wants to show not only (...) how the operation of digital ontology is not legitimate, but also how – through Leibniz’s doctrine of the divine decrees – it is possible to think of a praxis effectively generating of event. Starting from Leibniz, therefore, we will describe a metaphysics of the instant, in which the moment of decision and action is untied from algorithmic determinism. In conclusion, the article proposes that the theological-metaphysical notion of Providence can constitute a central idea for thinking a practice that is able to transcend the immanence of virtual reality, dominated by algorithmic determinism and the indefinite reproduction of the identical. (shrink)

Aesthetics is thought of as not only a theory of art or beauty, but also includes sensibility, experience, judgment, and relationships. This paper is a study of Bernard Stiegler’s notion of Aesthetic War (stasis) and symbolic misery. Symbolic violence is ensued through a loss of individuation and participation in the creation of symbols. As a struggle between market values against spirit values human life and consciousness within neoliberal hyperindustrial society has become calculable, which prevents people from creating affective and (...) meaningful attachments to symbols in relation to our retentional apparatuses, technology and memory. Such tension can be thought of as a dissonance between overlapping domains of social life, private and public. New Media is a reflection of aesthetic dissonance, an experience such as being bored and entertained at the same time, between antagonistic experiences, values, and behavior. Moreover, new media is at once a medium of customizing aesthetic experience individually as well as the threat and practice of prioritizing calculability and modeling of consumer behavior in favor of capitalistic effectiveness, which results in the simultaneous categorization of an individual as a data point, putting those who do not fit an algorithm’s premises at a disadvantage. (shrink)

Following media-theoretical studies that have characterized digitization as a process of all-encompassing cybernetization, this paper will examine the timely and critical potential of Günther Anders’s oeuvre vis-à-vis the ever-increasing power of cybernetic devices and networks. Anders has witnessed and negotiated the process of cybernetization from its very beginning, having criticized its tendency to automate and expand, as well as its circular logic and ‘integral power’, including disruptive consequences for the constitution of the political and the social. In this vein, Anders’s (...) works, particularly his magnum opus Die Antiquiertheit des Menschen [The Obsolescence of Man], sheds new light on the technologically organized milieus of the contemporary digital regime and also highlights a new form of cybernetic ‘conformism’. The goal of the essay is therefore, not only to emphasize the contemporary nature of Anders’s thought but also to use it to frame a critique of current neo-technocratic and, ultimately, post-political concepts, such as ‘algorithmic regulation’, ‘smart states’, ‘direct technocracy’, and ‘government as platform’. This essay argues that cybernetic capitalism is causing what Anders terms ‘ Unfestgelegtheit’ to disappear; that is, we are losing the originary possibility of technologically (re-)structuring our world in alternative ways, particularly given the determinist character of current technologies. (shrink)

The elimination of gatekeepers for scientific publication has been represented as a means to promote the core moral values of open science, including democratic decision-making and inclusiveness. I argue that this framing ignores the reality that gatekeeping is a way of structuring prestige hierarchies, and that without gatekeeping, some other structuring would be needed: the flattening of prestige hierarchies is not possible given scientists’ need to navigate information overload. I consider two potential restructurings of prestige hierarchies, one based on citation (...) count and the other on search algorithm rank. These are shown to simply reintroduce status biases and hierarchies in ways that either do not further the open science ideals of democracy and inclusiveness, or else involve some de facto gatekeeping. Gatekeeper elimination should not be thought of as an intrinsic part of the open science movement. In fact, insofar as gatekeeping is guided by professional ideals of impartiality and diligence, it can be thought of as an ally of open science values. (shrink)

According to the computational theory of mind , to think is to compute. But what is meant by the word 'compute'? The generally given answer is this: Every case of computing is a case of manipulating symbols, but not vice versa - a manipulation of symbols must be driven exclusively by the formal properties of those symbols if it is qualify as a computation. In this paper, I will present the following argument. Words like 'form' and 'formal' are ambiguous, as (...) they can refer to form in either the syntactic or the morphological sense. CTM fails on each disambiguation, and the arguments for CTM immediately cease to be compelling once we register that ambiguity. The terms 'mechanical' and 'automatic' are comparably ambiguous. Once these ambiguities are exposed, it turns out that there is no possibility of mechanizing thought, even if we confine ourselves to domains where all problems can be settled through decision-procedures. The impossibility of mechanizing thought thus has nothing to do with recherché mathematical theorems, such as those proven by Gödel and Rosser. A related point is that CTM involves, and is guilty of reinforcing, a misunderstanding of the concept of an algorithm. (shrink)

It is commonly thought that such topics as Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason are disparate scientific physical or mathematical issues having little or nothing in common. I suggest that they are largely standard philosophical problems (i.e., language games) which were resolved by Wittgenstein over 80 years ago. -/- Wittgenstein also demonstrated the fatal error in regarding mathematics or language or our behavior in general as a unitary coherent logical ‘system,’ rather than (...) as a motley of pieces assembled by the random processes of natural selection. “Gödel shows us an unclarity in the concept of ‘mathematics’, which is indicated by the fact that mathematics is taken to be a system” and we can say (contra nearly everyone) that is all that Gödel and Chaitin show. Wittgenstein commented many times that ‘truth’ in math means axioms or the theorems derived from axioms, and ‘false’ means that one made a mistake in using the definitions, and this is utterly different from empirical matters where one applies a test. Wittgenstein often noted that to be acceptable as mathematics in the usual sense, it must be useable in other proofs and it must have real world applications, but neither is the case with Godel’s Incompleteness. Since it cannot be proved in a consistent system (here Peano Arithmetic but a much wider arena for Chaitin), it cannot be used in proofs and, unlike all the ‘rest’ of PA it cannot be used in the real world either. As Rodych notes “…Wittgenstein holds that a formal calculus is only a mathematical calculus (i.e., a mathematical language-game) if it has an extra- systemic application in a system of contingent propositions (e.g., in ordinary counting and measuring or in physics) …” Another way to say this is that one needs a warrant to apply our normal use of words like ‘proof’, ‘proposition’, ‘true’, ‘incomplete’, ‘number’, and ‘mathematics’ to a result in the tangle of games created with ‘numbers’ and ‘plus’ and ‘minus’ signs etc., and with -/- ‘Incompleteness’ this warrant is lacking. Rodych sums it up admirably. “On Wittgenstein’s account, there is no such thing as an incomplete mathematical calculus because ‘in mathematics, everything is algorithm [and syntax] and nothing is meaning [semantics]…” -/- I make some brief remarks which note the similarities of these ‘mathematical’ issues to economics, physics, game theory, and decision theory. -/- Those wishing further comments on philosophy and science from a Wittgensteinian two systems of thought viewpoint may consult my other writings -- Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle 2nd ed (2019), Suicide by Democracy 4th ed (2019), The Logical Structure of Human Behavior (2019), The Logical Structure of Consciousness (2019, Understanding the Connections between Science, Philosophy, Psychology, Religion, Politics, and Economics and Suicidal Utopian Delusions in the 21st Century 5th ed (2019), Remarks on Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason in Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal-Sharrock and Yanofsky (2019), and The Logical Structure of Philosophy, Psychology, Sociology, Anthropology, Religion, Politics, Economics, Literature and History (2019). (shrink)

In this paper, we use antecedent-final conditionals to formulate two problems for parsing-based theories of presupposition projection and triviality of the kind given in Schlenker 2009. We show that, when it comes to antecedent-final conditionals, parsing-based theories predict filtering of presuppositions where there is in fact projection, and triviality judgments for sentences which are in fact felicitous. More concretely, these theories predict that presuppositions triggered in the antecedent of antecedent-final conditionals will be filtered (i.e. will not project) if the negation (...) of the consequent entails the presupposition. But this is wrong: John isn’t in Paris, if he regrets being in France intuitively presupposes that John is in France, contrary to this prediction. Likewise, parsing-based approaches to triviality predict that material entailed by the negation of the consequent will be redundant in the antecedent of the conditional; but John isn’t in Paris, if he’s in France and Mary is with him is intuitively felicitous, contrary to these predictions. Importantly, given that the trigger appears in sentence-final position, both incremental (left-to-right) and symmetric versions of such theories make the same predictions. These data constitute a challenge to the idea that presupposition projection and triviality should be computed on the basis of parsing. This issue is important because it relates to the more general question as to whether presupposition and triviality calculation should be thought of as a pragmatic post-compositional phenomenon or as part of compositional semantics (as in the more traditional dynamic approaches). We discuss a solution which allows us to maintain the parsing-based pragmatic approach; it is based on an analysis of conditionals which incorporates a presupposition that their antecedent is compatible with the context, together with a modification to Schlenker’s (2009) algorithm for calculating local contexts so that it takes into account presupposed material. As we will discuss, this solution works within a framework broadly similar to that of Schlenker’s (2009), but it doesn’t extend in an obvious way to other parsing-based accounts (e.g. parsing-based trivalent approaches). We conclude that a parsing-based theory can be maintained, but only if we adopt a substantial change of perspective on the framework. (shrink)

The paper identifies defining characteristics of the principal models of problem-solving behavior which are useful in developing a general theory of problem-solving. An attempt is made both to make explicit those disagreements between theorists of different persuasions which have served as obstacles to an integrated approach, and to show that these disagreements have arisen from a number of conceptual confusions: The conflict between information processors and behavioral analysts has resulted from a common failure to understand theoretical sufficiency, and hence these (...) theorists have been at a loss to understand one another. Two directions of research in problem-solving, mechanical algorithmic problem-solving and the psychology of invention, have been thought to be divergent, but in fact complement one another once it is clear that problem-solving involves neither discovery nor invention, but rather is a matter of perceptual encoding and processing. Successful problem-solving behavior can be described as adaptive, learning behavior in which organization skills are effectively associated with situationally determined perceptual encoding processes of the individual mechanical or biological problem-solver. (shrink)

Advancement in cognitive science depends, in part, on doing some occasional ‘theoretical housekeeping’. We highlight some conceptual confusions lurking in an important attempt at explaining the human capacity for rational or coherent thought: Thagard & Verbeurgt’s computational-level model of humans’ capacity for making reasonable and truth-conducive abductive inferences (1998; Thagard, 2000). Thagard & Verbeurgt’s model assumes that humans make such inferences by computing a coherence function (f_coh), which takes as input representation networks and their pair-wise constraints and gives as (...) output a partition into accepted (A) and rejected (R) elements that maximizes the weight of satisfied constraints. We argue that their proposal gives rise to at least three difficult problems. (shrink)

Despite the seemingly neutral vantage of using nature for widely-distributed computational purposes, neither post-biological nor post-humanist teleology simply concludes with the real "end of nature" as entailed in the loss of the specific ontological status embedded in the identifier "natural." As evinced by the ecological crises of the Anthropocene—of which the 2019 Brazil Amazon rainforest fires are only the most recent—our epoch has transfixed the “natural order" and imposed entropic artificial integration, producing living species that become “anoetic,” made to serve (...) as automated exosomatic residues, or digital flecks. I further develop Gilles Deleuze’s description of control societies to upturn Foucauldian biopower, replacing its spacio-temporal bounds with the exographic excesses in psycho-power; culling and further detailing Bernard Stiegler’s framework of transindividuation and hyper-control, I examine how becoming-subject is predictively facilitated within cognitive capitalism and what Alexander Galloway terms “deep digitality.” Despite the loss of material vestiges qua virtualization—which I seek to trace in an historical review of industrialization to postindustrialization—the drive-based and reticulated "internet of things" facilitates a closed loop from within the brain to the outside environment, such that the aperture of thought is mediated and compressed. The human brain, understood through its material constitution, is susceptible to total datafication’s laminated process of “becoming-mnemotechnical,” and, as neuroplasticity is now a valid description for deep-learning and neural nets, we are privy to the rebirth of the once-discounted metaphor of the “cybernetic brain.” Probing algorithmic governmentality while posing noetic dreaming as both technical and pharmacological, I seek to analyze how spirit is blithely confounded with machine-thinking’s gelatinous cognition, as prosthetic organ-adaptation becomes probabilistically molded, networked, and agentially inflected (rather than simply externalized). (shrink)

This paper aims to demonstrate the contemporary relevance of Adorno’s thought for business ethicists working in the critical tradition by showing how his critique of modern social life anticipated, and offers continuing illumination of, recent technological transformations of capitalism. It develops and extrapolates Adorno’s thought regarding three central spheres of modern society, which have seen radical changes in light of recent technological developments: work, in which employee monitoring has become ever more sophisticated and intrusive; leisure consumption, in which (...) the algorithmic developments of the culture industry have paved the way for entertainment products to dominate us; and political discourse, in which social media has exacerbated the anti-democratic tendencies Adorno warned of in the mid-twentieth century. We conclude by presenting, as a rejoinder to these developments, the contours of an Adornian ethics of resistance to the reification and dehumanisation of such developments. (shrink)

SEMANTIC ARITHMETIC: A PREFACE John Corcoran Abstract Number theory, or pure arithmetic, concerns the natural numbers themselves, not the notation used, and in particular not the numerals. String theory, or pure syntax, concems the numerals as strings of «uninterpreted» characters without regard to the numbe~s they may be used to denote. Number theory is purely arithmetic; string theory is purely syntactical... in so far as the universe of discourse alone is considered. Semantic arithmetic is a broad subject which begins when (...) numerals are mentioned (not just used) and mentioned as names of numbers (not just as syntactic objects). Semantic arithmetic leads to many fascinating and surprising algorithms and decision procedures; it reveals in a vivid way the experiential import of mathematical propositions and the predictive power of mathematical knowledge; it provides an interesting perspective for philosophical, historical, and pedagogical studies of the growth of scientific knowledge and of the role metalinguistic discourse in scientific thought. (shrink)

After presenting Kripke’s criticism to Frege’s ideas on context dependence of thoughts, I present two recent attempts of considering cognitive aspects of context dependent expressions inside a truth conditional pragmatics or semantics: Recanati’s non-descriptive modes of presentation (MOPs) and Kaplan’s ways of having in mind (WHIMs). After analysing the two attempts and verifying which answers they should give to the problem discussed by Kripke, I suggest a possible interpretation of these attempts: to insert a procedural or algorithmic level in (...) semantic representations of indexicals. That a function may be computed by different procedures might suggest new possibilities of integrating contextual cognitive aspects in model theoretic semantic. (shrink)

Full applicability of physics to human biology does not necessarily imply that one can uncover a comprehensive, algorithmic correlation between physical brain states and corresponding mental states. The argument takes into account that information processing is finite in principle in a finite world. Presumbly the brain-mind-relation cannot be resolved in all essential aspects, particularly when high degrees of abstraction or self-analytical processes are involved. Our conjecture plausibly unifies the universal validity of physics and a logical limitation of human (...) class='Hi'>thought, and it does not regard consciousness -the most basic human experience - as a marginal phenomenon. (shrink)

The Computational Theory of Mind (CTM) holds that cognitive processes are essentially computational, and hence computation provides the scientific key to explaining mentality. The Representational Theory of Mind (RTM) holds that representational content is the key feature in distinguishing mental from non-mental systems. I argue that there is a deep incompatibility between these two theoretical frameworks, and that the acceptance of CTM provides strong grounds for rejecting RTM. The focal point of the incompatibility is the fact that representational content is (...) extrinsic to formal procedures as such, and the intended interpretation of syntax makes no difference to the execution of an algorithm. So the unique 'content' postulated by RTM is superfluous to the formal procedures of CTM. And once these procedures are implemented in a physical mechanism, it is exclusively the causal properties of the physical mechanism that are responsible for all aspects of the system's behaviour. So once again, postulated content is rendered superfluous. To the extent that semantic content may appear to play a role in behaviour, it must be syntactically encoded within the system, and just as in a standard computational artefact, so too with the human mind/brain - it's pure syntax all the way down to the level of physical implementation. Hence 'content' is at most a convenient meta-level gloss, projected from the outside by human theorists, which itself can play no role in cognitive processing. (shrink)

Contemporary philosophy and theoretical psychology are dominated by an acceptance of content-externalism: the view that the contents of one's mental states are constitutively, as opposed to causally, dependent on facts about the external world. In the present work, it is shown that content-externalism involves a failure to distinguish between semantics and pre-semantics---between, on the one hand, the literal meanings of expressions and, on the other hand, the information that one must exploit in order to ascertain their literal meanings. It is (...) further shown that, given the falsity of content-externalism, the falsity of the Computational Theory of Mind (CTM) follows. It is also shown that CTM involves a misunderstanding of terms such as "computation," "syntax," "algorithm," and "formal truth." Novel analyses of the concepts expressed by these terms are put forth. These analyses yield clear, intuition-friendly, and extensionally correct answers to the questions "what are propositions?, "what is it for a proposition to be true?", and "what are the logical and psychological differences between conceptual (propositional) and non-conceptual (non-propositional) content?" Naively taking literal meaning to be in lockstep with cognitive content, Burge, Salmon, Falvey, and other semantic externalists have wrongly taken Kripke's correct semantic views to justify drastic and otherwise contraindicated revisions of commonsense. (Salmon: What is non-existent exists; at a given time, one can rationally accept a proposition and its negation. Burge: Somebody who is having a thought may be psychologically indistinguishable from somebody who is thinking nothing. Falvey: somebody who rightly believes himself to be thinking about water is psychologically indistinguishable from somebody who wrongly thinks himself to be doing so and who, indeed, isn't thinking about anything.) Given a few truisms concerning the differences between thought-borne and sentence-borne information, the data is easily modeled without conceding any legitimacy to any one of these rationality-dismantling atrocities. (It thus turns out, ironically, that no one has done more to undermine Kripke's correct semantic points than Kripke's own followers!). (shrink)

De Neys (2021) argues that the debate between single- and dual-process theorists of thought has become both empirically intractable and scientifically inconsequential. I argue that this is true only under the traditional framing of the debate—when single- and dual-process theories are understood as claims about whether thought processes share the same defining properties (e.g., making mathematical judgments) or have two different defining properties (e.g., making mathematical judgments autonomously versus via access to a central working memory capacity), respectively. But (...) if single- and dual-process theories are understood in cognitive modeling terms as claims about whether thought processes function to implement one or two broad types of algorithms, respectively, then the debate becomes scientifically consequential and, presumably, empirically tractable. So, I argue, the correct response to the current state of the debate is not to abandon it, as De Neys suggests, but to reframe it as a debate about cognitive models. (shrink)

Narrative passages told from a character's perspective convey the character's thoughts and perceptions. We present a discourse process that recognizes characters' thoughts and perceptions in third-person narrative. An effect of perspective on reference In narrative is addressed: references in passages told from the perspective of a character reflect the character's beliefs. An algorithm that uses the results of our discourse process to understand references with respect to an appropriate set of beliefs is presented.

After the Event Horizon Telescope Collaboration released in April 2019 the first empirical images of a black hole, an astrophysical object previously thought “unseeable,” much of the public discourse has approached these images as straightforward visual depictions of a black hole. This article challenges this view by showing that the first images of a black hole went beyond merely making an invisible cosmic object visible and that the images published in April 2019 were just the first in a series (...) of black hole images the researchers continue producing. Drawing primarily on Sybille Krämer’s concept of the cartographic impulse, the article demonstrates that the Event Horizon Telescope images are, first and foremost, epistemic tools. These epistemic tools enable researchers to actively explore various physical aspects and dynamic properties of a black hole’s immediate environment and test theoretical predictions about it, thus making this elusive environment empirically knowable. To demonstrate this, the article analyses the mapping operations that combined automated algorithmic procedures with expert human judgment and through which these images were produced, read, and interpreted. It also examines how the different Event Horizon Telescope images relate to one another, which particular epistemic functions they fulfil in the research context, under which conditions, and with which limitations, thus tracing how these images facilitate the production of new scientific knowledge about black holes. (shrink)

The noise factor is the ratio of signal to noise of an input signal to that of the output signal. Noise can block or interfere with the meaning of a message in both human and electronic communication. But in Information Theory, noise is still considered to be information. By refining the definition of noise as that which addresses us outside of our preferred comfort zone, Joseph Nechvatal's Immersion Into Noise investigates multiple aspects of cultural noise by applying the audio understanding (...) of noise to the visual, architectural and cognitive domains. Nechvatal expands and extends our understanding of the function of cultural noise by taking the reader through the immersive and phenomenal aspects of noise into algorithmic and network contexts, beginning with his experience in the Abside of the Grotte de Lascaux. -/- Immersion Into Noise is intended as a conceptual handbook useful for the development of a personal-political-visionary art of noise. On a planet that is increasingly technologically linked and globally mediated, how might noises break and re-connect in distinctive and productive ways within practices located in the world of art and thought? Joseph Nechvatal explores this intriguing question in Immersion Into Noise. (shrink)

Various media-theoretical studies have recently characterized the fourth industrial revolution as a process of all-encompassing technicization and cybernetization. Against this background, this paper seeks to show the timely and critical potential of Günther Anders’s magnum opus Die Antiquiertheit des Menschen vis-à-vis the ever-increasing power of cybernetic devices and networks. Anders has both witnessed, and negotiated, the process of cybernetization from its very beginning, having criticised not only its tendency of automatization and expansion, but also the circular logic and the “integral (...) power” it rests upon, including the destructive consequences for the constitution of the political and the social. In this vein, Anders’s oeuvre can indeed shed new light on the techno-logically organized milieus of the contemporary digital regime. The aim of the essay is, thus, not only to emphasize the contemporariness of Anders’s critical thought, but also use it to frame a critique vis-à-vis current neo-technocratic and, ultimately, post-political concepts, such as “algorithmic regulation”, “smart states”, “direct technocracy”, and “government as platform”. The essay finally seeks to, through Anders’s lens, address the question of the position and role of the critic in relation to ever expanding technical environments. (shrink)

Analytical philosophy is ruled by the alliance of logic, linguistics and mathematics since its beginnings in the syllogistic calculus of terms and premises in Aristotle's Analytica protera, in the theories of medieval logic that dealt with what are Proprietatis Terminorum (significatio, suppositio, appellatio), in the theological apologetics of argumentation with the combinatorics of symbols by Raymundus Llullus in the work Ars Magna, Generalis et Ultima (1305-08), in what is presented as Theologia Combinata (cf. Tomus II.p.251) in Ars Magna Sciendi sive (...) Combinatoria by Athanasius Kircher (1669), in analytical combinatorics based in Leibniz's dissertation Ars Combinatoria (1666), where language is understood as a lingua characteristica and as a calculus ratiocinator, in the combinatorics of classes that have the meanings 1 or 0 given in the idea of Boolean functions (1854), in Frege's work Begriffschrift, eine der arithmeticeschen nachgebildete Fomelsprache des reinen Denkens (Concept letter, the language of formulas of pure thought made according to the model in arithmetical language), in Cantor's study of set theory / Grundlagen einer allgemeinen Mannigfaltigkeitstheorie (1883) and up to algorithms of fuzzy logic as a "means of approximate thinking that is in the human prior" (Zadeh, 1990) and fuzzy linguistics in computer semantics (Burghard B. Rieger, 1993). These are all the philosophical ideas of mathematicians and logicians that founded what we call logical pragmatism here as a demand that logic be absolutely used in every way in which it will dominate the grammar of language until logic itself becomes the philosophical grammar of the mind!!! (shrink)

This chapter expounds Hacking’s project of styles of reasoning more systematically than Hacking himself has done, while the following chapters examine its philosophical implications. I shall show that, in addition to the statistical and the laboratory style described in Chap. 3, there exist other four styles of reasoning that share a set of common characterizing features: the algorithmic, the postulational, the historico-genetic and the taxonomic style of reasoning. All the differences notwithstanding, striking parallels can be drawn between these different (...) styles of reasoning: they emerged suddenly at certain points in time, crystallized around communities that shared certain standards of evidence and represent basic and inescapable forms of reasoning. Finally, I shall argue that there are other ways of thinking that differ from styles of reasoning in the sense of Hacking. What I consider a relevant difference is that only styles of reasoning have strong techniques of self-authentication, techniques that are intrinsic to their forms of reasoning. (shrink)

This work is a attempt to describe various braches of mathematics and the analogies betwee them. Namely: 1) Symbolic Analogic 2) Lateral Algebraic Expressions 3) Calculus of Infin- ity Tensors Energy Number Synthesis 4) Perturbations in Waves of Calculus Structures (Group Theory of Calculus) 5) Algorithmic Formation of Symbols (Encoding Algorithms) The analogies between each of the branches (and most certainly other branches) of mathematics form, ”logic vectors.” Forming vector statements of logical analogies and semantic connections between the di↵erentiated (...) branches of math- ematics is useful. It’s useful, because it gives us a linguistic notation from which we can derive other insights. These combined insights from the logical vector space connections yield a combination of Numeric Energy and the logic space. Thus, I have derived and notated many of the most useful tangent ideas from which even more correlations and connections ca be drawn. Using AI, these branches can be used to form even more connections through training of lan- guage engines on the derived models. Through the vector logic space and the discovery of new sheaf (Limbertwig), vast combinations of novel, mathematical statements are derived. This paves the way for an AGI that is not rigid, but flex- ible, like a Limbertwig. The Limbertwig sheaf is open, meaning it can receive other mathematical logic vectors with di↵erent designated meanings (of infi- nite or finite indicated elements). Furthermore, the articulation of these syntax forms evolves language away from imperative statements into a mathematically emotive space. Indeed, shown within, we see how the supramanifold of logic is shared with the supramanifold of space-time mathematically. Developing clean mathematical spaces can help meditation, thought pro- cess, acknowledgment of ideas spoken into that cognitive-spacetime and in turn, methods by which paradoxes can be resolved linguistically. This toolkit should be useful to all in the sciences as well as those bridging the humantities to mathematics. Using our memories as a toolkit to aggregate these ideas breaks down bound- aries between them in a new, exciting way. Merging philosophy and Quantum Mechanics together through the lens of symbolic analogies gives the tools to unravel this mystery of all mysteries. Mathematics thus exists as a bridge al- beit a complex one between the two disciplines, giving life to a composite art of problem-solving. Furthermore, mathematics yields to millions of other applications that are potentially limited only by our imagination. From massive data sets used for predictive analytics to emerging fields in medicine, mathematics is an energy and force at the center of possibilities. The power of mathematics to help manage life exists in its ability to shape and model the world in which we live and interact with one another. In conclusion, mathematics is a powerful tool that creates bridges and con- nections between many disciplines and serves as a powerful form of analytical data consumption. It provides language-rich bridges from which to assemble vast fields of theoretical investigations and create groundbreaking innovations. As we approach new horizons in the technology timeline, mathematics will con- tinue to be a powerful driver of creativity and progress. (shrink)

Mohammad Arkoun (1928-2010) Muslim intellectual, offered "Islamic Criticism" projects, "Applied Islamology" and finally the "Critical Rational Future" project "Negar" with the aim of reviewing and transforming the understanding of the religious text and offering solutions to overcome the decline of Islamic civilization. His main scheme is the critique of Islamic reason, but the methodology is Applied Islamology. Arkoun projects are one of the first projects in the Islamic-Arab world, which have read the religious text based on new Western approaches. Research (...) Methods and Questions: This study uses a descriptive-analytical approach to examine the impact and application of Western approaches in religious texts reading in the thought of Mohammad Arkoun. The questions considered in this research are: What are the most important practical approaches of Arkoun in religious texts reading? What is Arkoun 's aim using different Western approaches to read religious texts? What are Arkoun 's approaches in the Applied Islamology project? The aims of this research is to study the Western approaches considered by Arkoun in the field of religious texts reading and to examine the impact and application of Western approaches in the Applied Islamology project of Arkoun. Findings: Arkoun projects in particular Applied Islamology include a set of approaches such as structuralism, genealogy, poststructuralism, hermeneutics, etc. His ultimate aim in applying various Western approaches is to provide an active and capable methodology for critical of religious texts reading, definite break from dogmatic and Orientalist perspectives and also to replace these studies with studies based on positivist methods and traditional philology. Among all practical approaches of Arkoun in the field of reading religious texts, there are three approaches that have many manifestations in his thoughts and projects: First, the linguistic-semiotic approach to the study of the foundational age, second, Foucault's paleontological approach to read contemporary Islamic-Arab modern thought and third, Historical-Sociological Analysis for the study of Islam as a social phenomenon and the Events of the history of Islam after the Prophet (PBUH). (shrink)

Meet Tega. Blue, fluffy, and AI-enabled, Tega is a relational robot: a robot designed to form relationships with humans. Created to aid in early childhood education, Tega talks with children, plays educational games with them, solves puzzles, and helps in creative activities like making up stories and drawing. Children are drawn to Tega, describing him as a friend, and attributing thoughts and feelings to him ("he's kind," "if you just left him here and nobody came to play with him, he (...) might be sad"). Scholars and members of the public alike have raised the alarm about relational robots, worrying that the relationships that people, and especially children, form with such robots are objectionably inauthentic. We, members of an interdisciplinary team that developed and studies Tega, make this inauthenticity worry precise and offer practical recommendations for addressing it. We distinguish two kinds of (in)authenticity -- inauthenticity as unreality, and inauthenticity as deception -- arguing that neither is just what others have thought it is. With our distinction in hand, we argue that the authenticity concern can be met only through co-design methods -- methods that give stakeholders of all kinds (e.g. parents, educators, and children themselves) a genuine say in how relational robots are built. (shrink)

Divine Attributes and their reflection in the flowing of history and its stages is one of the most important issues in the theoretical philosophy of history that has attracted the attention of philosophers of history. This issue has become doubly important because it relates to human free will and the extent and manner of his role in history. This article has tried to examine the three attributes: "Lordship", "Knowledge" and "Will" along with a description of the concept of "Fate and (...) Destiny" (Ghadza' and Ghadar) based on the words of Amir al-Mu'menin Ali (AS), especially in Nahj al-Balaghah, and besides explaining the concept of their sovereignty over the history, proves its incompatibility with determinism. The findings of this study indicate that in the view of Amir al-Mo'menin Ali (AS), if these attributes do not rule over the history, history will decline, and since according to the teachings of Islamic revelation, the free will of man, itself is one of the elements of historical events, believing in the dominance of these attributes does not limit the scope of human free will and formative authority. (shrink)

One of the challenges faced by philosophers throughout history of philosophical thoughts, has always been and is to find an adequate answer to the question of quiddity and existence of time and space. Thus, the present study aims to elaborate on the question of space and time in Mulla Sadra’s philosophy and its relationship with outcomes of modern physics. The study also intends to conduct an analytical comparison between these two views and clarify newer aspects of this complicated and vague (...) question. According to principles of his thought system in his ontology and particularly his theory of substantial motion, Mulla Sadra’s view toward time has a closer concordance with findings of modern physicists like Albert Einstein. One of the most noticeable achievements of the present paper, considering ontological view of Mulla Sadra toward time, is to reach a comprehensive and vast view of the question of space and time covering space-time approach of theory of relativity and having the common issue of time in mind, develops an image of unity and connectivity of the world of nature with the four dimensions. The present study uses a documentary analysis research and uses library resources. The prominent works of Mulla Sadra and Einstein’ works on the Theory of Relativity were the main sources for this study. It is hoped that this view not only reveals further philosophical aspects of the issue of time but also help uncover newer approaches for physicists. (shrink)

The relation between science and religion has been one of the most important disturbance of scientists in recent centuries. Expressing thus issue was started in west countries since renaissance seriously and it expanded to all countries even Islamic countries. Mesbah as a philosopher and an Islamic scientist chooses completion idea which is based on his basis; e.g. philosophical foundations with reasonable relativity, paradigm acceptance which means thought basis, experience acceptance which means revelation and inspiration by innocent, monopoly on legitimacy (...) acceptance with salvations pluralism and behavioral pluralism, general rules of conversation acceptance agreement and required backgrounds and transcendent wisdom. Also, Ian Barbour as a philosopher and a western physicist chooses compilation idea which is based on his basis; e.g. science and religion methodology parallelisms, critical realism, paradigm acceptance which means mindset, religious experience, religious pluralism, philosophic hermeneutic and scanning philosophy. Mesbah leads to separate levels of knowledge in case of its value recognizing and to accept that knowledge is multilevel and is necessary to face systematically in phenomena analysis, but Barbour works on relativity. (shrink)

Seeking for Happiness in Islamic Philosophy and its goal, it can be seen a literal and unanimous answer in philosopher words which reflects combination of worldly(secular) and otherworldly(sacred) happiness that it can prepare temporal and eschatological happiness. But in a deeper investigation we can ask: what is the main purpose? mortal or final dimension of happiness? As a result of the text, it seems that from Al- Kendi to Al- Rāzī the otherworldly happiness is considered as a result of worldly (...) happiness. After Al- Farabi to Al- Tusi the flow of thinking tends to combine worldly and otherworldly happiness. After Al- Tusi and under the influence of him in Nasirian Ethics (Akhlaq-i Nasiri), the changed version of philosophical Islamic Ethics supports eschatological happiness and supposes the worldly happiness as a primary and elementary level which must be considered as healing of mortal life. Matching with this view, it seems that worldly happiness is Abolished, because it changes the balance between and worldly and otherworldly happiness, and also it week the social development instead of increasing individual happiness. (shrink)

In 1948 a legendary debate occurred at the Oxford Socratic Club between C. S. Lewis and Elizabeth Anscombe. In this meeting, Lewis shows that atheistic naturalism is refute in meaning the strict materialism. Anscombe makes three basic criticisms against Lewis' argument:1. Lack of distinction between irrational and non-rrational causes of belief,2. The threat of skepticism,3. Lack of distinction between types of “full” explanations. Lewis and Anscombe's views can be considered in several ways: 1. Despite Anscombe's correct critique, the lack of (...) distinction between irrational and non-rational causes does not solve the problem of naturalism which is an inference belief of other beliefs. 2. Anscombe considers that “if naturalism is correct, there is no valid human argument”, is a skeptical threat to knowledge, while this objection does not problem on Lewis' argument. 3. Contrary to Anscombe's claim, the ommisive approach to other explanations is not a consequence of Lewis's Argument, but the main idea of naturalism itself. 4. Lewis's incorrect analysis of mental states is accidental because he considers the origin of these states to be non-physical. 5. Lewis did not explain well what he meant by “did not explain well what he meant by "the impossibility of evolutionary processes in creating creatures with perception and understanding of creatures without understanding”. By an analytical, comparative and critical insightcan eliminate, correct and reconstruct the weaknesses of Anscombe and Lewis' views. (shrink)

In developing a theory of truth, as the main condition of knowledge, four issues are usually examined: definition or analysis of truth, truth bearer, truth-maker, and relation (in correspondence and coherence theories). A proper theory of truth is the one that affords the explanation of the truth of all types of propositions, and, at the same time, resists the liar paradox. The aim of this inquiry is to analyze Nasīr al-Dīn al-Tūsī’s theory of truth one who is involved both in (...) the liar paradox and in the explanation of the truth of the verity propositions and propositions that are made of intelligibles that have no instance in external world. This inquiry shows, with an analytical approach mostly systematic analysis, that he regards, against the difficulty of the lair paradox, propositions that are other than what they are about as the bearers of truth. Further, it shows that he, against the other difficulty, has two attitudes: first, he desists from the correspondence theory of truth and defines it as “ascription of an ideational thing to what, with its characteristic, is proper for it”; second, he considers the agent intellect to be the truth-maker. Although he regards the correspondence relation as an intentional relation, he does not discuss it much. One explanation could be that the issue of the correspondence relation does not play a serious part in the aforementioned difficulties. (shrink)

After Al-Tusi and his effective work- which is called Nasirian Ethics- Islamic Philosophical Ethics emerges a fixed perspective that tips the balance (scale) in favor of otherworldly Eudemonia and considers worldly Eudemonia as rental land which can be abandoned. Ibn Khaldun tries to present a communicative theory; but his work has limited under the main discourse of Islamic Ethics which is fixed in the space and effect of the mentioned balance. As a consequence, after Mulla Sadra and in Esfahan school, (...) the Nasirian though is developed. then the main challenge is that the social development is slowed diminished in favor of individual Eudemonia. But it seems that Tabatabai in his theory (Constructional Perceptions) shows or reconstructs an almost unanimous consensus which tries to find a compromise between temporal (worldly) and eschatological (otherworldly) Eudemonia. In this paper and according to its descriptive- analytic prospect- with memorizing a historical transformation- Tabatabai 's theory is supposed as an alternative for reconstituting of Islamic Philosophical Ethics, which is based on the popular goodness and civil development. (shrink)

The internalism/externalism controversy has various expanding features in contemporary epistemology. In this article we try to show capabilities of philosophy of Sadra for interfering in this debate. The main goal is to rely on principles of Sadra and defend a kind of internalism that consider cognitive access to factors needed for a belief to be epistemically justified as a pivotal condition. It will be proved that for defense of any knowledge, we should accept immediate and direct knowledge to states of (...) mind and this knowledge is superior from threefold propositional knowledge and merely with reliance on division knowledge to present knowledge and propositional knowledge internalism is defensible. Indeed, some ambiguities in internalism/ externalism controversy is due to inattention properties of present knowledge and its separation from propositional knowledge. After that as respects to those properties and also reliance on division knowledge to simple and compound we answer three main difficulties internalism face and display solution for internalist´s contra examples. (shrink)

In the naturalism and evolutionism context, the ultimate objective and function of cognitive faculties is adaptation, survival and reproduction. Our cognitive faculties are not developed to generate true beliefs, therefore, but to have adapt behavior. Alvin Planatinga is not at ease with naturalism idea. To him, the problem with naturalism is the non-existence of proper understanding on the manner by which the belief and behavior are interrelated, thus, he concludes that the reliability of cognitive faculties are founded on low naturalistic (...) evolutionism; because any alleged argument against these faculties, first, requires reliable perceptual faculties and next, if we realize lack of reliability in these faculties we developed self-defeating belief, consequently, in both the cases naturalism face criticism. Plantiga’s criticism on naturalism view as to reliability of cognitive faculties has made some philosophers encounter problems like: 1) high probability of interrelating casual belief and behavior, 2) argument based on personal incredulity, 3) lack of distinction between reflective and non-reflective knowledge, 4) finding independent evidence for reliability as to escape self-defeating, 5) the external status of mental states and 6) the problem of circle. To the authors here, except the problem of circle, Plantiga has been able to find proper answer for the rest of five problems. The objective here is to analyze, complete, expand and criticize Plantiga’s notion in rejecting the atheistic naturalism through the ability to secure cognitive faculties to unveil consistency of the new scientific findings with religious beliefs. (shrink)

The most central issue in Imam Khomeini's mysticism is the velayat. The quality of this relationship is one of the important issues of mystical analysis of scholars and its re-reading and explanation can be examined in the context of an important research issue. The present article, with the aim of examining and explaining this relationship and alignment, has tried to examine the texts and knowledge in this field by descriptive-analytical method. Findings of the research indicate that among the mystics who (...) have discussed the velayat, Imam Khomeini (RA) has been very successful in explaining the relationship between mystical velayat with the belief in monotheism, prophethood and Imamate. In fact, Imam Khomeini's mystical worldview provides a mystical explanation of faith in seemingly theological categories that is worth pondering. (shrink)

Algorithms can now identify patterns and correlations in the (big) datasets, and predict outcomes based on those identified patterns and correlations with the use of machine learning techniques and big data, decisions can then be made by algorithms themselves in accordance with the predicted outcomes. Yet, algorithms can inherit questionable values from the datasets and acquire biases in the course of (machine) learning, and automated algorithmic decision-making makes it more difficult for people to see algorithms as biased. While researchers (...) have taken the problem of algorithmic bias seriously, but the current discussion on algorithmic fairness tends to conceptualize ‘fairness’ in algorithmic fairness primarily as a technical issue and attempts to implement pre-existing ideas of ‘fairness’ into algorithms. In this paper, I show that such a view of algorithmic fairness as technical issue is unsatisfactory for the type of problem algorithmic fairness presents. Since decisions on fairness measure and the related techniques for algorithms essentially involve choices between competing values, ‘fairness’ in algorithmic fairness should be conceptualized first and foremost as a political issue, and it should be (re)solved by democratic communication. The aim of this paper, therefore, is to explicitly reconceptualize algorithmic fairness as a political question and suggest the current discussion of algorithmic fairness can be strengthened by adopting the accountability for reasonableness framework. (shrink)

Predictive algorithms are playing an increasingly prominent role in society, being used to predict recidivism, loan repayment, job performance, and so on. With this increasing influence has come an increasing concern with the ways in which they might be unfair or biased against individuals in virtue of their race, gender, or, more generally, their group membership. Many purported criteria of algorithmic fairness concern statistical relationships between the algorithm’s predictions and the actual outcomes, for instance requiring that the rate of (...) false positives be equal across the relevant groups. We might seek to ensure that algorithms satisfy all of these purported fairness criteria. But a series of impossibility results shows that this is impossible, unless base rates are equal across the relevant groups. What are we to make of these pessimistic results? I argue that none of the purported criteria, except for a calibration criterion, are necessary conditions for fairness, on the grounds that they can all be simultaneously violated by a manifestly fair and uniquely optimal predictive algorithm, even when base rates are equal. I conclude with some general reflections on algorithmic fairness. (shrink)