邏輯語義ごぎ學がく

我わが们在论证中ちゅう可能かのう遇ぐう到いた的てき各かく种句子こ/判はん决的有效ゆうこう性せい条件じょうけん依よ赖于它们的てき意い义，所以ゆえん负责任にん的てき逻辑学がく家か不能ふのう完全かんぜん避免提供ていきょう某ぼう种处理り这些句く子こ的てき意い义的需求。逻辑的てき语义指ゆび称しょう逻辑学がく家か已やめ经介入来いりき理解りかい和わ确定他た们感兴趣的てき意い义部分ぶぶん的てき方式ほうしき；逻辑学がく家か在ざい传统上じょう只ただ对是命いのち题的まと句く子こ感かん兴趣，它是适合逻辑操みさお纵的理想りそう的てき句く子こ。

直ちょく到いた现代逻辑出で现之前まえ，亚里士多した德とく的てき工具こうぐ论特とく别是解かい释篇，提供ていきょう了りょう理解りかい逻辑意い义的基もと础。量りょう化か的てき介入かいにゅう需要じゅよう解かい决多重たじゅう普遍ふへん性せい问题，表おもて现出了りょう亚里士多した德とく的てき逻辑所しょ支配しはい的てき主しゅ词-谓词分析ぶんせき不能ふのう处理的てき那な些种类，尽つき管かん对词项逻辑的てき兴趣正ただし在ざい复兴，尝试找到符合ふごう亚里士多した德とく三さん段だん论精神せいしん并且使用しよう基もと于量词的现代逻辑一般いっぱん性せい的てき演算えんざん。

分ぶん支ささえ

形式けいしき语言的てき主要しゅよう现代方式ほうしき如下:

模型もけい论语义是これ Alfred Tarski 的てき真理しんり的てき语义理り论的てき原型げんけい，基き于了他た的てき T-模も式しき，并且是ぜ模型もけい论的てき基本きほん概念がいねん之の一いち。这是最さい普遍ふへん的てき方式ほうしき，它基于的想そう法ほう是ぜ，命いのち题各个部分ぶぶん的てき意い义由从它们到预先设定的てき数学すうがく域いき的てき递归规定的てき释义函数かんすう群ぐん组给出で: 一阶谓词逻辑的てき释义由よし从项到个体的てき全集ぜんしゅう的てき映うつ射い，和かず从命题到真ま值"真ま"和わ"假かり"的てき映うつ射い给出。模型もけい论语义是叫さけべ做真理しんり条件じょうけん语义的てき方式ほうしき的てき基もと础，它是 Donald Davidson 所ところ创始的てき。Kripke语义介入かいにゅう了りょう革新かくしん，但ただし受到了りょう Tarski 主しゅ义的铸造。

证明论语义把わ命いのち题的意い义关联到它们在ざい推论中ちゅう可か以扮演えんじ的てき角かく色しょく。Gerhard Gentzen、Dag Prawitz 和わ Michael Dummett 一般被看作这种方式的缔造者；它受到维特根ね斯坦的てき后きさき期き哲学てつがく的てき严重影かげ响，特とく别是他た的てき格言かくげん"意い义是使用しよう"。

真ま值语义 (也称为“代だい换量化か”)是これ Ruth Barcan Marcus 在ざい1960年代ねんだい早期そうき为模态逻辑提倡的，后きさき来らい Dunn、Belnap 和わ Leblanc 把わ它拥戴到标准一いち阶逻辑。James Garson 已やめ经给出で这个领域的てき某ぼう些结果はて，足そく够让内ない涵逻辑装备这种语义。量りょう化か公式こうしき的てき真理しんり条件じょうけん纯粹以不诉诸任にん何なん域いき的てき真理しんり的てき方式ほうしき给出(因いん此叫做“真ま值语义”)。

博ひろし弈论语义近来きんらい已やめ经复苏，主要しゅよう由よし于 Jaakko Hintikka 的てき(有限ゆうげん)偏へん序じょ量りょう化か的てき逻辑，这最初はつ是ぜ Leon Henkin 在ざい他た的てき“Henkin 量りょう词”中ちゅう研究けんきゅう的てき。

或ある然しか性せい语义 创立自じ H. Field，并被证明等とう价于和わ自然しぜん一般化了真值语义。像ぞう真ま值语义一样，它也是ぜ在ざい自然しぜん中ちゅう没ぼつ有ゆう参照さんしょう的てき。

参まいり见

这是一いち篇へん與あずか逻辑学がく相關そうかん的てき小しょう作品さくひん。您可以通过编辑或ある修おさむ订扩充其内容ないよう。