Switch to: References

Add citations

You must login to add citations.
  1. Teoria kategorii i niektóre jej logiczne aspekty (Category theory and some of its logical aspects).Mariusz Stopa - 2018 - Philosophical Problems in Science 64:7-58.
    [The paper is in Polish, an English abstract is given only for information.] This article is intended for philosophers and logicians as a short partial introduction to category theory and its peculiar connection with logic. First, we consider CT itself. We give a brief insight into its history, introduce some basic definitions and present examples. In the second part, we focus on categorical topos semantics for propositional logic. We give some properties of logic in toposes, which, in general, is an (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Information and physics.Radosław Kycia & Agnieszka Niemczynowicz - 2020 - Philosophical Problems in Science 69:237-252.
    This is an overview article that contains the discussion of the connection between information and physics at the elementary level. We present a derivation of Lindauer’s bound for heat emission during irreversible logical operation. In this computation the Szilard’s version of Maxwell’s demon paradox is used as a model to design thermodynamic implementation of a single bit of computer memory. Lindauer’s principle also motivates the discussion on the practical and emergent nature of the information. Apart from physics, the principle has (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation