Computational Philosophy

Computers may help us to better understand (not just verify) arguments. In this article we defend this claim by showcasing the application of a new, computer-assisted interpretive method to an exemplary natural-language ar- gument with strong ties to metaphysics and religion: E. J. Lowe’s modern variant of St. Anselm’s ontological argument for the existence of God. Our new method, which we call computational hermeneutics, has been particularly conceived for use in interactive-automated proof assistants. It aims at shedding light on the (...) meanings of words and sentences by framing their inferential role in a given argument. By employing automated theorem reasoning technology within interactive proof assistants, we are able to drastically reduce (by several orders of magnitude) the time needed to test the logical validity of an argu- ment’s formalization. As a result, a new approach to logical analysis, inspired by Donald Davidson’s account of radical interpretation, has been enabled. In computational hermeneutics, the utilization of automated reasoning tools ef- fectively boosts our capacity to expose the assumptions we indirectly commit ourselves to every time we engage in rational argumentation and it fosters the explicitation and revision of our concepts and commitments. (shrink)

A new approach to the halting problem of the Turing machine using different interpretations of the Shannon measure of the information on the computational process represented as a distribution of events (deleting, logical or arithmetic operations) and defining a new concept of arithmetic logical irreversibility and memory erasure that generate uncertainty and computational improbability due to loss of information during these events. Different computational steps (input) may give the same result (next step, output) introducing thus information entropy in the computing (...) process and uncertainty about the original step (cause). This means that the same output may be produced by different inputs. Global indeterminism of computation as distribution but determinism of the computation as current process because the outputs are the same but the information not. The program or Turing machine as macro description of the computational states as micro description that they may be several and different but give the same result when they work . (shrink)

Philosophers have long tried to understand scientific change in terms of a dynamics of revision within ‘theoretical frameworks,’ ‘disciplinary matrices,’ ‘scientific paradigms’ or ‘conceptual schemes.’ No-one, however, has made clear precisely how one might model such a conceptual scheme, nor what form change dynamics within such a structure could be expected to take. In this paper we take some first steps in applying network theory to the issue, modeling conceptual schemes as simple networks and the dynamics of change as cascades (...) on those networks. The results allow a new understanding of two traditional approaches—Popper and Kuhn—as well as introducing the intriguing prospect of viewing scientific change using the metaphor of selforganizing criticality. (shrink)

It is a common view among philosophers of science that theoretical virtues (also known as epistemic or cognitive values), such as simplicity and consistency, play an important role in scientific practice. In this paper, I set out to study the role that theoretical virtues play in scientific practice empirically. I apply the methods of data science, such as text mining and corpus analysis, to study large corpora of scientific texts in order to uncover patterns of usage. These patterns of usage, (...) in turn, might shed some light on the role that theoretical virtues play in scientific practice. Overall, the results of this empirical study suggest that scientists invoke theoretical virtues explicitly, albeit rather infrequently, when they talk about models (less than 30%), theories (less than 20%), and hypotheses (less than 15%) in their published works. To the extent that they are mentioned in scientific publications, the results of this study suggest that accuracy, consistency, and simplicity are the theoretical virtues that scientists invoke more frequently than the other theoretical virtues tested in this study. Interestingly, however, depending on whether they talk about hypotheses, theories, or models, scientists may invoke one of those theoretical virtues more than the others. (shrink)

While scientific inquiry crucially relies on the extraction of patterns from data, we still have a far from perfect understanding of the metaphysics of patterns—and, in particular, of what makes a pattern real. In this paper we derive a criterion of real-patternhood from the notion of conditional Kolmogorov complexity. The resulting account belongs to the philosophical tradition, initiated by Dennett :27–51, 1991), that links real-patternhood to data compressibility, but is simpler and formally more perspicuous than other proposals previously defended in (...) the literature. It also successfully enforces a non-redundancy principle, suggested by Ladyman and Ross, that aims to exclude from real-patternhood those patterns that can be ignored without loss of information about the target dataset, and which their own account fails to enforce. (shrink)

