Ali Durusoy’un Kaleminden Dünya Mantık Günü Bildirisi

Mantık Nedir-Ne Değildir?

Mantığın ne olduğunu bilirsek ne olmadığını da bilmiş oluruz. Zira bir şeyi tanımlama yollarından biri de şeyin zıttı yani karşıtı ile tanımlanmasıdır. Başka deyişle olmadığı şeyle tanımlanmasıdır. Tıpkı şairin “Gerçi zıd zıddın ile kâim olmaz. Velakin zıd zıddınsız bilinmez” sözünde olduğu gibi.

Bir şeyin tek bir tanımının olması mantık biliminde bir ilkedir. Buna rağmen farklı açılardan mantığın değişik tanımları yapılmış olabilir. Amacım bu tanımları serimlemek ve eleştirmek değildir. Sadece konuyla ilgili görüşlerimi paylaşmak istiyorum. O kadar!

Kısaca mantık konusuna göre bilginin bilimidir. Dolayısıyla bilgi olarak bilgi ile ilgili her sorun mantığın konusudur.

Amaç olarak mantık, bilime giriş bilimidir. Bu itibarla mantık bilgi ve bilimin ne olduğunu, nasıl elde edileceğini, onun tanım ve kanıt yoluyla nasıl kazanılacağını açıklayan bir bilgi ve bilim kuramıdır. Bilgi ve bilim nedir? Bilgi ve bilimin kurucu öğeleri, olmazsa olmazları ve bileşenlerine dair bilgi verir mantık. Ama unutmayalım ki bir şeyin kuramı, o şeyin kendisi değildir.

Bilginin tanımında sonsuzca geriye gidiş olmaması için onu amacı bakımından tanımlarsak bilgi; bilinecek şeyleri, kendisi ile bildiğimiz şeydir, diye tanımlayabiliriz. (Mantığa niçin organon ve alet dendiğini hatırlayalım. Alet bir amaca ulaştıran araçtır.)

Demek ki bu süreçte bir bilen (âlim), bir bilgi (ilim), bir de bilinen (malûm veya mevcûd) var.

Tıpkı sayının, sayılacak şeyleri kendisiyle saydığımız şey olması gibi. Yine bu sayma sürecinde de bir sayan, bir sayı, bir de sayılanlar söz konusudur. Aynı durum ölçü için de geçerlidir. Nitekim ölçme işinde bir ölçen, bir ölçü, bir de ölçülen bulunmaktadır.

Bilindiği üzere sayma ve ölçme işleminde sayanlar ve sayılanlar, ölçenler ve ölçülenler değişse bile, sayılar ve ölçüler kendiliklerinde değişmeden sabit kalırlar. Tıpkı bunun gibi, bilgi dediğimiz şey de bilenler ve bilinenler değişse bile kendiliğinde değişmeden sabit kalır.

Bu süreçte bilenden ve bilinenden ayrı değişmeden sabit kalan bilgi, salt bir biçim, suret, mefhum veya formdur. İşte mantığın sûrî-formal bir bilim olmasının anlamı budur. Tıpkı bilgi gibi sayı ve ölçü de formdur, surettir. Rakamlar ve şekiller, zihindeki bu formun göstergeleridir.

Nasıl sayı bilimi (aritmetik) ve ölçü bilimi (geometri) saymayı ve ölçmeyi önceleyen ve öğreten birer sûrî-formel bilim ise mantık da bilgiyi inceleyen, bilmeyi, yani tanım ve kanıt yapmayı öğreten, başka deyişle bir şeyin ne olduğunu, niçin ve neden öyle olduğuna ilişkin bilginin nasıl elde edileceğini öğreten sûrî-biçimsel bir bilimdir.

Bir şeyin veya şeylerin ne olduğunu, niçin olduğunu bilmek, o şeylerin sayısını ve ölçüsünü bilmek olmadığı gibi onların sayılarını ve ölçülerini bilmek de onların ne olduğunu, niçin ve neden olduğunu bilmek demek değildir. Bir şeyin neliği ve niçinliğinin bilgisi (tanım ve kanıt) sayının ve ölçünün bilgisinden önce gelir. Dolayısıyla “sayı nedir?”, “ölçü nedir?” sorusunu da tanım yoluyla yani mantıkla açıklarız. Bu itibarla mantık, sûrî birer bilim olmakla birlikte, sayı ve ölçü biliminden önce gelir. Zira mantık, bilginin bilimidir. Dolayısıyla mantığı, sayı ve ölçü bilimine indirgemek veya onun bir bölümü gibi değerlendirmek doğru bir yaklaşım değildir. Bilginin ve bilimin öğrenilmesi ve öğretilmesi, dil ve yazı ile olmakla birlikte mantık, bir dilbilim de değildir.

