Related

Contents
242 found
Order:
1 — 50 / 242
Material to categorize
  1. Tháng 10 có 186 lượt tải bayesvl.Chẫu Chàng - 2023 - Tính Toán Ứng Dụng.
    Kết quả công việc đã được cải thiện một phần đáng kể nhờ sự trợ giúp của bayesvl.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. The Conceptual Access-NeTwORk (CANTOR) Thesis: Theorizing the Development or Success of New Internet-Based Products, Services, or Technologies.La Shun L. Carroll - 2023 - Indonesian Journal of Innovation and Applied Sciences (Ijias) 3 (2):86-98.
    For any new internet-based product, service, or technology to succeed, it must satisfy the criterion of providing access to or creating a network of possible users, products, and services. This is the Conceptual Access-Network (CANTOR) Thesis proposed. In addition to the main issues of success and how and why internet technology evolves, the principle can also meet the objective of explaining what underlies a range of traditional and nontraditional technologies beyond the internet. Through qualitative exploration, the tenets of the access-network (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. The Formats of Cognitive Representation: A Computational Account.Dimitri Coelho Mollo & Alfredo Vernazzani - forthcoming - Philosophy of Science.
    Cognitive representations are typically analysed in terms of content, vehicle and format. While current work on formats appeals to intuitions about external representations, such as words and maps, in this paper we develop a computational view of formats that does not rely on intuitions. In our view, formats are individuated by the computational profiles of vehicles, i.e., the set of constraints that fix the computational transformations vehicles can undergo. The resulting picture is strongly pluralistic, it makes space for a variety (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems.Giorgio Cignarale, Ulrich Schmid, Tuomas Tahko & Roman Kuznets - 2023 - Minds and Machines 33 (2):293-319.
    The debate around the notions of a priori knowledge and a posteriori knowledge has proven crucial for the development of many fields in philosophy, such as metaphysics, epistemology, metametaphysics etc. We advocate that the recent debate on the two notions is also fruitful for man-made distributed computing systems and for the epistemic analysis thereof. Following a recently proposed modal and fallibilistic account of a priori knowledge, we elaborate the corresponding concept of a priori belief: We propose a rich taxonomy of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. On the Foundations of Computing. Computing as the Fourth Great Domain of Science. [REVIEW]Gordana Dodig-Crnkovic - 2023 - Global Philosophy 33 (1):1-12.
    This review essay analyzes the book by Giuseppe Primiero, On the foundations of computing. Oxford: Oxford University Press (ISBN 978-0-19-883564-6/hbk; 978-0-19-883565-3/pbk). xix, 296 p. (2020). It gives a critical view from the perspective of physical computing as a foundation of computing and argues that the neglected pillar of material computation (Stepney) should be brought centerstage and computing recognized as the fourth great domain of science (Denning).
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. Lower and Upper Estimates of the Quantity of Algebraic Numbers.Yaroslav Sergeyev - 2023 - Mediterranian Journal of Mathematics 20:12.
    It is well known that the set of algebraic numbers (let us call it A) is countable. In this paper, instead of the usage of the classical terminology of cardinals proposed by Cantor, a recently introduced methodology using ①-based infinite numbers is applied to measure the set A (where the number ① is called grossone). Our interest to this methodology is explained by the fact that in certain cases where cardinals allow one to say only whether a set is countable (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. Counting with Cilia: The Role of Morphological Computation in Basal Cognition Research.Wiktor Rorot - 2022 - Entropy 24 (11):1581.
    “Morphological computation” is an increasingly important concept in robotics, artificial intelligence, and philosophy of the mind. It is used to understand how the body contributes to cognition and control of behavior. Its understanding in terms of "offloading" computation from the brain to the body has been criticized as misleading, and it has been suggested that the use of the concept conflates three classes of distinct processes. In fact, these criticisms implicitly hang on accepting a semantic definition of what constitutes computation. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. Research Data Preservation Practices of Library and Information Science Faculties.A. Subaveerapandiyan & Anuradha Maurya - 2022 - Defence Journal of Library and Information Science Technology 42 (4):259-264.
    Digitisation of research data is widely increasing all around the world because it needs more and development of enormous digital technologies. Data curation services are starting to offer many libraries. Research data curation is the collective invaluable and reusable information of the researchers. Collected data preservation is more important. The majority of the higher education institutes preserved the research data for their students and researchers. It is stored for a long time using various formats. It is called research data preservation. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. Can AI Help Us to Understand Belief? Sources, Advances, Limits, and Future Directions.Andrea Vestrucci, Sara Lumbreras & Lluis Oviedo - 2021 - International Journal of Interactive Multimedia and Artificial Intelligence 7 (1):24-33.
    The study of belief is expanding and involves a growing set of disciplines and research areas. These research programs attempt to shed light on the process of believing, understood as a central human cognitive function. Computational systems and, in particular, what we commonly understand as Artificial Intelligence (AI), can provide some insights on how beliefs work as either a linear process or as a complex system. However, the computational approach has undergone some scrutiny, in particular about the differences between what (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Bold because humble, humble because bold. Yann LeCun's path.Giovanni Landi - 2022 - Www.Intelligenzaartificialecomefilosofia.Com.
    Some philosophical considerations over Yann LeCun’s position paper “A Path Towards Autonomous Machine Intelligence”.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. From Explanation to Recommendation: Ethical Standards for Algorithmic Recourse.Emily Sullivan & Philippe Verreault-Julien - forthcoming - Proceedings of the 2022 AAAI/ACM Conference on AI, Ethics, and Society (AIES’22).
    People are increasingly subject to algorithmic decisions, and it is generally agreed that end-users should be provided an explanation or rationale for these decisions. There are different purposes that explanations can have, such as increasing user trust in the system or allowing users to contest the decision. One specific purpose that is gaining more traction is algorithmic recourse. We first pro- pose that recourse should be viewed as a recommendation problem, not an explanation problem. Then, we argue that the capability (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. Arithmetic logical Irreversibility and the Halting Problem (Revised and Fixed version).Yair Lapin - manuscript
    The Turing machine halting problem can be explained by several factors, including arithmetic logic irreversibility and memory erasure, which contribute to computational uncertainty due to information loss during computation. Essentially, this means that an algorithm can only preserve information about an input, rather than generate new information. This uncertainty arises from characteristics such as arithmetic logical irreversibility, Landauer's principle, and memory erasure, which ultimately lead to a loss of information and an increase in entropy. To measure this uncertainty and loss (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. Natural morphological computation as foundation of learning to learn in humans, other living organisms, and intelligent machines.Gordana Dodig-Crnkovic - 2020 - Philosophies 5 (3):17-32.
    The emerging contemporary natural philosophy provides a common ground for the integrative view of the natural, the artificial, and the human-social knowledge and practices. Learning process is central for acquiring, maintaining, and managing knowledge, both theoretical and practical. This paper explores the relationships between the present advances in understanding of learning in the sciences of the artificial, natural sciences, and philosophy. The question is, what at this stage of the development the inspiration from nature, specifically its computational models such as (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. Techno-Telepathy & Silent Subvocal Speech-Recognition Robotics.Virgil W. Brower - 2021 - HORIZON. Studies in Phenomenology 10 (1):232-257.
    The primary focus of this project is the silent and subvocal speech-recognition interface unveiled in 2018 as an ambulatory device wearable on the neck that detects a myoelectrical signature by electrodes worn on the surface of the face, throat, and neck. These emerge from an alleged “intending to speak” by the wearer silently-saying-something-to-oneself. This inner voice is believed to occur while one reads in silence or mentally talks to oneself. The artifice does not require spoken sounds, opening the mouth, or (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. Cognitive Computation sans Representation.Paul Schweizer - 2017 - In Thomas Powers (ed.), Philosophy and Computing: Essays in epistemology, philosophy of mind, logic, and ethics,. Cham, Switzerland: Springer. pp. 65-84.
    The Computational Theory of Mind (CTM) holds that cognitive processes are essentially computational, and hence computation provides the scientific key to explaining mentality. The Representational Theory of Mind (RTM) holds that representational content is the key feature in distinguishing mental from non-mental systems. I argue that there is a deep incompatibility between these two theoretical frameworks, and that the acceptance of CTM provides strong grounds for rejecting RTM. The focal point of the incompatibility is the fact that representational content is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  16. Remarks on logic for process descriptions in ontological reasoning: A Drug Interaction Ontology case study.Mitsuhiro Okada, Barry Smith & Yutaro Sugimoto - 2008 - In InterOntology. Proceedings of the First Interdisciplinary Ontology Meeting, Tokyo, Japan, 26-27 February 2008. Tokyo: Keio University Press. pp. 127-138.
    We present some ideas on logical process descriptions, using relations from the DIO (Drug Interaction Ontology) as examples and explaining how these relations can be naturally decomposed in terms of more basic structured logical process descriptions using terms from linear logic. In our view, the process descriptions are able to clarify the usual relational descriptions of DIO. In particular, we discuss the use of logical process descriptions in proving linear logical theorems. Among the types of reasoning supported by DIO one (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. The Theory of Chaos. [REVIEW]Steven James Bartlett - 1988 - Methodology and Science: Interdisciplinary Journal for the Empirical Study of the Foundations of Science and Their Methodology 21 (4):300-303.
    A review of James Glieck's _Chaos: Making a New Science_, noting how nonmonotonic functions self-referentially take on their own values and lead to complexity without randomness.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  18. Interaction and resistance: The recognition of intentions in new human-computer interaction.Vincent C. Müller - 2011 - In Anna Esposito, Antonietta M. Esposito, Raffaele Martone, Vincent C. Müller & Gaetano Scarpetta (eds.), Towards autonomous, adaptive, and context-aware multimodal interfaces: Theoretical and practical issues. Springer. pp. 1-7.
    Just as AI has moved away from classical AI, human-computer interaction (HCI) must move away from what I call ‘good old fashioned HCI’ to ‘new HCI’ – it must become a part of cognitive systems research where HCI is one case of the interaction of intelligent agents (we now know that interaction is essential for intelligent agents anyway). For such interaction, we cannot just ‘analyze the data’, but we must assume intentions in the other, and I suggest these are largely (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  19. Time phases, pointers, rules and embedding.John A. Barnden - 1993 - Behavioral and Brain Sciences 16 (3):451-452.
    This paper is a commentary on the target article by Lokendra Shastri & Venkat Ajjanagadde [S&A]: “From simple associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony” in same issue of the journal, pp.417–451. -/- It puts S&A's temporal-synchrony binding method in a broader context, comments on notions of pointing and other ways of associating information - in both computers and connectionist systems - and mentions types of reasoning that are a challenge to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  20. Observability of Turing Machines: a refinement of the theory of computation.Yaroslav Sergeyev & Alfredo Garro - 2010 - Informatica 21 (3):425–454.
    The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several points of view that emphasize the importance and the relativity of mathematical languages used to describe the Turing machines. A deep investigation is performed on the interrelations between mechanical computations and their mathematical descriptions emerging when a human (the researcher) starts to describe a Turing machine (the object of the study) by (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
Computers in Philosophy
  1. Philosophers Ought to Develop, Theorize About, and Use Philosophically Relevant AI.Graham Clay & Caleb Ontiveros - 2023 - Metaphilosophy 54 (4):463-479.
    The transformative power of artificial intelligence (AI) is coming to philosophy—the only question is the degree to which philosophers will harness it. In this paper, we argue that the application of AI tools to philosophy could have an impact on the field comparable to the advent of writing, and that it is likely that philosophical progress will significantly increase as a consequence of AI. The role of philosophers in this story is not merely to use AI but also to help (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. STATE POWER VERSUS WILLINGNESS (THIS IS THE HEADLINES).Thobias Sarbunan - 2022 - IEEE DATA PORT.
    This article created to address the current state of affairs, which has resulted in an insufficient progress and innovation system. The purpose of this overview article is to increase educate society's knowledge of how to use modern and innovative technologies based on need, cultural aspects, social context, and state context. As a result, I used secondary sources to assist readers understand how state actors and policies might best respond to society's aspirations to use and communicate through technology and information, as (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. Threshold Phenomena in Epistemic Networks.Patrick Grim - 2006 - In Proceedings, AAAI Fall Symposium on Complex Adaptive Systems and the Threshold Effect. AAAI Press.
    A small consortium of philosophers has begun work on the implications of epistemic networks (Zollman 2008 and forthcoming; Grim 2006, 2007; Weisberg and Muldoon forthcoming), building on theoretical work in economics, computer science, and engineering (Bala and Goyal 1998, Kleinberg 2001; Amaral et. al., 2004) and on some experimental work in social psychology (Mason, Jones, and Goldstone, 2008). This paper outlines core philosophical results and extends those results to the specific question of thresholds. Epistemic maximization of certain types does show (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   22 citations  
  4. Environmental Variability and the Emergence of Meaning: Simulational Studies across Imitation, Genetic Algorithms, and Neural Nets.Patrick Grim - 2006 - In Angelo Loula & Ricardo Gudwin (eds.), Artificial Cognition Systems. Idea Group. pp. 284-326.
    A crucial question for artificial cognition systems is what meaning is and how it arises. In pursuit of that question, this paper extends earlier work in which we show that emergence of simple signaling in biologically inspired models using arrays of locally interactive agents. Communities of "communicators" develop in an environment of wandering food sources and predators using any of a variety of mechanisms: imitation of successful neighbors, localized genetic algorithms and partial neural net training on successful neighbors. Here we (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. Game-Theoretic Robustness in Cooperation and Prejudice Reduction: A Graphic Measure.Patrick Grim - 2006 - In Luis M. Rocha, Larry S. Yaeger, Mark A. Bedau, Dario Floreano & Robert L. Goldstine (eds.), Artificial Life X: Proceedings of the Tenth International Conference on the Simulation and Synthesis of Living Systems. MIT Press. pp. 445-451.
    Talk of ‘robustness’ remains vague, despite the fact that it is clearly an important parameter in evaluating models in general and game-theoretic results in particular. Here we want to make it a bit less vague by offering a graphic measure for a particular kind of robustness— ‘matrix robustness’— using a three dimensional display of the universe of 2 x 2 game theory. In a display of this form, familiar games such as the Prisoner’s Dilemma, Stag Hunt, Chicken and Deadlock appear (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Reducing Prejudice: A Spatialized Game-Theoretic Model for the Contact Hypothesis.Patrick Grim - 2004 - In Jordan Pollack, Mark Bedau, Phil Husbands, Takashi Ikegami & Richard A. Watson (eds.), Artificial Life IX: Proceedings of the Ninth International Conference on Artificial Life. MIT Press. pp. 244-250.
    There are many social psychological theories regarding the nature of prejudice, but only one major theory of prejudice reduction: under the right circumstances, prejudice between groups will be reduced with increased contact. On the one hand, the contact hypothesis has a range of empirical support and has been a major force in social change. On the other hand, there are practical and ethical obstacles to any large-scale controlled test of the hypothesis in which relevant variables can be manipulated. Here we (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  7. Representation in Models of Epistemic Democracy.Patrick Grim, Aaron Bramson, Daniel J. Singer, William J. Berger, Jiin Jung & Scott E. Page - 2020 - Episteme 17 (4):498-518.
    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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Load Balancing of Tasks on Cloud Computing Using Time Complexity of Proposed Algorithm.V. Smrithi & B. K. Tiwari - 2018 - International Journal of Scientific Research and Engineering Trends 4 (6).
    Cloud Computing is a developing field and lean toward by numerous one at current yet it's rage is part more rely upon its execution which thusly is excessively rely upon the powerful booking algorithm and load adjusting . In this paper we address this issue and propose an algorithm for private cloud which has high throughput and for open cloud which address the issue of condition awareness likewise with execution. To enhance the throughput in private cloud SJF is utilized for (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. NETMET: A Program for Generating and Interpreting Metaphors.Eric Steinhart - 1995 - Computers and Humanities 28 (6):383-392.
    Metaphors have computable semantics. A program called NETMET both generates metaphors and produces partial literal interpretations of metaphors. NETMET is based on Kittay's semantic field theory of metaphor and Black's interaction theory of metaphor. Input to NETMET consists of a list of literal propositions. NETMET creates metaphors by finding topic and source semantic fields, producing an analogical map from source to topic, then generating utterances in which terms in the source are identified with or predicated of terms in the topic. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. Generating and Interpreting Metaphors with NETMET.Eric Steinhart - 2005 - APA Newsletter on Philosophy and Computers 4 (2).
    The structural theory of metaphor (STM) uses techniques from possible worlds semantics to generate and interpret metaphors. STM is presented in detail in The Logic of Metaphor: Analogous Parts of Possible Worlds (Steinhart, 2001). STM is based on Kittay’s semantic field theory of metaphor (1987) and ultimately on Black’s interactionist theory (1962, 1979). STM uses an intensional calculus to specify truth-conditions for many grammatical forms of metaphor. The truth-conditional analysis in STM is inspired in part by Miller (1979) and Hintikka (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. Computers Aren’t Syntax All the Way Down or Content All the Way Up.Cem Bozşahin - 2018 - Minds and Machines 28 (3):543-567.
    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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  12. Hypertext. Eine Schrift für vernetzte, dynamische Schreibmaschinen (1965).Christian Vater - 2017 - In Christian Vater, Ludger Lieb, Christian Witschel & Michaela Böttner (eds.), 5300 Jahre Schrift. Heidelberg: Wunderhorn. pp. 166-169.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. Дизайн онлайн-делиберации: Выбор, критерии и эмпирические данные.Todd Davies, Reid Chandler & Anatoly Kulik - 2013 - Политическая Наука 2013 (1):83-132.
    Перевод статьи: Davies T., Chandler R. Online deliberation design: Choices, criteria, and evidence // Democracy in motion: Evaluating the practice and impact of deliberative civic engagement / Nabatchi T., Weiksner M., Gastil J., Leighninger M. (eds.). -- Oxford: Oxford univ. press, 2013. -- P. 103-131. А. Кулик. -/- Вниманию читателей предлагается обзор эмпирических исследований в области дизайна онлайн-форумов, предназначенных для вовлечения граждан в делиберацию. Размерности дизайна определены для различных характеристик делиберации: назначения, целевой аудитории, разобщенности участников в пространстве и во времени, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   11 citations  
  14. Online Deliberation Design: Choices, Criteria, and Evidence.Todd Davies & Reid Chandler - 2012 - In Tina Nabatchi, John Gastil, G. Michael Weiksner & Matt Leihninger (eds.), Democracy in Motion: Evaluating the Practice and Impact of Deliberative Civic Engagement. New York, USA: Oxford University Press. pp. 103-131.
    This chapter reviews empirical evidence bearing on the design of online forums for deliberative civic engagement. Dimensions of design are defined for different aspects of the deliberation: its purpose, the target population, the spatiotemporal distance separating participants, the communication medium, and the deliberative process to be followed. After a brief overview of criteria for evaluating different design options, empirical findings are organized around design choices. Research has evolved away from treating technology for online deliberation dichotomously (either present or not) toward (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Is there any real substance to the claims for a 'new computationalism'?Alberto Hernandez-Espinosa, Hernandez-Quiroz Francisco & Zenil Hector - forthcoming - In CiE Computability in Europe 2017. Springer Verlag.
    'Computationalism' is a relatively vague term used to describe attempts to apply Turing's model of computation to phenomena outside its original purview: in modelling the human mind, in physics, mathematics, etc. Early versions of computationalism faced strong objections from many (and varied) quarters, from philosophers to practitioners of the aforementioned disciplines. Here we will not address the fundamental question of whether computational models are appropriate for describing some or all of the wide range of processes that they have been applied (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. Orbital Space Environment and Space Situational Awareness Domain Ontology.Robert J. Rovetto - 2016 - In Stefano Borgo, Jean-Rémi Bourguet & Adrien Barton (eds.), CEUR workshop proceedings of The Joint Ontology Workshops, with the 9th International Conference of Formal Ontology for Information Systems (FOIS), Early Career Symposium. CEUR Scientific Workshops.
    A short summary paper of my Orbital Space Domain Ontology project (purl.org/space-ontology), originally conceived in 2011. Since then I've sought (without success) opportunities to realize it (either as a PhD or other degree thesis; or in an employment position) toward my original passion of entering the space sector and gaining further space education. Since then persons in the relevant space disciplines have seen the potential in it, and unfortunately some have taken advantage of my ideas yet excluded me from work. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. Computing and philosophy: Selected papers from IACAP 2014.Vincent C. Müller (ed.) - 2016 - Cham: Springer.
    This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) - a conference tradition of 28 years. - - - Table of Contents - 0 Vincent C. Müller: - Editorial - 1) Philosophy of computing - 1 Çem Bozsahin: - What is a computational constraint? - 2 Joe Dewhurst: - Computing Mechanisms and Autopoietic Systems - 3 Vincenzo Fano, Pierluigi Graziani, Roberto Macrelli and Gino Tarozzi: - Are Gandy Machines really local? (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  18. What a course on philosophy of computing is not.Vincent C. Müller - 2008 - APA Newsletter on Philosophy and Computers 8 (1):36-38.
    Immanuel Kant famously defined philosophy to be about three questions: “What can I know? What should I do? What can I hope for?” (KrV, B833). I want to suggest that the three questions of our course on the philosophy of computing are: What is computing? What should we do with computing? What could computing do?
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Online Deliberation: Design, Research, and Practice.Todd Davies & Seeta Peña Gangadharan (eds.) - 2009 - CSLI Publications/University of Chicago Press.
    Can new technology enhance purpose-driven, democratic dialogue in groups, governments, and societies? Online Deliberation: Design, Research, and Practice is the first book that attempts to sample the full range of work on online deliberation, forging new connections between academic research, technology designers, and practitioners. Since some of the most exciting innovations have occurred outside of traditional institutions, and those involved have often worked in relative isolation from each other, work in this growing field has often failed to reflect the full (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Single-tape and multi-tape Turing machines through the lens of the Grossone methodology.Yaroslav Sergeyev & Alfredo Garro - 2013 - Journal of Supercomputing 65 (2):645-663.
    The paper investigates how the mathematical languages used to describe and to observe automatic computations influence the accuracy of the obtained results. In particular, we focus our attention on Single and Multi-tape Turing machines which are described and observed through the lens of a new mathematical language which is strongly based on three methodological ideas borrowed from Physics and applied to Mathematics, namely: the distinction between the object (we speak here about a mathematical object) of an observation and the instrument (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Extended cognition and the explosion of knowledge.David Ludwig - 2014 - Philosophical Psychology (3):1-14.
    The aim of this article is to show that externalist accounts of cognition such as Clark and Chalmers' (1998) “active externalism” lead to an explosion of knowledge that is caused by online resources such as Wikipedia and Google. I argue that externalist accounts of cognition imply that subjects who integrate mobile Internet access in their cognitive routines have millions of standing beliefs on unexpected issues such as the birth dates of Moroccan politicians or the geographical coordinates of villages in southern (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   20 citations  
  22. Beyond proportional analogy: A structural model of analogical mapping.Eric Steinhart - 1994 - Pragmatics and Cognition 2 (1):95-129.
    A model of analogical mapping is proposed that uses five principles to generate consistent and conflicting hypotheses regarding assignments of elements of a source domain to analogous elements of a target domain. The principles follow the fine conceptual structure of the domains. The principles are: (1) the principle of proportional analogy; (2) the principle of mereological analogy, (3) the principle of chain reinforcement; (4) the principle of transitive reinforcement; and (5) the principle of mutual inconsistency. A constraint-satisfaction network is used (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  23. Modeling prejudice reduction: Spatialized game theory and the contact hypothesis.Patrick Grim, Evan Selinger, William Braynen, Robert Rosenberger, Randy Au, Nancy Louie & John Connolly - 2005 - Public Affairs Quarterly 19 (2):95-125.
    We apply spatialized game theory and multi-agent computational modeling as philosophical tools: (1) for assessing the primary social psychological hypothesis regarding prejudice reduction, and (2) for pursuing a deeper understanding of the basic mechanisms of prejudice reduction.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   10 citations  
  24. Paperless Philosophy as a Philosophical Method.David Bourget - 2010 - Social Epistemology 24 (4):363-375.
    I discuss the prospects for novel communication methods in academic research. I describe communication tools which could enhance the practice of conceptual analysis.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  25. A Computer Simulation of the Argument from Disagreement.Johan E. Gustafsson & Martin Peterson - 2012 - Synthese 184 (3):387-405.
    In this paper we shed new light on the Argument from Disagreement by putting it to test in a computer simulation. According to this argument widespread and persistent disagreement on ethical issues indicates that our moral opinions are not influenced by any moral facts, either because no such facts exist or because they are epistemically inaccessible or inefficacious for some other reason. Our simulation shows that if our moral opinions were influenced at least a little bit by moral facts, we (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  26. LogiLogi: Philosophy Beyond the Paper.Wybo Wiersma - manuscript
    This paper sets out to show that philosophy has much to gain from the web, and explores what philosophy on the web might be like. We argue that philosophers usage of the web will undeniably go beyond on-line journals, and the distribution of .pdf files. The failure of historical attempts at making the web work for philosophy are investigated and explained, such as the Xanadu and Discovery projects, and plain web-forums. LogiLogi, a working prototype of a philosophical discussion platform, is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
Computer Languages
  1. The van Wijngaarden grammars: A syntax primer with decidable restrictions.Luis M. Augusto - 2023 - Journal of Knowledge Structures and Systems 4 (2):1-39.
    Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. في البدء كان سطر الأوامر.Salah Osman - manuscript
    هل فوجئت يومًا بأن نظام التشغيل لهاتفك أو حاسوبك لا يقبل التحديث لأن الشركة المُنتجة قد أوقفت دعم إصدارٍ ما زال يعمل، لكي تحث عملائها على شراء إصدار جديد أكثر كفاءة وأشد جذبًا وإشباعًا لحاجات المستخدمين؟ وهل تساءلت يومًا عن طبيعة العلاقة التي تربط بينك وبين هاتفك أو حاسوبك أو أي جهازٍ إلكتروني آخر تمتلكه، هل هي علاقة عاطفية قوامها المظهر والتباهي أم علاقة عقلانية قوامها الحاجة ونمط الاستخدام؟ وهل فكرت يومًا في كيفية عمل هاتفك أو حاسوبك، وما الذي يحدث (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. Two-level grammars: Some interesting properties of van Wijngaarden grammars.Luis M. Augusto - 2023 - Omega - Journal of Formal Languages 1:3-34.
    The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Peter D. Mosses, Action Semantics[REVIEW]Varol Akman - 1993 - Journal of Logic and Computation 3 (4):442-444.
    This is a review of Action Semantics, by Peter D. Mosses, Cambridge Tracts in Theoretical Computer Science 26, Cambridge University Press, 1992.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 242