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)

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)

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)

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)

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)

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)

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)

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)

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)

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 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)

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)

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

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)

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.

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)

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.

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)

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)

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)

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.

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.

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)

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)

on calculating Apocalypse, awakening the Avatar, and related.

We will flip a fair coin infinitely many times. Al calls the first flip, claiming it will land heads. Betty calls every odd numbered flip, claiming they will all land heads. Carl calls every flip bar none, claiming they will all land heads. Pre-theoretically, it seems that Al's claim is infinitely more likely than Betty's, and that Betty's claim is infinitely more likely than Carl's. But standard, real-valued probability theory says that, while Al's claim is infinitely more likely than Betty's, (...) Betty's claim is exactly as likely as Carl's. I use John Conway's surreal numbers to capture these pre-theoretic judgements about the relative probabilities of Al's, Betty's, and Carl's claims. Surreal-valued probabilities also allow us to calculate precise numerical values for those claims. For instance, we will see that Betty's claim has a probability equal to the reciprocal of the product of the square root of cardinality of the continuum and the fourth root of 2. The article provides a 'user's guide' to surreal-valued probabilities and raises questions for further research. (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)

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.

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)

The city of Kruja dates back to its existence in the 5th and 6th centuries. In the inner city are preserved great historical, cultural, and architectural values that are inherited from generation to generation. In the city interact and coexist three different typologies of dwellings: historic buildings that belong to the XIII, XIV, XV, XIII, XIX centuries (built using the foundations of previous buildings); socialist buildings dating back to the Second World War until 1990; and modern buildings which were built (...) from 1990 onwards. According to the questionnaires, the creation of mathematical models applied to each category will result in contradictory attitudes but also fairy ones based on different percentages. There are underlined 5 quality of life indicators(questions) from a total of 30 questions of the questionnaire, which are involved in mathematical regression and are statistically significant with a significance level p<5% (with a reliability of 95%), which interact for all three categories of buildings. The quality of life indicators: dwelling area, heating mode during winter, level of dwelling improvement, time spent in the dwelling, and monthly electricity payments, are the main actors who will be compared in order to draw conclusions. According to the statistical calculations trend, it is noted that the socialist buildings category does not directly participate in the debate between historic and modern buildings by means of the quality of life indicators (questions). (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)

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)

Skeptical theists are seeking for some reasonable solutions to the evidential problem of evil. One of the most fundamental responses of skeptical theism is that the concept of “gratuitous evil”, which cannot be a proof of the absence of God. Therefore, it is not the existence of God that skeptical theism suspects. Instead, skeptical theism contemplates whether the evil in the world really has a “gratuitous” basis. This paper focuses on Peter van Inwagen's “no-minimum claim”. No-minimum claim” stands in opposition (...) to the views that assume that God minimizes the evils that exist in the world in order to achieve justice. “No-minimum claim” acknowledges that these evils still have enormous amounts to people. Thus “no-minimum claim” suggests that the evils experienced in the world are incompatible with the “best of all possible worlds” views or the other explanations of classical theodicy. According to the “no minimum claim”, the reason why the amount of evil in the world still seems so high may be God’s deliberate calculations in effecting the distribution of these evils. In order to reach these calculations, it is not necessary for the amount of evil that God allowed to reflect on the world to be perfectly manifested at the minimum level. The purpose of this paper is to consider the skeptical theism approach within the framework of Peter van Inwagen's “no-minimum claim” and to limit his arguments to an alternative approach to skeptic theism. Our claim is that such view coincides with skeptical theism, but the “no- minimum claim” still has some ambiguities at the point of the limits of evil. From this, we can conclude that the “no minimum claim” has received many objections in the skeptical theism literature and these objections are justified at certain points. (shrink)

The purpose of this study is to propose new similarity measures namely rough variational coefficient similarity measure under the rough neutrosophic environment. The weighted rough variational coefficient similarity measure has been also defined. The weighted rough variational coefficient similarity measures between the rough ideal alternative and each alternative are xxxxx calculated to find the best alternative. The ranking order of all the alternatives can be determined by using the numerical values of similarity measures. Finally, an illustrative example has been provided (...) to show the effectiveness and validity of the proposed approach. Comparisons of decision results of existing rough similarity measures have been provided. (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)

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)

