Results for 'Ginsberg'

8 found
Order:
  1.  58
    Logiche polivalenti per l'Intelligenza Artificiale: il sistema di Ginsberg.Umberto Rivieccio - 2005 - Epistemologia 28 (1):25-44.
    Download  
     
    Export citation  
     
    Bookmark  
  2. Vedrørende Husserls lære om helheterog deler.Petter Sandstad - 2018 - Norsk Filosofisk Tidsskrift 53 (2-3):150-164.
    A Norwegian translation is here offered of Eugenie Ginsberg’s paper «Zur Husserlschen Lehre von den Ganzen und den Teilen» (in Archiv für systematische Philosophie und Soziologie 32, 1929, 108–120). The paper discusses Husserl’s six theorems from Logical Investigations III, §14. Ginsberg provides new proofs for theorems 1 and 3, and also endorses theorem 5. In contrast, a counter example is given to theorems 2, 4, and 6: However, proofs are supplied for a modified version of these theorems. Furthermore, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3.  93
    The logic of distributive bilattices.Félix Bou & Umberto Rivieccio - 2011 - Logic Journal of the IGPL 19 (1):183-216.
    Bilattices, introduced by Ginsberg as a uniform framework for inference in artificial intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the well-known Belnap–Dunn four-valued logic to the standard language of bilattices. Our aim is to study Arieli and Avron’s logic from the perspective of (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  4. Parts and Moments. Studies in Logic and Formal Ontology.Barry Smith (ed.) - 1982 - Philosophia Verlag.
    A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   113 citations  
  5. Paraconsistent Sensitivity Analysis for Bayesian Significance Tests.Julio Michael Stern - 2004 - Lecture Notes in Artificial Intelligence 3171:134-143.
    In this paper, the notion of degree of inconsistency is introduced as a tool to evaluate the sensitivity of the Full Bayesian Significance Test (FBST) value of evidence with respect to changes in the prior or reference density. For that, both the definition of the FBST, a possibilistic approach to hypothesis testing based on Bayesian probability procedures, and the use of bilattice structures, as introduced by Ginsberg and Fitting, in paraconsistent logics, are reviewed. The computational and theoretical advantages of (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  6. Significance Tests, Belief Calculi, and Burden of Proof in Legal and Scientific Discourse.Julio Michael Stern - 2003 - Frontiers in Artificial Intelligence and Applications 101:139-147.
    We review the definition of the Full Bayesian Significance Test (FBST), and summarize its main statistical and epistemological characteristics. We review also the Abstract Belief Calculus (ABC) of Darwiche and Ginsberg, and use it to analyze the FBST’s value of evidence. This analysis helps us understand the FBST properties and interpretation. The definition of value of evidence against a sharp hypothesis, in the FBST setup, was motivated by applications of Bayesian statistical reasoning to legal matters where the sharp hypotheses (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  7. Elimination of Cuts in First-order Finite-valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Journal of Information Processing and Cybernetics EIK 29 (6):333-355.
    A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  8. Anarchism and the Beats.Ed D’Angelo - 2012 - In Sharin Elkholy (ed.), The Philosophy of the Beats. The University Press of Kentucky. pp. 227-242.
    The paper charts both the interpersonal connections between historical anarchist figures and the beat poets as well as the philosophical similarities between them. Almost all the beat poets were anarchists, though their politics was secondary to their attempts to transform consciousness. Among the anarchists, the romantic socialist Gustav Landauer, who was especially popular in post-war American anarchist circles, came closest to the political perspective of the beat poets. Like the beats, Landauer was a poet, a pacifist, an anarchist, a communitarian, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation