Most recently added entries found
Search inside:
(import / add options)   Sort by:
  1. added 2014-10-16
    David Ellerman (2014). An Introduction to Partition Logic. Logic Journal of the Igpl 22 (1):94-125.
    Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. added 2014-10-16
    David Ellerman (2013). An Introduction to Logical Entropy and its Relation to Shannon Entropy. International Journal of Semantic Computing 7 (2):121-145.
    The logical basis for information theory is the newly developed logic of partitions that is dual to the usual Boolean logic of subsets. The key concept is a "distinction" of a partition, an ordered pair of elements in distinct blocks of the partition. The logical concept of entropy based on partition logic is the normalized counting measure of the set of distinctions of a partition on a finite set--just as the usual logical notion of probability based on the Boolean logic (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. added 2014-09-22
    Amit Hagar, Ed Fredkin and the Physics of Information - An Inside Story of an Outsider Scientist.
    This article tells the story of Ed Fredkin, a pilot, programmer, engineer, hardware designer and entrepreneur, whose work inside and outside academia has influenced major developments in computer science and in the foundations of theoretical physics for the past fifty years.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  4. added 2014-08-30
    Barry Smith (2014). The Relevance of Philosophical Ontology to Information and Computer Science. In Ruth Hagengruber & Uwe Riss (eds.), Philosophy, Computing and Information Science. Chatto and Pickering. 75-83.
    The discipline of ontology has enjoyed a checkered history since 1606, with a significant expansion in recent years. We focus here on those developments in the recent history of philosophy which are most relevant to the understanding of the increased acceptance of ontology, and especially of realist ontology, as a valuable method also outside the discipline of philosophy.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  5. added 2014-08-29
    Thomas Macaulay Ferguson (forthcoming). Faulty Belnap Computers and Subsystems of FDE. Journal of Logic and Computation.
    In this article, we consider variations of Nuel Belnap's "artificial reasoner". In particular, we examine cases in which the artificial reasoner is faulty, e.g. situations in which the reasoner is unable to calculate the value of a formula due to an inability to retrieve the values of its atoms. In the first half of the article, we consider two ways of modelling such circumstances and prove the deductive systems arising from these two types of models to be equivalent to Graham (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. added 2014-08-28
    Emanuele Ratti (2014). Levels of Abstraction, Emergentism and Artificial Life. Journal of Experimental & Theoretical Artificial Intelligence:1-12.
    I diagnose the current debate between epistemological and ontological emergentism as a Kantian antinomy, which has reasonable but irreconcilable thesis and antithesis. Kantian antinomies have recently returned to contemporary philosophy in part through the work of Luciano Floridi, and the method of levels of abstraction. I use a thought experiment concerning a computer simulation to show how to resolve the epistemological/ontological antinomy about emergence. I also use emergentism and simulations in artificial life to illuminate both levels of abstraction and theoretical (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  7. added 2014-08-08
    Luciano Floridi (2014). The Fourth Revolution. How the Infosphere is Reshaping Human Reality. Oxford University Press.
    Who are we, and how do we relate to each other? Luciano Floridi, one of the leading figures in contemporary philosophy, argues that the explosive developments in Information and Communication Technologies (ICTs) is changing the answer to these fundamental human questions. -/- As the boundaries between life online and offline break down, and we become seamlessly connected to each other and surrounded by smart, responsive objects, we are all becoming integrated into an "infosphere". Personas we adopt in social media, for (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation