Semantics Semantik
From Wikipedia, the free encyclopedia Dari Wikipedia, ensiklopedia bebas Jump to: navigation , search Langsung ke: navigasi , cari
Linguistics
Ilmu bahasa
Theoretical linguisticsTeoritis 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 linguisticsLinguistik 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
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
PortalPintu gerbang
v · d · e v · 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 Linguistics1 Linguistik
○ 1.1 Montague grammar1.1 Montague grammar
○ 1.2 Dynamic turn in semantics1.2 Dynamic menyerahkan semantik ○ 1.3 Prototype theory1.3 Prototipe teori
○ 1.4 Theories in semantics1.4 Teori dalam semantik
1.4.1 Model theoretic semantics1.4.1 Model teori semantik
1.4.2 Formal (of truth-conditional) semantics1.4.2 formal
(kebenaran-bersyarat) semantik
1.4.3 Lexical & conceptual semantics1.4.3 semantik leksikal &
konseptual
1.4.4 Lexical semantics1.4.4 leksikal semantik
1.4.5 Computational semantics1.4.5 Komputasi semantik
• 2 Computer science2 Ilmu Komputer
○ 2.1 Programming languages2.1 Bahasa pemrograman
○ 2.2 Semantic models2.2 Semantic model • 3 Psychology3 Psikologi
• 4 See also4 Lihat juga
○ 4.1 Linguistics and semiotics4.1 Linguistik dan semiotika ○ 4.2 Logic and mathematics4.2 Logika dan matematika
○ 4.3 Computer science4.3 Ilmu komputer • 5 References5 Referensi
• 6 External links6 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 · LinguisticsBahasa · LinguistikFormal semantics ( logic & linguistics ) Formal semantik ( logika & linguistik )
LexisLexis
Lexical semanticsLeksikal semantik Statistical semanticsStatistik semantik Structural semanticsStruktural semantik Prototype semanticsPrototipe semantik LexicologyIlmu mengenai bentuk kata Semantic analysisAnalisis Semantik
Latent semantic analysisAnalisis semantik laten Theory of descriptionsTeori deskripsi
Force DynamicsAngkatan Dinamika
Unsolved problemsMasalah yang belum terpecahkan Semantic matchingSemantic pencocokan
Analysis (machine)Analisis (mesin)
Abstract semantic graphAbstrak semantik grafik Semantic WebSemantic Web
Semantic wikiSemantic wiki
Semantic File SystemSemantic File System Abstract interpretationAbstrak interpretasi Formal semantics ofFormal semantik
programming languagesbahasa pemrograman Denotational semanticsDenotational semantik Axiomatic semanticsAksiomatik semantik Operational semanticsOperasional semantik Action semanticsAksi semantik
Algebraic semanticsAljabar semantik Categorical semanticsKategoris semantik Concurrency semanticsConcurrency semantik Game semanticsGame semantik
Predicate transformer..Predikat transformator ..
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. Masing-masing 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 (kebenaran-bersyarat) 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, truth-conditional 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 meta-bahasa), 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 perbedaan-perbedaan 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
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 pemrogramanThe 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:
x += y x + = y ( 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 )
dialek, Fortran ) ADD Y TO X GIVING X ADD Y
ATAS PEMBERIAN X X ( COBOL ) ( COBOL )
(incf xy) (Xy incf) ( 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 logicsAnalisis logika subjektif • Asemic writingAsemic menulis
• Colorless green ideas sleep furiouslyIde berwarna hijau tidur marah • Computational semanticsKomputasi semantik
• Discourse representation theoryWacana teori representasi • Formal semantics (linguistics)Formal semantik (linguistik) • General semanticsUmum semantik
• HermeneuticsHermeneutika
• Natural semantic metalanguageAlam semantik metalanguage • OnomasiologyOnomasiology
• Pragmatic maximPragmatis pepatah • PragmaticismPragmaticism
• PragmatismPragmatisme
• Problem of universalsMasalah universal • Semantic changeSemantic perubahan
• Semantic classSemantic kelas • Semantic featureSemantic fitur • Semantic fieldSemantic lapangan • Semantic lexiconSemantic leksikon • Semantic progressionSemantic kemajuan • Semantic primesSemantic bilangan prima • Semantic propertySemantic properti • SemeioticSemeiotic
• SememeSememe • SemiosisSemiosis • SemioticsSemiotika • SPL notationSPL notasi
[
edit
] Logic and mathematics [
sunting
] Logika dan matematika
• Formal logicLogika formal • Game semanticsGame semantik • Model theoryModel teori
• Godel's incompleteness theoremsTeorema ketidaklengkapan Godel • Proof-theoretic semanticsBukti-teori semantik
• Semantic consequenceSemantic konsekuensi • Semantic theory of truthSemantik teori kebenaran • Semantics of logicSemantik logika
• Truth-value semanticsKebenaran-nilai semantik
[
edit
] Computer science [
sunting
] Ilmu Komputer
• Formal semantics of programming languagesFormal semantik bahasa pemrograman • Knowledge representationRepresentasi pengetahuan
• Semantic networksJaringan semantik • Semantic analysisAnalisis Semantik • Semantic HTMLSemantik HTML • Semantic integrationSemantic integrasi • Semantic interpretationInterpretasi semantik • Semantic linkSemantic link
• Semantic ReasonerSemantic Reasoner
• Semantic service oriented architectureSemantik arsitektur berorientasi layanan • Semantic spectrumSemantic spektrum
• Semantic UnificationSemantic Unifikasi • Semantic WebSemantic Web
1. ^ σημαντικός . ^σημαντικός . Henry George Liddell, Robert Scott. A Greek-English Lexicon at Perseus Project Henry George Liddell, Robert Scott. A Leksikon Yunani-Inggris 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. ^ abOtto Neurath (Editor), Rudolf Carnap (Editor), Charles FW Morris (Editor)
(1955). International Encyclopedia of Unified Science . ^ abOtto 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. ISBN3110166038 . Berlin / New York: Mouton de Gruyer. ISBN 3110166038 .
8. ^ ab Jaroslav Peregrin (2003). Meaning: The Dynamic Turn. ^ ab 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 . ISBN9780585228372 .
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 . ISBN9780585228372 .
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.. OCLC93961754 . New York: Basic Books .. OCLC93961754 .
13.^ ab Levin, Beth & Steven Pinker. ^ ab Levin, & Steven Pinker Beth. (1991). (1991).
Lecxical & Conceptual Semantics. Lecxical & Semantik konseptual. Blackwell. Blackwell. Cambridge. Cambridge.
14.^ ab Jackendoff, Ray. ^ ab Jackendoff, Ray. (1990). (1990). Semantic Structures.
Struktur semantik. MIT Press. MIT Press. Cambridge Cambridge
15.^ abc Cruse, D. (1986). ^ abc 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 . ISBN0-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.netsemanticsarchive.net
• Teaching page for A-level semanticsPengajaran 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 BiologySemantic 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 · ePhilosophy of languagev · d · eFilsafat bahasa R e l a t e d a r t i c l e s : A r t i k e l t e r k a i t :
Analytic philosophy • Language • Philosophy of information • Philosophical logic •
Linguistics • Pragmatics • Rhetoric • Semantics • Formal semantics • SemioticsFilsafat analitik • Bahasa • Filsafat informasi • logika Filosofis • Linguistik • pragmatik • Retorika •
Semantik • semantik formal • Semiotika
C o n c e p t s i n l
Ambiguity • Linguistic relativity • Meaning • Language • Truthbearer • Proposition • Use– mention distinction • Concept • Categories • Set • Class • Intension • Logical form •
Metalanguage • Mental representation • Principle of compositionality • Property • Sign •
Sense and reference • Speech act • Symbol • Entity • Sentence • Statement • more... Ambiguitas • Linguistik relativitas • Arti • Bahasa • Truthbearer • Proposisi • -lagi pembedaan Gunakan • Konsep • Kategori • Mengatur • Kelas • intensi • bentuk Logical •
Metalanguage • mental representasi • Prinsip compositionality • Properti • Daftar • Sense dan referensi • bertindak Pidato • Simbol • Badan • Kalimat • Pernyataan • lebih ...
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 h e o r i e s o f l a n g u a g e T e
Causal theory of reference • Contrast theory of meaning • Contrastivism • Conventionalism •
Cratylism • Deconstruction • Descriptivist theory of names • Direct reference theory •
Dramatism • Expressivism • Linguistic determinism • Logical atomism • Logical positivism •
Mediated reference theory • Nominalism • Non-cognitivism • Phallogocentrism • Quietism •
Relevance theory • Semantic externalism • Semantic holism • Structuralism • Supposition theory • Symbiosism • Theological noncognitivism • Theory of descriptions • Verification theoryPenyebab teori referensi • Kontras teori makna • Contrastivism • konvensionalisme •
Cratylism • Dekonstruksi • teori Descriptivist nama • Langsung referensi teori • Dramatism •
Expressivism • Linguistic determinisme • Logical atomisme • Logical positivisme • Mediated referensi teori • Nominalisme • Non-kognitivisme • phallogocentrism • Quietisme •
Relevansi teori • Semantic externalism • Semantic holisme • Strukturalisme • anggapan teori
o r i b a h a s a P h i l o s o p h e r s o f l a n g u a g e F i l s u f b a h a s a
Plato ( Cratylus ) • Confucius • Xun Zi • Aristotle • Stoics • Pyrrhonists • Scholasticism • Ibn Rushd • Ibn Khaldun • Thomas Hobbes • Gottfried Leibniz • Johann Herder • Wilhelm von Humboldt • Fritz Mauthner • Paul Ricœur • Ferdinand de Saussure • Gottlob Frege • Franz Boas • Paul Tillich • Edward Sapir • Leonard Bloomfield • Zhuangzi • Henri Bergson •
Ludwig Wittgenstein( Philosophical Investigations • Tractatus Logico-Philosophicus ) • Bertrand
Russell • Rudolf Carnap • Jacques Derrida( Of Grammatology • Limited Inc ) • Benjamin Lee
Whorf • Gustav Bergmann • JL Austin • Noam Chomsky • Hans-Georg Gadamer • Saul Kripke • Alfred Jules Ayer • Donald Davidson • Paul Grice • Gilbert Ryle • PF Strawson Plato ( Cratylus ) • Confucius • Xun Zi • Aristoteles • Stoa • Pyrrhonists • SKOLASTIK •
Ibnu Rusyd • Ibnu Khaldun • Thomas Hobbes • Gottfried Leibniz • Johann Herder • Wilhelm von Humboldt • Mauthner Fritz • Paul Ricoeur • Ferdinand de Saussure • Gottlob Frege •
Franz Boas • Paul Tillich • Edward Sapir • Leonard Bloomfield • Zhuangzi • Henri Bergson •
Ludwig Wittgenstein( Pemeriksaan Filosofis • Tractatus Logico-Philosophicus ) • Bertrand Russell •
Rudolf Carnap • Jacques Derrida( Dari gramatologi • Limited Inc ) • Benjamin Lee Whorf •
Gustav Bergmann • Austin JL • Noam Chomsky • Hans-Georg Gadamer • Saul Kripke •
Category · Task Force · Discussion · ChangesKategori · Task Force · Diskusi · Perubahan
[show] v · d · eLogicv · d · eLogika
[show] Related articles Artikel terkait
Academic Akademik areas daerah
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
Foundational Dasar
concepts konsep Abductionpriori · Deduction · Analytic truth · Definition · Antinomy · Description · A
· 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 · ValidityPenculikan · 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 logicFilosofis logika
Critical thinkingPemikiran 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 · VaguenessAnalisa ·
Ketidakjelasan · Kepercayaan ·
Kredibilitas · Bukti · Penjelasan ·
Penjelasan daya · Fakta · Kekeliruan ·
Permintaan · Opini · parsimoni · Premise ·
Propaganda · Prudence · Penalaran ·
Relevansi · Retorika · Rigor ·
ketidakjelasan
Theories of deductionTeori pengurangan
Constructivism · Dialetheism ·
Fictionalism · Finitism · Formalism ·
Intuitionism · Logical atomism · Logicism
· Nominalism · Platonic realism ·
Pragmatism · RealismKonstruktivisme ·
Dialetheism · Fictionalism · Finitism ·
Formalisme · intuisionisme · Logical atomisme · Logicism · Nominalisme ·
Platonis realisme · Pragmatisme ·
Realisme
[show] Metalogic and MetamathematicsMetalogic 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 ·
perbedaan ·
[show] Mathematical logicMatematika 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 · TheoryFormal 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 diagramProposisi · 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 tablesFungsi boolean · kalkulus
proposisional · proposisional formula · Logical penghubung · bilangan ·
Kebenaran tabel
Predicate Predikat
First-order · Quantifiers · Predicate · Second-order · Monadic predicate
calculusPertama-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 setSet · Kosong mengatur · Enumerasi · Extensionality · Hingga set · Fungsi · Subset · Power mengatur · Countable mengatur · Rekursif mengatur · Domain · Range · Memerintahkan pasangan · terhitung mengatur Model theory
Model teori
Model · Interpretation · Non-standard model · Finite model theory · Truth value · ValidityModel · Interpretasi · Non-standard model · Hingga model teori · Kebenaran nilai · Validitas
Proof theory Bukti teori
Formal proof · Deductive system · Formal system · Theorem · Logical consequence · Rule of inference · SyntaxBukti formal · Deduktif sistem ·
Formal sistem · Teorema · konsekuensi logis · Aturan inferensi · Sintaks Computability
theoryTeori komputabilita s
Recursion · Recursive set · Recursively enumerable set · Decision problem ·
Church–Turing thesis · Computable function · Primitive recursive function ·
Rekursi · rekursif mengatur · enumerable mengatur secara rekursif · Keputusan masalah · Gereja-Turing tesis · Komputasi fungsi · fungsi primitif rekursif ·
[show] Non-classical logicNon-klasik logika Modal logic
Modal logika AlethicAxiologic · Axiologic · Deontic · · DeonticDoxastic · · Doxasticepistemik · Epistemic · Temporal · TemporalAlethic · Intuitionism
Intuisionisme
Intuitionistic logic · Constructive analysis · Heyting arithmetic · Intuitionistic type theory · Constructive set theoryIntuitionistic logika · Konstruktif analisis ·
Heyting aritmatika · Intuitionistic jenis teori · Konstruktif Teori himpunan Fuzzy logic
Logika Fuzzy
Degree of truth · Fuzzy rule · Fuzzy set · Fuzzy finite element · Fuzzy set operations · Tingkat kebenaran · aturan fuzzy · himpunan fuzzy · Fuzzy hingga elemen · himpunan fuzzy operasi ·
Substructural logic
Substructural logika
Structural rule · Relevance logic · Linear logicaturan Struktural · Relevansi logika · Linear logika
Paraconsisten t logic Paraconsisten t logika DialetheismDialetheism Description logic Deskripsi logika
Ontology · Ontology languageOntologi · Ontologi bahasa
[show] LogiciansLogicians
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 · ZermeloAnderson · 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 theoryGaris logika ·
logika · Boolean aljabar · Teori himpunan
Other Lainnya
Logicians · Rules of inference ·
Paradoxes · Fallacies · Logic symbols Ahli logika · Aturan inferensi ·
Paradoks · kesalahan · simbol Logika Portal · Category · Outline · WikiProject · Talk · changesPortal · 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 accountMasuk log / buat akun
Namespaces Namespaces • ArticlePasal • DiscussionDiskusi Variants Varian Views Tampilan • ReadBaca • EditEdit
• View historyLihat riwayat
Actions Tindakan Search Cari Top of Form Special:Search Bottom of Form Navigation Navigasi
• Main pageHalaman Utama • ContentsIsi
• Featured contentMenampilkan isi • Current eventsWarung Kopi • Random articleRandom Artikel
Interaction Interaksi
• HelpBantuan
• About WikipediaPerihal Wikipedia • Community portalCommunity portal • Recent changesPerubahan terbaru • Contact WikipediaKontak Wikipedia
Toolbox Toolbox
• What links hereKotak peralatan • Related changesPerubahan terkait • Upload fileUpload file
• Special pagesKhusus halaman • Permanent linkPermanent link • Cite this pageKutip artikel ini
Print/export Cetak / ekspor
• Create a bookBuat buku
• Download as PDFDownload sebagai PDF • Printable versionVersi cetak
Languages Bahasa • AfrikaansAfrikanas • ةيبرعلاةيبرعلا • AsturianuAsturianu • বাংলা বাংলা • Беларуская (тарашкевіца) Беларуская (тарашкевіца) • BosanskiBosanski • BrezhonegBrezhoneg • БългарскиБългарски • CatalàCatalà • Ч вашлаӑ Ч вашлаӑ • ČeskyČesky • DanskDansk • DeutschDeutsch • EestiEesti • ΕλληνικάΕλληνικά • EspañolEspañol • EsperantoEsperanto • EuskaraEuskara • یسرافیسراف • FøroysktFøroyskt
• FrançaisFrançais • FryskFrysk • GalegoGalego • 한국어한국어 • िहनदी िहनदी • HrvatskiHrvatski • Ido Ido
• Bahasa IndonesiaBahasa Indonesia • InterlinguaInterlingua • ÍslenskaÍslenska • ItalianoItaliano • תירבעתירבע • ქართულიქართული • KiswahiliKiswahili • LatinaLatina • LatviešuLatviešu • LietuviųLietuvių • LojbanLojban • LumbaartLumbaart • MagyarMagyar • МакедонскиМакедонски • മലയാളംമലയാളം • मराठीमराठी
• Bahasa MelayuBahasa Melayu • NederlandsNederlands
• 日本語日本 语
• Norsk (bokmål) Norsk (Bokmål) • Norsk (nynorsk) Norsk (Nynorsk) • NovialNovial • PolskiPolski • PortuguêsPortuguês • RomânăRomână • RumantschRumantsch • РусскийРусский • SeelterskSeeltersk
• Simple EnglishWikipedia Bahasa Inggris • SlovenčinaSlovenčina
• Српски / SrpskiСрпски / Srpski • Srpskohrvatski / СрпскохрватскиSrpskohrvatski / Српскохрватски • SuomiSuomi • SvenskaSvenska • TagalogTagalog • தமிழ்தமிழ் • TürkçeTü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 non-profit organization. Wikipedia ® adalah merek dagang terdaftar dari Wikimedia Foundation, Inc , sebuah organisasi non-profit.
• Contact usHubungi kami
• Privacy policyKebijakan privasi • About WikipediaPerihal Wikipedia • DisclaimersPenyangkalan
• •
Teks asli Inggris Semantics
Sarankan terjemahan yang lebih baik vv
