Year:

  1.  3
    From Curry to Haskell.Felice Cardone - 2021 - Philosophy and Technology 34 (1):57-74.
    We expose some basic elements of a style of programming supported by functional languages like Haskell by relating them to a coherent set of notions and techniques from Curry’s work in combinatory logic and formal systems, and their algebraic and categorical interpretations. Our account takes the form of a commentary to a simple fragment of Haskell code attempting to isolate the conceptual sources of the linguistic abstractions involved.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  1
    Middleware’s Message: the Financial Technics of Codata.Michael Castelle - 2021 - Philosophy and Technology 34 (1):33-55.
    In this paper, I will argue for the relevance of certain distinctive features of messaging systems, namely those in which data can be sent and received asynchronously, can be sent to multiple simultaneous recipients and is received as a “potentially infinite” flow of unpredictable events. I will describe the social technology of the stock ticker, a telegraphic device introduced at the New York Stock Exchange in the 1860s, with reference to early twentieth century philosophers of synchronous experience, simultaneous sign interpretations, (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. Middleware’s Message: the Financial Technics of Codata.Michael Castelle - 2021 - Philosophy and Technology 34 (1):33-55.
    In this paper, I will argue for the relevance of certain distinctive features of messaging systems, namely those in which data can be sent and received asynchronously, can be sent to multiple simultaneous recipients and is received as a “potentially infinite” flow of unpredictable events. I will describe the social technology of the stock ticker, a telegraphic device introduced at the New York Stock Exchange in the 1860s, with reference to early twentieth century philosophers of synchronous experience, simultaneous sign interpretations, (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Middleware’s Message: the Financial Technics of Codata.Michael Castelle - 2021 - Philosophy and Technology 34 (1):33-55.
    In this paper, I will argue for the relevance of certain distinctive features of messaging systems, namely those in which data can be sent and received asynchronously, can be sent to multiple simultaneous recipients and is received as a “potentially infinite” flow of unpredictable events. I will describe the social technology of the stock ticker, a telegraphic device introduced at the New York Stock Exchange in the 1860s, with reference to early twentieth century philosophers of synchronous experience, simultaneous sign interpretations, (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Middleware’s Message: the Financial Technics of Codata.Michael Castelle - 2021 - Philosophy and Technology 34 (1):33-55.
    In this paper, I will argue for the relevance of certain distinctive features of messaging systems, namely those in which data can be sent and received asynchronously, can be sent to multiple simultaneous recipients and is received as a “potentially infinite” flow of unpredictable events. I will describe the social technology of the stock ticker, a telegraphic device introduced at the New York Stock Exchange in the 1860s, with reference to early twentieth century philosophers of synchronous experience, simultaneous sign interpretations, (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  1
    A Formal Framework for Computer Simulations: Surveying the Historical Record and Finding Their Philosophical Roots.Juan M. Durán - 2021 - Philosophy and Technology 34 (1):105-127.
    A chronicled approach to the notion of computer simulations shows that there are two predominant interpretations in the specialized literature. According to the first interpretation, computer simulations are techniques for finding the set of solutions to a mathematical model. I call this first interpretation the problem-solving technique viewpoint. In its second interpretation, computer simulations are considered to describe patterns of behavior of a target system. I call this second interpretation the description of patterns of behavior viewpoint of computer simulations. This (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  7.  2
    A Formal Framework for Computer Simulations: Surveying the Historical Record and Finding Their Philosophical Roots.Juan M. Durán - 2021 - Philosophy and Technology 34 (1):105-127.
    A chronicled approach to the notion of computer simulations shows that there are two predominant interpretations in the specialized literature. According to the first interpretation, computer simulations are techniques for finding the set of solutions to a mathematical model. I call this first interpretation the problem-solving technique viewpoint. In its second interpretation, computer simulations are considered to describe patterns of behavior of a target system. I call this second interpretation the description of patterns of behavior viewpoint of computer simulations. This (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  8.  5
    Concepts of Solution and the Finite Element Method: A Philosophical Take on Variational Crimes.Nicolas Fillion & Robert M. Corless - 2021 - Philosophy and Technology 34 (1):129-148.
    Despite being one of the most dependable methods used by applied mathematicians and engineers in handling complex systems, the finite element method commits variational crimes. This paper contextualizes the concept of variational crime within a broader account of mathematical practice by explaining the tradeoff between complexity and accuracy involved in the construction of numerical methods. We articulate two standards of accuracy used to determine whether inexact solutions are good enough and show that, despite violating the justificatory principles of one, the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  12
    Trump, Parler, and Regulating the Infosphere as Our Commons.Luciano Floridi - 2021 - Philosophy and Technology 34 (1):1-5.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  7
    Why Can Computers Understand Natural Language?: The Structuralist Image of Language Behind Word Embeddings.Juan Luis Gastaldi - 2021 - Philosophy and Technology 34 (1):149-214.
    The present paper intends to draw the conception of language implied in the technique of word embeddings that supported the recent development of deep neural network models in computational linguistics. After a preliminary presentation of the basic functioning of elementary artificial neural networks, we introduce the motivations and capabilities of word embeddings through one of its pioneering models, word2vec. To assess the remarkable results of the latter, we inspect the nature of its underlying mechanisms, which have been characterized as the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  5
    Foo, Bar, Baz…: The Metasyntactic Variable and the Programming Language Hierarchy.Brian Lennon - 2021 - Philosophy and Technology 34 (1):13-32.
    This article argues that the English-language nonsense words “foo,” “bar,” “baz,” and others in a more or less standardized sequence of so-called metasyntactic variables commonly used in computer programming ought to be understood as meta-abstractive, re-representing a linguistically derived code’s abstraction of language and the abstraction of the programming language hierarchy itself, making it legible in a manner that rewards culturally oriented study: for example, of programming as a culture and of cultures of software development or engineering.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Foo, Bar, Baz…: The Metasyntactic Variable and the Programming Language Hierarchy.Brian Lennon - 2021 - Philosophy and Technology 34 (1):13-32.
    This article argues that the English-language nonsense words “foo,” “bar,” “baz,” and others in a more or less standardized sequence of so-called metasyntactic variables commonly used in computer programming ought to be understood as meta-abstractive, re-representing a linguistically derived code’s abstraction of language and the abstraction of the programming language hierarchy itself, making it legible in a manner that rewards culturally oriented study: for example, of programming as a culture and of cultures of software development or engineering.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  1
    Foo, Bar, Baz…: The Metasyntactic Variable and the Programming Language Hierarchy.Brian Lennon - 2021 - Philosophy and Technology 34 (1):13-32.
    This article argues that the English-language nonsense words “foo,” “bar,” “baz,” and others in a more or less standardized sequence of so-called metasyntactic variables commonly used in computer programming ought to be understood as meta-abstractive, re-representing a linguistically derived code’s abstraction of language and the abstraction of the programming language hierarchy itself, making it legible in a manner that rewards culturally oriented study: for example, of programming as a culture and of cultures of software development or engineering.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Foo, Bar, Baz…: The Metasyntactic Variable and the Programming Language Hierarchy.Brian Lennon - 2021 - Philosophy and Technology 34 (1):13-32.
    This article argues that the English-language nonsense words “foo,” “bar,” “baz,” and others in a more or less standardized sequence of so-called metasyntactic variables commonly used in computer programming ought to be understood as meta-abstractive, re-representing a linguistically derived code’s abstraction of language and the abstraction of the programming language hierarchy itself, making it legible in a manner that rewards culturally oriented study: for example, of programming as a culture and of cultures of software development or engineering.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  7
    Reciprocal Influences Between Proof Theory and Logic Programming.Dale Miller - 2021 - Philosophy and Technology 34 (1):75-104.
    The topics of structural proof theory and logic programming have influenced each other for more than three decades. Proof theory has contributed the notion of sequent calculus, linear logic, and higher-order quantification. Logic programming has introduced new normal forms of proofs and forced the examination of logic-based approaches to the treatment of bindings. As a result, proof theory has responded by developing an approach to proof search based on focused proof systems in which introduction rules are organized into two alternating (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  1
    Computing and Programming in Context—Introduction.Tomas Petricek - 2021 - Philosophy and Technology 34 (1):7-11.
    In a society where computers have become ubiquitous, it is necessary to develop a broader understanding of the nature of computing and programming, not just from a technical viewpoint but also from a historical and philosophical perspective. Computers and computer programs do not exist in a vacuum. Instead, they are a part of a rich socio-technological context that provides ways for understanding computers and reasoning about programs. This includes not only formal logic, mathematics, sciences, and technology but also cognitive sciences (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues