SILFS

Società Italiana di Logica e Filosofia delle Scienze

SILFS
  • About
    • Council 2020-2023
    • Membership Application
      • Subscription
    • History
    • Past Councils
      • Council 2017-2020
      • Council 2014-2017
      • Past Presidents
    • Statutes
    • Document Archive
    • Good Practices
    • Privacy Policy
    • Contact us
  • Activities
    • Conferences
      • SILFS 2020 – Home
      • SILFS POSTGRADUATE Conference 2019
        • POSTGRADUATE Conference 2019
        • Contribution for POSTGRADUATE Conference 2019
        • Venue and Accomodation
      • SILFS 2017 – Home
        • SILFS 2017 – Committees
        • SILFS 2017 – CFP
        • SILFS 2017 – Programme
        • SILFS 2017 – Dates
        • SILFS 2017 – Registration
        • SILFS 2017 – Accomodation
        • SILFS 2017 – Info
          • SILFS 2017 – Contact Info
          • SILFS 2017 – Congress Info
          • SILFS 2017 – Tourist Info
          • SILFS 2017 – Social Events
    • Publications
      • Special Issue Program
    • Corsi di Formazione
      • Corso online logica e argomentazione: iscrizione
      • Coding e pensiero computazionale: corso di formazione
      • Corso online pensiero scientifico: iscrizione
      • Pensiero Critico: concetti, metodo, progettazione didattica
    • Comunicati
    • News Archive
    • Contenuti Multimediali
  • Prizes
    • “GIULIO GIORELLO” Prize for the Philosophy of Science 2020
    • “ETTORE CASARI” Logic Prize 2020
    • ARCHIVE
      • SILFS Prize for Women in Logic and the Philosophy of Science 2020
      • SILFS Logic Prize 2018
      • SILFS Prize for the Philosophy of Science 2018
  • Network
    • Silfs Mailing List
    • Sponsored Events
    • Job Opportunities
  • youtube channel
  • facebook channel

CONGRESS OF LOGIC METHODOLOGY AND PHILOSOPHY OF SCIENCE HELSINKI 2015

  • 11 febbraio 2015
CONGRESS OF LOGIC METHODOLOGY AND PHILOSOPHY OF SCIENCE HELSINKI 2015

CONGRESS OF LOGIC METHODOLOGY AND PHILOSOPHY OF SCIENCE

HELSINKI  2015

AFFILIATED MEETING PROMOTED BY SILFS

PROOF THEORY OF MODAL AND NON-CLASSICAL LOGICS

 

Organizers:

Giovanna Corsi (Department of Philosophy and Communication, University of Bologna, giovanna.corsi@unibo.it , http://www.unibo.it/docenti/giovanna.corsi )

Sara Negri (Department of Philosophy, University of Helsinki, sara.negri@helsinki.fi, http://www.helsinki.fi/~negri/ )

 

Aims and description:

In recent years, alongside with the publication of pessimistic views on the possibility of developing satisfactory proof systems for modal logic, there has been an impressive burst of new ideas, methods, and results for the proof theory of modal and non-classical logics. All such endeavours converge to the creation of novel inferential methods that cover a wide variety of logics for which no analytic proof systems were previously known; they extend the methods of structural proof theory from pure logic to philosophical logics and axiomatic theories, and use a well developed semantic apparatus as a ground for the generation of proof systems.

The purpose of this affiliated meeting is to bring together experts who are contributing to this growing field, to present their recent work and share ideas with a more generous time frame for talks and discussion and a specialized audience.

The following specific topics will be covered by the talks to be presented at the meeting:

  • Gentzen’s systems and contraction-free sequent systems
  • The widening scope of inferentialism
  • Beyond Gentzen’s systems: labelled, hypersequent, and display calculi
  • Metatheorems: cut elimination, completeness, correspondence, interpolation, decidability
  • Applications: Euclid’s geometry, bi-connexive logic, counterfactuals, conditional logics, deontic logic, social choice theory
  • Comparisons between proof systems for modal and non-classical logics

Contributors and titles:

  • Arnon Avron (Tel-Aviv University. Israel): Using Assumptions in Gentzen-type Systems
  • Agata Ciabattoni & Paolo Baldi (Vienna University of technology, Austria): A Proof Theoretic Approach to Standard Completeness
  • Pierluigi Graziani (Università Chieti-Pesara, Italy): Proof Theory for Non-classical Euclid’s Geometrical Logic
  • Giuseppe Greco (Delft Technical University, The Netherlands; joint work with Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao): Unified Correspondence as a Proof-theoretic Tool
  • Rosalie Iemhoff (Utrecht University, The Netherlands): Uniform Interpolation and Proof Systems
  • Paolo Maffezioli (Università di Torino, Italy) & Alberto Naibo (IHPST, Université Paris 1, France): Proof theory for first-order logic of social choice
  • Sara Negri (University of Helsinki, Finland): Proof Theory for Neighborhood Semantics
  • Eugenio Orlandelli (Università di Bologna, Italy): Proof Theory of Non-Normal Modal Logics
  • Heinrich Wansing (Ruhr-University Bochum Germany): Natural Deduction for Bi-connexive Logic

Lascia un commento Annulla risposta

Il tuo indirizzo email non sarà pubblicato. I campi obbligatori sono contrassegnati *

Articoli recenti

  • Esito premio Ettore Casari per la logica 2020
  • Giulio Giorello Prize for the Philosophy of Science 2020
  • Call for the “ETTORE CASARI” LOGIC PRIZE – 2020 (Ita – Eng)
  • Bando Premio SILFS per le donne in Logica e Filosofia delle scienze 2020 (Ita – Eng)
  • Vincitori Borsa per Scuola Estiva di Logica – Gargnano 25-31 agosto

Categorie

  • Announcements
  • Communications
  • Home News
  • News
  • Senza categoria

Commenti recenti

    Meta

    • Accedi
    • RSS degli articoli
    • RSS dei commenti
    • WordPress.org

    SEDE della Società: Dipartimento di Filosofia e Comunicazione - Università di Bologna - via Zamboni 38 - 40126 Bologna - Italy | c.f. 97781730581

    Privacy policy | Cookie policy

    • About
      • Council 2020-2023
      • Membership Application
        • Subscription
      • History
      • Past Councils
        • Council 2017-2020
        • Council 2014-2017
        • Past Presidents
      • Statutes
      • Document Archive
      • Good Practices
      • Privacy Policy
      • Contact us
    • Activities
      • Conferences
        • SILFS 2020 – Home
        • SILFS POSTGRADUATE Conference 2019
        • SILFS 2017 – Home
      • Publications
        • Special Issue Program
      • Corsi di Formazione
        • Corso online logica e argomentazione: iscrizione
        • Coding e pensiero computazionale: corso di formazione
        • Corso online pensiero scientifico: iscrizione
        • Pensiero Critico: concetti, metodo, progettazione didattica
      • Comunicati
      • News Archive
      • Contenuti Multimediali
    • Prizes
      • “GIULIO GIORELLO” Prize for the Philosophy of Science 2020
      • “ETTORE CASARI” Logic Prize 2020
      • ARCHIVE
        • SILFS Prize for Women in Logic and the Philosophy of Science 2020
        • SILFS Logic Prize 2018
        • SILFS Prize for the Philosophy of Science 2018
    • Network
      • Silfs Mailing List
      • Sponsored Events
      • Job Opportunities
    • youtube channel
    • facebook channel
    Utilizziamo cookies anche di terze parti. Cliccando OK, scorrendo questa pagina o cliccando qualunque suo elemento acconsenti al loro impiego in conformità alla nostra Cookie Policy OkLeggi di più