konferencja

23 Krakowska Konferencja Metodologiczna

23 Krakowska Konferencja Metodologiczna

Zapraszamy na 23 Krakowską Konferencję Metodologiczną.

Krakowskie Konferencje Metodyczne mają długą tradycję, sięgającą wczesnych lat 90. Ich celem jest zaangażowanie badaczy w interdyscyplinarną dyskusję dotyczącą podstawowych problemów w nauce i filozofii. Dwudziesta trzecia edycja poświęcona będzie roli logiki w naukach przyrodniczych, rozpatrywanej z perspektywy teorii kategorii.

Program

Thursday 7 November

  • 9.00-9.45 Registration Coffee
  • 9.45 Opening Address: Michał Heller
    Charmain: Jean-Pierre Marquis
  • 10.00-11.00 Colin McLarty — Mathematics as Love of Wisdom
  • 11.00-12.00 Zbigniew Semadeni — Creating New Concepts in Mathematics: Freedom and Limitations
  • 12.00-13.30 Lunch
    Charmain: Steve Awodey
  • 13.30-14.30 Jean-Pierre Marquis — Bourbaki, Categories and Structuralism
  • 14.30-15.30 Zbigniew Król — Ontology and Logic
  • 15.30-16.00 Coffee break
    Charmain: Wiesław Kubiś
  • 16.00-17.00 Ryszard Kostecki — Two Layers of Inference

Friday 8 November

  • 9.00-10.00 Morning Coffee
    Charmain: Shahn Majid
  • 10.00-11.00 Bob Coecke — Physics from Compositional Logic
  • 11.00-12.00 Marek Kuś — No-Signaling in Categorical Formulation
  • 12.00-13.30 Lunch
    Charmain: Zbigniew Król
  • 13.30-14.30 Michał Heller — The Robot Mind and Categorical Logic
  • 14.30-15.00 Mariusz Stopa — Is There Any Place for Paraconsistent Logic in (Co-)Toposes?
  • 15.00-15.30 Bartłomiej Skowron — Was Saunders Mac Lane a Platonic?
  • 15.30-16.00 Coffee Break
    Charmain: Bob Coecke
  • 16.00-16.30 Marek Woszczek — Quantum Contextuality as a Topological Property, and the Ontology of Potentiality
  • 16.30-17.00 Radosław Kycia — Yes. Information Is Physical – Landauer’s Principle as a Special Case of Galois Connection.
  • 17.00-17.45 Michał Eckstein — The Experiment Paradox

Saturday 9 November

Charmain: Marek Kuś

  • 9.00-10.00 Shahn Majid — Riemannian Geometry on Boolean Algebras
  • 10.00-11.00 Jerzy Król, Torsten Asselmeyer-Maluga — Differentiability, Logic and Physics
  • 11.00-11.30 Coffee Break
    Chairman: Colin McLarty
  • 11.30-12.30 Wiesław Kubiś — Generic Mathematical Structures
  • 12.30-13.30 Steve Awodey — Intensionality, Invariance, and Univalence
  • 13.30 Lunch
Print Friendly, PDF & Email
Zapraszam na

Dodaj komentarz

Twój adres email nie zostanie opublikowany. Pola, których wypełnienie jest wymagane, są oznaczone symbolem *

Witryna wykorzystuje Akismet, aby ograniczyć spam. Dowiedz się więcej jak przetwarzane są dane komentarzy.