This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

24 found
Order:
  1. added 2020-03-28
    Mechanizing Principia Logico-Metaphysica in Functional Type-Theory.Daniel Kirchner, Christoph Benzmüller & Edward N. Zalta - 2020 - Review of Symbolic Logic 13 (1):206-218.
    Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects.This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms is (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. added 2020-03-24
    The Philosophical Computer: Exploratory Essays in Philosophical Computer Modeling. [REVIEW]Nicole Wyatt - 2001 - Philosophy and Phenomenological Research 63 (2):489-492.
    Grim, Mar and St. Denis frame their unusual philosophy book with a number of quotes, two of which seem particularly appropriate. The first, from Plato, illustrates nicely the degree to which the work in the book is part of a long tradition of philosophical modeling. The second, from Picasso, accurately captures the frustration which many readers will feel.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3. added 2020-02-22
    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   Direct download  
     
    Export citation  
     
    Bookmark  
  4. added 2020-02-22
    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   Direct download  
     
    Export citation  
     
    Bookmark  
  5. added 2020-02-22
    Generating Metaphors From Networks.Eric Steinhart & Eva Kittay - 1994 - In Approaches to Metaphor. Dordrecht: Kluwer Academic. pp. 41-94.
    Metaphor's peculiar property to yield cognitive insight-- often in otherwise false sentences -- has been the focus of contemporary studies of metaphor. In Metaphor: Its Linguistic Structure and Cognitive Force, Eva Kittay develops the semantic field theory of metaphor (SFTM). The task of the present work is to formalize some of the central claims of SFTM. Formalization forces us to make the central concepts of SFTM precise and operational, and it enables us to evaluate the consistency and explanatory power of (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  6. added 2020-02-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   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7. added 2018-04-11
    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.
  8. added 2017-12-02
    Дизайн онлайн-делиберации: Выбор, критерии и эмпирические данные.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   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   10 citations  
  9. added 2017-12-02
    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   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. added 2017-03-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   Direct download  
     
    Export citation  
     
    Bookmark  
  11. added 2017-01-02
    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   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. added 2016-12-11
    Computing and Philosophy: Selected Papers From IACAP 2014.Vincent C. Müller (ed.) - 2016 - 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   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13. added 2016-10-11
    Explaining Engineered Computing Systems’ Behaviour: The Role of Abstraction and Idealization.Nicola Angius & Guglielmo Tamburrini - 2017 - Philosophy and Technology 30 (2):239-258.
    This paper addresses the methodological problem of analysing what it is to explain observed behaviours of engineered computing systems, focusing on the crucial role that abstraction and idealization play in explanations of both correct and incorrect BECS. First, it is argued that an understanding of explanatory requests about observed miscomputations crucially involves reference to the rich background afforded by hierarchies of functional specifications. Second, many explanations concerning incorrect BECS are found to abstract away from descriptions of physical components and processes (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. added 2016-08-29
    Object-Oriented Ontology, or Programming's Creative Fold.Aden Evens - 2006 - Angelaki 11 (1):89 – 97.
    This article asks what is creative about the act of programming. Observing that in most programming contexts, each line of code is written with a specific end in mind, it would seem as though there is little room for creativity, as the ends constrain the choices of means. However, there are many features of coding languages that open up creative possibilities. Object-oriented coding environments purport to make programming more about structures that humans might work with and less about features of (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15. added 2016-08-28
    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   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16. added 2016-06-13
    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   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  17. added 2015-09-23
    The Use of the ‘Materiality Argument’ in the Literature on Computer Simulations.Juan M. Durán - 2013 - In Juan M. Durán & Eckhart Arnold (eds.), Computer simulations and the changing face of scientific experimentation. pp. 76-98.
  18. added 2015-07-29
    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   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19. added 2015-07-11
    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   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20. added 2014-04-14
    Roberto Busa i humanistyczna informatyka.Robert Janusz - 2012 - Rocznik Filozoficzny Ignatianum:91-106.
    Fr. Roberto Busa was an Italian Jesuit. In this article his biography will briefly be presented, and some issues raised by his philosophy analyzed. Busa was known as a pioneer of computerized research in the humanities. With the support of IBM he constructed the Index Thomisticus, containing all the works of St. Thomas Aquinas. He believed that expressions of the human can be mathematically modeled. He was the originator of a specific conception of hypertext, in which logically structured programs are (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  21. added 2014-03-07
    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   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. added 2013-12-09
    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   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. added 2010-08-23
    New Methodologies for Quantifying Licence-Based Commons on the Web.Ben Bildstein - unknown
    Current practice in quantifying online commons lacks rigorous methodology. One example of this is in Creative Commons' own data about the growth and state of Creative Commons licensing. Closed,proprietary search engine web services are used to gather approximations to counts of web pages that link to licence URLs. While this data is a useful starting point to get some feel for the current state of Creative Commons-licensed works online, the methodology makes many implicit assumptions. These include: that every licensed work (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. added 2010-02-18
    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   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark