ปรัชญาตรรกวิทยา

พัฒนาการในการศึกษาเชิงปรัชญาของตรรกวิทยาเชิงรูปแบบด้วยตรรกวิทยาสัญลักษณ์ในช่วงปลายศตวรรษที่สิบเก้าและตรรกวิทยาเชิงคณิตศาสตร์ในช่วงทศวรรษที่ยี่สิบ  หัวข้อที่ปฏิบัติตามประเพณีโดยตรรกวิทยา ไม่เป็นส่วนหนึ่งของตรรกวิทยาเชิงรูปแบบซึ่งมีแนวโน้มที่จะเรียกว่าปรัชญาตรรกวิทยา หรือ ตรรกวิทยาเชิงปรัชญา  ไม่ใช่เพียงแค่ ตรรกะ ทั่วไป
เมื่อเทียบกับประวัติศาสตร์ของตรรกวิทยา  การแบ่งขอบเขตระหว่างปรัชญาของตรรกวิทยาและตรรกวิทยาเชิงปรัชญาเป็นการสร้างล่าสุดและไม่ชัดเจนเสมอไป  ลักษณะดังกล่าว รวมถึง:- ปรัชญาของตรรกวิทยา เป็นพื้นที่ของปรัชญาที่มุ่งเน้นความสนใจกับการตรวจสอบขอบเขตและลักษณะของตรรกวิทยา - ปรัชญาของตรรกวิทยา คือ การตรวจสอบการวิเคราะห์เชิงวิพากษ์และผลสะท้อนทางปัญญาในประเด็นที่เกิดขึ้นในตรรกวิทยา   ขอบเขตจึงถือว่าแตกต่างจากตรรกวิทยาเชิงปรัชญา- ตรรกวิทยาเชิงปรัชญา เป็นสาขาของการศึกษาที่เกี่ยวข้องกับคำถามเกี่ยวกับการอ้างอิง การทำนาย เอกลักษณ์ ความจริง ตรรกวิทยาเชิงปริมาณ การดำรงอยู่ ลำดับเชิงตรรกะ ตรรกวิทยาเชิงรูปแบบและความจำเป็นเชิงตรรกะ - ตรรกวิทยาเชิงปรัชญา เป็นการประยุกต์ใช้เทคนิคของตรรกวิทยาเชิงรูปแบบเพื่อนำไปสู่การแก้ปัญหาทางปรัชญา 
บทความนี้สรุปประเด็นเกี่ยวกับปรัชญาตรรกวิทยาหรือให้ลิงก์ไปยังบทความที่เกี่ยวข้อง

**บทนำ**
บทความนี้ใช้ประโยชน์จากข้อกำหนดและแนวคิดต่อไปนี้:- Ambiguity- Context-free grammar- Intension- "Is Logic Empirical?"- Concatenation theory- Linguistic modality- Pierce's type-token distinction- Type-token distinction- Use–mention distinction- Vagueness

**ความจริง**
อริสโตเติลกล่าวว่าสิ่งที่เป็น ไม่ใช่ หรือสิ่งที่ไม่ใช่ เป็นเท็จ และกล่าวว่าสิ่งที่เป็นอยู่และสิ่งที่ไม่ใช่นั้นเป็นความจริง 
ความจริงที่เห็นได้ชัดนี้ไม่ได้พิสูจน์ว่าไม่มีปัญหา

**ความจริง**
ตรรกวิทยาใช้คำต่าง ๆ เช่น จริง เท็จ ไม่สอดคล้อง สมเหตุสมผล และขัดแย้งในตัวเอง คำถามเกิดขึ้นดังที่ Strawson (1952) เขียนไว้ว่า 
 (ก) เมื่อเราใช้คำเหล่านี้ในการประเมินเชิงตรรกะ เรากำลังประเมินอะไรกันแน่? และ (ข) การประเมินเชิงตรรกะเป็นไปได้อย่างไร?

**นิยามความจริงของ Tarski**
ดู:- Semantic theory of truth § Tarski's Theory- T-schema-  Stanford Encyclopedia of Philosophy entry on Tarski's Truth Definitions-  Self-reference:2.1 Consequences of the Semantic Paradoxes in Stanford Encyclopedia of Philosophy

