比浏览器更快的访问！
26 关系: 劍橋大學出版社，域 (生物)，合式公式，定理，屬 (生物)，形式系統，形式语言，侯世達，後設小說，後設電影，公理，公理模式，元伦理学，科 (生物)，生物分類法，界 (生物)，物种，牛津大學出版社，语言学，范式，范畴论，自然後設語義，自指，逻辑，Penguin Books，数论。
劍橋大學出版社
劍橋大學出版社（Cambridge University Press）隸屬於英國劍橋大學，成立於1534年，是世界上僅次於牛津大學出版社的第二大大學出版社。.
新！!: 元語言和劍橋大學出版社 · 查看更多 »
域 (生物)
在生物分類學上，域（domain、superregnum、superkingdom、empire或regio）是美国微生物学家和生物物理学家卡爾·沃斯设计的三域系統中最高的分類單元，較界的層級高。在三域系統中生物的演化樹包含細菌、古菌與真核生物三個域，此分類主要基於基因組的分子證據分析。.
新！!: 元語言和域 (生物) · 查看更多 »
合式公式
在形式系統與逻辑中，WFF是合式公式（well-formed formula）的缩写。给定一个形式文法，WFF是这个文法生成的任何字符串。 例如，在命题演算中符号序列((\alpha\rightarrow\beta)\rightarrow(\neg\beta\rightarrow\neg\alpha))是一个WFF，因为它在文法上正确。符号序列((\alpha\rightarrow\beta)\rightarrow(\beta\beta))\alpha))不是WFF，因为它不符合命题演算的文法。 在形式逻辑中，证明是有特定性质的WFF序列，而序列中最终的WFF就是要证明的。.
定理
定理（Theorem）是經過受邏輯限制的證明為真的陈述。一般來說，在數學中，只有重要或有趣的陳述才叫定理。證明定理是數學的中心活動。一个定理陈述一个给定类的所有（全称）元素一种不变的关系，这些元素可以是无穷多，它们在任何时刻都无区别地成立，而没有一个例外。（例如：某些a是x，某些a是y，就不能算是定理）。 猜想是相信為真但未被證明的數學敘述，或者叫做命题，當它經過證明後便是定理。猜想是定理的來源，但並非唯一來源。一個從其他定理引伸出來的數學敘述可以不經過成為猜想的過程，成為定理。 如上所述，定理需要某些邏輯框架，繼而形成一套公理（公理系統）。同時，一個推理的過程，容許從公理中引出新定理和其他之前發現的定理。 在命題邏輯，所有已證明的敘述都稱為定理。.
屬 (生物)
#重定向 属.
新！!: 元語言和屬 (生物) · 查看更多 »
形式系統
在邏輯與數學中，一個形式系統（Formal system）是由兩個部分組成的，一個形式语言加上一個推理規則或轉換規則的集合。一個形式系統也許是純粹抽象地制定出來，只是為了研究其自身。另一方面，也可能是為了描述真實現象或客觀現實的領域而設計的。.
形式语言
在数学、逻辑和计算机科学中，形式语言（Formal language）是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样，形式语言一般有两个方面: 语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。.
侯世達
道格拉斯·理查·郝夫斯臺特（Douglas Richard Hofstadter，），中文名侯世達，美國学者、作家。他的主要研究领域包括意识、类比、艺术创造、文学翻译以及数学和物理学探索。 侯世达因其著作《哥德尔、埃舍尔、巴赫》獲得普立茲獎（非小说类别）.
後設小說
後設小說（Metafiction）又稱元小說、超小說，是一種小說類型，透過自我意識的覺醒，刻意凸顯書中虛構的錯覺。在1970年〈哲學與小說形式〉一文中首度提出「後設小說」的說法。典型的寫作技巧包括將原先的劇情設定為一件文學作品，隨後揭露故事的「真相」。後設小說透過諷刺和自我反省等手法，引導讀者思考小說與現實之間的關聯，進而有意識、有組織地探討小說本身的虛構性。 後設小說興起於現代和後現代文學時期，但它的跡源最早可追溯至荷馬《奧德賽》、傑弗里·喬叟《坎特伯雷故事集》和塞萬提斯《唐吉軻德》，以至的《》（1824年）。1950年代，法國小說界掀起「新小說」風潮，其中便隱含後設小說元素。1960年代，約翰·巴思《》、《保姆》、庫爾特·馮內古特《第五號屠宰場》、托馬斯·品欽《叫賣第49組》和威廉·加斯《威廉·馬斯特的孤妻》等作家與作品接連湧現，後設小說達到鼎盛。.
後設電影
#重定向 元电影.
公理
在傳統邏輯中，公理是沒有經過證明，但被當作不證自明的一個命題。因此，其真實性被視為是理所當然的，且被當做演繹及推論其他（理論相關）事實的起點。當不斷要求證明時，因果關係毕竟不能無限地追溯，而需停止於無需證明的公理。通常公理都很簡單，且符合直覺，如「a+b.
公理模式
在數理邏輯裡，公理模式廣義化了公理這個概念。 公理模式是個在公理系統的語言中的一個合式公式，其中有一個以上的模式變數出現。這些模式變數屬於元語言的一種，代表系統內的任一項或任一公式。這些變數通常需要有部分是自由的，亦即有些不出現在公式或項中的變數。 若模式變數能替換的公式或項的數目是可數無限的，此公理模式則代表了可數無限個公理。這些公理通常可以被遞迴地定義。若一個理論不需要使用到公理模式來公理化，則稱之為「可有限公理化的」。可有限公理化的理論在元數學中被認為是較為重要的，即使這些理論在推導工作上較少有實際的用途。 公理模式兩個極知名的例子為：.
元伦理学
元伦理学（英语：meta-ethics）是伦理学的一个分支，以伦理学本身作为其研究对象。元伦理学起源于20世纪初，乔治·爱德华·摩尔于1903年发表的《伦理学原理》宣告了元伦理学的诞生。之后，元伦理学取代了实践伦理学和规范伦理学成为了西方伦理学的主流，直至1970年代为止。 现代元伦理学有各种不同的流派。包括以乔治·爱德华·摩尔、哈罗德·亚瑟·普里查德（Harold Arthur Prichard）、W·D·罗斯（W.
科 (生物)
科（英文: family, familia）是生物分类法中的一级，位于目和属之间，現時生物界約有800个科，科下也分亚科，而在其上亦有總科。 亚科是生物分类法的一级，在科和属之间，有时亚科和屬之間也分族，亞科的拉丁文分類名稱的字尾通常是-inae。.
新！!: 元語言和科 (生物) · 查看更多 »
生物分類法
生物分类法（Taxonomy），又稱科學分類法，是用生物分类学方法來對生物的物種分组和歸類的辦法。以级别为基础的系统层次结构中使用的的一个固定数量的层次，域，界，門，綱，目，科，属，种。无级别系统使用任意数量的层次。分类的群体被称为分类单元。 現代生物分類法源於林奈的系統，他根據物種共有的生理特徵分類。在林奈之後，根據達爾文關於共同祖先的原則，此系統被逐漸改進。近年來，應用了生物信息學方法分析基因組DNA，正在大幅改動很多原有的分類。 生物分類法屬於系統分類學。.
界 (生物)
在很长一段时间裡，界（Kingdom）是生物科学分类法中最高的类别。一开始人只將生物分為动物和植物两界，微生物被發現后，也长时期被分入动物或植物界：好动的微生物被分入动物界，有色素的细菌（藻类）被分为植物，有些甚至被同时放入两界。后来，没有细胞核的细菌，終被独立为一界，再后来真菌也因為沒有葉綠體，被分出植物界，也成为独立的一界，最后自立为界的是古细菌。然而，最新的基於生物分子的基因研究发现这种分类法又并不十分正确，因此基於RNA結構和運作機制的不同，引入了域作为生物最高的类别。现有的生物被分入细菌、古菌与真核生物三个域。只有在真核生物中还有界的分法。真核生物域中分六个界：囊泡藻界、古虫界、有孔虫界、真菌界、植物界和动物界。 总共十个界：.
新！!: 元語言和界 (生物) · 查看更多 »
物种
种（Species）或稱物种，生物分类的基本单位，位于生物分类法中最後一级，在属之下。較為籠統的概念，是指一群或多或少与其它这样的群体形态相同，並能够交配繁殖出具生殖能力後代的相关生物群体。以演化生物學家恩斯特·麥爾的定义来说，物种是：「能够（或可能）相互配育的自然种群的类群，这些类群与其它这样的类群在生殖上相互隔离着。」昆虫学家陈世骧（1978）对物种所下定义为：「物种是繁殖单元，由又连续又间断的居群所组成；物种是进化单元，是生物系统线上的基本环节，是分类的基本单元。」。 在分类学中，一个物种被赋予一个拉丁化的雙名法名称。该名称使用斜体印刷，手写时则加上底線；属名首字母大写，屬名之後紧跟一个唯一的形容词，這個詞稱為種小名或種加詞，其首字母不可大寫。只有完整的双名制名称才称为「种名」，而非仅仅是双名制名称的第二个部分。例如人的种名叫Homo sapiens（智人），而不是sapiens。 物种也是演化和生物多样性的基本单元。.
牛津大學出版社
牛津大學出版社（Oxford University Press，簡稱OUP）是世界上規模最大的大學出版社，排行第二的是劍橋大學出版社，每年出版的書刊逾4000種。該社是牛津大學其中一個部門 ，掌管該社的監督委員會的成員，均是由校長委任的牛津大學教職員。 該大學涉足印刷行業可追溯至1480年，初時為印刷聖經、祈禱書和學術著作的主要印刷商。在19世紀時承印了牛津英文字典的項目，而其業務亦不斷擴充，涉獵兒童讀物、教科書、音樂、雜誌、世界經典系列，以及英語語言文字教學書籍等。隨着開拓國際市場，該社開始在英國以外的地方開設辦公室，首間位於紐約（1896年）。又隨着電腦的普及和經營環境改變，該社位於牛津的印刷廠於1989年關閉。其印刷和訂裝工作早已外包。.
新！!: 元語言和牛津大學出版社 · 查看更多 »
语言学
语言学（linguistics）是一门关于人类语言的科学研究。语言学包含了几种分支领域。在语言结构（语法）研究与意义（语义与语用）研究之间存在一个重要的主题划分。语法中包含了词法（单词的形成与组成），句法（决定单词如何组成短语或句子的规则）以及语音（声音系统与抽象声音单元的研究）。语音学是语言学的一个相关分支，它涉及到语音（phone）与非语音声音的实际属性，以及它们是如何发出与被接收到的。 與学习語言不同，语言学是研究所有人类语文發展有關的一門學術科目（通常只有根据语言，非文字）。传统上，语言学是文化人类学的分支学科，但是现在语言学越来越独立了。语言学研究句法和词语等语言的描述，也研究语言的发展史。 语言学其他的附属科目包括以下：.
范式
范式（Paradigm），或典範，由托马斯·库恩提出。在1960年之后是指在科学领域和知识论行文中的思维的方式。 范式过去被用来描述科学上截然不同的概念。现在经常用于描述在科学上或者认识论中的的思维方式。.
范畴论
疇論是數學的一門學科，以抽象的方法來處理數學概念，將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇，並且使用範疇論，令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇，其物件為集合，態射為集合間的函數。但需注意，範疇的物件不一定要是集合，態射也不一定要是函數；一個數學概念若可以找到一種方法，以符合物件及態射的定義，則可形成一個有效的範疇，且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群，其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現，在理論電腦科學的某些領域中用于對應資料型別，而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義，對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」，即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。.
自然後設語義
自然後設語義 (Natural Semantic Metalanguage, NSM)，又稱自然語義後設語言，或是簡稱自然語義理論，是語言學當中語義學的理論之一，源起於波蘭語言學者安德列傑‧波古斯洛斯基(Andrzej Bogusławski)的概念。主要理論創建者是澳洲籍波蘭語言學家安娜‧維茲畢卡(Anna Wierzbicka)，創於70年代早期(Wierzbicka 1972), 其先在華沙大學，後來以澳洲國立大學為學派的大本營。90年代後又與澳洲學者克里福‧高得(Cliff Goddard)繼續合作拓展研究領域和方向(Goddard & Wierzbicka 1994, 2002)。.
新！!: 元語言和自然後設語義 · 查看更多 »
自指
在自然语言和形式语言中，如果一句句子直接或间接提及自身，就稱為自指。自指可以是直接的，比如说谎者悖论，也可以是通过另外一句句子间接提及自身，还可以是通过某种编码反应自身，自指的语句常常会造成悖论。 自指在数学、哲学、计算机科学、语言学中都有被研究。在数学中，对自指的研究最终导致了著名的哥德尔不完备定理。在哲学中，“自指”一词也指代主体谈论或提及自身的能力。在中文中，通常使用第一人称代词“我”指代自身。在计算机科学中，有著名的停机问题。计算机程序中的自指主要是为递归。 Category:逻辑 Category:计算理论 Category:语言学.
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
Penguin Books
#重定向 企鹅出版集团.
新！!: 元語言和Penguin Books · 查看更多 »
数论
數論是纯粹数学的分支之一，主要研究整数的性質。被譽為「最純」的數學領域。 正整数按乘法性质划分，可以分成質数，合数，1，質数產生了很多一般人也能理解而又懸而未解的問題，如哥德巴赫猜想，孿生質數猜想等，即。很多問題虽然形式上十分初等，事实上却要用到许多艰深的数学知识。这一领域的研究从某种意义上推动了数学的发展，催生了大量的新思想和新方法。數論除了研究整數及質數外，也研究一些由整數衍生的數（如有理數）或是一些廣義的整數（如代數整數）。 整数可以是方程式的解（丟番圖方程）。有些解析函數（像黎曼ζ函數）中包括了一些整數、質數的性質，透過這些函數也可以了解一些數論的問題。透過數論也可以建立實數和有理數之間的關係，並且用有理數來逼近實數（丟番圖逼近）。 數論早期稱為算術。到20世紀初，才開始使用數論的名稱，而算術一詞則表示「基本運算」，不過在20世紀的後半，有部份數學家仍會用「算術」一詞來表示數論。1952年時數學家Harold Davenport仍用「高等算術」一詞來表示數論，戈弗雷·哈羅德·哈代和愛德華·梅特蘭·賴特在1938年寫《數論介紹》簡介時曾提到「我們曾考慮過將書名改為《算術介紹》，某方面而言是更合適的書名，但也容易讓讀者誤會其中的內容」。 卡尔·弗里德里希·高斯曾說：「數學是科學的皇后，數論是數學的皇后。.
