Results for 'Paolo Sambin'

1000+ found
Order:
  1.  23
    Le Pergamene Degli Archivi Di Bergamo, a. 740-1000.Maria Luisa Bosco, Patrizia Cancian, Donatella Frioli, Gilda Mantovani, Claudio Leonardi, Mariarosa Cortesi, Gian Giacomo Fissore, Paolo Sambin, Mariarosa Cortesi. [REVIEW]Armand O. Citarella - 1992 - Speculum 67 (1):118-119.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. Intorno a Nicoletto Vernia,«.Paolo Sambin - 1952 - Rinascimento 3:261-268.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  44
    The Modal Logic of Provability. The Sequential Approach.Giovanni Sambin & Silvio Valentini - 1982 - Journal of Philosophical Logic 11 (3):311 - 342.
  4.  40
    An Effective Fixed-Point Theorem in Intuitionistic Diagonalizable Algebras.Giovanni Sambin - 1976 - Studia Logica 35 (4):345 - 361.
    Within the technical frame supplied by the algebraic variety of diagonalizable algebras, defined by R. Magari in [2], we prove the following: Let T be any first-order theory with a predicate Pr satisfying the canonical derivability conditions, including Löb's property. Then any formula in T built up from the propositional variables $q,p_{1},...,p_{n}$ , using logical connectives and the predicate Pr, has the same "fixed-points" relative to q (that is, formulas $\psi (p_{1},...,p_{n})$ for which for all $p_{1},...,p_{n}\vdash _{T}\phi (\psi (p_{1},...,p_{n}),p_{1},...,p_{n})\leftrightarrow \psi (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  5.  23
    Topology and Duality in Modal Logic.Giovanni Sambin & Virginia Vaccaro - 1988 - Annals of Pure and Applied Logic 37 (3):249-296.
  6.  17
    A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness.G. Sambin & V. Vaccaro - 1989 - Journal of Symbolic Logic 54 (3):992-999.
  7.  26
    Basic Logic: Reflection, Symmetry, Visibility.Giovanni Sambin, Giulia Battilotti & Claudia Faggian - 2000 - Journal of Symbolic Logic 65 (3):979-1013.
    We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and non-modal linear logics, are all obtained as extensions in a uniform way and in a single framework. We isolate three properties, which characterize B positively: reflection, symmetry and visibility. A logical constant obeys to the principle of reflection if it is characterized semantically by an equation binding it with (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  8.  36
    A Modal Sequent Calculus for a Fragment of Arithmetic.G. Sambin & S. Valentini - 1980 - Studia Logica 39 (2-3):245-256.
    Global properties of canonical derivability predicates in Peano Arithmetic) are studied here by means of a suitable propositional modal logic GL. A whole book [1] has appeared on GL and we refer to it for more information and a bibliography on GL. Here we propose a sequent calculus for GL and, by exhibiting a good proof procedure, prove that such calculus admits the elimination of cuts. Most of standard results on GL are then easy consequences: completeness, decidability, finite model property, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  9.  26
    Pretopologies and Completeness Proofs.Giovanni Sambin - 1995 - Journal of Symbolic Logic 60 (3):861-878.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  10. Twenty-Five Years of Constructive Type Theory.Giovanni Sambin & Jan Smith (eds.) - 1998 - Clarendon Press.
  11.  5
    Basic Logic: Reflection, Symmetry, Visibility.Giovanni Sambin, Giulia Battilotti & Claudia Faggian - 2000 - Journal of Symbolic Logic 65 (3):979-1013.
    We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and non-modal linear logics, are all obtained as extensions in a uniform way and in a single framework. We isolate three properties, which characterize B positively: reflection, symmetry and visibility. A logical constant obeys to the principle of reflection if it is characterized semantically by an equation binding it with (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  12.  24
    Subdirectly Irreducible Modal Algebras and Initial Frames.Sambin Giovanni - 1999 - Studia Logica 62 (2):269-282.
    The duality between general frames and modal algebras allows to transfer a problem about the relational (Kripke) semantics into algebraic terms, and conversely. We here deal with the conjecture: the modal algebra A is subdirectly irreducible (s.i.) if and only if the dual frame A* is generated. We show that it is false in general, and that it becomes true under some mild assumptions, which include the finite case and the case of K4. We also prove that a Kripke frame (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  13.  19
    Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995.Giovanni Sambin & Jan M. Smith (eds.) - 1998 - Oxford University Press.
    This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Lof over the last twenty-five years.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  24
    Post Completeness and Free Algebras.G. Sambin & S. Valentini - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (22-24):343-347.
  15.  7
    Post Completeness and Free Algebras.G. Sambin & S. Valentini - 1980 - Mathematical Logic Quarterly 26 (22‐24):343-347.
  16.  17
    Inductively Generated Formal Topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
    Formal topology aims at developing general topology in intuitionistic and predicative mathematics. Many classical results of general topology have been already brought into the realm of constructive mathematics by using formal topology and also new light on basic topological notions was gained with this approach which allows distinction which are not expressible in classical topology. Here we give a systematic exposition of one of the main tools in formal topology: inductive generation. In fact, many formal topologies can be presented in (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  17.  21
    A Simpler Proof of Sahlqvist's Theorem on Completeness of Modal Logics.Giovanni Sambin - 1980 - Bulletin of the Section of Logic 9 (2):50-54.
  18.  76
    Provability: The Emergence of a Mathematical Modality.George Boolos & Giovanni Sambin - 1991 - Studia Logica 50 (1):1 - 23.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  19.  7
    Executive and Semantic Processes in Reappraisal of Negative Stimuli: Insights From a Meta-Analysis of Neuroimaging Studies.Irene Messina, Simone Bianco, Marco Sambin & Roberto Viviani - 2015 - Frontiers in Psychology 6.
  20.  23
    Paolo Mancosu, Klaus Frovin JØrgensen, and Stig Andur Pedersen, Eds. Visualization, Explanation and Reasoning Stryles in Mathematics. Synthese Library, Vol. 327. Dordrecht: Springer, 2005. ISBN 1-4020-3334-6 ; 1-4020-3335-4 . Pp. X + 300. [REVIEW]Paolo Mancosu & Klaus JØrgensen - 2006 - Philosophia Mathematica 14 (2):265.
  21.  10
    Pretopologies and a Uniform Presentation of Sup-Lattices, Quantales and Frames.Giulia Battilotti & Giovanni Sambin - 2006 - Annals of Pure and Applied Logic 137 (1-3):30-61.
    We introduce the notion of infinitary preorder and use it to obtain a predicative presentation of sup-lattices by generators and relations. The method is uniform in that it extends in a modular way to obtain a presentation of quantales, as “sup-lattices on monoids”, by using the notion of pretopology.Our presentation is then applied to frames, the link with Johnstone’s presentation of frames is spelled out, and his theorem on freely generated frames becomes a special case of our results on quantales.The (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  22.  69
    An Incomplete System of Modal Logic.George Boolos & Giovanni Sambin - 1985 - Journal of Philosophical Logic 14 (4):351 - 358.
  23.  50
    Arcology: The City in the Image of ManThe Sketchbooks of Paolo SoleriThe Bridge Between Matter and Spirit Is Matter Becoming Spirit.Holcombe M. Austin & Paolo Soleri - 1974 - Journal of Aesthetics and Art Criticism 33 (1):115.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  46
    Formal Topologies on the Set of First-Order Formulae.Thierry Coquand, Sara Sadocco, Giovanni Sambin & Jan M. Smith - 2000 - Journal of Symbolic Logic 65 (3):1183-1192.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  25.  9
    Embedding Locales and Formal Topologies Into Positive Topologies.Francesco Ciraulo & Giovanni Sambin - 2018 - Archive for Mathematical Logic 57 (7-8):755-768.
    A positive topology is a set equipped with two particular relations between elements and subsets of that set: a convergent cover relation and a positivity relation. A set equipped with a convergent cover relation is a predicative counterpart of a locale, where the given set plays the role of a set of generators, typically a base, and the cover encodes the relations between generators. A positivity relation enriches the structure of a locale; among other things, it is a tool to (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  17
    A Constructive Galois Connection Between Closure and Interior.Francesco Ciraulo & Giovanni Sambin - 2012 - Journal of Symbolic Logic 77 (4):1308-1324.
    We construct a Galois connection between closure and interior operators on a given set. All arguments are intuitionistically valid. Our construction is an intuitionistic version of the classical correspondence between closure and interior operators via complement.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27. Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?Giovanni Sambin - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  28.  20
    Fixed Points Through the Finite Model Property.Giovanni Sambin - 1978 - Studia Logica 37 (3):287 - 289.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  4
    Génie minoen et génie égyptien, un emprunt raisonné.Chantal Sambin - 1989 - Bulletin de Correspondance Hellénique 113 (1):77-96.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  21
    Topological Characterization of Scott Domains.Giovanni Sambin & Silvio Valentini - forthcoming - Archive for Mathematical Logic.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. A New Introduction to Modal Logic.Paolo Crivelli, Timothy Williamson, G. E. Hughes & M. J. Cresswell - 1998 - Philosophical Review 107 (3):471.
    This volume succeeds the same authors' well-known An Introduction to Modal Logic and A Companion to Modal Logic. We designate the three books and their authors NIML, IML, CML and H&C respectively. Sadly, George Hughes died partway through the writing of NIML.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   118 citations  
  32.  80
    Alternatives and Truthmakers in Conditional Semantics.Paolo Santorio - 2018 - Journal of Philosophy 115 (10):513-549.
    Natural language conditionals seem to be subject to three logical requirements: they invalidate Antecedent Strengthening, they validate so-called Simplification of Disjunctive Antecedents, and they allow for the replacement of logically equivalent clauses in antecedent position. Unfortunately, these requirements are jointly inconsistent. Conservative solutions to the puzzle drop Simplification, treating it as a pragmatic inference. I show that pragmatic accounts of Simplification fail, and develop a truthmaker semantics for conditionals that captures all the relevant data. Differently from existing truthmaker semantics, my (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  33. Extended Life.Ezequiel A. Di Paolo - 2008 - Topoi 28 (1):9-21.
    This paper reformulates some of the questions raised by extended mind theorists from an enactive, life/mind continuity perspective. Because of its reliance on concepts such as autopoiesis, the enactive approach has been deemed internalist and thus incompatible with the extended mind hypothesis. This paper answers this criticism by showing (1) that the relation between organism and cogniser is not one of co-extension, (2) that cognition is a relational phenomenon and thereby has no location, and (3) that the individuality of a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   117 citations  
  34. A Grammar of the Multitude: For an Analysis of Contemporary Forms of Life.Paolo Virno - 2004 - Semiotext(E).
  35. Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century.Paolo Mancosu - 1996 - Oxford University Press.
    The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles, arithmatic of infinites, and calculus were developed. Although many technical studies have been devoted to these innovations, Mancosu provides the first comprehensive account of the relationship between mathematical advances of the seventeenth century and the philosophy of mathematics of the period. Starting with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   54 citations  
  36.  6
    Formal Topologies on the Set of First-Order Formulae.Thierry Coquand, Sara Sadocco, Giovanni Sambin & Jan Smith - 2000 - Journal of Symbolic Logic 65 (3):1183-1192.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. Autopoiesis, Adaptivity, Teleology, Agency.Ezequiel A. Di Paolo - 2005 - Phenomenology and the Cognitive Sciences 4 (4):429-452.
    A proposal for the biological grounding of intrinsic teleology and sense-making through the theory of autopoiesis is critically evaluated. Autopoiesis provides a systemic language for speaking about intrinsic teleology but its original formulation needs to be elaborated further in order to explain sense-making. This is done by introducing adaptivity, a many-layered property that allows organisms to regulate themselves with respect to their conditions of viability. Adaptivity leads to more articulated concepts of behaviour, agency, sense-construction, health, and temporality than those given (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   148 citations  
  38. Primer zgodnjega spora med modernimi in postmodernimi Paolo Rossi Paragone degli ingegni moderni e postmoderni.Paolo Rossi - forthcoming - Filozofski Vestnik.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  39. Storia Della Filosofia, Storia Della Scienza Saggi in Onore di Paolo Rossi.Paolo Rossi, Antonello La Vergata & Alessandro Pagnini - 1995
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  18
    Due convegni su Giulio Preti a trentanni dalla scomparsa, con una nota di Paolo Parrini.Paolo Valore - 2003 - Rivista di Storia Della Filosofia 2.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  80
    Aristotle on Truth.Paolo Crivelli - 2004 - Cambridge University Press.
    Aristotle's theory of truth, which has been the most influential account of the concept of truth from Antiquity onwards, spans several areas of philosophy: philosophy of language, logic, ontology and epistemology. In this 2004 book, Paolo Crivelli discusses all the main aspects of Aristotle's views on truth and falsehood. He analyses in detail the main relevant passages, addresses some well-known problems of Aristotelian semantics, and assesses Aristotle's theory from the point of view of modern analytic philosophy. In the process (...)
    Direct download  
     
    Export citation  
     
    Bookmark   28 citations  
  42. The Philosophy of Mathematical Practice.Paolo Mancosu (ed.) - 2008 - Oxford University Press.
    There is an urgent need in philosophy of mathematics for new approaches which pay closer attention to mathematical practice. This book will blaze the trail: it offers philosophical analyses of important characteristics of contemporary mathematics and of many aspects of mathematical activity which escape purely formal logical treatment.
    Direct download  
     
    Export citation  
     
    Bookmark   37 citations  
  43. From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s.Paolo Mancosu (ed.) - 1998 - Oxford University Press.
    From Brouwer To Hilbert: The Debate on the Foundations of Mathematics in the 1920s offers the first comprehensive introduction to the most exciting period in the foundation of mathematics in the twentieth century. The 1920s witnessed the seminal foundational work of Hilbert and Bernays in proof theory, Brouwer's refinement of intuitionistic mathematics, and Weyl's predicativist approach to the foundations of analysis. This impressive collection makes available the first English translations of twenty-five central articles by these important contributors and many others. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   56 citations  
  44.  13
    Abnormal Default System Functioning in Depression: Implications for Emotion Regulation.Irene Messina, Francesca Bianco, Maria Cusinato, Vincenzo Calvo & Marco Sambin - 2016 - Frontiers in Psychology 7.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  45. Riccardo Manzotti, Paolo Moderato.Riccardo Manzotti & Paolo Moderato - unknown
    The widespread use of brain imaging techniques encourages conceiving of neuroscience as the forthcoming “mindscience.” Perhaps surprisingly for many, this conclusion is still largely unwarranted. The present paper surveys various shortcomings of neuroscience as a putative “mindscience.” The analysis shows that the scope of mind (both cognitive and phenomenal) falls outside that of neuroscience. Of course, such a conclusion does not endorse any metaphysical or antiscientific stance as to the nature of the mind. Rather, it challenges a series of assumptions (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  28
    Sidonius apollinaris’ poetry. Onorato il castone E la Gemma. Sulla tecnica poetica di sidonio apollinare. Pp. 530. Naples: Paolo loffredo iniziative editoriali, 2016. Paper, €36.80. Isbn: 978-88-99306-43-4. [REVIEW]Paolo Mastandrea - 2018 - The Classical Review 68 (1):114-117.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. Se la "morte celebrale" non è la vera morte, sono legittimi i trapianti?: a proposito di un recente libro di Paolo Becchi.Paolo Pasqualucci - 2008 - Rivista Internazionale di Filosofia Del Diritto 85 (4):673-700.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  39
    Logic and the Art of Memory: The Quest for a Universal Language.Paolo Rossi - 2000 - University of Chicago Press.
    The mnemonic arts and the idea of a universal language that would capture the essence of all things were originally associated with cryptology, mysticism, and other occult practices. And it is commonly held that these enigmatic efforts were abandoned with the development of formal logic in the seventeenth century and the beginning of the modern era. In his distinguished book, Logic and the Art of Memory Italian philosopher and historian Paolo Rossi argues that this view is belied by an (...)
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  49. Reference and Monstrosity.Paolo Santorio - 2012 - Philosophical Review 121 (3):359-406.
    According to the orthodox account developed by Kaplan, indexicals like I, you, and now invariably refer to elements of the context of speech. This essay argues that the orthodoxy is wrong. I, you, and the like are shifted by certain modal operators and hence can fail to refer to elements of the context, for example, I can fail to refer to the speaker. More precisely, indexicals are syntactically akin to logical variables. They can be free, in which case they work, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  50.  81
    Descriptions as Variables.Paolo Santorio - 2013 - Philosophical Studies 164 (1):41-59.
    On a popular view dating back to Russell, descriptions, both definite and indefinite alike, work syntactically and semantically like quantifiers. I have an argument against Russell's view. The argument supports a different picture: descriptions can behave syntactically and semantically like variables. This basic idea can be implemented in very different systematic analyses, but, whichever way one goes, there will be a significant departure from Russell. The claim that descriptions are variables is not new: what I offer is a new way (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 citations  
1 — 50 / 1000