This paper proposes a sender-receiver model to explain two large-scale patterns observed in natural languages: Zipf’s inverse power law relating the frequency of word use and word rank, and the negative correlation between the frequency of word use and rate of lexical change. Computer simulations show that the model recreates Zipf’s inverse power law and the negative correlation between signal frequency and rate of change, provided that agents balance the rates with which they invent new signals and forget old ones. (...) Results are robust across a wide range of parameter values and structural assumptions, such as different forgetting rules and forgetting rates. Analysis of the model further suggests that Zipf’s law relating word frequency and rank arises because of language-external factors and that frequent signals change less because frequent signals are less subject to drift than rare ones. The paper concludes with some brief considerations on model-based and data-driven approaches in philosophy. (shrink)

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...) be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing. (shrink)

Sallie McFague’s theological models construct a tensive relationship between conceptual structures and symbolic, metaphorical language to interpret the defining and elusive aspects of theological phenomena and loci. Computational models of language can extend and formalize the conceptual structures of theological models to develop computer-augmented interpretations of theological texts. Previously unclear is whether computational models can retain the tensive symbolism essential for theological investigation. I demonstrate affirmatively by constructing a computational topic model of the moral theology of Thomas Aquinas from Summa (...) Theologica (Second Part, in English translation) useful for interpreting not only the Thomistic text but also recent papal encyclicals. (shrink)

The term scientism is used in several ways. It is used to denote an epistemological thesis according to which science is the source of our knowledge about the world and ourselves. Relatedly, it is used to denote a methodological thesis according to which the methods of science are superior to the methods of non-scientific fields or areas of inquiry, or even used to put forward a metaphysical thesis that what exists is what science says exists. In recent decades, the term (...) scientism has acquired a derogatory meaning when it is used in defense of non-scientific ways of knowing. In particular, some philosophers level the charge of “scientism” against those (mostly scientists) who are dismissive of philosophy. Other philosophers, however, embrace scientism, or some variant thereof, and object to the pejorative use of the term scientism. This book critically examines the arguments for and against scientism of various kinds to answer the central question: does scientism pose an existential threat to philosophy, or should philosophy become more scientific? (shrink)

While the empirical evidence pointing to a gender gap in professional, academic philosophy in the English-speaking world is widely accepted, explanations of this gap are less so. In this paper, we aim to make a modest contribution to the literature on the gender gap in academic philosophy by taking a quantitative, corpus-based empirical approach. Since some philosophers have suggested that it may be the argumentative, “logic-chopping,” and “paradox-mongering” nature of academic philosophy that explains the underrepresentation of women in the discipline, (...) our research questions are the following: Do men and women philosophers make different types of arguments in their published works? If so, which ones and with what frequency? Using data mining and text analysis methods, we study a large corpus of philosophical texts mined from the JSTOR database in order to answer these questions empirically. Using indicator words to classify arguments by type, we search through our corpus to find patterns of argumentation. Overall, the results of our empirical study suggest that women philosophers make deductive, inductive, and abductive arguments in their published works just as much as male philosophers do, with no statistically significant differences in the proportions of those arguments relative to each philosopher’s body of work. (shrink)

In this paper, we set out to investigate the following question: if science relies heavily on induction, does philosophy of science rely heavily on induction as well? Using data mining and text analysis methods, we study a large corpus of philosophical texts mined from the JSTOR database (n = 14,199) in order to answer this question empirically. If philosophy of science relies heavily on induction, just as science supposedly does, then we would expect to find significantly more inductive arguments than (...) deductive arguments and abductive arguments in the published works of philosophers of science. Using indicator words to classify arguments by type (namely, deductive, inductive, and abductive arguments), we search through our corpus to find patterns of argumentation. Overall, the results of our study suggest that philosophers of science do rely on inductive inference. But induction may not be as foundational to philosophy of science as it is thought to be for science, given that philosophers of science make significantly more deductive arguments than inductive arguments. Interestingly, our results also suggest that philosophers of science do not rely on abductive arguments all that much, even though philosophers of science consider abduction to be a cornerstone of scientific methodology. (shrink)

-/- For all that digital methods—including network visualization, text analysis, and others—have begun to show extensive promise in philosophical contexts, a tension remains between two uses of those tools that have often been taken to be incompatible, or at least to engage in a kind of trade-off: the discovery of new hypotheses and the testing of already-formulated positions. This paper presents this basic distinction, then explores ways to resolve this tension with the help of two interdisciplinary case studies, taken from (...) preregistration in contemporary science and the debate over whig history in the history of science. These case studies, the paper argues, refocus our attention from a mutually exclusive testing/discovery binary to the relationship between our background data or philosophical views and the empirical generalizations that we might draw from the data. Finally, it develops a set of three challenges for philosophers and corresponding avenues for future work that will, it is hoped, allow us to better justify our use of these methods. (shrink)

