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

12  Download (0)

Full text

(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 231

9000 Gent - Belgium Phone: (++32) 9 264 39 74 Fax: (++32) 9 264 41 87

Contact details: Private

Sint-Hubertusstraat 63

2600 Berchem (Antwerp)- Belgium Phone: (++32) (0)476902362

Postal Address in Italy

via Nutricato 39 90014 - Casteldaccia (PA) Italy

On the Web

e-mail: Giuseppe.Primiero@UGent.be Homepage: http://logica.ugent.be/giuseppe/

(2)

Positions

10/2008-10/2011 Post-Doctoral Researcher (BOF Contract) at Centre for Logic and Philo-sophy of Science - Ghent University, Belgium.

02/2007-10/2008 Post-Doctoral Researcher (GOA Project) at Centre for Logic and Philo-sophy of Science - Ghent University, Belgium.

06-12/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, Uni-versity 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

(3)

Teaching

2008-09 Survey of Philosophy of Mathematics- Postgraduate Studies in Logic, Phi-losophy and History of Science, Faculty of PhiPhi-losophy, Ghent University (Belgium).

2007-08 Survey of Philosophy of Mathematics- Postgraduate Studies in Logic, Phi-losophy and History of Science, Faculty of PhiPhi-losophy, Ghent University (Belgium).

2005-06 Logic I & Philosophy of Logic- Bachelor Degree inPhilosophy and Ethical Sciences - Faculty of Philosophy, Palermo University, Italy.

2004-05 Logic I & Philosophy of Logic- Bachelor Degree inPhilosophy and Ethical Sciences - Faculty of Philosophy, Palermo University, Italy.

2002-03 Logic I & Philosophy of Logic- Bachelor Degree inPhilosophy and Ethical Sciences - Faculty of Philosophy, Palermo University, Italy.

2002-03 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 construc-tive Approach to the Philosophy of Information and a Solution to the Pro-blem of Analyticity.

Keywords: Constructive Type Theory, Analyticity, Philosophy of Infor-mation, 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

(4)

Supervisor: prof. B.G.Sundholm - Chair of History and Philosophy of Logic.

Keywords: Philosophy of Logic and Mathematics, Constructivism, Type Theory.

09/2003-05/2004 Awarded a Huygens Grant by NUFFIC, Dutch Organization for higher Studies.

2002-2005 Ph.D. student at DepartmentFIERI - Filosofia, Storia e Critica dei Sa-peri, 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´a (University of Palermo).

18/12/2001 Laureain Philosophy (Doctor Magistralis), Palermo University, Italy. Final grade: 110/110 cum lauda.

Final Dissertation in Logic:“Indecidibilit´a: sistema e principio” (Italian). Supervisor: Prof. G.Roccaro - Chair of Logic.

Keywords: Undecidability and Incompleteness of formal systems (En-tscheidungsproblem); first G¨odel’s Incompleteness Theorem; Church and Turing’s Computability.

1997 Graduated at High School Liceo Classico “Francesco Scaduto”, Bagheria (PA- Italy). Final grade 60/60.

Collaborations

since 2002 Member of theLabLogica Group, Teaching & Research Group in Philoso-phical Logic, Department FIERI - Filosofia Storia e Critica dei Saperi at University of Palermo. Website: www.fieri.unipa.it/lablogica

since 2002 Member of the editorial board of the Journal Studium Philosophicum -Annuario di Filosofia del Linguaggio e della Conoscenza - cbyStudium 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.

(5)

Conferences and Workshops (Invited and

Contri-buted)

1-2/09/2008 Young Researcher Days Workshop, Belgian Society for Logic and Philo-sophy of Science, Brussel.

Talk: Constructive Modalities for Information.

11-15/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.

13-18/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 infor-mati a base costruttivista.

11-17/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.

(6)

06/08/2007 Workshop on Logic, Rationality and Interaction (LORI), Beijing, China. Talk: Belief Merging Based on Adaptive Interaction.

09-15/08/2007 LMPS07 - 13th International Conference on Logic, Methodology and Phi-losophy 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 Uni-versity.

Talk:Dynamics and Information for Constructive Logics.

August 2006 Logic Colloquium 2006, ASL European Summer Meeting, Nijmegen - Hol-land.

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 Ri-cerca 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 (Poli-metrica 2005).

February 2006 Invited Talk at Seminari filosofici - Biblioteca Tematica “Potere e Sapere” - Palermo University.

(7)

November 2005 Talk at PhD Philosophy Meetings, Palermo University.

Talk: Il Principio di Analiticit´a 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”.

2003 LMPS03 - 12th International Conference on Logic, Methodology and Phi-losophy of Science, Oviedo, Spain.

Talk:“Some Remarks about the Analysis/Synthesis Problem: a new Con-text for the Notion of Information.”.

2002-03 Organization of“Workshop di Studi filosofici 2002/03”at Biblioteca Te-maticaPotere e Sapere, Faculty of Philosophy - Palermo University.

2003 “Workshop di Studi filosofici 2002/03”, Biblioteca TematicaPotere e Sa-pere, Faculty of Philosophy - University of Palermo.

Talk:“Informazione e Dimostrazione”.

Conferences and Workshops (Attended), Summer

Schools, Studies Abroad, etc.

01-06/2005 Visiting PhD Student at Faculty of Philosophy - Stockholm University

(Sweden). PhD-Thesis Supervision by prof. Per Martin-L¨of.

2004 Attended “Summer School for Logic”; organised by: AILA (Associazione italiana di logica e sue applicazioni - Italian association for Logic and its applications),SILFS (Societ´a 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.

2004 AttendedLogic Colloquium 2004, ASL European Summer Meeting, Turin, Italy.

(8)

2004 AttendedLogica 2004 - International Symposium, Institute of Philosophy, Academy of Sciences, Czech Republic.

09/2003-05/2004 Visiting PhD Student atFaculty of Philosophy - Leiden University (the Netherlands). PhD-Thesis Supervision by prof. G¨oran Sundholm.

2003 AttendedFotFS IV - Foundations of the Formal Sciences - Bonn, Germa-ny.

2002 Attended “Scuola Estiva di Logica” (Summer School of Logic) organised by: AILA(Associazione Italiana per la Logica e sue Applicazioni),SILFS

(Societ´a Italiana di Logica e Filosofia della Scienza), University of Bologna.

2001 Awarded for an Erasmus Project Grant at Freie Universit¨at Berlin.

2002 AttendedESSLLI 2002, 14th European Summer School in Logic Langua-ge and Information, University of Trento.

2000 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´a 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.

(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, 2008.

3. (with G. Rotolo) Dall’artificiale al vivente - Una storia naturale dei con-cetti, POLIMETRICA, International Scientific Publisher, 2005.

4. (G. Primiero, G. Rotolo eds.) Mappe Concettuali Territori Cognitivi - I Workshop di Studi Filosofici - Biblioteca Tematica Potere e Sapere - An-nali della Facolt´a di Lettere e Filosofia - Universit´a degli Studi di Palermo - Serie Studi e Ricerche 42.

ARTICLES In Preparation

1. “Aggregating collective judgements by selecting disagreements”, manu-script.

2. “Epistemic Modalities”, to be published in the volume “Acts of Knowled-ge”, (G. Primiero, S. Rahman, eds.), College Publications, forthcoming. 3. “A multi-modal framework for a constructive multi-agent system”, in

pre-paration.

Peer-reviewed International Journals

1. “Arbitration and Quasi-merging in ADM”, submitted for publication, Kno-wledge, Rationality and Action, Synthese.

2. “Presuppositions, Assumptions, Premises”, submitted for publication. 3. “Proceeding in Abstraction. From concepts to types and the recent

per-spective on information”, History and Philosophy of Logic, accepted for publication.

4. “An Epistemic Logic for Becoming Informed”, Logic, Rationality and Ac-tion, Synthese, http://dx.doi.org/10.1007/s11229-008-9413-8.

5. (with J. Meheus), “Majority Merging by Adaptive Counting”, Logic, Ra-tionality and Action, Synthese, DOI 10.1007/s11229-008-9370-2.

6. “An Epistemic Constructive Definition of Information”,Logique & Analy-se, vol.50, n.200, pp. 391-416.

(10)

Proceedings and Chapters

1. “A model for processing updates with inconsistent information on propo-sitional databases”, submitted for publication inConference Proceedings of the IV World Congress on Paraconsistency, Melbourne 2008.

2. “A note on constructive modalities for information”, forthcoming in Pro-ceedings of the Young Researchers Workshop in Logic, History and Philo-sophy 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 toThe Many Sides of Logic - Procee-ding 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. 21-30.

5. (with J. Meheus), “Adaptive Arbitration by Variant Counting on Commu-tative Bases with Weights”, Proceedings of the FUSION2008 International Conference, pp.1374-1380.

6. “Belief Merging based on Adaptive Interaction”, inA 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. 315-320.

7. “On building abstract Concepts in Typed Systems”, in The Logica 2006 Yearbook, FILOSOFIA Publishing House, Institute of Philosophy, Acade-my of Sciences - Czech Republic, 2007, pp.191-202.

8. “Belief Revision in Constructive Type Theory”, inThe Logica 2005 Year-book, pp.177-188, FILOSOFIA Publishing House, Institute of Philosophy, Academy of Sciences - Czech Republic, 2006.

Peer-reviewed National Journals

1. “Sulla natura sintetica dell’argomentazione metafisica”, inGiornale di Me-tafisica, 28 (2006), N.2, pp. 397-412, Tilgher, Genova.

2. “The Determination of Reference in a Constructive Setting”, in Giornale di Metafisica, 26 (2004), N. 3, pp. 483-502, 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´a di Lettere e Filosofia - Universit´a

(11)

3. “Necessit´a e Principio: riguardo alla struttura logico-epistemica dei Secon-di Analitici” , inStudium 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”, inSchede Medievali - 40/2002, pp. 209-219 Officina di Studi Medievali.

5. “Totalit´a e verit´a come incoerenza logica: una nota sulla contraddizio-ne”, inStudium Philosophicum, Anno I, N. 1,1/2002, pp. 69-77, Studium Philosophicum.

ABSTRACTS

1. “A model for processing updates with inconsistent information”, forthco-ming inThe Bulletin of Symbolic Logic, ASL.

2. “Retraction for the Adaptive Logic of Information Update”, forthcoming inThe 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.144-146.

4. “A type-theoretical constructive Interpretation of the Philosophical Me-thods of Abstraction and Instantiation” (Abstract),The Bulletin of Sym-bolic Logic, ASL, 2007.

5. “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, Ox-ford University Press, OxOx-ford 2004-2006, pp. 345; 416; in “Giornale di Metafisica”, vol XXVIII, 1/2006.

3. N. Salmon, Metaphysics, Mathematics and Meaning, Oxford Universi-ty 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 Meta-fisica” 26 2004/2, pp.405-410, Tilgher, Genova.

5. K. Hawley, How Things persist, Oxford University Press, Oxford 2001; in “Giornale di Metafisica - 3/2002, pp.209-213, Tilgher, Genova.

(12)

6. F. D’Agostini,Disavventure della verit´a, Biblioteca Einaudi, Torino 2002; in Studium Philosophicum, Anno I, N. 2,2/2002. pp. 164-166.

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.

Figure

Updating...

References