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.  62
    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.  18
    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 (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  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  
  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.  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 \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square}$$\end{document}-free formulas have uniform interpolants in this logic. In the general case, we shall prove that given a modal formula \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\phi}$$\end{document} and a sublanguage L of the language of the formula, we can decide whether \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  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  
  10.  22
    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  
  11. 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  
  12.  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  
  13. 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  
  14. Advances in Modal Logic, Vol. 12.Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer (eds.) - 2018 - College Publications.
     
    Export citation  
     
    Bookmark  
  15.  9
    Naturalizing epistemology: Thomas Kuhn and the 'essential tension'.Fred D'Agostino - 2010 - New York: 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  
  16.  25
    The British Journal for the Philosophy of Science | Vol 73, No 3.F. B. D'agostino - 1975
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  17.  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  
  18.  62
    Free public reason: making it up as we go.Fred D'Agostino - 1996 - New York: 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   34 citations  
  19.  1
    L'espace spirituel: la pensée comme patrimoine.Cinzia Zotti, Leopoldo D'Agostino & Guy Bedouelle (eds.) - 2007 - Nice: Serre.
    La pensée est un patrimoine discret et secret au point qu'elle n'est pas habituellement considérée comme un patrimoine au sens propre. Pourtant elle est à l'origine de tous les autres. Probablement sans l'exercice de cette faculté qui leur est propre, les êtres humains n'auraient jamais conçu leurs monuments extraordinaires ni leurs constructions admirables. Du plus petit phénomène jusqu'à la loi générale qui en coordonnerait les enchaînements, la recherche cultivée à l'intérieur de jardins divers et multiples tout le long de l'histoire (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Democratic Legitimacy: Plural Values and Political Power.Fred D'Agostino - 2003 - Mind 112 (447):499-502.
  21. D'Agostino, F.-Free Public Reason.B. Brower - 1997 - Philosophical Books 38:274-275.
  22.  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.
  23.  3
    Relativism and Reflective Equilibrium.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 (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  26
    Expertise, Democracy, and Applied Ethics.Fred D’Agostino - 1998 - Journal of Applied Philosophy 15 (1):49-55.
  25.  23
    The Ethics of Social Science Research.Fred D'agostino - 1995 - Journal of Applied Philosophy 12 (1):65-76.
    ABSTRACT Ethical thinking about social science research is dominated by a biomedical model whose salient features are the assumption that only potential harms to subjects of research are relevant in the ethical evaluation of that research, and in the emphasis on securing informed consent in order to establish ethical probity. A number of counter‐examples are considered to the assumption, a number of defences against these counter‐examples are examined, and an alternative model is proposed for the ethical evaluation of social science (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  26. Fred D'Agostino, Chomsky's System of Ideas. [REVIEW]Bruce Freed - 1987 - Philosophy in Review 7:394-396.
     
    Export citation  
     
    Bookmark  
  27.  15
    Book Review: Baert, P. (2005). Philosophy of the Social Sciences: Towards Pragmatism. Cambridge: Polity. [REVIEW]Fred D'Agostino - 2007 - Philosophy of the Social Sciences 37 (4):541-543.
  28.  11
    Relativism.F. D'Agostino - 2003 - Australasian Journal of Philosophy 81 (3):455-455.
    Book Information Relativism. By Paul O'Grady. Acumen. Chesham. 2002. Pp. xi + 196. Paperback, £12.95.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  6
    Book reviews : Language in mind and language in society. By Trevor Pateman. Oxford: Clarendon press, 1987. Pp. XIII + 194. $47.00 us. [REVIEW]Fred D'Agostino - 1989 - Philosophy of the Social Sciences 19 (3):398-401.
  30. Fred D'Agostino, Chomsky's System of Ideas Reviewed by.Bruce Freed - 1987 - Philosophy in Review 7 (10):394-396.
  31. The Ethos of Games.Fred D'Agostino - 1981 - Journal of the Philosophy of Sport 8 (1):7-18.
  32.  28
    Fred D'Agostino and Gerald F. Gaus, public reason.Stefan Grotefeld - 2001 - Ethical Theory and Moral Practice 4 (1):91-92.
  33.  25
    (H.) D'Agostino (ed.) Onomacriti Testimonia et Fragmenta. (Aion Quaderni 10.) Pp. liv + 113. Pisa and Rome: Istituti Editoriale e Poligrafici Internazionali, 2007. Paper, €38. ISBN: 978-88-8147-461-. [REVIEW]Alberto Bernabé - 2009 - The Classical Review 59 (2):624-.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. Fred d'Agostino, Chomsky's System of Ideas.David Macey - 1987 - Radical Philosophy 45:56.
     
    Export citation  
     
    Bookmark  
  35. 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   24 citations  
  36.  17
    F. D'Agostino, "Chomsky's System of Ideas". [REVIEW]G. R. Sampson - 1987 - Philosophical Quarterly 37 (49):477.
  37.  27
    Science and Scepticism.Fred D'Agostino & John Watkins - 1987 - Philosophical Quarterly 37 (146):104.
  38.  3
    S. D’AGOSTINO, Sistemi filosofici moderni. Descartes, Spinoza, Locke, Hume, Edizioni ETS, Col. Philosophica 115, Pisa 2013. 320 pp. [REVIEW]Manuel Palma Ramírez - 2021 - Isidorianum 23 (45):269-271.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  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   9 citations  
  40.  21
    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.
  41.  35
    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 (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  42. Contemporary Approaches to the Social Contract.Fred D'Agostino, John Thrasher & Gerald Gaus - 2011 - Stanford Encyclopedia of Philosophy.
  43.  32
    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  
  44.  26
    Incommensurability and Commensuration: The Common Denominator.Fred D'Agostino - 2019 - Routledge.
    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  
  45.  15
    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)  
     
    Export citation  
     
    Bookmark   3 citations  
  46. Testi amministrativi della III Dinastia di Ur dal Museo Statale Ermitage, San Pietroburgo, Russia.Wolfgang Heimpel & Franco D'Agostino - 1999 - Journal of the American Oriental Society 119 (4):680.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  3
    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   10 citations  
  48.  48
    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  
  49.  44
    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.
  50. Original position.Fred D'Agostino - forthcoming - Stanford Encyclopedia of Philosophy.
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 1000