SEMANTIK TOPOLOGIS DALAM TEORI KONSEKUENSI LOGIS ALFRED TARSKI (1901-1983)

FITRIADI K, Prof. Drs. M. Mukhtasar Syamsuddin, M. Hum., Ph.D of Arts; Dr. Sonjoruri Budiani Trisakti, M.A.

2022 | Skripsi | S1 FILSAFAT

Ada banyak variasi kondisi bagi penetapan kriteria logikalitas, yaitu kriteria untuk membedakan antara term logis dan non-logis. Skripsi ini bertujuan untuk membahas beberapa topik yang relevan dengan persoalan tersebut: 1) kriteria kelogisan, 2) demarkasi, 3) pembuktian bahwa m-t memenuhi preservasi kebenaran, dan 4) penjelasan filosofis tentang konsekuensi logis. Model penelitian yang digunakan dalam skripsi ini adalah penelitian kepustakaan. Objek material penelitian ini adalah struktur logika Tarskian, yaitu persoalan ekstensi kebenaran logis dan konsekuensi logis; sedangkan objek formalnya adalah interpretasi topologis. Penelitian ini dilakukan dengan empat tahap: 1) inventarisasi data, 2) klasifikasi, 3) identifikasi masalah, dan 4) penyusunan hasil dari data yang telah dianalisis. Penelitian ini menghasilkan tiga kesimpulan. Pertama, konsekuensi logis Tarski merupakan struktur logis yang dibangun di atas bahasa formal tertentu yang bersifat umum dan niscaya dan konstanta logisnya didefinisikan oleh fungsi ekstensional tunggal yang domain ekstensinya terbatas. Kedua, interpretasi topologis merupakan varian semantik yang mengombinasikan interpretasi atas ruang dan model. Ketiga, interpretasi topologis bertujuan untuk menginisiasi ketepatan ekstensi definisi kebenaran logis dan konsekuensi logis Tarskian di dalam ruang topologis.

There are many various conditions for determining the criterion of logicality, namely a condition to distinguish between logical and nonlogical terms. This research aims to discuss several topics that are relevant to such a problem: 1) the criterion of logicality; 2) the demarcation problem; 3) proof that m-t is satisfied for the preservation of truth; and 4) philosophical explanations of logical consequences. This research is literature research. The subject matter of this research is Tarskian logical structure, namely an extension of logical truth and logical consequence, while the perspective is topological interpretation. This research is conducted through four steps: 1) collecting data; 2) classifying data; 3) identifying problems; and 4) writing the result of analysed data. This research finds three conclusions. Firstly, Tarski's logical consequence is a logical structure that is built based on a general and necessary formal language and has logical constants defined by singular extensional function, the extension domain of which is restricted. Secondly, topological interpretation is a variant of semantics combining interpretations of space and model. Thirdly, topological interpretation aims to initiate the correct extension of the definition of logical truth and Tarskian logical consequence in topological space.

Kata Kunci : Konsekuensi logis, Tarski, Semantik topologis, Konstanta logis, Kebenaran logis