The truth of every human being is the end his life with death, and this leads to leaving assets and funds for those after him and can lead to hate between the heirs, it has made a point of Islamic law on all aspects of life, including the subject of the inheritance of the deceased. The main problem is how to get the knowledge of the basics of inheritance. This paper reviews work done in the use of expert system software (...) to calculate inheritance in Islam. A proposed expert system was designed and developed using CLIPS language to calculate the inheritance in Islam. (shrink)

The value of health states is often understood to depend on their impact on the goodness of people's lives. As such, prominent health states metrics are grounded in particular conceptions of wellbeing – e.g. hedonism or preference satisfaction. In this paper, I consider how liberals committed to the public justification requirement – the requirement that public officials choose laws and policies that are justifiable to their citizens – should evaluate health states. Since the public justification requirement prohibits public officials from (...) appealing to controversial conceptions of the good life, liberals committed to this principle face a significant puzzle. (shrink)

Zuse proposed that the universe is being computed by some sort of cellular automaton or other discrete computing machinery, challenging the long-held view that some physical laws are continuous by nature. Calculating Space is the title of MIT's English translation of Konrad Zuse's 1969 Rechnender Raum, the first work on digital physics. This is the LaTeX edition by A. German and H. Zenil based on the MIT's English translation with permission from the MIT and Konrad Zuse's son Horst Zuse. Followed (...) by an afterword by A. German and H. Zenil. (shrink)

Les sciences cognitives poursuivent un objectif fort ancien, qui consiste, sommairement dit, à décrire et à expliquer les comportements intelligents. Elles appliquent à cet effet des principes méthodologiques moins traditionnels, dont l'adoption définit ce qu'il est convenu d'appeler le "tournant cognitif". Je me propose ici d'exposer brièvement ces principes, de les illustrer par des exemples appropriés et d’en discuter la signification philosophique. Pour l’essentiel, j’ai mis en avant un domaine qui me semble particulièrement pertinent pour les philosophes: l'analyse de la (...) catégorisation, c'est-à-dire du processus par lequel un ensemble d'entités (stimuli sonores ou visuels, objets concrets ou abstraits) en vient à être classifié en catégories séparées, qui peuvent être de type perceptif (phonèmes, couleurs) ou conceptuel (espèces naturelles, types d'événements, catégories esthétiques et morales). (shrink)

This short paper defends Oliver Williamson’s (1993) claim that talk of trust is ‘redundant at best and can be misleading’ when trust is defined as a form of calculated risk (p. 463). And this paper accepts Williamson’s claim that ‘Calculative trust is a contradiction in terms’ (p. 463). But the present paper defends a conception of genuine, non-calculative trust that is compatible with calculative considerations and calculative antecedents. This conception of trust creates space for genuine (non-calculative) trust relationships in the (...) economic order—in which calculative considerations and antecedents (most often) play an essential role. (shrink)

Hauser argues that his pocket calculator (Cal) has certain arithmetical abilities: it seems Cal calculates. That calculating is thinking seems equally untendentious. Yet these two claims together provide premises for a seemingly valid syllogism whose conclusion - Cal thinks - most would deny. He considers several ways to avoid this conclusion, and finds them mostly wanting. Either we ourselves can't be said to think or calculate if our calculation-like performances are judged by the standards proposed to rule out Cal; or (...) the standards- e.g., autonomy and self-consciousness- make it impossible to verify whether anything or anyone (save oneself) meets them. While appeals to the intentionality of thought or the unity of minds provide more credible lines of resistance, available accounts of intentionality and mental unity are insufficiently clear and warranted to provide very substantial arguments against Cal's title to be called a thinking thing. Indeed, considerations favoring granting that title are more formidable than is generally appreciated. Rapaport's comments suggest that, on a strong view of thinking, mere calculating is not thinking (and pocket calculators don't think), but on a weak, but unexciting, sense of thinking, pocket calculators do think. He closes with some observations on the implications of this conclusion. (shrink)

Phenomenology and Quantum theory have defined themselves against the subject-object tradition of thought and against the modern objectivistic attempt to unify explanation of reality or being. Scientific technology and calculative way of thinking have prevailed over meditative and qualitative thinking in modern times. Despite scientific efforts to eliminate any inconsistency caused by metaphysical speculations and systems, in everyday life and science we encounter such phenomena which cannot be explained unambiguously and fully on the basis of purely conventional criteria. This paper (...) focuses on Bohr's framework of complementarity. The idea enables us exploring and describing a given phenomenon in such manner that we get adequate knowledge of the same phenomenon or subject of interest only by completing incompatible descriptions. (shrink)

We are on Mars again – the favourite laboratory for philosophical experiments. Our host colleagues introduce us to some Martian stuff referred to as “T”, and ask us to help them to identify T on other possible worlds. Or, technically speaking, we are asked to determine the intension of “T”, i.e., what the term designates with respect to different possible worlds. Following a short series of experiments on the planet, we conclude that the intension of “T” depends upon three factors: (...) (1) The semantic rule linked with the term, i.e., the way in which the term is designed to pick out its referent with respect to different possible worlds (e.g., as a definite description, or as a proper name, or as an actualised description etc.); (2) The properties of the referent of “T” in the actual world; and, (3) What we shall call ‘the metaphysical background of the universe’, i.e., what counts as a thing vs. what counts as a property of things (e.g., whether the universe is such that it contains material objects that merely happen to have their manifest properties, or whether the universe primarily contains manifest objects that merely happen to have their material constitution). As our experiments show, changing the values of any of these variables will result in a change in the reference of the term with respect to different possible worlds, viz., it will result in a change in the intension of the term. We then demonstrate how the three variables are interrelated, and specify how exactly they combine to produce a particular intension of a term. We conclude with a general “formula” that determines what will deserve to be called “T” relative to the different values of the above variables, i.e., we come up with a calculator of intensions. Finally, we also draw some morals about rigidity. (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)

Calculation is omnipresent in the current pandemic. And yet, Continental philosophers never talk about calculation: it seems to be the c** of philosophy. Why is that so? Has it always been like that?

The present article proposes to study Condillac’s analysis of Spinoza’s Ethics, against the background of the more general criticism that the French abbot makes of the seventeenth-century logique de système. From the Essai sur l’origine des connaissances humaines to the Traité des systèmes to the later texts, Condillac’s theory and critique of systems are crossed by two components: on the one hand, the search for the sensory origin of ideas, that Condillac radicalizes in his Traité des sensations into a theory (...) of knowledge as a ‘transformed sensation’. On the other hand, an operative logic of signs, which from the Essai to the works subsequent to the Traité des sensations translates sensibility into a knowledge, or a ‘well-made language’, whose logic is calculation. My objective is to clarify how the new ‘systematic spirit’, repeatedly invoked by the abbot, departs from the ‘bad metaphysics’ that he claims to liquidate. The comparison with the Spinozist system will be illuminating: in his treatise on the metaphysical systems of the seventeenth century Condillac proposes a critical analysis of the ‘geometrical spirit’; in his latest work, La langue des calculs, he proposes a new logic to which he assigns the task of bringing together the abstract and the concrete, beyond the ruins of classical metaphysics. The ‘systematic spirit’ and ‘spirit of system’ will be revealed, in spite of Condillac’s efforts, as being much closer to what it appears at first sight. (shrink)

This book presents not only the mathematical concept of probability, but also its philosophical aspects, the relativity of probability and its applications and even the psychology of probability. All explanations are made in a comprehensible manner and are supported with suggestive examples from nature and daily life, and even with challenging math paradoxes.

The work described in this report is motivated by the desire to test the expressive possibilities of action language C+. The Causal Calculator (CCalc) is a system that answers queries about action domains described in a fragment of that language. The Zoo World and the Traffic World have been proposed by Erik Sandewall in his Logic Modelling Workshop—an environment for communicating axiomatizations of action domains of nontrivial size. -/- The Zoo World consists of several cages and the exterior, gates between (...) them, and animals of several species, including humans. Actions in this domain include moving within and between cages, opening and closing gates, and mounting and riding animals. The Traffic World includes vehicles moving continuously between road crossings subject to a number of restrictions, such as speed limits and keeping a fixed safety distance away from other vehicles on the road. We show how to represent the two domains in the input language of CCalc, and how to use CCalc to test these representations. (shrink)

A number of examples have been given of physical systems (both classical and quantum mechanical) which when provided with a (continuously variable) computable input will give a non-computable output. It has been suggested that these systems might allow one to design analogue machines which would calculate the values of some number-theoretic non-computable function. Analysis of the examples show that the suggestion is wrong. In Section 4 I claim that given a reasonable definition of analogue machine it will always be wrong. (...) The claim is to be read not so much as a dogmatic assertion, but rather as a challenge. -/- In Sections 1 and 2 I discuss analogue machines, and lay down some conditions which I believe they must satisfy. In Section I discuss the particular forms which a paradigm undecidable problem (or non-computable function) may take. In Sections 5 and 6 I justify any claim for two particular examples lying within the range of classical physics, and in Section 7 I justify it for two (closely connected) examples from quantum mechanics, and discuss, very briefly, other possible quantum mechanical situations. Section 8 contains various remarks and comments. In Section 9 I consider the suggestion made by Penrose that a (future) theory of quantum gravity may predict non-locally-determined, and perhaps non-computable patterns of growth for microsopic structures. My conclusion is that such a theory will have to have non-computability built into it. (shrink)

Johann Eck (1486–1543) has been introduced to modern scholarship as a prominent figure of the pre-Tridentine Counter-Reformation. As part of the curricular transformations of the University of Ingolstadt, he wrote commentaries on logical and scientific works by Aristotle and Peter of Spain. Utilising a variety of sources, the two volumes dedicated to physics and natural philosophy published in 1518 and 1519 were self-contained textbooks including annotated translations of the texts and quaestio-commentaries. These developed the doctrines of the Oxford Calculators mediated (...) through Continental sources, reproducing their conceptual and mathematical apparatus, including the famous middle degree theorem and Bradwardine’s law. (shrink)

