İlk ve orta öğrenimini Ankara’da tamamladı. 1971 yılında DTCF Felsefe Bölümü‘nden mezun oldu. 1977 yılında İstanbul Üniversitesi, Edebiyat Fakültesi, Sistematik Felsefe kürsüsüne asistan olarak atandı. 1978 yılında “Pozitif Bilimlerde Basitlik İlkesinin Belirlenmesi Yolunda Bir Deneme” başlıklı çalışmasıyla Doktor unvanını aldı. 1979-1980 yıllarında Viyana Üniversitesi I. Felsefe Enstitüsünde çalışmalar yaptı. 1982 yılında İstanbul Üniversitesi Edebiyat Fakültesi Sistematik Felsefe ve Mantık Anabilim Dalı’na Yardımcı Doçent olarak atandı. 1983 yılında Doçent oldu. 1988 yılında Profesör unvanını aldı. İstanbul Üniversitesi Rektör Yardımcılığı görevini 2004-2009 tarihleri arasında yapmıştır. İstanbul Üniversitesi Edebiyat Fakültesi’nde, kurucusu ve başkanı olduğu Mantık Anabilim Dalı’nda öğretim üyesi olarak 2000-2015 yılları arasında görev yapmış; İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi‘ni 2014 yılında kurmuş ve 2015 yılına kadar başkanlığı sürdürmüş; 1989-2015 yılları arasında Felsefe Bölümü başkanlığını yürütmüştür. 16 Aralık 2014 tarihinde Mantık Uygulama Derneği‘nin kurucu yönetim kurulu başkanı olmuş ve 12 Ocak 2015 tarihinden Mantık Derneği ilk başkanı olarak seçilmiştir. 2012 yılından beridir Mantık Çalıştayı‘nı, 2014’ten beridir Mantık Yaz Okulu‘nu düzenlemektedir.