Curriculum Vitae. Giuseppe Primiero. Personal information. Contact details: Work. Contact details: Private. Postal Address in Italy.

Transcription

1 Curriculum Vitae Giuseppe Primiero MA Phil, PhD Phil Personal information Date of birth: 12 December 1978 Place of birth: Catania, Italy Citizenship: Italian Contact details: Work Blandijnberg 2, room Gent - Belgium Phone: (++32) Fax: (++32) Contact details: Private Sint-Hubertusstraat Berchem (Antwerp)- Belgium Phone: (++32) (0) Postal Address in Italy via Nutricato Casteldaccia (PA) Italy On the Web Giuseppe.Primiero@UGent.be Homepage: 1

2 Positions 10/ /2011 Post-Doctoral Researcher (BOF Contract) at Centre for Logic and Philosophy of Science - Ghent University, Belgium. 02/ /2008 Post-Doctoral Researcher (GOA Project) at Centre for Logic and Philosophy of Science - Ghent University, Belgium /2006 Post-Doc Researcher at Faculty of Philosophy - Leiden University by a Grant of Palermo University. Research Project: The Epistemology of Bernard Bolzano. Research Project: Abstraction and Instantiation in Constructive Type Theory. Affiliations Affiliated Senior Researcher at Group in the Philosophy of Information, University of Hertfordshire, Great Britain. Affiliated Senior Researcher at Information Ethics Group, Comlab, University of Oxford, Great Britain. Affiliated member of the International Research Group on Fiction and Creation, based at University of Lille3 (France). Member of FOLLI, The Association of Logic, Language and Information Member of ISIF, International Society of Information Fusion Member of the Association for Symbolic Logic Member of the Belgian Society for Logic and Philosophy of Science Member of AILA, Associazione Italiana di Logica e sue Applicazioni. 2

3 Teaching Survey of Philosophy of Mathematics - Postgraduate Studies in Logic, Philosophy and History of Science, Faculty of Philosophy, Ghent University (Belgium) Survey of Philosophy of Mathematics - Postgraduate Studies in Logic, Philosophy and History of Science, Faculty of Philosophy, Ghent University (Belgium) Logic I & Philosophy of Logic - Bachelor Degree in Philosophy and Ethical Sciences - Faculty of Philosophy, Palermo University, Italy Logic I & Philosophy of Logic - Bachelor Degree in Philosophy and Ethical Sciences - Faculty of Philosophy, Palermo University, Italy Logic I & Philosophy of Logic - Bachelor Degree in Philosophy and Ethical Sciences - Faculty of Philosophy, Palermo University, Italy Project on History and Philosophy of Logic at High School Liceo Classico F.Scaduto, Bagheria (PA - Italy). Studies 26/01/2006 PhD in Philosophy, Dep. FIERI, Filosofia, Storia e Critica dei Saperi - Palermo University, Italy. Title of Doctoral Dissertation: Information and Knowledge - A constructive Approach to the Philosophy of Information and a Solution to the Problem of Analyticity. Keywords: Constructive Type Theory, Analyticity, Philosophy of Information, Theories of Knowledge. Final grade: Excellent. 22/07/2004 MA in Philosophy, Faculty of Philosophy - Rijkse Universiteit Leiden, the Netherlands. Dissertation s Title: Presuppositions, Assumptions, Premises Final grade: 8/10. 3

4 Supervisor: prof. Logic. B.G.Sundholm - Chair of History and Philosophy of Keywords: Philosophy of Logic and Mathematics, Constructivism, Type Theory. 09/ /2004 Awarded a Huygens Grant by NUFFIC, Dutch Organization for higher Studies Ph.D. student at Department FIERI - Filosofia, Storia e Critica dei Saperi, Faculty of Philosophy, University of Palermo, Italy. PhD Project s Title: Information & Knowledge Supervisors: Prof. G. Roccaro (University of Palermo); Prof. G. Sundholm (Leiden Universiteit); Prof. L. Samoná (University of Palermo). 18/12/2001 Laurea in Philosophy (Doctor Magistralis), Palermo University, Italy. Final grade: 110/110 cum lauda. Final Dissertation in Logic: Indecidibilitá: sistema e principio (Italian). Supervisor: Prof. G.Roccaro - Chair of Logic. Keywords: Undecidability and Incompleteness of formal systems (Entscheidungsproblem); first Gödel s Incompleteness Theorem; Church and Turing s Computability Graduated at High School Liceo Classico Francesco Scaduto, Bagheria (PA- Italy). Final grade 60/60. Collaborations since 2002 Member of the LabLogica Group, Teaching & Research Group in Philosophical Logic, Department FIERI - Filosofia Storia e Critica dei Saperi at University of Palermo. Website: since 2002 Member of the editorial board of the Journal Studium Philosophicum - Annuario di Filosofia del Linguaggio e della Conoscenza - c by Studium Philosophicum 2002 (registered at Palermo Court - n 8 of 03-05/05/2002). since 2002 Member of Officina di Studi Medievali (Centre for Medieval Studies) - Palermo, Italy. 4

