We investigate incomplete symbols,

We investigate incomplete symbols, i.e. definite descriptions with scope-operators. Russell famously introduced definite descriptions by contextual definitions; in this article definite descriptions are introduced by rules in a specific calculus that is very well suited for proof-theoretic investigations. That is to say, the phrase 'incomplete symbols' is formally interpreted as to the existence of an elimination procedure. The last section offers semantical tools for interpreting the phrase 'no meaning in isolation' in a formal way.

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

เราตรวจสอบสัญลักษณ์ไม่สมบูรณ์ คำอธิบายที่แน่นอนเช่นกับขอบเขตผู้ประกอบการ รัสเซลแนะนำคำอธิบายที่ชัดเจน โดยกำหนดตามบริบท มีชื่อเสียง ในบทความนี้ อธิบายชัดเจนแนะนำตามกฎในแคลคูลัสเฉพาะที่เหมาะสำหรับการตรวจสอบหลักฐานสด กล่าวคือ วลี 'สมบูรณ์สัญลักษณ์' อย่างเป็นทางการตีความว่าการดำรงอยู่ของขั้นตอนการตัดออก ส่วนสุดท้ายเสนอเครื่องมือ semantical สำหรับตีความวลี 'ไม่มีความหมายในการแยก' ในทางที่เป็นทางการ

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

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

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

เราตรวจสอบสัญลักษณ์ไม่สมบูรณ์ เช่น แน่นอนรายละเอียดกับผู้ประกอบการขอบเขต รัสเซลได้แนะนำรายละเอียดที่ชัดเจน โดยความหมายตามบริบท ในบทความนี้จะแนะนำโดยชัดเจนอธิบายกฎในแคลคูลัส เฉพาะที่เป็นอย่างดีเหมาะสำหรับพิสูจน์ทฤษฎีการตรวจสอบ จะบอกว่า คำว่า " ไม่ " เป็นสัญลักษณ์อย่างเป็นทางการ แปล เป็น เพื่อการดำรงอยู่ของการขจัดขั้นตอน ส่วนสุดท้ายมีเครื่องมือ semantical ตีความวลี " ไม่มีความหมาย " ในการแยกทางอย่างเป็นทางการ