When people combine concepts these are often characterised as “hybrid”, “impossible”, or “humorous”. However, when simply considering them in terms of extensional logic, the novel concepts understood as a conjunctive concept will often lack meaning having an empty extension (consider “a tooth that is a chair”, “a pet flower”, etc.). Still, people use different strategies to produce new non-empty concepts: additive or integrative combination of features, alignment of features, instantiation, etc. All these strategies involve the ability to deal with conflicting (...) attributes and the creation of new (combinations of) properties. We here consider in particular the case where a Head concept has superior ‘asymmetric’ control over steering the resulting concept combination (or hybridisation) with a Modifier concept. Specifically, we propose a dialogical approach to concept combination and discuss an implementation based on axiom weakening, which models the cognitive and logical mechanics of this asymmetric form of hybridisation. (shrink)

Symmetry in biological and physical systems is a product of self-organization driven by evolutionary processes, or mechanical systems under constraints. Symmetry-based feature extraction or representation by neural networks may unravel the most informative contents in large image databases. Despite significant achievements of artificial intelligence in recognition and classification of regular patterns, the problem of uncertainty remains a major challenge in ambiguous data. In this study, we present an artificial neural network that detects symmetry uncertainty states in human observers. To this (...) end, we exploit a neural network metric in the output of a biologically inspired Self- Organizing Map Quantization Error (SOM-QE). Shape pairs with perfect geometry mirror symmetry but a non-homogenous appearance, caused by local variations in hue, saturation, or lightness within and/or across the shapes in a given pair produce, as shown here, a longer choice response time (RT) for “yes” responses relative to symmetry. These data are consistently mirrored by the variations in the SOM-QE from unsupervised neural network analysis of the same stimulus images. The neural network metric is thus capable of detecting and scaling human symmetry uncertainty in response to patterns. Such capacity is tightly linked to the metric’s proven selectivity to local contrast and color variations in large and highly complex image data. (shrink)

The composition of a timeline depends on purpose, perspective, and scale – and of the very understanding of the word, the phenomenon referred to, and whether the focus is the idea or concept, an instance of an idea or a phenomenon, a process, or an event and so forth. The main function of timelines is to provide an overview over a long history, it is a kind of a mnemotechnic device or a particular kind of Knowledge Organization System (KOS).b The (...) entries in the timeline should be brief and indisputable. Therefore, timelines often identify the first occurrences rather than the most widespread or most qualified instances leaving the fuller and more complex, and possibly disputable story out. But even first occurrences are often difficult to establish. The first occurrence is most often only the first finding of an instance. Older instances may be found and competing definitions develop either within a field or in different fields. This is further complicated since the phenomena, their names, and their meanings may change over time. Former meanings may become redundant, or they must accommodate and coexist with new meanings. The time and place of the composition of the timeline are to be considered in interpreting the things listed. The following note will discuss these issues as they occur in the development of the notions of text, e-text and hypertext, and the origin of machine translation. (shrink)

Empirical philosophers of science aim to base their philosophical theories on observations of scientific practice. But since there is far too much science to observe it all, how can we form and test hypotheses about science that are sufficiently rigorous and broad in scope, while avoiding the pitfalls of bias and subjectivity in our methods? Part of the answer, we claim, lies in the computational tools of the digital humanities, which allow us to analyze large volumes of scientific literature. Here (...) we advocate for the use of these methods by addressing a number of large-scale, justificatory concerns—specifically, about the epistemic value of journal articles as evidence for what happens elsewhere in science, and about the ability of DH tools to extract this evidence. Far from ignoring the gap between scientific literature and the rest of scientific practice, effective use of DH tools requires critical reflection about these relationships. (shrink)