5 Conferences and Workshops (Invited and Contributed) 1-2/09/2008 Young Researcher Days Workshop, Belgian Society for Logic and Philosophy of Science, Brussel. Talk: Constructive Modalities for Information /08/2008 Workshop on Logic and Intelligent Interaction, ESSLLI 2008, Hamburg, Germany. Talk: Quasi-merging and Pure Arbitration on Information for the Family of Logics ADM /07/2008 IV World Congress on Paraconsistency, Melbourne, Australia. Talk: A Model for processing Updates with Inconsistent Information. 3-5/07/2008 LOFT08, 8th Conference on Logic and the Foundations of Game and Decision Theory Amsterdam (NL). Talk: Aggregating Collective Judgements by selecting Disagreements. 1-3/07/2008 FUSION08, 11th International Conference on Information Fusion Cologne, Germany. Talk: Adaptive Arbitration by Variant Counting on Commutative Bases with Weights. 28/05/2008 Invited Talk at the Philosophy Department, Universita Statale di Milano (Italy). Talk: Teoria epistemica delle presupposizioni e logica del divenire informati a base costruttivista /05/2005 International Conference CLE30/XVEBL/XIVSLALM, Paraty, Brasil. Talk: Retraction for the Adaptive Logic of Information Update. 19/11/2007 Invited Talk at Philosophy Department TU-Delft, the Netherlands. Talk: Interacting Beliefs. 3-4/11/2007 Invited Talk at First Workshop on the Philosophy of Information and Logic, Philosophy Centre, University of Oxford. Talk: Becoming Informed: the Constructive Perspective. 5

6 06/08/2007 Workshop on Logic, Rationality and Interaction (LORI), Beijing, China. Talk: Belief Merging Based on Adaptive Interaction /08/2007 LMPS07-13th International Conference on Logic, Methodology and Philosophy of Science, Beijing, China. Talk: An Adaptive Approach to Belief Change. March 2007 Invited Talk at International Conference Logica e Metafisica, University of Palermo. Talk: Dynamics: nuove fondazioni per la logica. December 2006 Invited Talk at Centre for Logic and Philosophy of Science, Ghent University. Talk:Dynamics and Information for Constructive Logics. August 2006 Logic Colloquium 2006, ASL European Summer Meeting, Nijmegen - Holland. Talk: A constructive type-theoretical Interpretation of the philosophical Methods of Abstraction and Instantiation. June 2006 Logica 2006, International Symposium Institute of Philosophy, Academy of Sciences, Czech Republic. Talk: On building abstract Concepts in typed Systems. March 2006 Seminario Congiunto Coordinamento Nazionale Italiano Dottorati di Ricerca in Filosofia/Istituto Italiano di Scienze Umane, Firenze, Palazzo Strozzi. Talk: Informazione e Conoscenza. March 2006 Invited Talk at Dep. ARCO - Arti e Comunicazioni, Palermo University. Talk: Dall Artificiale al Vivente - Una storia naturale dei concetti (Polimetrica 2005). February 2006 Invited Talk at Seminari filosofici - Biblioteca Tematica Potere e Sapere - Palermo University. Talk: Bernard Bolzano: Aspetti generali della Wissenschaftslehre. 6

7 November 2005 Talk at PhD Philosophy Meetings, Palermo University. Talk: Il Principio di Analiticitá tra Kant e Bolzano. June 2005 Logica 2005, International Symposium, Institute of Philosophy, Academy of Sciences, Czech Republic. Talk:Belief Revision in Constructive Type Theory. December 2004 Annual Italian Meeting of PhD Candidates in Philosophy, Reggio Emilia. Talk: Information in a Constructive Setting LMPS03-12th International Conference on Logic, Methodology and Philosophy of Science, Oviedo, Spain. Talk: Some Remarks about the Analysis/Synthesis Problem: a new Context for the Notion of Information Organization of Workshop di Studi filosofici 2002/03 at Biblioteca Tematica Potere e Sapere, Faculty of Philosophy - Palermo University Workshop di Studi filosofici 2002/03, Biblioteca Tematica Potere e Sapere, Faculty of Philosophy - University of Palermo. Talk: Informazione e Dimostrazione. Conferences and Workshops (Attended), Summer Schools, Studies Abroad, etc /2005 Visiting PhD Student at Faculty of Philosophy - Stockholm University (Sweden). PhD-Thesis Supervision by prof. Per Martin-Löf Attended Summer School for Logic ; organised by: AILA (Associazione italiana di logica e sue applicazioni - Italian association for Logic and its applications), SILFS (Societá Italiana di Logica e Filosofia della Scienza - Italian society for Logic and Philosophy of Science), University of Bologna and National Group for Algebraic and Geometric Structures and National Institute for High Mathematics Attended Logic Colloquium 2004, ASL European Summer Meeting, Turin, Italy. 7

