Most recently added entries found
Search inside:
(import / add options)   Order:
  1. added 2016-07-24
    Zvonimir Šikić (2015). On Probable Conditionals. European Journal of Analytic Philosophy 11 (2):50--55.
    We compare supports $A\uparrow B$ (i.e. $pr(B| A)> pr(B)$) with conditionals $A\rightarrow B$ and prove that the basic properties of supports are exactly the opposite to those of conditionals.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  2. added 2016-07-11
    John-Michael Kuczynski (2016). What is a Law of Logic?: A Dialogue. PHILOSOPHYPEDIA.
    It is made clear what a law of logic is and why the laws of classical logic are true.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  3. added 2016-07-10
    John-Michael Kuczynski (2015). The Mathematics of the Infinite. Amazon Digital Services LLC.
    This book clearly explains what an infinite number is, how infinite numbers differ from finite numbers, and how infinite numbers differ from one another. The concept of recursivity is concisely but thoroughly covered, as are the concepts of cardinal and ordinal number. All of Cantor's key proofs are clearly stated, including his epoch-making diagonal proof, whereby he proved that that there are more reals than rationals and, more generally, that there are infinitely large, non-recursive classes. In the final section, Kurt (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  4. added 2016-07-02
    Matthew E. Gladden (2016). Organizational Posthumanism. In Sapient Circuits and Digitalized Flesh: The Organization as Locus of Technological Posthumanization. Defragmenter Media 93-131.
    Building on existing forms of critical, cultural, biopolitical, and sociopolitical posthumanism, in this text a new framework is developed for understanding and guiding the forces of technologization and posthumanization that are reshaping contemporary organizations. This ‘organizational posthumanism’ is an approach to analyzing, creating, and managing organizations that employs a post-dualistic and post-anthropocentric perspective and which recognizes that emerging technologies will increasingly transform the kinds of members, structures, systems, processes, physical and virtual spaces, and external ecosystems that are available for organizations (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  5. added 2016-06-22
    Guram Bezhanishvili & Wesley H. Holliday (forthcoming). Locales, Nuclei, and Dragalin Frames. In Lev Beklemishev & Stéphane Demri (eds.), Advances in Modal Logic, Vol. 11. College Publications
    It is a classic result in lattice theory that a poset is a complete lattice iff it can be realized as fixpoints of a closure operator on a powerset. Dragalin [9,10] observed that a poset is a locale (complete Heyting algebra) iff it can be realized as fixpoints of a nucleus on the locale of upsets of a poset. He also showed how to generate a nucleus on upsets by adding a structure of “paths” to a poset, forming what we (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  6. added 2016-06-22
    Anita Bandrowski, Ryan Brinkman, Mathias Brochhausen, Matthew H. Brush, Bill Bug, Marcus C. Chibucos, Kevin Clancy, Mélanie Courtot, Dirk Derom, Michel Dumontier, Liju Fan, Jennifer Fostel, Gilberto Fragoso, Frank Gibson, Alejandra Gonzalez-Beltran, Melissa A. Haendel, Yongqun He, Mervi Heiskanen, Tina Hernandez-Boussard, Mark Jensen, Yu Lin, Allyson L. Lister, Phillip Lord, James Malone, Elisabetta Manduchi, Monnie McGee, Norman Morrison, James A. Overton, Helen Parkinson, Bjoern Peters, Philippe Rocca-Serra, Alan Ruttenberg, Susanna-Assunta Sansone, Richard H. Scheuermann, Daniel Schober, Barry Smith, Larisa N. Soldatova, Christian J. Stoeckert, Chris F. Taylor, Carlo Torniai, Jessica A. Turner, Randi Vita, Patricia L. Whetzel & Jie Zheng (2016). The Ontology for Biomedical Investigations. PLoS ONE 11 (4):e0154556.
    The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7. added 2016-06-09
    Ingo Brigandt, Sara Green & Maureen A. O'Malley (forthcoming). Systems Biology and Mechanistic Explanation. In Stuart Glennan & Phyllis Illari (eds.), The Routledge Handbook of Mechanisms and Mechanical Philosophy.
    We address the question of whether and to what extent explanatory and modelling strategies in systems biology are mechanistic. After showing how dynamic mathematical models are actually required for mechanistic explanations of complex systems, we caution readers against expecting all systems biology to be about mechanistic explanations. Instead, the aim may be to generate topological explanations that are not standardly mechanistic, or to arrive at design principles that explain system organization and behaviour in general, but not specific mechanisms. These abstraction (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  8. added 2016-05-18
    Valérie Lynn Therrien (2012). INVENTING LOGIC: THE LÖWENHEIM-SKOLEM THEOREM AND FIRST- AND SECOND-ORDER LOGIC. Pensées Canadiennes 10.
  9. added 2016-05-16
    Hisham Khdair (2015). SP2MN: A Software Process Meta-Modeling Language. International Review on Computers and Software 10 (7):726-734.
    In the last two decades, software process modeling has been an area of interest within both academia and industry. Software process modeling aims at defining and representing software processes in the form of models. A software process model represents the medium that allows better understanding, management and control of the software process. Software process metamodeling rather, provides standard metamodels which enable the defining of customized software process models for a specific project in hand by instantiation. Several software process modeling/meta-modeling languages (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography