Чтобы ответить на вопрос о том, кто из перечисленных древнегреческих мыслителей внес основной вклад в логическое оформление натурфилософии в IV веке до н.э., давайте рассмотрим каждого из них и их достижения.

• Архимед - великий математик и физик, известный своими открытиями в области механики и гидростатики. Однако его работы больше связаны с математикой и практическими приложениями, чем с натурфилософией.
• Евклид - основоположник геометрии, автор знаменитого труда "Начала". Его работа сосредоточена на геометрических аксиомах и теоремах, а не на натурфилософии.
• Аристотель - один из самых влиятельных философов в истории, его работы охватывают множество областей, включая натурфилософию. Аристотель разработал систематический подход к изучению природы, ввел понятия причинности и классификации живых существ, что сделало его вклад в эту область значительным.
• Софокл - драматург, известный своими трагедиями. Его работы не относятся к натурфилософии и философским размышлениям о природе.

Таким образом, Аристотель является тем мыслителем, который внес основной вклад в логическое оформление натурфилософии в IV веке до н.э. Его влияние на философию и науку ощущается и сегодня.