Semantics Semantik From Wikipedia, the free encyclopedia Dari Wikipedia, ensiklopedia bebas Jump to: navigation , search Langsung ke: navigasi , cari
Linguistics Ilmu bahasa
Theoretical linguistics Teoritis linguistik Cognitive linguistics Kognitif linguistik Generative linguistics Linguistik generatif Quantitative linguistics Kuantitatif linguistik Phonology · Graphemics Fonologi · Graphemics Morphology · Syntax · Lexis Morfologi · Sintaks · Lexis Semantics · Pragmatics · Semantik pragmatik
Descriptive linguistics Linguistik Deskriptif Anthropological linguistics Antropologi linguistik Comparative linguistics Ilmu bahasa perbandingan Historical linguistics Sejarah linguistik Phonetics · Graphetics Fonetik · Graphetics Etymology · Sociolinguistics Etimologi · sosiolinguistik
Applied and Terapan dan experimental linguistics eksperimental linguistik Computational linguistics Komputasi linguistik Forensic linguistics Forensik linguistik Internet linguistics Internet linguistik Language acquisition Bahasa akuisisi Language assessment Bahasa penilaian Language development Perkembangan bahasa Language education Pendidikan Bahasa Linguistic anthropology Linguistik antropologi Neurolinguistics Neurolinguistics
Psycholinguistics Psikolinguistik Second language acquisition Kedua bahasa akuisisi Evolutionary linguistics Evolusioner linguistik
Related articles Artikel terkait History of linguistics Sejarah linguistik Linguistic prescription Linguistik resep List of linguists Daftar ahli bahasa List of unsolved problems Daftar masalah yang belum terpecahkan in linguistics dalam linguistik
Portal Pintu gerbang v·d·ev·d·e
Semantics (from Greek sēmantiká , neuter plural of sēmantikós ) [ 1 ] [ 2 ] is the study of meaning . Semantik (dari bahasa Yunani sēmantiká, jamak netral dari sēmantikós) [1] [2] adalah studi tentang makna . It typically focuses on the relation between signifiers , such as words , phrases , signs and symbols , and what they stand for, their denotata . Ini biasanya berfokus pada hubungan antara penanda, seperti kata-kata , frase , tanda-tanda dan simbol , dan apa yang mereka perjuangkan, mereka denotata . Linguistic semantics is the study of meaning that is used by humans to express themselves through language. semantik linguistik adalah studi tentang makna yang digunakan oleh manusia untuk mengekspresikan diri melalui bahasa. Other forms of semantics include the semantics of programming languages, formal logics, and semiotics . Bentuk lain dari semantik termasuk semantik bahasa pemrograman, logika formal, dan semiotika . The word "semantics" itself denotes a range of ideas, from the popular to the highly technical. Kata "semantik" itu sendiri menunjukkan berbagai ide-ide, dari yang populer untuk yang sangat teknis. It is often used in ordinary language to denote a problem of understanding that comes down to word selection or connotation . Hal ini sering digunakan dalam bahasa sehari untuk menunjukkan masalah pemahaman yang turun ke pemilihan kata atau konotasi . This problem of understanding has been the subject of many formal inquiries, over a long period of time, most notably in the field of formal semantics . Masalah pemahaman telah menjadi subyek dari banyak pertanyaan formal, selama jangka waktu yang panjang, terutama dalam bidang semantik formal . In linguistics , it is the study of interpretation of signs or symbols as used by agents or communities within particular circumstances and contexts. [ 3 ] Within this view, sounds, facial expressions, body language, proxemics have semantic (meaningful) content, and each has several branches of study. Dalam linguistik , itu adalah studi tentang interpretasi dari tanda-tanda atau simbol yang digunakan oleh agen atau masyarakat dalam keadaan tertentu dan konteks. [3] Dalam pandangan ini, suara, ekspresi wajah, bahasa tubuh, proxemiks memiliki semantik (berarti) konten, dan masing-masing memiliki beberapa cabang studi. In written language, such things as paragraph structure and punctuation have semantic content; in other forms of language, there is other semantic
content. [ 3 ] Dalam bahasa tulis, hal-hal seperti struktur ayat dan tanda baca memiliki kandungan semantik, dalam bentuk lain dari bahasa, terdapat konten semantik lainnya. [3] The formal study of semantics intersects with many other fields of inquiry, including lexicology , syntax , pragmatics , etymology and others, although semantics is a well-defined field in its own right, often with synthetic properties. [ 4 ] In philosophy of language , semantics and reference are related fields. Studi formal semantik berpotongan dengan bidang lain penyelidikan, termasuk ilmu mengenai bentuk kata , sintaksis , pragmatik , etimologi dan lain-lain, meskipun semantik adalah field yang didefinisikan dengan baik dalam dirinya sendiri, sering dengan sifat sintetik. [4] Dalam filsafat bahasa , semantik dan referensi merupakan bidang terkait. Further related fields include philology , communication , and semiotics . bidang terkait selanjutnya adalah filologi , komunikasi , dan semiotika . The formal study of semantics is therefore complex. Studi formal semantik karena itu kompleks. Semantics contrasts with syntax , the study of the combinatorics of units of a language (without reference to their meaning), and pragmatics , the study of the relationships between the symbols of a language, their meaning, and the users of the language. [ 5 ] Semantik kontras dengan sintaks , studi tentang kombinatorik unit bahasa (tanpa mengacu pada arti mereka), dan pragmatik , studi tentang hubungan antara simbol-simbol bahasa, yang berarti mereka, dan pengguna bahasa. [5 ] In international scientific vocabulary semantics is also called semasiology . Dalam kosakata ilmiah internasional semantik juga disebut semasiologi .
Contents Isi [hide] •
•
1 Linguistics 1 Linguistik ○
1.1 Montague grammar 1.1 Montague grammar
○
1.2 Dynamic turn in semantics 1.2 Dynamic menyerahkan semantik
○
1.3 Prototype theory 1.3 Prototipe teori
○
1.4 Theories in semantics 1.4 Teori dalam semantik
1.4.1 Model theoretic semantics 1.4.1 Model teori semantik
1.4.2 Formal (of truth-conditional) semantics 1.4.2 formal (kebenaranbersyarat) semantik
1.4.3 Lexical & conceptual semantics 1.4.3 semantik leksikal & konseptual
1.4.4 Lexical semantics 1.4.4 leksikal semantik
1.4.5 Computational semantics 1.4.5 Komputasi semantik
2 Computer science 2 Ilmu Komputer ○
2.1 Programming languages 2.1 Bahasa pemrograman
○
2.2 Semantic models 2.2 Semantic model
•
3 Psychology 3 Psikologi
•
4 See also 4 Lihat juga ○
4.1 Linguistics and semiotics 4.1 Linguistik dan semiotika
○
4.2 Logic and mathematics 4.2 Logika dan matematika
○
4.3 Computer science 4.3 Ilmu komputer
•
5 References 5 Referensi
•
6 External links 6 Pranala luar
[ edit ] Linguistics [ sunting ] Linguistik In linguistics , semantics is the subfield that is devoted to the study of meaning, as inherent at the levels of words, phrases, sentences, and larger units of discourse (referred to as texts ). Dalam linguistik , semantik adalah subfield yang dikhususkan untuk mempelajari arti, seperti yang melekat pada tingkat kata, frasa, kalimat, dan unit yang lebih besar dari wacana (disebut sebagai teks). The basic area of study is the meaning of signs , and the study of relations between different linguistic units: homonymy , synonymy , antonymy , polysemy , paronyms , hypernymy , hyponymy , meronymy , metonymy , holonymy , linguistic compounds . Daerah dasar penelitian adalah arti dari tanda-tanda , dan studi tentang hubungan antara unit linguistik yang berbeda: homonimi , sinonim , antonimi , polisemi , paronyms , hypernymy , hyponymy , meronymy , metonymy , holonymy , linguistik senyawa . A key concern is how meaning attaches to larger chunks of text, possibly as a result of the composition from smaller units of meaning. Perhatian utama adalah bagaimana makna menempel pada potongan teks yang lebih besar, mungkin sebagai akibat dari komposisi dari unit yang lebih kecil makna. Traditionally, semantics has included the study of sense and denotative reference , truth conditions , argument structure, thematic roles , discourse analysis , and the linkage of all of these to syntax. Secara tradisional, semantik telah termasuk studi tentang arti dan denotatif referensi , kondisi kebenaran , struktur argumen, peran tematik , analisis wacana , dan hubungan dari semua ini dengan syntax.
[ edit ] Montague grammar [ sunting ] tata bahasa Montague In the late 1960s, Richard Montague proposed a system for defining semantic entries in the lexicon in terms of the lambda calculus . Pada akhir 1960-an, Richard Montague mengusulkan suatu sistem untuk menentukan entri semantik dalam leksikon dalam hal kalkulus lambda . In these terms, the syntactic parse of the sentence like John ate every bagel would consist of a subject ( John ) and a predicate ( ate every bagel ); Montague showed that the meaning of the sentence as a whole could be decomposed into the meanings of its parts and relatively few rules of combination. Dalam istilah, sintaksis parse kalimat seperti John makan roti setiap akan terdiri dari subjek (Yohanes) dan predikat (makan roti tiap); Montague menunjukkan bahwa arti kalimat secara keseluruhan bisa didekomposisi menjadi makna yang bagian dan aturan relatif sedikit kombinasi. The logical predicate thus obtained would be elaborated further, eg using truth theory models, which ultimately relate meanings to a set of Tarskiian universals, which may lie outside the logic. Logis sehingga memperoleh predikat akan diuraikan lebih lanjut, misalnya dengan menggunakan model teori kebenaran, yang akhirnya berhubungan arti untuk satu set Tarskiian universal, yang mungkin berada di luar logika. The notion of such meaning atoms or primitives is basic to the language of thought hypothesis from the 70s. Gagasan atom makna atau primitif merupakan dasar bagi bahasa pemikiran hipotesis dari 70-an. Despite its elegance, Montague grammar was limited by the context-dependent variability in word sense, and led to several attempts at incorporating context, such as: Meskipun elegance, Montague tata bahasa dibatasi oleh variabilitas bergantung konteks dalam arti kata, dan menyebabkan beberapa usaha menggabungkan konteks, seperti: •
situation semantics ('80s): truth-values are incomplete, they get assigned based on context situasi semantik ('80): -kebenaran nilai-nilai yang tidak lengkap, mereka mendapatkan ditugaskan berdasarkan konteks
•
generative lexicon ('90s): categories (types) are incomplete, and get assigned based on context leksikon generatif (90): kategori (jenis) tidak lengkap, dan mendapatkan ditugaskan berdasarkan konteks
[ edit ] Dynamic turn in semantics [ sunting ] gilirannya Dinamis dalam semantik
Semantics Semantik Language · Linguistics Bahasa · Linguistik
Formal semantics ( logic & linguistics ) Formal semantik ( logika & linguistik ) Lexis Lexis Lexical semantics Leksikal semantik Statistical semantics Statistik semantik Structural semantics Struktural semantik Prototype semantics Prototipe semantik Lexicology Ilmu mengenai bentuk kata Semantic analysis Analisis Semantik Latent semantic analysis Analisis semantik laten Theory of descriptions Teori deskripsi Force Dynamics Angkatan Dinamika Unsolved problems Masalah yang belum terpecahkan Semantic matching Semantic pencocokan Analysis (machine) Analisis (mesin) Abstract semantic graph Abstrak semantik grafik Semantic Web Semantic Web Semantic wiki Semantic wiki Semantic File System Semantic File System Abstract interpretation Abstrak interpretasi Formal semantics of Formal semantik programming languages bahasa pemrograman Denotational semantics Denotational semantik Axiomatic semantics Aksiomatik semantik Operational semantics Operasional semantik Action semantics Aksi semantik Algebraic semantics Aljabar semantik Categorical semantics Kategoris semantik Concurrency semantics Concurrency semantik Game semantics Game semantik Predicate transformer.. Predikat transformator .. v·d·ev·d·e
In Chomskian linguistics there was no mechanism for the learning of semantic relations, and the nativist view considered all semantic notions as inborn. Dalam Chomskian linguistik tidak ada mekanisme untuk belajar hubungan semantik, dan kepribumian melihat semua pengertian semantik dianggap sebagai bawaan. Thus, even novel concepts were proposed to have been dormant in some sense. Jadi, bahkan konsep-konsep baru yang diusulkan telah tertidur dalam arti tertentu. This view was also thought unable to address many issues such as metaphor or associative meanings, and semantic change , where meanings within a linguistic community change over time, and qualia or subjective experience. Pandangan ini juga dianggap tidak mampu mengatasi banyak masalah seperti metafora atau makna asosiatif, dan perubahan makna , dimana makna dalam mengubah komunitas linguistik dari waktu ke waktu, dan qualia atau pengalaman subyektif. Another issue not addressed by the nativist model was how perceptual cues are combined in thought, eg in mental rotation . [ 6 ] Isu lain tidak diperhatikan oleh model kepribumian bagaimana isyarat perseptual digabungkan dalam pemikiran, misalnya di rotasi mental . [6] This view of semantics, as an innate finite meaning inherent in a lexical unit that can be composed to generate meanings for larger chunks of discourse, is now being fiercely debated in the emerging domain of cognitive linguistics [ 7 ] and also in the non- Fodorian camp in Philosophy of Language . [ 8 ] The challenge is motivated by: Pandangan semantik, sebagai terbatas berarti bawaan yang melekat dalam sebuah unit leksikal yang dapat disusun untuk menghasilkan makna untuk potongan yang lebih besar dari wacana, sekarang sedang sengit diperdebatkan dalam domain munculnya linguistik kognitif [7] dan juga di non- Fodorian kamp di Filsafat Bahasa . [8] Tantangannya adalah dimotivasi oleh: •
factors internal to language, such as the problem of resolving indexical or anaphora (eg this x , him , last week ). faktor internal untuk bahasa, seperti masalah penyelesaian indexical atau Anafora (misalnya terakhir ini, dia, minggu x). In these situations "context" serves as the input, but the interpreted utterance also modifies the context, so it is also the output. Dalam situasi ini "konteks" berfungsi sebagai input, tetapi juga memodifikasi ucapan ditafsirkan konteks, sehingga juga output. Thus, the interpretation is necessarily dynamic and the meaning of sentences is viewed as context change potentials instead of propositions . Dengan demikian, interpretasi yang dilakukan menjadi dinamis dan makna kalimat dipandang sebagai potensi perubahan konteks bukan proposisi .
•
factors external to language, ie language is not a set of labels stuck on things, but "a toolbox, the importance of whose elements lie in the way they function rather than their attachments to things." [ 8 ] This view reflects the position of the later Wittgenstein and his famous game example, and is related to the positions of Quine , Davidson , and others. faktor eksternal bahasa, bahasa yaitu bukan satu set label terjebak pada hal-hal, tetapi "kotak peralatan, pentingnya unsur-unsur yang terletak pada cara mereka fungsi daripada lampirannya ke hal." [8] Pandangan ini mencerminkan posisi kemudian Wittgenstein dan contoh permainan yang terkenal, dan berhubungan dengan posisi Quine , Davidson , dan lain-lain.
A concrete example of the latter phenomenon is semantic underspecification – meanings are not complete without some elements of context. Contoh nyata dari fenomena yang terakhir ini semantik underspecification - makna tidak lengkap tanpa beberapa elemen konteks. To take an example of a single word, "red", its meaning in a phrase such as red book is similar to many other usages, and can be viewed as compositional. [ 9 ] However, the colours implied in phrases such as "red wine" (very dark), and "red hair" (coppery), or "red soil", or "red skin" are very different. Untuk mengambil contoh dari sebuah kata tunggal, "merah", artinya dalam frase seperti buku merah mirip dengan penggunaan lainnya, dan dapat dipandang sebagai komposisi. [9] Namun, warna tersirat dalam ungkapan-ungkapan seperti "merah anggur
"(sangat gelap), dan" rambut merah "(tembaga), atau" tanah merah ", atau" kulit merah "sangat berbeda. Indeed, these colours by themselves would not be called "red" by native speakers. Memang, warna-warna ini sendiri tidak akan disebut "merah" oleh penutur asli. These instances are contrastive, so "red wine" is so called only in comparison with the other kind of wine (which also is not "white" for the same reasons). Ini contoh yang kontrastif, jadi "anggur merah" begitu dipanggil hanya dibandingkan dengan jenis lain anggur (yang juga tidak "putih" dengan alasan yang sama). This view goes back to de Saussure : Pandangan ini kembali ke de Saussure : Each of a set of synonyms like redouter ('to dread'), craindre ('to fear'), avoir peur ('to be afraid') has its particular value only because they stand in contrast with one another. Masingmasing satu set sinonim seperti redouter ('untuk takut'), craindre ('takut'), avoir peur ('takut') memiliki nilai khususnya hanya karena mereka berdiri di kontras dengan satu sama lain. No word has a value that can be identified independently of what else is in its vicinity. [ 10 ] Tidak ada kata yang memiliki nilai yang dapat diidentifikasi secara terpisah dari apa lagi yang di sekitarnya. [10] and may go back to earlier Indian views on language, especially the Nyaya view of words as indicators and not carriers of meaning. [ 11 ] dan bisa kembali ke awal India pandangan tentang bahasa, terutama Nyaya pandangan kata sebagai indikator dan bukan pembawa makna. [11] An attempt to defend a system based on propositional meaning for semantic underspecification can be found in the Generative Lexicon model of James Pustejovsky , who extends contextual operations (based on type shifting) into the lexicon. Sebuah usaha untuk mempertahankan sistem berdasarkan makna proposisional untuk underspecification semantik dapat ditemukan pada Lexicon Generative model James Pustejovsky , yang memperluas operasi kontekstual (berdasarkan tipe berpindah) ke leksikon. Thus meanings are generated on the fly based on finite context. Jadi makna dihasilkan pada terbang berdasarkan konteks terbatas.
[ edit ] Prototype theory [ sunting ] Teori Prototipe Another set of concepts related to fuzziness in semantics is based on prototypes . Satu set konsep yang berkaitan dengan ketidakjelasan dalam semantik didasarkan pada prototipe . The work of Eleanor Rosch in the 1970s led to a view that natural categories are not characterizable in terms of necessary and sufficient conditions, but are graded (fuzzy at their boundaries) and inconsistent as to the status of their constituent members. Karya Eleanor Rosch pada tahun 1970 menyebabkan pandangan bahwa kategori alam tidak characterizable dalam hal dan kondisi yang diperlukan cukup, tapi yang dinilai (fuzzy pada batas mereka) dan tidak konsisten mengenai status anggota konstituen mereka. Systems of categories are not objectively "out there" in the world but are rooted in people's experience. Sistem kategori tidak objektif "di luar sana" di dunia tetapi berakar dalam pengalaman masyarakat. These categories evolve as learned concepts of the world – meaning is not an objective truth, but a subjective construct, learned from experience, and language arises out of the "grounding of our conceptual systems in shared embodiment and bodily experience". [ 12 ] A corollary of this is that the conceptual categories (ie the lexicon) will not be identical for different cultures, or indeed, for every individual in the same culture. Kategori ini berkembang sebagai belajar konsep dunia - yang berarti bukan kebenaran obyektif, tetapi subyektif membangun, belajar dari pengalaman, dan bahasa muncul dari "grounding sistem konseptual kita dalam berbagi perwujudan dan pengalaman tubuh ". [12] A akibat wajar dari ini adalah bahwa kategori-kategori konseptual (yaitu leksikon) tidak akan sama untuk budaya yang berbeda, atau bahkan, untuk setiap individu dalam budaya yang sama. This leads to another debate (see the Sapir–Whorf hypothesis or Eskimo words for snow ). Ini mengarah ke perdebatan (lihat hipotesis Sapir-Whorf atau kata-kata Eskimo untuk salju ).
[ edit ] Theories in semantics [ sunting ] Teori dalam semantik [ edit ] Model theoretic semantics [ sunting ] Model teori semantik Main article: formal semantics (linguistics) Artikel utama: formal semantik (linguistik) Originates from Montague's work (see above). Berasal dari pekerjaan Montague (lihat di atas). A highly formalized theory of natural language semantics in which expressions are assigned denotations (meanings) such as individuals, truth values, or functions from one of these to another. Sebuah teori yang sangat formal semantik bahasa alami di mana ekspresi ditugaskan denotations (makna) seperti individu, nilai-nilai kebenaran, atau fungsi dari salah satu yang lain. The truth of a sentence, and more interestingly, its logical relation to other sentences, is then evaluated relative to a model. Kebenaran kalimat, dan lebih menarik, hubungan logis untuk kalimat lain, kemudian dievaluasi relatif terhadap model. [ edit ] Formal (of truth-conditional) semantics [ sunting ] Formal (kebenaranbersyarat) semantik Main article: truth-conditional semantics Artikel utama: -kebenaran semantik bersyarat Pioneered by the philosopher Donald Davidson , another formalized theory, which aims to associate each natural language sentence with a meta-language description of the conditions under which it is true, for example: `Snow is white' is true if and only if snow is white. Dipelopori oleh filsuf Donald Davidson , teori lain resmi, yang bertujuan untuk mengasosiasikan setiap kalimat bahasa alami dengan bahasa deskripsi meta kondisi-kondisi yang benar, misalnya: `Snow adalah putih 'adalah benar jika dan hanya jika salju putih. The challenge is to arrive at the truth conditions for any sentences from fixed meanings assigned to the individual words and fixed rules for how to combine them. Tantangannya adalah untuk sampai pada kondisi kebenaran untuk setiap kalimat dari arti tetap ditugaskan untuk kata-kata individu dan aturan tetap untuk bagaimana untuk menggabungkan mereka. In practice, truthconditional semantics is similar to model-theoretic semantics; conceptually, however, they differ in that truth-conditional semantics seeks to connect language with statements about the real world (in the form of meta-language statements), rather than with abstract models. Dalam prakteknya, semantik kebenaran bersyarat mirip dengan semantik model-teoritis, konseptual, namun, mereka berbeda dalam semantik kebenaran-bersyarat berusaha untuk terhubung bahasa dengan pernyataan tentang dunia nyata (dalam bentuk laporan metabahasa), daripada dengan model abstrak. [ edit ] Lexical & conceptual semantics [ edit ] leksikal & semantik konseptual Main article: conceptual semantics Artikel utama: semantik konseptual This theory is an effort to explain properties of argument structure. Teori ini merupakan upaya untuk menjelaskan sifat-sifat struktur argumen. The assumption behind this theory is that syntactic properties of phrases reflect the meanings of the words that head them. [ 13 ] With this theory, linguists can better deal with the fact that subtle differences in word meaning correlate with other differences in the syntactic structure that the word appears in. [ 13 ] The way this is gone about is by looking at the internal structure of words. [ 14 ] These small parts that make up the internal structure of words are referred to as semantic primitives. [ 14 ] Asumsi di belakang teori ini adalah bahwa sifat dari frase sintaktis mencerminkan arti kata bahwa kepala mereka. [13] Dengan teori ini, ahli bahasa dapat lebih menghadapi kenyataan bahwa perbedaan yang halus dalam makna kata yang berhubungan dengan perbedaanperbedaan lain dalam struktur sintaksis yang kata tersebut muncul masuk [13] Cara ini sudah hilang sekitar adalah dengan melihat struktur internal kata. [14] Bagian-bagian kecil yang membentuk struktur internal kata-kata yang disebut sebagai primitif semantik. [14] [ edit ] Lexical semantics [ sunting ] semantik leksikal Main article: lexical semantics Artikel utama: semantik leksikal
A linguistic theory that investigates word meaning. Sebuah teori linguistik yang meneliti makna kata. This theory understands that the meaning of a word is fully reflected by its context. Teori ini memahami bahwa arti kata sepenuhnya tercermin dari konteksnya. Here, the meaning of a word is constituted by its contextual relations. [ 15 ] Therefore, a distinction between degrees of participation as well as modes of participation are made. [ 15 ] In order to accomplish this distinction any part of a sentence that bears a meaning and combines with the meanings of other constituents is labeled as a semantic constituent. Di sini, arti sebuah kata dibentuk oleh hubungan kontekstual tersebut. [15] Oleh karena itu, perbedaan antara tingkat partisipasi serta modus partisipasi yang dibuat. [15] Dalam rangka mencapai perbedaan ini setiap bagian dari kalimat yang beruang arti dan menggabungkan dengan makna dari konstituen lain diberi label sebagai konstituen semantik. Semantic constituents that can not be broken down into more elementary constituents is labeled a minimal semantic constituent. [ 15 ] Semantic konstituen yang tidak dapat dipecah menjadi unsur yang lebih elementer adalah konstituen semantik label minimal. [15] [ edit ] Computational semantics [ sunting ] Komputasi semantik Main article: computational semantics Artikel utama: semantik komputasi Computational semantics is focused on the processing of linguistic meaning. Komputasi semantik difokuskan pada pengolahan makna linguistik. In order to do this concrete algorithms and architectures are described. Untuk melakukan hal ini algoritma beton dan arsitektur dijelaskan. Within this framework the algorithms and architectures are also analyzed in terms of decidability, time/space complexity, data structures which they require and communication protocols. [ 16 ] Dalam kerangka ini, algoritma dan arsitektur juga dianalisis dalam hal decidability, waktu / ruang kompleksitas, struktur data yang mereka butuhkan dan protokol komunikasi. [16]
[ edit ] Computer science [ sunting ] Ilmu Komputer In computer science , the term semantics refers to the meaning of languages, as opposed to their form (syntax). Dalam ilmu komputer , semantik merujuk pada arti bahasa, sebagai lawan untuk membentuk mereka (sintaks). Additionally, the term semantic is applied to certain types of data structures specifically designed and used for representing information content. Selain itu, istilah semantik diterapkan untuk jenis tertentu dari struktur data yang khusus dirancang dan digunakan untuk mewakili isi informasi.
[ edit ] Programming languages [ sunting ] Bahasa pemrograman Main article: semantics of programming languages Artikel utama: semantik bahasa pemrograman The semantics of programming languages and other languages is an important issue and area of study in computer science. Semantik dari bahasa pemrograman dan bahasa lainnya merupakan isu penting dan bidang studi dalam ilmu komputer. Like the syntax of a language, its semantics can be defined exactly. Seperti sintaks dari suatu bahasa, semantik yang dapat didefinisikan dengan tepat. For instance, the following statements use different syntaxes, but cause the same instructions to be executed: Sebagai contoh, laporan berikut menggunakan sintaks yang berbeda, tetapi menyebabkan instruksi yang sama untuk dieksekusi: ( C , Java , Perl , Python , Ruby , PHP , etc.) ( C , Java , Perl , Python , Ruby , PHP , dll) x := x + y x: = x + y ( Pascal ) ( Pascal ) LET X = X + Y LET X = X + Y (early BASIC ) (Awal DASAR ) x = x + y x = x + y (most BASIC dialects, Fortran ) (Paling DASAR x += y x + = y
dialek, Fortran ) ADD Y TO X GIVING X ADD Y ATAS PEMBERIAN X X (incf xy) (Xy incf)
( COBOL ) ( COBOL ) ( Common Lisp ) ( Common Lisp )
Generally these operations would all perform an arithmetical addition of 'y' to 'x' and store the result in a variable called 'x'. Umumnya operasi ini semua akan melakukan penambahan aritmatika dari 'y' ke 'x' dan menyimpan hasilnya dalam variabel yang disebut 'x'. Various ways have been developed to describe the semantics of programming languages formally , building on mathematical logic : [ 17 ] Berbagai cara telah dikembangkan untuk menggambarkan semantik bahasa pemrograman secara formal , membangun logika matematika : [17] •
Operational semantics : The meaning of a construct is specified by the computation it induces when it is executed on a machine. semantik Operasional : Yang dimaksud dengan membangun ditentukan oleh perhitungan menginduksi ketika dieksekusi pada mesin. In particular, it is of interest how the effect of a computation is produced. Secara khusus, ada hal yang menarik bagaimana pengaruh perhitungan adalah dihasilkan.
•
Denotational semantics : Meanings are modelled by mathematical objects that represent the effect of executing the constructs. Denotational semantik : Makna dimodelkan oleh objek matematika yang mewakili pengaruh melaksanakan konstruksi. Thus only the effect is of interest, not how it is obtained. Jadi hanya berpengaruh adalah kepentingan, bukan bagaimana diperoleh.
•
Axiomatic semantics : Specific properties of the effect of executing the constructs are expressed as assertions . Aksiomatis semantik : sifat spesifik dari pengaruh melaksanakan konstruksi dinyatakan sebagai pernyataan. Thus there may be aspects of the executions that are ignored. Jadi mungkin ada aspek dari eksekusi yang diabaikan.
[ edit ] Semantic models [ sunting ] model Semantic Terms such as " semantic network " and " semantic data model " are used to describe particular types of data models characterized by the use of directed graphs in which the vertices denote concepts or entities in the world, and the arcs denote relationships between them. Istilah-istilah seperti " jaringan semantik "dan" model data semantik "digunakan untuk menggambarkan jenis tertentu model data ditandai dengan menggunakan grafik diarahkan di mana simpul menunjukkan konsep-konsep atau entitas di dunia, dan busur menunjukkan hubungan antara mereka. The Semantic Web refers to the extension of the World Wide Web through the embedding of additional semantic metadata , using semantic data modelling techniques such as RDF and OWL . The Web Semantik mengacu pada perpanjangan World Wide Web melalui embedding dari semantik tambahan metadata , menggunakan data semantik model teknik seperti RDF dan OWL .
[ edit ] Psychology [ sunting ] Psikologi In psychology , semantic memory is memory for meaning – in other words, the aspect of memory that preserves only the gist , the general significance, of remembered experience – while episodic memory is memory for the ephemeral details – the individual features, or the unique particulars of experience. Dalam psikologi , semantic memori adalah memori untuk makna - dengan kata lain, aspek memori yang hanya mempertahankan inti, makna umum, pengalaman ingat - sementara memori episodik adalah memori untuk rincian fana - fitur
individu, atau keterangan unik pengalaman. Word meaning is measured by the company they keep, ie the relationships among words themselves in a semantic network . Makna kata yang diukur oleh perusahaan mereka tetap, yaitu hubungan antara kata-kata diri dalam jaringan semantik . The memories may be transferred intergenerationally or isolated in a single generation due to a cultural disruption. Kenangan dapat dikirim intergenerationally atau terisolasi dalam satu generasi karena gangguan budaya. Different generations may have different experiences at similar points in their own time-lines. generasi yang berbeda mungkin memiliki pengalaman yang berbeda pada titik yang sama di garis waktu mereka sendiri. This may then create a vertically heterogeneous semantic net for certain words in an otherwise homogeneous culture. [ 18 ] In a network created by people analyzing their understanding of the word (such as Wordnet ) the links and decomposition structures of the network are few in number and kind, and include "part of", "kind of", and similar links. Ini kemudian dapat membuat semantik bersih heterogen vertikal untuk kata-kata tertentu dalam budaya homogen dinyatakan. [18] Dalam sebuah jaringan yang diciptakan oleh orang-orang menganalisis pemahaman mereka dari kata (seperti WordNet ) link dan struktur penguraian jaringan sedikit jumlahnya dan baik, dan termasuk "bagian dari", "semacam", dan yang sejenis link. In automated ontologies the links are computed vectors without explicit meaning. Dalam otomatis ontologi link yang dihitung vektor tanpa makna eksplisit. Various automated technologies are being developed to compute the meaning of words: latent semantic indexing and support vector machines as well as natural language processing , neural networks and predicate calculus techniques. Berbagai teknologi otomatis sedang dikembangkan untuk menghitung arti dari kata-kata: pengindeksan semantik laten dan vektor mesin dukungan serta pengolahan bahasa alami , jaringan saraf dan kalkulus predikat teknik.
[ edit ] See also [ sunting ] Lihat pula Linguistics portal Linguistik portal
[ edit ] Linguistics and semiotics [ sunting ] Linguistik dan semiotika •
Analysis of subjective logics Analisis logika subjektif
•
Asemic writing Asemic menulis
•
Colorless green ideas sleep furiously Ide berwarna hijau tidur marah
•
Computational semantics Komputasi semantik
•
Discourse representation theory Wacana teori representasi
•
Formal semantics (linguistics) Formal semantik (linguistik)
•
General semantics Umum semantik
•
Hermeneutics Hermeneutika
•
Natural semantic metalanguage Alam semantik metalanguage
•
Onomasiology Onomasiology
•
Pragmatic maxim Pragmatis pepatah
•
Pragmaticism Pragmaticism
•
Pragmatism Pragmatisme
•
Problem of universals Masalah universal
•
Semantic change Semantic perubahan
•
Semantic class Semantic kelas
•
Semantic feature Semantic fitur
•
Semantic field Semantic lapangan
•
Semantic lexicon Semantic leksikon
•
Semantic progression Semantic kemajuan
•
Semantic primes Semantic bilangan prima
•
Semantic property Semantic properti
•
Semeiotic Semeiotic
•
Sememe Sememe
•
Semiosis Semiosis
•
Semiotics Semiotika
•
SPL notation SPL notasi
[ edit ] Logic and mathematics [ sunting ] Logika dan matematika •
Formal logic Logika formal
•
Game semantics Game semantik
•
Model theory Model teori
•
Godel's incompleteness theorems Teorema ketidaklengkapan Godel
•
Proof-theoretic semantics Bukti-teori semantik
•
Semantic consequence Semantic konsekuensi
•
Semantic theory of truth Semantik teori kebenaran
•
Semantics of logic Semantik logika
•
Truth-value semantics Kebenaran-nilai semantik
[ edit ] Computer science [ sunting ] Ilmu Komputer •
Formal semantics of programming languages Formal semantik bahasa pemrograman
•
Knowledge representation Representasi pengetahuan
•
Semantic networks Jaringan semantik
•
Semantic analysis Analisis Semantik
•
Semantic HTML Semantik HTML
•
Semantic integration Semantic integrasi
•
Semantic interpretation Interpretasi semantik
•
Semantic link Semantic link
•
Semantic Reasoner Semantic Reasoner
•
Semantic service oriented architecture Semantik arsitektur berorientasi layanan
•
Semantic spectrum Semantic spektrum
•
Semantic Unification Semantic Unifikasi
•
Semantic Web Semantic Web
[ edit ] References [ sunting ] Referensi
1. ^ σημαντικός . ^ σημαντικός . Henry George Liddell, Robert Scott. A Greek-English
Lexicon at Perseus Project Henry George Liddell, Robert Scott. A Leksikon YunaniInggris di Perseus Project 2. ^ The word is derived from the Greek word σημαντικός ( semantikos ), "significant",
from σημαίνω ( semaino ), "to signify, to indicate" and that from σῆμα ( sema ), "sign, mark, token". ^ Kata ini berasal dari bahasa Yunani σημαντικός kata (semantikos), "signifikan", dari σημαίνω (semaino), "untuk menunjukkan, untuk menunjukkan" dan bahwa dari σῆμα (sema), "tanda, merek, token".
3. ^ a b Otto Neurath (Editor), Rudolf Carnap (Editor), Charles FW Morris (Editor)
(1955). International Encyclopedia of Unified Science . ^ a b Otto Neurath (Editor), Rudolf Carnap (Editor), Charles Morris FW (Editor) (1955). Encyclopedia Internasional Sains Unified . Chicago, IL: University of Chicago Press . Chicago, IL: University of Chicago Press .
4. ^ Cruise, Alan. Meaning and Language: An introduction to Semantics and
Pragmatics , chapter one, Oxford Textbooks in Linguistics, 2004; Kearns, Kate. Semantics , Palgrave MacMillan 2000; Cruise, DA Lexical Semantics . ^ Cruise, Alan Semantik. Makna dan Bahasa: Sebuah Pengantar Semantik dan pragmatik, bab satu, Oxford Buku teks dalam Linguistik, 2004, Kearns,, Kate. Palgrave MacMillan 2000; Cruise, DA Semantik leksikal. Cambridge, 1986. Cambridge, 1986. 5. ^ Kitcher and Salmon (1989). Scientific Explanation . ^ Kitcher dan Salmon (1989).
Penjelasan Ilmiah. Mineapolis: University of Minnesota Press . Mineapolis: University of Minnesota Press . p. p. 35. 35. 6. ^ Barsalou, L. (1999). ^ Barsalou, L. (1999). Perceptual Symbol Systems. Behavioral
and Brain Sciences 22(4) Simbol persepsi Sistem dan. Behavioral Ilmu Otak 22 (4) 7. ^ Ronald W. Langacker (1999). Grammar and Conceptualization . ^ Ronald W.
Langacker (1999). Grammar dan Konseptualisasi. Berlin/New York: Mouton de Gruyer. ISBN 3110166038 . Berlin / New York: Mouton de Gruyer. ISBN 3110166038 . 8. ^ a b Jaroslav Peregrin (2003). Meaning: The Dynamic Turn. ^ a b Jaroslav Peregrin
(2003):. Makna The Turn Dinamis. Current Research in the Semantics/Pragmatics Interface . Lancar Penelitian di Semantik Interface. London: Elsevier. London: Elsevier. 9. ^ Gärdenfors, Peter (2000). Conceptual Spaces: The Geometry of Thought . MIT
Press / Bradford Books . ISBN 9780585228372 . http://www.lucs.lu.se/people/Peter.Gardenfors/Abstracts/conceptualspaces.html . ^ Gärdenfors, Peter (2000). Spaces Konseptual: The Geometry of Thought . MIT Press / Bradford Books . ISBN 9780585228372 . http://www.lucs.lu.se/people/Peter.Gardenfors/Abstracts/conceptualspaces.html . 10. ^ Ferdinand de Saussure (1916). The Course of General Linguistics (Cours de
linguistique générale) . ^ Ferdinand de Saussure (1916). Course Linguistik Umum (Cours de linguistique Générale). 11. ^ Bimal Krishna Matilal (1990). The word and the world: India's contribution to the
study of language . ^ Bimantoro Krishna Matilal (1990):. Kata dan dunia kontribusi India untuk mempelajari bahasa. Oxford. Oxford. The Nyaya and Mimamsa schools in Indian vyakarana tradition conducted a centuries-long debate on whether sentence meaning arises through composition on word meanings, which are primary; or whether word meanings are obtained through analysis of sentences where they appear. The Nyaya dan Mīmāṃsā sekolah di India vyakarana tradisi melakukan perdebatan
panjang berabad-abad tentang apakah arti kalimat muncul melalui komposisi pada arti kata, yang primer, atau apakah arti kata diperoleh melalui analisis kalimat di mana mereka muncul. (Chapter 8). (Bab 8). 12. ^ Lakoff, George ; Johnson, Mark (1999). Philosophy in the Flesh: The embodied
mind and its challenge to Western thought. ^ Lakoff, George ; Johnson, Mark (1999):. Filsafat dalam Daging pikiran yang terkandung dan tantangan untuk pemikiran Barat. Chapter 1. . Bab 1.. New York: Basic Books.. OCLC 93961754 . New York: Basic Books .. OCLC 93961754 . 13. ^ a b Levin, Beth & Steven Pinker. ^ a b Levin, & Steven Pinker Beth. (1991). (1991).
Lecxical & Conceptual Semantics. Lecxical & Semantik konseptual. Blackwell. Blackwell. Cambridge. Cambridge. 14. ^ a b Jackendoff, Ray. ^ a b Jackendoff, Ray. (1990). (1990). Semantic Structures.
Struktur semantik. MIT Press. MIT Press. Cambridge Cambridge 15. ^ a b c Cruse, D. (1986). ^ a b c Cruse, D. (1986). Lexical Semantics. Semantik leksikal.
Cambridge University Press. Cambridge University Press. Cambridge. Cambridge. 16. ^ Nerbonne, J. (1996). ^ Nerbonne, J. (1996). The Handbook of Contemporary
Semantic Theory (ed. Lappin, S.) Blackwell Publishing. Buku Pegangan Teori Semantic Kontemporer (ed. Lappin, S.) Blackwell Publishing. Cambridge. Cambridge. 17. ^ Nielson, Hanne Riis; Nielson, Flemming (1995). Semantics with Applications, A
Formal Introduction (1st ed.). ^ Nielson, Hanne Riis; Nielson, Flemming (1995)). Semantik dengan Aplikasi, Formal Pengenalan (1st ed.. Chicester, England: John Wiley & Sons . ISBN 0-471-92980-8 Chicester, Inggris: John Wiley & Sons . ISBN 0-471-92980-8 . . 18. ^ AJ Giannini. ^ Giannini AJ. (2010) Semiotic and semantic implications of
"authenticity". (2010) Semiotika dan implikasi semantik "keaslian". Psychological Reports. Laporan psikologis. 106(2):611-612. 106 (2) :611-612.
[ edit ] External links [ sunting ] Pranala luar Look up semantics in Wiktionary , the free dictionary. Cari semantik di Wiktionary , kamus gratis. Wikimedia Commons has media related to: Semantics Wikimedia Commons memiliki kategori mengenai: Semantik •
semanticsarchive.net semanticsarchive.net
•
Teaching page for A-level semantics Pengajaran halaman untuk A-level semantik
•
Noam Chomsky, On Referring, Harvard University, 30 October 2007 (video) Noam Chomsky, Pada Pengarah, Harvard University, 30 Oktober 2007 (video)
•
Ray Jackendoff, Conceptual Semantics, Harvard University,13 November 2007(video) Ray Jackendoff, konseptual Semantik, Harvard University, 13 November 2007 (video)
•
Semantic Systems Biology Semantic Sistem Biologi
•
Semantics: an interview with Jerry Fodor ReVEL, vol. Semantik: wawancara dengan Jerry Fodor REVEL, vol. 5, n. 5, n. 8, 2007. 8, 2007.
[show] v · d · e Philosophy of language v · d · e Filsafat bahasa R e l a t e d a r t i c l e s Analytic philosophy • Language • Philosophy of information • Philosophical logic • : Linguistics • Pragmatics • Rhetoric • Semantics • Formal semantics • Semiotics Filsafat analitik • Bahasa • Filsafat informasi • logika Filosofis • Linguistik • pragmatik • Retorika • A Semantik • semantik formal • Semiotika r t i k e l t e r k a i t : C Ambiguity • Linguistic relativity • Meaning • Language • Truthbearer • Proposition • Use– omention distinction • Concept • Categories • Set • Class • Intension • Logical form • nMetalanguage • Mental representation • Principle of compositionality • Property • Sign • cSense and reference • Speech act • Symbol • Entity • Sentence • Statement • more... eAmbiguitas • Linguistik relativitas • Arti • Bahasa • Truthbearer • Proposisi • -lagi ppembedaan Gunakan • Konsep • Kategori • Mengatur • Kelas • intensi • bentuk Logical • tMetalanguage • mental representasi • Prinsip compositionality • Properti • Daftar • Sense dan sreferensi • bertindak Pidato • Simbol • Badan • Kalimat • Pernyataan • lebih ... i n l
a n g u a g e K o n s e p d a l a m b a h a s a T Causal theory of reference • Contrast theory of meaning • Contrastivism • Conventionalism • hCratylism • Deconstruction • Descriptivist theory of names • Direct reference theory • eDramatism • Expressivism • Linguistic determinism • Logical atomism • Logical positivism • oMediated reference theory • Nominalism • Non-cognitivism • Phallogocentrism • Quietism • rRelevance theory • Semantic externalism • Semantic holism • Structuralism • Supposition itheory • Symbiosism • Theological noncognitivism • Theory of descriptions • Verification etheory Penyebab teori referensi • Kontras teori makna • Contrastivism • konvensionalisme • sCratylism • Dekonstruksi • teori Descriptivist nama • Langsung referensi teori • Dramatism • Expressivism • Linguistic determinisme • Logical atomisme • Logical positivisme • Mediated oreferensi teori • Nominalisme • Non-kognitivisme • phallogocentrism • Quietisme • fRelevansi teori • Semantic externalism • Semantic holisme • Strukturalisme • anggapan teori • Symbiosism • Theological noncognitivism • Teori deskripsi • Verifikasi teori l a n g u a g e T e
o r i b a h a s a P h i l o s o p h e r s Plato ( Cratylus ) • Confucius • Xun Zi • Aristotle • Stoics • Pyrrhonists • Scholasticism • Ibn Rushd • Ibn Khaldun • Thomas Hobbes • Gottfried Leibniz • Johann Herder • Wilhelm von o Humboldt • Fritz Mauthner • Paul Ricœur • Ferdinand de Saussure • Gottlob Frege • Franz f Boas • Paul Tillich • Edward Sapir • Leonard Bloomfield • Zhuangzi • Henri Bergson • Ludwig Wittgenstein ( Philosophical Investigations • Tractatus Logico-Philosophicus ) • Bertrand l Russell • Rudolf Carnap • Jacques Derrida ( Of Grammatology • Limited Inc ) • Benjamin Lee a Whorf • Gustav Bergmann • JL Austin • Noam Chomsky • Hans-Georg Gadamer • Saul n Kripke • Alfred Jules Ayer • Donald Davidson • Paul Grice • Gilbert Ryle • PF Strawson g Plato ( Cratylus ) • Confucius • Xun Zi • Aristoteles • Stoa • Pyrrhonists • SKOLASTIK • u Ibnu Rusyd • Ibnu Khaldun • Thomas Hobbes • Gottfried Leibniz • Johann Herder • Wilhelm a von Humboldt • Mauthner Fritz • Paul Ricoeur • Ferdinand de Saussure • Gottlob Frege • g Franz Boas • Paul Tillich • Edward Sapir • Leonard Bloomfield • Zhuangzi • Henri Bergson • e Ludwig Wittgenstein ( Pemeriksaan Filosofis • Tractatus Logico-Philosophicus ) • Bertrand Russell • Rudolf Carnap • Jacques Derrida ( Dari gramatologi • Limited Inc ) • Benjamin Lee Whorf • F Gustav Bergmann • Austin JL • Noam Chomsky • Hans-Georg Gadamer • Saul Kripke • i Alfred Jules Ayer • Davidson Donald • Paul Grice • Gilbert Ryle • Strawson PF l s u f b a h a s a
Category · Task Force · Discussion · Changes Kategori · Task Force · Diskusi · Perubahan [show] v · d · e Logic v · d · e Logika [show] Related articles Artikel terkait
Academic Akademik areas daerah
Foundational Dasar concepts konsep
Argumentation theory · Axiology · Critical thinking · Computability theory · Formal semantics · History of logic · Informal logic · Logic in computer science · Mathematical logic · Mathematics · Metalogic · Metamathematics · Model theory · Philosophical logic · Philosophy · Philosophy of logic · Philosophy of mathematics · Proof theory · Set theory Argumentasi teori · Aksiologi · Kritis berpikir · teori komputabilitas · formal semantik · Sejarah logika · logika Informal · Logika dalam ilmu komputer · logika Matematika · Matematika · Metalogic · Metamathematics · Model teori · Filosofis logika · Filsafat · Filsafat logika · Filsafat matematika · Bukti teori · Teori himpunan Abduction · Analytic truth · Antinomy · A priori · Deduction · Definition · Description · Entailment · Induction · Inference · Logical consequence · Logical form · Logical implication · Logical truth · Name · Necessity · Meaning · Paradox · Possible world · Presupposition · Probability · Reason · Reasoning · Reference · Semantics · Statement · Substitution · Syntax · Truth · Truth value · Validity Penculikan · analitik kebenaran · Antinomy · A priori · Pengurangan · Definisi · Deskripsi · entailment · Induksi · Inference · Logical konsekuensi · logis bentuk · Logical implikasi · Logical kebenaran · Nama · Kebutuhan · Arti · Paradox · Kemungkinan dunia · pengandaian · Probabilitas · Alasan ·
Penalaran · Referensi · Semantik · Pernyataan · Substitusi · Sintaks · Kebenaran · Kebenaran nilai · Validitas [show] Philosophical logic Filosofis logika
Critical thinking Pemikiran kritis and Informal logic dan Informal logika
Analysis · Ambiguity · Belief · Credibility · Evidence · Explanation · Explanatory power · Fact · Fallacy · Inquiry · Opinion · Parsimony · Premise · Propaganda · Prudence · Reasoning · Relevance · Rhetoric · Rigor · Vagueness Analisa · Ketidakjelasan · Kepercayaan · Kredibilitas · Bukti · Penjelasan · Penjelasan daya · Fakta · Kekeliruan · Permintaan · Opini · parsimoni · Premise · Propaganda · Prudence · Penalaran · Relevansi · Retorika · Rigor · ketidakjelasan
Theories of deduction Teori pengurangan
Constructivism · Dialetheism · Fictionalism · Finitism · Formalism · Intuitionism · Logical atomism · Logicism · Nominalism · Platonic realism · Pragmatism · Realism Konstruktivisme · Dialetheism · Fictionalism · Finitism · Formalisme · intuisionisme · Logical atomisme · Logicism · Nominalisme · Platonis realisme · Pragmatisme · Realisme
[show] Metalogic and Metamathematics Metalogic dan Metamathematics Cantor's theorem · Church's theorem · Church's thesis · Consistency · Effective method · Foundations of mathematics · Gödel's completeness theorem · Gödel's incompleteness theorems · Soundness · Completeness · Decidability · Interpretation · Löwenheim–Skolem theorem · Metatheorem · Satisfiability · Independence · Type–token distinction · Use–mention distinction · Teorema Cantor · Teorema Gereja · Gereja tesis · Konsistensi · Efektif metode · Yayasan matematika · kelengkapan teorema Gödel's · 's ketidaklengkapan Gödel teorema · Kesehatan · Kelengkapan · Decidability · Interpretasi · Löwenheim-Skolem teorema · Metatheorem · Satisfiability · Kemerdekaan · -tanda perbedaan Tipe · Gunakan-menyebutkan
perbedaan · [show] Mathematical logic Matematika logika
General Umum
Formal language · Formation rule · Formal system · Deductive system · Formal proof · Formal semantics · Well-formed formula · Set · Element · Class · Classical logic · Axiom · Natural deduction · Rule of inference · Relation · Theorem · Logical consequence · Axiomatic system · Type theory · Symbol · Syntax · Theory Formal bahasa · Formasi aturan · Formal sistem · Deduktif sistem · Formal bukti · formal semantik · -terbentuk formula Yah · Set · Elemen · Kelas · Klasik logika · Aksioma · Alam pengurang · Aturan inferensi · Hubungan · Teorema · Konsekuensi logis · sistem aksioma · Jenis teori · Simbol · Sintaks · Teori
Traditional logic Tradisional logika
Proposition · Inference · Argument · Validity · Cogency · Syllogism · Square of opposition · Venn diagram Proposisi · Inferensi · Argumen · Validitas · hal yg meyakinkan · silogisme · Square oposisi · diagram Venn
Propositional calculus Kalkulus proposisional and Boolean logic dan logika Boolean
Boolean functions · Propositional calculus · Propositional formula · Logical connectives · Quantifiers · Truth tables Fungsi boolean · kalkulus proposisional · proposisional formula · Logical penghubung · bilangan · Kebenaran tabel
Predicate Predikat
First-order · Quantifiers · Predicate · Second-order · Monadic predicate calculus Pertama-order · bilangan · Predikat · Kedua-order · monadik kalkulus predikat
Set theory Teori himpunan
Set · Empty set · Enumeration · Extensionality · Finite set · Function · Subset · Power set · Countable set · Recursive set · Domain · Range · Ordered pair · Uncountable set Set · Kosong mengatur · Enumerasi · Extensionality · Hingga set · Fungsi · Subset · Power mengatur · Countable mengatur · Rekursif mengatur · Domain · Range · Memerintahkan pasangan · terhitung mengatur
Model · Interpretation · Non-standard model · Finite model theory · Truth Model theory value · Validity Model · Interpretasi · Non-standard model · Hingga model Model teori teori · Kebenaran nilai · Validitas Formal proof · Deductive system · Formal system · Theorem · Logical Proof theory consequence · Rule of inference · Syntax Bukti formal · Deduktif sistem · Bukti teori Formal sistem · Teorema · konsekuensi logis · Aturan inferensi · Sintaks Computability Recursion · Recursive set · Recursively enumerable set · Decision problem · theory Teori Church–Turing thesis · Computable function · Primitive recursive function · komputabilita Rekursi · rekursif mengatur · enumerable mengatur secara rekursif · Keputusan s masalah · Gereja-Turing tesis · Komputasi fungsi · fungsi primitif rekursif ·
[show] Non-classical logic Non-klasik logika Modal logic Alethic · Axiologic · Deontic · Doxastic · Epistemic · Temporal Alethic · Modal logika Axiologic · Deontic · Doxastic · epistemik · Temporal Intuitionistic logic · Constructive analysis · Heyting arithmetic · Intuitionistic Intuitionism type theory · Constructive set theory Intuitionistic logika · Konstruktif analisis · Intuisionisme Heyting aritmatika · Intuitionistic jenis teori · Konstruktif Teori himpunan Degree of truth · Fuzzy rule · Fuzzy set · Fuzzy finite element · Fuzzy set Fuzzy logic operations · Tingkat kebenaran · aturan fuzzy · himpunan fuzzy · Fuzzy hingga Logika Fuzzy elemen · himpunan fuzzy operasi · Substructural logic Structural rule · Relevance logic · Linear logic aturan Struktural · Relevansi Substructural logika · Linear logika logika Paraconsisten t logic Dialetheism Dialetheism Paraconsisten t logika Description logic Deskripsi logika
Ontology · Ontology language Ontologi · Ontologi bahasa
[show] Logicians Logicians Anderson · Aristotle · Averroes · Avicenna · Bain · Barwise · Bernays · Boole · Boolos · Cantor · Carnap · Church · Chrysippus · Curry · De Morgan · Frege · Geach · Gentzen · Gödel · Hilbert · Kleene · Kripke · Leibniz · Löwenheim · Peano · Peirce · Putnam · Quine · Russell · Schröder · Scotus · Skolem · Smullyan · Tarski · Turing · Whitehead · William of Ockham · Wittgenstein · Zermelo Anderson · Aristoteles · Averroes · Avicenna · Bain · Barwise · Bernays · Boole · Boolos · penyanyi · Carnap · Gereja · Chrysippus · Curry · De Morgan · Frege · Geach · Gentzen · Gödel · Hilbert · Kleene · Kripke · Leibniz · Löwenheim · Peano · Peirce · Putnam · Quine · Russell · Schröder · Scotus · Skolem · Smullyan · Tarski · Turing · Whitehead · William Ockham · Wittgenstein · Zermelo [show] Lists Daftar Topics Topik
Outline of logic · Index of logic articles · Mathematical logic · Boolean algebra · Set theory Garis logika · Indeks artikel logika · Matematika
logika · Boolean aljabar · Teori himpunan Logicians · Rules of inference · Paradoxes · Fallacies · Logic symbols Ahli logika · Aturan inferensi · Paradoks · kesalahan · simbol Logika
Other Lainnya
Portal · Category · Outline · WikiProject · Talk · changes Portal · Kategori · Garis · WikiProject · Bicara · perubahan Retrieved from " http://en.wikipedia.org/wiki/Semantics " Diperoleh dari " http://en.wikipedia.org/wiki/Semantics " Categories : Grammar | Semantics | Social philosophy | Greek loanwords | Concepts in logic Kategori : Grammar | Semantik | Sosial filsafat | Yunani kata-kata pinjaman | Konsep dalam logika Hidden categories: Articles containing Ancient Greek language text Kategori: Artikel yang berisi teks bahasa Yunani Kuno Personal tools Peralatan pribadi
•
Log in / create account Masuk log / buat akun
Namespaces Namespaces
•
Article Pasal
•
Discussion Diskusi
Variants Varian Views Tampilan
•
Read Baca
•
Edit Edit
•
View history Lihat riwayat
Actions Tindakan Search Cari Top of Form
Special:Search
Bottom of Form
Navigation Navigasi
•
Main page Halaman Utama
•
Contents Isi
•
Featured content Menampilkan isi
•
Current events Warung Kopi
•
Random article Random Artikel
•
Donate to Wikipedia Menyumbang ke Wikipedia
Interaction Interaksi
•
Help Bantuan
•
About Wikipedia Perihal Wikipedia
•
Community portal Community portal
•
Recent changes Perubahan terbaru
•
Contact Wikipedia Kontak Wikipedia
Toolbox Toolbox
•
What links here Kotak peralatan
•
Related changes Perubahan terkait
•
Upload file Upload file
•
Special pages Khusus halaman
•
Permanent link Permanent link
•
Cite this page Kutip artikel ini
Print/export Cetak / ekspor
•
Create a book Buat buku
•
Download as PDF Download sebagai PDF
•
Printable version Versi cetak
Languages Bahasa
•
Afrikaans Afrikanas
•
العربية العربية
•
Asturianu Asturianu
•
বাংলা বাংলা
•
Беларуская (тарашкевіца) Беларуская (тарашкевіца)
•
Bosanski Bosanski
•
Brezhoneg Brezhoneg
•
Български Български
•
Català Català
•
Чӑвашла Чӑвашла
•
Česky Česky
•
Dansk Dansk
•
Deutsch Deutsch
•
Eesti Eesti
•
Ελληνικά Ελληνικά
•
Español Español
•
Esperanto Esperanto
•
Euskara Euskara
•
فارسی فارسی
•
Føroyskt Føroyskt
•
Français Français
•
Frysk Frysk
•
Galego Galego
•
한국어 한국어
•
िहनदी िहनदी
•
Hrvatski Hrvatski
•
Ido Ido
•
Bahasa Indonesia Bahasa Indonesia
•
Interlingua Interlingua
•
Íslenska Íslenska
•
Italiano Italiano
•
עברית עברית
•
ქართული ქართული
•
Kiswahili Kiswahili
•
Latina Latina
•
Latviešu Latviešu
•
Lietuvių Lietuvių
•
Lojban Lojban
•
Lumbaart Lumbaart
•
Magyar Magyar
•
Македонски Македонски
•
മലയാളം മലയാളം
•
मराठी मराठी
•
Bahasa Melayu Bahasa Melayu
•
Nederlands Nederlands
•
日本語 日本语
•
Norsk (bokmål) Norsk (Bokmål)
•
Norsk (nynorsk) Norsk (Nynorsk)
•
Novial Novial
•
Polski Polski
•
Português Português
•
Română Română
•
Rumantsch Rumantsch
•
Русский Русский
•
Seeltersk Seeltersk
•
Simple English Wikipedia Bahasa Inggris
•
Slovenčina Slovenčina
•
Slovenščina Slovenščina
•
Српски / Srpski Српски / Srpski
•
Srpskohrvatski / Српскохрватски Srpskohrvatski / Српскохрватски
•
Suomi Suomi
•
Svenska Svenska
•
Tagalog Tagalog
•
தமிழ் தமிழ்
•
Türkçe Türkçe
•
Українська Українська
•
اردو اردو
•
中文 中文
•
This page was last modified on 11 April 2011 at 07:03. Halaman ini terakhir diubah pada 11 April 2011 07:03.
•
Text is available under the Creative Commons Attribution-ShareAlike License Teks tersedia di bawah Creative Commons Attribution-ShareAlike License ; additional terms may apply. ; Syarat tambahan mungkin berlaku. See Terms of Use for details. Lihat Persyaratan Penggunaan untuk rincian. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. , a nonprofit organization. Wikipedia ® adalah merek dagang terdaftar dari Wikimedia Foundation, Inc , sebuah organisasi non-profit.
•
Contact us Hubungi kami
•
Privacy policy Kebijakan privasi
•
About Wikipedia Perihal Wikipedia
•
Disclaimers Penyangkalan
• •
Teks asli Inggris
Semantics Sarankan terjemahan yang lebih baik
vv