Mantık evrensel bir bilim iken dil-bilim belli bir dilin dilbilgisidir. Fakat mantıkçı, hangi dilde mantık öğreniyor ve öğretiyorsa o dilin dilbilgisini bilmek zorundadır. Mantıktaki bilen-bilgi ve bilinenin yerini dilbilimde anlatan-anlam (mana) ve anlayana bırakır. Nasıl ki dilbilim anlama ve anlatmanın grameri ise mantık da bilmenin ve bildirmenin eşdeyişle bilginin ve bilimin grameridir.

Hangi türden olursa olsun bütün yazın etkinliklerinde yazar yazdığı dilin dilbilim kurallarını göz önünde bulundurmak zorunda olduğu gibi, bilim insanı da hangi bilim dalında olursa olsun açıklamalarını yani tanım ve kanıtlarını yaparken mantığın kurallarını göz önüne almak zorundadır. Aksi takdirde yazdığı metnin bilimselliği tartışılır.

Bilginin bir biçim, suret veya form olduğunu söylemiştik. Mantık, bu formun alabileceği muhtemel içerik değerlerini yani maddesini de belirler. Formun alabileceği muhtemel içerik değerlerini söylemesinden dolayı mantığın bir tür metafizik veya ontoloji gibi değerlendirilmesi de yanlıştır. Bu formun alabileceği muhtemel içerik değerlerinden hangisini aldığını belirlemek bilimin işidir. Bu itibarla mantık bilime giriştir. Tüm bilimlerin en genel ilkesidir. İlke, ilkesi olduğu şeye dahil olmadığı gibi, mantık da bir bilime onun bir bölümü veya parçası olarak dahil değildir. İlke, ilkesi olduğu şeyi tanımlar, ama ilkesi olduğu şey ilkeyi tanımlayamaz.

Bu itibarla mantık, bilgi ve bilimin ne olduğunu tanımlar ama herhangi bir bilim mantığı tanımlayıp açıklayamaz. Dolayısıyla mantık, kendisi için bilim, diğer bilimler için bir alet ve araştırma yöntemidir. Mantık öğrenmek bilimsel çalışma için gereklidir ama yeterli değildir. Mantık tüm bilimlerin formudur, biçimidir.

Bilimler suretleri bakımından değil, maddeleri yani konuları bakımından birbirinden ayrılırlar. Bu durumu bal ve petek örneği üzerinden daha açık ifade edebiliriz. Bal; kekik, çiçek, kestane ve benzeri türlerine ayrılmakla birlikte hepsinde peteğin biçimi, formu aynıdır, değişmez. Dolayısıyla bilimler bal ise mantık da onun peteği gibidir. Bu durumda mantık öğrenip de bilimsel çalışma yapmayan mantıkçı, peteği yapıp da bal yapmayan arı gibidir. Nitekim mantık tarihine baktığımızda başta mantığın kurucusu Aristoteles olmak üzere Farabi, İbn Sina ve İbn Rüşd gibi büyük mantıkçılar aynı zamanda birer bilim insanıdırlar. Öyleyse başarılı bir bilim insanı olmak için kişinin sadece mantık değil, dilbilim, sayı bilim ve ölçü bilimi de öğrenmesi gerekir. Bunları öğrenmek gereklidir ama yeterli değildir. Bizzat uygulamak da gerekir.

Bu vesileyle 14 Ocak 2026 “Dünya Mantık Günü”nüzü içtenlikle kutlayarak sözlerimi burada bitiriyorum. Bir dahaki mantık gününde buluşmak dileğiyle.

Prof. Dr. Ali Durusoy
14 Ocak 2026

Prof. Dr. Ali Durusoy’un Özgeçmişi

1961’de Alanya Başköy’de doğdu. 1978’de Alanya Lisesi’nden, 1983’te Atatürk Üniversitesi İslâmî İlimler Fakültesi’nden mezun oldu. Aynı yıl Üsküdar İmam Hatip Lisesi’ne meslek dersleri öğretmeni olarak atandı. 1985’te Marmara Üniversitesi İlahiyat Fakültesi İslam Felsefesi Anabilim Dalına araştırma görevlisi olarak başladı. 1992’de doktorasını tamamladı. 2001 yılında Mantık doçenti, 2006 yılında ise Mantık profesörü oldu. Hâli hazırda M.Ü. İlahiyat Fakültesi Felsefe ve Din Bilimleri bölüm başkanlığı görevini yürütmektedir.

