The paper is a partly provocative essay edited as a humanitarian study in philosophy of science and social philosophy, reflecting on the practical, “anti-metaphysical” turn taken place since the 20th century and continuing until now. The article advocates that it is about time it to be overcome because it is the main obstacle for the further development of exact and natural sciences including mathematics therefore restoring the unity of philosophy and sciences in the dawn of modern science when the great (...) scientists were philosophers as a necessary condition for their revolutionary achievements, and the physicists were simultaneously mathematicians not less than philosophers and even theologians as Descartes, Newton, Leibnitz were just as their predecessors, Copernicus or Galileo Galilei. The revolution in science accomplished by them needed philosophy since any scientific revolution, then necessarily growing into social, needs philosophy; and if ones wish to prevent social revolutions originating from fundamental scientific discoveries, in turn relying on the close link of sciences and philosophy, they are to cut the link at issue, and just that happened in the 20th centuries therefore implicitly heralding a “brave new world” of eternal normal science without revolutions whether scientific or social. Fukuyama’s “end of history” requires an “end of scientific history” as it is an obligatory premise, and separating sciences from philosophy is sufficient for that, though proclaimed quite otherwise: as overcoming metaphysics preventing sciences and substituting them by quasi-sciences. Particularly, that “anti-metaphysical turn” has established for science to obey society absolutely and thoroughly, obviously a condition contradicting the scientific and social revolutions in Modernity featured by the domination of science over society by the mediation of philosophy able to translate all epochal scientific discoveries as social corollaries. A special attention is paid to quantum mechanics, being the frontier of physics in the 20th century, where that anti-metaphysical turn is discernibly concentrated and may be notated by the famous slogan “Shut up and calculate!” regardless of its authorship. Just the revolutionary discoveries in physics, for example those of “dark mass” and “dark energy” or entanglement force now its rejection therefore restoring the unity of philosophy, mathematics and physics, made ever possible the establishment of modern science by its emancipation from religion, and thus and ind final analysis, from society. (shrink)

This paper presents a novel understanding of the notion of calculability. In Gricean frameworks, calculability is defined in terms of how speakers can infer an implicature. The relevant inferences must e.g. be based on maxims of conversation or cooperation principles. Meanwhile, I suggest to define calculability in terms of when, or under which conditions, speakers can infer an implicature. An implicature is calculable if hearers can infer its existence even supposing that the implicature is not semantically encoded. This approach avoids (...) familiar challenges, including recently prominent challenges from pragmatic particularism. (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)

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)

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)

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)

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)

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)

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)

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?

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)

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)

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)

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)

Are the real numbers rich enough to measure intelligence? We generalize a result of Alexander and Hutter about the so-called Legg-Hutter intelligence measures of reinforcement learning agents. Using the generalized result, we exhibit a paradox: in one particular version of the Legg-Hutter intelligence measure, certain agents all have intelligence 0, even though in a certain sense some of them outperform others. We show that this paradox disappears if we vary the Legg-Hutter intelligence measure to be hyperreal-valued rather than real-valued.

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)

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)

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.

I aim to develop a tool for comparing theories of vagueness, using Structured Query Language. Relevant SQL snippets will be used throughout.

The main goal of the article is a further development of the usage of income and comparable approaches to company valuation aimed at defining market capitalization sensitivity to value changing in the conditions of dynamization of internal and external business parameters. The relevance of the researched topic is determined by the importance of establishing the factors influencing the change in company market capitalization based on the synthesis of approaches to company valuation. To obtain the results of the study, the following (...) methods were used: structural and logical analysis – to improve the process approach to company valuation in the context of determining the impact of its change on market capitalization; discounted cash flow method (DCF-model) – to determine the value of the enterprise based on the income approach; comparable companies method – to determine the value of the company on the basis of a market approach; factor analysis method – to assess the impact of changes in value on company market capitalization; generalization and logical analysis – in conclusions building. The results of critical analysis of publications of domestic and foreign scientists on the application of company valuation methods identified the need of improvement the process approach to company valuation in the context of determining the impact of its change on the company market capitalization. To adequately assess company value, the use of a synthesis of income and market approaches is proposed. The implementation of the DCF-model and comparable companies valuation method while valuation of Private Joint-Stock Company “SKF Ukraine” allowed to establish that the greatest impact on the target metric (company market capitalization) has an average industry multiplier EV/EBITDA, terminal growth rate and weighted average cost of capital – 5.9 %, 3.2% and 2.7% respectively. The practical value of the results of the study is determined by the importance of forming a full analytical basis for establishing the attractiveness of the performance of joint-stock companies in the market and consolidating management decisionsin order to increase market capitalization. (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)

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.

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)

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.

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)

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)

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.

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)

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)

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 paper proposes a method for approximating surfacing singularities of saddle maps using a sweeping net. The method involves constructing a densified sweeping subnet for each individual vertex of the saddle map, and then combining each subnet to create a complete approximation of the singularities. The authors also define two functions $f_1$ and $f_2$, which are used to calculate the charge density for each subnet. The resulting densified sweeping subnet closely approximates the surfacing saddle map near a circular region.

