Yapay Zekâ ve Formel Ontoloji Atölyesi (26-27 Ekim 2019)

Tanıtım

Bilgiye dair tüm pratikler (üretim, aktarım, paylaşım, erişim, kullanım, doğrulama, kuram geliştirme vb.) son iki yüz yıldır radikal bir biçimde değişmiştir. Bu değişim, iletişim teknolojilerinin gelişmesiyle yepyeni bir evreye girmiştir. Bu yeni evrede, tüm insanların bilgi pratikleri ile olan ilişkilerini yeniden düşünmek zorundayız. Ayrıca, tüm karar alma mekanizmaları da veri merkezli bir yaklaşıma doğru evrilmektedir. Bu aşamada veri ve bilginin işlenmesine dair geliştirilen modeller yapay zekâ içerisinde gittikçe önem kazanmaktadır. Bu modeller içerisinde veri ve bilginin standartlaştırılması, taksonomilerin kurulması, sınıflandırmaların oluşturulması, ilişkilendirmelerin yapılması vb. gerekmektedir. Formel ve uygulamalı ontolojiler bu gereksinimlerin karşılanmasına dair kavramsal, yöntemsel ve uygulamalı pratikleri içermektedir.

Amaç

Formel ve uygulamalı ontolojilerin yapay zekâ içerisinde kullanımına dair temel ilkelerin öğretilmesi ve bu ilkeler doğrultusunda basit uygulamaların yapılabilmesidir.

Kapsam

Atölyenin birinci günü alan ile ilgili temel kavramlar, yöntemler ve örnekler tanıtılacaktır. Atölyenin ikinci günü ise uygulamalı ontoloji içerisinde kullanılan bazı teknikler ve programlar belli vaka çalışmaları çerçevesinde öğretilecektir.

Düzenleyen Kurumlar

Ders Verecek Akademisyenler

Program

26 Ekim 2019 Cumartesi

10:00 Yapay Zekâ ve Ontolojiler
11:30 Ontoloji Kurmanın İlkeleri
14:00 Alan ve Üst-Düzey Ontolojiler
15:30 Veri ve Ontolojiler
17:00 Gün sonu değerlendirmesi

27 Ekim 2019 Pazar

10:00 Web Ontoloji Dili (OWL)
11:30 Semantik Ağ ve OWL
14:00 Ontoloji Uygulamaları: Ontoloji oluşturmanın ilkelerinin uygulanması
15:30 Ontoloji Uygulamaları: Protégé kullanımı
17:00 Gün sonu değerlendirmesi

Atölye İktisat Fakültesi Ek Bina 2‘de yer alan CE Sınıfı gerçekleştirilecektir.

Kayıt

Öğrenci için Atölye Katılım Bedeli: 100 TL
Öğrenci-olmayan için Atölye Katılım Bedeli: 200 TL
Kayıt Formu: https://forms.gle/21vEEGwqtfjD6AUB7

Katılım bedelinin Mantık Derneği‘nin banka hesabına yatırılması gerekmektedir:
TEB Kızıltoprak/İstanbul Şubesi (Şube Kodu: 489)
IBAN: TR03 0003 2000 0000 0053 0351 02 (Hesap No: 53035102)

Katılımcılara Berimsel Ontoloji Laboratuvarı sertifikası verilecektir.

Bu atölyenin bütün geliri Mantık Derneği’nin faaliyetleri için bağışlanmaktadır. Mantık Derneği’ne olan destekleri için Doç. Dr. Aziz F. Zambak ve Dilek Yargan‘a teşekkür ederiz.

İletişim

E-posta: [email protected]

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

Temel Mantık Yaz Okulu’na Kabul Edilen Öğrenciler (58 Öğrenci)

