Dr. Luca Tranchini

Email: luca.tranchini[at]gmail.com

Office hours: On appointment

 

Address:

Dr. Luca Tranchini

Universität Tübingen
Wilhelm-Schickard-Institut
Sand 13
D-72076 Tübingen

Room: B110 (Ground floor)
Tel.: +49-7071-29-70548
Fax: +49-7071-29-5060

Personal homepage: https://sites.google.com/site/lucatranchini/

 


Teaching:

 

Past terms

 

• WS 16/17 Proseminar  ``Einführung in die Logik''

 

• SS16 Hauptseminar: ``Principia Mathematica''

 

• WS15/16 Proseminar: ``Russell: Probleme der Philosophie''

Materialien (passwortgeschützt)

 

• SS15 Hauptseminar: ``Carnap: Meaning and Necessity''

Materialien (passwortgeschützt)

 

• WS14/15 - Proseminar: ``Gottlob Frege: Grundlagen der Arithmetik''

 

• SS14 - Proseminar: ``Michael Dummett: Selected Readings on Logic and Philosophy of Language''

 

• WS13/14 - Hauptseminar: ``Paradoxes''

 

• WS12/13 - Hauptseminar: ``Wahrheit, Beweis, Folgerung''

 

For a comprehensive list of teaching activities see here.

 


Papers in International Journals:

 

• “Proof analysis of global consequence" (with Pablo Cobreros)
   to appear in Logique et Analyse (final draft PDF)
   [Special Issue How to say ``Yes'' or ``No'': Logical Approaches to Modes of Assertion and Denial,
   guest edited by Filip Buekens, Massimiliano Carrara, Daniele Chiffi and Ciro de Florio]

• “Proof-theoretic harmony: Towards an intensional account"
   to appear in Synthese. DOI: 10.1007%2Fs11229-016-1200-3
   [Special Issue Intensionality in Mathematics,
   guest edited by Marianna Antonutti Marfori and Paola Quinon]

• “Ekman's paradox" (with Peter Schroeder-Heister*)
   to appear in Notre Dame Journal of Formal Logic (final draft PDF)

• “Proof-theoretic semantics, paradoxes and the distinction between sense and denotation"
   Journal of Logic and Computation, 26(2), pp. 495-512, 2016. DOI:10.1093/logcom/exu028
   [Special Issue Computational Logic — in Honour of Roy Dyckhoff,
   guest edited by Didier Galmiche and Stéphane Graham-Lengrand]
 
• “Harmonising harmony"
   The Review of Symbolic Logic 8(3), pp. 411-423, 2015. DOI: 10.1017/S1755020315000179

• “Supervaluationism: Truth, Value and Degree Functionality" (with Pablo Cobreros*)
   Thought 3(2), pp. 132-144, 2014. DOI:10.1002/tht3.121

• “Natural deduction for dual-intuitionistic logic"
   Studia Logica 100(3), pp. 631-648, 2012. DOI:10.1007/s11225-012-9417-8

• “Truth from a proof-theoretic perspective"
   Topoi 31(1) 47-57, 2012. DOI:10.1007/s11245-012-9121-3
   [Special Issue Anti-realistic notions of truth,
   guest edited by me]

 

{* When a co-author name is starred, the co-author is the first author of the paper}

 

For a comprehensive list of publications see here.