Results for 'Giovanna D���Agostino'

1000+ found
Order:
  1. Logical Questions Concerning the $\mu$-Calculus: Interpolation, Lyndon and Los-Tarski.Giovanna D'agostino & Marco Hollenberg - 2000 - Journal of Symbolic Logic 65 (1):310-332.
  2.  59
    Interpolation in Non-Classical Logics.Giovanna D’Agostino - 2008 - Synthese 164 (3):421 - 435.
    We discuss the interpolation property on some important families of non classical logics, such as intuitionistic, modal, fuzzy, and linear logics. A special paragraph is devoted to a generalization of the interpolation property, uniform interpolation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  11
    Topological Structure of Diagonalizable Algebras and Corresponding Logical Properties of Theories.Giovanna D'Agostino - 1994 - Notre Dame Journal of Formal Logic 35 (4):563-572.
    This paper studies the topological duality between diagonalizable algebras and bi-topological spaces. In particular, the correspondence between algebraic properties of a diagonalizable algebra and topological properties of its dual space is investigated. Since the main example of a diagonalizable algebra is the Lindenbaum algebra of an r.e. theory extending Peano Arithmetic, endowed with an operator defined by means of the provability predicate of the theory, this duality gives the possibility to study arithmetical properties of theories from a topological point of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  17
    Finality Regained: A Coalgebraic Study of Scott-Sets and Multisets. [REVIEW]Giovanna D'Agostino & Albert Visser - 2002 - Archive for Mathematical Logic 41 (3):267-298.
    In this paper we study iterated circular multisets in a coalgebraic framework. We will produce two essentially different universes of such sets. The unisets of the first universe will be shown to be precisely the sets of the Scott universe. The unisets of the second universe will be precisely the sets of the AFA-universe. We will have a closer look into the connection of the iterated circular multisets and arbitrary trees. RID=""ID="" Mathematics Subject Classification (2000): 03B45, 03E65, 03E70, 18A15, 18A22, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5. Uniform Interpolation, Automata and the Modal Mu-Calculus.Giovanna D'Agostino & Marco Hollenberg - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 1. CSLI Publications. pp. 73-84.
    No categories
     
    Export citation  
     
    Bookmark  
  6. Uniform Interpolation, Automata and the Modal Mu-Calculus.Giovanna D'Agostino & Marco Hollenberg - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 73-84.
    No categories
     
    Export citation  
     
    Bookmark  
  7.  18
    Μ-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logics ★.Giovanna D'Agostino, Giacomo Lenzi & Tim French - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):297-309.
    We consider the relation between the uniform interpolation property and the elimination of non-standard quantifiers (the bisimulation quantifiers) in the context of the ?-calculus. In particular, we isolate classes of frames where the correspondence between these two properties is nicely smooth.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Translating the Hypergame Paradox: Remarks on the Set of Founded Elements of a Relation. [REVIEW]Claudio Bernardi & Giovanna D'Agostino - 1996 - Journal of Philosophical Logic 25 (5):545 - 557.
    In Zwicker (1987) the hypergame paradox is introduced and studied. In this paper we continue this investigation, comparing the hypergame argument with the diagonal one, in order to find a proof schema. In particular, in Theorems 9 and 10 we discuss the complexity of the set of founded elements in a recursively enumerable relation on the set N of natural numbers, in the framework of reduction between relations. We also find an application in the theory of diagonalizable algebras and construct (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  12
    Deciding the Existence of Uniform Interpolants Over Transitive Models.Giovanna D’Agostino & Giacomo Lenzi - 2011 - Archive for Mathematical Logic 50 (1-2):185-196.
    We consider the problem of the existence of uniform interpolants in the modal logic K4. We first prove that all ${\square}$ -free formulas have uniform interpolants in this logic. In the general case, we shall prove that given a modal formula ${\phi}$ and a sublanguage L of the language of the formula, we can decide whether ${\phi}$ has a uniform interpolant with respect to L in K4. The ${\square}$ -free case is proved using a reduction to the Gödel Löb Logic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  19
    Complete, Recursively Enumerable Relations in Arithmetic.Giovanna D'Agostino & Mario Magnago - 1995 - Mathematical Logic Quarterly 41 (1):65-72.
    Using only propositional connectives and the provability predicate of a Σ1-sound theory T containing Peano Arithmetic we define recursively enumerable relations that are complete for specific natural classes of relations, as the class of all r. e. relations, and the class of all strict partial orders. We apply these results to give representations of these classes in T by means of formulas.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  27
    Modal Deduction in Second-Order Logic and Set Theory - II.Johan van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti - 1998 - Studia Logica 60 (3):387-420.
    In this paper, we generalize the set-theoretic translation method for poly-modal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to tailor (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Advances in Modal Logic 12, Proceedings of the 12th Conference on "Advances in Modal Logic," Held in Bern, Switzerland, August 27-31, 2018.Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer (eds.) - 2018
    No categories
     
    Export citation  
     
    Bookmark  
  13. Advances in Modal Logic, Vol. 12.Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer (eds.) - 2018 - College Publications.
     
    Export citation  
     
    Bookmark  
  14.  21
    Modal Deduction in Second-Order Logic and Set Theory: II.Johan van Benthem, Giovanna D'agostino, Angelo Montanari & Alberto Policriti - 1998 - Studia Logica 60 (3):387 - 420.
    In this paper, we generalize the set-theoretic translation method for polymodal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to tailor (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Diritto E Giustizia Per Una Introduzione Allo Studio Del Diritto.Francesco D'agostino - 2000
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  4
    Maxwell's Dimensional Approach to the Velocity of Light.S. D'Agostino - 1986 - Centaurus 29 (3):178-204.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  2
    New Essays in Logic and Philosophy of Science.M. M. D’Agostino, G. Giorello, F. Laudisa, T. Pievani & C. Sinigaglia (eds.) - 2010 - London College Publications.
  18.  58
    Free Public Reason: Making It Up as We Go.Fred D'Agostino - 1996 - Oxford University Press.
    Free Public Reason examines the idea of public justification, stressing its importance but also questioning the coherence of the concept itself. Although public justification is employed in the work of theorists such as John Rawls, Jeremy Waldron, Thomas Nagel, and others, it has received little attention on its own as a philosophical concept. In this book Fred D'Agostino shows that the concept is composed of various values, interests, and notions of the good, and that no ranking of these is possible. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   32 citations  
  19.  3
    Heinrich Hertz and Electric Waves.Salvo D'Agostino - 1997 - Centaurus 39 (3):267-272.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  3
    Hertz's Researches and Their Place in Nineteenth Century Theoretical Physics.Salvo D'Agostino - 1993 - Centaurus 36 (1):46-77.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. The Ethos of Games.Fred D'Agostino - 1981 - Journal of the Philosophy of Sport 8 (1):7-18.
  22.  1
    Pourquoi Hertz Et Non Pas Maxwell, a-T-Il Découvert les Ondes Électriques?Par S. D'Agostino - 1989 - Centaurus 32 (1):66-76.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  23.  23
    Knowledge of Language.F. B. D'agostino - 1975
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  24. 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 (9 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  25.  30
    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   21 citations  
  26.  25
    Science and Scepticism.Fred D'Agostino & John Watkins - 1987 - Philosophical Quarterly 37 (146):104.
  27.  34
    Introduction: The Governance of Algorithms.Marcello D’Agostino & Massimo Durante - 2018 - Philosophy and Technology 31 (4):499-505.
    In our information societies, tasks and decisions are increasingly outsourced to automated systems, machines, and artificial agents that mediate human relationships, by taking decisions and acting on the basis of algorithms. This raises a critical issue: how are algorithmic procedures and applications to be appraised and governed? This question needs to be investigated, if one wishes to avoid the traps of ICTs ending up in isolating humans behind their screens and digital delegates, or harnessing them in a passive role, by (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  28.  12
    Normality, Non-contamination and Logical Depth in Classical Natural Deduction.Marcello D’Agostino, Dov Gabbay & Sanjay Modgil - 2020 - Studia Logica 108 (2):291-357.
    In this paper we provide a detailed proof-theoretical analysis of a natural deduction system for classical propositional logic that represents classical proofs in a more natural way than standard Gentzen-style natural deduction, admits of a simple normalization procedure such that normal proofs enjoy the Weak Subformula Property, provides the means to prove a Non-contamination Property of normal proofs that is not satisfied by normal proofs in the Gentzen tradition and is useful for applications, especially in formal argumentation, naturally leads to (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  29. Contemporary Approaches to the Social Contract.Fred D'Agostino, John Thrasher & Gerald Gaus - 2011 - Stanford Encyclopedia of Philosophy.
  30. Freedom and Rationality Essays in Honor of John Watkins : From His Colleagues and Friends.F. D'Agostino & Ian Jarvie - 1989 - Springer Verlag.
    x philosophy when he inaugurated a debate about the principle of methodologi cal individualism, a debate which continues to this day, and which has inspired a literature as great as any in contemporary philosophy. Few collections of material in the general area of philosophy of social science would be considered complete unless they contained at least one of Watkins's many contributions to the discussion of this issue. In 1957 Watkins published the flrst of a series of three papers in which (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  20
    Insight and Dissociation in Lucid Dreaming and Psychosis.Ursula Voss, Armando D’Agostino, Luca Kolibius, Ansgar Klimke, Silvio Scarone & J. Allan Hobson - 2018 - Frontiers in Psychology 9.
  32.  53
    The Legacies of John Rawls.Fred D'Agostino - 2004 - Journal of Moral Philosophy 1 (3):349-365.
    To understand the continuing importance of John Rawls’s work, we need to understand the background, the object and the method of his fifty-year quest as a political thinker. The background to Rawls’s investigation was a (carefully circumscribed) acknowledgement of a certain kind of evaluative pluralism. The object of Rawls’s work was to develop a method of commensuration that would enable us, the free and equal citizens of a democratic society, to identify a common basis for our dealings, in search of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  20
    Incommensurability and Commensuration the Common Denominator.Fred D'Agostino - 2003 - Ashgate.
    This book was published in 2003.This volume presents a detailed examination of incommensurability in the value-theoretical sense. Exploring how choosers deal with problems and constraints of choice, the author draws on work in cognitive psychology, in sociology, in jurisprudence, in economics, and in the theory of value to show how choosers learn to make "trade-offs" when there is potential incommensurability among the options they are considering. The analysis is also informed by recent work in the tradition of Michel Foucault. With (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  34.  6
    Naturalizing Epistemology: Thomas Kuhn and the 'Essential Tension'.Fred D'Agostino - 2009 - Palgrave-Macmillan.
    In identifying that the 'essential tension' is the balance between conservative and innovative approaches in the development of knowledge - tried-and tested or new directions - Kuhn pointed out that these two attitudes are both appropriate. This study adds to this picture the social and psychological dynamics that underpin any such balancing.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  35.  44
    The Orders of Public Reason.Fred D'Agostino - 2013 - Analytic Philosophy 54 (1):129-155.
    Critical notice of The Order of Public Reason by Gerald Gaus.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  36.  3
    Relativism and Reflective Equilibrium in Justification.Fred D’Agostino - 1988 - The Monist 71 (3):420-436.
    It has frequently been suggested that Rawls’s characteristic method of justification, a method crucially involving the notion of reflective equilibrium, is in some sense relativistic in its implications. No sustained development of this suggestion has been undertaken by those who advance it; likewise, no sustained attempt to refute this suggestion has been made by those who are otherwise sympathetic to Rawls’s account of justification. I here attempt to fill these gaps in the already extensive literature associated with the method of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  39
    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.
  38. Original Position.Fred D'Agostino - forthcoming - Stanford Encyclopedia of Philosophy.
     
    Export citation  
     
    Bookmark   6 citations  
  39. Democratic Legitimacy: Plural Values and Political Power.Fred D'Agostino - 2003 - Mind 112 (447):499-502.
  40.  5
    Routledge Companion to Social and Political Philosophy.Gerald F. Gaus & Fred D'Agostino (eds.) - 2012 - London: Routledge.
    The Routledge Companion to Social and Political Philosophy is a comprehensive, definitive reference work, providing an up-to-date survey of the field, charting its history and key figures and movements, and addressing enduring questions as well as contemporary research. Features unique to the Companion are: an extensive coverage of the history of social and political thought, including separate chapters on the development of political thought in the Islamic world, India, and China as well in modern Germany, France, and Britain a focus (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Classical Logic, Argument and Dialectic.M. D'Agostino & S. Modgil - 2018 - Artificial Intelligence 262:15-51.
  42. Pluralism and Liberalism.Fred D'Agostino, G. Gaus & C. Kukathas - 2004 - In Gerald F. Gaus & Chandran Kukathas (eds.), Handbook of Political Theory. Sage Publications.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  43.  1
    Handbook of Tableau Methods.Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle & Joachim Posegga (eds.) - 1999 - Dordrecht, Netherland: Springer.
    Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to some application area 2. a semantical interpretation 3. a proof theoretical formulation. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on. The (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  44. The Situational Logic of Disciplinary Scholarship.Fred D’Agostino - 2019 - In Raphael Sassower & Nathaniel Laor (eds.), The Impact of Critical Rationalism: Expanding the Popperian Legacy Through the Works of Ian C. Jarvie. Springer Verlag. pp. 45-57.
    Ian C. Jarvie developed the idea of situational logic in a subtle and effective way. He was also interested in, as well as a contributor to, the institution of academic publication. This chapter provides a situational analysis of an important recurrent pattern in academic publishing, namely, the concentration of work around particular topics, despite the fact that most such work will be unrewarded in the economy of esteem that is meant to be in play.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  53
    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   12 citations  
  46.  66
    Kuhn's Risk-Spreading Argument and The Organization of Scientific Communities.Fred D'Agostino - 2005 - Episteme 1 (3):201-209.
    One of Thomas Kuhn's profoundest arguments is introduced in the 1970 “Postscript” to The Structure of Scientific Revolutions . Kuhn is discussing the idea of a “disciplinary matrix” as a more adequate articulation of the “paradigm” notion he'd introduced in the first, 1962, edition of his famous work . He notes that one “element” of disciplinary matrices is likely to be common to most or even all such matrices, unlike the other elements which serve to distinguish specific disciplines and sub-disciplines (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  47. Verballed? Incommensurability 50 Years On.Fred D'Agostino - 2014 - Synthese 191 (3):1-22.
    Someone is “verballed” in the Anglo-Australian idiom if they have attributed to them statements they did not actually make and indeed have explicitly denied. We will examine the evidence that Kuhn and Feyerabend were verballed in this sense by their critics and that the role of the idea of incommensurability in their argumentation has been systematically misunderstood and -represented. In particular, we will see that neither Kuhn nor Feyerabend, despite what their critics often say about them, held that incommensurability of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  17
    Disciplinarity and the Growth of Knowledge.Fred D'Agostino - 2012 - Social Epistemology 26 (3-4):331-350.
    I want to consider how the general characteristics of a discipline might facilitate ?social mechanisms for distributing knowledge? that do not depend on uniformity of use, but, in fact, on different uses by different people. Indeed, I want to show that the ways in which a discipline is organized afford the growth of knowledge and do so, in particular, by facilitating an approach to what Thomas Kuhn described as ?the essential tension? between, on the one hand, the traditional or customary (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  49.  29
    Freedom and Rationality: Essays in Honor of John Watkins.Fred D'Agostino & I. C. Jarvie (eds.) - 1989 - Reidel.
    INTRODUCTION The editors of this volume - Jarvie and D'Agostino - encountered John Watkins at such different times in his career that they have never ...
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. D'Agostino, F.-Free Public Reason.B. Brower - 1997 - Philosophical Books 38:274-275.
1 — 50 / 1000