İnformel Mantık ve Akılyürütme

Creative Commons License

Kamer V.

Felsefe Arkivi, sa.40, ss.37-60, 2014 (Hakemli Dergi)

  • Yayın Türü: Makale / Tam Makale
  • Basım Tarihi: 2014
  • Dergi Adı: Felsefe Arkivi
  • Sayfa Sayıları: ss.37-60
  • İstanbul Üniversitesi Adresli: Evet

Özet

ÖZET

İnformel mantık bir disiplin olarak 1978 yılında kurulmuştur. Fakat buna rağmen, kökleri antikçağ felsefesine kadar gitmektedir. Çalışmamızda, informel mantığın formel mantık ile ilişkisi, form kavramı ve dedüktivizm üzerinden ele alınmıştır. Formel mantık ile informel mantık arasında, özellikle isimlerinden kaynaklı olarak, bir karşıtlık ilişkisi kurulmaktadır. Bu ilişkinin karşıtlık yerine, bütünlülük üzerinden kurulabileceği ve bunun da ortak paydasının akılyürütme kavramı olabileceği gösterilmek istenmiştir. Dedüktif akılyürütme dışındaki akılyürütmelerin de modellenebilmesi, yapay zekânın ilerlemesindeki kilit noktalardan biridir.

Anahtar Kelimeler: informel mantık, formun türleri, dedüktivizim, akılyürütme, akılyürütme türleri, yapay zekâ.

ABSTRACT

In spite of the fact that Informal Logic, as a discipline, had been founded in 1978, its roots go back to the Ancient Philosophy. In this paper, the relationship between informal logic and formal logic has been addressed through the concepts of form and deductivism. Based especially on their names, a relation of opposition is established between formal and informal logic. We, however, aimed to show the aforementioned relation can be established through unity rather than opposition, intending the concept of reasoning to be the common denominator of that relation. Modelling the reasonings other than deductive reasoning is one of the key points in the progress of artificial intelligence.

Keywords: informal logic, types of form, deductivism, reasoning, types of reasoning, artificial intelligence.