[Turkmath:574] Fwd: UNILOG 2015: V. Evrensel Mantık Dünya Okulu ve Kongresi 20 Haziran'da Başlıyor

Fri Jun 19 13:48:22 UTC 2015

---------- Yönlendirilen ileti ----------
Gönderen: "UNILOG 2015" <unilog2015 at mantik.org.tr>
Tarih: 19 Haz 2015 15:23
Konu: UNILOG 2015: V. Evrensel Mantık Dünya Okulu ve Kongresi 20
Haziran'da Başlıyor
Alıcı: <ayseberkman at gmail.com>

UNILOG 2015: 5. Evrensel Mantık Dünya Kongresi ve Okulu, 20 Haziran 2015
tarihinde, saat 14:00'da İstanbul Üniversitesi Edebiyat Fakültesi'nde
başlıyor.

UNILOG 2015: 5. Evrensel Mantık Okulu açılışı 20 Haziran 2015 tarihinde,
saat 14:00'da, Edebiyat Fakültesi Kurul Odası'nda yapılacaktır.

UNILOG 2015: 5. Evrensel Mantık Dünya Kongresi açılışı 25 Haziran 2015
tarihinde, saat 13:30'da, Edebiyat Fakültesi Kurul Odası'nda yapılacaktır.

5th Universal Logic School Schedule (20-24 June)
http://uni-log.org/im-tutorials2015/Schedule-Tut.jpg
http://uni-log.org/im-tutorials2015/ACRONYMS-tut.jpg

Opening (20 June 2015 / 14:00: Why Study Logic?)
http://uni-log.org/t5-open.html

School Tutors: http://uni-log.org/tut5-TUT.html

Tutorials

Jain Logic (Marie-Hélène Gorisse): http://uni-log.org/t5-jain.html
Aristotle (John Corcoran): http://uni-log.org/t5-aristotle.html
Stoic Logic (Katerina Ierodiakonou): http://uni-log.org/t5-stoic-logic.html
Apuleius and Boethius's Logic (Manuel Correia):
http://uni-log.org/t5-apuleius-boethius.html
Leibniz's Logic (Wolfgang Lenzen): http://uni-log.org/t5-leibniz.html
Kant's Logic (Srecko Kovac): http://uni-log.org/t5-kant.html
Hegel's Logic (Elena Ficara): http://uni-log.org/t5-hegel.html
Boole's Logic (Dale Jacquette): http://uni-log.org/t5-boole.html
Lewis Carroll's Symbolic Logic (Amirouche Moktefi):
http://uni-log.org/t5-lewiscarroll.html
Husserl's Logic (Manuel Gustavo Isaac): http://uni-log.org/t5-husserl.html
Logic and Music (Ingolf Max): http://uni-log.org/t5-music.html
Logic and Politics (Franca D'Agostini): http://uni-log.org/t5-politics.html
Logic and Categories (Eduardo Ochs): http://uni-log.org/t5-cat.html
Logic and Nonsense (Thomas Ferguson): http://uni-log.org/t5-nonsense.html
Logic and Information (Patrick Allo):
http://www.socphilinfo.org/news/events/473-tutorial-logic-and-information-unilog15
Logic and the Theory of Relativity (Gergely Székely):
http://uni-log.org/t5-relativity-theory.html
Logic and Existence (Luis Estrada and Giovanni Mion):
http://uni-log.org/t5-existence.html
Logic and Fiction (John Woods): http://uni-log.org/t5-fiction.html
Logic and Grammar (Ernie Lepore): http://uni-log.org/t5-logicandgrammar.html
Logic and Quantum Theory (Bob Coecke): http://uni-log.org/t5-quantum.html
Logic and Language (Patrick Blackburn):
http://uni-log.org/t5-logicandlanguage.html
Logic and Colour (Dany Jaspers): http://uni-log.org/t5-colour.html
Gödel's Incompleteness Theorems (Bernd Buldt):
http://uni-log.org/t5-godel.html
Compactness Theorem (David Pierce): http://uni-log.org/t5-compactness.html
Lindström's Theorem (Peter Arndt): http://uni-log.org/t5-lindstrom.html
Löwenheim-Skolem Theorem (Nate Ackerman): http://uni-log.org/t5-lo-sko.html
Completeness Theorem (Maria Manzano):
http://uni-log.org/t5-completeness.html
Dugundji's Theorem (Marcelo Coniglio - Newton Peron):
http://uni-log.org/t5-dugundji.html
Cut-Elimination Theorem (Andrzej Indrzejczak):
http://uni-log.org/t5-cut.html
Lindenbaum Maximalization Theorem (René Gazzari):
http://uni-log.org/t5-lindenbaum.html

5th World Congress on Universal Logic Schedule (25-30 June)
http://uni-log.org/unilog2015-pr0.pdf

Invited Speakers: http://uni-log.org/invited5.html
Contributing Speakers: http://uni-log.org/cont5.html

Sessions

Session Universal: http://uni-log.org/ss5-UNI.html
Session Cognition: http://uni-log.org/ss5-COG.html
Session Modal: http://uni-log.org/ss5-MOD.html
Session Paraconsistency: http://uni-log.org/ss5-PAR.html
Session Argumentation: http://uni-log.org/ss5-ARG.html
Session Language: http://uni-log.org/ss5-LAN.html
Session Paradox: http://uni-log.org/ss5-PAX.html
Session Tools and Results: http://uni-log.org/ss5-TOR.html
Session Philosophy: http://uni-log.org/ss5-PHI.html
Session Computation: http://uni-log.org/t5-open.html
Session Completeness: http://uni-log.org/ss5-CPT.html
Session History: http://uni-log.org/ss5-HIS.html
Session Algebra and Category: http://uni-log.org/ss5-ALG.html

Workshops

The Idea of Logic - Historical Perspectives: http://uni-log.org/wk5-IOL.html
Philosophy of non-classical logics: Towards problems of paraconsistency &
paracompleteness: http://uni-log.org/wk5-PNC.html
Representation and Reality: Humans, Animals and Machines:
http://uni-log.org/wk5-RER.html
Computational Creativity, Concept Invention, and General Intelligence:
http://cogsci.uni-osnabrueck.de/~c3gi/
Non-Classical Abstract Logics: http://uni-log.org/wk5-NCAL.html
Emergent Computational Logics: http://uni-log.org/wk5-ECL.html

Düzenleyen Kurumlar

▪
▪ Mantık Uygulama ve Araştırma Derneği
▪
▪ İstanbul Üniversitesi Edebiyat Fakültesi Felsefe Bölümü
▪
▪ İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi

©2015 UNILOG 2015 | V. Evrensel Mantık Dünya Kongresi ve Okulu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20150619/00065f95/attachment.html>