Reconsidering Applications Provided in Logic Curriculums


Creative Commons License

Kamer V.

7th World Congress and School on Universal Logic (UNILOG 2022), Hania, Yunanistan, 1 - 11 Nisan 2022

  • Yayın Türü: Bildiri / Yayınlanmadı
  • Basıldığı Şehir: Hania
  • Basıldığı Ülke: Yunanistan
  • İstanbul Üniversitesi Adresli: Evet

Özet

Logic has an indispensable role in undergraduate philosophy curriculums. The well-known application of logic found in Turkish logic books is the symbolic statements of electrical circuits. However, logic is neither limited to two-valued logic nor electrical circuits, particularly in the post-information era. To close the gap between old-fashioned curriculums and the state-of-the-art applications of logic and highlight applications of logic in information systems, we have been teaching Structured Query Language (SQL) as an application of three-valued logic to undergraduate philosophy students since 2015. Unlike electrical circuits, where are only two values, in SQL, there is NULL that a special marker indicating that a data value does not exist in the database. Thus, SQL implementations provide a specialized three-valued logic.

In this talk, we would like to share our experiences teaching SQL by evaluating the basic properties of the three-valued logic and emphasizing the use of SQL in the curriculum. Moreover, we will argue that state-of-the-art applications must be included in the curriculums as an application of logic, such as telephone systems.