University of Genoa :: Department of Philosophy :: Epistemology Section

Daniele Porello PhD


Contacts

Department of Philosophy, Epistemological Section
University of Genoa
Via Balbi 4, 16126 Genova (Italy)
E-mail: daniele.porello@tiscali.it
Home Page: http://www.dif.unige.it/epi/hp/porello

Research interests

Logic :: Linear Logic :: Linguistics :: Philosophy of Language :: Metaphysics


Publications


(2007) "Aggregation of Ranking Judgements and Arrow's Theorem", A Meeting of the Minds. Proceedings of Workshop on Logic, Rationality and Interaction, edited by J. van Benthem, Shier Ju and F. Veltman, Beijing.

(2007) "Deductive and Grammatical competence: a Type Logical Approach to Nesting Phenomena", Epistemologia. Rivista italiana di Filosofia della Scienza (Forthcoming).

(2008) “Linguistic Applications of Non-commutative Logic” in C. Casadio, J. Lambek (eds), Computational Algebraic approach to Natural Language, Polimetrica, Monza/Italy, 2008, pp. 213-232.

2009) “Logic and Pragmatics”, Procceding of TAP-2009 (Towards an Analyitc Pragmatism), C. Amoretti, C. Penco, F. Pitto (eds), CEUR-Workshop Proceedings, Vol-444.

(2009) “Dimensioni di Voto e Coerenza”, Proceedings of AISC 2009 (Italian Society of Cognitive Science) (Esce novembre 2009)

(2009) Lemmas for "Breve Dizionario di Filosofia", Carocci. algebra della logica, ambito logico (scope), argomento ontologico, assurdo, autoreferenzialità calcolo proposizionale, categorematico/sincategorematico, comprensione ed estensione, dimostrazione, doppia negazione, estensione, forma logica, formalismo, grammatica generativa, induzione matematica, logica lineare, logica paraconsistente, metateoria, metodo assiomatico, n-tupla, operatori estensionali-intensionali, Sinn-Bedeutung, sintassi, teorema di Church.

(2010) “Logica, preferenze e deliberazione. Un modello logico dei processi deliberativi”. Sistemi Intelligenti, (esce sul primo numero del 2010)

(2010) “Ranking Judgments in Arrow’s Settings”, Synthese KRA, (esce sul primo numero del 2010)

(20??) “Sense and Proof” (with carlo penco), Proccedings of SILFS (Italian Society for Logic and Philosophy of Science) 2007 (forthcoming)

(200x) "Lambek Grammars and Non-commutative Logic" (submitted to Studia Logica).

Reviews and abstracts:

(2006) "Filosofia e Logica", M. Carrara e P. Giaretta (eds.), Rubbettino, Catanzaro, 2004. Epistemologia, Volume 29, No 2, July-December 2006. (ISSN 0392-9760).
(2006) "Teoria degli insiemi. Un'introduzione", Paolo Casalegno, Mauro Mariani, Carocci, Roma, 2004. Epistemologia (ibidem).
(2006) "Funzioni, Macchine, Algoritmi", D. Palladino, M. Frixione, Carocci, Roma, 2004. Epistemologia (ibidem).
(2006) with D. Palladino, "La svolta contestuale", C. Penco (ed.), McGraw-Hill, Milano 2002. Epistemologia (ibidem).
(2006) with D. Palladino, "Logica" A. Varzi, J. Nolt, D. Rohatyn, Mc Graw-Hill Italia, Milano, 2004. Epistemologia (ibidem).
(2008) Abstract:“Deliberation and Voting Dimensions”, Book of Abstract, COLLOC (Change of Logic, Logic of Change), Praha, September 2008.
(2008) “A translation of Discursive Dilemma into Condorcet’s Paradox”, Volume of Abstracts 6th European Congress of Analytic Philosophy, Jagellonian University, Institute of Philosophy, , 21–26 August 2008 Krakow, Poland link: http://ecap.phils.uj.edu.pl/




  •  

Torna all'inizio

Talks

Talks

(2009) “Dimensioni di Voto e Coerenza”, (poster), AISC 2009, Napoli, Novembre 2009.
(2009) “Linear logic for Bidding Languages” (poster), LogICCC meets China 2009, Chiongquing (China), October 2009.
(2008) “Preferences Update and Deliberation about Dimensions”, SIFA 08 (Italian Society for Analytic Philosophy), Bergamo, September 2008
(2008) “Deliberation and Changing Dimensions”, COLLOC (Change of Logic, Logic of Change), Praha, September 2008.
(2008) “A translation of Discursive Dilemma into Condorcet’s Paradox”, ECAP 08 (European Conference for Analytic Philosophy) Krakow, August, 2008.
(2008) “Lexical semantics, Generative lexicon and Reasoning Frames”, GESCO08 (Genova Scienze COngitive), Genova 2008.
(2008) “Proof nets without links”, 50 Years of Syntactic Calculus, Chieti, July  2008
(2008) “Proof nets without links for Partially Commutative Logic”, Meeting of Equipe SINGES, Castel Jaloux, April 2008.
(2007): "Relazioni logiche tra preferenze e giudizi", SISP 2007, Catania (Italy), September.
(2007): "Sense as Proof", (joint work with Carlo Penco), SEFA 2007, Barcelona (Spain), September.
(2007): "Categorical Basis of Metaphysics", UNILOG 2007, Xi'An (China), August.
(2007): "Aggregation of Ranking Judgements and Arrow's Theorem", LORI 2007, Beijing (China), August.
(2007): "L'interpretazione logica dell'interfaccia sintassi-semantica", GESCO (GEnova Scienze COgnitive), Genova (Italy), June.
(2007): "Conoscenza e logica intuizionista", Temi e Problemi di Epistemologia Contemporanea (2006-2007) (organized by M. Marsonet and N. Vassallo), Genova (Italy), Gennaio.