In a reply to Mizrahi (2019), Bryant (2020) raises several methodological concerns regarding my attempt to test hypotheses about the observation that academic philosophers tend to find “scientism” threatening empirically using quantitative, corpus based methods. Chief among her methodological concerns is that numbers of philosophical publications that mention “scientism” are a “poor proxy for scholarly sentiment” (Bryant 2020, 31). In reply, I conduct a sentiment analysis that is designed to find out whether academic philosophers have negative, positive, or neutral sentiments (...) toward “scientism.” The results of this analysis suggest that, for the most part, articles on “scientism” written by academic philosophers tend to contain mostly negative rather than positive (or neutral) sentiments about “scientism.”. (shrink)

The aim of this paper is to contribute to the debate over the nature of scientific progress in philosophy of science by taking a quantitative, corpus-based approach. By employing the methods of data science and corpus linguistics, the following philosophical accounts of scientific progress are tested empirically: the semantic account of scientific progress, the epistemic account of scientific progress, and the noetic account of scientific progress. Overall, the results of this quantitative, corpus-based study lend some empirical support to the epistemic (...) and the noetic accounts over the semantic account of scientific progress, for they suggest that practicing scientists use the terms ‘knowledge’ and ‘understanding’ significantly more often than the term ‘truth’ when they talk about the aims or goals of scientific research in their published works. But the results do not favor the epistemic account over the noetic account, or vice versa, for they reveal no significant differences between the frequency with which practicing scientists use the terms ‘knowledge’ and ‘understanding’ when they talk about the aims or goals of scientific research in their published works. (shrink)

Philosophy is often divided into two traditions: analytic and continental philosophy. Characterizing the analytic-continental divide, however, is no easy task. Some philosophers explain the divide in terms of the place of argument in these traditions. This raises the following questions: Is analytic philosophy rife with arguments while continental philosophy is devoid of arguments? Or can different types of arguments be found in analytic and continental philosophy? This paper presents the results of an empirical study of a large corpus of philosophical (...) texts mined from the JSTOR database (n = 53,260) designed to find patterns of argumentation by type. Overall, the results suggest that there are no significant differences between the types of arguments advanced in analytic and continental philosophy journal articles. The findings, therefore, provide no empirical support to the hypothesis that the divide between analytic and continental philosophy has to do with the place of argument in these traditions. (shrink)

Arguments for extended cognition and the extended mind are typically directed at human-centred forms of cognitive extension—forms of cognitive extension in which the cognitive/mental states/processes of a given human individual are subject to a form of extended or wide realization. The same is true of debates and discussions pertaining to the possibility of Web-extended minds and Internet-based forms of cognitive extension. In this case, the focus of attention concerns the extent to which the informational and technological elements of the online (...) environment form part of the machinery of the (individual) human mind. In this paper, we direct attention to a somewhat different form of cognitive extension. In particular, we suggest that the Web allows human individuals to be incorporated into the computational/cognitive routines of online systems. These forms of computational/cognitive extension highlight the potential of the Web and Internet to support bidirectional forms of computational/cognitive incorporation. The analysis of such bidirectional forms of incorporation broadens the scope of philosophical debates in this area, with potentially important implications for our understanding of the foundational notions of extended cognition and the extended mind. (shrink)

This study shows firstly that it is necessary to characterize a computer simulation at a finer level than that of formal models: that of symbols and their various modes of reference. This is particularly true for those that integrate models and formalisms of a heterogeneous nature. This study then examines the ontological causes that, consequently, could explain their epistemic success. It is argued that they can be conveniently explained if one adopts a conception of nature that is both discontinuous and (...) finite. The latter thesis supports a naturalistic metaphysical position by invalidating, at its root, the argument made by speculative materialism against a scientific approach to the physical world that proceeds, like simulations, by finite representations and operations. (shrink)

The principle of self-organization has acquired a fundamental significance in the newly emerging field of computational philosophy. Self-organizing systems have been described in various domains in science and philosophy including physics, neuroscience, biology and medicine, ecology, and sociology. While system architecture and their general purpose may depend on domain-specific concepts and definitions, there are (at least) seven key properties of self-organization clearly identified in brain systems: 1) modular connectivity, 2) unsupervised learning, 3) adaptive ability, 4) functional resiliency, 5) functional plasticity, (...) 6) from-local-to-global functional organization, and 7) dynamic system growth. These are defined here in the light of insight from neurobiology, cognitive neuroscience and Adaptive Resonance Theory (ART), and physics to show that self-organization achieves stability and functional plasticity while minimizing structural system complexity. A specific example informed by empirical research is discussed to illustrate how modularity, adaptive learning, and dynamic network growth enable stable yet plastic somatosensory representation for human grip force control. Implications for the design of “strong” artificial intelligence in robotics are brought forward. (shrink)

Epistemic justifications for democracy have been offered in terms of two different aspects of decision-making: voting and deliberation, or ‘votes’ and ‘talk.’ The Condorcet Jury Theorem is appealed to as a justification in terms votes, and the Hong-Page “Diversity Trumps Ability” result is appealed to as a justification in terms of deliberation. Both of these, however, are most plausibly construed as models of direct democracy, with full and direct participation across the population. In this paper, we explore how these results (...) hold up if we vary the model so as to reflect the more familiar democratic structure of a representative hierarchy. We first recount extant analytic work that shows that representation inevitably weakens the voting results of the Condorcet Jury Theorem, but we question the ability of that result to shine light on real representative systems. We then show that, when we move from votes to talk, as modeled in Hong-Page, representation holds its own and even has a slight edge. (shrink)

In this paper, I propose that applying the methods of data science to “the problem of whether mathematical explanations occur within mathematics itself” (Mancosu 2018) might be a fruitful way to shed new light on the problem. By carefully selecting indicator words for explanation and justification, and then systematically searching for these indicators in databases of scholarly works in mathematics, we can get an idea of how mathematicians use these terms in mathematical practice and with what frequency. The results of (...) this empirical study suggest that mathematical explanations do occur in research articles published in mathematics journals, as indicated by the occurrence of explanation indicators. When compared with the use of justification indicators, however, the data suggest that justifications occur much more frequently than explanations in scholarly mathematical practice. The results also suggest that justificatory proofs occur much more frequently than explanatory proofs, thus suggesting that proof may be playing a larger justificatory role than an explanatory role in scholarly mathematical practice. (shrink)

It is generally accepted among philosophers of science that hypothesis testing is a key methodological feature of science. As far as philosophical theories of confirmation are con...

Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.

How can we best reconstruct the origin of a notion, its development, and possible spread to multiple fields? We present a pilot study on the spread of the notion of conceptual scheme. Though the notion is philosophically important, its origin, development, and spread are unclear. Several purely qualitative and competing historical hypotheses have been offered, which rely on disconnected disciplinary traditions, and have never been tested all at once in a single comprehensive investigation fitting the scope of its subject matter. (...) As a step toward such an investigation, we trace the use of the bigram “conceptual scheme” in about 42,000 US journal articles in social sciences from 1888-1959 by using a novel method combining a quantitative procedure aided by basic computational techniques with qualitative elements informed by Betti and van den Berg (2014)’s ‘model approach to the history of ideas’. (shrink)

The quantization error in a fixed-size Self-Organizing Map (SOM) with unsupervised winner-take-all learning has previously been used successfully to detect, in minimal computation time, highly meaningful changes across images in medical time series and in time series of satellite images. Here, the functional properties of the quantization error in SOM are explored further to show that the metric is capable of reliably discriminating between the finest differences in local contrast intensities and contrast signs. While this capability of the QE is (...) akin to functional characteristics of a specific class of retinal ganglion cells (the so-called Y-cells) in the visual systems of the primate and the cat, the sensitivity of the QE surpasses the capacity limits of human visual detection. Here, the quantization error in the SOM is found to reliably signal changes in contrast or colour when contrast information is removed from or added to the image, but not when the amount and relative weight of contrast information is constant and only the local spatial position of contrast elements in the pattern changes. While the RGB Mean reflects coarser changes in colour or contrast well enough, the SOM-QE is shown to outperform the RGB Mean in the detection of single-pixel changes in images with up to five million pixels. This could have important implications in the context of unsupervised image learning and computational building block approaches to large sets of image data (big data). (shrink)

What structure of scientific communication and cooperation, between what kinds of investigators, is best positioned to lead us to the truth? Against an outline of standard philosophical characteristics and a recent turn to social epistemology, this paper surveys highlights within two strands of computational philosophy of science that attempt to work toward an answer to this question. Both strands emerge from abstract rational choice theory and the analytic tradition in philosophy of science rather than postmodern sociology of science. The first (...) strand of computational research models the effect of communicative networks within groups, with conclusions regarding the potential benefit of limited communication. The second strand models the potential benefits of cognitive diversity within groups. Examples from each strand of research are used in analyzing what makes modeling of this sort both promising and distinctly philosophical, but are also used to emphasize possibilities for failure and inherent limitations as well. (shrink)

