The conventional theories of truth

The conventional theories of truth basic mathematical statements are true by virtue of the meanings of the terms therein. But the fact that the axioms express what we want or believe terms to mean does not absolve us from having to assume them, even if we simply stipulate them by fiat. Rather it is an admission that we simply have to assume certain basic propositions. Beyond this, to say that complex axioms such as those of Zermelo-Fraenkel set theory are true by virtue of the meanings of the constituent terms is not supportable. (Maddy, 1984, gives an account of set-theoretic axioms in current use which by no stretch of the imagination are considered true). We must regent these axioms as implicit definitions of their constituent terms, and it is evident we must assume the axioms to proceed with set theory.

ผลลัพธ์ (ไทย) 1:

ทฤษฎีทั่วไปของคำสั่งทางคณิตศาสตร์พื้นฐานความจริงเป็นจริงอาศัยความหมายของ therein แต่ความจริงที่ว่า สัจพจน์ที่แสดงสิ่งที่เราต้องการ หรือเชื่อเงื่อนไขหมาย absolve โดยสมมติว่าพวกเขา แม้เราเพียง stipulate นั้นตามคำพิพากษาเรา ค่อนข้าง จะเข้าที่เราก็ต้องคิดบางขั้นพื้นฐาน นอกเหนือจากนี้ จะบอกว่า สัจพจน์ของความซับซ้อนเช่นทฤษฎีเซต Zermelo Fraenkel เป็นจริงอาศัยความหมายของธาตุไม่ได้ supportable (Maddy, 1984 ช่วยให้องค์กรของสัจพจน์ในปัจจุบันใช้ชุด theoretic ซึ่ง โดยไม่ยืดจินตนาการกำลังเป็นจริง) เราต้องรีเจ้นท์สัจพจน์เหล่านี้ตามนัยข้อกำหนดเงื่อนไขของธาตุ ก็เห็นได้ชัดเราต้องสมมติสัจพจน์ของทฤษฎีเซตการ

ผลลัพธ์ (ไทย) 2:

ทฤษฎีทั่วไปของงบจริงพื้นฐานทางคณิตศาสตร์ที่เป็นจริงโดยอาศัยอำนาจตามความหมายของคำนั้น แต่ความจริงที่ว่าหลักการแสดงสิ่งที่เราต้องการหรือเชื่อคำที่หมายถึงการไม่ให้อภัยเราต้องถือว่าพวกเขาแม้ว่าเราก็กำหนดให้พวกเขาโดยพระราชกฤษฎีกา แต่มันเป็นสิ่งที่เข้ารับการรักษาว่าเราก็ต้องถือว่าข้อเสนอพื้นฐานบางอย่าง นอกเหนือจากนี้ที่จะบอกว่าหลักการที่ซับซ้อนเช่นพวก Zermelo-Fraenkel ตั้งทฤษฎีนี้เป็นจริงโดยอาศัยอำนาจตามความหมายของคำที่เป็นส่วนประกอบที่ไม่รองรับ (แมดดี้, ปี 1984 จะทำให้บัญชีของหลักการตั้งทฤษฎีในการใช้งานในปัจจุบันซึ่งโดยยืดของจินตนาการไม่ได้รับการพิจารณาความจริง) เราต้องผู้สำเร็จราชการแผ่นดินหลักการเหล่านี้เป็นความหมายโดยนัยของคำที่เป็นส่วนประกอบของพวกเขาและมันเห็นได้ชัดว่าเราต้องถือว่าหลักการที่จะดำเนินการกับการตั้งทฤษฎี

ผลลัพธ์ (ไทย) 3:

ทฤษฎีทั่วไปแห่งความจริงพื้นฐานทางคณิตศาสตร์เป็นผู้ถือหุ้นที่แท้จริง โดยอาศัยจากความหมายของคำศัพท์นั้น แต่ความจริงที่ว่าสัจพจน์แสดงสิ่งที่เราต้องการหรือเชื่อคำแปลว่าไม่พ้น เราต้องถือว่าพวกเขา แม้ว่าเราก็กำหนดได้ด้วยคำสั่ง แต่มันเป็นการยอมรับว่าเราก็ต้องถือว่าข้อเสนอพื้นฐานบางอย่าง นอกเหนือจากนี้กล่าวว่า หลักการที่ซับซ้อน เช่น พวกเซอร์เมโลเฟริงเคิลทฤษฎีเซตจริงโดยอาศัยความหมายขององค์ประกอบเงื่อนไขไม่ได้ ซึ่งสนับสนุน ( แมดดี้ , 1984 , ช่วยให้บัญชีตั้งทฤษฎีหลักการที่ใช้ในปัจจุบันซึ่งโดยยืดของจินตนาการที่ไม่มีจะถือว่าจริง ) เราต้องรีเจ้นท์สัจพจน์เหล่านี้ความหมายนัยของเงื่อนไของค์ประกอบของพวกเขาและเห็นได้ชัดเราจะต้องสมมติว่า สัจพจน์ ดำเนินการตั้ง ทฤษฎี