8 2004 Attended Logica International Symposium, Institute of Philosophy, Academy of Sciences, Czech Republic. 09/ /2004 Visiting PhD Student at Faculty of Philosophy - Leiden University (the Netherlands). PhD-Thesis Supervision by prof. Göran Sundholm Attended FotFS IV - Foundations of the Formal Sciences - Bonn, Germany Attended Scuola Estiva di Logica (Summer School of Logic) organised by: AILA (Associazione Italiana per la Logica e sue Applicazioni), SILFS (Societá Italiana di Logica e Filosofia della Scienza), University of Bologna Awarded for an Erasmus Project Grant at Freie Universität Berlin Attended ESSLLI 2002, 14th European Summer School in Logic Language and Information, University of Trento Attended Summer School for Logic organised by AILA (Associazione italiana di logica e sue applicazioni - Italian association for Logic and its applications), by SILFS (Societá Italiana di Logica e Filosofia della Scienza - Italian society for Logic and Philosophy of Science), University of Bologna, National Group for Algebraic and Geometric Structures and National Institute for High Mathematics. Foreign languages English Fluent. German Fluent. Dutch Fluent. Swedish Basic knowledge. 8

9 Pubblications VOLUMES 1. G. Primiero, S. Rahman (eds.), Acts of Knowledge - History, Philosophy and Logic, College Publications, forthcoming (expected 2009). 2. Information and Knowledge - A constructive Type-Theoretical Approach, vol.10 Series Logic, Epistemology and the Unity of Science, Springer, (with G. Rotolo) Dall artificiale al vivente - Una storia naturale dei concetti, POLIMETRICA, International Scientific Publisher, (G. Primiero, G. Rotolo eds.) Mappe Concettuali Territori Cognitivi - I Workshop di Studi Filosofici - Biblioteca Tematica Potere e Sapere - Annali della Facoltá di Lettere e Filosofia - Universitá degli Studi di Palermo - Serie Studi e Ricerche 42. ARTICLES In Preparation 1. Aggregating collective judgements by selecting disagreements, manuscript. 2. Epistemic Modalities, to be published in the volume Acts of Knowledge, (G. Primiero, S. Rahman, eds.), College Publications, forthcoming. 3. A multi-modal framework for a constructive multi-agent system, in preparation. Peer-reviewed International Journals 1. Arbitration and Quasi-merging in ADM, submitted for publication, Knowledge, Rationality and Action, Synthese. 2. Presuppositions, Assumptions, Premises, submitted for publication. 3. Proceeding in Abstraction. From concepts to types and the recent perspective on information, History and Philosophy of Logic, accepted for publication. 4. An Epistemic Logic for Becoming Informed, Logic, Rationality and Action, Synthese, 5. (with J. Meheus), Majority Merging by Adaptive Counting, Logic, Rationality and Action, Synthese, DOI /s An Epistemic Constructive Definition of Information, Logique & Analyse, vol.50, n.200, pp

