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

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

เมื่อเทียบกับประวัติศาสตร์ของตรรกวิทยา การแบ่งขอบเขตระหว่างปรัชญาของตรรกวิทยาและตรรกวิทยาเชิงปรัชญาเป็นการสร้างล่าสุดและไม่ชัดเจนเสมอไป  ลักษณะดังกล่าว รวมถึง:

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

บทความนี้สรุปประเด็นเกี่ยวกับปรัชญาตรรกวิทยาหรือให้ลิงก์ไปยังบทความที่เกี่ยวข้อง

## บทนำ
บทความนี้ใช้ประโยชน์จากข้อกำหนดและแนวคิดต่อไปนี้:

* 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.  ()
* Quine, W. V. O.  2004.  *Philosophy of Logic*.  2nd ed.  Harvard University Press.  ()
* Alfred Tarski. 1983. The concept of truth in formalized languages, pp.&nbsp;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, 
* Goble, Lou, ed., 2001. ''(The Blackwell Guide to) Philosophical Logic.''+Philosophical+Logic&pg=PP1&ots=y5wP1HQkbh&source=bn&sig=gwaoap-A-Xxzx8daLihFbp2kdCk&hl=en&sa=X&oi=book_result&resnum=5&ct=result) Oxford: Blackwell. ISBN&nbsp;.
* Grayling, A. C., 1997. ''An Introduction to Philosophical Logic.'' 3rd ed. Oxford: Blackwell. ISBN&nbsp;.
* Jacquette, Dale, ed., 2002. ''A Companion to Philosophical Logic.'' Oxford Blackwell. ISBN&nbsp;.
* 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. ISBN&nbsp;.
* 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. ISBN&nbsp;.
* 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. ISBN&nbsp;, 
* Journal of Philosophical Logic, Springer SBM

## เชื่อมโยงภายนอก

* Routledge Encyclopedia of Philosophy entry

## อ้างอิง

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