**ความจริงเชิงวิเคราะห์  ความจริงเชิงตรรกะ  ความสมเหตุสมผล  ผลลัพธ์เชิงตรรกะ  และผลพวงเชิงตรรกะ**
เนื่องจากการใช้ความหมาย  ถ้าไม่ใช่ความหมายของคำศัพท์เป็นส่วนหนึ่งของการอภิปราย จึงเป็นไปได้เพียงให้คำจำกัดความการทำงานต่อไปนี้เพื่อวัตถุประสงค์ของการอภิปราย:- ความจริงจำเป็น คือ ความจริงที่ไม่ว่าโลกจะอยู่ในสภาพใดหรือโลกที่เป็นไปได้ทั้งหมด - ความจริงเชิงตรรกะ คือ ความจริงที่จำเป็นเหล่านั้นซึ่งจำเป็นต้องเป็นความจริงเนื่องจากความหมายของค่าคงที่เชิงตรรกะเท่านั้น - ในตรรกวิทยาเชิงรูปแบบ ความจริงเชิงตรรกะ เป็นเพียง "คำสั่ง" (สตริงของสัญลักษณ์ที่ไม่มีตัวแปรเกิดขึ้นฟรี) ซึ่งเป็นจริงภายใต้การตีความเชิงตรรกะที่เป็นไปได้ทั้งหมด- ความจริงเชิงวิเคราะห์ คือ สิ่งที่แนวคิดภาคแสดงมีอยู่ในกรอบแนวคิดเรื่องนั้น
แนวคิดของความจริงตรรกะมีการเชื่อมโยงอย่างใกล้ชิดกับสิ่งที่สมเหตุสมผล, ผลลัพธ์เชิงตรรกะและผลพวงเชิงตรรกะ (เช่นเดียวกับความขัดแย้งในตัวเอง  ความจำเป็นต้องเป็นเท็จ ฯลฯ).- ถ้า q เป็นความจริงเชิงตรรกะ ดังนั้น p จึง เป็นอาร์กิวเมนต์ที่ถูกต้อง- ถ้า p1, p2, p3 ... pn ดังนั้น q เป็นอาร์กิวเมนต์ที่ถูกต้อง เงื่อนไขที่สอดคล้องกันจะเป็นความจริงเชิงตรรกะ- ถ้า p1 & p2 & p3 ... pn เกี่ยวข้องกับ q แล้ว ถ้า (p1 & p2 & p3 ... pn) แล้ว q คือความจริงเชิงตรรกะ- ถ้า q เป็นผลลัพธ์เชิงตรรกะของ p1 & p2 & p3 ... pn  ถ้าเมื่อ p1 & p2 & p3 ... pn เกี่ยวข้องกับ q และถ้าเฉพาะ ถ้า (p1 & p2 & p3..pn) แล้ว q คือ ความจริงเชิงตรรกะ
ปัญหาที่เกิดขึ้น ได้แก่ :- หากมีความจริงที่ต้องเป็นความจริง อะไรทำให้สิ่งนั้นเป็นอย่างนั้น?- มีความจริงเชิงวิเคราะห์ที่ไม่ใช่ความจริงเชิงตรรกะหรือไม่?- มีความจริงจำเป็นที่ไม่ใช่ความจริงเชิงวิเคราะห์หรือไม่?- มีความจริงจำเป็นที่ไม่ใช่ความจริงเชิงตรรกะหรือไม่?- ความแตกต่างระหว่างความจริงเชิงวิเคราะห์และความจริงเชิงสังเคราะห์เป็นเรื่องหลอกลวงหรือไม่?

**ความหมายและการอ้างอิง**
 ความรู้สึกและการอ้างอิง- ทฤษฎีการอ้างอิง- ทฤษฎีอ้างอิงไกล่เกลี่ย- ทฤษฎีอ้างอิงโดยตรง- ทฤษฎีการอ้างอิงเชิงสาเหตุ ( การอ้างอิง ส่วน)- ทฤษฎีการพรรณนาของชื่อ (การอ้างอิงส่วน)- Saul Kripke (การอ้างอิงส่วน)- Frege's Puzzle (ส่วนทฤษฎีการอ้างอิงใหม่และการกลับมาของปริศนาของ Frege)- Gottlob Frege (การอ้างอิงส่วน)- ความล้มเหลวของการอ้างอิง ( การอ้างอิง ส่วน)- ตัวกำหนดที่เข้มงวด (ส่วนทฤษฎีการอ้างอิงเชิงสาเหตุ - ประวัติศาสตร์)- ปรัชญาภาษา (การอ้างอิงส่วน)- ดัชนีปรัชญาของบทความภาษา- ทฤษฎีการเสริม (การอ้างอิงส่วน)- การอ้างถึงนิพจน์- ความหมาย (ปรัชญาภาษา)- Denotation และ Connotation- การขยาย และความ ตั้งใจ- นิยามที่มีมิติ- นิยามเชิงลึก- ความสามารถในการสื่อสาร

**ชื่อและคำอธิบาย**
 Failure to refer- Proper name (philosophy)- Definite description- Descriptivist theory of names- Theory of descriptions- Singular term- Term logic § Singular terms- Empty name- Bas van Fraassen § Singular Terms, Truth-value Gaps, and Free Logic- The Foundations of Arithmetic § Development of Frege's own view of a number- Philosophy of language § references- Direct reference- Mediated reference theory- ปัญหาของเงื่อนไขเชิงตรรกวิทยา: ดู เงื่อนไขเชิงตรรกวิทยา