In some recent papers (G. ‘t Hooft and others), it has been argued that quantum mechanics can arise from classical cellular automata. Nonetheless, G. Shpenkov has proved that the classical wave equation makes it possible to derive a periodic table of elements, which is very close to Mendeleyev’s one, and describe also other phenomena related to the structure of molecules. Hence the classical wave equation complements Schrödinger’s equation, which implies the appearance of a cellular automaton molecular model starting from classical (...) wave equation. The other studies show that the microworld is constituted as a tessellation of primary topological balls. The tessellattice becomes the origin of a submicrospic mechanics in which a quantum system is subdivided to two subsystems: the particle and its inerton cloud, which appears due to the interaction of the moving particle with oncoming cells of the tessellattice. The particle and its inerton cloud periodically change the momentum and hence move like a wave. The new approach allows us to correlate the Klein-Gordon equation with the deformation coat that is formed in the tessellatice around the particle. The submicroscopic approach shows that the source of any type of wave movements including the Klein-Gordon, Schrödinger, and classical wave equations is hidden in the tessellattice and its basic exciations – inertons, carriers of mass and inert properies of matter. We also discuss possible correspondence with Konrad Zuse’s calculating space. (shrink)

Action Languages are formal methods of talking about actions and their effects on fluents. One recent approach in planning is to define the domains of the planning problems using action languages. The aim of this research is to find a plan for a system defined in the action language C by translating it into a causal theory and then finding an equivalent logic program. The planning problem will then be reduced to finding the answer set (stable model) of this logic (...) program. This planner will be added as an extension to the Causal Calculator (CCALC) which is a model checker for the language of the causal theories. (shrink)

When disability-adjusted life years are used to measure the burden of disease on a population in a time interval, they can be calculated in several different ways: from an incidence, pure prevalence, or hybrid perspective. I show that these calculation methods are not equivalent and discuss some of the formal difficulties each method faces. I show that if we don’t discount the value of future health, there is a sense in which the choice of calculation method is a mere question (...) of accounting. Such questions can be important, but they don’t raise deep theoretical concerns. If we do discount, however, choice of calculation method can change the relative burden attributed to different conditions over time. I conclude by recommending that studies involving disability-adjusted life years be explicit in noting what calculation method is being employed and in explaining why that calculation method has been chosen. (shrink)

Horizontal gene transfer (HGT) has been a paramount mechanism of interest in recent literature addressing the origins of biological evolution. However, research on lightning-triggered electroporation represents the innovative and still insufficiently grasped approach to HGT (Kotnik, 2013). On the other hand, prebiotic synthesis is a fundamental process for chemical evolution. Recently, the effects of volcanic lightning on nitrogen fixation and phosphate reduction have also been considered (NavarroGonzález and Segura, 2004). This paper aims to present a top-down approach to the question (...) of the origin of life on early Earth. By considering the conditions necessary for the emergence of biological and chemical evolution, emphasizing electrostatic discharges, we will attempt to link previous theoretical and experimental research. Furthermore, we will present a recent endeavor at applying the Drake equation to calculating the probability of volcanic lightning impact on the prebiotic synthesis and derive a similar use in estimating the contribution of lightning to HGT (Weaver, 2013). We will also display that choosing a type of probability appropriate for the context of life sciences is not necessarily a quantitative issue. Finally, we will show that significant conceptual constraints, like determining the relevant factors and sources of uncertainty when considering the origin of life on early Earth, are fundamentally philosophical issues. We hope that the results of our research – deriving Drake’s equation in the domain of chemical evolution and considering Bayesian and counterfactual types as potentially more suitable candidates for calculating probabilities in the evolutionary framework – will contribute to developing new discussions in life sciences. (shrink)