The Hong and Page ‘diversity trumps ability’ result has been used to argue for the more general claim that a diverse set of agents is epistemically superior to a comparable group of experts. Here we extend Hong and Page’s model to landscapes of different degrees of randomness and demonstrate the sensitivity of the ‘diversity trumps ability’ result. This analysis offers a more nuanced picture of how diversity, ability, and expertise may relate. Although models of this sort can indeed be suggestive (...) for diversity policies, we advise against interpreting such results overly broadly. (shrink)

Computational neuroscience attributes coloured areas and other perceptual qualia to calculations that are realizable in multiple cellular forms. This faces serious issues in explaining how the various qualia arise and how they bind to form overall perceptions. Qualia may instead be neuroelectrical. Growing evidence indicates that perceptions correlate with neuroelectrical activity spotted by locally activated EEGs, the different qualia correlate with the different electrochemistries of unique detector cells, a unified neural-electromagnetic field binds this activity to form overall perceptions, and this (...) field interacts with sensory circuits to help attentively guide perception. The coloured areas in images may thus be seated in the electrochemistry of unique cells, while constancy mechanisms and other multiply realizable computations just help refine these images behind the scenes. This theory is ultimately testable. (shrink)

This article aims to describe the last 10 years of the collaborative scientific endeavors on polarization in particular and collective problem-solving in general by our multidisciplinary research team. We describe the team’s disciplinary composition—social psychology, political science, social philosophy/epistemology, and complex systems science— highlighting the shared and unique skill sets of our group members and how each discipline contributes to studying polarization and collective problem-solving. With an eye to the literature on team dynamics, we describe team logistics and processes that (...) we believe make our multidisciplinary team persistent and productive. We emphasize challenges and difficulties caused by disciplinary differences in terms of terminology, units/levels of analysis, methodology, and theoretical assumptions. We then explain how work disambiguating the concepts of polarization and developing an integrative theoretical and methodological framework with complex systems perspectives has helped us overcome these challenges. We summarize the major findings that our research has produced over the past decade, and describe our current research and future directions. Last, we discuss lessons we have learned, including difficulties in a “three models” project and how we addressed them, with suggestions for effective multidisciplinary team research. (shrink)

It is often said that ‘every logical truth is obvious’ (Quine 1970: 82), that the ‘axioms and rules of logic are true in an obvious way’ (Murawski 2014: 87), or that ‘logic is a theory of the obvious’ (Sher 1999: 207). In this chapter, I set out to test empirically how the idea that logic is obvious is reflected in the scholarly work of logicians and philosophers of logic. My approach is data-driven. That is to say, I propose that systematically (...) searching for patterns of usage in databases of scholarly works, such as JSTOR, can provide new insights into the ways in which the idea that logic is obvious is reflected in logical and philosophical practice, i.e., in the arguments that logicians and philosophers of logic actually make in their published work. (shrink)

We motivate a picture of social epistemology that sees forgetting as subject to epistemic evaluation. Using computer simulations of a simple agent-based model, we show that how agents forget can have as large an impact on group epistemic outcomes as how they share information. But, how we forget, unlike how we form beliefs, isn’t typically taken to be the sort of thing that can be epistemically rational or justified. We consider what we take to be the most promising argument for (...) this claim and find it lacking. We conclude that understanding how agents forget should be as central to social epistemology as understanding how agents form beliefs and share information with others. (shrink)