**ทฤษฎีทางปรัชญาของตรรกวิทยา**
 Conceptualism- Constructivism- Dialetheism- Fictionalism- Finitism- Formalism- Intuitionism- Logical atomism- Logicism- Nominalism- Realism- Platonic realism- Structuralism- Nyaya Epistemology

**หัวข้ออื่น**
 Leibniz's Law: see Identity of indiscernibles- Vacuous names- Do predicates have properties?: See Second-order logic- Sense, Reference, Connotation, Denotation, Extension, Intension- The status of the Laws of Logic- Classical Logic- Intuitionism- Realism: see Platonic realism, Philosophical realism- The Law of Excluded Middle: see Law of excluded middle- Modality, Intensionality and Propositional Attitude- Counter-factuals- Psychologism

**ดูเพิ่มเติม**
 Ambiguity- Context-free grammar- Intension- "Is Logic Empirical?"- Concatenation theory- Linguistic modality- Philosophy of mathematics- Pierce's type-token distinction- Type-token distinction- Use–mention distinction- Vagueness

**บุคคลสำคัญ**
บุคคลสำคัญในปรัชญาตรรกวิทยา ได้แก่:- Noriko H. Arai- Aristotle- George Boole- George Boolos- John Buridan- Agata Ciabattoni- Alonzo Church- Gordon Clark- Michael Dummett- Augustus De Morgan- Gottlob Frege- Kurt Gödel- Georg Hegel- William of Ockham- Peter of Spain- Rudolf Carnap- Immanuel Kant- Gottfried Leibniz- David Lewis- John Stuart Mill- Charles Sanders Peirce- Valeria de Paiva- Alvin Plantinga- Arthur Prior- Willard Van Orman Quine- Bertrand Russell- Alfred Tarski- Ludwig Wittgenstein

**นักปรัชญาตรรกวิทยา**
W.V.O. Quine
*Bertrand Russell
*Ludwig Wittgenstein
*Michael Dummett
*Hilary Putnam
*Saul Kripke
*Charles Sanders Peirce
*Alfred Tarski
*Donald Davidson
*Augustus De Morgan
*Gordon Clark
*Aristotle
 

**แหล่งที่มา**
 Haack, Susan.  1978.  Philosophy of Logics.  Cambridge University Press.  (0-521-29329-4)- Quine, W. V. O.  2004.  Philosophy of Logic.  2nd ed.  Harvard University Press.  (0-674-66563-5)- Alfred Tarski. 1983. The concept of truth in formalized languages, pp. 152–278, Logic,semantics, metamathematics, papers from 1923 to 1938, ed. John Corcoran (logician), Hackett,Indianapolis 1983.

**อ่านเพิ่มเติม**
 Fisher Jennifer, On the Philosophy of Logic, Thomson Wadworth, 2008, 978-0-495-00888-0- Goble, Lou, ed., 2001.  (The Blackwell Guide to) Philosophical Logic. Oxford: Blackwell. 0-631-20693-0ISBN 0-631-20693-0.- Grayling, A. C., 1997.  An Introduction to Philosophical Logic. 3rd ed. Oxford: Blackwell. 0-631-19982-9ISBN 0-631-19982-9.- Jacquette, Dale, ed., 2002.  A Companion to Philosophical Logic. Oxford Blackwell. 1-4051-4575-7ISBN 1-4051-4575-7.- Kneale, W&M (1962). The development of logic. Oxford. ISBN 9780198247739.- McGinn, Colin,  2000. Logical Properties: Identity, Existence, Predication, Necessity, Truth. Oxford: Oxford University Press. 0-19-926263-2ISBN 0-19-926263-2.- Quine, Willard Van Orman (1970). Philosophy Of Logic. Prentice Hall: New JerseyUSA.- Sainsbury, Mark, 2001.  Logical Forms: An Introduction to Philosophical Logic. 2nd ed. Oxford: Blackwell. 0-631-21679-0ISBN 0-631-21679-0.- Strawson, PF (1967). Philosophical Logic. OUP.- Alfred Tarski,1983. The concept of truth in formalized languages, pp. 152–278, Logic,semantics, metamathematics, papers from 1923 to 1938, ed. John Corcoran (logician), Hackett,Indianapolis 1983.- Wolfram, Sybil, 1989. Philosophical Logic: An Introduction. London: Routledge. 290 pages. 0-415-02318-1ISBN 0-415-02318-1, 978-0-415-02318-4-  Journal of Philosophical Logic, Springer SBM

**เชื่อมโยงภายนอก**
  Routledge Encyclopedia of Philosophy entry

**อ้างอิง**
หมวดหมู่:ปรัชญาของคณิตศาสตร์
หมวดหมู่:ปรัชญาการศึกษา
หมวดหมู่:ปรัชญาตรรกศาสตร์
หมวดหมู่:ตรรกศาสตร์
หมวดหมู่:ญาณวิทยา
หมวดหมู่:มโนทัศน์ทางตรรกศาสตร์
หมวดหมู่:มโนทัศน์ทางญาณวิทยา