I agree with you up to the :30 part. 12:00am vs pm is nonsensical and seems like it could go either way.
But AM/PM means before noon/after noon, so 12:30 AM is unambiguously before the current day’s noon, and 12:30 PM is definitely after the day’s noon.
For determining 12:00AM VS PM I use the law of lease surprise. Basically it would be weirder for 12:01AM to be proceeded by 12:00PM since it would make sense for AM/PM to flip with the hour. Is this scientifically rigorous? Should we need this much philosophy to determine the current time: no, Hence the only real solution is to 24 hour time
I agree with you up to the :30 part. 12:00am vs pm is nonsensical and seems like it could go either way.
But AM/PM means before noon/after noon, so 12:30 AM is unambiguously before the current day’s noon, and 12:30 PM is definitely after the day’s noon.
For determining 12:00AM VS PM I use the law of lease surprise. Basically it would be weirder for 12:01AM to be proceeded by 12:00PM since it would make sense for AM/PM to flip with the hour. Is this scientifically rigorous? Should we need this much philosophy to determine the current time: no, Hence the only real solution is to 24 hour time