ศาสตร์แห่งลอจิกในการเขียนโปรแกรม

ศาสตร์แห่งลอจิกในการเขียนโปรแกรม

บทความนี้จัดทำขึ้นเพื่อการวิเคราะห์เชิงเปรียบเทียบของเอนทิตีเชิงตรรกะจากผลงานของนักปรัชญาชาวเยอรมัน Georg Wilhelm Friedrich Hegel "วิทยาศาสตร์แห่งลอจิก" ที่มีแอนะล็อกหรือไม่มีในการเขียนโปรแกรม

เอนทิตีจากศาสตร์แห่งตรรกศาสตร์อยู่ในตัวเอียงเพื่อหลีกเลี่ยงความสับสนกับคำจำกัดความที่ยอมรับโดยทั่วไปของคำเหล่านี้

ความเป็นอยู่อันบริสุทธิ์

หากเปิดคำจำกัดความ ความเป็นอยู่อันบริสุทธิ์ ในหนังสือคุณจะเห็นบรรทัดที่น่าสนใจ “โดยไม่มีคำจำกัดความเพิ่มเติม” แต่สำหรับใครที่ยังไม่ได้อ่านหรือไม่เข้าใจอย่ารีบไปกล่าวหาผู้เขียนว่าเป็นโรคสมองเสื่อม ความเป็นอยู่อันบริสุทธิ์ - นี่เป็นแนวคิดพื้นฐานในตรรกะของเฮเกล ซึ่งหมายความว่าวัตถุบางอย่างมีอยู่ โปรดอย่าสับสนกับการมีอยู่ของวัตถุ วัตถุนั้นอาจไม่มีอยู่จริงในความเป็นจริง แต่ถ้าเราให้นิยามมันในตรรกะของเรา มันก็มีอยู่จริง ถ้าลองคิดดูแล้วก็มีหลายอย่างจริงๆ เช่น ความเป็นอยู่อันบริสุทธิ์ เป็นไปไม่ได้ที่จะให้คำจำกัดความและความพยายามดังกล่าวจะขึ้นอยู่กับข้อเท็จจริงที่ว่าคุณเพียงแค่อ้างถึงคำพ้องความหมายหรือคำตรงข้าม ความเป็นอยู่อันบริสุทธิ์ แนวคิดที่เป็นนามธรรมซึ่งสามารถนำไปใช้กับทุกสิ่งได้อย่างแน่นอนรวมถึงตัวมันเองด้วย ในภาษาเชิงวัตถุบางภาษา มีความเป็นไปได้ที่จะนำเสนอสิ่งใดๆ ที่เป็นวัตถุ รวมถึงการดำเนินการกับวัตถุ ซึ่งโดยหลักการแล้วจะทำให้เรามีระดับของนามธรรม อย่างไรก็ตามในการเขียนโปรแกรมแบบอะนาล็อกโดยตรง ความเป็นอยู่อันบริสุทธิ์ เลขที่ ในการตรวจสอบการมีอยู่ของวัตถุ เราจำเป็นต้องตรวจสอบการมีอยู่ของวัตถุนั้น

if(obj != null);

เป็นเรื่องแปลกที่ยังไม่มีน้ำตาลวากยสัมพันธ์ดังกล่าวเนื่องจากเช็คนี้ได้รับความนิยมอย่างมาก

ไม่มีอะไร

คุณเดาได้อย่างไร ไม่มีอะไร คือการไม่มีสิ่งใดเลย และอะนาล็อกของมันสามารถเรียกว่า NULL เป็นที่น่าสังเกตว่าในศาสตร์แห่งตรรกะ ไม่มีอะไร เป็น ความเป็นอยู่อันบริสุทธิ์เพราะมันยังมีอยู่ นี่เป็นสิ่งที่จับยากเล็กน้อย เราไม่สามารถเข้าถึง NULL เป็นวัตถุในภาษาใด ๆ แม้ว่าโดยพื้นฐานแล้วมันก็เป็นหนึ่งเช่นกัน

การก่อตัวและช่วงเวลา

การกลาย คือการเปลี่ยนผ่านจาก ไม่มีอะไร в ความเป็นอยู่ และจาก สิ่งมีชีวิต в ไม่มีอะไร. นั่นทำให้เราสองคน ช่วงเวลาอันแรกเรียกว่า การเกิดขึ้นและวินาที ผ่าน. ทางเดิน มันถูกเรียกอย่างนั้นแทนที่จะหายไป เพราะแก่นแท้ของตรรกะโดยพื้นฐานแล้วไม่สามารถหายไปได้เว้นแต่เราจะลืมมันไป การถอนเงิน ด้วยเหตุนี้เราจึงสามารถเรียกขั้นตอนการมอบหมายงานได้ ถ้าเราเริ่มต้นวัตถุ สิ่งนี้จะเกิดขึ้น ช่วงเวลาที่เกิดขึ้นและในกรณีกำหนดค่าอื่นหรือ NULL ช่วงเวลาที่ผ่านไป.

obj = new object(); //возникновение
obj = null; //прехождение

การดำรงอยู่

ในระยะสั้น การดำรงอยู่ เป็นวัตถุที่ไม่มีคำจำกัดความชัดเจนแต่มี ความมั่นใจ. มันหมายความว่าอะไร. ตัวอย่างที่เป็นที่ยอมรับคือเก้าอี้ธรรมดา หากคุณพยายามให้คำจำกัดความที่ชัดเจนคุณจะพบกับความยากลำบากมากมาย ตัวอย่างเช่นคุณพูดว่า: "นี่คือเฟอร์นิเจอร์ชิ้นหนึ่งที่ออกแบบมาเพื่อการนั่ง" แต่เก้าอี้ก็ถูกสร้างขึ้นมาเพื่อการนี้เช่นกัน เป็นต้น แต่การขาดคำจำกัดความที่ชัดเจนไม่ได้ขัดขวางเราจากการเน้นมันในอวกาศและใช้มันเมื่อส่งข้อมูลเกี่ยวกับมัน นั่นเป็นเพราะในหัวของเรามี ความมั่นใจ เก้าอี้. บางทีบางคนอาจเดาได้แล้วว่าโครงข่ายประสาทเทียมถูกสร้างขึ้นเพื่อแยกวัตถุดังกล่าวออกจากกระแสข้อมูล โครงข่ายประสาทเทียมสามารถแสดงเป็นฟังก์ชันที่กำหนดสิ่งนี้ได้ ความมั่นใจแต่ไม่มีวัตถุประเภทใดที่จะรวมคำจำกัดความที่ชัดเจนและคลุมเครือ ดังนั้นวัตถุดังกล่าวจึงไม่สามารถนำมาใช้ในระดับนามธรรมเดียวกันได้

กฎแห่งการเปลี่ยนแปลงของการเปลี่ยนแปลงเชิงปริมาณไปสู่การเปลี่ยนแปลงเชิงคุณภาพ

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

PS: หากข้อมูลนี้น่าสนใจ ผมจะรีวิวเอนทิตีอื่นๆ จาก Science of Logic ครับ

ที่มา: will.com

เพิ่มความคิดเห็น