Results for 'Valeria Ottonelli'

15 found
Order:
  1. On the Elusive Notion of Meta-Agreement.Valeria Ottonelli & Daniele Porello - 2013 - Politics, Philosophy and Economics 12 (1):68-92.
    Public deliberation has been defended as a rational and noncoercive way to overcome paradoxical results from democratic voting, by promoting consensus on the available alternatives on the political agenda. Some critics have argued that full consensus is too demanding and inimical to pluralism and have pointed out that single-peakedness, a much less stringent condition, is sufficient to overcome voting paradoxes. According to these accounts, deliberation can induce single-peakedness through the creation of a ‘meta-agreement’, that is, agreement on the dimension according (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Mettere a Fuoco Il Mondo. Conversazioni sulla Filosofia di Achille Varzi (Special Issue of Isonomia – Epistemologica).Elena Casetta, Valeria Giardino, Andrea Borghini, Patrizia Pedrini, Francesco Calemi, Daniele Santoro, Giuliano Torrengo, Claudio Calosi, Pierluigi Graziani & Achille C. Varzi (eds.) - 2014 - ISONOMIA – Epistemologica. University of Urbino.
    Achille Varzi è uno dei maggiori metafisici viventi. Nel corso degli anni ha scritto testi fondamentali di logica, metafisica, mereologia, filosofia del linguaggio. Ha sconfinato nella topologia, nella geografia, nella matematica, ha ragionato di mostri e confini, percezione e buchi, viaggi nel tempo, nicchie, eventi e ciambelle; e non ha disdegnato di dialogare con gli abitanti di Flatlandia, con Neo e con Terminator. Tra le sue opere principali: Holes and Other Superficialities e Parts and Places. The Structures of Spatial Representation, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  28
    The ILLTP Library for Intuitionistic Linear Logic.Carlos Olarte, Valeria Correa Vaz De Paiva, Elaine Pimentel & Giselle Reis - manuscript
    Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. An Inquiry Into the Practice of Proving in Low-Dimensional Topology.Silvia De Toffoli & Valeria Giardino - 2015 - In Gabriele Lolli, Giorgio Venturi & Marco Panza (eds.), From Logic to Practice. Zurich, Switzerland: Springer International Publishing. pp. 315-336.
    The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  5. Tools for Thought: The Case of Mathematics.Valeria Giardino - 2018 - Endeavour 2 (42):172-179.
    The objective of this article is to take into account the functioning of representational cognitive tools, and in particular of notations and visualizations in mathematics. In order to explain their functioning, formulas in algebra and logic and diagrams in topology will be presented as case studies and the notion of manipulative imagination as proposed in previous work will be discussed. To better characterize the analysis, the notions of material anchor and representational affordance will be introduced.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Forms and Roles of Diagrams in Knot Theory.Silvia De Toffoli & Valeria Giardino - 2014 - Erkenntnis 79 (4):829-842.
    The aim of this article is to explain why knot diagrams are an effective notation in topology. Their cognitive features and epistemic roles will be assessed. First, it will be argued that different interpretations of a figure give rise to different diagrams and as a consequence various levels of representation for knots will be identified. Second, it will be shown that knot diagrams are dynamic by pointing at the moves which are commonly applied to them. For this reason, experts must (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  7. Envisioning Transformations – The Practice of Topology.Silvia De Toffoli & Valeria Giardino - 2016 - In Brendan Larvor (ed.), Mathematical Cultures: The London Meetings 2012--2014. Zurich, Switzerland: Birkhäuser. pp. 25-50.
    The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the practitioners; (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  20
    Book Review: Relations: Ontology and Philosophy of Religion by Bertini, Daniele and Migliorini, Damiano. [REVIEW]Valeria Martino - 2019 - European Journal for Philosophy of Religion 11 (4):219.
    In this paper, I examine the book "Relations: Ontology and Philosophy of Religion" which is a collection of invited and selected papers dealing with both ontology and the philosophy of religion. It aims at showing how the two disciplines can fruitfully interact and provide useful tools for philosophical investigation. The background is relational ontology and analytical philosophy.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Geometria, ragionamento e scommesse.Valeria Giardino - 2014 - In University of Urbino © Isonomia – Epistemologica (ed.), Mettere a fuoco il mondo. pp. 36-46.
    Poiché i miei interessi di ricerca si concentrano sul rapporto tra spazio e rappresentazione, nel presente articolo commenterò un lavoro di Achille C. Varzi pubblicato nel 2008 e intitolato, nella sua versione italiana, «Configurazioni, regole e inferenze». Accennerò anche a un secondo articolo scritto da Varzi e Massimo Warglien e pubblicato nel 2003, intitolato «The Geometry of Negation». Mi rivolgerò poi alla psicologia sperimentale, collegando alcuni aspetti delle osservazioni di Varzi a un articolo di Johnson- Laird del 2005 intitolato «The (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  10.  77
    Lineales.Martin Hyland & Valeria de Paiva - 1991 - O Que Nos Faz Pensar:107-123.
    The first aim of this note is to describe an algebraic structure, more primitive than lattices and quantales, which corresponds to the intuitionistic flavour of Linear Logic we prefer. This part of the note is a total trivialisation of ideas from category theory and we play with a toy-structure a not distant cousin of a toy-language. The second goal of the note is to show a generic categorical construction, which builds models for Linear Logic, similar to categorical models GC of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  80
    A Short Note on Intuitionistic Propositional Logic with Multiple Conclusions.Valéria de Paiva & Luiz Pereira - 2005 - Manuscrito 28 (2):317-329.
    A common misconception among logicians is to think that intuitionism is necessarily tied-up with single conclusion calculi. Single conclusion calculi can be used to model intuitionism and they are convenient, but by no means are they necessary. This has been shown by such influential textbook authors as Kleene, Takeuti and Dummett, to cite only three. If single conclusions are not necessary, how do we guarantee that only intuitionistic derivations are allowed? Traditionally one insists on restrictions on particular rules: implication right, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  31
    The Dialectica Categories.Valeria Correa Vaz De Paiva - 1990 - Dissertation, University of Cambridge, UK
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Hermeneutica Bibliothecaria – Antologie Philobiblon (IV).V. István Király - 2009 - Cluj-Napoca, Romania:
    Cuprins CONTUR Re-Introducere sau: Dincolo de „teoria şi practica” informării şi documentării – Spre o hermeneutică posibilă şi necesară Proiectul şi Programul PHILOBIBLON( în noua formulare) FOCUS Dana Stana, Omonimia şi paronimia în bibliologie Victoria Frâncu, Profesia de bibliotecar la graniţa dintre spaţiul bibliotecii şi ciberspaţiu Olimpia Curta, Laboratorul de informatică şi profesioniştii săi Ionel Enache, Fundamentele teoretice ale marketingului de bibliotecă Maria Petrescu, Bibliotecile digitale şi impactul lor asupra tinerilor Adriana Szekely, Liana Grigore, Bibliorev – în continuă schimbare István (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. HERMENEUTICA BIBLIOTHECARIA – Antologie Philobiblon – (V).V. István Király - 2011 - Cluj-Napoca, Romania: Editura Argonaut.
    CUPRINS CONTUR Re-Introducere sau: Dincolo de „teoria şi practica” informării şi documentării – Spre o hermeneutică posibilă şi necesară ......................................................... 11 Desfăşurătorul întâlnirilor Atelierului Hermeneutica Bibliohtecaria (Philobiblon) .................................................................................................... ......... 21 FOCUS Noul Program al revistei şi Politica ei Editorială: PHILOBIBLON – Transylvanian Journal of Multidisciplinary Research in Humanities .............. 29 Raluca TRIFU, István KIRÁLY V., Consideraţii filosofice, epistemologice şi scientometrice legate de sensurile ştiinţei şi profesiei bibliotecare – Pentru situarea proiectului unei cercetări ............................................................ 31 Valeria SALÁNKI, Cultura organizaţională şi comunicarea (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. The Body Language: A Semiotic Reading of Szasz’ Anti-Psychiatry.Valeria Lelli - 2011 - Dialogues in Philosophy, Mental and Neuro Sciences 4 (2):34-36.
    In “The myth of mental illness” Thomas Szasz challenges the idea that mental illnesses are diseases in the biomedical sense. In his view they are more similar to a foreign language and for this reason they cannot be treated by means of biomedical therapies. The present article explores the semiotic implications of Szasz’s view of the hysterical symptoms as an iconic language. Following Reichenbach, Szasz distinguishes three classes of signs: indexical, iconic and symbolic. The somatic language of the hysteric person (...)
    Download  
     
    Export citation  
     
    Bookmark