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

Adnan Erkurt (İstanbul Üniversitesi)
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

V. Mantık Çalıştayı

V. Mantık Çalıştayı, 15-16 Mayıs 2015 tarihleri arasında, Mantık Uygulama ve Araştırma Derneği, Uludağ Üniversitesi Felsefe Bölümü, İstanbul Üniversitesi Felsefe Bölümü ile İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi tarafından, Bursa Ördekli Kültür Merkezi‘nde düzenleniyor.

15 Mayıs 2015 Cuma Salon A Salon B
09:30 – 10:00 Açılış Konuşmaları
Prof. Dr. Şafak Ural
Prof. Dr. Kadir Çüçen
 
10:00 – 12:00 Solipsist Matematik
Prof. Dr. Şafak Ural

Klasik Bir Mantık Metninin “İçindekiler” Kısmı Nasıl Oluşturulur?
Yrd. Doç. Dr. Mehmet Özturan

Endülüs’te Mantık
Prof. Dr. Ahmet Kayacı

Meşrutiyet Dönemi Osmanlıda Bir Mantık Sorunu Olarak İlimlerin Tasnifi
Doç. Dr. İrfan Görkaş

İbn Sina’da Şartlı Kıyaslar
Arş. Gör. Samet Büyükada

14:00 – 16:00 İndirgeyici Çizelgenin İkilisi Üzerine Bir Yorum
Prof. Dr. Kadir Çüçen

Klasik-Dışı Mantıklarda Türetim Kuralları
Prof. Dr. Çiğdem Gencer & İlayda Ateş

Church-Turing Hipotezi’ndeki İfadesel Tamlık ve Hipotezin Alternatifleri
Dr. Ahmet Çevik

Aristoteles’in Ecthesis (Ektez) Yöntemi
Doç. Dr. Aytekin Özel

Yükleme Mantığı ve Olay-Temelli Anlambilim Yaklaşımları
Arş. Gör. Murat Özgen & Özgün Koşaner

Aristoteles’in Siyah/Beyaz Dünyası
Caner Çiçekdağı

16:30 – 18:00 Graham Priest, Gerçek Çelişkiler ve Ahlak Felsefesi
Doç. Dr. A. Ayhan Çitil

Sonsuz Gerileme Uslamlamaları Üzerine
Doç. Dr. İskender Taşdelen

Wittgenstein’da Dil, Dünya ve Mantık
Prof. Dr. Veli Urhan

Edgar Allan Poe, Arthur Conan Doyle ve Agatha Christie’nin Bazı Polisiye Hikâye ve Romanlardaki Akılyürütmeler Üzerine
Yrd. Doç. Dr. Fikret Osman

16 Mayıs 2015 Cumartesi Salon A Salon B
10:00 – 12:00 Mantık Felsefesinde Semantik Tartışmalar
Prof. Dr. Zekiye Kutlusoy

Apaçık Olmak Ne Demek?
Yrd. Doç. Dr. Özgüç Güven

Tutarlılık-üstü (Paraconsistent) Mantık Nedir?
Arş. Gör. Dr. Vedat Kamer

Dildeki Çokanlamlılık ve Belirsizlik Hep Yanıltıcı mıdır?
Prof. Dr. İbrahim Emiroğlu

Ortaçağ Azerbeycan Filozoflarının Mantıkla İlgili Eserleri
Doç. Dr. Faiq Elekberov

Frege’nin Begriffsschrift’i: Mantıksal ve Felsefi Konular
Öğr. Gör. Mustafa Yıldırım

14:00 – 16:00 Mantık Dersleri Açısından “Dildeki Belirsizlik” Konusunun Öğretimi: Dereceli Soru Örnekleri
Yrd. Doç. Dr. Ekrem Ziya Duman

Erken Yaşta Çocuklarda Bilimsel Süreç Becerilerinin El Çırpma Oyunlarıyla Öğretiminin Mantığı Geliştirmeye Etkisi
Seval Orak

Öğretmen Adaylarının Özdeşlik, Doğru, Gerçeklik ve Çelişki Kavramlarına İlişkin Kavram Yanılgıları
Dilek Başerer

Hegel Mantığında Olumsuzlamanın Aşılması
Yrd. Doç. Dr. Ufuk Bircan & Yrd. Doç. Dr. Banu Alan Sümer

Tarih, Tarihçi ve Yeni Dünya Düzeni: Saçaklılık Perspektifinde Bir Yol Arama
Yrd. Doç. Dr. Leyla Aksu Kılıç

Atasözleri Halk Mantığının Aynasıdır
Dr. Aytan Mammadova

16:30 – 18:00 Değerlendirme ve Kapanış  

Çalıştay Programı: PDF

Düzenleyen Kurumlar:
Mantık Uygulama ve Araştırma Derneği
Uludağ Üniversitesi Felsefe Bölümü
İstanbul Üniversitesi Felsefe Bölümü
İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi

Destekleyen Kurumlar:
Bursa Büyükşehir Belediyesi
BUSKİ
Sentez Yayıncılık
Türk Felsefe Derneği
Uludağ Felsefe Derneği

Logo Yarışması

Derneğin logosu için bir tasarım yarışması düzenlemiş bulunuyoruz. Kazanan logoyu çizene dernek kurucu üyelerinin imzalı kitapları hediye edilecektir.

Logo tasarımlarınızı dernek@mantik.org.tr adresine gönderebilirsiniz. Yarışma 28 Şubat 2015 tarihinde sona erecektir.

Saygılarımla,
Prof. Dr. Şafak URAL
Mantık Uygulama ve Araştırma Derneği Kurucu Başkanı