J’ai lu de nombreuses discussions récentes sur les limites du calcul et de l’univers en tant qu’ordinateur, dans l’espoir de trouver quelques commentaires sur le travail étonnant du physicien polymathe et théoricien de la décision David Wolpert, mais n’ont pas trouvé une seule citation et je présente donc ce résumé très bref. Wolpert s’est avéré quelques théoricaux d’impossibilité ou d’incomplétude renversants (1992 à 2008-voir arxiv dot org) sur les limites de l’inférence (computation) qui sont si généraux qu’ils sont indépendants de (...) l’appareil faisant le calcul, et même indépendamment des lois de la physique, ainsi ils s’appliquent à travers les ordinateurs, la physique, et le comportement humain. Ils utilisent la diagonalisation de Cantor, le paradoxe menteur et les worldlines (lignes du monde) pour fournir ce qui peut être le théorème ultime dans Turing Machine Theory, et apparemment fournir des aperçus de l’impossibilité, l’incomplétude, les limites du calcul, et l’univers comme ordinateur, dans tous les univers possibles et tous les êtres ou mécanismes possibles, générant, entre autres, un principe d’incertitude mécanique non quantique et une preuve de monothéisme. Il existe des connexions évidentes à l’œuvre classique de Chaitin, Solomonoff, Komolgarov et Wittgenstein et à l’idée qu’aucun programme (et donc aucun dispositif) ne peut générer une séquence (ou un dispositif) avec une plus grande complexité qu’il ne possède. On pourrait dire que cet ensemble de travaux implique l’athéisme puisqu’il ne peut y avoir d’entité plus complexe que l’univers physique et du point de vue wittgensteinien, « plus complexe » n’a aucun sens (n’a pas de conditions de satisfaction, c’est-à-dire véridique ou test). Même un « Dieu » (c’est-à-dire un « dispositif » avec un temps/ espace et une énergie illimité) ne peut pas déterminer si un « nombre » donné est « aléatoire», ni trouver un certain moyen de montrer qu’une « formule » donnée, un « théorème » ou une « phrase » ou un « dispositif » (tous ces jeux de langage complexes) fait partie d’un « système » particulier. Ceux qui souhaitent un cadre complet à jour pour le comportement humain de la vue moderne de deux systemes peuvent consulter mon livre 'The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle' 2nd ed (2019). Ceux qui s’intéressent à plus de mes écrits peuvent voir 'Talking Monkeys --Philosophie, Psychologie, Science, Religion et Politique sur une planète condamnée --Articles et revues 2006-2019 2ème ed (2019) et Suicidal Utopian Delusions in the 21st Century 4th ed (2019) et autres. (shrink)

Review of Dowek, Gilles, Computation, Proof, Machine, Cambridge University Press, Cambridge, 2015. Translation of Les Métamorphoses du calcul, Le Pommier, Paris, 2007. Translation from the French by Pierre Guillot and Marion Roman.

The new kid on the block in cognitive science these days is dynamic systems. This way of thinking about the mind is, as usual, radically opposed to computationalism - - the hypothesis that thinking is computing. The use of dynamic systems is just the latest in a series of attempts, from Searle's Chinese Room Argument, through the weirdnesses of postmodernism, to overthrown computationalism, which as we all know is a perfectly nice hypothesis about the mind that never hurt anyone.

It seems to be a common and intuitively plausible assumption that conversational implicatures arise only when one of the so-called conversational maxims is violated at the level of what is said. The basic idea behind this thesis is that, unless a maxim is violated at the level of what is said, nothing can trigger the search for an implicature. Thus, non-violating implicatures wouldn’t be calculable. This paper defends the view that some conversational implicatures arise even though no conversational maxim (...) is violated at the level of what is said. (shrink)

According to the Best System Account of lawhood, laws of nature are theorems of the deductive systems that best balance simplicity and strength. In this paper, I advocate a different account of lawhood which is related, in spirit, to the BSA: according to my account, laws are theorems of deductive systems that best balance simplicity, strength, and also calculational tractability. I discuss two problems that the BSA faces, and I show that my account solves them. I also use my account (...) to illuminate the nomological character of special science laws. (shrink)

The development of technology is unbelievably rapid. From limited local networks to high speed Internet, from crude computing machines to powerful semi-conductors, the world had changed drastically compared to just a few decades ago. In the constantly renewing process of adapting to such an unnaturally high-entropy setting, innovations as well as entirely new concepts, were often born. In the business world, one such phenomenon was the creation of a new type of entrepreneurship. This paper proposes a new academic discipline of (...) computational entrepreneurship, which centers on: (i) an exponentially growing (and less expensive) computing power, to the extent that almost everybody in a modern society can own and use that; (ii) omnipresent high-speed Internet connectivity, wired or wireless, representing our modern day’s economic connectomics; (iii) growing concern of exploiting “serendipity” for a strategic commercial advantage; and (iv) growing capabilities of lay people in performing calculations for their informed decisions in taking fast-moving entrepreneurial opportunities. Computational entrepreneurship has slowly become a new mode of operation for business ventures and will likely bring the academic discipline of entrepreneurship back to mainstream economics. (shrink)

This is an appendix to the article "Wie effizient sollten Altruisten handeln?" ("How Efficient Should Altruists Act?") The appendix provides detailed moral efficiency calculations for two charitable projects: a children's home in Guatemala for neglected children versus malaria prevention by distributing mosquito nets in malaria areas in sub-Saharan Africa. The exact method of efficiency calculation is explained and applied. At least prima facie, the malaria prophylaxis project is clearly more efficient.

Quantum computer is considered as a generalization of Turing machine. The bits are substituted by qubits. In turn, a "qubit" is the generalization of "bit" referring to infinite sets or series. It extends the consept of calculation from finite processes and algorithms to infinite ones, impossible as to any Turing machines (such as our computers). However, the concept of quantum computer mets all paradoxes of infinity such as Gödel's incompletness theorems (1931), etc. A philosophical reflection on how quantum computer might (...) implement the idea of "infinite calculation" is the main subject. (shrink)

