Semantik (dari bahasa Yunani sēmantiká, netral jamak dari sēmantikós) [1] [2] adalah studi tentang makna .Ini berfokus pada hubungan antara penanda, seperti kata-kata , frase , tandatanda dan simbol , dan apa yang mereka perjuangkan, mereka denotata . Semantik linguistik adalah studi tentang makna yang digunakan oleh manusia untuk mengekspresikan diri mereka melalui bahasa. Bentuk lain dari semantik termasuk semantik bahasa pemrograman, logika formal, dan semiotika . Kata "semantik" itu sendiri menunjukkan berbagai ide, dari yang sangat populer untuk teknis. Hal ini sering digunakan dalam bahasa sehari untuk menunjukkan masalah pemahaman yang turun ke pemilihan kata atau konotasi . Ini masalah pemahaman telah menjadi subyek penyelidikan resmi banyak, selama jangka waktu yang panjang, terutama dalam bidang semantik yang formal . Dalam linguistik , itu adalah studi tentang penafsiran tanda atau simbol-simbol seperti yang digunakan oleh agen atau komunitas dalam situasi tertentu dan konteks. [3] Dalam pandangan ini, suara, ekspresi wajah, bahasa tubuh, dan proxemics telah semantik (arti) konten, dan masing-masing memiliki beberapa cabang studi. Dalam bahasa tertulis, hal-hal seperti struktur paragraf dan tanda baca memiliki konten semantik, dalam bentuk lain dari bahasa, terdapat konten semantik lainnya. [3] Studi formal semantik berpotongan dengan bidang lain dari penyelidikan, termasuk sejarah dan arti kata-kata , sintaks , pragmatik , etimologi dan lain-lain, meskipun semantik adalah bidang yang didefinisikan dengan baik dalam dirinya sendiri, sering dengan sifat sintetik. [4] Dalam filsafat bahasa , semantik dan referensi berhubungan erat. Bidang terkait lebih lanjut termasuk filologi , komunikasi , dan semiotika . Studi formal semantik Oleh karena itu kompleks. Semantik kontras dengan sintaks , studi tentang kombinatorik unit bahasa (tanpa mengacu pada makna mereka), dan pragmatik , studi tentang hubungan antara simbol-simbol bahasa, yang berarti mereka, dan pengguna bahasa. [5 ] Dalam kosakata ilmiah internasional semantik juga disebut semasiologi . Linguistik Dalam linguistik , semantik adalah subfield yang dikhususkan untuk mempelajari makna, sebagai melekat pada tingkat kata, frasa, kalimat, dan unit yang lebih besar dari wacana (disebut sebagai teks). Daerah penelitian adalah dasar dari arti tanda-tanda , dan studi tentang hubungan antara unit linguistik yang berbeda: kehomoniman , sinonim , antonimi , hal berarti banyak , paronyms , hypernymy , hyponymy , meronymy , metonimi , holonymy , linguistik senyawa . Perhatian utama adalah bagaimana makna menempel pada potongan yang lebih besar dari teks, mungkin sebagai akibat dari komposisi dari unit yang lebih kecil makna. Secara tradisional, semantik sudah termasuk studi tentang arti dan denotatif referensi , kondisi kebenaran , struktur argumen, peranan tematik , analisis wacana , dan hubungan dari semua sintaks untuk. [ sunting ] Montague tata bahasa Pada akhir 1960-an, Richard Montague mengusulkan sebuah sistem untuk menentukan entri semantik dalam leksikon dalam hal kalkulus lambda . Dalam istilah-istilah itu, sintaksis mengurai kalimat Yohanes makan bagel setiap akan terdiri dari subjek (Yohanes) dan predikat (makan setiap bagel); Montague menunjukkan bahwa makna kalimat secara keseluruhan dapat didekomposisi menjadi makna yang bagian dan aturan relatif sedikit kombinasi. Predikat logis yang diperoleh akan diuraikan lebih lanjut, misalnya menggunakan model teori kebenaran, yang akhirnya berhubungan arti untuk satu set Tarskiian universal, yang mungkin berada di luar logika. Gagasan atom makna atau primitif adalah dasar untuk bahasa pemikiran hipotesis dari tahun 1970-an. Meskipun keanggunan, Montague tata bahasa dibatasi oleh variabilitas tergantung pada konteks dalam arti kata, dan menyebabkan beberapa upaya menggabungkan konteks, seperti: Situasi semantik (1980): nilai-nilai kebenaran tidak lengkap, mereka bisa ditugaskan berdasarkan konteks dan" rambut merah "(tembaga). di mana arti dalam komunitas linguistik perubahan dari waktu ke waktu. craindre ('takut'). Memang. misalnya dalam rotasi mental . "merah". avoir peur ('takut') memiliki nilai tertentu yang hanya karena mereka berdiri di kontras dengan satu sama lain. Davidson . dan perubahan semantik . [11] Sebuah usaha untuk mempertahankan sebuah sistem yang didasarkan pada makna proposisional untuk underspecification semantik dapat ditemukan dalam Leksikon Generative model James Pustejovsky . Untuk mengambil contoh dari sebuah kata tunggal." [8] Pandangan ini mencerminkan posisi kemudian Wittgenstein dan contoh game terkenal. dan kepribumian tampilan mempertimbangkan semua gagasan semantik sebagai bawaan. Jadi. Tidak ada kata memiliki nilai yang dapat diidentifikasi secara terpisah dari apa lagi yang di sekitarnya. leksikon generatif (1990): kategori (jenis) tidak lengkap. dan qualia atau pengalaman subjektif. yang meluas operasi kontekstual (berdasarkan pada tipe pergeseran) ke dalam leksikon. tetapi ucapan diartikan juga memodifikasi konteks. khususnya Nyaya pandangan kata-kata sebagai indikator dan bukan pembawa makna. bahkan konsep-konsep baru yang diusulkan telah aktif dalam beberapa pengertian. seperti menyelesaikan masalah indexical atau anaphora (misalnya ini x. penafsiran adalah selalu dinamis dan makna kalimat dipandang sebagai potensi mengubah konteks bukan proposisi . pentingnya unsur-unsur yang terletak pada cara mereka berfungsi daripada lampiran mereka untuk hal-hal. tapi "toolbox. dan ditetapkan berdasarkan konteks gilirannya Dinamis dalam semantik Dalam Chomskian linguistik tidak ada mekanisme untuk belajar hubungan semantik. [8] Tantangannya adalah dimotivasi oleh: internal untuk bahasa faktor. sehingga "anggur merah" hanya disebut dibandingkan dengan jenis lain dari anggur (yang juga tidak "putih" untuk alasan yang sama). warna tersirat dalam frase seperti "merah anggur "(sangat gelap). dan lain-lain. Dalam situasi ini "konteks" berfungsi sebagai input. [6] Pandangan semantik. pekan lalu). atau" kulit merah "sangat berbeda. sehingga juga output. . sebagai terbatas berarti bawaan yang melekat dalam satuan leksikal yang dapat disusun untuk menghasilkan potongan yang lebih besar makna bagi wacana. Pandangan ini kembali ke de Saussure : Masing-masing satu set sinonim seperti redouter ('untuk takut'). artinya dalam ungkapan seperti buku merah mirip dengan penggunaan lainnya. Pandangan ini juga dianggap tidak mampu mengatasi banyak masalah seperti metafora atau makna asosiatif. warna-warna ini dengan sendirinya tidak akan disebut "merah" oleh penutur asli. dan berkaitan dengan posisi Quine .arti tidak lengkap tanpa beberapa elemen konteks. atau" tanah merah ". Jadi makna yang dihasilkan pada terbang berdasarkan konteks yang terbatas. [9] Namun. dan dapat dipandang sebagai komposisi. dia. faktor-faktor luar bahasa. Sebuah contoh konkret dari fenomena yang terakhir ini semantik underspecification . [10] dan mungkin kembali ke awal India pandangan tentang bahasa.Fodorian kamp di filsafat bahasa . Isu lain tidak dibahas oleh model kepribumian adalah bagaimana persepsi isyarat digabungkan dalam pemikiran. bahasa yaitu tidak satu set label terjebak pada hal-hal. Dengan demikian. Ini contoh yang kontrastif. sekarang sedang sengit diperdebatkan dalam domain yang muncul dari linguistik kognitif [7] dan juga di non. Ini mengarah ke perdebatan (lihat hipotesis Sapir-Whorf atau kata-kata untuk salju orang Eskimo ).[ sunting ] Teori Prototipe Satu set konsep yang berkaitan dengan ketidakjelasan dalam semantik didasarkan pada prototipe . teori lain diformalkan. Tantangannya adalah untuk sampai pada kondisi kebenaran untuk setiap kalimat dari makna tetap ditugaskan untuk kata-kata individu dan aturan tetap untuk bagaimana untuk menggabungkan mereka. [15] Dalam rangka untuk mencapai perbedaan ini setiap bagian dari kalimat yang beruang arti dan menggabungkan dengan makna konstituen lainnya diberi label sebagai konstituen semantik. Kategori ini berkembang sebagai belajar konsep dunia . Di sini. kebenaran-bersyarat semantik adalah mirip dengan model-teori semantik. Sistem kategori tidak objektif "luar sana" di dunia tetapi berakar pada pengalaman orang-orang. Dalam prakteknya. nilai-nilai kebenaran. [15] Oleh karena itu. untuk setiap individu dalam budaya yang sama. daripada dengan model abstrak. dan lebih menarik. Asumsi di balik teori ini adalah bahwa sifat sintaksis dari frase mencerminkan arti kata bahwa kepala mereka. tetapi membangun subjektif. [ sunting ] formal (kebenaran-bersyarat) semantik Artikel utama: kebenaran bersyarat semantik Dipelopori oleh filsuf Donald Davidson . [13] Dengan teori ini. dan bahasa muncul dari "landasan sistem konseptual kita dalam shared perwujudan . yang bertujuan untuk mengasosiasikan setiap kalimat bahasa alami dengan deskripsi meta-bahasa kondisi yang benar. namun mereka berbeda dalam bahwa kebenaran-bersyarat semantik berusaha untuk menghubungkan bahasa dengan pernyataan tentang dunia nyata (dalam bentuk meta-bahasa pernyataan). [15] . belajar dari pengalaman.yang berarti bukan kebenaran obyektif. Kebenaran dari kalimat. dan tubuh pengalaman " [12] Sebuah konsekuensi dari ini adalah bahwa kategori-kategori konseptual (yaitu leksikon) tidak akan sama untuk budaya yang berbeda. Sebuah teori yang sangat formal semantik bahasa alami di mana ekspresi ditugaskan denotasi (makna) seperti individu. Karya Eleanor Rosch pada 1970-an menyebabkan pandangan bahwa kategori alam tidak characterizable dalam hal kondisi perlu dan cukup. [ sunting ] semantik leksikal & konseptual Artikel utama: semantik konseptual Teori ini merupakan upaya untuk menjelaskan sifat-sifat struktur argumen. [ sunting ] Teori-teori dalam semantik [ sunting ] Model teori semantik Artikel utama: semantik formal (linguistik) Berasal dari pekerjaan Montague (lihat di atas). Teori ini memahami bahwa makna dari sebuah kata sepenuhnya tercermin oleh konteksnya. konseptual. hubungan logis untuk kalimat lain. misalnya: `Salju 'putih adalah benar jika dan hanya jika salju putih. tetapi dinilai (kabur pada batas mereka) dan tidak konsisten untuk status anggota konstituen mereka. Semantik konstituen yang tidak dapat dipecah menjadi konstituen dasar lebih banyak dicap sebagai konstituen semantik minim. ahli bahasa dapat lebih menghadapi kenyataan bahwa perbedaan halus dalam arti kata yang berkorelasi dengan perbedaan lain dalam struktur sintaksis yang kata muncul masuk [13] Cara ini pergi tentang adalah dengan melihat struktur internal kata. [14] [ sunting ] semantik leksikal Artikel utama: semantik leksikal Sebuah teori linguistik yang menyelidiki makna kata. kemudian dievaluasi relatif terhadap model. atau bahkan. atau fungsi dari salah satu ke yang lain. perbedaan antara derajat partisipasi serta mode partisipasi yang dibuat. [14] Bagian-bagian kecil yang membentuk struktur internal kata-kata yang disebut sebagai primitif semantik. makna dari sebuah kata didasari oleh hubungan kontekstualnya. C + + . Algol68 . Tujuan CAML . Fortran ) ( COBOL ) ( Common Lisp ) Umumnya operasi ini semua akan melakukan penambahan ilmu hitung 'y' untuk 'x' dan menyimpan hasilnya dalam variabel yang disebut 'x'. Ruby . semantik adalah tentang interpretasi dari suatu ekspresi. semantik "menyediakan aturan untuk menafsirkan sintaks yang tidak memberikan makna langsung. Semantik aksiomatik : sifat-sifat khusus dari efek dari pelaksanaan konstruksi dinyatakan sebagai pernyataan. Ada . Modula-2 . Python ." [17] Dengan kata lain. istilah semantik mengacu pada arti bahasa. Secara khusus. membangun logika matematika : [18] Semantik Operasional : Arti dari membangun ditentukan oleh perhitungan menginduksi ketika dijalankan pada mesin.[ sunting ] semantik Komputasi Artikel utama: semantik komputasi Semantik komputasi difokuskan pada pengolahan makna linguistik. . bukan bagaimana hal itu diperoleh. semantik yang dapat didefinisikan dengan tepat. Seperti sintaks dari suatu bahasa. pernyataan berikut menggunakan sintaks yang berbeda. dll) ( Intel 8086 Majelis Bahasa ) (Awal DASAR ) (Paling DASAR dialek. Menurut Euzenat. SETL . Simula . ada hal yang menarik bagaimana efek dari perhitungan yang dihasilkan. [16] [ sunting ] Ilmu komputer Dalam ilmu komputer . struktur data yang mereka butuhkan dan protokol komunikasi. [ sunting ] Bahasa pemrograman Artikel utama: semantik dari bahasa pemrograman Semantik dari bahasa pemrograman dan bahasa lainnya merupakan isu penting dan bidang studi dalam ilmu komputer. istilah ini diterapkan untuk jenis tertentu dari struktur data khusus dirancang dan digunakan untuk mewakili isi informasi. y LET X = X + Y x = x + y Masukkan Y X X UNTUK MEMBERIKAN (Incf xy) ( C . VHDL . Sebagai contoh. [ sunting ] Model Semantic Istilah seperti " jaringan semantik "dan" semantik data model "digunakan untuk menggambarkan jenis-jenis tertentu dari model data ditandai dengan penggunaan grafik diarahkan di mana simpul menunjukkan konsep atau entitas di dunia. Perl . Dylan . Berbagai cara telah dikembangkan untuk menggambarkan semantik dari bahasa pemrograman secara formal . Dalam kerangka ini algoritma dan arsitektur juga dianalisis dalam hal decidability. Delphi . Oberon . Jadi hanya berpengaruh adalah kepentingan. PHP . Dalam rangka untuk melakukan hal ini algoritma beton dan arsitektur dijelaskan. BCPL . Eiffel . Smalltalk . Pascal . Semantik Denotational : Makna dimodelkan dengan objek matematika yang mewakili efek dari pelaksanaan konstruksi. dan busur menunjukkan hubungan antara mereka. Jadi mungkin ada aspek eksekusi yang diabaikan. dll) ( Algol . sebagai lawan untuk membentuk mereka (sintaks). Standar ML . waktu / ruang kompleksitas. tetapi menyebabkan instruksi yang sama untuk dieksekusi: x + = y x: = x + y ADD x. Java . tetapi membatasi kemungkinan interpretasi dari apa yang dinyatakan. Selain itu. C # . menggunakan teknik pemodelan semantik data seperti RDF dan OWL . [19] Dalam sebuah jaringan yang diciptakan oleh orang-orang menganalisis pemahaman mereka tentang kata (seperti WordNet ) link dan struktur dekomposisi jaringan sedikit jumlahnya dan jenis. aspek memori yang hanya melindungi inti.sementara memori episodik adalah memori untuk rincian singkat . jaringan saraf dan predikat kalkulus teknik. . yaitu hubungan antara kata-kata mereka sendiri dalam jaringan semantik . "jenis". makna umum. Berbagai teknologi otomatis sedang dikembangkan untuk menghitung arti dari kata-kata: pengindeksan semantik laten dan mesin dukungan vektor serta pengolahan bahasa alami .Para Semantic Web mengacu pada perpanjangan dari World Wide Web melalui embedding semantik tambahan metadata . Hal ini kemudian dapat membuat jaring semantik vertikal heterogen untuk kata-kata tertentu dalam budaya dinyatakan homogen. Arti kata diukur oleh perusahaan mereka tetap. Dalam otomatis ontologi link yang dihitung vektor tanpa makna eksplisit. Psikologi Dalam psikologi . dan link yang sama. Generasi yang berbeda mungkin memiliki pengalaman yang berbeda pada titik yang sama di waktu mereka sendiri-garis. memori semantik adalah memori untuk makna . dan termasuk "bagian dari". Kenangan dapat dialihkan intergenerationally atau terisolasi dalam satu generasi akibat gangguan budaya. atau keterangan yang unik pengalaman.dengan kata lain. pengalaman ingat .fitur individu. the free encyclopedia Linguistics Theoretical linguistics Cognitive linguistics Generative linguistics Functional theories of grammar Quantitative linguistics Phonology · Graphemics Morphology · Syntax · Lexis Semantics · Pragmatics Descriptive linguistics Anthropological linguistics Comparative linguistics Historical linguistics Phonetics · Graphetics Etymology · Sociolinguistics Applied and experimental linguistics Computational linguistics Evolutionary linguistics Forensic linguistics Internet linguistics Language acquisition Language assessment Language development Language education Linguistic anthropology Neurolinguistics Psycholinguistics Second language acquisition Related articles History of linguistics Linguistic prescription .Semantics From Wikipedia. Contents [hide] 1 Linguistics o 1. neuter plural of sēmantikós)[1][2] is the study of meaning. the study of the combinatorics of units of a language (without reference to their meaning). although semantics is a well-defined field in its own right.[4] In philosophy of language.[3] Within this view.4. and the users of the language.4. This problem of understanding has been the subject of many formal inquiries.1 Model theoretic semantics 1. the study of the relationships between the symbols of a language.[5] In international scientific vocabulary semantics is also called semasiology. body language.3 Lexical & conceptual semantics 1. Further related fields include philology. in other forms of language. and each has several branches of study.4 Lexical semantics 1. pragmatics. The formal study of semantics is therefore complex.2 Dynamic turn in semantics o 1. Semantics contrasts with syntax. signs and symbols.List of linguists List of unsolved problems in linguistics Portal v·d·e Semantics (from Greek sēmantiká.1 Programming languages o 2. and semiotics. including lexicology.2 Formal (of truth-conditional) semantics 1. semantics and reference are closely connected. such as words. their denotata. sounds. syntax. and what they stand for. etymology and others.1 Montague grammar o 1.3 Prototype theory o 1. communication. and proxemics have semantic (meaningful) content. It is often used in ordinary language to denote a problem of understanding that comes down to word selection or connotation. there is other semantic content. over a long period of time. facial expressions.4. it is the study of interpretation of signs or symbols as used by agents or communities within particular circumstances and contexts. Linguistic semantics is the study of meaning that is used by humans to express themselves through language. most notably in the field of formal semantics.2 Semantic models 3 Psychology .4 Theories in semantics 1. and semiotics. such things as paragraph structure and punctuation have semantic content.4.[3] The formal study of semantics intersects with many other fields of inquiry.5 Computational semantics 2 Computer science o 2. and pragmatics. In linguistics. often with synthetic properties.4. In written language. phrases. formal logics. their meaning. Other forms of semantics include the semantics of programming languages. It focuses on the relation between signifiers. The word "semantics" itself denotes a range of ideas. from the popular to the highly technical. truth conditions. phrases. Traditionally. discourse analysis. such as: situation semantics (1980s): truth-values are incomplete. Richard Montague proposed a system for defining semantic entries in the lexicon in terms of the lambda calculus. and get assigned based on context [edit] Dynamic turn in semantics Semantics Language · Linguistics Formal semantics (logic & linguistics) Lexis Lexical semantics Statistical semantics Structural semantics Prototype semantics Lexicology Semantic analysis Latent semantic analysis Theory of descriptions Force Dynamics .1 Linguistics and semiotics o 4. and the linkage of all of these to syntax. the syntactic parse of the sentence John ate every bagel would consist of a subject (John) and a predicate (ate every bagel). antonymy.3 Computer science 5 References 6 External links [edit] Linguistics In linguistics. thematic roles. possibly as a result of the composition from smaller units of meaning. semantics is the subfield that is devoted to the study of meaning. 4 See also o 4. In these terms. holonymy. meronymy. e. they get assigned based on context generative lexicon (1990s): categories (types) are incomplete. linguistic compounds. polysemy. sentences. 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. which ultimately relate meanings to a set of Tarskiian universals. The basic area of study is the meaning of signs. The logical predicate thus obtained would be elaborated further. Montague grammar was limited by the context-dependent variability in word sense. synonymy. A key concern is how meaning attaches to larger chunks of text. argument structure. and larger units of discourse (referred to as texts). Despite its elegance. hyponymy. using truth theory models.g. hypernymy. semantics has included the study of sense and denotative reference. as inherent at the levels of words. and led to several attempts at incorporating context. metonymy. The notion of such meaning atoms or primitives is basic to the language of thought hypothesis from the 1970s. paronyms. which may lie outside the logic. [edit] Montague grammar In the late 1960s.2 Logic and mathematics o 4. and the study of relations between different linguistic units: homonymy. such as the problem of resolving indexical or anaphora (e.. but the interpreted utterance also modifies the context. i. the interpretation is necessarily dynamic and the meaning of sentences is viewed as context change potentials instead of propositions. and others. Indeed. last week).Unsolved problems Semantic matching Analysis (machine) Abstract semantic graph Semantic Web Semantic wiki Semantic File System Abstract interpretation Formal semantics of programming languages Denotational semantics Axiomatic semantics Operational semantics Action semantics Algebraic semantics Categorical semantics Concurrency semantics Game semantics Predicate transformer. craindre ('to fear'). or "red skin" are very different. this x. No word has a value that can be identified independently of what else is in its vicinity.[6] This view of semantics. so "red wine" is so called only in comparison with the other kind of wine (which also is not "white" for the same reasons). where meanings within a linguistic community change over time. these colours by themselves would not be called "red" by native speakers. Thus. Another issue not addressed by the nativist model was how perceptual cues are combined in thought. and the nativist view considered all semantic notions as inborn. A concrete example of the latter phenomenon is semantic underspecification – meanings are not complete without some elements of context. In these situations "context" serves as the input. avoir peur ('to be afraid') has its particular value only because they stand in contrast with one another. Davidson. but "a toolbox. language is not a set of labels stuck on things. These instances are contrastive. and "red hair" (coppery). "red". its meaning in a phrase such as red book is similar to many other usages. in mental rotation. or "red soil". the colours implied in phrases such as "red wine" (very dark).[8] The challenge is motivated by: factors internal to language. This view goes back to de Saussure: Each of a set of synonyms like redouter ('to dread')."[8] This view reflects the position of the later Wittgenstein and his famous game example.g. is now being fiercely debated in the emerging domain of cognitive linguistics[7] and also in the non-Fodorian camp in philosophy of Language. and is related to the positions of Quine. Thus. even novel concepts were proposed to have been dormant in some sense.e. v·d·e In Chomskian linguistics there was no mechanism for the learning of semantic relations. factors external to language. him. and semantic change. as an innate finite meaning inherent in a lexical unit that can be composed to generate meanings for larger chunks of discourse. e.[10] . the importance of whose elements lie in the way they function rather than their attachments to things. so it is also the output.g.[9] However. and can be viewed as compositional. This view was also thought unable to address many issues such as metaphor or associative meanings. To take an example of a single word. and qualia or subjective experience. especially the Nyaya view of words as indicators and not carriers of meaning. A highly formalized theory of natural language semantics in which expressions are assigned denotations (meanings) such as individuals. The assumption behind this theory is that syntactic properties of phrases reflect the meanings of the words that head them. learned from experience. [edit] Prototype theory Another set of concepts related to fuzziness in semantics is based on prototypes. truth values. which aims to associate each natural language sentence with a meta-language description of the conditions under which it is true. 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. they differ in that truth-conditional semantics seeks to connect language with statements about the real world (in the form of meta-language statements). another formalized theory. is then evaluated relative to a model. Thus meanings are generated on the fly based on finite context. 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. rather than with abstract models.[13] The way this is gone about is by looking at the internal structure of words. for example: `Snow is white' is true if and only if snow is white.[14] [edit] Lexical semantics Main article: lexical semantics .[12] A corollary of this is that the conceptual categories (i. but are graded (fuzzy at their boundaries) and inconsistent as to the status of their constituent members. however. conceptually.[14] These small parts that make up the internal structure of words are referred to as semantic primitives. the lexicon) will not be identical for different cultures. its logical relation to other sentences. who extends contextual operations (based on type shifting) into the lexicon. The truth of a sentence. or functions from one of these to another.[13] With this theory. [edit] Formal (of truth-conditional) semantics Main article: truth-conditional semantics Pioneered by the philosopher Donald Davidson. for every individual in the same culture. and language arises out of the "grounding of our conceptual systems in shared embodiment and bodily experience". This leads to another debate (see the Sapir–Whorf hypothesis or Eskimo words for snow). Systems of categories are not objectively "out there" in the world but are rooted in people's experience. or indeed. and more interestingly. These categories evolve as learned concepts of the world – meaning is not an objective truth.and may go back to earlier Indian views on language. 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. In practice. [edit] Lexical & conceptual semantics Main article: conceptual semantics This theory is an effort to explain properties of argument structure.e. but a subjective construct.[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. [edit] Theories in semantics [edit] Model theoretic semantics Main article: formal semantics (linguistics) Originates from Montague's work (see above). truth-conditional semantics is similar to model-theoretic semantics. [16] [edit] Computer science In computer science. Like the syntax of a language. Algol68. According to Euzenat. Additionally. Fortran) (COBOL) (Common Lisp) Generally these operations would all perform an arithmetical addition of 'y' to 'x' and store the result in a variable called 'x'. In order to do this concrete algorithms and architectures are described. Oberon. but cause the same instructions to be executed: x += y x := x + y ADD x. etc. Pascal. VHDL. Standard ML.A linguistic theory that investigates word meaning. Modula-2. Simula. y LET X = X + Y x = x + y ADD Y TO X GIVING X (incf x y) (C. Eiffel. building on mathematical logic:[18] Operational semantics: The meaning of a construct is specified by the computation it induces when it is executed on a machine. time/space complexity. In particular. Perl. SETL. Here.[15] [edit] Computational semantics Main article: computational semantics Computational semantics is focused on the processing of linguistic meaning. Smalltalk. Objective Caml. a distinction between degrees of participation as well as modes of participation are made. it is of interest how the effect of a computation is produced. This theory understands that the meaning of a word is fully reflected by its context. Ruby. its semantics can be defined exactly. Thus only the effect is of interest. Dylan. Delphi. BCPL. not how it is obtained. the following statements use different syntaxes. as opposed to their form (syntax). etc. the term is applied to certain types of data structures specifically designed and used for representing information content. For instance. Within this framework the algorithms and architectures are also analyzed in terms of decidability. C#. the term semantics refers to the meaning of languages. Ada. Semantic constituents that cannot be broken down into more elementary constituents is labeled a minimal semantic constituent.) (Algol.[15] Therefore. semantics "provides the rules for interpreting the syntax which do not provide the meaning directly but constrains the possible interpretations of what is declared. . semantics is about interpretation of an expression.) (Intel 8086 Assembly Language) (early BASIC) (most BASIC dialects. Java. PHP. Python. C++."[17] In other words. [edit] Programming languages Main article: semantics of programming languages The semantics of programming languages and other languages is an important issue and area of study in computer science. Various ways have been developed to describe the semantics of programming languages formally. data structures which they require and communication protocols.[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. the meaning of a word is constituted by its contextual relations. Denotational semantics: Meanings are modelled by mathematical objects that represent the effect of executing the constructs. [edit] Psychology In psychology. or the unique particulars of experience. [edit] Semantic models 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. Word meaning is measured by the company they keep.e. 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. using semantic data modelling techniques such as RDF and OWL.[19] 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. In automated ontologies the links are computed vectors without explicit meaning. The memories may be transferred intergenerationally or isolated in a single generation due to a cultural disruption. and the arcs denote relationships between them. and similar links. This may then create a vertically heterogeneous semantic net for certain words in an otherwise homogeneous culture. "kind of". the relationships among words themselves in a semantic network. Different generations may have different experiences at similar points in their own time-lines. and include "part of". . the aspect of memory that preserves only the gist. The Semantic Web refers to the extension of the World Wide Web through the embedding of additional semantic metadata. Thus there may be aspects of the executions that are ignored. semantic memory is memory for meaning – in other words. of remembered experience – while episodic memory is memory for the ephemeral details – the individual features. Axiomatic semantics: Specific properties of the effect of executing the constructs are expressed as assertions. neural networks and predicate calculus techniques. i. the general significance.