ในความหมายเชิงรูปธรรมและปรัชญาภาษาสมมติฐานความหมายคือสมมติฐานที่ใช้ในการแสดงความสัมพันธ์ทางคำศัพท์ระหว่างคำต่างๆ ในกรณีที่ความสัมพันธ์ดังกล่าวไม่ได้ถูกเข้ารหัสไว้ในความหมายเชิงองค์ประกอบของภาษาเชิงรูปธรรมบางภาษา คำนี้ถูกบัญญัติโดยรูดอล์ฟ คาร์แนปเมื่อเขาปรับปรุงนิยามความหมายของคำต่างๆ ให้เป็นสมมติฐานในภาษาวัตถุของระบบตรรกะ เพื่ออธิบายแนวคิดของความเป็นเชิงวิเคราะห์ [ ^{1 ] ริ}ชาร์ด มอนแทกใช้สมมติฐานความหมายอย่างมากในการพัฒนาไวยากรณ์มอนแทก [ ^{2 ] และ}ต่อมาสมมติฐานเหล่านี้ก็มีบทบาทสำคัญในความหมายเชิงรูปธรรม^{[ 3 ]}

ข้อสมมติเกี่ยวกับความหมาย คือประโยคที่จำกัดการตีความของภาคแสดงในทฤษฎีตรรกศาสตร์ โดยแสดงออกมาในภาษาเป้าหมายของทฤษฎีนั้น

พิจารณาสองประโยคนี้เนื่องจาก Carnap ^{[ 1 ]} :

(1) ฟิโดเป็นสีดำหรือฟิโดไม่ใช่สีดำ 

(2) ถ้าแจ็คเป็นโสด แสดงว่าเขาไม่ได้แต่งงาน 

ทั้ง (1) และ (2) เป็นจริงอย่างแน่นอน แต่เป็นจริงในลักษณะที่แตกต่างกัน เพื่อให้เข้าใจว่า "ฟิโดเป็นสีดำหรือฟิโดไม่ใช่สีดำ" เป็นจริงอย่างแน่นอน เราเพียงแค่ต้องเข้าใจว่าภายใต้เงื่อนไขใดที่ตัวเชื่อมตรรกะ "หรือ" และ "ไม่ใช่" เป็นจริง เราไม่จำเป็นต้องรู้ความหมายเบื้องหลังคำว่า "ฟิโด" และ "สีดำ" อันที่จริง คำเหล่านี้สามารถแทนที่ด้วยคำใดๆ ก็ได้โดยไม่กระทบต่อความจริง

อย่างไรก็ตาม เพื่อให้เข้าใจว่า (2) เป็นจริงอย่างแน่นอน เราต้องเข้าใจความหมายเบื้องหลังคำว่า "โสด" และ "ไม่แต่งงาน" (2) ไม่ได้เป็นจริงอย่างแน่นอนเนื่องจากกฎของตรรกะ แต่เป็นเพราะ "โสด" หมายถึง "ชายที่ไม่แต่งงาน" กล่าวอีกนัยหนึ่ง (2) เป็นจริงในเชิงวิเคราะห์ในขณะที่ (1) เป็นจริงในเชิงตรรกะ

Carnap ^{[ 1 ]}ตระหนักว่าเราสามารถแสดงความหมายของคำศัพท์ในภาษาวัตถุของระบบตรรกะได้โดยการจำกัดการตีความที่เป็นไปได้ ตัวอย่างเช่น เราสามารถกำหนดได้ว่า:

(3) สำหรับ x ทุกตัว: x เป็นโสดก็ต่อเมื่อ x ยังไม่ได้แต่งงาน และ x เป็นผู้ชาย 

(3) จะเป็นสมมติฐานความหมาย มันแสดงความสัมพันธ์ทางคำศัพท์ระหว่างคำว่า "โสด" "ไม่แต่งงาน" และ "ผู้ชาย" โดยที่ความจริงของข้อความเช่น "แจ็คเป็นโสด" ย่อมหมายถึงความจริงของ "เขาไม่แต่งงาน"

• รายการสัญลักษณ์ตรรกะ

บทความเกี่ยวกับความหมายนี้ ยัง ไม่สมบูรณ์คุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มข้อมูลที่ขาดหายไป

• วี
• ที
• อี