10 Proceedings and Chapters 1. A model for processing updates with inconsistent information on propositional databases, submitted for publication in Conference Proceedings of the IV World Congress on Paraconsistency, Melbourne A note on constructive modalities for information, forthcoming in Proceedings of the Young Researchers Workshop in Logic, History and Philosophy of Science, Brussels, Contactfora published by Koninklijke Vlaamse Academie van Belgie voor Wetenschappen en Kusten. 3. Prioritized dynamic retraction function on non-monotonic information updates, submitted for publication to The Many Sides of Logic - Proceeding sof the CLE Conference, Brazil, College Publication. 4. (with J. Meheus), Quasi-merging and Pure-arbitration on Information for the Family of Adaptive Logics ADM, Proceedings of the Workshop on Logic and Intelligent Interaction, ESSLLI 2008, pp (with J. Meheus), Adaptive Arbitration by Variant Counting on Commutative Bases with Weights, Proceedings of the FUSION2008 International Conference, pp Belief Merging based on Adaptive Interaction, in A Meeting of the Minds, Proceedings of the Workshop on Logic, Rationality and Interaction (LO- RI), August 5-9, 2007, Beijing, China, Texts in Computer Science, vol.8, College Publications, London, pp On building abstract Concepts in Typed Systems, in The Logica 2006 Yearbook, FILOSOFIA Publishing House, Institute of Philosophy, Academy of Sciences - Czech Republic, 2007, pp Belief Revision in Constructive Type Theory, in The Logica 2005 Yearbook, pp , FILOSOFIA Publishing House, Institute of Philosophy, Academy of Sciences - Czech Republic, Peer-reviewed National Journals 1. Sulla natura sintetica dell argomentazione metafisica, in Giornale di Metafisica, 28 (2006), N.2, pp , Tilgher, Genova. 2. The Determination of Reference in a Constructive Setting, in Giornale di Metafisica, 26 (2004), N. 3, pp , Tilgher, Genova. Invited & Others 1. Dinamiche: uno sguardo alla nuova fondazione logica, invited paper for the Proceedings of the International Conference Logic & Metaphysics, forthcoming in Annali dellla Facolta di Lettere e Filosofia, Universita degli Studi di Palermo. 2. Ricerche per una Informational Proof-Theory, in Mappe Concettuali, Territori Cognitivi - I Workshop di Studi Filosofici - Biblioteca Tematica Potere e Sapere - Annali della Facoltá di Lettere e Filosofia - Universitá degli Studi di Palermo - Sez. Studi e Ricerche , N 42, pp

11 3. Necessitá e Principio: riguardo alla struttura logico-epistemica dei Secondi Analitici, in Studium Philosophicum - Pensiero, Negazione e Principio di non contraddizione (a cura di G. Licata e A. Le Moli), ANNO III, N.3, 2004, pp.77-96, Nuova IPSA Editore Palermo. 4. Medioevo e scienza formale: commento a quattro voci - Riguardo al FotFS IV, in Schede Medievali - 40/2002, pp Officina di Studi Medievali. 5. Totalitá e veritá come incoerenza logica: una nota sulla contraddizione, in Studium Philosophicum, Anno I, N. 1,1/2002, pp , Studium Philosophicum. ABSTRACTS 1. A model for processing updates with inconsistent information, forthcoming in The Bulletin of Symbolic Logic, ASL. 2. Retraction for the Adaptive Logic of Information Update, forthcoming in The Bulletin of Symbolic Logic, ASL. 3. An Adaptive Approach to Belief Change, in Volume of Abstracts - 13th International Congress for Logic Methodology and Philosophy of Science, Beijing, pp A type-theoretical constructive Interpretation of the Philosophical Methods of Abstraction and Instantiation (Abstract), The Bulletin of Symbolic Logic, ASL, About the Analysis/Synthesis Problem: a new Context for the Notion of Information (Abstract), in Volume of Abstracts - 12th International Congress for Logic Methodology and Philosophy of Science, Universidad de Oviedo (SPAIN), p.121. REVIEWS 1. A. Varzi (ed.), Metafisica - Classici Contemporanei, Laterza Roma-Bari 2008, in Giornale di Metafisica, forthcoming. 2. D.W. Zimmerman (ed.), Oxford Studies in Metaphysics, voll. 1-2, Oxford University Press, Oxford , pp. 345; 416; in Giornale di Metafisica, vol XXVIII, 1/ N. Salmon, Metaphysics, Mathematics and Meaning, Oxford University Press, Oxford 2005; forthcoming in Giornale di Metafisica, 3/2005, Tilgher, Genova. 4. P. Cosenza, Calcolo delle Classi e Calcolo dei Predicati nell Analitica di Aristotele, Quaderni dell Accademia Pontiniana, 35 in Giornale di Metafisica /2, pp , Tilgher, Genova. 5. K. Hawley, How Things persist, Oxford University Press, Oxford 2001; in Giornale di Metafisica - 3/2002, pp , Tilgher, Genova. 11

12 6. F. D Agostini, Disavventure della veritá, Biblioteca Einaudi, Torino 2002; in Studium Philosophicum, Anno I, N. 2,2/2002. pp OTHERS 1. Entries for the forthcoming Dizionario di Filosofia Carocci (Dictionary of Philosophy): Analisi e Sintesi, Argomentazione, Assunzione, Definizione, Fondamenti della Matematica, Logica, Logica Intuizionista, Logica dei Predicati, Logica Proposizionale. 12