Teo Grünberg Mantık Araştırmaları Ödülü 2025

11 Ekim 2025 tarihinde toplanan jüri, üç başvuru arasından, Dr. Öğr. Üyesi Ezgi Iraz Su’nun (Sinop Üniversitesi), “Splitting Property for Epistemic Equilibrium Logics” isimli makalesini Teo Grünberg Mantık Araştırmaları Ödülü’ne layık görmüştür.

İlgi makale, Logica Universalis isimli dergide yayımlandıktan sonra, UNILOG 2025: 8th World Congress and School on Universal Logic kapsamında gerçekleştirilecek Dünya Mantık Ödülleri Yarışması‘nda Türkiye’yi temsil edecektir.

Dr. Öğr. Üyesi Ezgi Iraz Su (Sinop Üniversitesi)
Başlık: Splitting Property for Epistemic Equilibrium Logics
Özet: Answer-set programming (ASP) is a declarative logic programming paradigm that provides an efficient problem-solving approach in logic-based artificial intelligence (AI). In ASP, problems are represented as logic programs, and solutions are identified through their answer sets. Equilibrium logic (EL) is a general-purpose nonmonotonic reasoning formalism based on a monotonic logic called here-and-there logic (HT). HT is a three-valued intermediate logic that lies strictly between intuitionistic logic and classical logic. EL was originally proposed by Pearce as a foundational framework of ASP, where answer sets of an ASP program are captured by the equilibrium models of the corresponding HT theory. While ASP has proven successful as a knowledge-representation formalism, it encounters specific situations where its language falls short of accurately representing and reasoning about incomplete information. Researchers now widely agree that ASP requires powerful introspective reasoning with the use of epistemic modal operators. Therefore, epistemic specifications (ES) have been proposed as extensions of ASP programs with subjective literals. These new modal constructs in the ASP language make it possible to check whether a regular literal of ASP is true in every (or some) answer set of a logic program, which is required to model incomplete information in ASP. Thus, ES programs are interpreted by world-view structures, which are essentially collections of answer sets (or equilibrium models). However, despite long-lasting debates on how to capture the intended meaning of ES programs via world views, researchers have not reached a consensus on fully satisfactory semantics. Recently, Cabalar et al. have argued that such research on ES semantics should be grounded in formal robustness rather than in test examples. Thus, inspired by ASP’s foundational properties, they introduced a new structural principle called the epistemic splitting property (E-SP) and designated it as one of the compulsory criteria for epistemic ASP. However, this criterion has left several intuitive semantic approaches unsatisfactory. This paper generalises Cabalar et al.’s approach to a more comprehensive, meticulous, and conservative extension of ASP’s original splitting property, thereby broadening the applicability and enhancing the efficiency of epistemic splitting property for general epistemic equilibrium logics.

Jüri Üyeleri (Soyadına göre alfabetik):

  • Prof. Dr. Ahmet Ayhan Çitil (İstanbul 29 Mayıs Üniversitesi)
  • Prof. Dr. H. Bülent Gözkân (Mimar Sinan Güzel Sanatlar Üniversitesi)
  • Prof. Dr. David Grünberg (Orta Doğu Teknik Üniversitesi)
  • Prof. Dr. Özgüç Güven (İstanbul Üniversitesi)
  • Prof. Dr. M. Nazlı İnönü (İstanbul Üniversitesi)
  • Prof. Dr. Halit Oğuztüzün (Orta Doğu Teknik Üniversitesi)
  • Prof. Dr. Yücel Yüksel (İstanbul Üniversitesi)

I. Ulusal Mantık Sempozyumu

İstanbul Üniversitesi Edebiyat Fakültesi Felsefe Bölümü, İstanbul Medeniyet Üniversitesi Edebiyat Fakültesi Felsefe Bölümü, Pamukkale Üniversitesi Rektörlüğü, Pamukkale Üniversitesi İnsan ve Toplum Bilimleri Fakültesi ve Mantık Araştırmaları Derneği tarafından düzenlenen I. Ulusal Mantık Sempozyumu, 13-14 Kasım 2025 tarihlerinde, Pamukkale Üniversitesi ev sahipliğinde, Denizli‘de gerçekleştirilecektir.