Objective Manic and depressive phases of bipolar disorder (BD) show opposite psychomotor symptoms. Neuronally, these may depend on altered relationships between sensorimotor network (SMN) and subcortical structures. The study aimed to investigate the functional relationships of SMN with substantia nigra (SN) and raphe nuclei (RN) via subcortical-cortical loops, and their alteration in bipolar mania and depression, as characterized by psychomotor excitation and inhibition. -/- Method In this resting-state functional magnetic resonance imaging (fMRI) study on healthy (n = 67) and BD (...) patients (n = 100), (1) functional connectivity (FC) between thalamus and SMN was calculated and correlated with FC from SN or RN to basal ganglia (BG)/thalamus in healthy; (2) using an a-priori-driven approach, thalamus-SMN FC, SN-BG/thalamus FC, and RN-BG/thalamus FC were compared between healthy and BD, focusing on manic (n = 34) and inhibited depressed (n = 21) patients. -/- Results (1) In healthy, the thalamus-SMN FC showed a quadratic correlation with SN-BG/thalamus FC and a linear negative correlation with RN-BG/thalamus FC. Accordingly, the SN-related FC appears to enable the thalamus-SMN coupling, while the RN-related FC affects it favoring anti-correlation. (2) In BD, mania showed an increase in thalamus-SMN FC toward positive values (ie, thalamus-SMN abnormal coupling) paralleled by reduction of RN-BG/thalamus FC. By contrast, inhibited depression showed a decrease in thalamus-SMN FC toward around-zero values (ie, thalamus-SMN disconnection) paralleled by reduction of SN-BG/thalamus FC (and RN-BG/thalamus FC). The results were replicated in independent HC and BD datasets. -/- Conclusions These findings suggest an abnormal relationship of SMN with neurotransmitters-related areas via subcortical-cortical loops in mania and inhibited depression, finally resulting in psychomotor alterations. (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)

Our conscious experiences are qualitative and unitary. The qualitative universals given in particular experiences, i.e. qualia, combine into the seamless unity of our conscious experience. The problematics of quality and cohesion are not unique to consciousness studies. In mathematics, the study of qualities (e.g., shape) resulting from quantitative variations in cohesive spaces led to the axiomatization of cohesion and quality. Using the mathematical definition of quality, herein we model qualia space as a categorical product of qualities. Thus modeled qualia space (...) is a codomain space wherein composite qualities (e.g. shape AND color) of conscious experiences can be valued. As part of characterizing the qualia space, we provide a detailed exemplification of the mathematics of quality and cohesion in terms of the categories of idempotents and reflexive graphs. More specifically, with qualities as commutative triangles formed of cohesion-preserving functors, first we calculate the product of commutative triangles. Next, we explicitly show that the category of idempotents is a quality type. Lastly, as part of showing that the category of reflexive graphs is cohesive, we characterize the adjointness between functors relating cohesive graphs to discrete sets. In conclusion, our category theoretic construction of qualia space is a formalization of the binding of qualitative features (colors and shapes) into the cohesive objects (colored-shapes) of conscious experiences. Compared to the feature-vector accounts of conscious experiences, our product-of-qualities account of consciousness is a substantial theoretical advance. (shrink)

This study compares the neural substrate of moral decision making processes between Korean and American participants. By comparison with Americans, Korean participants showed increased activity in the right putamen associated with socio-intuitive processes and right superior frontal gyrus associated with cognitive control processes under a moral-personal condition, and in the right postcentral sulcus associated with mental calculation in familiar contexts under a moral-impersonal condition. On the other hand, American participants showed a significantly higher degree of activity in the bilateral anterior (...) cingulate cortex (ACC) associated with conflict resolution under the moral-personal condition, and in the right medial frontal gyrus (MFG) associated with simple cognitive branching in non-familiar contexts under the moral-impersonal condition when a more lenient threshold was applied, than Korean participants. These findings support the ideas of the interactions between the cultural background, education, and brain development, proposed in the field of cultural psychology and educational psychology. The study introduces educational implications relevant to moral psychologists and educators. (shrink)