ADEM EVMEŞ
AHMED SEMİH ÖZMEKİK
AHMET FARUK YOLCU
AHMET FATİH KAYA
AHMET SİDAR KÖSE
AKIN DENİZ SORUCU
ASLIHAN YILMAZ
BURAK CİN
BÜŞRA KENAN
CANER KUTAMIŞ
CEREN HİLAL GÜNAYDIN
EBRU GÜRHAN CENİGZ
ELÇİN ESİN
ELİF KIZIL
ELİF TAŞCI
EMRE NERGİS
ESRA UZUN
FATMA NUR DEMİR
FEYZA YİĞİT
FEYZANUR YAYA
FURKAN YILMAZ
GÖKÇE NUR BAYIR
GÖKHAN CENGİZ
GÜLTEKİN ÇİFTÇİ
HELEN MÜNEVVER ARİ
HİLAL BEBEK
HULUSİ YİĞİT CÜCELİ
İBRAHİM HALİL KAYACAN
İPEK ÜNTUNA
KÜRŞAD İSA ALPTEKİN
MEHMET EKİN ŞAFAK
MELEK YAMANER
MELİKE TANK
MERVE ERGÜT
MERVE TAVLAN
MUHAMMET MEDENİ ŞAHİN
MUSTAFA YAYLALI
MUZAFFER AYSUN ARICA
NUR İPEK DENİZ
NURAY YAYLA
NURGÜL KOCATÜRK
ÖMER FARUK EBİBLİ
RABİA GÜNEY
RABİA NUR MEŞE
RABİA SEYHAN
RUMEYSA TUZANE
SALİH ÖZKAYA
SEMİH BAYLER
SENA NUR KURUM
SERCAN PALAVAN
SİBEL ÇATALKAYA
SİMGE KURTCU
ŞEYMA DUMAN
UBEYDULLAH ESER
YASEMİN GÖKÇE
YUSUF BEDİR
YUSUF ÖZAL KARAKAŞ
ZEYNEP ŞEKER

İleri Düzey Mantık Yaz Okulu’na Kabul Edilen Öğrenciler (45 Öğrenci)

ADEM SARICA
AHMED SEMİH ÖZMEKİK
AHMET FARUK YOLCU
AHMET FATİH KAYA
AHMET SİDAR KÖSE
AKIN DENİZ SORUCU
ASLIHAN YILMAZ
BUSE GÜRELİ
BÜŞRA KENAN
CANER KUTAMIŞ
CANSIN İREM MERİÇ
EBRU GÜRHAN CENİGZ
ELÇİN ESİN
ELİF KIZIL
EMRE NERGİS
ESRA UZUN
FEYZA YİĞİT
GAME DAMGACI
GÖKHAN CENGİZ
HİLAL BEBEK
İBRAHİM HALİL KAYACAN
İPEK ÜNTUNA
KÜRŞAD İSA ALPTEKİN
MEHMET DALLI
MEHMET ŞAH MALTAŞ
MELEK YAMANER
MUHAMMET MEDENİ ŞAHİN
MUSTAFA YAYLALI
MUZAFFER AYSUN ARICA
NUR İPEK DENİZ
OĞUZHAN ARPAÇUKURU
OSMAN AYDIN
RABİA GÜNEY
SALİH ÖZKAYA
SEMİH BAYLER
SENA NUR KURUM
SEVVAL TEKERCİOGLU
SİMGE KURTCU
SULTAN KOÇAK
ŞEYMA DUMAN
ŞEYMA ÜNAL
UBEYDULLAH ESER
YUSUF BEDİR
YUSUF ÖZAL KARAKAŞ
ZEYNEP ŞEKER

Mantık Yaz Okulu 2019

Mantık Yaz Okulu‘nun beşincisi 29 Temmuz – 9 Ağustos 2019 tarihleri arasında Boğaziçi Üniversitesi Feza Gürsey Fizik ve Matematik Uygulama ve Araştırma Merkezi‘nde (Kandilli Kampüsü) yapılacaktır.

29 Temmuz – 2 Ağustos 2019 (Temel Mantık Yaz Okulu)
5-9 Ağustos 2019 (İleri Düzey Mantık Yaz Okulu)

Genel Bilgi

Temel Mantık Yaz Okulu, mantık kavram ve yöntemlerini anlayabilmek için gerekli giriş dersinin ardından geleneksel mantık, çıkarım çeşitleri, dil-mantık ilişkisi ve mantık yanlışlıklarının öğretildiği derslerden oluşmaktadır.

İleri Düzey Mantık Yaz Okulu‘nda ise temel mantık bilgisi ile anlaşılabilecek özel mantık konuları ele alınmaktadır.

Amaç

Felsefe, Matematik, Enformatik 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

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

Düzenleme Kurulu

Prof. Dr. Şafak Ural (Mantık Derneği)
Dr. Öğr. Üyesi Vedat Kamer (İstanbul Üniversitesi)
Arş. Gör. İbrahim Halil Çetres (Mardin Artuklu Üniversitesi)

Ders Verecek Akademisyenler

