Switch to: Citations

Add references

You must login to add references.
  1. Types and Tokens: On Abstract Objects.Linda Wetzel - 2009 - MIT Press.
    In this book, Linda Wetzel examines the distinction between types and tokens and argues that types exist (as abstract objects, since they lack a unique ...
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Causality: Models, Reasoning and Inference.Judea Pearl - 2000 - Tijdschrift Voor Filosofie 64 (1):201-202.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   257 citations  
  • A Program for Computational Semantics.Jan van Eijck - unknown
    Just as war can be viewed as continuation of diplomacy using other means, computational semantics is continuation of logical analysis of natural language by other means. For a long time, the tool of choice for this used to be Prolog. In our recent textbook we argue (and try to demonstrate by example) that lazy functional programming is a more appropriate tool. In the talk we will lay out a program for computational semantics, by linking computational semantics to the general analysis (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  • Computational Semantics with Functional Programming.Jan van Eijck - unknown
    Almost forty years ago Richard Montague proposed to analyse natural language with the same tools as formal languages. In particular, he gave formal semantic analyses of several interesting fragments of English in terms of typed logic. This led to the development of Montague grammar as a particular style of formal analysis of natural language.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  • A Functional Account of Causation; or, A Defense of the Legitimacy of Causal Thinking by Reference to the Only Standard That Matters—Usefulness.James Woodward - 2014 - Philosophy of Science 81 (5):691-713.
    This essay advocates a “functional” approach to causation and causal reasoning: these are to be understood in terms of the goals and purposes of causal thinking. This approach is distinguished from accounts based on metaphysical considerations or on reconstruction of “intuitions.”.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • The Philosophy of Computer Science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Causality: Models, Reasoning and Inference.Christopher Hitchcock & Judea Pearl - 2001 - Philosophical Review 110 (4):639.
    Judea Pearl has been at the forefront of research in the burgeoning field of causal modeling, and Causality is the culmination of his work over the last dozen or so years. For philosophers of science with a serious interest in causal modeling, Causality is simply mandatory reading. Chapter 2, in particular, addresses many of the issues familiar from works such as Causation, Prediction and Search by Peter Spirtes, Clark Glymour, and Richard Scheines. But philosophers with a more general interest in (...)
    Download  
     
    Export citation  
     
    Bookmark   318 citations  
  • Abstract Objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • A Software-Inspired Constructive View of Nature.Russ Abbott - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer Verlag.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Extending Ourselves: Computational Science, Empiricism, and Scientific Method.Paul Humphreys - 2004 - Oxford University Press.
    Computational methods have become the dominant technique in many areas of science. This book contains the first systematic philosophical account of these new methods and their consequences for scientific method. This book will be of interest to philosophers of science and to anyone interested in the role played by computers in modern science.
    Download  
     
    Export citation  
     
    Bookmark   123 citations  
  • Meaning, Autonomy, Symbolic Causality, and Free Will.Russ Abbott - 2018 - Review of General Psychology 22 (1):85-94.
    As physical entities that translate symbols into physical actions, computers offer insights into the nature of meaning and agency. • Physical symbol systems, generically known as agents, link abstractions to material actions. The meaning of a symbol is defined as the physical actions an agent takes when the symbol is encountered. • An agent has autonomy when it has the power to select actions based on internal decision processes. Autonomy offers a partial escape from constraints imposed by direct physical influences (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Physical Symbol Systems.Allen Newell - 1980 - Cognitive Science 4 (2):135-83.
    Download  
     
    Export citation  
     
    Bookmark   414 citations  
  • A Praxical Solution of the Symbol Grounding Problem.Mariarosaria Taddeo & Luciano Floridi - 2007 - Minds and Machines 17 (4):369-389.
    This article is the second step in our research into the Symbol Grounding Problem (SGP). In a previous work, we defined the main condition that must be satisfied by any strategy in order to provide a valid solution to the SGP, namely the zero semantic commitment condition (Z condition). We then showed that all the main strategies proposed so far fail to satisfy the Z condition, although they provide several important lessons to be followed by any new proposal. Here, we (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • The Philosophy of Computer Science.Raymond Turner & Amnon H. Eden - 2008 - Journal of Applied Logic 6 (4):459.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Physical Perspectives on Computation, Computational Perspectives on Physics.Michael E. Cuffaro & Samuel C. Fletcher (eds.) - 2018 - Cambridge University Press.
    Although computation and the science of physical systems would appear to be unrelated, there are a number of ways in which computational and physical concepts can be brought together in ways that illuminate both. This volume examines fundamental questions which connect scholars from both disciplines: is the universe a computer? Can a universal computing machine simulate every physical process? What is the source of the computational power of quantum computers? Are computational approaches to solving physical problems and paradoxes always fruitful? (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Physical Computation: A Mechanistic Account.Gualtiero Piccinini - 2015 - Oxford University Press UK.
    Gualtiero Piccinini articulates and defends a mechanistic account of concrete, or physical, computation. A physical system is a computing system just in case it is a mechanism one of whose functions is to manipulate vehicles based solely on differences between different portions of the vehicles according to a rule defined over the vehicles. Physical Computation discusses previous accounts of computation and argues that the mechanistic account is better. Many kinds of computation are explicated, such as digital vs. analog, serial vs. (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Symbol Grounding Without Direct Experience: Do Words Inherit Sensorimotor Activation From Purely Linguistic Context?Fritz Günther, Carolin Dudschig & Barbara Kaup - 2018 - Cognitive Science 42 (S2):336-374.
    Theories of embodied cognition assume that concepts are grounded in non-linguistic, sensorimotor experience. In support of this assumption, previous studies have shown that upwards response movements are faster than downwards movements after participants have been presented with words whose referents are typically located in the upper vertical space. This is taken as evidence that processing these words reactivates sensorimotor experiential traces. This congruency effect was also found for novel words, after participants learned these words as labels for novel objects that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Ecological Approach to Visual Perception.James J. Gibson - 1980 - Journal of Aesthetics and Art Criticism 39 (2):203-206.
    Download  
     
    Export citation  
     
    Bookmark   1974 citations  
  • Making Things Happen.James Woodward - 2005 - Philosophical Review 114 (4):545-547.
    Woodward's long awaited book is an attempt to construct a comprehensive account of causation explanation that applies to a wide variety of causal and explanatory claims in different areas of science and everyday life. The book engages some of the relevant literature from other disciplines, as Woodward weaves together examples, counterexamples, criticisms, defences, objections, and replies into a convincing defence of the core of his theory, which is that we can analyse causation by appeal to the notion of manipulation.
    Download  
     
    Export citation  
     
    Bookmark   303 citations  
  • Computer Science as Empirical Inquiry: Symbols and Search.Allen Newell & Herbert A. Simon - 1981 - Communications of the Association for Computing Machinery 19:113-26.
    Download  
     
    Export citation  
     
    Bookmark   148 citations  
  • On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
    Download  
     
    Export citation  
     
    Bookmark   407 citations  
  • Types and Tokens.Linda Wetzel - 2008 - Stanford Encyclopedia of Philosophy.
    The distinction between a type and its tokens is a useful metaphysical distinction. In §1 it is explained what it is, and what it is not. Its importance and wide applicability in linguistics, philosophy, science and everyday life are briefly surveyed in §2. Whether types are universals is discussed in §3. §4 discusses some other suggestions for what types are, both generally and specifically. Is a type the sets of its tokens? What exactly is a word, a symphony, a species? (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Which Symbol Grounding Problem Should We Try to Solve?Vincent C. Müller - 2015 - Journal of Experimental & Theoretical Artificial Intelligence 27 (1):73-78.
    Floridi and Taddeo propose a condition of “zero semantic commitment” for solutions to the grounding problem, and a solution to it. I argue briefly that their condition cannot be fulfilled, not even by their own solution. After a look at Luc Steels' very different competing suggestion, I suggest that we need to re-think what the problem is and what role the ‘goals’ in a system play in formulating the problem. On the basis of a proper understanding of computing, I come (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Abstract Objects.Edward N. Zalta - 1985 - Revue de Métaphysique et de Morale 90 (1):135-137.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   45 citations  
  • Montague Semantics.Theo M. V. Janssen - forthcoming - Stanford Encyclopedia of Philosophy.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • Specification.Raymond Turner - 2011 - Minds and Machines 21 (2):135-152.
    The specification and implementation of computational artefacts occurs throughout the discipline of computer science. Consequently, unpacking its nature should constitute one of the core areas of the philosophy of computer science. This paper presents a conceptual analysis of the central role of specification in the discipline.
    Download  
     
    Export citation  
     
    Bookmark   15 citations