(2006): "Applications of Non-commutative logic in Linguistics", Studia Logica International Conference, Trends in Logic IV, "Towards Mathematical Philosophy", Torun (Poland), September.
(2006) 1, 12-13: Discussant of: José Ferreiros, "Logic and Logicism", XII Italian-Spanish Meeting for Analytic Philosophy, Valencia (Spain).
(2006): "Deductive and Grammatical Competence: a Type Logical Approach", XII Italian-Spanish Meeting for Analytic Philosophy, Valencia (Spain), January.
(2004): "Reti di prova non commutative in Linguistica", XV Congresso Nazionale dei Dottorandi in Filosofia, Reggio Emilia (italy), December.



Back

Conferences and seminars organization

- 2004: Sifa national congress: Filosofia analitica e cultura europea, Genova, Dip. di Filosofia, 23-25 settembre.
- 2005: International Meeting on Mental Processes: Representing and Inferring, Genova, Dip. di Filosofia, 19-21 ottobre 2005.
- 2006: Verità e Conoscenza, Genova, Dip. di Filosofia, 16-17 ottobre 2006.
- 2006-7: "Temi e Problemi di Epistemologia contemporanea", Genova, Dip. di Filosofia, ottobre 2006 - maggio 2007.
- 2007: Knowledge, Language, and Interpretation: on the Philosophy of Donald Davidson, Genova, Dip. di Filosofia, 24-26 maggio 2007.


Back


Back

Teaching Activities


2003-2006: Exercise Seminars for "Logic" and "Mathamatical Logic" (D. Palladino);:

2004-2005: Seminari di Approfondimento per i corsi di Logica (M. Marsonet) e Logica Matematica (M. Frixione)

2005: Course: "Elements of Logic" (Master in Cognitive Sciences 2005/ 2006)

Back

 Research Projects

  • 2005-2007: PRIN (Progetto di Rilevante Interesse Nazionale) "Conoscenza di sé, dell'altro, del mondo: presupposti, relazioni, implicazioni" (responsabile dell'unità operativa di Genova Prof. Michele Marsonet), inserito nel progetto nazionale " ;Architettura della conoscenza teorica e pratica. Un'indagine critica dei concetti di credenza, verità e giustificazione razionale" (responsabile nazionale Prof. Rosaria Egidi, Università di Roma 3.

    2003-2005: Research Unit:"Understanding and reasoning: the backbones of linguistic communication'' (coordinatore dell'unità: C. Penco), nell'ambito del programma nazionale: "Representing and inferring. A study of mental processes from the point of view of analytical philosophy and cognitive science" (coordinatore nazionale: C. Penco)


Back

Seminars

- "L'argomento (ontologico) di Anselmo in prospettiva filosofico-teologica e logica", (with Matteo Zoppi), (3, 2007).
- "Discussione su Jason Stanley, 'Semantics in Context' ", Seminario sui Contesti (6, 12, 2006), Genova
- "Frege, Husserl e la teoria delle grammatiche categoriali", Seminari dei Dottorandi in Filosofia (5, 2004).
- "Analisi logiche del verbo essere (Anselmo, Kant e Frege)", Seminari dei Dottorandi in Filosofia (7, 11-13, 2004).
- "Calcolabilità e decidibilità", in collaborazione con D. Palladino. Lezioni di Dottorato, (3, 2-4, 2004).
- "La prova ontologica di Anselmo", Seminario di Approfondimento per il corso di Logica (2004).
- "Cenni sui teoremi di Goedel", Seminari dei Dottorandi in Filosofia, (7, 16-17, 2003).

Back

Affiliations

  • S.I.F.A. - Società Italiana di Filosofia Analitica
  • E.S.A.P. - European Society for Analytic Philosophy
  • A.I.L.A. - Associazione Italiana Logica e Applicazioni
  • F.O.L.L.I. - Logic Language and Information

Back

Other

  • Partecipation to "Laboratorio di Logica Applicata e Informazione Filosofica" (LAIF) Department of Philosophy, University of Genoa.

Torna all'inizio

l