Is calculation possible without language? Or is the human ability for arithmetic dependent on the language faculty? To clarify the relation between language and arithmetic, we studied numerical cognition in speakers of Mundurukú, an Amazonian language with a very small lexicon of number words. Although the Mundurukú lack words for numbers beyond 5, they are able to compare and add large approximate numbers that are far beyond their naming range. However, they fail in exact arithmetic with numbers larger than 4 (...) or 5. Our results imply a distinction between a nonverbal system of number approximation and a language-based counting system for exact number and arithmetic. (shrink)

What is reality? How do we know? Answers to these fundamental questions of ontology and epistemology, based on Mahatma Gandhi's "experiments with truth", are: reality is nonviolent (in the sense of not-inconsistent), and nonviolence (in the sense of respecting-meaning) is the only means of knowing (Gandhi, 1940). Be that as it may, science is what we think of when we think of reality and knowing. How does Gandhi's nonviolence, discovered in his spiritual quest for Truth, relate to the scientific pursuit (...) of truth? Here we show that Gandhian nonviolent knowing of nonviolent reality is an abstraction of both individual knowing (looking, reasoning) and collective scientific knowing (measurements, calculations). Specifically, Gandhi's truth-through-nonviolence is a law-like summation of the methods of physics ("do not disturb" of measurements) and of mathematics ("do not tear" of calculations) that are used to know. Moreover, physics (with its lawful behaviour of bodies) and biology (in preserving the meaning of genetic code) do affirm that the defining attribute of reality is nonviolence. In light of these correspondences, the Mahatma's derivation of a universal method of knowing (nonviolence of preserving-structure) from a universal truth (nonviolence of consistent-becoming) constitutes a science-supported general theory of reality and knowing. (shrink)

The Anscombean conception of intentional action endorses that an action's being intentional is in virtue of its internal structure, rather than any extra ingredient. Anscombe (2000) calls it the calculative order "that is there whenever actions are done with intentions," which features its teleological aspect. In his work reviving this tradition, Thompson (2008) highlights its temporal aspect. With the help of the concept "compound action," we shall see that typical intentional action attends to both aspects. The synthesis is met by (...) shifting from the aspect of action to agency. To act intentionally, an agent needs not only the capacity for calculating from a general end to a specific means, but also the capacity for planning: coordinate stages of different actions over time hierarchically, by occupying a certain kind of slots. (shrink)

on calculating Apocalypse, awakening the Avatar, and related.

Despite their success in describing and predicting cognitive behavior, the plausibility of so-called ‘rational explanations’ is often contested on the grounds of computational intractability. Several cognitive scientists have argued that such intractability is an orthogonal pseudoproblem, however, since rational explanations account for the ‘why’ of cognition but are agnostic about the ‘how’. Their central premise is that humans do not actually perform the rational calculations posited by their models, but only act as if they do. Whether or not the problem (...) of intractability is solved by recourse to ‘as if’ explanations critically depends, inter alia, on the semantics of the ‘as if’ connective. We examine the five most sensible explications in the literature, and conclude that none of them circumvents the problem. As a result, rational ‘as if’ explanations must obey the minimal computational constraint of tractability. (shrink)

It is often observed in metaethics that moral language displays a certain duality in as much as it seems to concern both objective facts in the world and subjective attitudes that move to action. In this paper, I defend The Dual Aspect Account which is intended to capture this duality: A person’s utterance of a sentence according to which φing has a moral characteristic, such as “φing is wrong,” conveys two things: The sentence expresses, in virtue of its conventional meaning, (...) the belief that φing has a moral property, and the utterance of the sentence carries a generalized conversational implicature to the effect that the person in question has an action-guiding attitude in relation to φing. This account has significant advantages over competing views: (i) As it is purely cognitivist, it does not have the difficulties of expressivism and various ecumenical positions. (ii) Yet, in spite of this, it can explain the close, “meaning-like,” connection between moral language and attitudes. (iii) In contrast to other pragmatic accounts, it is compatible with any relevant cognitivist view. (iv) It does not rest on a contentious pragmatic notion, such as conventional implicature. (v) It does not imply that utterances of complex moral sentences, such as conditionals, convey attitudes. In addition, the generalized implicature in question is fully calculable and cancellable. (shrink)

In Pascal Boyer’s book Religion Explained inference systems are made to do a lot of work in his attempts to explain cognition in religion. These inference systems are systems in the brain that produces inferences when they are activated by things we perceive in our environment. According to Boyer they perceive things, produce explanations, and perform calculations. However, if Wittgenstein’s observation, that “only of a living human being and what resembles (behaves like) a living human being can one say: it (...) has sensations; it sees; is blind; hears; is deaf; is conscious or unconscious” is correct then it seems that Boyer’s talk of inference systems perceiving and inferring is confused. (shrink)

Longtermists have recently argued that it is overwhelmingly important to do what we can to mitigate existential risks to humanity. I consider three mistakes that are often made in calculating the value of existential risk mitigation. I show how correcting these mistakes pushes the value of existential risk mitigation substantially below leading estimates, potentially low enough to threaten the normative case for existential risk mitigation. I use this discussion to draw four positive lessons for the study of existential risk. -/- (...) . (shrink)

