元逻辑
元逻辑（）是逻辑的元理论。逻辑研究如何使用逻辑系统构建有效且可靠的论证，而元逻辑研究逻辑系统本身的属性。逻辑关注可以由逻辑系统推导出的真理；元逻辑关注关于用于表达真理的形式语言和系统所能推导出的真理。 基本概念 形式语言 形式语言是由精确定义的符号组成的集合，其符号通过形状和位置精确界定。这种语言可以在不涉及表达式意义的情况下定义。一阶逻辑即用某种形式语言来表达。形式文法确定哪些符号和符号串构成公式。然而，直到19世纪末20世纪初形式语…
标签：#元逻辑学
共 7 篇文章
元沟通
元沟通（）是關於信息應如何被解讀的次級溝通（包括間接提示）。其基本思想是，同一條訊息伴隨著不同的元溝通，可能意味著完全不同的事，甚至相反的意思，如反諷。該術語由格雷戈里·貝特森（Gregory Bateson）推廣，指「關於溝通的溝通」，他進一步將其擴展為「所有關於編碼和交流者之間關係的交換線索和命題」。 貝特森認為，每條訊息都可能包含元溝通元素，且典型情況下每條訊息都攜帶關於如何解讀其他訊息的元溝通信息。他將此概念與伯特蘭·羅素的類型…
蕴涵
蕴涵（）在命题逻辑和谓词逻辑中用来描述在两个句子或句子的集合之间的联系，一般使用⇒符号表示。 语义蕴涵 A \models B 语义蕴涵也叫做逻辑蕴涵（Logical Implication），亦可以读作 B 是 A 的语义后承。 陈述句子集合A语义上蕴涵句子集合B。 形式定义：集合A蕴涵集合B，当且仅当在其中A中所有句子都为真的所有模型中，在B中的所有句子也是真的。在图表形式中，它看起来像： 我们需要蕴涵的定义要求A的所有的模型也是B…
合式公式
在形式系統與逻辑中，合式公式（well-formed formula，wff）又称合適公式、良式公式，可简称公式（formula），即“符合語法規則的公式”，是一逻辑体系中的“一个表达式”或“一个有限符号序列”；此表达式或序列，来自给定的字母表（字符），且属于形式语言的一种。合式公式与该逻辑体系的构成规则相符合，类似于自然语言中的一个语法句子。 若给定一形式文法，则WFF是这个文法生成的任何字符串。 例如，在命题演算中符号序列((\al…
类型和个例的区别
在罗马）|thumbtime=6]] 类型与个例的区别（）是指，物体的一个“类”（class）和类中个体的诸多“个例”（instances）之间的差别。一个类型可以对应很多个例，所以整体上个例比类型要多。例如“花是花是花”这句话（如果算一句话的话），有两个类型“花”和“是”，却有五个个例“花”“是”“花”“是”“花”。 这一区分十分重要，涉及逻辑，语言学，，字体排印学和程序设计。 概述 “他们开同样的车”这句话是模糊的：他们开的是同“类…
形式系統
在邏輯與數學中，一個形式系統（）是由兩個部分組成的，一個形式语言加上一個推理規則或轉換規則的集合。大衛·希爾伯特在1921年推动以形式系統来描述数学知识 。 一個形式系統也許是純粹抽象地制定出來，只是為了研究其自身。另一方面，也可能是為了描述真實現象或客觀現實的領域而設計的。命題邏輯是最简单的形式系統。 理論 在數學領域裡，形式證明是形式系統的產物，由一些公理與演繹規則組成。定理便是形式證明可能的最後一行結論。這幾個步驟總和起來便是數學…
使用-提及區別
使用-提及區別是分析哲學中的一个基础概念，根据这个概念，有必要对人們使用一个词（或短语）和提及這個詞的情況进行区分。 使用和提及之间的区别可以用奶酪这个词来说明： 用途：奶酪来源于牛奶。 提及：奶酪的英文Cheese源自古英语单词ċēse 。 参考文献