En ' Godel’s Way ', tres eminentes científicos discuten temas como la indecisión, la incompleta, la aleatoriedad, la computabilidad y la paracoherencia. Me acerco a estas cuestiones desde el punto de vista de Wittgensteinian de que hay dos cuestiones básicas que tienen soluciones completamente diferentes. Existen las cuestiones científicas o empíricas, que son hechos sobre el mundo que necesitan ser investigados Observacionalmente y cuestiones filosóficas en cuanto a cómo el lenguaje se puede utilizar inteligiblemente (que incluyen ciertas preguntas en matemáticas (...) y lógica), que necesitan decidirse por unt cómo realmente usar palabras en contextos concretos. Cuando tenemos claro sobre qué juego de idiomas estamos jugando, estos temas son vistos como preguntas científicas y matemáticas ordinarias como cualquier otra. Las percepciones de Wittgenstein rara vez se han igualado y nunca superado y son tan pertinentes hoy como lo fueron hace 80 años cuando dictó los libros azul y marrón. A pesar de sus fallas — realmente una serie de notas en lugar de un libro terminado —, esta es una fuente única de la obra de estos tres eruditos famosos que han estado trabajando en los bordes sangrantes de la física, las matemáticas y la filosofía durante más de medio siglo. Da Costa y Doria son citados por Wolpert (ver abajo o mis artículos sobre Wolpert y mi reseña de ' los límites de la razón ' de Yanofsky) desde que escribieron en el cómputo universal, y entre sus muchos logros, da Costa es pionera en paraconsistencia. -/- Aquellos que deseen un marco completo hasta la fecha para el comportamiento humano de la moderna dos sistemas punta da vista puede consultar mi libro 'La estructura lógica de la filosofía, la psicología, la mente y lenguaje en Ludwig Wittgenstein y John Searle ' 2a ED (2019). Los interesados en más de mis escritos pueden ver 'Monos parlantes--filosofía, psicología, ciencia, religión y política en un planeta condenado--artículos y reseñas 2006-2019 3rd ED (2019) y Delirios utópicos suicidas en el siglo 21 4a Ed (2019) y otras. (shrink)

Many philosophers subscribe to the view that philosophy is a priori and in the business of discovering necessary truths from the armchair. This paper sets out to empirically test this picture. If this were the case, we would expect to see this reflected in philosophical practice. In particular, we would expect philosophers to advance mostly deductive, rather than inductive, arguments. The paper shows that the percentage of philosophy articles advancing deductive arguments is higher than those advancing inductive arguments, which is (...) what we would expect from the vantage point of the armchair philosophy picture. The results also show, however, that the percentages of articles advancing deductive arguments and those advancing inductive arguments are converging over time and that the difference between inductive and deductive ratios is declining over time. This trend suggests that deductive arguments are gradually losing their status as the dominant form of argumentation in philosophy. (shrink)

The “received wisdom” in contemporary analytic philosophy is that intuition talk is a fairly recent phenomenon, dating back to the 1960s. In this paper, we set out to test two interpretations of this “received wisdom.” The first is that intuition talk is just talk, without any methodological significance. The second is that intuition talk is methodologically significant; it shows that analytic philosophers appeal to intuition. We present empirical and contextual evidence, systematically mined from the JSTOR corpus and HathiTrust’s Digital Library, (...) which provide some empirical support for the second rather than the first hypothesis. Our data also suggest that appealing to intuition is a much older philosophical methodology than the “received wisdom” alleges. We then discuss the implications of our findings for the contemporary debate over philosophical methodology. (shrink)

This paper argues that the idea of a computer is unique. Calculators and analog computers are not different ideas about computers, and nature does not compute by itself. Computers, once clearly defined in all their terms and mechanisms, rather than enumerated by behavioral examples, can be more than instrumental tools in science, and more than source of analogies and taxonomies in philosophy. They can help us understand semantic content and its relation to form. This can be achieved because they have (...) the potential to do more than calculators, which are computers that are designed not to learn. Today’s computers are not designed to learn; rather, they are designed to support learning; therefore, any theory of content tested by computers that currently exist must be of an empirical, rather than a formal nature. If they are designed someday to learn, we will see a change in roles, requiring an empirical theory about the Turing architecture’s content, using the primitives of learning machines. This way of thinking, which I call the intensional view of computers, avoids the problems of analogies between minds and computers. It focuses on the constitutive properties of computers, such as showing clearly how they can help us avoid the infinite regress in interpretation, and how we can clarify the terms of the suggested mechanisms to facilitate a useful debate. Within the intensional view, syntax and content in the context of computers become two ends of physically realizing correspondence problems in various domains. (shrink)

