Timothy John Smiley (เกิด 13 พฤศจิกายน พ.ศ. 2473) เป็นนักปรัชญา ชาวอังกฤษ ได้รับแต่งตั้งเป็น ศาสตราจารย์ กิตติคุณKnightbridge ด้านปรัชญาที่Clare College, Cambridge [ ^{1 ] เขา}ทำงานหลักๆ ในด้านปรัชญาคณิตศาสตร์และตรรกศาสตร์

ทิโมธี สไมลีย์ เกิดที่ลอนดอน เป็นบุตรชายของเอ็มที สไมลีย์ และทีเอ็ม สไมลีย์ ( นามสกุลเดิมบราวน์) ^{[ 2 ]} เขาได้รับการศึกษาที่โรงเรียนอาร์ดวิน แกรมมาร์ อะ เบอริสต์วิธต่อด้วย วิทยาลัยแอมเพิลฟอร์ธ จากนั้นเข้าศึกษาต่อที่วิทยาลัยแคลร์ เคมบริดจ์เพื่อเรียนคณิตศาสตร์ในปี 1949 เขาได้รับปริญญาตรีในปี 1952 และปริญญาเอกในปี 1956 ในสาขาระบบตรรกะธรรมชาติ^{[ 3 ]}

หลังจากสำเร็จการศึกษาระดับปริญญาเอก เขายังคงอยู่ที่เคมบริดจ์ในฐานะนักวิจัยที่แคลร์ (1955–59) จากนั้นเป็นติวเตอร์และอาจารย์สอนวิชาปรัชญา เขายังได้รับคุณวุฒิเป็นนักบินในกระทรวงการบินและได้รับอนุญาตให้ประกอบวิชาชีพทนายความที่เกรย์อินน์^{[ 4 ]}

ในปี พ.ศ. 2523 เขาได้รับการแต่งตั้งเป็นศาสตราจารย์ด้านปรัชญาแห่ง Knightbridgeซึ่งเป็นตำแหน่งที่เขาดำรงอยู่จนกระทั่งเกษียณอายุในปี พ.ศ. 2541 ในปี พ.ศ. 2525–2526 เขาเป็นประธานของสมาคมอริสโตเตเลียนและในปี พ.ศ. 2527 เขาได้รับเลือกเป็นสมาชิกของสถาบันบริติชอะคาเดมี^{[ 5 ]}

เขาเป็นพ่อของนักเขียนโซฟี สไมลีย์

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

ในช่วงไม่กี่ปีที่ผ่านมา เขาได้ร่วมงานกับ Alex Oliverในการเขียนบทความหลายชิ้นเกี่ยวกับคำอธิบายพหูพจน์^{[ 6 ] [ 7 ]}

ล่าสุด สถานะทางวิชาชีพของสไมลีย์ได้รับการเน้นย้ำด้วยการตีพิมพ์หนังสือThe Force of Argument: Essays in Honor of Timothy Smiley (TJ Smiley, Jonathan Lear และ Alex Oliver, Routledge, 2010) ^{[ 8 ]}

เขาได้แก้ไขและมีส่วนร่วมในเอกสารและสิ่งพิมพ์จำนวนมาก บรรณานุกรมฉบับเต็มของผลงานของเขารวมอยู่ในหนังสือ Festschrift ของเขาThe Force of Argument: Essays in Honor of Timothy Smiley ^{[ 9 ]}

หนังสือ

• การศึกษาปรัชญาตรรกะและความรู้ (ร่วมแก้ไขกับโทมัส บอลด์วิน) ^{[ 10 ]}
• คณิตศาสตร์และความจำเป็น: บทความในประวัติศาสตร์ปรัชญา^{[ 11 ]}
• ตรรกศาสตร์เชิงปรัชญา^{[ 12 ]}
• บทสนทนาเชิงปรัชญา: เพลโต, ฮิวม์, วิทเกนสไตน์ การบรรยายปรัชญาของดอว์ส ฮิกส์^{[ 13 ]}
• Smiley และ DJ Shoesmith, ตรรกะข้อสรุปหลายข้อ (1978) (ดูตรรกะข้อสรุปหลายข้อ ) ^{[ 14 ]}
• สไมลีย์และอเล็กซ์ โอลิเวอร์, ตรรกะพหุ (2013)

บทความที่คัดเลือก

• ความหมายโดยปราศจากความหมายโดยตรงการวิเคราะห์ 1960; 20 (6): 125–135. doi: 10.1093/analys/20.6.125
• ตรรกะแบบอนุมานคืออะไร? วารสารตรรกศาสตร์เชิงปรัชญา 1973 (2): 136–154
• ทฤษฎีแห่งการพรรณนา (1981) ใน TJ Smiley และ Thomas Baldwin (บรรณาธิการ) การศึกษาในปรัชญาของตรรกศาสตร์และความรู้จัดพิมพ์โดยสำนักพิมพ์มหาวิทยาลัยออกซ์ฟอร์ดสำหรับ British Academy หน้า 131–161
• การพิสูจน์ความสมบูรณ์ของอริสโตเติลปรัชญาโบราณ 1994 (14): 25–38

• วิทยาลัยแคลร์ เคมบริดจ์