Mantık Yaz Okulu 2016 Başvuru Sonuçları

88 adet öğrencinin başvurusu kabul edilmiştir. Başvurusu kabul edilen öğrencilerin listesine https://goo.gl/nUSTZd adresinden erişilebilir.

Kayıt için yapılması gerekenler http://fezagursey.boun.edu.tr/?sayfa=38 adresinde yayımlanacak olup, ayrıca e-posta ile ulaştırılacaktır.

Mantık Yaz Okulu 2016

Mantık Yaz Okulu‘nun üçüncüsü 25 Temmuz – 5 Ağustos 2016 tarihleri arasında Boğaziçi Üniversitesi Kandilli Kampüsü Feza Gürsey Binası‘nda yapılacaktır.

25-29 Temmuz 2016 (Temel Mantık Yaz Okulu)
01-05 Ağustos 2016 (İleri Düzey Mantık Yaz Okulu)

Genel Bilgi

Temel Mantık Yazokulu mantık kavram ve yöntemlerini anlayabilmek için gerekli küme, bağıntı, fonksiyon kavramlarının açıklandığı giriş derslerinin ardından temel sembolik önermeler mantığı ve niceleme mantığının öğretildiği derslerden oluşmaktadır.

İleri Düzey Mantık Yazokulu’nda ise, temel mantık bilgisi ile anlaşılabilecek özel mantık konuları (modal mantık, tümevarım, geriçıkarım, meta-mantık, argümantasyon), mantık tarihi ve mantık felsefesi konuları ele alınmaktadır. 




Amaç

Felsefe, Matematik veya Bilgisayar Mühendisliği gibi mantığa dayalı konuları içeren alanlardan gelen ve/veya mantığa ilgi duyan lisans ve yüksek lisans düzeyinde öğrencilere temel mantık bilgisi ve ileri düzey mantık konularını sunmak.

Düzenleyen Kurumlar

Mantık Uygulama ve Araştırma Derneği
İstanbul Üniversitesi Felsefe Bölümü Mantık Anabilim Dalı
İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi

Düzenleme Kurulu

Prof. Dr. Şafak Ural (Mantık Uygulama ve Araştırma Derneği)
Doç. Dr. İskender Taşdelen (Anadolu Üniversitesi)
Dr. Vedat Kamer (İstanbul Üniversitesi)

Ders Verecek Akademisyenler

Prof. Dr. Şafak Ural, Mantık Araştırma ve Uygulama Derneği
Doç. Dr. Ayhan Çitil, 29 Mayıs Üniversitesi
Doç. Dr. Nazlı İnönü, İstanbul Üniversitesi
Doç. Dr. Aytekin Özel, Uludağ Üniversitesi
Doç. Dr. İskender Taşdelen, Anadolu Üniversitesi
Doç. Dr. Yücel Yüksel, İstanbul Üniversitesi
Yard. Doç. Dr. Özgüç Güven, İstanbul Üniversitesi
Dr. Vedat Kamer, İstanbul Üniversitesi

Asistanlar

Arş. Gör. İbrahim Halil Çetres

Program

Konaklama

Konaklama alanı olarak misafirhane bölümü derslerin gerçekleşeceği Erdal İnönü Seminer Salonu ile aynı binada bulunmaktadır. 8 ve 12 kişilik, yatakhane sistemi ile hazırlanan odalarda her öğrenci için yastık, nevresim takımı sağlanmaktadır. Banyo Havlusu, Şampuan, Terlik, Fön Makinası vb. kişisel malzemeler bulunmamaktadır. 2 adet wc ve banyo alanı kadın ve erkek öğrencilerin kullanımına sunulmaktadır. Misafirhane bölümünde günlük temizlik hizmeti sağlanmaktadır. Su sebili, sıcak su, çamaşır ve kurutma makinesi ve ütü vardır.

Yemek hizmeti sabah kahvaltısı, öğle yemeği ve akşam yemeği olmak üzere günde üç kez ve Feza Gürsey Binası’nda gerçekleşecektir.