Agent-based models have played a prominent role in recent debates about the merits of democracy. In particular, the formal model of Lu Hong and Scott Page and the associated “diversity trumps ability” result has typically been seen to support the epistemic virtues of democracy over epistocracy (i.e., governance by experts). In this paper we first identify the modeling choices embodied in the original formal model and then critique the application of the Hong-Page results to philosophical debates on the relative merits (...) of democracy. In particular we argue that the “best-performing agents” in Hong-Page model should not be interpreted as experts. We next explore a closely related model in which best-performing agents are more plausibly seen as experts and show that the diversity trumps ability result fails to hold. However, with changes in other parameters (such as the deliberation dynamic) the diversity trumps ability result is restored. The sensitivity of this result to parameter choices illustrates the complexity of the link between formal modeling and more general philosophical claims; we use this debate as a platform for a more general discussion of when and how agent-based models can contribute to philosophical discussions. (shrink)

Philosophy of science is expanding via the introduction of new digital data and tools for their analysis. The data comprise digitized published books and journal articles, as well as heretofore unpublished material such as images, archival text, notebooks, meeting notes, and programs. The growth in available data is matched by the extensive development of automated analysis tools. The variety of data sources and tools can be overwhelming. In this article, we survey the state of digital work in the philosophy of (...) science, showing what kinds of questions can be answered and how one can go about answering them. (shrink)

In this position paper, we describe a number of methodological and philosophical challenges that arose within our interdisciplinary Digital Humanities project CatVis, which is a collaboration between applied geometric algorithms and visualization researchers, data scientists working at OCLC, and philosophers who have a strong interest in the methodological foundations of visualization research. The challenges we describe concern aspects of one single epistemic need: that of methodologically securing (an increase in) trust in visualizations. We discuss the lack of ground truths in (...) the (digital) humanities and argue that trust in visualizations requires that we evaluate visualizations on the basis of ground truths that humanities scholars themselves create. We further argue that trust in visualizations requires that a visualization provides provable guarantees on the faithfulness of the visual representation and that we must clearly communicate to the users which part of the visualization can be trusted and how much. Finally, we discuss transparency and accessibility in visualization research and provide measures for securing transparency and accessibility. (shrink)

On edge computing, mobile devices can offload some computing intensive tasks to the cloud so that the time delay and battery losses can be reduced. Different from cloud computing, an edge computing model is under the constraint of radio transmitting bandwidth, power and etc. With regard to most models in presence, each user is assigned to a single mission, transmitting power or local CPU frequency on mobile terminals is deemed to be a constant. Furthermore, energy consumption has a positive correlation (...) with the above two parameters. In a context of multitask, such values could be increased or reduced according to workload to save energy. Additionally, the existing offloading methods are inappropriate if all the compute densities of multiple tasks are high. In this paper, a single-user multi-task with high computing density model is proposed and partial task is offloaded when use the different offload algorithm. Simulated annealing algorithm is the best method to select offloading tasks, which can enhance the offloading ratio and save energy consumption. (shrink)

The step to e-research in philosophy depends on the availability of high quality, easily and freely accessible corpora in a sustainable format composed from multi-language, multi-script books from different historical periods. Corpora matching these needs are at the moment virtually non-existing. Within @PhilosTei, we have addressed this corpus building problem by developing an open source, web-based, user-friendly workflow from textual images to TEI, based on state-of-the-art open source OCR software, to wit Tesseract, and a multi-language version of TICCL, a powerful (...) OCR post-correction tool. We have demonstrated the utility of the tool by applying it to a multilingual, multi-script corpus of important eighteenth to twentieth-century European philosophical texts. (shrink)

Paul Oppenheimer and Edward Zalta's formalisation of Anselm's ontological argument for the existence of God is automated by embedding a free logic for definite descriptions within Isabelle/HOL.

Data-driven historiography of philosophy looks to objective modeling tools for illumination of the propagation of influence. While the system of David Lewis, the most influential philosopher of our time, raises historiographic puzzles to stymie conventional analytic methods, it proves amenable to data-driven analysis. A striking result is that Lewis only becomes the metaphysician of current legend following the midpoint of his career: his initial project is to frame a descriptive science of mind and meaning; the transition to metaphysics is a (...) rhetorically breathtaking escape from this program's (inevitable) collapse. Understanding this process both aids a more focused debate whether it counts as progress, and also presents novel affordances for partisans on both sides to learn from Lewis's right and wrong steps. (shrink)