Alanıyla ilgili yayınlanmış bazı çalışmaları şunlardır:

  • ⁠Örnek Çeviri Metinlerle Mantık İlmine Giriş, İFAV Yayınları, 5. Baskı, İstanbul 2020.
  • İbn Sînâ Felsefesinde İnsan ve Âlemdeki Yeri, İFAV Yayınları, 4. Baskı, İstanbul 2021.
  • ⁠İslam Mantık Tarihi Araştırmaları I: Ebû Nasr Fârâbî, İFAV Yayınları, 2. Baskı, İstanbul 2024.
  • İslam Mantık Tarihi Araştırmaları II: Ebû Ali İbn Sînâ, İFAV Yayınları, 1. Baskı, İstanbul 2024.
  • İslam Mantık Tarihi Araştırmaları III: Şîrâzî, Gazzâlî, İbn Rüşd, Sekkâkî, İFAV Yayınları, 1. Baskı, İstanbul 2025.
  • ⁠İbn Sînâ, el-İşârât ve’t-tenbîhât (Ortak çeviri)

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

Dünya Mantık Günü’nün sekizincisini, 14 Ocak 2026 Çarşamba günü, saat 14:30‘da, İstanbul Üniversitesi Edebiyat Fakültesi Kurul Odası’nda, Prof. Dr. Ali Durusoy‘un Dünya Mantık Günü Bildirisi ile kutlayacağız. Prof. Dr. Ali Durusoy‘un 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. Ali Durusoy

Panel:
Arş. Gör. Dr. Cemalettin Ergün
Dr. Öğr. Üyesi Eylem Hacımuratoğlu Özer
Prof. Dr. Ferruh Özpilavcı
Prof. Dr. Mehmet Özturan
Dr. Öğr. Üyesi Vedat Kamer
Dr. Öğr. Üyesi Alper Yavuz
Prof. Dr. Yücel Yüksel (Moderatör)

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

Ölümünün 100. Yılında Frege Sempozyumu Programı İlan Edildi

Mimar Sinan Güzel Sanatlar Üniversitesi Fen Edebiyat Fakültesi Felsefe Bölümü ve Mantık Araştırmaları Derneği tarafından düzenlenen Ölümünün 100. Yılında Frege Sempozyumu, 11-12 Aralık 2025 tarihlerinde, Mimar Sinan Güzel Sanatlar Üniversitesi ev sahipliğinde, MSGSÜ Fındıklı Yerleşkesi Sedad Hakkı Eldem Oditoryumu‘nda gerçekleştirilecektir. Bütün Frege severleri bekleriz.

Etkinlik Programı: E-Tablo | HTML | PDFXLSX
Konum: https://maps.app.goo.gl/1W4cSEcrvsWmLH1x6

Dr. Ali Başak Karatay Defnedildi

Felsefe ve mantık alanında yaptığı değerli katkılar ile bilinen, Boğaziçi Üniversitesi Felsefe Bölümü emekli öğretim üyesi, Dr. Ali Başak Karatay‘ın cenazesi, meslektaşlarının omzunda, Moda Camii’nden, son yolculuğuna uğurlandı.

I. Ulusal Mantık Sempozyumu Programı İlan Edildi

İ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. Bütün mantık severleri bekleriz.

Etkinlik Programı: E-Tablo | HTML | PDFXLSX
Web: https://sempozyum.mantik.tr

Uluslararası Charles Sanders Peirce Kongresi: Peirce İstanbul’da 23 Ekim’de Başlıyor

İ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.

Tarih: 23-24 Ekim 2025
Yer: İstanbul Üniversitesi Edebiyat Fakültesi
Konum: https://maps.app.goo.gl/LYYmUBK33BPiK1weA
Etkinlik Programı: https://peirce.mantik.tr/program/
Bildiri Özetleri: https://peirce.mantik.tr/book-of-abstracts/
Web: https://peirce.mantik.tr

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’nun yarışmaya katılım için uçak biletleri, Mono Bilişim Anonim Şirketi‘nin bağışıyla sağlanmıştır.

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.