Konaklama ve yemek bedeli günlük 50 TL olup kesin kayıt öncesi daha sonra bildirilecek hesap numarasına gönderilmesi gerekmektedir.

Yaz okuluna konaklamasız katılma bedeli günlük 29 TL’dir.

Başvuru Formu

Başvuru için: https://goo.gl/nPhld9
Son Başvuru Tarihi: 15 Temmuz 2016
Başvuru sonuçları 18 Temmuz 2016 tarihinde web sitesi ve e-posta üzerinden açıklanacaktır.

Başvuru Sonuçları

88 adet öğrencinin başvurusu kabul edilmiştir. Başvurusu kabul edilen öğrencilerin listesine https://goo.gl/nUSTZd adresinden erişilebilir.

İletişim

Web: http://fezagursey.boun.edu.tr/?sayfa=38
E-posta: yazokulu@mantik.org.tr

VI. Mantık Çalıştayı’na Katılım Çağrısı

VI. Mantık Çalıştayı, 26-28 Mayıs 2016 tarihlerinde Artvin Çoruh Üniversitesi‘nde yapılacaktır.

Bu çalıştaya bildiriyle veya dinleyici olarak katılmak isteyenlerin aşağıdaki linkte yer alan formu doldurmaları gerekmektedir:

VI. Mantık Çalıştayı Katılım Formu: https://goo.gl/ffTmk5

Çalıştay Konuları şunlardır:

  • Mantık tarihi
  • Geleneksel mantık
  • Günümüz mantığı
  • İnformel mantık
  • Solipsist mantık
  • Puslu mantık
  • Dil ve mantık
  • Bilim ve mantık
  • Mantık ve matematik felsefesi

Bildiriyle katılmak isteyenler, 1 Nisan 2016 tarihine kadar bildiri başlığını ve 300-400 karakterlik bir özet yollamaları gerekmektedir.

Not: Bildiri sunanlara Artvin Çoruh Üniversitesi Rektörlüğü ücretsiz kalacak yer temin edecektir. Bu olanak Dinleyici olarak katılacaklar için de temin edilmeye çalışılacaktır.

II. Urla Felsefe Günleri: İnsan ve Felsefe (30-31 Ekim 2015)

II. Urla Felsefe Günleri, “İnsan ve Felsefe” başlığı ile 30 Ekim 2015 tarihinde Urla / İzmir‘de başlıyor. Sizleri de aramızda görmek dileğiyle.

Etkinlik Programı: https://felsefegunleri.mantik.org.tr

Düzenleme Komitesi:
Prof. Dr. Şafak Ural
Prof. Dr. Adnan Ömerustaoğlu

Mantık Yaz Okulu 2015’e Başvurusu Kabul Edilen Öğrenciler

Adnan Erkurt (İstanbul Üniversitesi)
Ali Ekber Kaya (YTÜ)
Alican Erdem (İstanbul 29 Mayıs Üniversitesi)
Aliye Güler (Marmara Üniversitesi)
Arzu Çete (Boğaziçi Üniversitesi)
Aykut Karahan (Beykent Üniversitesi)
Begüm Savaş (ODTÜ)
Belde Köseoğlu (Maltepe Üniversitesi)
Birsen Dağdelen (Beykent Üniversitesi)
Burcu Ayhan (Muğla Sıtkı Koçman Üniversitesi)
Burcu Malak (İstanbul Üniversitesi)
Çağlan Çınar Dilek (Boğaziçi Üniversitesi)
Çağlar Gökırmaklı (Gaziantep Üniversitesi)
Dilek Erdaş (Kocaeli Üniversitesi)
Elif Urhan (Sakarya Üniversitesi)
Esra Su (Ankara Üniversitesi)
Esra Urhan (Marmara Üniversitesi)
Gizem Özdem (İstanbul Üniversitesi)
Haluk Doğan (İzmir Kâtip Çelebi Üniversitesi)
Hümeyra Uçak (Ankara Üniversitesi)
İbrahim Günaydın (MSGSÜ)
İbrahim Murat Kara (Boğaziçi Üniversitesi)
İdil Ateş (MSGSÜ)
Kenan Ayhan (ODTÜ)
Kübra Karadağ (Marmara Üniversitesi)
Kübra Özkan (Boğaziçi Üniversitesi)
Lütfi Usluer (İTÜ)
M. Burak Atasever (ODTÜ)
Mehmet Taylan Cüyaz (ODTÜ)
Meryeme Kurt (Uludağ Üniversitesi)
Murat Ertaş (ODTÜ)
Neslihan Kuran (Ankara Üniversitesi)
Nuh Kapan (Uludağ Üniversitesi)
Oğuzhan Ferman (Boğaziçi Üniversitesi)
Sami Sümer (İstanbul 29 Mayıs Üniversitesi)
Seray Işık (İstanbul Üniversitesi)
Serpil Karabüklü (Boğaziçi Üniversitesi)
Seyit Hakan Elbaşı (TOBB ETÜ)
Sinan Dilaver (İstanbul Üniversitesi)
Sümeyra Balcı Yegen (Çukurova Üniversitesi)
Şeyda Demirok (Boğaziçi Üniversitesi)
Şeyma Aksu (Boğaziçi Üniversitesi)
Tolga Önen (Bozok Üniversitesi)
Tuba Özyurt (İstanbul 29 Mayıs Üniversitesi)
Tuğba Yavız (İstanbul Üniversitesi)
Tuğçe Mutlu (İstanbul Üniversitesi)
Tuğçe Neşeli (İstanbul Üniversitesi)
Yiğitalp İçelli (ODTÜ)
Zana Okçuoğlu (İstanbul 29 Mayıs Üniversitesi)
Zeynep Düzen (İstanbul 29 Mayıs Üniversitesi)

Mantık Yaz Okulu 2015

fge1

Mantık Yaz Okulu‘nun ikincisi 17-21 Ağustos 2015 tarihleri arasında Boğaziçi Üniversitesi Kandilli Kampüsü Feza Gürsey Binası‘nda yapılacaktır.

Mantık Yaz Okulu’nda Çağdaş Biçimsel Mantık Sistemleri ve Mantık Felsefesi dersleri verilecektir.

Mantık Yaz Okulu’na katılabilmek için Temel Sembolik Mantık bilgisi aranmaktadır. Mantık konusunda en az bir ders almış olan son sınıf lisans öğrencileri ve lisans mezunları katılabilir.

Mantık Yaz Okulu ücretsiz olup, katılım formuna aşağıdaki adresten erişilebilir:

Katılım Formu: https://goo.gl/KZSlVv

Başvurular sadece çevrimiçi “Katılım Formu” üzerinden yapılabilmektedir.

Mantık Yaz Okulu için Feza Gürsey Binası’nda konaklama hizmeti verilmekte olup, günlüğü 40 TL, 5 günlüğü 200 TL‘dir. Konaklama hakkında aşağıdaki adresten bilgi alınabilir:

http://fezagurseyyazokullari.boun.edu.tr/?q=Mantik#field-alanlar-tab-2

Düzenleme Kurulu:

Prof. Dr. Şafak Ural (İstanbul Üniversitesi)

Ders Veren Öğretim Üyeleri

Prof. Dr. Şafak Ural (Mantık Uygulama ve Araştırma Derneği)
Doç. Dr. İskender Taşdelen (Anadolu Üniversitesi)
Doç. Dr. Ayhan Çitil (29 Mayıs Üniversitesi)
Yard. Doç. Dr. Özgüç Güven (İstanbul Üniversitesi)

Feza Gürsey Yaz ve Kış Bilim Okulları: Mantık Yaz Okulu 2015
Web: http://fezagurseyyazokullari.boun.edu.tr/?q=Mantik
E-posta: yazokulu@mantik.org.tr

Google’ın Filozofu Prof. Dr. Luciano Floridi UNILOG 2015 kapsamında Türkiye’ye geliyor

MTI3NTgyNTY0MDIxMTU5OTQ2

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

Oxford Internet Institute öğretim üyesi ve Google Danışma Konseyi üyesi Prof. Dr. Luciano Floridi; UNILOG 2015: 5. Evrensel Mantık Dünya Kongresi, Workshop on Logic and Information kapsamında, 30 Haziran 2015 tarihinde, saat 09:30‘da, “In search for a conceptual logic of information” başlıklı bir konuşma yapacaktır.