This chapter argues that Fanon works to interrupt specular and spectacular renderings of suffering and colonial violence. The touch that Fanon advocates is neither optimal grip, violent grasp, nor uniform pressure, nor can it be predicted in advance. His writing touches colonial wounds; by palpating these wounds and dwelling in them, it resuscitates colonial wounds as feelings that are flesh, and does not leave them behind as if their scar tissue was merely a numb object of the past. Fanon seems (...) to reiterate Edmund Husserl’s phenomenological discovery in Ideas II that the hand that touches the surface of a table, as it moves across it, also feels itself touched. Fanon’s aim is not simply to calculate the destructive effects of colonization, against arguments for its partial “civilizing” benefits. (shrink)

In this text, I consider two examples in the history of emancipation and manumission of enslaved, Black populations in the Caribbean and South America in order to theorize a colonial mode of conceiving of freedom at play in the first half of the nineteenth century. This mode is marked by the figure of the promise, enacting a notion of freedom as a constantly deferred, external compensation. Indeed, instead of an immediate decision deeming the practice of enslavement and trade of human (...) beings unacceptable, and an effective liberation of the enslaved Black populations in these different emancipation proclamations, the various histories of manumission in Latin America and the Caribbean show a long series of political and legal attempts to reduce and limit the extent of the slave trade that deferred the process of liberation for decades. Moreover, in many of these territories the practice did not end with the official proclamation of emancipation but was continued by illegal practices and mutations into legal forms of exploitation and oppression that are still operative today. After outlining this first trajectory, reconstructing the promise of manumission in the historical examples of Martinique (as read by Édouard Glissant) and La Gran Colombia and the Republic of Nueva Granada (contemporary Panamá, Colombia, Venezuela, and Ecuador), I analyze a second mode of investigation in examples of individual and collective strategies of liberation coming from the enslaved themselves, as reconstructed by contemporary feminist scholars in South America. These strategies appropriate liberation not as a promise, but as a negotiation and calculation that begins with the enslaved’s resistance to their oppressive conditions and that ultimately depends on the external concession by juridical authorities. In the third section of the chapter, I read these practices not as marronage, as they are sometimes approached, but as a different mode of turning back to these glimpses of freedom that more effectively challenge the narrative of emancipation and, with it, the promise of manumission in our present. -/- . (shrink)

As populations grow and arable land becomes increasingly scarce, large-scale long- term land leases are signed at a growing rate. Countries and investors with large amounts of financial resources and a strong agricultural industry seek long-term land leases for agricultural exploitation or investment purposes. Leaders of financially poorer countries often advertise such deals as a fast way to attract foreign capital. Much has been said about the short-term social costs these types of leases involve, however, less has been said about (...) the normative dimension of their long-term environmental impact. We therefore will focus on the likely impact such deals have for soil conservation, by (1) briefly introducing the basics of long-term leasing arrangements by comparing land leases to the renting of buildings, (2) explaining from a soil sciences perspective the difficulties in assessing the current value of an estate and in calculating the damages of soil erosion and degradation, and (3) show how difficult it is to incentivize the conservation of soil quality when one cannot sufficiently and cost-effectively valorize existing environmental capital and eventual future damages. Attempting to oblige tenants through contracts to invest in sustainable stewardship has limited potential when liability payments do not reflect true costs and are hard to enforce. (shrink)

If an agent believes that the probability of E being true is 1/2, should she accept a bet on E at even odds or better? Yes, but only given certain conditions. This paper is about what those conditions are. In particular, we think that there is a condition that has been overlooked so far in the literature. We discovered it in response to a paper by Hitchcock (2004) in which he argues for the 1/3 answer to the Sleeping Beauty problem. (...) Hitchcock argues that this credence follows from calculating her fair betting odds, plus the assumption that Sleeping Beauty’s credences should track her fair betting odds. We will show that this last assumption is false. Sleeping Beauty’s credences should not follow her fair betting odds due to a peculiar feature of her epistemic situation. (shrink)

Cogitation described as calculation, the living being described as a machine, cognitive functions considered as algorithmic sequences and the ‘mechanization’ of the subjective were the theoretical elements that late heideggerian anti–humanism, especially in France was able to utilize[1], even more so, after the second cybernetics or post-cybernetics movement of the late ‘60s introduced the concepts of the autopoietic and the allopoietic automata[2]. Recently, neurologists pose claims on the traditional epistemological field of philosophy, proceeding from this ontological decision, the equation of (...) human cognition to cybernetic systems. -/- The emergence of the world-wide-web in the 1990s and the global expansion of the internet during the first decades of the 21st century indicate the fallacies of the cybernetics programme to mechanize the mind. We stand witnesses to a semantic colonization of the cybernetic system, a social imaginary creation and expansion within the digital ensemblistic – identitarian organization that cannot be described by mechanical or cybernetic terms. Paradoxically, cyberspace, as a new being, a form of alterity, seems to both exacerbate and capsize the polarization between the operational and the symbolic. The creation of the internet might be more than an epistemological revolution, to use the terminology of Thomas Kuhn. It might be an ontological revolution. -/- I will try to demonstrate that the emergence of the Internet refutes any such claims, since its context and utility can only be described by means of a social epistemology based on the understanding of social significances as continuous creations of an anonymous social imaginary proposed by Cornelius Castoriadis (1922-1997). I will try to explore some social-semantic aspects of the cyberspace as a nexus of social representations of the individual identity that forms a new sphere of being, where the subjective and the objective merge in a virtual subjective objectivity with unique epistemological attributes and possibilities. (shrink)

