📑 Table of Contents
Simbolisme dalam logika untuk mengekspresikan relasi
Dalam logika, relasi biasanya direpresentasikan dengan huruf kapital, sedangkan huruf kecil digunakan untuk relata.

Relasi adalah cara di mana beberapa entitas saling terkait satu sama lain. Biasanya relasi menghubungkan entitas-entitas yang berbeda, tetapi ada juga yang mengaitkan sebuah entitas dengan dirinya sendiri. adicity dari sebuah relasi adalah jumlah entitas yang dihubungkannya. Arah sebuah relasi adalah urutan di mana elemen-elemen tersebut saling berhubungan. Konvers dari suatu relasi membawa informasi yang sama tetapi dengan arah berlawanan, seperti perbedaan antara "dua kurang dari lima" dan "lima lebih dari dua". Baik relasi maupun properti mengekspresikan ciri-ciri dalam realitas, dengan perbedaan utama bahwa relasi berlaku untuk beberapa entitas, sedangkan properti melekat pada satu entitas saja.

Berbagai jenis relasi telah dibahas dalam literatur akademis. Relasi internal, seperti kemiripan, hanya bergantung pada properti monadik dari relata. Ini berbeda dengan relasi eksternal, seperti relasi spasial, yang mengekspresikan karakteristik yang melampaui apa adanya relata tersebut. Relasi formal, seperti identitas, melibatkan gagasan abstrak dan netral terhadap topik, sedangkan relasi material, seperti kasih sayang, memiliki isi yang konkret dan substansial. Relasi logis adalah hubungan antara proposisis, sementara relasi kausal menghubungkan peristiwa-peristiwa konkret. Relasi simetris, transitif, dan refleksif dibedakan berdasarkan fitur struktural mereka.

Kesulitan metafisik, seperti pertanyaan tentang di mana relasi berada, menjadi inti perdebatan mengenai status ontologisnya. eliminativisme adalah tesis yang menyatakan bahwa relasi adalah abstraksi mental yang bukan bagian dari realitas eksternal. Posisi yang kurang radikal adalah reduksionisme, yang mengklaim bahwa relasi dapat dijelaskan melalui entitas lain, seperti properti monadik, dan tidak menambah substansi pada realitas. Menurut realisme, relasi memiliki eksistensi yang independen dari pikiran. Bentuk realisme yang kuat adalah relasionalisme, yang menyatakan bahwa seluruh realitas pada tingkat paling dasar bersifat relasional. Secara historis, eliminativisme dan reduksionisme adalah pandangan yang dominan, tetapi hal ini berubah menjelang akhir abad ke-19, ketika berbagai perkembangan dalam bidang Matematika, Logika, dan Sains mendorong pandangan yang lebih realistis.

Referensi

sunting

Kutipan

sunting

Sumber

sunting

📚 Artikel Terkait di Wikipedia

Paradoks keterketahuan Fitch

tulisan tahun 1963 oleh Frederic Brenton Fitch, berjudul "A Logical Analysis of Some Value Concepts". Selain berangkat dari tesis keterketahuan, pembuktiannya

Jaguar (mobil)

Pressed Steel subsidiary supplied Jaguar bodyshells) offered Lyons a 'logical and beneficial' merger deal, which would leave Jaguar operating under Lyons's

Robot militer

(2014-07-21), Rory Tolan, Salon Archive on air wars, Geographical Imaginations Logical Limitations to Machine Ethics, with Consequences to Lethal Autonomous Weapons

Pi

Apostol, Tom (1967). Calculus. Vol. 1 (Edisi 2nd). Wiley. hlm. 102. From a logical point of view, this is unsatisfactory at the present stage because we have

Tekken 6

be explored in the story. Harada referred to the Scenario Campaign as a logical addition to the game. He believes the franchise is known for including

Graph database

triple-level label security. 2) Network Data Model property graph: for physical/logical networks with persistent storage and a Java API for in-memory graph analytics

Definisi limit (ε, δ)

{\displaystyle I} . Keisler proved that a hyperreal definition of limit reduces the logical quantifier complexity by two quantifiers. Namely, f ( x ) {\displaystyle

William Stanley Jevons

Review, Vol. 2, No. 3, Sep., 1912. Shepherdson, John C. "W. S. Jevons: his Logical Machine and Work Induction and Boolean Algebra" Machine Intelligence 15