Önemli Tarihler:

  • Son Başvuru Tarihi: 22 Eylül 2025
  • Kabul Edilen Bildirilerin Duyurulması: 13 Ekim 2025
  • Sempozyum Programının İlan Edilmesi: 20 Ekim 2025
  • Sempozyum Tarihi: 13-14 Kasım 2025

Başvuru Formları:

I. Ulusal Mantık Sempozyumu’nda sunulacak bildirilerin sempozyum öncesinde “Özet Kitapçığı” olarak hazır hale getirilmesi planlanmaktadır. Özetlerin 500-700 kelime aralığında olacak şekilde düzenlenmesi beklenmektedir. Tam metinlerin teslimi için son tarih 24 Kasım 2025 olup tam metinlerin 29 Aralık 2025 tarihinde E-Kitap olarak yayımlanması planlanmaktadır.

Konaklama için öncelikle Pamukkale Üniversitesi’nin olanakları dikkate alınacaktır. Konaklama konusunda katılımcı ve dinleyicilere kolaylık sağlanması hedeflenmektedir.

Tarihsel ve kültürel birçok alana ev sahipliği yapan Denizli’de 15 Kasım 2025 tarihinde Denizli Kent Turu yapılması planlanmaktadır. Gezi programı ayrıca duyurulacaktır.

İletişim:

Teo Grünberg Mantık Araştırmaları Ödülü

Mantık Araştırmaları Derneği, Prof. Dr. Teo Grünberg’in mantığa katkılarını anmak, ülkemizde mantık çalışmalarını desteklemek, özendirmek ve mantık literatürüne katkı sağlamak amacıyla bir makale yarışması düzenlenmeyi kararlaştırmıştır. Ödül yönergesine https://mantik.tr/teo-grunberg-mantik-arastirmalari-odulu-yonergesi/ adresinden erişilebilir.

Yarışmada birinci gelecek makale sahibi, 4-14 Aralık 2025‘tee Cusco/Peru‘da gerçekleştirilecek UNILOG 2025: 8. Evrensel Mantık Dünya Kongresi ve Okulu‘na -diğer ülkelerin birincileri arasında yapılacak seçmeye- ülkemizi temsilen katılmaya hak kazanacak ve ilgi makale Springer tarafından çıkartılan Logica Universalis dergisinde yayımlanacaktır. Birincinin yol masrafları Mantık Araştırmaları Derneği tarafından, kongre kayıt ücreti ve konaklama masrafları UNILOG düzenleme komitesi tarafından karşılanacaktır.

Başvurular [email protected] e-posta adresine yapılacaktır.

Yarışmaya son katılma tarihi 1 Eylül 2025‘tir.

I. Olağan Genel Kurulu Toplandı

Mantık Araştırmaları Derneği, bugün, I. Olağan Genel Kurulu’nu gerçekleştirdi.

Genel Kurul sonucunda, yönetim kuruluna, Prof. Dr. Hasan Bülent Gözkân, Prof. Dr. Mahbube Nazlı İnönü, Prof. Dr. Ahmet Ayhan Çitil, Dr. Öğr. Üyesi Vedat Kamer ve Arş. Gör. Çağla Özcan; denetleme kuruluna Prof. Dr. Yücel Yüksel, Dr. Öğr. Üyesi Ebubekir Muhammed Deniz ve Dr. Öğr. Üyesi İbrahim Halil Çetres seçildi.

Genel Kurul’da, dernek üyeleri, mantığın interdisipliner vasfının birleştiriliciliği üzerinden, yeni etkinliklerin planlanması, mantık müfradatı ve eğtimi konusunda istişareler gerçekleştirdiler.

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

Mantık Araştırmaları Derneği‘nin I. Olağan Genel Kurul Toplantısı, 14 Haziran 2025 Cumartesi günü, saat 11:00’da, Cevizli Mh. Zuhal Cd. No: 44/11 Maltepe/İ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ı 28 Haziran 2025 Cumartesi günü, aynı saatte, aynı yerde ve aynı gündemle, nisapsız olarak yapılacaktır.

Gündem

  1. Açılış, Yoklama, Saygı Duruşu
  2. Divanı Kurulu Oluşturulması
  3. Yönetim ve Denetim Kurullarının Belirlenmesi
  4. Giriş ve Üyelik Aidatının Belirlenmesi
  5. Dilekler
  6. Kapanış