In a calculation involving imaginary numbers, we begin with real numbers that represent concrete measures and we end up with numbers that are equally real, but in the course of the operation we find ourselves walking “as if on a bridge that stands on no piles”. How is that possible? How does that work? And what is involved in the as-if stance that this metaphor introduces so beautifully? These are questions that bother Törless deeply. And that Törless is bothered by (...) such questions is a central question for any reader of Törless. Here I offer my interpretation, along with a reconstruction of the philosophical intuition that lies behind it all. (shrink)

In the Republic, Phaedrus, and Timaeus, Socrates holds that the psyche is complex, or has three distinct and semi-autonomous sources of motivation, which he calls the reasoning, spirited, and appetitive parts. While the rational part determines what is best overall and motivates us to pursue it, the spirited and appetitive parts incline us toward different objectives, such as victory, honor, and esteem, or the satisfaction of our desires for food, drink, and sex. While it is obvious that Socrates primarily characterizes (...) and distinguishes the parts in terms of what each desires and pursues, what is less often brought to the fore is that he also characterizes and distinguishes the parts in terms of how they think. More specifically, he claims that the rational part forms its beliefs on the basis of rational calculation, while the spirited and appetitive parts form their beliefs on the basis of how things appear, without scrutinizing those appearances. Socrates’ dual characterization of the parts of the soul raises a question: why does he characterize each part as having the particular desires and cognitive abilities that he does? In general, how do facts about what a part desires relate to facts about how it thinks? In this paper, I suggest an answer to this question, one that I hope sheds light on the nature of the parts of the soul and so on Plato’s theory of tripartition more generally. I conclude by showing that Socrates’ theory bears a notable resemblance to contemporary dual process theories of judgment, according to which we have two distinct processes for forming judgments, one which is broadly akin to reflection and another to intuition. (shrink)

In this article I examine several related views expressed by Robin Hendry concerning molecular structure, emergence and chemical bonding. There is a long-standing problem in the philosophy of chemistry arising from the fact that molecular structure cannot be strictly derived from quantum mechanics. Two or more compounds which share a molecular formula, but which differ with respect to their structures, have identical Hamiltonian operators within the quantum mechanical formalism. As a consequence, the properties of all such isomers yield precisely the (...) same calculated quantities such as their energies, dipole moments etc. The only means through which the difference between the isomers can be recovered is to build their structures into the quantum mechanical calculations, something that is carried out by the application of the Born-Oppenheimer approximation. Consequently, it has been argued by many authors that molecular structure is written in ‘by hand’ rather than derived. Robin Hendry is one such author, but he goes a great deal further by proposing that this situation implies the existence of emergence and downward causation. In the current article I argue that there are alternative explanations which render emergence and downward causation redundant. Such an alternative lies in the notion of quantum decoherence and the appeal to work in the foundations of physics, which posits that the various isomers exist as a superposition until their wavefunctions are collapsed either by observation or by interacting with their environment. Hendry also alludes to a debate among chemists as to whether chemical bonds are real or not, in the sense of directional connections between two or more nuclei in any given molecule. I reject this view and propose that the structural and energetic views of chemical bonding, that have been discussed by some philosophers of chemistry including Hendry, do not refer to any essential ontological differences. I agree that chemists view bonding in a more realistic fashion and may consider bonds to be in some senses real, while physicists may consider bonding in more abstract energetic terms. However, I do not believe that such differences in scientific practice and attitudes should be considered to offer a window as to the ontological status of bonding or whether bonding is real. Finally, I discuss the kinetic energy school of chemical bonding which would seem to challenge any notion of bonds as directional entities, since bonding is no longer regarded as being primarily due to the build-up of electron density between nuclei. (shrink)

The diversity in agronomic practices being used by sugarcane producers in Brazil determines differences in economic performance and cost structure. The purpose of this study is to evaluate the cost of six systems of agronomic practices using fixed or variable rates for soil amendment, fertilizer, and defensive applications and assess the profitability of these systems at three scales of sugarcane production. We then describe the data sample related to the 2019–2020 harvest season and collected from fifty-five sugarcane producers in the (...) central-south region of Brazil. Thereafter, using a quantitative approach, a cost analysis was performed, and the cumulative frequency of the net revenue for the three scales of production (small, medium, and large), was calculated using a Monte Carlo simulation. The cost analysis indicated that fertilizer had the highest cost considering the agronomic practices adopted at the three scales of production analyzed. The cumulative frequency analysis results from the Monte Carlo simulation showed the highest net revenue per hectare for medium sugarcane producers. In addition, the presence of economies of scale was not confirmed because the lowest cost was found in small-scale sugarcane producers and the highest net revenue was obtained by medium-scale sugarcane producers. (shrink)

