Philosophy problem dealing with logic...nice practice for computational logic
In my philosophy course the other day, my professor proposed a very interesting problem. Let me share it with you fellow AntiOnline gurus:
(I'll explain variables as I go)
A man named Theseus once sailed the seas in his ship dubbed the T.S. After many years of sailing, his ship fell into disrepair. He decided to take it to the nearest port city to have it restored. Once he arrived there, he docked his ship in Harbor A. Over a period of 1000 days, where A0 is the ship in Harbor A on Day 0 and A1000 is the ship in Harbor B on day 1000, a single wooden plank was removed each day, and replaced with a new one. Everytime this occured, however, the old plank removed from the ship in Harbor A was used to build a ship in Harbor B identical to the T.S. On Day 500, A500 is built with half new planks and half old, and B500 (the ship in Harbor B on day 500) is halfway finished, from the ground up, with the old planks removed from Ship A. On Day 1000, two completed ships are docked in Harbors A and B. The question is...which ship is the T.S.?
Think along the lines of characteristic identity and numerical identity...and how do you define when something begins and something ends.
Cheers,
gilgalad