Results for 'Silvio Spiri'

350 found
Order:
  1. Allargare gli orizzonti della razionalità: prospettive per la filosofia.Silvio Spiri & Tommaso Valentini - 2010 - Editori Riuniti University Press.
  2. Che cosa significa amare?Silvio Spiri - 2011 - Divus Thomas 114 (1):210-219.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. Locke on the Epistemological Status of Scientific Laws.Silvio Seno Chibeni - 2005 - Principia: An International Journal of Epistemology 9 (1-2):19-41.
    This article aims to defend Locke against Quine’s charge, made in his famous “two dogmas” paper, that Locke’s theory of knowledge is badly flawed, not only for assuming the dogmas, but also for adopting an “in-tolerably restrictive” version of the dogma of reductionism. It is shown here that, in his analysis of the epistemological status of scientific laws, Locke has effectively transcended the narrow idea-empiricism which un-derlies this version of reductionism. First, in order to escape idealism, he introduced the notion (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  1
    The Emergence of Post-Normal Science.Silvio O. Funtowicz & Jerome R. Ravetz - 1993 - In René von Schomberg (ed.), Science, Politics, and Morality: Scientific Uncertainty and Decision Making. Kluwer Academic Publishers. pp. 85--123.
  5.  51
    Unification in Intuitionistic Logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.
    We show that the variety of Heyting algebras has finitary unification type. We also show that the subvariety obtained by adding it De Morgan law is the biggest variety of Heyting algebras having unitary unification type. Proofs make essential use of suitable characterizations (both from the semantic and the syntactic side) of finitely presented projective algebras.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   48 citations  
  6.  27
    Every Countably Presented Formal Topology is Spatial, Classically.Silvio Valentini - 2006 - Journal of Symbolic Logic 71 (2):491-500.
    By using some classical reasoning we show that any countably presented formal topology, namely, a formal topology with a countable axiom set, is spatial.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  39
    The Modal Logic of Provability: Cut-Elimination. [REVIEW]Silvio Valentini - 1983 - Journal of Philosophical Logic 12 (4):471 - 476.
  8.  5
    Best Solving Modal Equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.
    We show that some common varieties of modal K4-algebras have finitary unification type, thus providing effective best solutions for equations in free algebras. Applications to admissible inference rules are immediate.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  9.  19
    The Problem of the Formalization of Constructive Topology.Silvio Valentini - 2005 - Archive for Mathematical Logic 44 (1):115-129.
    .Formal topologies are today an established topic in the development of constructive mathematics. One of the main tools in formal topology is inductive generation since it allows to introduce inductive methods in topology. The problem of inductively generating formal topologies with a cover relation and a unary positivity predicate has been solved in [CSSV]. However, to deal both with open and closed subsets, a binary positivity predicate has to be considered. In this paper we will show how to adapt to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  10.  44
    Incompleteness Results in Kripke Semantics.Silvio Ghilardi - 1991 - Journal of Symbolic Logic 56 (2):517-538.
    By means of models in toposes of C-sets (where C is a small category), necessary conditions are found for the minimum quantified extension of a propositional (intermediate, modal) logic to be complete with respect to Kripke semantics; in particular, many well-known systems turn out to be incomplete.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  11.  49
    Undefinability of Propositional Quantifiers in the Modal System S.Silvio Ghilardi & Marek Zawadowski - 1995 - Studia Logica 55 (2):259 - 271.
    We show that (contrary to the parallel case of intuitionistic logic, see [7], [4]) there does not exist a translation fromS42 (the propositional modal systemS4 enriched with propositional quantifiers) intoS4 that preserves provability and reduces to identity for Boolean connectives and.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  12.  23
    The Care of the Self and Biopolitics: Resistance and Practices of Freedom.Silvio Gallo - 2017 - Educational Philosophy and Theory 49 (7).
    This text through the direct use to Foucault’s work and using the concepts of ‘care of the self’ and biopolitics is questioning and analyzing resistance and practices of freedom. Mainly, from the Foucault’s courses at the College de France and the methodological tools found there, here I present a discussion about Gilles Deleuze’s contributions to Foucault’s thought and I develop a dialog where I try to explain the concepts of domination, power, ethics, esthetics and the relationship of the self with (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  24
    Unification, Finite Duality and Projectivity in Varieties of Heyting Algebras.Silvio Ghilardi - 2004 - Annals of Pure and Applied Logic 127 (1-3):99-115.
    We investigate finitarity of unification types in locally finite varieties of Heyting algebras, giving both positive and negative results. We make essential use of finite dualities within a conceptualization for E-unification theory 733–752) relying on the algebraic notion of a projective object.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  14.  7
    Unification in Modal and Description Logics.Franz Baader & Silvio Ghilardi - 2011 - Logic Journal of the IGPL 19 (6):705-730.
    Unification was originally introduced in automated deduction and term rewriting, but has recently also found applications in other fields. In this article, we give a survey of the results on unification obtained in two closely related, yet different, application areas of unification: description logics and modal logics.
    Direct download  
     
    Export citation  
     
    Bookmark   25 citations  
  15.  44
    The Modal Logic of Provability. The Sequential Approach.Giovanni Sambin & Silvio Valentini - 1982 - Journal of Philosophical Logic 11 (3):311 - 342.
  16.  12
    Presheaf Semantics and Independence Results for Some Non-Classical First-Order Logics.Silvio Ghilardi - 1989 - Archive for Mathematical Logic 29 (2):125-136.
    The logicD-J of the weak exluded middle with constant domains is proved to be incomplete with respect to Kripke semantics, by introducing models in presheaves on an arbitrary category. Additional incompleteness results are obtained for the modal systems with nested domains extendingQ-S4.1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  17.  22
    An Elementary Proof of Strong Normalization for Intersection Types.Valentini Silvio - 2001 - Archive for Mathematical Logic 40 (7):475-488.
    We provide a new and elementary proof of strong normalization for the lambda calculus of intersection types. It uses no strong method, like for instance Tait-Girard reducibility predicates, but just simple induction on type complexity and derivation length and thus it is obviously formalizable within first order arithmetic. To obtain this result, we introduce a new system for intersection types whose rules are directly inspired by the reduction relation. Finally, we show that not only the set of strongly normalizing terms (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  29
    A Sheaf Representation and Duality for Finitely Presented Heyting Algebras.Silvio Ghilardi & Marek Zawadowski - 1995 - Journal of Symbolic Logic 60 (3):911-939.
    A. M. Pitts in [Pi] proved that HA op fp is a bi-Heyting category satisfying the Lawrence condition. We show that the embedding $\Phi: HA^\mathrm{op}_\mathrm{fp} \longrightarrow Sh(\mathbf{P_0,J_0})$ into the topos of sheaves, (P 0 is the category of finite rooted posets and open maps, J 0 the canonical topology on P 0 ) given by $H \longmapsto HA(H,\mathscr{D}(-)): \mathbf{P_0} \longrightarrow \text{Set}$ preserves the structure mentioned above, finite coproducts, and subobject classifier, it is also conservative. This whole structure on HA op (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  19.  9
    Constructive Canonicity in Non-Classical Logics.Silvio Ghilardi & Giancarlo Meloni - 1997 - Annals of Pure and Applied Logic 86 (1):1-32.
    Sufficient syntactic conditions for canonicity in intermediate and intuitionistic modal logics are given. We present a new technique which does not require semantic first-order reduction and which is constructive in the sense that it works in an intuitionistic metatheory through a model without points which is classically isomorphic to the usual canonical model.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  20.  8
    An Algebraic Theory of Normal Forms.Silvio Ghilardi - 1995 - Annals of Pure and Applied Logic 71 (3):189-245.
    In this paper we present a general theory of normal forms, based on a categorial result for the free monoid construction. We shall use the theory mainly for proposictional modal logic, although it seems to have a wider range of applications. We shall formally represent normal forms as combinatorial objects, basically labelled trees and forests. This geometric conceptualization is implicit in and our approach will extend it to other cases and make it more direct: operations of a purely geometric and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  21.  25
    Filtering Unification and Most General Unifiers in Modal Logic.Silvio Ghilardi & Lorenzo Sacchetti - 2004 - Journal of Symbolic Logic 69 (3):879-906.
    We characterize (both from a syntactic and an algebraic point of view) the normal K4-logics for which unification is filtering. We also give a sufficient semantic criterion for existence of most general unifiers, covering natural extensions of K4.2⁺ (i.e., of the modal system obtained from K4 by adding to it, as a further axiom schemata, the modal translation of the weak excluded middle principle).
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  22.  29
    Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?Maria Emilia Maietti & Silvio Valentini - 1999 - Mathematical Logic Quarterly 45 (4):521-532.
    In this paper we analyze an extension of Martin-Löf s intensional set theory by means of a set contructor P such that the elements of P are the subsets of the set S. Since it seems natural to require some kind of extensionality on the equality among subsets, it turns out that such an extension cannot be constructive. In fact we will prove that this extension is classic, that is “ true holds for any proposition A.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  23.  9
    Continuity, Freeness, and Filtrations.Silvio Ghilardi - 2010 - Journal of Applied Non-Classical Logics 20 (3):193-217.
    The role played by continuous morphisms in propositional modal logic is investigated: it turns out that they are strictly related to filtrations and to suitable variants of the notion of a free algebra. We also employ continuous morphisms in incremental constructions of finitely generated free.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  24.  28
    On the Formal Points of the Formal Topology of the Binary Tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.
    Formal topology is today an established topic in the development of constructive mathematics and constructive proofs for many classical results of general topology have been obtained by using this approach. Here we analyze one of the main concepts in formal topology, namely, the notion of formal point. We will contrast two classically equivalent definitions of formal points and we will see that from a constructive point of view they are completely different. Indeed, according to the first definition the formal points (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  9
    Afirmando o conseqüente: uma defesa do realismo científico (?!).Silvio Seno Chibeni - 2006 - Scientiae Studia 4 (2):221-249.
    No categories
    Direct download (8 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  26.  4
    Constructive Characterizations of Bar Subsets.Silvio Valentini - 2007 - Annals of Pure and Applied Logic 145 (3):368-378.
  27.  21
    Directed Frames.Giovanna Corsi & Silvio Ghilardi - 1989 - Archive for Mathematical Logic 29 (1):53-67.
    Predicate extensions of the intermediate logic of the weak excluded middle and of the modal logic S4.2 are introduced and investigated. In particular it is shown that some of them are characterized by subclasses of the class of directed frames with either constant or nested domains.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  28.  10
    The Judgement Calculus for Intuitionistic Linear Logic: Proof Theory and Semantics.Silvio Valentini - 1992 - Mathematical Logic Quarterly 38 (1):39-58.
  29.  9
    Berkeley e o papel das hipóteses na filosofia natural.Silvio Seno Chibeni - 2010 - Scientiae Studia 8 (3):389-419.
  30.  5
    Change and Management of Complex Services: The Ethno-Narrative Form to Support Good Living and Working Together.Mara Gorli, Silvio Carlo Ripamonti & Laura Galuppo - 2016 - World Futures 72 (5-6):284-303.
    Nowadays, managing change in complex services requires that middle management re-designs its objects and professional practices, in order to cope with new needs. It seems therefore crucial to activate training settings that allow managers to: develop research and analytical skills on their own work practices and professional objects; face and manage conflict, related to every change, that represents an opportunity to reflect and review one's own practices; and build new and shared repertories of managerial practices, able to support a better (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  34
    Model Completions and R-Heyting Categories.Silvio Ghilardi & Marek Zawadowski - 1997 - Annals of Pure and Applied Logic 88 (1):27-46.
    Under some assumptions on an equational theory S , we give a necessary and sufficient condition so that S admits a model completion. These assumptions are often met by the equational theories arising from logic. They say that the dual of the category of finitely presented S-algebras has some categorical stucture. The results of this paper combined with those of [7] show that all the 8 theories of amalgamable varieties of Heyting algebras [12] admit a model completion. Further applications to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  19
    As posições de Newton, Locke e Berkeley sobre a natureza da gravitação.Silvio Seno Chibeni - 2013 - Scientiae Studia 11 (4):811-839.
    Ao defender, nos Princípios matemáticos de filosofia natural, a existência de uma força de gravitação universal, Newton desencadeou uma onda de dúvidas e objeções filosóficas. Suas próprias declarações sobre a natureza da gravitação não são facilmente interpretáveis como formando um conjunto consistente de opiniões. Por um lado, logo após fornecer as três definições de "quantidades de forças centrípetas" (Defs. 6-8), Newton observa que está tratando tais forças "matematicamente", sem se pronunciar sobre sua realidade física. Mas, por outro lado, no Escólio (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  33. Vagueness, Kant and Topology: A Study of Formal Epistemology.Giovanni Boniolo & Silvio Valentini - 2008 - Journal of Philosophical Logic 37 (2):141-168.
    In this paper we propose an approach to vagueness characterised by two features. The first one is philosophical: we move along a Kantian path emphasizing the knowing subject’s conceptual apparatus. The second one is formal: to face vagueness, and our philosophical view on it, we propose to use topology and formal topology. We show that the Kantian and the topological features joined together allow us an atypical, but promising, way of considering vagueness.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  34.  16
    Quantified Extensions of Canonical Propositional Intermediate Logics.Silvio Ghilardi - 1992 - Studia Logica 51 (2):195 - 214.
    The quantified extension of a canonical prepositional intermediate logic is complete with respect to the generalization of Kripke semantics taking into consideration set-valued functors defined on a category.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  10
    Holism in Microphysics.Silvio Seno Chibeni - 2004 - Epistemologia 27 (2):227-244.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  12
    Sobre a concepção totalitária da vida.Silvio Ricardo Gomes Carneiro - 2011 - Cadernos de Ética E Filosofia Política 18:179-196.
    Following a Weltanschaaung that involves a concept of life, Hitler has organized one of central chapiters of his autobiography My Struggle, named “Nation and Race”. Three human groups – to know, the founders of culture, the bearers of culture, the destroyers of culture – would be organized as forms of life. These three groups cohabit in competition for the territory of living space. With Hitler´s interpretations, come up then a living economic, that justifies the Total State or the Total War. (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  37.  35
    Silvio Cataldi: La democrazia ateniese e gli alleati . Pp. 181. Padua: Editoriale Programma, 1984. Paper, L. 16,000.Simon Hornblower - 1987 - The Classical Review 37 (1):107-107.
  38.  25
    Super‐Resolution Imaging Prompts Re‐Thinking of Cell Biology Mechanisms.Sinem Saka & Silvio O. Rizzoli - 2012 - Bioessays 34 (5):386-395.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  38
    Afirming the Consequent: A Defense of Scientific Realism (?!).Silvio Seno Chibeni - 2006 - Scientiae Studia 4 (2):221-249.
  40.  19
    A Structural Investigation on Formal Topology: Coreflection of Formal Covers and Exponentiability.Maria Emilia Maietti & Silvio Valentini - 2004 - Journal of Symbolic Logic 69 (4):967-1005.
    We present and study the category of formal topologies and some of its variants. Two main results are proven. The first is that, for any inductively generated formal cover, there exists a formal topology whose cover extends in the minimal way the given one. This result is obtained by enhancing the method for the inductive generation of the cover relation by adding a coinductive generation of the positivity predicate. Categorically, this result can be rephrased by saying that inductively generated formal (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  41.  31
    The Judgement Calculus for Intuitionistic Linear Logic: Proof Theory and Semantics.Silvio Valentini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):39-58.
  42.  36
    Decidability in Intuitionistic Type Theory is Functionally Decidable.Silvio Valentini - 1996 - Mathematical Logic Quarterly 42 (1):300-304.
    In this paper we show that the usual intuitionistic characterization of the decidability of the propositional function B prop [x : A], i. e. to require that the predicate ∨ ¬ B) is provable, is equivalent, when working within the framework of Martin-Löf's Intuitionistic Type Theory, to require that there exists a decision function ψ: A → Boole such that = Booletrue) ↔ B). Since we will also show that the proposition x = Booletrue [x: Boole] is decidable, we can (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  40
    Eneas Silvio Piccolomini (Pio II) y su concepción de Europa.Arsenio Ginzo Fernández - 2011 - Anales Del Seminario de Historia de la Filosofía 28:71-100.
    El Papa y humanista Eneas Silvio Piccolomini (Pío II) es aquel autor medieval que más explícita e insistentemente se ha ocupado del problema de Europa, no sólo como entidad geográfica sino también política, religiosa y cultural. El artículo analiza los rasgos fundamentales de su concepción de Europa, en el horizonte de los grandes problemas de su tiempo. Por una parte la amenaza turca sobre Europa y por otra las transformaciones internas de Europa, tanto políticas como religiosas.
    No categories
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  22
    Extensionality Versus Constructivity.Silvio Valentini - 2002 - Mathematical Logic Quarterly 48 (2):179-187.
    We analyze some extensions of Martin-Löf 's constructive type theory by means of extensional set constructors and we show that often the most natural requirements over them lead to classical logic or even to inconsistency.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  15
    Representation Theorems for Quantales.Silvio Valentini - 1994 - Mathematical Logic Quarterly 40 (2):182-190.
    In this paper we prove that any quantale Q is a quantale of suitable relations on Q. As a consequence two isomorphism theorems are also shown with suitable sets of functions of Q into Q. These theorems are the mathematical background one needs in order to give natural and complete semantics for Linear Logic using relations.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46. O Mundo Global Visto Do Lado de Cá.Silvio Tendler, Mílton Santos, Beth Goulart, Fernanda Montenegro, Matheus Nachtergaele, Milton Gonçalves, Osmar Prado, Zélia Duncan & Caique Botkay (eds.) - 2006 - Caliban Produções.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. La Crise du Droit Et de L'État.Silvio Trentin & François Geny - 1935 - Bruxelles, L'églantine.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  61
    Tychonoff's Theorem in the Framework of Formal Topologies.Sara Negri & Silvio Valentini - 1997 - Journal of Symbolic Logic 62 (4):1315-1332.
  49.  7
    Revisionismo, antirrevisionismo y Filosofía de las Matemáticas.Sílvio Pinto - 2004 - Signos Filosóficos 6 (12):155-162.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  50.  21
    The Social and Personality Neuroscience of Empathy for Pain and Touch.Ilaria Bufalari & Silvio Ionta - 2013 - Frontiers in Human Neuroscience 7.
1 — 50 / 350