on calculating Apocalypse, awakening the Avatar, and related.

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)

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.

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)

Time has puzzled scientists. Some see it as just a tool and a unit of measurement, while others consider time to be a real thing and needs to be measured. There are also those who believe that time is an ancient thing that arose with the creation of the universe and the Earth, running parallel to life in them, and counting every movement, event, or speed in them. While some see it as an essential part and a major component of (...) the virtual relationship that includes life and place, there are also those who see time as a metaphysical thing that only appeared and developed in human consciousness and then mixed with the physics of life. Is duration measured by movement, or is movement measured by duration or time? Here began the dilemma of this research: How did time transform from a concept that reads and measures the flow of time forward, that is, the flow of time, according to Isaac Newton, into a physical measuring tool that calculates the movement, speed, and state of things? Then the concept turned into a tool that calculates the speed of light and tells the story of the origin and development of the universe. Scientists will not agree on a clear, direct, and frank interpretation of the concept of time, but people generally agree that time can be divided into past, present, and future. This division, according to this research, has gradually developed in human consciousness since the manifestations of knowledge appeared in the human mind and began to take its first steps. In the wondrous land where the sun rises repeatedly, the moon also rises, planets and stars appear, trees grow, rivers and seas overflow, storms and rain intensify, light appears and then darkness, and creatures wake up and sleep, mysteriously and repeatedly, until all these phenomena have become Appearances are measurable, with the development of human consciousness. In this brief research paper, we will discuss what is called “the present,” and the validity of its existence in the real time in which we live, and where its place is in human consciousness, and why scientists let it tamper with mathematical, physical, and social matter, and transformed it from a mere thing that does not exist, to a rest stop, which sometimes takes a long time., between the past and the future. (shrink)

In this paper, I offer a close reading of Wittgenstein's remarks on inconsistency, mostly as they appear in the Lectures on the Foundations of Mathematics. I focus especially on an objection to Wittgenstein's view given by Alan Turing, who attended the lectures, the so-called ‘falling bridges’-objection. Wittgenstein's position is that if contradictions arise in some practice of language, they are not necessarily fatal to that practice nor necessitate a revision of that practice. If we then assume that we have adopted (...) a paraconsistent logic, Wittgenstein's answer to Turing is that if we run into trouble building our bridge, it is either because we have made a calculation mistake or our calculus does not actually describe the phenomenon it is intended to model. The possibility of either kind of error is not particular to contradictions nor inconsistency, and thus contradictions do not have any special status as a thing to be avoided. (shrink)

Cross entropy measure is one of the best way to calculate the divergence of any variable from the priori one variable. We define a new cross entropy measure under interval neutrosophic set environment.

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)

Why would we want to develop artificial human-like arithmetical intelligence, when computers already outperform humans in arithmetical calculations? Aside from arithmetic consisting of much more than mere calculations, one suggested reason is that AI research can help us explain the development of human arithmetical cognition. Here I argue that this question needs to be studied already in the context of basic, non-symbolic, numerical cognition. Analyzing recent machine learning research on artificial neural networks, I show how AI studies could potentially shed (...) light on the development of human numerical abilities, from the proto-arithmetical abilities of subitizing and estimating to counting procedures. Although the current results are far from conclusive and much more work is needed, I argue that AI research should be included in the interdisciplinary toolbox when we try to explain the development and character of numerical cognition and arithmetical intelligence. This makes it relevant also for the epistemology of mathematics. (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)

