Switch to: References

Add citations

You must login to add citations.
  1. Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach.Ivo Pezlar - 2017 - Logic and Logical Philosophy 26 (4):473-508.
    In this paper we examine two approaches to the formal treatment of the notion of problem in the paradigm of algorithmic semantics. Namely, we will explore an approach based on Martin-Löf’s Constructive Type Theory, which can be seen as a direct continuation of Kolmogorov’s original calculus of problems, and an approach utilizing Tichý’s Transparent Intensional Logic, which can be viewed as a non-constructive attempt of interpreting Kolmogorov’s logic of problems. In the last section we propose Kolmogorov and CTT-inspired modifications to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Iterated Privation and Positive Predication.Bjørn Jespersen, Massimiliano Carrara & Marie Duží - 2017 - Journal of Applied Logic 25:S48-S71.
    The standard rule of single privative modification replaces privative modifiers by Boolean negation. This rule is valid, for sure, but also simplistic. If an individual a instantiates the privatively modified property (MF) then it is true that a instantiates the property of not being an F, but the rule fails to express the fact that the properties (MF) and F have something in common. We replace Boolean negation by property negation, enabling us to operate on contrary rather than contradictory properties. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • On Malfunction, Mechanisms and Malware Classification.Giuseppe Primiero, Frida J. Solheim & Jonathan M. Spring - 2019 - Philosophy and Technology 32 (2):339-362.
    Malware has been around since the 1980s and is a large and expensive security concern today, constantly growing over the past years. As our social, professional and financial lives become more digitalised, they present larger and more profitable targets for malware. The problem of classifying and preventing malware is therefore urgent, and it is complicated by the existence of several specific approaches. In this paper, we use an existing malware taxonomy to formulate a general, language independent functional description of malware (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Structured Lexical Concepts, Property Modifiers, and Transparent Intensional Logic.Bjørn Jespersen - 2015 - Philosophical Studies 172 (2):321-345.
    In a 2010 paper Daley argues, contra Fodor, that several syntactically simple predicates express structured concepts. Daley develops his theory of structured concepts within Tichý’s Transparent Intensional Logic . I rectify various misconceptions of Daley’s concerning TIL. I then develop within TIL an improved theory of how structured concepts are structured and how syntactically simple predicates are related to structured concepts.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Left Subsectivity: How to Infer That a Round Peg is Round.Bjørn Jespersen - 2016 - Dialectica 70 (4):531-547.
    A property modifier is a function that takes a property to a property. For instance, the modifier short takes the property being a Dutchman to the property being a short Dutchman. Assume that being a round peg is a property obtained by means of modification, round being the modifier and being a peg the input property. Then how are we to infer that a round peg is a peg? By means of a rule of right subsectivity. How are we to (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Taxonomy of Errors for Information Systems.Giuseppe Primiero - 2014 - Minds and Machines 24 (3):249-273.
    We provide a full characterization of computational error states for information systems. The class of errors considered is general enough to include human rational processes, logical reasoning, scientific progress and data processing in some functional programming languages. The aim is to reach a full taxonomy of error states by analysing the recovery and processing of data. We conclude by presenting machine-readable checking and resolve algorithms.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Preliminaries to a Logic of Malfunction.Massimiliano Carrara - 2015 - In Pavel Arazim Michal Dancak (ed.), The Logica Yearbook. College Publications. pp. 33-47.
    Direct download  
     
    Export citation  
     
    Bookmark