Prof. Dr. Şafak Ural (Mantık Derneği)
Prof. Dr. Zekiye Kutlusoy (İstanbul Maltepe Üniversitesi)
Doç. Dr. İskender Taşdelen (Anadolu Üniversitesi)
Doç. Dr. Mahbube Nazlı İnönü (İstanbul Üniversitesi)
Dr. Öğr. Üyesi Vedat Kamer (İstanbul Üniversitesi)
Arş. Gör. Dr. Hanife Bilgili (Yıldız Teknik Üniversitesi)
Arş. Gör. Oğuz Akçelik (Orta Doğu Teknik Üniversitesi)
Arş. Gör. İbrahim Halil Çetres (Mardin Artuklu Üniversitesi)
Arş. Gör. Fatih Kök (Dicle Üniversitesi)
Dilek Yargan (Orta Doğu Teknik Üniversitesi)
Zeynep Düzen (İstanbul Üniversitesi)

Asistanlar

Çağla Özcan
Hande Kumbasar
Başak Kurtuldu

Ders Programı

Katılım

  • Konaklamasız Katılım: 60 TL/gün (Öğle yemeği dahil)
    • Temel Mantık Yaz Okulu için Konaklamasız Katılım: 300 TL
    • İleri Düzey Mantık Yaz Okulu için Konaklamasız Katılım: 300 TL
    • Hem Temel Mantık hem de İleri Düzey Mantık Yaz Okulu: 600 TL
  • Konaklamalı Katılım: 90 TL/gün (Sabah, öğle ve akşam yemeği dahil)
    • Temel Mantık Yaz Okulu için Konaklamalı Katılım: 450 TL
    • İleri Düzey Mantık Yaz Okulu için Konaklamalı Katılım: 450 TL
    • Hem Temel Mantık hem de İleri Düzey Mantık Yaz Okulu: 960 TL
      • İki okul arası haftasonu (3-4 Ağustos 2019) için konaklama ücreti 30 TL/gün’dür. Bu günlerde yemek hizmeti verilmemektedir.

%70 devam sağlayan katılımcılara sertifika verilecektir.

Konaklama için derslerin gerçekleşeceği Feza Gürsey Binası’nın hemen yanındaki Boğaziçi Üniversitesi Kandilli Öğrenci Yurdu’nda 35 kişilik kapasite mevcuttur.

Yaz okullarına katılanların yemek, ikram, kırtasiye, temizlik ve konaklama hizmetleri Boğaziçi Üniversitesi‘nden temin edilmektedir. Bu ücretler başvuru sırasında ilan edilecek Boğaziçi Üniversitesi’nin ilgili hesabına doğrudan ödenir. Feza Gürsey Merkezi ve Mantık Derneği eğitim için herhangi bir ücret talep etmemektedir.

Katılım ücretleri Boğaziçi Üniversitesi tarafından belirlenmektedir:
http://fezagursey.boun.edu.tr/?sayfa=3

Başvuru Formu

Başvuru Formu: https://forms.gle/goVEfy7KUwF2iUF56
Son Başvuru Tarihi: 15 Haziran 2019

Başvuru sonuçları 17 Haziran 2019 tarihinde web sitesi ve e-posta üzerinden açıklanacaktır.

İletişim

E-posta: [email protected]

Uluslararası IX. Mantık Çalıştayı Etkinlik Programı

Uluslararası IX. Mantık Çalıştayı, Prof. Dr. Necati Öner anısına, 18-19 Nisan 2019 tarihleri arasında, Mardin Artuklu Üniversitesi Rektörlüğü, Mardin Artuklu Üniversitesi Edebiyat Fakültesi, Mardin Artuklu Üniversitesi Edebiyat Fakültesi Felsefe Bölümü, İstanbul Üniversitesi Edebiyat Fakültesi Felsefe Bölümü Mantık Anabilim Dalı,İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi ile Mantık Derneği tarafından, Mardin Artuklu Üniversitesi Edebiyat Fakültesi‘nde düzenleniyor.

Etkinlik Programı: [HTML] http://bit.ly/mc9mardin [PDF] http://bit.ly/mc9mardin-pdf

Düzenleyen Kurumlar

Dünya Mantık Günü

Bugün ilk defa Dünya Mantık Günü kutlanıyor. Jean-Yves Béziau’nun önerisi ve girişimi ile bugün 32 ülkede mantık konuşulacak. Béziau’nun gayesi mantığı olması gereken yere, yani birinci sıraya taşımak. Dünya Mantık Günü’nün Türkiye’deki paydaşları olarak bizler de aynı gayeyi taşıyoruz. Bunun için Türkiye’deki bütün mantıkçıları, bugün mantık yapmaya, mantığı konuşmaya çağırıyoruz.

14 Ocak, Alfred Tarski’nin doğum günü, Kurt Gödel’in de ölüm günü olması vesilesi ile Dünya Mantık Günü için tercih edilmiş. Bununla birlikte yılın ilk günleri de, mantığı yıl boyunca konuşmak için bize iyi bir fırsat sunuyor. Mantığın her gün konuşulmasını diliyoruz.

20. yüzyılda Türkiye’deki mantık çalışmalarının iki temel direğinden birini inşa eden, Hocamız Prof. Dr. Necati Öner’i (1926-2019) 2 Ocak’ta kaybetmenin üzüntüsünü taşıyoruz. Değerli hocamıza Allah’tan rahmet, felsefe ve mantık camiasına başsağlığı dileriz. Geçen yıl, 18-19 Nisan 2019 tarihlerinde, Mardin Artuklu Üniversitesi’nde düzenleyeceğimiz IX. Uluslararası Mantık Çalıştayı’nı Prof. Dr. Necati Öner adına yapılmasını karar vermiştik. Bu yılki Mantık Çalıştayı’nda Hocamız Prof. Dr. Necati Öner’in mantığa katkılarını da konuşup Hocamızı anacağız.

20. yüzyılda Türkiye’deki mantık çalışmalarının diğer temel direği olan Hocamız Prof. Dr. Teo Grünberg’e (1927) de sağlık ve afiyet dileriz.

Son yirmi yılda, Türkiye’de mantığın kurumsallaşması adına önemli adımlar atıldı. Bu adımların hiç kuşkusuz en önemli olanı, 2000 yılında Prof. Dr. Şafak Ural tarafından Mantık Anabilim Dalı’nın kurulmuş olmasıdır. Geçen yıl, 26 Ocak 2018’de, İstanbul Üniversitesi Edebiyat Fakültesi’nde yapılan bir toplantı ile, Hocamız Prof. Dr. Şafak Ural’ın mantığa ve felsefeye katkılarını ele almış, 70. yaş gününü birlikte kutlamıştık. Hocamız Prof. Dr. Şafak Ural, 21. yüzyılda mantığın Türkiye’de kurumsallaşmasının öncülerinden biri olmuştur.

Son on yılda içinde, 2012’den itibaren Mantık Çalıştayı düzenlenmeye başlandı. Bunu 2014’te İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi ve Mantık Derneği’nin kurulması izledi. Eylül 2014’te Mantık Yaz Okulu düzenlenmeye başlandı. 2015’te Orta Doğu Teknik Üniversitesi’nde Berimsel Ontoloji Laboratuvarı kuruldu. Haziran 2015’te UNILOG 2015: 5. Evrensel Mantık Dünya Kongresi ve Okulu İstanbul’da yapıldı. Dünyanın dört bir tarafından 400’e yakın mantıkçı, bu kongre ile İstanbul’da bir araya geldi. 2016’da Mantık Derneği Yayınları kuruldu ve aynı yıl ilk iki kitabını yayımladı.

Türkiye’deki mantık çalışmaları, kurumsallaşmanın getirdiği ahenk ve birlikte çalışma imkânları sayesinde, felsefenin dışına taşmış, matematik ve bilgisayar bilimlerinin de katkı sağladığı bir alan haline gelmiştir. 2019’da mantığın interdisipliner çalışma imkânlarını genişletmek ve Türkiye’de mantığın kurumsallaşmasını geliştirmek adına; bir mantık dergisi oluşturmayı, bir mantık girişimi teşkil etmeyi, felsefe kökenli mantık eğitimine yazılım geliştirmenin dahil edilmesi için girişimlerde bulunmayı planlıyoruz.

Türkiye’deki bütün mantıkçıları, mantığı olması gereken yere, birinci sıraya koymak için çalışmaya ve katkı sağlamaya devam ediyoruz.

Dünya Mantık Günü kutlu olsun!

Dr. Vedat Kamer
İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi Yönetim Kurulu Üyesi
İstanbul Üniversitesi Edebiyat Fakültesi Felsefe Bölümü Mantık Anabilim Dalı Öğretim Üyesi
Mantık Derneği Yönetim Kurulu Üyesi

VIII. Mantık Çalıştayı Kitabı yayımlandı

Vedat Kamer ve Şafak Ural tarafından yayıma hazırlanan VIII. Mantık Çalıştayı Kitabı, Mantık Derneği Yayınları tarafından e-kitap (ISBN: 978-605-66311-4-6) olarak yayımlandı.

PDF (Yüksek Çözünürlük: 21 Mb): https://goo.gl/uY4F3g
PDF (Düşük Çözünürlük: 4 Mb): https://goo.gl/UKReok

Künye: VIII. Mantık Çalıştayı Kitabı, Ed: Vedat Kamer, Şafak Ural, Mantık Derneği Yayınları, İstanbul, Aralık 2018, ss. 622.

İçindekiler:

  • Doç. Dr. Ferhat AKDEMİR (Ondokuz Mayıs Üniversitesi): Hume’un Felsefesinde Geleneksel Tasarım Kanıtının Mantıksal Açıdan Analizi
  • Dr. Öğr. Üyesi Turgut AKYÜZ (Erzincan Üniversitesi): Fahreddîn Er-Râzî’ye Göre Kipler
  • Arş. Gör. Mehmet ARSLAN (Ondokuz Mayıs Üniversitesi): Aritmetiksel Eşitlikler ve Totolojiler Üzerine Traktatusçu Bir Değerlendirme
  • Dr. Öğr. Üyesi Berk Utkan ATBAKAN (Bartın Üniversitesi): Nietzsche’nin Perspektifinden Mantığın Mantık Dışı Temelleri
  • Dr. Öğr. Üyesi Coşkun BABA (Bartın Üniversitesi): Retorikte Pathos’un Yeri
  • Prof. Dr. Mustafa BOZBUĞA (Üsküdar Üniversitesi): Tıp Alanında Epistemik Mantık
  • Arş. Gör. İbrahim Halil ÇETRES (Mardin Artuklu Üniversitesi): Mümkün Dünyalar Ontolojisi
  • Dr. Öğr. Üyesi Ahmet ÇEVİK (Jandarma ve Sahil Güvenlik Akademisi): Tanımlanabilir Kümeler
  • Ebru ÇİMEN (Muğla Sıtkı Koçman Üniversitesi): Tractatus Üzerine
  • Prof. Dr. A. Kadir ÇÜÇEN (Uludağ Üniversitesi): Dursun Çüçen’in Tartışma Mantığına Bir Giriş
  • Ebubekir Muhammed DENİZ (İstanbul 29 Mayıs Üniversitesi): Yersiz Yurtsuz Nesneler Mantıkta Yer Tutar mı?
  • Arş. Gör. Demet Tuğçe DUMANOĞLU (Artvin Çoruh Üniversitesi): Frege’nin Anlam ve Gönderge Ayrımında İçlemsel Bağlam Problemi
  • Dr. Öğr. Üyesi Muhammet Nasih ECE (Van Yüzüncü Yıl Üniversitesi): Aristoteles’in Üç Terim-İki Öncüllü Kıyas Anlayışı ve İbn Rüşd’ün Şartlı Önerme ve Kıyas Yaklaşımının Şekillenmesinde Etkisi
  • Arş. Gör. Hatice İrem EKER (Ondokuz Mayıs Üniversitesi): Kant Düşüncesi’nin Üç Kavramı: Sentetik A Priori, Transandantal, Kanon
  • Arş. Gör. Hacer ERGİN (Ankara Yıldırım Beyazıt Üniversitesi): İbn Sina’nın Burhân Teorisinde Bilimsel Sorular
  • Dr. Öğr. Üyesi Ahmet Cüneyt GÜLTEKİN (Ankara Üniversitesi): Tanımlama Sorunu ve Aile Benzerliği Yaklaşımı
  • Dr. Öğr. Üyesi Aysun GÜR (Adnan Menderes Üniversitesi): Totolojik Düşünmenin Fenomenolojik Anlamı Üzerine
  • Doç. Dr. Nazlı İNÖNÜ (İstanbul Üniversitesi): Consequentia Kavramı Bağlamında Ortaçağ Mantığı
  • Ramazan Atıl KARABEY (İstanbul Üniversitesi): Mizahın Mantığı
  • Dr. Hacı Kaya (Necmettin Erbakan Üniversitesi): Kaya Kanıtı: Tanrı Vardır Önermesine İlişkin Yeni Bir Mantıksal-Felsefi Açılım
  • Prof. Dr. Ahmet KAYACIK (Erciyes Üniversitesi): Nicholas Rescher’in İslam/Arap Mantığına Katkıları Üzerine
  • Dr. Öğr. Üyesi Murat KELİKLİ (Bartın Üniversitesi): Aristoteles’te Tüm ve Tümün Bilgisi
  • Fazilet Fatıma KILINÇ (Fatih Sultan Mehmet Vakıf Üniversitesi): Matematiksel Sezginin Hint Kökenlicebir, Algoritma ve Sıfır İmini Oluşturma Süreci: El-Harezmi
  • Arş. Gör. Fatih KÖK (İstanbul Üniversitesi): Eleyici Materyalizme Üç İtiraz
  • Prof. Dr. Zekiye KUTLUSOY (Maltepe Üniversitesi): Mantığın Ödevsel Önermeleri Üzerine
  • Dr. Öğr. Üyesi Svitlana NESTEROVA (Artvin Çoruh Üniversitesi): Gilles Deleuze’de Anlam ve Gösterge
  • Çağla ÖZCAN (İstanbul Üniversitesi): Yapısalcılık Platoncu Epistemolojinin Sorununu Çözebilir mi?
  • Dr. Alişan ÖZDEMİR (Maltepe Üniversitesi): İkili Kategoriler ve Diyalektik Mantık
  • Beyhan ŞENER ÖZTÜRK (İstanbul Üniversitesi): Sonsuzluk Üzerine Başlangıç
  • Dr. Öğr. Üyesi Ümit ÖZTÜRK (Gümüşhane Üniversitesi): Mantıkçı Empirizm Kuhn’u Bitirdi mi?
  • Satı Nur POLAT (Orta Doğu Teknik Üniversitesi) & Kadir KILIÇ (Boğaziçi Üniversitesi): Ontolojik Argümanın Wittgenstein’ın Analitik Felsefe Eleştirisi Çerçevesinde Yeniden Değerlendirilmesi
  • Prof. Dr. Hakan POYRAZ (Mimar Sinan Güzel Sanatlar Üniversitesi): Ahlak Dilinin Mantıksal İncelemesi
  • Dr. Öğr. Üyesi Seda ÖZSOY SOMUNCUOĞLU (Gümüşhane Üniversitesi): Feyerabend Çıkmazı: Hangi “Akla Veda”, Nasıl Bir “Yönteme Karşı”?
  • Dr. Öğr. Üyesi Esat Burak ŞAMAN (İstanbul 29 Mayıs Üniversitesi): Boethius’ta Tanrısal Öngörü ve Gelecekteki Olayların Olumsallığı
  • Diler Ezgi TARHAN (İstanbul Üniversitesi): Husserl’de Formel Apofantik ile Formel Matematiğin Sentezi Üzerine
  • Halise TARIMCIOĞLU (İstanbul Üniversitesi): Klasik Olmayan Mantıklar
  • Arş. Gör. Tuncay TURNA (Artvin Çoruh Üniversitesi): Oyun ve Yapı
  • Arş. Gör. Serdal TÜMKAYA (Orta Doğu Teknik Üniversitesi): Ontolojik Natüralizm ve Yöntemsel Natüralizm Birbirini Dışlar: Deneysel Parapsikolojinin Düşündürdükleri Üzerine
  • Prof. Dr. Şafak URAL (Mantık Derneği): Kısa Mantık ve Epistemoloji Tarihi
  • Dilek YARGAN (Orta Doğu Teknik Üniversitesi): Büyük Veride Keşif ya da Kâşifçilik
  • Arş. Gör. Dr. Alper YAVUZ (Mimar Sinan Güzel Sanatlar Üniversitesi): Frege’nin Özel Ad Kuramındaki Sonsuz Gerileme Sorunu