UNILOG 2015: 5. Evrensel Mantık Okulu (20-24 Haziran 2015):
http://www.uni-log.org/start5s.html

UNILOG 2015: 5. Evrensel Mantık Dünya Kongresi (25-30 Haziran 2015):
http://www.uni-log.org/start5cong.html

Davetli Konuşmacıların Listesi

  • Melving Fitting (Dpt of Mathematics and Computer Sciences, City University of New York, USA): “Cut-free proofs for more and more logics”
  • Graham Priest (City University of New York, USA): Workshop Philosophy of Non-Classical Logics
  • JC Beall (Department of Philosophy, University of Connecticut, USA and University of Tasmania, Australia): “There is no logical negation”
  • Storrs McCall (McGill, Canada): “Connexive logic based on an incompatibility operator”
  • Luciano Floridi (Oxford Internet Institute, Oxford, UK): “In search for a conceptual logic of information”
  • Ernest Lepore (Rutgers Center for Cognitive Science, Rutgers University, USA): “Discourse and logical form”
  • Olivia Caramello (Dpt of Mathematics, University of Paris 7, France): “The theory of topos-theoretic ‘bridges’, five years later”
  • Juliana Bueno Soler (State University of Campinas – UNICAMP, Brazil): “Paraconsistent probability theory: betting rationally under contradiction”
  • Elena Dragalina-Chernaya (University Higher School of Economics, Moscow, Russia)
  • Ahti-Veikko Pietarinen (University of Helsinki, Finland and Tallinn University of Technology, Estonia): “The idea of scope in logical diagrams”
  • Irina Starikova (University of São Paulo, Brazil): “Creativity and visualisations in mathematics”
  • Ekaterina Kubyshkina (University Panthéon Sorbonne, Paris 1, France): “Truth-functional alternative to epistemic logic and it’s application to Fitch’s paradox”
  • Julie Brumberg-Chaumont (CNRS, Paris, France and European University Institute, Florence, Italy): “From syllogisms to syllogistic consequences: a turning point in the history
  • João Marcos (Department of Informatics and Applied Mathematics, UFRN, Natal, Brazil): “Consequiland: on logics with many dimensions”
  • Roman Murawski (Adam Mickiewicz University, Poznan, Poland): “On the way to modern logic — the case of Polish logic” of logic”
  • Una Stojnic (Dept of Philosophy, Rutgers University, USA): “One’s Modus Ponens: classical logic and semantics for modality”
  • Samet Büyükada (Department of Philosophy, Istanbul Medeniyet University): “Hypothetical syllogism in Avicenna”
  • Christian Strasser joint work with Jesse Heyninck (Ruhr-University, Bochum, Germany): “Argumentation semantics for adaptive logics”
  • Rodrigo Freire (University of Brasilia, Brazil): “First-order logic and first-order function”
  • Gordana Dodig-Crnkovic (Mälardalen University, Sweden): “A dual representation theory of quantum Systems and its ontological consequences”
  • Ahmet Çevik (Middle East Technical University, Ankara, Turkey): “Is the Church-Turing thesis the new Pythagoreanism?”
  • Gianfranco Basti (Pontifical Lateran University, Vatican City): “A dual representation theory of quantum Systems and its ontological consequences”
  • Eros Corraza (LCLI, The University of the Basque Country, Carleton University, Ottawa ON, Canada): “Identity Statements, Doxastic Co-Indexation, and Frege’s Puzzle”
  • Jaan Valsiner (Clark University, USA): “James Mark Baldwin’s developmental logic: a century later”
  • Vinod Goel (York University, Toronto, Canada): “Is there a logical reasoning module in the brain?”
  • Tony Veale (UCD School of Computer Science and Informatics, Dublin, Ireland)
  • Maarten McKubre-Jordens (University of Canterbury, Christchurch, New Zealand): “Invitation to non-classical mathematics”

Düzenleyen Kurumlar