İnternet Ortamında

MANTIK ARAŞTIRMALARI

Kaynakları

Son Güncelleme: 28 Haziran 2012

Açıklama:

Dil incelemeleri, mantığın ve matematiğin birikimleri dikkate alınmaksızın eksik kalır düşüncesiyle, özellikle mantık alanında ortaya konulan akademik araştırma sonuçlarının kısa künyeleri ve bağlantı adresleri bu sayfada listelendi.

• YÖK Ulusal Tez Merkezi 1988-2007 yılları arası "Mantık Araştırmaları " tezleri listesi (Excel) (http://tez2.yok.gov.tr sitesinden)

MAKALELER

Mantık ve Dil Bilimi (Logic and Linguistics)

• Applications of Model Logic in Linguistics (Lawrence S. Moss-Hans-Jörg Tiede)

• Natural Logic for Natural Language (Jan van Eijck)

• Logic and Linguistics in the Twentieth Century (Alessandro Lenci-Gabriel Sandu)

• Quantification in Formal Logic and Natural Language (De Pietri)

• Teaching Logic to Linguists : The Logical Approach to Grammar (Francisco J. Selguero Lamillar)

• The Logic of Ordinary Language (Gilbert Harman)

Genel Makaleler

İngilizce

• A Semantic Decomposition of Defeasible Logics (M.J.Maher-G.Governatori)

• Algebraic Logic (H.Andreka-I.Nemeti-I.Sain)

• An Abstract Algebraic Logic View of Some Multiple-Valued Logics (Josep Maria Font)

• Categorical Abstract Algebraic Logic: Strong Version of A Protoalgebraic pi-Institution (George Voutsadakis)

• Completeness Before Post: Bernays, Hilbert and the Development of Propositional Logic (Richard Zach)

• First-Order Gödel Logics (Matthias Baaz-Norbert Preining-Richard Zach)

• Logic and Ontology (Nino B. Cocchiarella)

• Logic and Semantic Networks (Amaryllis Deliyanni-Robert A. Kowalski)

• Logic in the 14th Century After Ockham (Catarina Dutilh Novaes)

• Markov Logic Networks (Matthew Richardson-Pedro Domingos)

• On the Semantics of Classical First-Order Logic with Constructive Double Negation (Ken Kaneiwa)

• The Calculus of Logic (George Boole-1848)

• The Development of Categorical Logic (John L. Bell)

• The Logice of Ordinary Language (Gilbert Harman)

• Thoughts, Words and Things: An Introduction to Late Mediaeval Logic and Semantic Theory (Paul Vincent Spade)

Türkçe

• Bir Düşünce ve Mantık Problemi Olarak Paradoks (İsmail Latif Hacınebioğlu)

• Düşünce Tarihinde Mantık: Aristoteles Mantığından Bulanık Mantığa (Mehmet Vural)

• Ebi Salt Dani'nin Modalite Anlayışı (İbrahim Çapak)

• Farabî’de Dil ve Mantık İlişkisi (Sadık Türker)

• Gazâli'nin Mantık ve Dini Olmayan İlimlere Bakışı (Yazan: Michael e. Marmura, Çeviren: İbrahim Çapak)

• Gazâli'ye Göre Fasit Kıyas (Hüseyin Çaldak)

• Gazali'ye Göre Öncüllerin Yapısı (İbrahim Çapak)

• Kelamcıların Tanım Kuramları (Muhit Mert)

• Kıyas'ın Mantıkta ve İslâmî İlimlerde Kullanım Biçimi (Hüseyin Çaldak)

• İslam Dünyasındaki İlk Mantık Çalışmalarına Genel Bir Bakış (İbrahim Çapak)

• İslam Mantık Külliyatının Teşekkülü (İsmail Köz)

• Mantık Felsefesi (Teo Grunberg)

• Mantıkta Kullanılan Lafızlar (Sadık Türker)

• Osmanlı Dünyası'nda Mantık Bilimi ve Eğitimi (Abdulkuddüs Bingöl)

• Sâvî ve el-Besâir Adlı Mantık Eseri Üzerine Bir İnceleme (Ahmet Kayacık)

• Türk Mantıkçıları (Yazan: M.Ali Ayni, Sadeleştiren: Naim Şahin)

 

Stanford Encyclopedia of Philosophy-Logic

• Ancient Logic (Susanne Bobzien)

• Classical Logic (Stewart Shapiro)

• Combining Logics (Walter Carnielli-Marcelo Esteban Coniglio)

• Connexive Logic (Heinrich Wansing)

• Deontic Logic (Paul McNamara)

• Epistemic Logic (Vincent Hendricks-John Symons)

• Fuzzy Logic (Peter Hajek)

• Hybrid Logic (Torben Braüner)

• Inductive Logic (James Hawthorne)

• Infinitary Logic (John L. Bell)

• Informal Logic (Leo Groarke)

• Intensional Logic (Melvin Fitting)

• Intuitionistic Logic (Joan Moschovakis)

• Linear Logic (Roberto Di Cosmo-Dale Miller)

• Logical Consequence (JC Beall-Greg Restall)

• Logical Constants (John MacFarlane)

• Logical Constructions (Bernard Linsky)

• Logical Form (Paul Pietroski)

• Logical Truth (Mario Gomez-Torrente)

• Logic and Ontology (Thomas Hofweber)

• Many-Valued Logic (Siegrfied Gottwald)

• Modal Logic (James Garson)

• Non-Monotonic Logic (G.Aldo Antonelli)

• Paraconsistent Logic (Graham Priest-Koji Tanaka)

• Propositional Dynamic Logic (Philippe Balbiani)

• Provability Logic (Rineke Verbrugge)

• Relevance (Edwin Mares)

• Second-Order and Higher-Order (Herbert B. Enderton)

• Substructural (Greg Restall)

• Temporal (Antony Galton)

• The Early Development of Set Theory (José Feroiros)

• Logic and Artificial Intelligence (Richmond Thomason)

• Logic and Games (Wilfrid Hodges)

• Logic of Belief Revision (Sven Ove Hansson)

• Logic of Conditionals (Horacio Arlo-Costa)

Bulanık Mantık / Fuzzy Logic

İngilizce

• Development of Fuzzy Logic and Neural Network Control and Advanced Emissions Modeling for Parallel Hybrid Vehicles (A.Rajagopalan-G.Washington-G.Rizzoni-Y.Guezennec)

• Fuzzy Logic, Fuzzy Thinking and the Teaching/Learning of Mathematics in Multicultural Situtations (Filippo Spagnolo)

• Fuzzy Logic Introduction (Martin Hellman)

• Fuzzy Logic Knowledge Bases in Integrated Landscape Assessment: Examples and Possibilities (Keith M. Reynolds)

• Fuzzy Logic, Neural Networks and Soft Computing (Lütfi A. Zadeh)

• Fuzzy Logic Systems for Engineering: A Tutorial (Jerry M. Mendel)

• Fuzzy Logic Toolbox for Use with MATLAB (Lütfi Zadeh'in önsözüyle)

• Image Classification Based on Fuzzy Logic (I. Nedeljkovic)

• Probability Theory and Fuzzy Logic (Lütfi A. Zadeh)

• Tutorial on Fuzzy Logic (Jan Jantzen)

Türkçe

• Antalya'da Faaliyet Gösteren İnşaat Firmalarına Yönelik Ekonomik Durum Analizi: Bulanık Mantık Yaklaşımı (Rıfat Tür-Aynur Kazaz-Ahmet Yardımcı)

• Bir Karar Destek Aracı Bulanık Hedef Programlama ve Yerel Yönetimlerde Vergi Optimizasyonu Uygulaması (Mustafa Güneş-Nurullah Umarusman)

• Bulanık Doğrusal Sistemler ve Regresyon Modellerine Uygulanması (Mustafa Güneş)

• Bulanık Küme Teorisinin Yeraltı Üretim Yönetimi Seçiminde Kullanılabilirliği (A.Karadoğan-A.Başçetin-A.Kahriman-S.Görgün)

• Bulanık Mantık (Tansu Küçüköncü) html

• Bulanık Mantık: Bulanıklık Kavramı (İsmail H. Altaş)

• Bulanık Mantığın Jeodezik Problemlerin Çözümünde Kullanılması (M.Yılmaz-E.Arslan)

• Bulanık Mantık: Özellikleri ve Süreksizlik Denetimli Bir Şey Duraysızlığına Uygulanması (Candan Gökçeoğlu-Harun Sönmez-Murat Ercanoğlu)

• Bulanık Mantık Metodu ile Tekil Yükler Altında İki Açıklıklı Kirişlerin Göçme Yük Faktörü Değerinin Bulunması (Harun Tanyıldızı-Salih Yazıcıoğlu)

• Bulanık Mantık Sistemine Dayalı Uyarlanır Ağ Eklenmiş Tabu Araştırma İzleyicisi ile Hedef İzleme (İlke Türkmen-Kerim Güney-Derviş Karaboğa)

• Bulanık Mantık Tabanlı Zaman Serisi Veri Madenciliği Kullanan Tahmin Algoritması (İlhan Aydın-Mehmet Karaköse-Erhan Akın)

• Bulanık Mantık ve Lojistik Regresyon Yöntemleri ile Ulaşım Ağlarında Geçki Seçim Davranışının Modellemesi (Y.Şazi Murat-Nurcan Uludağ) yeni

• Bulanık Mantık ve Uçuş Kontrol Problemine Uygulanması (Emre Kıyak-Ayşe Kahvecioğlu)

• Bulanık Mantık Yöntemi Kullanılarak GSM BTS İstasyonları İçin Sağlık Zararlarının Değerlendirimesi (Selçuk Çömlekçi-Süleyman Bilgin-Özlem Ulukut)

• Bulanık Mantık Yöntemiyle Gezgin Robot Navigasyonu (Osman Parlaktuna-Barış Bakla-Metin Özkan-Ahmet Yazıcı)

• Bulanık Mantıklı Kayan Kipli Kontrol Tasarımı ve Robot Yörünge Takibinde Uygulanması (Yüksel Hacıoğlu)

• Dinamik Sistemlerde Bulanık Mantık Metodu ve Örnek Olarak Hisse Senedi Piyasasının Modellenmesi (Hakan Aksoy)

• Doğrusal Bir Hidrolik Hareketlendirici Sistemin Bulanık Mantık Yaklaşımıyla Konum Kontrolü (Ali Volkan Akkaya-Saban Çetin)

• Gerilim Çökmelerinin Enerji Kalitesine Etkisinin Bulanık Mantık Yardımıyla İncelenmesi (Fuat Küçük-Ömer Gül)

• Günlük En Büyük Sıcaklıkların Bulanık Kümeler ile Kestirimi (Hasan Tatlı-Zekai Şen)

• Hava Gücü Mukayesesi İçin Bulanık AHP Modeli (Hakan Çanlı-Ahmet Kandakoğlu)

• İki Bacaklı Yürüyen Robotlarda Bulanık Mantıklı Yürüyüş Biçimi Uyarlaması (Özkan Bebek-Kemalettin Erbatur-Okan Kurt)

• Kaliteli İş Paylaşımı Problemi İçin Bulanık Mantık Yaklaşımı (Efendi N. Nasibov-A.Övgü Kınay)

• Kavşak Trafik Sinyalizasyon Sistemi İçin Bulanık Mantık Tabanlı Gerçek Zamanlı Denetleyici Tasarımı ve Uygulaması (O. Ayhan Erdem)

• Mühendislik Sistemlerinin Bulanık Çok Amaçlı Eniyilemesi (Ö.Keleşoğlu)

• Portföy Analizinde Bulanık Mantık Yaklaşımı (İrfan Ertuğrul-Dilek Pelitli) makele özeti

• Sandviç Eş Düzlemli Dalga Kılavuzlarının Analizleri İçin Bulanık Mantık Sistemine Dayalı Uyarlanır Ağ Modelleri (Mustafa Türkmen-Sabri Kaya-Kerim Güney)

• Sinyalize Kavşaklardaki Taşıt Gecikmelerinin Bulanık Mantık ile Modellenmesi (Y.Şazi Murat)

• Süreç Gürültüsü Bulanık Mantıkla Belirlenen Olasılıksal Veri İlişkilendirme Süzgeci ile Hedefi İzleme (İlke Türkmen-Kerim Güney)

• Taşımacılık Sektörünün İşleyiş Süreci, Bulanık Dağıtım Probleminin Tamsayılı Doğrusal Programlama Model Denemesi (Ahmet Ergülem-Halim Kazan)

• Tedarik Zinciri Yönetiminde Bulanık AHP Yönetimi Kullanılarak Tedarikçilerin Performansının Ölçülmesi: Otomotiv Yan Sanayiinde Bir Uygulama (Gülşen Akman-Atakan Alkan)

• Türk Vergi Sisteminde Bulanık Mantık Uygulamaları (Mustafa Güneş-Osman Nuri Yiğitbaşı) html

• Yapay Sinir Ağları ve Birleştirilmiş Sinirsel Bulanık Sistemler ile Şehirlerarası Yük Taşıması Tür Seçiminin Modellenmesi (Ahmet Tortum-Nadir Yayla-Mahir Gökdağ)

Doğruluk (Truth) (yeni)

• Formal Backround for Thearies of Truth (Richard G. Heck Jr.)

• Language Truth Logic and God (A.J.Ayer)

• Logical Truth

• Origin of Russell's Early Theory of Logical Truth as Purely General Truth: Bolzano, Pierce, Frege, Venn or Maccoll?

• Tarski on Truth and Its Definition (Peter Milne)

• Tarski's Truth Definitions

• The Semantic Conception of Truth and the Foundations of SemanticS (Alfred Tarski)

• Truth, Correspondence, Models and Tarski (Panu Raatikainen)

KİTAPLAR

• A Quick Introduction to Logic (Scott Lehmann)

• Artificial Intelligence, Logic and Formalizing Common Sense (John McCarthy)

• Basic Concepts in Modal Logic (Edward N. Zalta) (yeni)

• Hegel's Logic (An Essay in Interpretation) (John Grier Hibben)

• Introduction to Neutrosophic Logic (Charles Ashbacher)

• Logic Self-Taught: A Workbook (Katarzyna Paprzycka)

• Mathematical Logic (Stephen G. Simpson)

• Probability Theory: The Logic of Science (E.T.Jaynes)

• Symbolic Logic (Lewis Carroll)

• The Development of Mathematical Logic from Russell to Tarski: 1900-1935 (Paolo Mancosu-Richard Zach-Calixto Badesa)

• The Origin and Significance of Hegel's Logic: A General Introduction to Hegel's System (J.B.Baillie)

DERS NOTLARI

• Modern Symbolic Logic (Ian Martel)

• The Linear Logic Primer (Roberto Di Cosmo)

• Fuzzy Control (Erich Peter Klement)

• Fuzzy Intro (Slides Chapter 1), Fuzzy Logic (Slides Chapter 2) , Fuzzy Control (Slides Chapter 3), FuzPID (Slides Chapter 4), FuzNonlin (Slides Chapter 5), FuzSoc (Slides Chapter 6) (ppt.)

Milli Eğitim Bakanlığı Kitapları(yeni)

• Klâsik Mantık
• Mantık Felsefesi
• Mantığın Uygulamaları
• Modern (Sembolik) Mantık

Bu sayfa Dr.Mustafa Altun tarafından hazırlanmıştır. © 2008-2015