hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
无神论
无神论（英語：），在廣義上，是指一種不相信神存在的觀念；在狹義上，無神論是指對相信任何神鬼存在的一種抵制。無神論與通常至少相信一種神存在的有神論相对。
对于神（上帝）和灵魂存在，有着各种各样截然不同的概念，导致了无神论的适用性的各种观点。但狹義的无神论否认的事物包括：从神的存在到任何超自然或先验概念的存在，例如印度教、佛教和道教的观念。也因此部分學者主張，從哲學觀點來研究所謂堅持無神主義的人或是政治組織，本身亦是持一種如信仰一般的理念存在，並在實務上表現出了類似的行為模式。
无神论 简介
支持無神論的論據包括各類從哲學到社會和歷史的方法。無神論者不相信神存在，因為其缺乏经验证据的支持、无法解释罪惡問題、各种神的啟示不一致、不可证伪、且没有考虑无信仰者。無神論者认为，无神论比有神论更簡約，而且每个人生来就没有对神灵的信仰；因此，他们认为駁斥神灵存在的舉證責任不在無神論者身上，而是應由有神論者證明有神論正確。虽然一些无神论者采用了世俗主义哲学（例如世俗人文主义），无神论者之间并没有一个共同的思想体系。
20世纪英国的著名哲學家伯特兰·罗素用其罗素的茶壶的例子说明，任何人都没有反证断言的责任，论证有神論者这一立場的错误。道金斯进一步用飞天面条神教和罗素的茶壶作为一个反证法的论述有神論者这一立場的错误，如果在无法由科学证明的情况要求相信和不相信一个超自然存在都得到同样的尊重和重视，那么它也必须给予相信罗素的茶壶存在同等的尊重，因为茶壶和超自然存在同样无法去由科学证明或否证。伯特兰·罗素还在其《为什么我不是基督徒》一书中，以科学求证的态度否定超自然性和上帝。在一篇成於1952年但從未發表的文章《神存在嗎？》裡，羅素寫到：
无神论 简介
我應稱自己為不可知論者；但在实际意义上，我是無神論者。我不認為基督教中的神比奧林匹斯十二主神或瓦爾哈拉更可能存在。用另一個例證：沒有人可以證明，在地球和火星之間沒有一個以橢圓形軌道旋轉的瓷製茶壺，但沒人認為這充分可能在現實中存在。我覺得基督教的上帝一樣不可能。
无神论 简介
有“现代物理学之父”之誉的爱因斯坦在其作品《我的世界观》中是这样否定上帝： “我无法想象存在这样一个上帝，它会对自己的创造物加以赏罚……我不能也不愿去想象一个人在肉体死亡以后还会继续活着。”但事實上，愛因斯坦形容自己為不可知論者，並不同意專業無神論者般的十字軍精神；更仔細解釋，由於人類對於大自然與自己本身的了解可能有缺失，因此應該採取謹慎謙卑的態度。美國猶太領袖拉比赫伯特·高德斯坦曾經問他是否相信神？他回答說：“我相信斯宾诺莎的神，一个通过存在事物的和谐有序体现自己的神，而不是一个关心人类命运和行为的神。”換句話說，愛因斯坦認為，從宇宙世界的存在，可以感覺到神的偉大工作，但神並不會干預人們的日常生活，神是非人格化的神:389-390。愛因斯坦曾經在書信裏表示：「我不相信人格化的神，我從未否認這一點，而且表達得很清楚。如果在我的內心裏有什麼能被稱之為宗教，那就是，對於我們的科學所能夠揭示的世界結構，對於這世界結構的無垠的敬仰。」:43
物理學家霍金在其2010年《大设计》一書中论证宇宙可依照科学原理而浑然天成，不须向上帝过问，甚至没有所谓造物主的位置。
无神论 简介
21世纪初的一群无神论作家所提出新無神論的思想。他们主张“对宗教在政府，教育和政治等任何施加不适当影响的任何地方，它不应该是简单地被容忍，而应该受反驳、批评，并暴露于理性的争论之下。”有媒體將丹尼爾·丹尼特、理查德·道金斯、山姆·哈里斯及克里斯托弗·希欽斯被稱为“新無神論的四騎士”。以前的作家中的许多人认为科学不关心甚至无法处理“神”的概念，理查德·道金斯则相反，声称“神假说”是有效的科学假说，对物理的宇宙有影响，像其他任何科学假设一样都可以得到检验和证伪。道金斯以其直言不諱的語氣和科學求證的態度挑戰「神創造世界」宗教概念而聞名。他们在2004年至2007年间写下的一些畅销书为新无神论的后续讨论奠定了理论基础。随着时代发展和科学进步的影响，教皇现在希望大眾接受进化论和大爆炸理论。
1979诺贝尔物理学奖获得者史蒂文·温伯格警示人们，世界需要从漫长的宗教信仰噩梦中醒来；对我们科学家来说，为削弱宗教信仰而可以做的任何事情都应该去做，实际上这可能是我们对文明的最大贡献。宗教是弊大于利的。他还认为：无论有没有宗教，好人都会做好事，坏人都会做恶事；但是，若你想要好人做恶事，就需要宗教了。
无神论 简介
由于对无神论的定义各不相同，因此很难准确估计目前无神论者的人数。根据温—盖洛普国际在全球范围内的研究显示，2012年有13%的受访者是“坚定的无神论者”，2015年有11%是“坚定的无神论者”，2017年有9%是“坚定的无神论者”。其他研究人员建议谨慎对待温—盖洛普国际的统计数字，因为几十年来使用相同统计方法且样本量更大的其他调查得出的数字一直偏低。英国广播公司2004年進行的一個調查顯示，無神論者为全世界人口的8％。其他较早的估计表明，无神论者占世界人口的2%，而无宗教者占12%。這些民調顯示歐洲和東亞是無神論佔比最高的地區。2015年，中国有61%的人报告称他们是无神论者。2010年欧洲联盟的歐洲晴雨表调查数字显示，20%的欧盟人口声称不相信“任何种类的灵魂、神或生命力”的存在，其中法国（40%）和瑞典（34%）占比最高。
跨国研究结果表明教育程度和不相信上帝有正相关性，事实上无神论在科学家中所占地比例更高这一趋势在20世纪初就比较明显，而到20世纪末成为科学家中的多数。美国心理学家詹姆士·柳巴1914年随机调查1000位美国自然科学家，其中58％“不相信或怀疑神的存在”。同一调查在1996年重复了一次(《自然》杂志1998年刊登的文章)，得出60.7％的类似结果, 而且美国科学院院士中这一比例高达93％。肯定回答不相信神的比例从52％升高至72％。调查显示美国国家科学院院士之中相信人格神或来世的人数处于历史低点，相信人格神的只占7%，远低于美国人口的85%比例。
對無神論的批評也不無存在。例如，批評者認為主張無神論者自身也無法確證神不存在，無神論相信神不存在本身就很接近一種宗教式的信條。美國土耳其裔物理學家、懷疑論者坦納·埃迪斯就認為，沒有證據表明科學離不開無神論。他認為無神論大部分推論都是基於倫理學、或者哲學的推理。啓蒙運動思想家、唯物主義哲學家德尼·狄德羅也對無神論持批評態度。他不認為無神論比形而上學更科學。
无神论 词源
在早期古希腊语中，形容词「atheos」（)，由否定词缀 + “神”构成）的意思是"不敬畏神的"或"邪恶的"。公元前五世纪以后该词的意思逐渐的演變成了“有意的无神”，成为“与神断绝关系”或“否认神的存在”而不再是早期的（asebēs，不虔诚的）。古希腊文的现代翻译通常会将「atheos」译作“无神论的”，而（atheotēs）则译作抽象名词“无神论”。西塞罗把atheos这个希腊语词汇转写成拉丁形式。在早期天主教与古希腊宗教的辩论中常常能看见这个词，双方都以此轻蔑对方。
在英语中，无神论一词来自于1587年左右的法语词汇。而无神论者一词（来自法语「athée」，意为「否认或拒绝相信神的存在的人」）在英语中出现的比无神论更早，大约在1571年。无神论者最早在1577年开始被当作不信神者的标签。相关的词语则在其后出现：自然神论者，1621年，有神论者，1662年；有神论，1678年；自然神论，1682年。1700年左右，在无神论一词的影响下，自然神论和有神论的词义发生了轻微的变化；自然神论的本义与有神论完全相同，但却有了独立于有神论的哲学意义。
无神论 词源
凯伦·阿姆斯特朗曾记载：“在16到17世纪之间，无神论者一词仍然只能在辩论中见到……被唤做无神论者是个巨大的侮辱。没有人愿意被称为无神论者。”无神论在18世纪晚期的欧洲被首次用作自称，但当时该词的含义特指不信仰亚伯拉罕诸教。随着20世纪全球化的趋势，无神论一词的意思被扩大到了“不信仰任何宗教”，然而在西方社会，该词还是主要用以描述“对上帝的不信仰”。
无神论 认识论基础
无神论用形而上学的理性分析和科学检验的方法，不靠没有证据的信仰，旨在坚持与其他哲学（如形而上学和不可知论）和科学事业相同的理性调查标准，并接受相同的评估和批评方法。这种认识论上的理性的分析方法，也被哲学家和神学家用来研究信仰的本身的合理性，将宗教经典的描述和历史，考古，和科学发现相比较。
无神论遵循的推理方法类似于自然神论和不可知论，避免了吸引特殊的非自然才能（心灵感应，神秘经历）或超自然的信息来源（神圣的文本，神学的揭示，信条权威，直接的超自然交流）。这种避免非自然才能或超自然的信息来源的方法，与启示神学和基督教神学的方法有区别。
无神论 认识论基础
无神论的理性分析和科学检验的方法与靠信仰的方法相对立。伯特兰·罗素写道：基督徒认为自己的信仰行善，但其他信仰却有害，无论如何，他们对共产主义信仰也是持这种观点。我坚持的是，所有信仰都是有害的。我们可以将“信仰”定义为对没有证据的事物的坚定信念，在有证据的地方，没有人会说“信仰”。我们不说“2加2等于4”是信仰，也不说“地球是圆的”是信仰。我们只在希望用情感代替证据时才谈到信仰，用情感代替证据容易导致冲突，这是因为不同的群体用不同的情感来代替。基督徒对信仰耶稣复活，共产党人相信马克思的价值论。其中任一种信仰都不能得理性的支撑，因此，每种信仰都只得通过宣传来维持，必要时还得通过战争。
进化生物学家理查德·道金斯在其著作上帝错觉中批判他所认为的与科学证据直接冲突的所有信仰。他将信仰描述为没有证据的盲信，一个积极的不思考的过程。他指出，这种做法只会让任何人仅凭个人思想和可能扭曲的感知（不需要对自然进行检验）提出关于自然的断言（主张）; 这种做法，降低了我们对自然世界的理解，没有任何能力做出可靠且一致的预测，并且无需同行评议。
无神论 定义与区分
不同的无神论者信仰不同的超自然实体，不同的无神论对信仰有着不同的界定，考虑到这些问题，人们很难直接的定义与区分无神论。
定义区分无神论时有许多困难，主要因为对如神与上帝等基本概念的定义没有一致共识，对神定义的多样性相应的导致了对无神论定义的不同。古罗马因为基督徒拒绝信奉古羅馬宗教而指责其为无神论者，而在20世纪，无神论一词则更多的被理解为不信仰任何宗教。
无神论所否认的事物则更加复杂，无神论可以否认神性、神灵、超自然或许多其他概念，例如印度教和佛教的超然存在。
无神论 定义与区分
对无神论的定义存有一个问题，那就是一个无神论者对神的“不信”需要到一个什么程度。无神论的定义有时包括了对有神信仰的简单缺失。这个宽泛的定义可以把连同新生儿在内的许多从未为接触过有神论概念的人涵盖进去。如1772年霍尔巴赫所说：“儿童生来即是无神论者；他们对上帝（是什么）没有概念。”同样地，乔治·H·史密斯在1979年说道：“对有神概念不熟悉的人即为无神论者，因为他不信神。这个分类同样包含了那些已经有能力去把握，但实际上并没有清楚意识到神灵概念的儿童们。儿童们对神的不信仰使他们成为了无神论者。”史密斯创造了隐无神论一词表示“缺乏信仰但并非有意抵制”，同时也创造了显无神论指代“对自己的不信仰有明确意识”。
无神论 定义与区分
在西方文化中，儿童生来即为无神论者的观点出现的相对较晚。在18世纪以前，西方对上帝存在的信仰是如此广泛，以至于是否存在真正的无神论者也值得怀疑。这被称为神学天赋论——一种认为人生来就信仰上帝的观点；这种观点简单地否定了无神论者的存在。还有一种观点认为无神论者在遇上危难時将很快地投身信仰，例如做出临终皈依，一句西方谚语“散兵坑里没有无神论者”也闡述了這一觀點。这一观点的部分支持者认为宗教在人类学意义上的益处是宗教信仰能让人更好的面对逆境（对比卡尔·马克思在《黑格尔法哲學批判綱要》中提出的精神鸦片说）。一些无神论者则强调实际上有反例，确实存在着“散兵坑里的无神论者。”
无神论 定义与区分
哲学家安东尼·弗鲁，迈克尔·马丁（Michael Martin），以及威廉·L·罗伊（William L. Rowe）等人将无神论分为强（积极）与弱（消极）两类。强无神论清楚地宣稱神不存在，弱无神论则包含了所有形式的非有神论。根据此分类，所有的非有神论者都必然是强或弱无神论者，而绝大多数不可知论者都是弱无神论者。与积极和消极相比，强和弱两词用以形容无神论则相对较晚，但至少在1813年就已经出现在了各类（虽然用法略有不同）哲学著作与天主教的辯惑之中。
当马丁等哲学家把不可知论归类为弱无神论的时候，绝大多数的不可知论者并不认为自己是无神论者，在他们看来无神论并不比有神论更加合理。支持或否定神存在的知识的不可获得性有时被看作无神论必须经历“信仰飞跃（Leap of Faith）”的标示。一般无神论者对这一论证的反驳包括：未经证实的宗教命题应和其他的未证实命题受到同样多的怀疑，以及神存在与否的不可证明性并不代表两种可能的概率相等。苏格兰哲学家J. J. C.斯馬特甚至说道：“因为一种过于笼统的哲学怀疑论，有时一个真正的无神论者可能会，甚至是强烈地，表达自己为一个不可知论者，这种过分的怀疑论将阻碍我们肯定自己对或许除数学或逻辑定理以外的任何知识的理解。”因此，一些知名的无神论作家如理查德·道金斯更倾向于依据“有多大程度相信神存在”的光譜来区分有神论者，不可知论者与无神论者。
如上文所述，积极和消极两词与强和弱两词在形容无神论时具有相同意义。但是印度哲学家拉奥 (哲学家)在其1972年出版的《积极无神论》一书中给出了此词语的另一种用法。古拉本人在阶级划分明显与宗教文化底蕴深厚的印度长大，在他的努力下印度建立起了一个世俗政府，据此他提出了一些积极无神论哲学的指导方针，积极无神论者应该具有这样一些品质：品行正直，对有神论者理解，不强求他人成为无神论者，以及对真理的追求，而不是满足在争辩中的胜利。
无神论 基本理据
信仰无神论的哲学理据在大体上可划分为实用主义和理论主义两类，而各种不同理论的无神论又分别来自独一的论据与哲学论证。与此相反，实用无神论不需要论证，因为其核心概念是对有神论概念的漠视和无知。
在实用，或称实用主义无神论体系中（又称远神论），个人的生活不受神灵的影响，对日常现象的解释也不用借助神学。但神的存在并未遭到直接否认，而仅仅被认为无需考虑；在这种观点下，神既不为个人生活提供目标，也不影响个人的日常生活。对科学界造成影响的一种实用无神论叫做方法论自然主义—即“无论是否全然接收与认可，对科学方法内的哲学自然主义的接纳和假设。”
实用无神论有多种表现形式：
理论主义无神论要求清晰的提出神不存在的证明，以回应诸如目的论论证与帕斯卡的赌注一类神存在的论证。否认神存在的论据有很多种，通常是以本体论，认识论以及知识论的形式表现，但有时也会表现在心理学与社会学的形式上。
无神论 基本理据
知识论无神论认为人不可能感知到神祇或其存在，其理论基础为不同形式的不可知论。在内在理论体系中，神与世界是紧密相连的，因此也存在于人的思想中，与此同时，每个人的意识又都必然是主观的；根据这种不可知论，人类认知所存在的种种限制使得来自宗教信仰的任何客观推理都无法得出神存在的结论。康德的理性主义不可知论和启蒙运动只接受人类理性推导得出的知识；这一类无神论认为神不像原则问题般清晰可辨，因而不能确知其是否存在。基于休谟理念的怀疑主义断言确知任何事物都是不可能的，因而人永远不能知道神是否存在。对无神论和不可知论的分类饱受争议；两者能被看成是不同且相对独立的世界观。
其他的能被分类成知识论或本体论的？无神论论证，包括逻辑实证主义和漠视主义，都论述了例如“神”和“神是全能的”一类概念和陈述的无意义性及不清晰性。神学非认知主义认为“神存在”这一类陈述并未表达任何主张，实际上是荒谬无意义的。神学非认知主义应该被分类为无神论还是不可知论一直存有争议。哲学家艾尔弗雷德·朱尔斯·艾耶尔和西奥多·迈克尔·德兰格反对这两种分类，他们认为这两种理论都接受“神存在”是一种主张；因而坚持神学非认知主义的独立性。
无神论 基本理据
形而上学无神论是建立在形而上学一元论——一种认为世界是同质且不可分的概念——的基础上的。绝对形而上学无神论者相信多种不同形式的物理主义，並據此否認非物理的存在。相对形而上学无神论者对神的概念则持有较为缓和的否定态度，这种否定态度来源于他们的哲学信仰與神的超然存在或人格等属性之间的矛盾。相对形而上学无神论包括了泛神论，超泛神论以及自然神论。
哲学家如路德维希·费尔巴哈与西格蒙德·弗洛伊德认为上帝和其他宗教信仰都是人类自身的创造，其目的是填补许多心理与情感上的需求。这也是许多佛教徒的观点。受费尔巴哈的影响，卡尔·马克思和弗里德里希·恩格斯研究神与宗教的社会功能并作出结论，认为它们是统治阶级用来压迫劳动阶级的工具。米哈伊尔·巴枯宁则说：“神的概念暗指了人类理性和公义的缺失；它是对人类自由的极端否定，不论在理论上还是在实际中，它都必随着人类奴役的结束而消亡。”他将伏尔泰的名言“如果上帝不存在，那就必须创造祂。”修改成“如果上帝存在，那就必须抛弃祂。”
无神论 基本理据
基于逻辑学的无神论认为对神的概念的各种不同定义——例如基督教的人格神——都在逻辑上有自相矛盾的本质。这一类无神论者提出了各種演绎论证来否定神的存在，此類论证明确了神的几种属性，例如：完美、创造者地位、不朽、全知、全在、全能、全善、超然存在、人之特质、非物质性、正义以及仁慈等，是无法和諧並存的。
神义论无神论者认为神学家加给神的各种性质不能与现实的世界调和。他们认为全知，全能和全善的神并不能解释一个存在着罪恶痛苦以及神性隐退的世界。佛教的创始人释迦牟尼也曾提出过类似的论证。
价值论无神论，或称建设性无神论，因为诸如人性等“较高绝对”的存在而否定神。这种无神论论证认为人性才是道德观和价值观的绝对根源，人性也能让人无须求助于神即可解决伦理道德问题。马克思、弗洛伊德和萨特都曾使用过这种论证去传达解放、超人说以及无限制的幸福的要旨。
布莱兹·帕斯卡在1669年相对于人本主义论据提出了一个至今仍然很常用的对无神论的批评——那就是否认神的存在将会导致道德相对主义，使人不再有道德的基础，也让生命变得痛苦和无意义。
信仰无神论的其他论据还包括：
无神论 历史
尽管无神论一词出现在16世纪的法国，但早在吠陀文化时期和古典时期就已经有无神论概念的记载了。
无神论一词源起于公元前5世纪的古希腊語，最初指的是对较广为接受的神灵所持有的否定态度的人，被神灵抛弃的人，或未承诺相信神灵的人。这个由正统宗教徒所创造的词实际指代了一类社会类别，那些与他们的宗教信仰不同的人都会被归入这个类别。今日语境下的无神论一词可追溯至16世纪。随着自由思想和科學懷疑論的传播，以及对宗教的批评的增多，这一词语的对象范围也逐渐狭窄起来。第一个自称为“无神论者”的人出现在18世纪啟蒙時代。法国大革命是歷史上的第一次與无神论有關的大型政治運動，其倡導人們理性至上。
无神论 历史
道家思想成形于先秦时期，直到东汉末“黄老”一词才与神仙崇拜这样的概念结合起来。部分学者认为，就本身来说，这种神仙崇拜和道家思想少有相关联成份，老子、庄子都是以相当平静的心态来对待死亡的。道家思想是哲学学派，很大程度上是无神论的，道教是有神论宗教信仰。引起两者相关联的原因可能是在道家的文字描述了对于领悟了“道”并体现“道”的人物意象，道教尊老子为祖師，又追求耳目不衰、长生不死，这和老子的哲学思想是有相悖之处的，将两者完全混为一谈是认识上的误区。
持道家思想的王充是中国东汉末年的思想家和文学家，他的作品《论衡》在中国思想史上具有重要地位。王充的思想被認為是無神論的。他批評汉末流行的神仙崇拜、批判當時流行的天人感應，，认为元气是构成天地万物最原始的物质基础。他认为天并不具备情感和意义，它是一个没有主观意愿的自然实体。同時，他也认为自然现象不是上天的谴责、精神不能离开形体而独立存在。哲學家馮友蘭認為，王充的观点在一定程度上否定了当时流行的神秘主义和迷信观念，强调了理性思维和对自然现象的客观认识 。
无神论 历史
南北朝时期的思想家范缜对统治阶级迷信佛教、贻误国家的行为感到愤慨。他著作《神灭论》，批判宗教迷信、宣传无神论的思想。范缜认为相信精神可以脱离形体而单独存在、除了人类的世界之外还有一个独立存在的所谓"神的世界"这种观点是一种迷信、是错误的。范缜认为精神只有依附于形体才能存在，没有形体就没有精神。他强调形体是精神的载体，精神只是形体的作用而已。因此，人死后就只剩下了尸体，精神不可能独立存在。范缜指出，除了物质世界的时空之外，根本不存在非物质的、超时空的所谓"神的世界"。范缜在《神灭论》中还分析了迷信的基本手段，指出迷信制造者利用人们对鬼神的信仰，误以为灵魂可以独立存在，然后通过虚幻迷信的神话来迷惑人、吓唬人、欺骗人和引诱人。范缜强调，迷信的流行会导致社会道德败坏，使人们追求私利而忽视亲情和帮助穷人的行为。他认为，施舍应该出于真正救助他人的善意，而不是为了立即得到好报。
无神论 历史
20世纪初俄國革命的確促發了之後的一連串革命潮，中國共產黨将堅持无神论的馬克思主義作为中国革命的理論传入中国。中國共產黨要求共产党员必须是彻底的无神论者，不仅要坚持马克思主义无神论，而且要积极宣传马克思主义无神论，普及辩证唯物主义的基本观点。无神论的馬克思主義是当代中國共產黨的指导思想。《中国纪检监察报》的文章介绍到，按中國共產黨章程来说，每一个中国共产党员必须是无神论者；公民有信仰宗教的自由，但是共产党员不能信仰宗教，不能参加宗教活动。
尽管印度教是有神宗教，但它却包含无神论宗派。出现在大约公元前6世纪，坚持唯物主义和反神哲学的顺世派可能是印度哲学中最接近无神论的一派。这一哲学分支被定义成非正统派，被排除在古印度六大哲学派别之外，但因其是印度教中唯物主义运动的证据而值得注意。
其他含有无神论思想的印度哲学流派包括数论派和行业派。相信有神，但对有人格的造物主概念有所排斥的，还有印度的耆那教与佛教。
无神论 历史
西方的无神论源于前苏格拉底时期的古希腊哲学，但直到启蒙时代后期才发展成明确的世界观。公元前五世纪的希腊哲学家迪亚戈拉斯被称为“第一个无神论者”，西塞罗在他的著作《论神性》中也提到过狄雅戈拉斯。克里提亚斯把宗教看成是人类的发明，其目的是恐吓其他人，好让他们接受道德规范。原子论者如德谟克利特试图用纯粹的，不借助精神与神秘事物的唯物主义方式来解释世界。其他具有无神论思想的前苏格拉底时期哲学家还包括普罗狄克斯和普罗泰戈拉。公元前三世纪的希腊哲学家西奧多羅斯与斯特拉图同样不相信神的存在。
苏格拉底（约公元前471年–399年）曾因对国家神明（参见尤西弗罗困境）提出质疑而被指控为“不敬”。尽管他以自己相信鬼神为由否认自己是一个“纯粹的无神论者”，他最终仍被判处死刑。苏格拉底在与柏拉图的对话录《斐德罗》中曾向多位不同的神祈祷，还在《理想国》一书中说过“宙斯在上”。
无神论 历史
犹希迈罗斯（约公元前330年–260年）认为神來源於受人崇拜的古代征服者，而他们的宗教信仰在本质上其实是对那些早已消失的王国与政体的延续。尽管他并不是一个严格意义上的无神论者，犹希迈罗斯仍被批评为“通过在衆人居住的土地上诋毁神祇以传播无神论”。
原子论唯物主义者伊壁鸠鲁（约公元前341年–270年）反对许多的宗教概念，包括来世及位格神的存在；他认为灵魂是纯粹物质的与不朽的。虽然伊壁鸠鲁主义并没有明确否认神的存在，但伊壁鸠鲁认为，如果神确实存在的话，那祂们对人类是毫不关心的。
古罗马诗人卢克莱修（约公元前99年–55年）持有与伊壁鸠鲁相近的观点，即若果神存在的话，祂们不会关心人类，也不会影响自然世界。基于这个理由，他认为人类不应惧怕超自然的事物。他在著作《物性论》中阐明了自己对宇宙，自然，灵魂，宗教，道德等等事物的伊壁鸠鲁式观点，这本书在古罗马起到了推行伊壁鸠鲁哲学的作用。
无神论 历史
古罗马哲学家塞克斯都·恩披里柯提出了一种源于皮浪主义思想的怀疑观点，他认为人们不应该对任何一种信仰做出自己的判断，因为没有任何事物天性邪恶，而持有这种保留态度的人则能获得内心的宁静（Ataraxia）。他遗留的相对大量的著作对后世哲学家带来了持续的影响。
在古典时期，“无神论者”一词的意思逐渐的发生着改变，早期的基督徒因为拒绝信奉异教神而被打上无神论者的标签。到了罗马帝国时期，大批基督徒因为抵制对罗马皇帝以及罗马神祇的崇拜而被处死。而在狄奥多西一世于381年将基督教定为国教之后，基督教的异教又成为了惩罚的对象。
无神论 历史
在中世纪前期和中世纪（参见中世纪审判）的欧洲，对无神论思想的拥护是非常少见的；形而上学，宗教和神学是当时的主流。但在当时仍然有一些运动在推行与基督教上帝不同的非正统观念，包括对自然的相异看法，超然存在和上帝的可知性等。一些个人和团体如约翰内斯·司各特·爱留根纳、迪南的大卫、贝纳的亚马里克以及自由灵兄弟会（Brethren of the Free Spirit）都持有一种接近泛神论的基督教思想。库萨的尼古拉则持有一种他称之为“有知识的无知”的信仰主义观点，认为上帝超出了人类的理解范畴，我们对上帝的认识都只能依靠推测。奥卡姆的威廉则产生了一种反形而上学的倾向，认为人类知识对抽象实体的认识有唯名论的限制，因此神的本质无法被人类理智所直观和理性的领会。奥卡姆的追随者，例如米尔库尔的约翰和奥特库尔的尼古拉继续扩展了这种观点。这些信仰与概念上的分歧影响了此后的一些神学家，包括约翰·威克里夫，扬·胡斯以及马丁·路德。
无神论 历史
文艺复兴运动则扩大了自由思想以及怀疑质询的范畴。一些个人如列奥纳多·达芬奇把实验看作解释事物的手段，反对宗教权威的论据。这一时期的其他宗教与教会批评家有尼可罗·马基亚维利、博纳旺蒂尔·德佩里埃和弗朗索瓦·拉伯雷。
文艺复兴和宗教改革时期见证了宗教狂热的再度兴起，例如新兴教团的扩增，大众对天主教的忠诚，还有加尔文宗等新教教派的出现。这一时期的宗教间冲突也扩展了当时神学与哲学的讨论范围，为其后出现的怀疑宗教的世界观奠定了基础。
无神论 历史
对基督教的批评在17与18世纪变得更加频繁，特别是在英国与法国，根据当时的资料，两地出现了所谓的“难以名状的宗教问题”。一些新教思想家，例如托马斯·霍布斯，支持唯物主义哲学，同时对超自然事物持怀疑态度。荷兰裔犹太哲学家巴鲁赫·斯宾诺莎反对摄理（Divine Providence）概念而支持泛神论自然主义。到了17世纪晚期，自然神论更广为知识分子所接受，如约翰·托兰德。不过，虽然自然神论者嘲笑基督教，他们对无神论也持蔑视态度。已知的第一个抛开自然神论衣钵转而强硬否认神祇存在的无神论者是一位十八世纪早期法国神父让·梅叶。他的追随者包括其他更为公开的无神论思想家，例如霍尔巴赫和雅克-安德烈·奈容（Jacques-André Naigeon）。哲学家大卫·休谟基于经验主义开发了一套持怀疑态度的认识论，破坏了自然神论的形而上学基础。
法国大革命把无神论从沙龙中带到了公众面前。强制执行神职人员民事组织法案的尝试导致了对大量神职人员的驱逐和暴力压制。革命时期巴黎各种混乱的政治事件最终让极端的雅各宾派在1793年获得权力，开始了恐怖统治。在恐怖高潮，一些激进的无神论者试图用武力强制的将法国去基督教化，把宗教替换为理性崇拜。这些迫害随着热月政变而结束，但这一时期的部分世俗化措施对法国政治造成了长久的影响。
拿破仑时期将法国社会的世俗化活动制度化，同时将革命带到了意大利北部，试图籍此打造容易受摆布的共和国。19世纪，许多的无神论者和反宗教思想家都投身到政治与社会活动中，促成了1848年革命、意大利统一以及国际社会主义活动的增长。
在19世纪的后半期，无神论在理性主义与自由思想哲学家的影响下变得日益彰显。这一时期的许多杰出哲学家都否认神的存在，对宗教持批评态度，他们之中有路德维希·费尔巴哈，亚瑟·叔本华，卡尔·马克思和弗里德里希·尼采。
20世纪的无神论，特别是实用主义无神论，出现在了许多的社会群体中。无神论思想也为更加广域的哲学派别所认可，它们包括存在主义、客观主义、世俗人文主义、虚无主义、逻辑实证主义、马克思主义、女权主义以及普通科学和理性主义。
逻辑实证主义与科学主义为随后的新实证主义、分析哲学、结构主义以及自然主义铺平了道路。新实证主义和分析哲学抛弃了古典理性主义与形而上学，转向严格的经验主义与认识论的唯名论。支持者诸如伯特兰·罗素等断然地拒绝信仰神。路德维希·维特根斯坦在他的早期工作中曾试图将形而上学与超自然的语言从理性论述中分离开来。A.J.艾耶尔断言宗教陈述具有不可证明性与无意义性，援引了自己对经验科学的坚定信仰。列维-斯特劳斯的应用结构主义否定了宗教语言的玄奥意味，认为它们都源自于人类的潜意识。J. N.芬德利和J. J. C.斯马特论证称神的存在在逻辑上是非必然的。自然主义者与唯物主义一元论者如约翰·杜威认为自然世界是万物的基础，否认了神与不朽的存在。
20世纪同时也见证了无神论在政治上的崛起，尤其是在马克思与恩格斯理论的推动下。在1917年俄国十月革命之后，宗教自由的增加仅持续了数年，其后的斯大林主义转而压制宗教。苏联和其他社会主义国家在推动国家无神论形成的同时使用暴力手段抵制宗教。
柏林墙倒塌之后，反宗教政体的数目大为减少。2006年，皮尤研究中心的蒂莫西·沙（Timothy Shah）博士指出“一股世界性的潮流已经覆盖各主要宗教团体，那就是相对于世俗运动与意识形态，基于神与信仰的运动的信心和影响力要更为明显地增长。”前沿基金会的格利高里·斯科特·保罗和菲尔·查克曼（Phil Zuckerman）认为这不尽真实，实际情况较此要复杂与微妙的多。近年來（2000年後）於英美等地興起，攻擊宗教信仰的無神論運動（新無神論）說明了這點，有媒體將丹尼爾·丹尼特、理查德·道金斯、山姆·哈里斯及克里斯托弗·希欽斯稱作新無神論的四騎士。
无神论 國家無神論
国家无神论（英語：）是一个相对于国家宗教的概念，即由政府所推行的无神论，通常会伴随着对宗教自由的壓制出现。大部分社会主义国家都有过这样的政策。
无神论 有關「無神論」之不同社會面向
统计无神论者人口很困难，其结果也不準确。原因主要有两个：第一，世界上一些政府推广无神论，而另一些政府压制无神论，因此对于无神论者人口的统计可能过高或过低；其次，由于无神论的定义不确定，许多统计的标准并不统一，其中一些可能仅仅统计强无神论者人口，而另一些则统计无宗教信仰的人口。信仰印度教的无神论者会回答自己是印度教徒，但同时他也是无神论者。無神論概念出自一神信仰的西方，該概念套用到傳統東方文化上可能出現矛盾，如中國人和日本人等東方民族可能介於有神論和無神論間，與西方嚴格區別兩個概念的思維不同。因此統計該地各國無神論者的比例，可能會出現10－90％的極大落差。特别是在日本，大多数人都同时拥有多个宗教信仰（参见日本宗教）。而無宗教信仰者並不同于无神论者，可能近似于不可知論者。
无神论 有關「無神論」之不同社會面向
尽管无神论者在大部分国家佔少数，但可以确定的是在共产主义国家（如中华人民共和国、越南、古巴等）和前共产主义国家（如俄罗斯、白俄罗斯等），无神论者人数较多，这是由于共产主义国家曾经强制推行无神论。在西欧、澳大利亚、新西兰、加拿大等地区无神论者也较多，之后是美国，世界其他国家地区无神论者较少。根据1995年的调查，无宗教信仰的人口占世界总人口的14.7％，而无神论者占3.8％。与此相近的，在2002年由Adherents.com网站进行的调查表明“世俗的、无宗教的、不可知论的、以及无神论的人口”比例是14％。美国中情局2004年的调查表明12.5％的人没有宗教信仰，其中2.4％是无神论者。根据《大英百科全书》2005年出版的调查结果，无宗教人口占世界总人口的11.9%，无神论者则占2.3%，这个统计并未包括那些信仰无神论宗教的人，例如佛教徒。
无神论 有關「無神論」之不同社會面向
2006年11至12月有调查考察美国和5个欧洲国家的无神论人口，在《金融时报》发布的调查结果显示，美国的无神论人口比例最低，只有4%；而欧洲国家的比例则较高（意大利：7%，西班牙：11%，英国：17%，德国：20%，法国：32%）。对于美国无宗教信仰人口（包括無神論、不可知论、自然神论等）的调查结果从0.4%到15％相差较大，大约16.2％的加拿大人无宗教信仰（包括無神論者），而绝大多数墨西哥人是天主教徒（89％）。其中关于欧洲国家的数字与2005年欧盟官方调查的结果相近，根据2005年欧洲统计办公室Eurostat的统计，18%的欧盟人口不相信有神存在。对于无神论者、不可知论者和其他不相信人格神的人口比例，2007年的调查显示波兰、罗马尼亚、塞浦路斯和其他一些欧洲国家无神论者所占总人口比例的数字为个位数，而在法国、英国和俄罗斯的比例更高一些，分别为40％，33％和32％；北欧地区的瑞典（85%）、丹麦（80%）、挪威（72%）和芬兰（60%）的比例更高。
在欧洲和美洲之外，根据澳大利亚统计局的数据显示19%的澳大利亚人“无宗教信仰”（包括无神论者）。
无神论 有關「無神論」之不同社會面向
由于在日本大多数人都同时拥有多个宗教信仰，所以很难统计无神论者的人数，但有数据称大约65%的日本人是无神论者、不可知论者或不相信神的存在。中华人民共和国的执政党中国共产党的党员原则上必须是无神论者，据估计目前中國大陸有59％的人口无宗教信仰，香港則有14%的人有宗教信仰。以色列有约20％犹太人认为自己是“世俗的”，但其中多数人由于家庭或国家的原因仍参加礼拜。据2003年国际宗教自由报告所述，台湾人民大多数有宗教信仰，目前有近14％的人口不信仰任何宗教。
无神论 有關「無神論」之不同社會面向
跨国研究结果表明教育程度和不相信上帝有正相关性，欧盟的调查显示辍学和相信上帝有正相关性。无神论在科学家中所占比例更高这一趋势在20世纪初比较明显，到20世纪末成为科学家中的多数。美国心理学家詹姆士·柳巴1914年随机调查1000位美国自然科学家，其中58％“不相信或怀疑神的存在”。同一调查在1996年重复了一次，得出60.7％的类似结果。美国科学院院士中这一比例高达93％。肯定回答不相信神的比例从52％升高至72％。《自然》杂志1998年刊登的文章指出，调查显示美国国家科学院院士之中相信人格神或来世的人数处于历史低点，相信人格神的只占7%，远低于美国人口的85%比例。《芝加哥大学纪事报》的文章则指出，76%的医生相信上帝，比例高于科学家的7%，但仍比一般人口的85%为低。同年，麻省理工学院的弗兰克·萨洛韦和加利福尼亚大学的迈克尔·舍默进行研究显示，高学历的美国成年人（调查样本中12%持有博士学位，62%是大学毕业生）之中有64%相信上帝，而宗教信念与教育水平有负相关性。门萨国际出版的杂志的文章指出，1927年至2002年之间进行的39个研究显示，对宗教的虔诚和智力有负相关性。这些研究结果与牛津大学教授迈克尔·阿盖尔进行的元分析结果近似，他分析了7个研究美国学生对宗教的态度和智力商数的关系。虽然发现负相关性，该分析没有提出两者之间存在因果关系，并指出家庭环境、社会阶级等因素的影响。
無神論在社會較安定的國家較為盛行，根據心理學家 Nigel Barber，由於當地醫療資源較完善，社會安全網完整，因此未來不確定性較低，無神論者較多。而在較落後的國家中，則鮮少有無神論者。
无神论 无神论与宗教信仰
宗教有多种定义：
《斯坦福哲学百科全书》中无神论条目中定义一章认为，有神论最好被理解为一个命题（或主张），其答案可能是“正确”或“错误”。 无神论者不相信上帝不是基于信仰，而是因为他们没有看到足够的证据来支持上帝的存在，是基于理性和证据。
山姆·哈里斯等无神论者认为西方宗教对神性权威的依靠使其联系上了威权主义与教条主义。而原教旨主义与外诱性信仰（即为获得利益而信仰宗教）则与威权主义、教条主义以及偏见有很深的联系。
无神论 无神论与宗教信仰
英国哲学家和逻辑学家诺贝尔文学奖获得者伯特兰·罗素反对信仰，他认为：「基督徒认为自己的信仰行善，但其他信仰却有害。无论如何，他们对共产主义信仰也是持这种观点。我坚持的是，所有信仰都是有害的。我们可以将‘信仰’定义为对没有证据的事物的坚定信念。 在有证据的地方，没有人会说‘信仰’。我们不说‘2加2等于4’是信仰，也不说‘地球是圆的’是信仰。我们只在希望用情感代替证据时才谈到信仰。用情感代替证据容易导致冲突，这是因为不同的群体用不同的情感来代替。基督徒信仰耶稣复活，共产党人相信马克思的价值论。其中任一种信仰都不能得理性的支撑，因此，每种信仰都只得通过宣传来维持，必要时还得通过战争。」
关于無神論是否也是基于信仰，宗教和無神論双方意见不同：
無神論认为他们不是靠信仰，而是没有看到足够的证据来支持上帝的存在。無神論一方如伯特兰·罗素曾用罗素的茶壶認為舉證神存在的責任應在有神論者身上。現代無神論者们进一步用罗素的茶壶和現代反諷性質的飞天面条神教作为一个反证法的论述，说明如果在无法由科学证明的情况要求相信和不相信一个超自然存在都得到同样的尊重和重视，那么它也必须给予相信罗素的茶壶和飞天面条神的存在同等的尊重，因为茶壶、面条神和超自然存在同样无法去由科学证明或否证,認為舉證神存在的責任應在有神論者身上。
不過，也有一些無神論者出於傳統文化等因素，依然有一些精神信仰。例如，世俗人文主義下就有犹太无神论或人文犹太教以及基督教无神论和基督徒自然神论。
佛教是否屬於無神論有一定爭論，甚至許多佛教人士自認為佛教是無神的。這是因為佛教的佛與天啓宗教的神有很大區別，可認為是得道的賢人。另一方面，佛教一向是承认鬼神存在的。在《华严经》、《地藏经》，乃至于《阿含经》等，都有鬼神记载。佛教认为有天神（天人）、有天帝，而这些神与一般人皆为六道众生。
无神论 伦理道德
关于是否需要靠信神和恐惧以及崇拜上帝才能维持那些与现代社会相容的伦理道德理念.
认为道德必然来自神及不能脱离一个明察善断的创造主的观点尽管在哲学上是一个老生常谈的论题，但是爱因斯坦认为：
“一个人的道德行为应该有效地建立在同情心、教育、社会联系和需求的基础上；不需要宗教基础。如果一个人不得不因害怕惩罚和希望死后得到回报而受到限制，那么他确实是一个可怜的人”——爱因斯坦, "Religion and Science," New York Times Magazine, 1930
而柏拉图也用尤西弗羅困境中论证过神在决定事物的正确与否时所扮演的角色不是非必要的就是武断的，通常被认为是对道德需要宗教这一观点的最早反驳之一。
道德戒律如“杀人有罪”一直被看作神圣法，需要一个拥有神性的立法者和法官才能成立。尽管如此，许多无神论者认为像对待法律一样对待道德本身就包含了一个错误类比，道德并不像法律那样随着制定者变化。
无神论 伦理道德
哲学家苏珊·尼曼（Susan Neiman）与朱立安·巴吉尼等人认为根据神的要求而表现出道德并不是真正的道德行为，而仅仅是盲目服从。巴吉尼相信无神论是道德的优越基础，存在一个外在于宗教权威的道德基础对于评价权威本身的道德很有必要——例如一个没有宗教信仰的人也能判断出偷窃是不道德的——因而无神论者在做出这样的评价时更为有利。
同时期的英国政治哲学家马丁·科恩（Martin Cohen）给出了许多圣经中的支持酷刑和奴隶的训谕的例子，作为宗教训谕是随着政治和社会发展而不是相反情况的佐证，同时指出了这一趋势对看似冷静客观的哲学发展也是适用的。科恩在其著作《政治哲学：从柏拉图到毛泽东》（Political Philosophy from Plato to Mao）以《古兰经》为例详述了这一观点，他认为《古兰经》在历史上起了一个保护中世纪的社会准则不受时代变化影响的不良作用。
无神论 伦理道德
无神论者也可以拥有从认为人类应该一致遵守同一道德准则的人文主义的道德普遍主义到认为道德无意义的道德虚无主义之间任何不同的道德信仰。这一观点，连同宗教在历史上造成的破坏，如十字军东征，異端裁判所以及猎巫與宗教戰爭运动等等，常被反宗教无神论者用以维系自己的观点。(参见： 圣经批评#伦理学批评，  对基督教的批评#伦理)
一些生物学和心理学的研究认为，道德伦理是由人类的心理生物学基础而决定的，而并非是有宗教信仰的人才能具有完整的道德伦理。有人类学的研究认为，道德源于进化，源于人类本身的生物学特性。人类是社会动物，一定程度的克己利人是人类延续的必要条件。
无神论 伦理道德
英国演化生物学家道金斯认为, 我们不需要宗教就能行善。 我们的道德有达尔文式的解释：通过进化过程选择的利他基因赋予人们天然的同理心。他问道：“如果你知道上帝不存在，你会杀人、强奸或抢劫吗？” 他认为很少有人会回答“是”，这削弱了宗教在道德行为方面的必要性。为了支持这一观点，他回顾了道德的历史，认为存在一种道德时代精神，它在社会中不断演变，总体上向自由主义发展。随着它的进展，这种道德共识会影响宗教领袖如何解释他们的神圣著作。因此，道金斯指出，道德并非源于圣经，而是我们的道德进步决定了基督徒接受和否定圣经的哪些部分。
无神论 伦理道德
FiveThirtyEight数据记者和作家Mona Chalabi 通过分析美国司法部的美国司法统计局2013年的报告，调查美国联邦囚犯中有宗教信仰的比例，发现监狱囚犯自称为无神论者的比例为0.1%。她同时又找出2008年美国的人口普查数据，根据2008年人口普查中有1%的无神论者，得出监狱中自认为无神论者的比例相对较低的结论。但是，她自己也在文中指出，囚犯信仰的数据中含有一个“其他”的分类，而她在比较中直接去掉了这一分类。另外，她也指出，监狱中囚犯各信仰比例与总人口中各信仰比例的不同也可能是由族裔、政经地位等因素造成，很难简单一概而论。 对文章探讨的问题 “监狱中无神论者犯人的比例是低于人口中无神论者的比例吗？” Mona Chalabi综合其它问题讨论的最后回答是: 无论如何，关于监狱里的宗教信仰，你是对的： 监狱中无神论者犯人的比例是低于人口中无神论者的比例。
无神论 伦理道德
美国作家和无神论活动家Hemant Mehta 根据2021年美国联邦监狱局 提供的数据指出，2021年无神论者仅占联邦监狱人口的 0.1%，又指出根据2021年皮尤研究中心的数据，自我认定的无神论者占人口的4%。 这可以得到，狱中无神论者犯人的比例是于人口中无神论者的比例40分之一。 另一方面，他指出，这一数字不能说明无神论者比有宗教信仰者更加道德，因为无神论者因为在监狱中可能处于相对的弱势地位而选择伪报自己的信仰状况，也可能是一部分并不相信有神的囚犯并不知道到底什么才是无神论。此外，这些数据也只覆盖了联邦监狱系统的囚犯，而各州监狱（美国）囚犯的数量比联邦监狱多得多。 但他认为这一数字至少表明假定无神论者都不道德这个观点站不住脚。文章中指出：
关于同样的数据，另外有一种解读是，因为监狱囚犯生活相对苦闷，所以也许监狱的囚犯更容易从无神论转换为信仰宗教者。
基督教神學家大衛·本特利·哈特教授认为基督教與各種宗教及無神論者相同，都有暴力歷史。但如果以20世纪为例，無神論者殺戮記錄更多（该书第12页）。对其著作Atheist Delusions的评论可见于：
与大衛·本特利·哈特相反的观点如下：
20世纪的希特勒对600万犹太人被种族灭绝的纳粹大屠杀和斯大林清洗和屠杀等是分别以纳粹和共产主义的信仰为名义，不是以信无神论和不信上帝为名义；历史上没有以信无神论名义和不信上帝而发起的战争。 许多宗教战争的原因也可能还包括国家和民族的利益，但却是以宗教名义和信仰上帝而发起的，如延续近200年几十万十字军死亡的十字軍东征、包括平民有约800万人死亡的三十年战争、三百万民众死于战乱及引发的饥荒和瘟疫的法国宗教战争。20世纪战争中的士兵中既有有神论者和也有无神论者，希特勒士兵中有神论者远多于无神论者，把有神论者和无神论者士兵杀戮都归于无神论者，来断言“无神论者杀戮记录更多”观点也是错误的。
1979年诺贝尔物理学奖获得者史蒂文·温伯格警示人们，无论有没有宗教，好人都会做好事，坏人都会做恶事。但是，若你想要好人做恶事，就需要宗教了。比如，施行恐怖行动的宗教信徒人可能是不偷不抢的好人，但他们坚信九一一袭击事件、炸地铁等恐怖行动等按其宗教和上帝旨意是正确行动可以上天堂，所以犯下残忍的暴力恐怖罪行。但没有任何人能理性地以信无神论和不信上帝的名义，而施行911及炸地铁等恐怖行动。
无神论 参考书籍
《上帝错觉》新无神论代表作之一。 作者理查德·道金斯是当代最著名的无神论者之一，牛津大学大众科学教育讲座教授, 英国皇家学会会员。他崇尚科学与理智并批评世界上所有的宗教都是人类制造的骗局。他在书中指出基督教《旧约》中的上帝是一个妒嫉心强、非正义、歧视同性恋、喜好杀人等等使人憎恨的恶霸。道金斯在书中批驳有神论者的各种观点，并解释美国的开国元勋们其实十分厌恶基督教。
形式语言
在数学、逻辑和计算机科学中，形式语言（英語：）是用精确的数学或机器可处理的公式定义的语言。
如语言学中语言一样，形式语言一般有两个方面：语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。
形式语言 语言的形式定义
语言定义在某一个特定的字母表上，字母表（经常记作 Σ ）可以为任意有限集合。例如集合就表示所有小写字母构成的字母表。
字符串是字母表中的元素构成的有穷序列，以之前定义的小写字母表为例，“hello”，“wikipedia”,“abcjkg”都是上面的串，而“AbCd”就不是上面的串了。记号 ε 表示空串——它是一个特殊的长度为0的串。
直觉上，一个语言是字母表所能构成的所有串的集合的一个子集，具体来说：
对于任意一个字母表，记全体长度为 n 的子串为，特别的，规定 为{ε}，则还可以定义
包含了字母表所能构成的所有字符串。语言（一般记为 L ）定义为的任意子集。
下面给出一些语言的例子，是一个包含两个字符串的集合，也可以被视为小写字母构成的字母表上的一个语言。而实际上研究的语言的例子则常常更为复杂，例如所有合法的C语言程序串构成的集合也可以视作ASCII上的一个语言（假定编译器只支持英文符号）。
需要注意的一点是， 的空子集 ∅ 与只包含空串的语言 {ε} 是两个不同的语言。
形式语言 语言的表示方法
不像自然语言，一个形式语言作为一个集合，需要有某种明确的标准来定义一个字符串是否是它的元素。这可以通过多种方法来完成，下面将给出一些例子：
如果一个形式语言的元素数目是有限的，那么可以通过枚举它的各个字串来严格地定义它。
通过形式文法来产生（参见乔姆斯基谱系）。
正则表达式是一种很多编程语言和库都支持的语法，这种语法可以用于匹配符合一定条件的字符串，经常用于文本的搜索和过滤。从名称上来说，正则表达式应当是对应于正则语言的，在形式语言领域内所称的正则表达式确实如此。不过，在实际的编程语言中，很多正则表达式已经通过引入复杂的扩展，可以匹配正则表达式所不能描述的内容。形式语言中的正则表达式和一般编程语言中所称的正则表达式在语法上也有较大差异。
直觉上来说，自动机消耗输入符号，并在自身的不同状态间转移，可以通过状态机消耗完整个字符串之后是否达到某些特定状态来定义一个字符串是否属于某一个语言。语言可以通过某种自动机来识别，比如图灵机、有限状态自动机。
贾坎德邦
贾坎德邦（印地語：，羅馬化：Jharkhand，直译：「森林之地」），印度东部的邦，首府为兰契，最大城市为贾姆谢德布尔。与西孟加拉邦、切蒂斯格尔邦、北方邦、比哈尔邦、奥里萨邦接壤。官方语言为印地语。
贾坎德邦是2000年由比哈尔邦分立而来，大部分地区位于焦达讷格布尔高原之上，以其丘陵和瀑布景观闻名，宗教圣地亦众多。
贾坎德邦是印度的矿业大邦，产量占到印度全国的四成，亦有丰富的森林资源。但其民生发展仍较为落后，遭受资源诅咒问题，有39.1%的人口处在贫困线以下，19.6%的五岁以下儿童营养不良。其城市化率亦较低，据2011年统计为24%。
贾坎德邦 历史
贾坎德邦所在地区在旧石器时代至中石器时代就有人居住，有洞穴壁画和工具留存。公元前两千年，铜器逐渐在焦达讷格布尔高原普及。在新奔地区发现了约公元前1400年的炉渣和陶器遗存。
古典时期先后经難陀王朝、孔雀王朝、笈多王朝统治。在摩诃婆罗多史诗所属的公元前500年时，属摩揭陀、鸯伽国。孔雀王朝时，该地小国林立，统称为森林诸国（Atavika Rajya），阿育王在位时臣服于孔雀王朝。笈多王朝沙摩陀罗·笈多在位时，率军在默哈讷迪河谷地进攻南拘萨罗人，打响其征讨南拘萨罗的首战。
中世纪时，有纳格万希王朝、波罗王朝、卡亚拉瓦拉王朝、拉姆格尔王国、切罗王朝建立统治。1574年，莫卧儿帝国皇帝阿克巴在位时，拉杰普特王公曼·辛格率军攻入帕拉木，此后莫卧儿军队亦多次入侵焦达讷格布尔高原，令该地的各个王朝臣服于莫卧儿统治。
贾坎德邦 历史
18世纪，切罗王朝、纳格万希王朝、拉姆格尔王国等本地王朝臣服于英国东印度公司，领土成为公司孟加拉管辖区领地的一部分。其他一众小国成为土邦，统称为焦达讷格布尔土邦。1905年，该地区的土邦归属依语言分布而重划，印地语土邦归中央省，奥里亚语土邦划入奥里萨土邦，余下仍属孟加拉管辖区。1936年，又统一划归东部土邦局。贾坎德地区自然资源丰富，因此成为英国殖民经济的重要一环，但也频发起义。
1940年3月，印度国大党第53次会议在兰伽召开，圣雄甘地、贾瓦哈拉尔·尼赫鲁、萨达尔·帕特尔、拉金德拉·普拉萨德、阿布·卡拉姆·阿扎德、沙拉金尼·奈都、阿卜杜勒·加法尔·汗、阿查里亚·J·B·克里帕拉尼、贾姆纳拉尔·巴贾杰等印度独立运动重要人物都有出席，圣雄甘地还在兰伽开办了土布与农村工业展览会（Khadi and Village Industries Exhibition）。
1947年，印度独立。贾坎德地区划入比哈尔邦，少数土邦加入中央邦、奥里萨邦。尽管有地方人士要求将比哈尔南部的部落地区分划为贾坎德邦，但当时的邦重劃委員會以语言繁杂、部落人口居少数及不利于比哈尔经济为由拒绝该提议。
贾坎德邦 历史
尽管该地区矿产和森林资源丰富，大量居民仍然生活在极度贫困之中，致使纳萨尔派等极左势力获得大量无地农民和部落民族支持，贾坎德地区也成为印度納薩爾毛派叛亂的中心，“红色走廊”的一部分，自1967年纳萨尔派叛乱以来有六千余人丧命。
1972年，贾坎德解放阵线成立，领导贾坎德分立运动。1986年，全贾坎德学生联盟成立，主张以暴力和抵制方式推动贾坎德建邦。1988年，印度人民党亦决议支持设立“瓦纳恰尔邦”（Vanachal），涵盖比哈尔南部贾姆谢德布尔一带的森林地区。1994年12月，比哈尔邦立法院通过贾坎德地区自治法案，设立贾坎德地区自治委员会，在经济、卫生、工程等领域有自治权，但未能有效遏止分立运动。
1998年，印度联邦政府将贾坎德邦分立法案递交给比哈尔邦立法院表决，首席部长拉卢·普拉萨德·亚达夫则表示强硬拒绝。为此，印度人民党、贾坎德解放阵线、全贾坎德学联、印度国大党等16个政党联合成立全党分立建邦委员会（All Party Separate State Formation Committee），以L·P·N·沙德奥为负责人，发起游行运动向比哈尔当局施压。1999年，《比哈尔邦重组法案》终获通过，设立瓦纳恰尔邦，由印度人民党领导全国民主联盟执政，巴布拉尔·马兰迪任首席部长。该邦不久后最终定名为贾坎德邦，并于2000年11月正式成立。
贾坎德邦 地理
贾坎德邦位于印度东部，與東邊的西孟加拉邦、西邊的恰蒂斯加尔邦、西北部的北方邦、北邊的比哈尔邦和南邊的奥里萨邦接壤，占地面积达79,716平方公里。大部地区属焦达讷格布尔高原，達摩達河、北科埃尔河、巴拉卡尔河、南科埃尔河、桑克河、蘇伯爾訥雷卡河流经该邦。大部分地区是森林地带。
气候方面，北部属副热带湿润气候，东南部属熱帶乾濕季氣候。4月中旬至6月中旬是夏季，5月最为炎热，日高温在37°C左右，低温在25°C左右。6月中旬至10月是季风季，几乎全年的降水量都集中在这一季，中西部的降水量达1000毫米，西南部可达1500毫米。11月至2月是冬季，以蘭契为例，气温通常在10至24°C。2月中旬至4月中旬是春季。
贾坎德邦 政治
贾坎德邦实行代議民主制和議會制，同印度各邦一致。居民有普遍选举权。邦长为宪政首长，由印度总统任命。邦长是礼仪性的邦元首，任期五年，而首席部长和内阁负责日常行政工作。立法机关为邦立法院，为一院制，共81个议席，议员任期五年。由议员选出议长和副议长主持议会，每届议会任期五年，亦有提前解散的情形。行政机关为部长会议，由首席部长领导，由邦长任命立法院优势党派的党魁为首席部长，邦部长会议由邦长参照首席部长建议任命。邦首席秘书带领秘书处协助部长会议工作，首席秘书亦是政府的行政首长。司法机关为贾坎德邦高等法院。所有机关都位于首府兰契。另以桑塔尔人聚居的杜姆卡为次首府（sub-capital）。
贾坎德邦共有24个县，分属5个专区。除了洛哈达伽县和昆蒂县外，所有县份都与外邦接壤。
贾坎德邦 交通
位于兰契的比尔萨·蒙达机场是邦内最大的机场，有飞往德里、加尔各答、班加罗尔、孟买、海得拉巴等各大城市的航线。德奥加尔机场则仅次于兰契机场。贾姆谢德布尔的索纳里机场为第三大机场，每日有航班飞往布巴内什瓦尔和加尔各答。博卡罗钢铁城的博卡罗机场为印度钢铁管理局所有，是第四大机场，也是印度UDAN地区机场发展计划的一部分。余下的小机场则大多仅经营私人包机业务。
贾坎德邦的国道和邦道网络覆盖广泛，截至2016年，其国道里程达2661.83公里。印度黄金四角公路网络途径贾坎德邦境内的丹巴德。
贾坎德邦是内陆邦，但也有一定规模的河运。在恒河流域的薩希布根傑，建有多式联运港，一期工程于2019年落成。
贾坎德邦广泛接入全国铁路网，丹巴德车站是邦内最大规模的车站，可前往印度各大城市。在高原丘陵地区多开挖有铁路隧道。
贾坎德邦 社会
贾坎德邦语言（2011）
贾坎德邦宗教（2011）
2011年印度人口普查结果显示，贾坎德邦的人口达3296万，其中男性1693万，女性1603万。识字率为67.63%，蘭契縣的识字率最高，为67.63%，帕考县最低，为50.17%。人口最多的三座城市依次是贾姆谢德布尔、丹巴德、兰契，也是唯三人口大于1000万的城市。
贾坎德邦的表列种姓和表列部落人口分别达3,985,644（占比12.08%）和8,646,189（占比26.21%），人口数分别排在全国的第14位和第6位。这些群体主要集中在西南部的辛德伽縣（78.23%）、昆蒂縣（77.77%）、根拉縣（72.11%）、西新奔縣（71.1%）、拉特哈爾縣（66.85%）、洛哈達伽縣（60.21%）。
贾坎德邦 社会
贾坎德邦的语言分布十分多样，分布有印欧语系、达罗毗荼语系、南亚语系三大语系。印地语是官方语言，也是邦内的通用语。贾坎德邦分布有许多和印地语近似的印度-雅利安语言，在人口普查中被当局归类为印地语方言，如：那格浦尔语、呼罗陀语、库马利语、摩揭陀語、博杰普尔语。贾坎德邦的额外官方语言包括昂加语、孟加拉语、博杰普尔语、布米杰语、霍语、卡利亚语、库鲁克语、呼罗陀语、库马利语、摩揭陀語、迈蒂利语、蒙达里语、那格浦尔语、奥里亚语、桑塔利语、乌尔都语。
宗教方面，以印度教信徒为最多，占67.8%。伊斯兰教占14.5%，基督教占4.3%。印度教在贾坎德邦24个县中的19个县都是信徒占比最高的宗教。基督教信徒在辛德伽縣占比最高，占51.04%。部落民族信仰的萨尔纳教声称有占比12.8%的信徒，在官方普查中归类为“其他宗教”，在洛哈達伽縣（51.01%）、西新奔縣（62.29%）占比最高，在根拉縣（44.62%）、昆蒂縣（45.37%）亦有较多信徒。穆斯林在帕考縣和萨希布根杰县占比较高，分别在35%和34%。
贾坎德邦 社会
在贾坎德邦的部分地区，由于贫困和营养不良问题，结核病等疾病传染严重，邦内因此设有专门防治肺结核的伊特基结核病疗养院（Itki TB Sanatorium），于1928年在兰契设立。贾姆谢德布尔的塔塔总医院（Tata Main Hospital）也在癌症治疗领域作出一些开创性贡献。
贾坎德邦气候较为温和，因此是印度的一大疗养胜地，以首府兰契为代表。早在1918年，这里就已设有照料智能障礙人士的设施。
地下水氟化物污染是贾坎德邦的一项公共卫生问题，是氟牙症、氟骨症等病症的元凶。
贾坎德邦 经济
贾坎德邦矿产资源丰富，是印度的矿业大邦。其铜矿、云母、钾盐镁矾、石棉、矽線石、铀矿储量位居全国第一，铬铁矿储量位居全国第二，煤矿、铝土矿、钍储量位居全国第三，铁矿储量位居全国第四，金矿储量位居全国第六，锰矿、石灰岩、高岭土、耐火粘土、石墨储量位居全国第八。贾姆谢德布尔、丹巴德、博卡罗钢铁城、兰契都是煤铁产业重地。塔塔鋼鐵在贾姆谢德布尔设有主工厂，贾姆谢德布尔就是得名自塔塔集团的创始人贾姆希德吉·塔塔，他在这座城市创办了亚洲首家钢铁厂，后来发展为塔塔集团。
农业是贾坎德邦的主要产业，主要作物有大米、小麦、玉米、豆类、马铃薯，以及番茄、胡萝卜、卷心菜、菠菜、南瓜、木瓜等蔬菜。当局亦意图推动养蚕业和纺织业发展。2006年2月，贾坎德邦政府主持组建了贾坎德邦丝绸纺织品和手工艺品开发公司（Jharcraft）。
贾坎德邦 文化
索赖与科瓦尔画是贾坎德邦的一大特色壁画，其中索赖画在传统上是索赖节期间创作的，科瓦尔画是婚礼期间创作的。
当地的传统纹身艺术亦颇具特色，称为戈德纳。
贾坎德邦流行的舞蹈有朱迈尔舞、马尔达尼-朱马尔舞、贾纳尼-朱马尔舞、多姆卡奇舞、派基舞、喬吼舞、菲尔卡尔舞。蒙达人和桑塔尔人也有特色民族舞蹈。
贾坎德邦的主食有大米、扁豆汤、印度面包，配以蔬菜、塊莖與塊根，较少使用香料。著名的菜式包括奇尔卡面包、马尔普阿甜糕、皮塔糕、杜斯卡炸面包、印度脆球等。雨季时常食用称为鲁格拉（Rugra）和普图（Putoo）的菌类，这种菌类在贾坎德邦各地广泛种植，外壳为白色，质地坚硬，内裏深色，较为柔软。竹笋作法繁多，可以煮、蒸、炒或腌制，常是汤、咖喱、沙拉菜肴的配菜。当地人使用辣木叶和宮粉羊蹄甲叶作为一餐中的绿叶蔬菜（萨格）。