Rule-Consequentialism faces “the problem of partial acceptance”: How should the ideal code be selected given the possibility that its rules may not be universally accepted? A new contender, “Calculated Rates” Rule-Consequentialism claims to solve this problem. However, I argue that Calculated Rates merely relocates the partial acceptance question. Nevertheless, there is a significant lesson from this failure of Calculated Rates. Rule-Consequentialism’s problem of partial acceptance is more helpfully understood as an instance of the broader problem of selecting the ideal code (...) given various assumptions—assumptions about who will accept and comply with the rules, but also about how the rules will be taught and enforced, and how similar the future will be. Previous rich discussions about partial acceptance provide a taxonomy and groundwork for formulating the best version of Rule-Consequentialism. (shrink)

A longstanding issue in attempts to understand the Everett (Many-Worlds) approach to quantum mechanics is the origin of the Born rule: why is the probability given by the square of the amplitude? Following Vaidman, we note that observers are in a position of self-locating uncertainty during the period between the branches of the wave function splitting via decoherence and the observer registering the outcome of the measurement. In this period it is tempting to regard each branch as equiprobable, but we (...) argue that the temptation should be resisted. Applying lessons from this analysis, we demonstrate (using methods similar to those of Zurek's envariance-based derivation) that the Born rule is the uniquely rational way of apportioning credence in Everettian quantum mechanics. In doing so, we rely on a single key principle: changes purely to the environment do not affect the probabilities one ought to assign to measurement outcomes in a local subsystem. We arrive at a method for assigning probabilities in cases that involve both classical and quantum self-locating uncertainty. This method provides unique answers to quantum Sleeping Beauty problems, as well as a well-defined procedure for calculating probabilities in quantum cosmological multiverses with multiple similar observers. (shrink)

In this paper, we present an expansion of one of the well-known classical inventory management models, which is the static model of inventory management without a deficit and for a single substance, based on the neutrosophic logic, where we provide through this study a basis for dealing with all data, whether specific or undefined in the field of inventory management, as it provides safe environment to manage inventory without running into deficit , and give us an approximate ideal volume of (...) inventory. Since the ideal size is affected by the rate of demand for inventory, we present in this paper a study of the rate of demand for inventory when it is not precisely refined, and we find that the indeterminate values of the demand rate cannot be ignored, because they actually affect determining the ideal size of inventory and calculating its costs, thus affecting on the efficiency of the facility and achieve great profits for it. (shrink)

When faced with uncertainty, consequentialists often advocate choosing the option with the largest expected utility, as calculated using the arithmetic average. I provide some arguments to suggest that instead, one should consider choosing the option with the largest geometric average of utility. I explore the difference between these two approaches in a variety of ethical dilemmas and argue that geometric averaging has some appealing properties as a normative decision-making tool.

In recent years, there has been a heated debate about how to interpret findings that seem to show that humans rapidly and automatically calculate the visual perspectives of others. In the current study, we investigated the question of whether automatic interference effects found in the dot-perspective task (Samson, Apperly, Braithwaite, Andrews, & Bodley Scott, 2010) are the product of domain-specific perspective-taking processes or of domain-general “submentalizing” processes (Heyes, 2014). Previous attempts to address this question have done so by implementing inanimate (...) controls, such as arrows, as stimuli. The rationale for this is that submentalizing processes that respond to directionality should be engaged by such stimuli, whereas domain-specific perspective-taking mechanisms, if they exist, should not. These previous attempts have been limited, however, by the implied intentionality of the stimuli they have used (e.g. arrows), which may have invited participants to imbue them with perspectival agency. Drawing inspiration from “novel entity” paradigms from infant gaze-following research, we designed a version of the dot-perspective task that allowed us to precisely control whether a central stimulus was viewed as animate or inanimate. Across four experiments, we found no evidence that automatic “perspective-taking” effects in the dot-perspective task are modulated by beliefs about the animacy of the central stimulus. Our results also suggest that these effects may be due to the task-switching elements of the dot-perspective paradigm, rather than automatic directional orienting. Together, these results indicate that neither the perspective-taking nor the standard submentalizing interpretations of the dot-perspective task are fully correct. (shrink)

Pascal’s wager uses decision theory to argue that it is rational to attempt to nurture belief in God, based on the expected utility of believing (infinite happiness) compared to not believing (at best, only finite happiness). A belief in an eternal conscious torment in hell (infinite suffering) for non-believers makes the differences in expected utility even more apparent, strengthening the argument. Similar reasoning can also be used to calculate the expected moral value of actions, including procreation. Under theism, if possible (...) future children might suffer eternal conscious torment, the expected moral value of procreation is extremely negative. This implies that theists have a moral obligation not to procreate, which for most theists, entails a moral obligation to be celibate or to undergo sterilisation surgery. (shrink)