II. Olağan Genel Kurul Çağrısı

Mantık Derneği‘nin II. Olağan Genel Kurul Toplantısı 24 Ekim 2018 Çarşamba günü, saat 17:30’da, Kalenderhane Mh. 16 Mart Şehitleri Cd. Dr. Şevket Apt. No: 8 Vezneciler-Beyazıt-Fatih/İstanbul adresinde aşağıda yazılı gündeme göre yapılacaktır.

Belirtilen günde çoğunluğun sağlanamadığı takdirde ikinci toplantı 31 Ekim 2018 Çarşamba günü, saat 17:30‘da, aynı gündemle Kalenderhane Mh. 16 Mart Şehitleri Cd. Dr. Şevket Apt. No: 8 Vezneciler-Beyazıt-Fatih/İstanbul adresinde nisapsız olarak yapılacaktır.

Gündem

  1. Açılış, Yoklama, Saygı Duruşu
  2. Divanı oluşturuş
  3. Yönetim ve Denetim Kurulu Faaliyet Raporlarının Okunması
  4. Yönetim ve Denetim Kurullarını İbra
  5. Yeni Yönetim ve Denetim Kurullarının Belirlenmesi
  6. Dilekler
  7. Kapanış

Mantık Derneği Yönetim Kurulu

Uluslararası IX. Mantık Çalıştayı Katılım Çağrısı