Duyuru

Hukukun üstünlüğü ilkesinin, yasaların herkes için eşit, adil ve tarafsız biçimde uygulanmasının, yargı bağımsızlığının ve ifade özgürlüğü başta olmak üzere temel hak ve özgürlüklerin korunmasının, demokratik bir toplumun vazgeçilmez koşulları olduğuna inanıyoruz.

Bu temel ilkelerin özgürlük, adalet ve barış içinde bir arada yaşamamızın teminatı olduğunun bilincindeyiz. Bu bağlamda, son günlerde yaşanan gelişmeleri derin bir kaygıyla takip ettiğimizi kamuoyuyla paylaşmak isteriz.

Toplumsal barışın, çoğulculuğun ve özgür düşüncenin korunması amacıyla; tüm yurttaşları, kamu kurumlarını, akademiyi ve sivil toplum kuruluşlarını, anayasal ve evrensel demokratik değerleri sahiplenmeye ve bu değerleri kararlılıkla savunmaya çağırıyoruz.

Mantığın, düşünsel açıklığın ve eleştirel aklın rehberliğinde; insan haklarına, özgürlüğe ve adalete bağlı kalmaya devam edeceğimizi kamuoyuna saygıyla duyururuz.

Uluslararası Charles Sanders Peirce Kongresi: Peirce İstanbul’da

Tarih: 23-24 Ekim 2025
Yer: İstanbul Üniversitesi Edebiyat Fakültesi Genel Kurul Odası

Düzenleyen Kurumlar: 

  • İstanbul Üniversitesi Edebiyat Fakültesi Felsefe Bölümü
  • Institute For The Study Of American Philosophy and Semiotics
  • Mantık Araştırmaları Derneği
  • Anadolu Semiyotik Araştırmaları Derneği

İstanbul Üniversitesi Edebiyat Fakültesi Felsefe Bölümü, Institute For The Study Of American Philosophy and Semiotics, Mantık Araştırmaları Derneği ve Anadolu Semiyotik Araştırmaları Derneği olarak, 23-24 Ekim 2025 tarihlerinde ünlü Amerikalı filozof Charles Sanders Peirce‘ün çalışmalarını kapsamlı bir şekilde tartışmayı amaçlayan Uluslararası Charles Sanders Peirce Kongresi: Peirce İstanbul’da etkinliğini düzenlemekten büyük mutluluk duyuyoruz.

Peirce, pragmatizm, sembolik mantık ve göstergebilim gibi birçok alanın kurucusu olarak kabul edilen önemli bir düşünürdür. Kongremizin amacı, Peirce’ün zengin düşünce dünyasını disiplinler arası bir bakış açısıyla ele almak ve onun felsefi mirasını derinlemesine incelemektir.

Kongre kapsamında, Peirce üzerine çalışan seçkin akademisyenler davetli konuşmacı olarak yer alacak ve onların aydınlatıcı konuşmalarına yer verilecektir. Ayrıca, sunulan bildiriler editoryal süreçten geçirildikten sonra bir kitap olarak yayımlanacaktır.

Peirce’ün bütün yönleriyle ele alınacağı bu kongreye sizleri davet ediyoruz. Katılımınız, kongremizi zenginleştirecek ve uluslararası akademik birikime önemli katkılar sağlayacaktır.

Oturum Temaları

Kongrede yer alacak oturumlar aşağıdaki başlıklar etrafında şekillenecektir:

  • Peirce’ün Düşünsel Gelişimi
  • Peirce Felsefesi
  • Peirce ve Mantık 
  • Peirce ve Göstergebilim
  • Peirce ve Pragmatizm

Önemli Tarihler:

  • Bildiri Özeti Son Gönderim Tarihi: 1 Ağustos 2025
  • Kabul Edilen Bildirilerin İlanı: 1 Eylül 2025
  • Konferans Programının İlanı: 1 Ekim 2025
  • Kabul Edilen Bildirilerin Tam Metin Teslim Tarihi: 1 Ekim 2025

