12 found
Order:
  1.  15
    Algorithmic Decision-Making Based on Machine Learning From Big Data: Can Transparency Restore Accountability?Massimo Durante & Marcello D'Agostino - 2018 - Philosophy and Technology 31 (4):525-541.
    Decision-making assisted by algorithms developed by machine learning is increasingly determining our lives. Unfortunately, full opacity about the process is the norm. Would transparency contribute to restoring accountability for such systems as is often maintained? Several objections to full transparency are examined: the loss of privacy when datasets become public, the perverse effects of disclosure of the very algorithms themselves, the potential loss of companies’ competitive edge, and the limited gains in answerability to be expected since sophisticated algorithms usually are (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. The Enduring Scandal of Deduction: Is Propositional Logic Really Uninformative?Marcello D'Agostino & Luciano Floridi - 2009 - Synthese 167 (2):271-315.
    Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  3.  38
    Epistemic Accuracy and Subjective Probability.Marcello D'Agostino & Corrado Sinigaglia - 2010 - In M. Dorato M. Suàrez (ed.), Epsa Epistemology and Methodology of Science. Springer. pp. 95--105.
  4.  6
    A Logical Calculus for Controlled Monotonicity.Marcello D'Agostino, Mario Piazza & Gabriele Pulcini - 2014 - Journal of Applied Logic 12 (4):558-569.
  5.  44
    Are Tableaux an Improvement on Truth-Tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.
    We show that Smullyan's analytic tableaux cannot p-simulate the truth-tables. We identify the cause of this computational breakdown and relate it to an underlying semantic difficulty which is common to the whole tradition originating in Gentzen's sequent calculus, namely the dissonance between cut-free proofs and the Principle of Bivalence. Finally we discuss some ways in which this principle can be built into a tableau-like method without affecting its analytic nature.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  6.  10
    Cut-Based Abduction.Marcello D'agostino, Marcelo Finger & Dov Gabbay - 2008 - Logic Journal of the IGPL 16 (6):537-560.
    In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: given an unprovable sequent Γ ⊢ G, find a sentence H such that Γ, H ⊢ G is provable ; given a provable sequent Γ ⊢ G, find a sentence H such that Γ ⊢ H and the proof of Γ, H ⊢ G is simpler than the proof of Γ ⊢ G . We argue that the two tasks should not be distinguished, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  54
    Grafting Modalities Onto Substructural Implication Systems.Marcello D'agostino, Dov M. Gabbay & Alessandra Russo - 1997 - Studia Logica 59 (1):65-102.
    We investigate the semantics of the logical systems obtained by introducing the modalities and into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Then, in the spirit of the LDS (Labelled Deductive Systems) methodology, we "import" this semantics into the classical proof system KE. This leads to the formulation of a uniform labelled refutation system for the new logics which is a natural extension of a system for substructural implication developed by the first two authors in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  23
    An Informational View of Classical Logic.Marcello D'Agostino - forthcoming - Theoretical Computer Science.
    We present an informational view of classical propositional logic that stems from a kind of informational semantics whereby the meaning of a logical operator is specified solely in terms of the information that is actually possessed by an agent. In this view the inferential power of logical agents is naturally bounded by their limited capability of manipulating “virtual information”, namely information that is not implicitly contained in the data. Although this informational semantics cannot be expressed by any finitely-valued matrix, it (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  10
    Editorial.Krysia Broda, Marcello D'agostino, Rajeev Gore, Rob Johnson & Steve Reeves - 1995 - Logic Journal of the IGPL 3 (6):826-826.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. Leibniz E la geometria nascosta.Marcello D'Agostino - 1984 - Epistemologia 7:3-42.
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. Logica E Politica. Per Marco Mondadori.Marcello D'Agostino, Giulio Giorello & Salvatore Veca (eds.) - 2002 - Mondadori.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. New Essays in Logic and Philosophy of Science.Marcello D'Agostino, Federico Laudisa, Giulio Giorello, Telmo Pievani & Corrado Sinigaglia (eds.) - 2010 - College Publications.