Uluslararası IX. Mantık Çalıştayı, Prof. Dr. Necati Öner anısına, 18-19 Nisan 2019 tarihleri arasında Mardin Artıklu Üniversitesi evsahipliğinde gerçekleştirilecektir.

Katılımcıların bildiri başlığını ve özetini 1 Şubat 2019 tarihine kadar https://goo.gl/forms/FXaKWR6vYbkfbxet2 adresindeki ilgili yerleri doldurarak bildirmeleri gerekmektedir.

Mantık Çalıştayı’nda sunulacak bildirilerin özetlerinin toplantı sırasında dağıtılması, tam metinlerin ise toplantı sonrası basılması planlanmaktadır.

Sunulan bildirilerin en kısa zamanda yayımlanabilmesi için çalıştay sonrası metinlerin elektronik olarak iletilmeleri gerekmektedir.

20 Nisan 2019‘de Mardin Gezisi yapılmasına yönelik organizasyon çalışmaları devam etmektedir. Gezi planlaması yapıldıktan sonra ayrı bir başvuru formu konuşmacı ve dinleyicilere gönderilecektir.

Dinleyici olarak katılmak isteyenlerin https://goo.gl/forms/xgJYg29tG8vSuxls2 adresindeki formu doldurması; salon, yemek ve konaklama gibi planlamaların sağlıklı bir şekilde yapılabilmesine olanak verecektir.

Katılımcıların kalacakları yerler ile ilgili bilgi ayrıca paylaşılacaktır.

Katkılarınız ve katılımız için teşekkürlerimizi sunuyoruz.

Mardin’de görüşmek dileğiyle.

Çalıştayda ele alıncak başlıca konular:

  • Mantık tarihi
  • Geleneksel mantık
  • Çağdaş mantık çalışmaları
  • İnformel mantık
  • Klasik-olmayan mantıklar
  • Puslu mantık
  • Dil ve mantık
  • Bilim ve mantık
  • Mantık ve matematik felsefesi
  • Mantık çeşitleri

Konuşmacı Katılım Formu: https://goo.gl/forms/FXaKWR6vYbkfbxet2
Dinleyici Katılım Formu: https://goo.gl/forms/xgJYg29tG8vSuxls2

Prof. Dr. Şafak URAL
Mantık Derneği Başkanı
Web: http://calistay.mantik.org.tr
E-posta: [email protected]

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

Temel Mantık Yaz Okulu’na Kabul Edilen Öğrenciler

AHMET MELİKŞAH İNCE
ALİ ENGİN UYGUR
ASLI KILIÇDOĞAN
BAŞAK ATASEVER TÜRK
BAŞAK KURTULDU
BEREN ŞEN
BÜŞRA TİRİT
ÇİĞDEM GÜN
DEFNE SELİN LÜTFÜOĞLU
DEMET TUĞÇE DUMANOĞLU
DENİZ MELTEM DASDAN
DURMUŞ KOÇ
DUYGU SIRBUDAK
ECE ZEYNEP KALYONCUOĞLU
EDA YILDIZ
ELİF BÜŞRA USTA
ELİF KIZIL
ERAY ÇELİK
FATMA DİLARA KOCA
FAZİLET FATIMA KILINÇ
FEYZANUR ÖKTEM
HANDE NUR ATMACA
HARUN ÜNAL
HATİCE ALTINTAŞ
HATİCE KANDEMİR
HİLAL BEBEK
HÜSNA KARABOĞA
IŞIL ÇETİN
IŞIL RÜVEYDA BİLTEKİN
İBRAHİM ETHEM DEVECİ
İBRAHİM TEZGEL
İLHAN İZGİ
İREM ÜSTÜNTAY
KEREM DEMİRTAŞ
KÜBRA SARAL
KÜRŞAT TAŞKIN
LEYLA AKOVA
MEHMET DALLI
MEHMET ŞAH MALTAŞ
MELİH CAN DAŞDELEN
MELİSA DURGUNGÖL
MİRAN ÇETİNER
MUHAMMED MAĞSUM GÖKYÜZ
MUHAMMET KADİR KARAMAN
MÜLEYKE KARADOĞAN
MÜLKİYE NERSE
MÜZEYYEN FİLİZ GÜNER
NİSANUR KÜLTÜR
NUH KAPAN
NUR İPEK DENİZ
NURGÜL KOCATÜRK
OSMAN BUĞRA AYDIN
OZAN TURNALI
ÖMER FATİH GÜRCAN
ÖMER HAMZA AÇIKÖZ
ÖZGE ÖZDEMİR
RIZA TEVFİK KALYONCU
ROJDA ZÖRER
SELÇUK BAYRAK
SENEL ATLI
SEVDE BÜŞRA BAYRAK
SİMGE KURTCU
ŞEYMA DUMAN
ŞEYMA NUR GEZEN
TUĞBA ARKAN
TUĞCE SEZER
VEDAT ÇELİK
YAĞMUR TEMİZKAN
YUNUS ARSLAN
YUSUF ALTINOK
ZELİHA KÖŞKER
ZERİN GÖKTÜRK
ZEYNEP ÇELİK
ZEYNEP TURAN