Katılım ve Başvuru Koşulları:

  • Bildiri özeti başvuruları, belirlenen tarihe kadar [email protected] adresine gönderilmelidir.
  • Gönderilen özetlerin 250-300 kelime arasında olması ve özgün, akademik bir nitelik taşıması beklenmektedir.
  • Kabul edilen bildiriler, editoryal süreçten geçtikten sonra kongre kitabı olarak yayımlanacaktır. Gönderilen metinlerin belirtilen yazım kurallarına uygun hazırlanması önemlidir. (Yazım kuralları konusunda daha sonra bilgilendirme yapılacaktır)
  • Kongre programı kesinleştikten sonra oturum bilgilerinde değişiklik yapılmayacaktır.

Konaklama ve Ulaşım:

  • Konaklama ve ulaşım masrafları katılımcılar tarafından karşılanacaktır.

Dinleyici Katılımı:

  • Kongreye dinleyici olarak katılmak isteyenler için herhangi bir kayıt ücreti veya önceden kayıt yaptırma şartı bulunmamaktadır.

Başvuru Süreci:
Katılımcıların başvurularını, 250-300 kelimelik bir özetle birlikte aşağıdaki bilgileri içeren bir dosya ile göndermesi beklenmektedir:

  • Ad ve Soyad
  • E-posta Adresi
  • Telefon Numarası
  • Kurum ve Unvan

Başvurularınızı [email protected] adresine iletebilirsiniz.

İletişim Bilgileri:

E-posta: [email protected]

Ek Bilgiler:

Kayıt detayları, konaklama bilgileri ve diğer sorularınız için lütfen peirce.mantik.tr adresindeki resmi web sitemizi ziyaret ediniz. Kongremizin resmi sunum dilleri Türkçe ve İngilizcedir.

Kongre yüz yüze gerçekleştirilecektir.

Kuruluş

Mantık Araştırmaları Derneği, 14 Ocak 2025 tarihinde, saat 15:15‘te, 34-290-188 kütük numarasıyla kurulmuş ve Dünya Mantık Günü (2025) etkinliğiyle birlikte faaliyete geçmiştir.

Ahmet Ayhan Çitil’in Kaleminden Dünya Mantık Günü Bildirisi

Mantık iyi ki var.

İyi ki adı konmuş.

İyi ki bir akademik bir disiplin olarak geliştirilmiş.

İnsanlığa neler neler sunmuş ve halen de sunmaya devam ediyor.

Dünya Mantık Günü’nde mantığa olan borçlarımızı hatırlayalım ve günümüze kadar bize neler sunduğunu ve gelecekte kendisinden neleri umabileceğimizi dilimiz döndüğünce sayıp dökmeye çalışalım.

Mantığın Batı fikriyatında “bilmediğimizi bilebilir miyiz?” sorusuna bir cevap olarak ortaya çıktığını biliyoruz. Örtük olarak bildiğimizin örtüsünün kaldırılmasının aracının mantık olduğu düşünülmüş.

Sofizmi felsefeden ayırmanın yolunu o döşemiş. Her düşünülenin eşit ölçüde var ve savunulabilir olduğunu düşünenlere karşı çelişmezlik ilkesi çok etkili ve önemli bir eleştiri sunmuş.

Dilin hakkında konuştuğu nesnelerin, çelişik yüklem çiftlerinden birine sahip olduğunun düşünülmesi bilimsel incelemenin ufkunu açmış. Bilimler, çelişmezlik ilkesi arka planında tam belirlenmiş olduğu düşünülen nesneler hakkında hükümler verme ve çıkarımlar yapma esasında geliştirilmiş.

Bahsedilen çelişik yüklem çiftlerinin teşkil ettiği mutlak imkân ise kimilerince asıl varlık olarak kabul edilmiş, bu eğilim klasik metafiziğin yolunu açmış.

Evrenin sonlu ve kapalı olduğu fikri ,tam belirlenmiş nesnelerin sayısının belirsiz olamayacağı fikrine; evrenin sınırsız ve açık olabileceği fikri bahsedilen mutlak imkân dairesinin sonsuzluğundan sudur eden ilk şey olarak evrenin sonlu olamayacağı fikrine dayandırılmış.

İnsanlık uzun bir zaman – birazdan değineceğimiz gibi belki de halen – gerçekliği dilin mantığına ilişkin bir farkındalığı zemine alarak seyretmiş.