Throughout the 20th century, market capitalism was defended on parallel grounds. First, it promotes freedom by enabling individuals to exploit their own property and labor-power; second, it facilitates an efficient allocation and use of resources. Recently, however, both defenses have begun to unravel—as capitalism has moved into its “platform” phase. Today, the pursuit of allocative efficiency, bolstered by pervasive data surveillance, often undermines individual freedom rather than promoting it. And more fundamentally, the very idea that markets are necessary to achieve (...) allocative efficiency has come under strain. Even supposing, for argument’s sake, that the claim was true in the early 20th century when von Mises and Hayek pioneered it, advances in computing have rekindled the old “socialist calculation” debate. And this time around, markets—as information technology—are unlikely to have the upper hand. -/- All of this, we argue, raises an important set of governance questions regarding the political economy of the future. We focus on two: How much should our economic system prioritize freedom, and to what extent should it rely on markets? The arc of platform capitalism bends, increasingly, toward a system that neither prioritizes freedom nor relies on markets. And the dominant critical response, exemplified by Shoshana Zuboff’s work, has been to call for a restoration of market capitalism. Longer term, however, we believe it would be more productive to think about how “postmarket” economic arrangements might promote freedom—or better yet, autonomy—even more effectively than markets, and to determine the practical steps necessary to realize that possibility. (shrink)

Abstract: The use of the technology in the way of teaching and learning in the higher educational institutions sustained a significant position during the pandemic emergency in Pakistan and across the world to continue the educational activities. The extant study investigates the pedagogical challenges in which proposed factors used to discover the intention of the users in the form of their ease of the technological use and assessing the social influence of people regarding the innovative digital adoption in the online (...) learning atmosphere. This research inculcates the antecedents like perceived ease of use (PEOU) social influence (SI), satisfaction (S), and intention to use (ITU) to chart out the perception of the wireless based educational activities during the COVID-19 outbreak in the country and it aims to produce an empirical analysis of the easiness and social influence of users to accept the newly adopted technology and calculating the Web based pedagogical challenges via interpreting the users’ intention. For the data analysis 216 questionnaires have been collected from the teacher and students among three public universities in Sindh and the existing review develops a proposed conceptual framework model to meet the objectives of the study. In the way of the interpretation of data SPSS version 24 was brought in use and the testes of the hypotheses were carried out by means of regression and correlations. The research follows the limitation to meet the quantitative research methodology, teachers’ web based easiness and social feedback to deliver the online teaching and the recommendations urge to discover a research by using different factors. (shrink)

This paper focuses on the early sixteenth-century epistemic logic developed by John Mair’s circle and discusses iterated epistemic modalities, epistemic closure and Bradwardinian semantics related to the logic of epistemic statements. These topics are addressed as part of setting up and solving epistemic sophisms based on traditional scenarios which can be traced back to fourteenth-century British epistemic logic. While the ultimate source for the debate appears to be the second chapter of William Heytesbury’s Regule solvendi sophismata, the immediate source is (...) the Italian editorial, commentarial and philosophical tradition, notably Paul of Venice and Cajetan of Thiene. (shrink)

Advanced AI systems are rapidly making their way into medical research and practice, and, arguably, it is only a matter of time before they will surpass human practitioners in terms of accuracy, reliability, and knowledge. If this is true, practitioners will have a prima facie epistemic and professional obligation to align their medical verdicts with those of advanced AI systems. However, in light of their complexity, these AI systems will often function as black boxes: the details of their contents, calculations, (...) and procedures cannot be meaningfully understood by human practitioners. When AI systems reach this level of complexity, we can also speak of black-box medicine. In this paper, we want to argue that black-box medicine conflicts with core ideals of patient-centered medicine. In particular, we claim, black-box medicine is not conducive for supporting informed decision-making based on shared information, shared deliberation, and shared mind between practitioner and patient. (shrink)

In this paper, we deal with the computation of Lie derivatives, which are required, for example, in some numerical methods for the solution of differential equations. One common way for computing them is to use symbolic computation. Computer algebra software, however, might fail if the function is complicated, and cannot be even performed if an explicit formulation of the function is not available, but we have only an algorithm for its computation. An alternative way to address the problem is to (...) use automatic differentiation. In this case, we only need the implementation of the algorithm that evaluates the function in terms of its analytic expression in a programming language, but we cannot use this if we have only a compiled version of the function. In this paper, we present a novel approach for calculating the Lie derivative of a function, even in the case where its analytical expression is not available, that is based on the In finity Computer arithmetic. A comparison with symbolic and automatic differentiation shows the potentiality of the proposed technique. (shrink)

The utilitarian calculators of genetic therapy would do well to reflect again on Mills' liberal democratic rules of thumb: utility will generally be maximized when people are free to make choices, with good information, good instruments of collective action (democracy), and relative equality. My rule of thumb is that if we give future generations genetic choices, they will generally choose health, happiness, intelligence, and longevity, for themselves and their descendants.