İleri Düzey Mantık Yaz Okulu’na Kabul Edilen Öğrenciler

AHMET MELİKŞAH İNCE
ALİ ENGİN UYGUR
ASLI KILIÇDOĞAN
BAŞAK KURTULDU
BEREN ŞEN
BUSE GÜRELİ
ÇİĞDEM GÖKBULUT
DEMET TUĞÇE DUMANOĞLU
DUYGU SIRBUDAK
EBUBEKİR MUHAMMED DENİZ
ECE ZEYNEP KALYONCUOĞLU
ELİF BÜŞRA USTA
FATMA DİLARA KOCA
FAZİLET FATIMA KILINÇ
GÜLTEKİN ÇİFTÇİ
HATİCE ALTINTAŞ
HATİCE KANDEMİR
HİLAL BEBEK
IŞIL ÇETİN
IŞIL RÜVEYDA BİLTEKİN
İBRAHİM ETHEM DEVECİ
İBRAHİM TEZGEL
İDİL BARLAS
İREM ÜSTÜNTAY
KÜRŞAT TAŞKIN
LEYLA AKOVA
MEHMET ŞAH MALTAŞ
MİRAN ÇETİNER
MÜLKİYE NERSE
MÜZEYYEN FİLİZ GÜNER
NUH KAPAN
OZAN TURNALI
ÖMER HAMZA AÇIKÖZ
ÖZGE ÖZDEMİR
PETEK TOKYÜREK
RIZA TEVFİK KALYONCU
SELÇUK BAYRAK
SENEL ATLI
SERAY SEVİM OĞUZ
SEVDE BÜŞRA BAYRAK
SİMGE KURTCU
ŞEYMA ÇİNAR
ŞEYMA DUMAN
ŞEYMA NUR GEZEN
TUĞBA ARKAN
VEDAT ÇELİK
YUNUS ARSLAN
YUSUF ALTINOK
ZERİN GÖKTÜRK
ZEYNEP ÇELİK
ZEYNEP SAYIN

Bilgi Notu: https://goo.gl/cVMRBQ (PDF)
Temel Mantık Yaz Okulu için Kayıt Formu: https://goo.gl/aVrhRk (PDF)
İleri Düzey Mantık Yaz Okulu için Kayıt Formu: https://goo.gl/Yqa9E3 (PDF)

VIII. Mantık Çalıştayı Etkinlik Programı

VIII. Mantık Çalıştayı, Prof. Dr. Ömer Naci Soykan anısına, 9-11 Mayıs 2018 tarihleri arasında, Bülent Ecevit Üniversitesi Rektörlüğü, Bülent Ecevit Üniversitesi İlahiyat Fakültesi, İstanbul Üniversitesi Edebiyat Fakültesi Felsefe Bölümü Mantık Anabilim Dalı, İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi ile Mantık Derneği tarafından, Bülent Ecevit Üniversitesi‘nde düzenleniyor.

Etkinlik Programı: [HTML] https://goo.gl/Czoe5j [PDF] https://goo.gl/dLGMCW
Bildiri Özetleri: [HTML] https://goo.gl/u4iMcw [PDF] https://goo.gl/rz2mKQ

Düzenleyen Kurumlar:
Bülent Ecevit Üniversitesi Rektörlüğü
Bülent Ecevit Üniversitesi İlahiyat Fakültesi
İstanbul Üniversitesi Edebiyat Fakültesi Felsefe Bölümü Mantık Anabilim Dalı
İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi
Mantık Derneği