Struktur (logika matematika)

Dalam aljabar universal dan dalam teori model, struktur terdiri dari himpunan bersama dengan kumpulan operasi finiter dan relasi yang ditentukan di atasnya.

Struktur studi aljabar universal yang menggeneralisasi struktur aljabar seperti grup, gelanggang, bidang dan ruang vektor. Istilah aljabar universal digunakan untuk struktur tanpa simbol relasi.

Teori model memiliki cakupan berbeda yang mencakup teori yang lebih sewenang-wenang, termasuk struktur dasar seperti model teori himpunan. Dari sudut pandang model-teori, struktur adalah objek yang digunakan untuk mendefinisikan semantik logika urutan pertama. Untuk teori tertentu dalam teori model, struktur disebut model 'jika memenuhi aksioma yang menentukan teori itu, meskipun kadang-kadang disamarkan sebagai model semantik ketika seseorang membahas gagasan dalam pengaturan yang lebih umum dari model matematika. Ahli logika terkadang menyebut struktur sebagai interpretasi.

Dalam teori database, struktur tanpa fungsi dipelajari sebagai model database relasional, dalam bentuk model relasional.

Definisi

Lihat pula: Teori model § Aljabar universal, dan Aljabar universal § Ide dasar

Secara formal, struktur dapat didefinisikan sebagai rangkap tiga terdiri dari domain A , tanda tangan σ, dan 'fungsi interpretasi' I yang menunjukkan bagaimana tanda tangannya untuk diinterpretasikan di domain. Untuk menunjukkan bahwa suatu struktur memiliki tanda tangan tertentu σ dapat disebut sebagai struktur σ.

Domain

domain dari sebuah struktur adalah himpunan arbitrer; itu juga disebut himpunan yang mendasari struktur, pembawa (terutama dalam aljabar universal), atau universal (khususnya dalam teori model). Dalam logika orde pertama klasik, definisi struktur melarang domain kosong.

Terkadang notasi atau digunakan untuk domain , tetapi sering kali tidak ada perbedaan notasi yang dibuat antara struktur dan domainnya. (Yaitu simbol yang sama mengacu pada struktur dan domainnya.)

Tanda tangan

Artikel utama: Tanda tangan (logika)

The signature sebuah struktur terdiri dari satu set dari simbol fungsi dan simbol relasi bersama dengan sebuah fungsi yang dianggap berasal dari setiap simbol 'a bilangan asli yang disebut ariti dari s karena ini adalah ariti dari interpretasi s .

Karena tanda tangan yang muncul di aljabar sering kali hanya berisi simbol fungsi, tanda tangan tanpa simbol relasi disebut tanda tangan aljabar. Struktur dengan tanda tangan seperti itu juga disebut 'aljabar' ; ini tidak boleh disamakan dengan gagasan tentang aljabar di atas bidang.

Fungsi interpretasi

Artikel utama: Interpretasi (teori model)

Fungsi interpretasi I dari memberikan fungsi dan hubungan ke simbol tanda tangan. Setiap simbol fungsi f dari arity n diberi fungsi arity di domain. Setiap simbol relasi R arity n diberi relasi n-ary di domain. Simbol fungsi nol c disebut simbol konstan, karena interpretasinya I(c) dapat diidentifikasi dengan elemen domain konstan.

Ketika sebuah struktur (dan karenanya fungsi interpretasi) diberikan oleh konteks, tidak ada perbedaan notasi yang dibuat antara simbol s dan interpretasinya I(s) . Misalnya, jika f adalah simbol fungsi biner dari , satu hanya menulis rather than .

Catatan

1. Beberapa penulis merujuk pada struktur sebagai "aljabar" ketika menggeneralisasi aljabar universal untuk memungkinkan relasi serta fungsi.
2. Hodges, Wilfrid (2009). "Functional Modelling and Mathematical Models". Dalam Meijers, Anthonie. Philosophy of technology and engineering sciences. Handbook of the Philosophy of Science. 9. Elsevier. ISBN 978-0-444-51667-1. 
3. Ini mirip dengan definisi dari sebuah bilangan prima di dasar teori bilangan, yang telah dipilih dengan cermat sehingga tak tersederhanakan bilangan 1 tidak dianggap prima. Konvensi bahwa domain suatu struktur tidak boleh kosong sangat penting dalam logika, karena beberapa aturan inferensi umum, terutama, Instansiasi universal, tidak bersuara jika struktur kosong diizinkan. Sistem logika yang memungkinkan domain kosong dikenal sebagai logika inklusif.
4. Sebagai konsekuensi dari konvensi ini, notasi juga dapat digunakan untuk merujuk ke kardinalitas dari domain . Dalam praktiknya, hal ini tidak pernah menimbulkan kebingungan.

Referensi

• Burris, Stanley N.; Sankappanavar, H.P. (1981). A Course in Universal Algebra. Springer. ISBN 3-540-90578-2.  Free online edition.
• Hodges, Wilfrid (1997). A Shorter Model Theory. Cambridge University Press. ISBN 0-521-58713-1. 

Pranala luar

• Stanford Encyclopedia of Philosophy: "Model theory"—by Wilfred Hodges.
• PlanetMath: Entry "Signature" describes the concept for the case when no sorts are introduced.
• Baillie, Jean 2004-09-03 di Wayback Machine., "An Introduction to the Algebraic Specification of Abstract Data Types. 2004-09-03 di Wayback Machine."