Bir araç olarak geliştirilen mantık insanların birbirlerini ikna etme çabalarında temel güvenceleri olmuş.

İçeriği olan bir önermenin doğruluğunu teyit etmenin zorluğu ve hatta imkansızlığı, insanlığı, biçimsel doğruluğa sığınmaya ve bilgi dağarının mantık esasında geliştirilmesine sevk etmiş. Anlaşabildiklerimizle başlayıp yeni doğrulara yol alırken araştırmacıların yelkenlerini mantık şişirmiş.

Bilimsel veya burhanî bilgi, doğruluğu öyle ya da böyle kabul edilen öncüllerden geçerli akıl yürütmelerle elde edilen bilgi olarak tanımlanmış.

Çağdaş dönemde bilme vurgusu yerini düşünebilirliğe veya ifade edilebilirliğe bırakmış. Matematik, postulatlar vasıtasıyla tanımlanan bir nesne hakkında söylenebileceklerin mantıksal ilkeler ve yasaları kullanarak incelendiği devasa bir disipline dönüşmüş. Mantık esasında incelenen nesnelerin bir kısmının belirli yorumlar altında olguların ve fenomenlerin açıklamasını verebildiği düşünülmüş. Bu süreçte bilimsel kuramlar geliştirme faaliyetinde büyük bir patlama ve zenginleşme yaşanmış.

Öte yandan karmaşık yasalar, tanımlar, ilkeler içeren bir kuramın gerekçelendirilmesi kuramdan bir gözlem önermesi türetilmesini gerektirdiğinden bilimsel kuramların doğrulanmasında mantık baş rolü kimseye kaptırmamış.

Her ne zaman mantık bir araç olarak hakkıyla ve yeterince kullanılmasa orada haksızlıklar, güç ilişkileri ve en nihayetinde yozlaşma galebe çalmış.

Bugüne gelince…

Araç olarak alındığında mantık bilhassa matematikçilerin çalışmaları ile gerek klasik gerek klasik olmayan çeşitli dizgeler çerçevesinde geliştiriliyor. Çeşitlilik o kadar artmış durumdaki literatürde mantıksal tekçilik – çokçuluk tartışmaları ile ilgili pek çok çalışma yapılıyor.

Mantık, biçimsel dizgelerin gelişimi sonucunda doğurduğu hesap kuramı üzerinden tarihte benzeri bulunmayan teknolojik gelişmelerin kalbinde yer tutuyor. 

Bilhassa Immanuel Kant’ın ve onun izleyicilerinin – büyük oranda haklı – eleştirileri ise kanonik kullanımından bir süre uzaklaşan mantık, metafiziğin fikriyata farklı kanallar üzerinden dönüşüyle birlikte yepyeni bir döneme gitmiş bulunuyor. Pek çok felsefeci mantıkta elde edilen sonuçlardan hareketle gerçekliği seyretme ameliyesine büyük emek sarf ediyor. Bir zamanlar klasik mantık üzerinden temaşa edilen gerçeklik bu sefer modern mantık nokta-i nazarından düşünceye konu ediliyor. İnsanlık düşüncedeki sınırlarını fark ettiği ölçüde “Gerçekten ne var?” sorusu ile değil “Dil ve dilin mantığı bize nasıl bir gerçeklik sunuyor?” sorusuyla ciddiyetle ilgileniyor.

Öte yandan bilimsel ve felsefî incelemelere direnen pek çok soru zihnimizi kurcalamaya devam ediyor. Fiziksel evrende canlıların nasıl olup da var olduğu, bilincin ve zihinsel hallerin mahiyeti, kuantum fiziği ile klasik fiziğin nasıl mezcedilebileceği vb. sorular insan düşüncesindeki yepyeni açılımları ve belki de yepyeni mantıkların geliştirilmesini bekliyorlar.

Mantığın bize sundukları belki de olabilecek olanın sadece bir kısmını teşkil ediyor.

Dilin mantığı iyi ki fark edilmiş ya da iyi ki icat edilmiş…

Mantık pek çok düşünürün emekleriyle iyi ki geliştirilmiş…

Olmasaydı ve bugünkü haline evrilmeseydi insanlığın hali nice olurdu?

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

