TAG
ตรรกศาสตร์
บทความที่เกี่ยวข้องกับ “ตรรกศาสตร์” ทั้งหมด 15 บทความ
01ตรรกศาสตร์และปรัชญา◌
ตรรกศาสตร์
อรรถศาสตร์เชิงตรรกศาสตร์ การศึกษาความหมายและการตีความในระบบรูปนัย
อรรถศาสตร์เชิงตรรกศาสตร์: การศึกษาความหมายและการตีความในระบบรูปนัย ในทางตรรกศาสตร์ อรรถศาสตร์ (Semantics) หรือ อรรถศาสตร์เชิงรูปนัย (Formal Semantics) คือการศึกษาเกี่ยวกับความหมายและการตีความของภาษารูปนัย (Formal Languagอ่านต่อ →
02ปรัชญาตรรกศาสตร์
วิเคราะห์หนังสือ ตรักตาทุส โลจิโก-ฟิโลโซฟิคุส ของ ลุดวิก วิตเกนสไตน์
วิเคราะห์หนังสือ ตรักตาทุส โลจิโก-ฟิโลโซฟิคุส ของ ลุดวิก วิตเกนสไตน์ ตรักตาทุส โลจิโก-ฟิโลโซฟิคุส (Tractatus Logico-Philosophicus หรือเรียกย่อว่า TLP) เป็นผลงานทางปรัชญาเพียงเล่มเดียวของ ลุดวิก วิตเกนสไตน์ (Ludwig Wittgeอ่านต่อ →03ปรัชญาคณิตศาสตร์◌
ตรรกศาสตร์
ลอจิกิซึม แนวคิดการลดทอนคณิตศาสตร์สู่ตรรกศาสตร์
ลอจิกิซึม: แนวคิดการลดทอนคณิตศาสตร์สู่ตรรกศาสตร์ ลอจิกิซึม (Logicism) คือสำนักคิดในทางปรัชญาคณิตศาสตร์ที่เสนอสมมติฐานว่า คณิตศาสตร์เป็นส่วนขยายของตรรกศาสตร์ หรือคณิตศาสตร์ทั้งหมด (หรือบางส่วน) สามารถลดทอนลงเหลือเพียงหลักอ่านต่อ →04ปรัชญาและตรรกศาสตร์✦
ตรรกศาสตร์
ซูเปอร์ทาสก์ แนวคิดการปฏิบัติงานอนันต์ในเวลาจำกัด
ซูเปอร์ทาสก์: แนวคิดการปฏิบัติงานอนันต์ในเวลาจำกัด ซูเปอร์ทาสก์ (Supertask) คือแนวคิดทางปรัชญาและตรรกศาสตร์ที่อธิบายถึงลำดับของการปฏิบัติงาน (Operations) จำนวนอนันต์ที่นับได้ (Countably infinite) ซึ่งเกิดขึ้นตามลำดับภายใอ่านต่อ →
05วิทยาศาสตร์และเทคโนโลยีตรรกศาสตร์
คณิตศาสตร์ ศาสตร์แห่งโครงสร้าง รูปแบบ และตรรกะ
คณิตศาสตร์: ศาสตร์แห่งโครงสร้าง รูปแบบ และตรรกะ คณิตศาสตร์ คือสาขาวิชาที่ศึกษาเกี่ยวกับแนวคิดเชิงนามธรรม เช่น จำนวน รูปทรงเรขาคณิต เซต ฟังก์ชัน และความน่าจะเป็น โดยใช้การให้เหตุผลเชิงตรรกะและการพิสูจน์เพื่อศึกษาและกำหนดคอ่านต่อ →06วิทยาศาสตร์และคณิตศาสตร์ตรรกศาสตร์
คณิตศาสตร์ ศาสตร์แห่งโครงสร้าง รูปแบบ และการพิสูจน์
คณิตศาสตร์: ศาสตร์แห่งโครงสร้าง รูปแบบ และการพิสูจน์ คณิตศาสตร์ คือสาขาวิชาที่ศึกษาเกี่ยวกับแนวคิดเชิงนามธรรม เช่น จำนวน รูปทรงเรขาคณิต เซต ฟังก์ชัน และความน่าจะเป็น โดยใช้การให้เหตุผลทางตรรกศาสตร์และการพิสูจน์เพื่อศึกษาอ่านต่อ →07บุคคลสำคัญทางวิชาการ◌
ตรรกศาสตร์
อูร์ซูลา วีบราเนียตส์-สการ์ดอฟสกา นักตรรกศาสตร์ชาวโปแลนด์
อูร์ซูลา วีบราเนียตส์-สการ์ดอฟสกา อูร์ซูลา วีบราเนียตส์-สการ์ดอฟสกา (Urszula Wybraniec-Skardowska) เกิดในปี ค.ศ. 1940 เป็นนักตรรกศาสตร์ชาวโปแลนด์ที่มีบทบาทสำคัญในการวิจัยด้านตรรกศาสตร์ โดยเฉพาะในหัวข้อเกี่ยวกับ Rough Setอ่านต่อ →08ปรัชญาและตรรกศาสตร์✦
ตรรกศาสตร์
สำนักลวอฟ-วอร์ซอ รากฐานของตรรกศาสตร์และปรัชญาวิเคราะห์สมัยใหม่
สำนักลวอฟ-วอร์ซอ (Lwów–Warsaw School) สำนักลวอฟ-วอร์ซอ (ภาษาโปแลนด์: Szkoła Lwowsko-Warszawska ) เป็นสำนักวิชาการแบบสหวิทยาการที่เน้นหนักในด้านปรัชญา ตรรกศาสตร์ และจิตวิทยา ก่อตั้งขึ้นในปี ค.ศ. 1895 โดย คาซิเมียร์ ทวาร์ดอ่านต่อ →09วิทยาศาสตร์และปรัชญา◌
ตรรกศาสตร์
สมาคมเคิร์ท เกอเดล (Kurt Gödel Society) - ส่งเสริมการวิจัยด้านตรรกศาสตร์และคณิตศาสตร์
สมาคมเคิร์ท เกอเดล (Kurt Gödel Society) สมาคมเคิร์ท เกอเดล (Kurt Gödel Society - KGS) เป็นสมาคมวิชาการที่ก่อตั้งขึ้นในกรุงเวียนนา ประเทศออสเตรีย เมื่อปี ค.ศ. 1987 โดยมีวัตถุประสงค์หลักในการส่งเสริมการวิจัยในด้านตรรกศาสตรอ่านต่อ →10ปรัชญาและตรรกศาสตร์✦
ตรรกศาสตร์
ริชาร์ด แซค นักตรรกศาสตร์และนักปรัชญาคณิตศาสตร์ชาวแคนาดา
ริชาร์ด แซค (Richard Zach): ผู้เชี่ยวชาญด้านตรรกศาสตร์และปรัชญาคณิตศาสตร์ ริชาร์ด แซค เป็นนักตรรกศาสตร์ นักปรัชญาคณิตศาสตร์ และนักประวัติศาสตร์ด้านตรรกศาสตร์และปรัชญาเชิงวิเคราะห์ชาวแคนาดา ปัจจุบันเขาดำรงตำแหน่งศาสตราจารอ่านต่อ →
11คณิตศาสตร์และปรัชญาตรรกศาสตร์
การบรรยายเกอเดล (Gödel Lecture) เกียรติยศสูงสุดแห่งตรรกศาสตร์คณิตศาสตร์
การบรรยายเกอเดล (Gödel Lecture) การบรรยายเกอเดล เป็นเกียรติยศอันทรงเกียรติในสาขาตรรกศาสตร์คณิตศาสตร์ ซึ่งมอบโดย สมาคมตรรกศาสตร์สัญลักษณ์ (Association for Symbolic Logic) โดยรางวัลนี้จะมาพร้อมกับการบรรยายพิเศษประจำปีในการอ่านต่อ →12คณิตศาสตร์และตรรกศาสตร์✦
ตรรกศาสตร์
การบรรยายอัลเฟรด ทาร์สกี เกียรติยศแห่งตรรกศาสตร์คณิตศาสตร์
การบรรยายอัลเฟรด ทาร์สกี (Alfred Tarski Lectures) การบรรยายอัลเฟรด ทาร์สกี เป็นเกียรติยศประจำปีและชุดการบรรยายทางด้านตรรกศาสตร์คณิตศาสตร์ที่จัดขึ้น ณ มหาวิทยาลัยแคลิฟอร์เนีย เบิร์กลีย์ (University of California, Berkeleyอ่านต่อ →13นักคณิตศาสตร์◌
ตรรกศาสตร์
จอห์น ไมฮิลล์
จอห์น ไมฮิลล์ จอห์น อาร์. ไมฮิลล์ (John R. Myhill) (11 สิงหาคม ค.ศ. 1923 – 15 กุมภาพันธ์ ค.ศ. 1987) เป็นนักคณิตศาสตร์ชาวอังกฤษผู้มีบทบาทสำคัญในการวางรากฐานด้านตรรกศาสตร์คณิตศาสตร์ ทฤษฎีการคำนวณ และทฤษฎีภาษาทางการ ผลงานขออ่านต่อ →
14การศึกษาตรรกศาสตร์
สมาคมตรรกศาสตร์สัญลักษณ์ (ASL) ศูนย์กลางตรรกศาสตร์ระดับโลก
สมาคมตรรกศาสตร์สัญลักษณ์ (Association for Symbolic Logic - ASL) สมาคมตรรกศาสตร์สัญลักษณ์ (ASL) เป็นองค์กรระดับนานาชาติที่รวบรวมผู้เชี่ยวชาญด้านตรรกศาสตร์คณิตศาสตร์ (Mathematical Logic) และตรรกศาสตร์ปรัชญา (Philosophical อ่านต่อ →
15ประวัติบุคคลสำคัญตรรกศาสตร์