Prof. Dr. Ahmet Ayhan Çitil
14 Ocak 2025

Prof. Dr. Ahmet Ayhan Çitil’in Özgeçmişi

Felsefe, mantık ve matematik felsefesi alanlarında uzmanlaşmış bir akademisyendir. Akademik kariyerine Boğaziçi Üniversitesi’nde Endüstri Mühendisliği ve İktisat bölümlerinde çift anadal yaparak başlamış, ardından aynı üniversitede felsefe yüksek lisansını ve doktorasını Prof. Dr. Yalçın Koç’un danışmanlığında tamamlamıştır. An Introduction to the Ontological Foundations of Gödel’s Incompleteness Theorems başlıklı teziyle felsefe yüksek lisans derecesini almış, 2000 yılında ise The Theory of Object in Kant’s Transcendental Thought and Some Consequences of a Deepening of This Theory başlıklı teziyle doktorasını tamamlamıştır.

2008 yılında The City University of New York Graduate Center’da misafir öğretim üyesi olarak araştırmalar yürütmüştür. İstanbul Teknik Üniversitesi, Kocaeli Üniversitesi ve Koç Üniversitesi’nde görev yaptıktan sonra, 2010 yılından itibaren İstanbul 29 Mayıs Üniversitesi Felsefe Bölümü’nde akademik çalışmalarına devam etmektedir.

Çalışmaları, özellikle mantık, metafizik, matematik felsefesi ve ahlak felsefesi alanlarında yoğunlaşmaktadır. 2012’de yayımlanan Matematik ve Metafizik Kitap 1: Sayı ve Nesne eseriyle nesne merkezli bir matematik felsefesinin imkânlarını tartışmaya açmış, 2023 ve 2024 yıllarında yayımlanan Kant Okumaları I. Kritik ve Kant Okumaları II. Kritik kitaplarıyla Kant’ın eleştirel felsefesine kapsamlı bir yorum getirmiştir. Ayrıca çağdaş felsefe alanında yazdığı iki ders kitabı bulunmaktadır.

Prof. Dr. Ahmet Ayhan Çitil, akademik üretkenliğiyle öne çıkan bir isimdir. 30’un üzerinde makale ve bildiri yayımlamış, 50’den fazla akademik konuşma gerçekleştirmiştir. Akademik kariyeri boyunca birçok öğrenci yetiştirmiş olup, danışmanlığında tamamlanan 7 doktora ve 23 yüksek lisans tezi bulunmaktadır. Çitil, bilim dünyasına katkılarından dolayı birçok prestijli ödüle layık görülmüştür. Bunlar arasında 2016 UFAD Uluslararası Felsefe Araştırmaları Derneği Felsefe Yarışması Büyük Ödülü, 2017 Uluslararası Mehmet Akif Ersoy Bilim ve Sanat Ödülü, 2021 Türk Felsefe Derneği Prof. Dr. Necati Öner Felsefeye Hizmet Ödülü ve 2023 Necip Fazıl Fikir ve Araştırma Ödülü bulunmaktadır.

Dünya Mantık Günü (2025)

Dünya Mantık Günü’nün yedincisi, 14 Ocak 2025 tarihinde, saat 16:30‘da, İstanbul Üniversitesi Edebiyat Fakültesi Kurul Odası’nda, Prof. Dr. Ahmet Ayhan Çitil‘in Dünya Mantık Günü Bildirisi ile kutlayacağız. Prof. Dr. Ahmet Ayhan Çitil’in bildirisi üzerinden, mantığın günümüz koşullarındaki yerini ve imkânını ele alacağımız bir panelimiz olacak. Bütün mantıkseverleri bekleriz.

Program

Dünya Mantık Günü Bildirisi: Prof. Dr. Ayhan Çitil

Panel:
Dr. Ebubekir Muhammed Deniz
Prof. Dr. Hasan Bülent Gözkân
Prof. Dr. Özgüç Güven
Prof. Dr. İsmail Latif Hacınebioğlu
Prof. Dr. Mahbube Nazlı İnönü
Dr. Vedat Kamer (Moderatör)
Prof. Dr. Yücel Yüksel

(Soyadına göre alfabetik sıralı)